This article proposes an algebraic model predictive control(MPC)method for automatic landing.While defining the constraint functions in the optimization problem,the tangent hyperbolic function is preferred.Therefore,t...This article proposes an algebraic model predictive control(MPC)method for automatic landing.While defining the constraint functions in the optimization problem,the tangent hyperbolic function is preferred.Therefore,the optimization problem turns into an unconstrained,continuous,and differentiable form.An analytical two-step method is also proposed to solve the rest of the problem.In the first step,it is assumed that only input constraints are active and states are unconstrained.The optimal solution for this case is calculated directly with the optimality condition.The calculated control signal is revised in the second step according to system dynamics and state constraints.Simulation results of the auto-landing system show that the MPC computation speed is significantly increased by the new algebraic MPC(AMPC)without compromising the control performance,which makes the method realistic for using MPC in systems with high-speed changing dynamics.展开更多
Loday introduced di-associative algebras and tri-associative algebras motivated by periodicity phenomena in algebraic K-theory.The purpose of this paper is to study the splittings of operations on di-associative algeb...Loday introduced di-associative algebras and tri-associative algebras motivated by periodicity phenomena in algebraic K-theory.The purpose of this paper is to study the splittings of operations on di-associative algebras and tri-associative algebras.We introduce the notion of a quad-dendriform algebra,which is a splitting of a di-associative algebra.We show that a relative averaging operator on dendriform algebras gives rise to a quad-dendriform algebra.Furthermore,we introduce the notion of six-dendriform algebras,which are splittings of the tri-associative algebras,and demonstrate that homomorphic relative averaging operators induce six-dendriform algebras.展开更多
Lie algebras are special Leibniz algebras,so it is natural to view Lie algebras as Leibniz algebras.In this paper,we calculate all the Leibniz 2 cocycles of the Lie algebra K(1,0),which is helpful to classify one dime...Lie algebras are special Leibniz algebras,so it is natural to view Lie algebras as Leibniz algebras.In this paper,we calculate all the Leibniz 2 cocycles of the Lie algebra K(1,0),which is helpful to classify one dimensional central extensions of K(1,0)as Leibniz algebra.展开更多
This paper explores the algebraic essence of universal logic functions(ULFs)from an algebraic perspective.Under the framework of semi-tensor product of matrices,the“sequential nature”of ULFs is revealed.Utilizing th...This paper explores the algebraic essence of universal logic functions(ULFs)from an algebraic perspective.Under the framework of semi-tensor product of matrices,the“sequential nature”of ULFs is revealed.Utilizing the nature,a technique called universal transformation method is proposed,by which any ULF can be transformed into an equivalent expression with desired features that facilitate achieving specific objectives,such as modeling,analyzing and synthesizing universal logical systems.Furthermore,several useful logical operators are constructed in a mixed-dimensional situation,including power-raising operator,power-descending operator,erasure operator,and appending operator.Finally,these results are applied to model and analyze finite state machines and their networks,which demonstrate the practical value of the method and operators.展开更多
In this paper, the representation theory for the arlene Lie algebra H4 associated to the Nappi-Witten Lie algebra H4 is studied. Polynomial representations of the affine Nappi-Witten Lie algebra H4 are given.
In this paper, we discuss the pairing problem of generators in four affine Lie algebra. That is, for any given imaginary root vector x∈g(A) , there exists y such that x and y generate a subalgebra cont...In this paper, we discuss the pairing problem of generators in four affine Lie algebra. That is, for any given imaginary root vector x∈g(A) , there exists y such that x and y generate a subalgebra containing g′(A).展开更多
In this paper, we prove one case of conjecture given by Hemandez and Leclerc. We give a cluster algebra structuure on the Grothendieck ring of a full subcategory of the finite dimensional representations of affine qua...In this paper, we prove one case of conjecture given by Hemandez and Leclerc. We give a cluster algebra structuure on the Grothendieck ring of a full subcategory of the finite dimensional representations of affine quantum group Uq（A3）. As a conclusion, for every exchange relation of cluster algebra, there exists an exact sequence of the full subcategory corresponding to it.展开更多
In this paper, we first give a 1-1 corresponds between torus C/Λ and cubic curve C in P_C^2. As complex manifold, they are isomorphic, therefore we can treat C/Λ as a variety and construction a vertex algebra sheaf ...In this paper, we first give a 1-1 corresponds between torus C/Λ and cubic curve C in P_C^2. As complex manifold, they are isomorphic, therefore we can treat C/Λ as a variety and construction a vertex algebra sheaf on it.展开更多
For any finite-dimensional semisimple Lie algebra g, a Z＋-graded vertex algebra is construsted on the vacuum representation Vk（g[θ]of g[θ]）,which is a one-dimentionM central extension of 8-invariant subspace on t...For any finite-dimensional semisimple Lie algebra g, a Z＋-graded vertex algebra is construsted on the vacuum representation Vk（g[θ]of g[θ]）,which is a one-dimentionM central extension of 8-invariant subspace on the loop algebra Lg=g C（（t^1/p））.展开更多
In this work, we use the finiteness of the Mordell-weil group and the Riemann Roch spaces to give a geometric parametrization of the set of algebraic points of any given degree over the field of rational numbers Q on ...In this work, we use the finiteness of the Mordell-weil group and the Riemann Roch spaces to give a geometric parametrization of the set of algebraic points of any given degree over the field of rational numbers Q on curve C<sub>3 </sub>(11): y<sup>11</sup> = x<sup>3</sup> (x-1)<sup>3</sup>. This result is a special case of quotients of Fermat curves C<sub>r,s </sub>(p) : y<sup>p</sup> = x<sup>r</sup>(x-1)<sup>s</sup>, 1 ≤ r, s, r + s ≤ p-1 for p = 11 and r = s = 3. The results obtained extend the work of Gross and Rohrlich who determined the set of algebraic points on C<sub>1</sub>(11)(K) of degree at most 2 on Q.展开更多
In this paper, we consider an integral basis for affine vertex algebra Vk (sl2) when the level k is integral by a direct calculation, then use the similar way to analyze an integral basis for Virasoro vertex algebra V...In this paper, we consider an integral basis for affine vertex algebra Vk (sl2) when the level k is integral by a direct calculation, then use the similar way to analyze an integral basis for Virasoro vertex algebra Vvir (2k,0). Finally, we take the combination of affine algebras and Virasoro Lie algebras into consideration. By analogy with the construction of Lie algebras over Z using Chevalley bases, we utilize the Z-basis of Lav whose structure constants are integral to find an integral basis for the universal enveloping algebra of it.展开更多
文摘This article proposes an algebraic model predictive control(MPC)method for automatic landing.While defining the constraint functions in the optimization problem,the tangent hyperbolic function is preferred.Therefore,the optimization problem turns into an unconstrained,continuous,and differentiable form.An analytical two-step method is also proposed to solve the rest of the problem.In the first step,it is assumed that only input constraints are active and states are unconstrained.The optimal solution for this case is calculated directly with the optimality condition.The calculated control signal is revised in the second step according to system dynamics and state constraints.Simulation results of the auto-landing system show that the MPC computation speed is significantly increased by the new algebraic MPC(AMPC)without compromising the control performance,which makes the method realistic for using MPC in systems with high-speed changing dynamics.
基金Supported by the Science and Technology Program of Guizhou Province(Grant No.QKHJC QN[2025]362)the National Natural Science Foundation of China(Grant No.12361005).
文摘Loday introduced di-associative algebras and tri-associative algebras motivated by periodicity phenomena in algebraic K-theory.The purpose of this paper is to study the splittings of operations on di-associative algebras and tri-associative algebras.We introduce the notion of a quad-dendriform algebra,which is a splitting of a di-associative algebra.We show that a relative averaging operator on dendriform algebras gives rise to a quad-dendriform algebra.Furthermore,we introduce the notion of six-dendriform algebras,which are splittings of the tri-associative algebras,and demonstrate that homomorphic relative averaging operators induce six-dendriform algebras.
基金National Natural Science Foundation of China(11971315)。
文摘Lie algebras are special Leibniz algebras,so it is natural to view Lie algebras as Leibniz algebras.In this paper,we calculate all the Leibniz 2 cocycles of the Lie algebra K(1,0),which is helpful to classify one dimensional central extensions of K(1,0)as Leibniz algebra.
基金supported in part by the National Natural Science Foundation of China under Grants 62073124 and U1804150.
文摘This paper explores the algebraic essence of universal logic functions(ULFs)from an algebraic perspective.Under the framework of semi-tensor product of matrices,the“sequential nature”of ULFs is revealed.Utilizing the nature,a technique called universal transformation method is proposed,by which any ULF can be transformed into an equivalent expression with desired features that facilitate achieving specific objectives,such as modeling,analyzing and synthesizing universal logical systems.Furthermore,several useful logical operators are constructed in a mixed-dimensional situation,including power-raising operator,power-descending operator,erasure operator,and appending operator.Finally,these results are applied to model and analyze finite state machines and their networks,which demonstrate the practical value of the method and operators.
基金Supported in part by NSFC(10871125,10931006)a grant of Science and Technology Commission of Shanghai Municipality(09XD1402500)
文摘In this paper, the representation theory for the arlene Lie algebra H4 associated to the Nappi-Witten Lie algebra H4 is studied. Polynomial representations of the affine Nappi-Witten Lie algebra H4 are given.
文摘In this paper, we discuss the pairing problem of generators in four affine Lie algebra. That is, for any given imaginary root vector x∈g(A) , there exists y such that x and y generate a subalgebra containing g′(A).
基金Project supported by the National Natural Science Foundation of China(Grant No.11475178)
文摘In this paper, we prove one case of conjecture given by Hemandez and Leclerc. We give a cluster algebra structuure on the Grothendieck ring of a full subcategory of the finite dimensional representations of affine quantum group Uq（A3）. As a conclusion, for every exchange relation of cluster algebra, there exists an exact sequence of the full subcategory corresponding to it.
基金Supported by the National Natural Science Foundation of China(11475178,11571119)
文摘In this paper, we first give a 1-1 corresponds between torus C/Λ and cubic curve C in P_C^2. As complex manifold, they are isomorphic, therefore we can treat C/Λ as a variety and construction a vertex algebra sheaf on it.
基金National Key Basic Research Project of China under Grant Nos.2004CB318000 and 2006CB805905National Natural Science Foundation of China under Grant No.10471034+1 种基金the Outstanding Youth Fund of Henan Province under Grant No.0512000100Innovation Fund of Colleges and Universities in Henan Province
文摘For any finite-dimensional semisimple Lie algebra g, a Z＋-graded vertex algebra is construsted on the vacuum representation Vk（g[θ]of g[θ]）,which is a one-dimentionM central extension of 8-invariant subspace on the loop algebra Lg=g C（（t^1/p））.
文摘In this work, we use the finiteness of the Mordell-weil group and the Riemann Roch spaces to give a geometric parametrization of the set of algebraic points of any given degree over the field of rational numbers Q on curve C<sub>3 </sub>(11): y<sup>11</sup> = x<sup>3</sup> (x-1)<sup>3</sup>. This result is a special case of quotients of Fermat curves C<sub>r,s </sub>(p) : y<sup>p</sup> = x<sup>r</sup>(x-1)<sup>s</sup>, 1 ≤ r, s, r + s ≤ p-1 for p = 11 and r = s = 3. The results obtained extend the work of Gross and Rohrlich who determined the set of algebraic points on C<sub>1</sub>(11)(K) of degree at most 2 on Q.
基金Supported in part by National Natural Science Foundation of China under Grant No. 10971071the Outstanding Youth Fund of Henan Province under Grant No. 0512000100Innovation Fund of Colleges and Universities in Henan Province
文摘In this paper, we construct a new algebra structure 7-twisted atone Lie algebra sl（3,C）[θ] and study its vertex operator representations.
文摘In this paper, we consider an integral basis for affine vertex algebra Vk (sl2) when the level k is integral by a direct calculation, then use the similar way to analyze an integral basis for Virasoro vertex algebra Vvir (2k,0). Finally, we take the combination of affine algebras and Virasoro Lie algebras into consideration. By analogy with the construction of Lie algebras over Z using Chevalley bases, we utilize the Z-basis of Lav whose structure constants are integral to find an integral basis for the universal enveloping algebra of it.
