简介:LetFbeafieldofcharacteristiczero.Wn=F[t(+1/2),t(+1/2),...,t(+1/n)]δ/δt1+...+F[t(+1/2),t(+1/2),...,t(+1/n)]δ/δtnistheWittalgebraoverF,Wn+=F[t1,t2...,tn]δ/δt+...+F[t1,t2...,tn]δ/δtnisLieshbalgebraofWn.ItiswellknownbothWnandWn+aresimpleinfinitedimensionalLiealgebra.InZhao'spaper,itwasconjecturedthatEnd(Wn^+)-{0}=Aut(Wn^+)anditwasprovedthatthevalidityofthisconjectureimpliesthevalidityofthewell-knownJacobianconjecture.Inthisshortnote,wechecktheconjectureaboveforn=1.WeshowEnd(W1^+)-{0}=Aut(W1^+).
简介:摘要随着信息化进程推进,“智能制造”相关政策的强化、深化和推进,电力行业也加快了变革的脚步,相继推出了智慧电厂等概念,推动了现场总线在电力行业的使用需求。集合Profibus技术规范,分析京能十堰2X350MW机组上使用的NT6000系统Profibus网络架构和特点,制定现场安装实施的规范。