Computer Algebra Systems have been extensively used in higher education. The reasons are many e.g., visualize mathematical problems, correlate real-world problems on a conceptual level, are flexible, simple to use, ac...Computer Algebra Systems have been extensively used in higher education. The reasons are many e.g., visualize mathematical problems, correlate real-world problems on a conceptual level, are flexible, simple to use, accessible from anywhere, etc. However, there is still room for improvement. Computer algebra system (CAS) optimization is the set of best practices and techniques to keep the CAS running optimally. Best practices are related to how to carry out a mathematical task or configure your system. In this paper, we are going to examine these techniques. The documentation sheets of CASs are the source of data that we used to compare them and examine their characteristics. The research results reveal that there are many tips that we can follow to accelerate performance.展开更多
Presents the meshing analysis based on the Computer Algebra System to make it easier to deduce complex formulas while the expression of more complicated surface equations are visualized, by which, the contact line, me...Presents the meshing analysis based on the Computer Algebra System to make it easier to deduce complex formulas while the expression of more complicated surface equations are visualized, by which, the contact line, meshing bordlines and undercut bordlines of toroidal drive are deduced, and the results obtained are consistent with the results discussed in literature [1] , and concludes that the absolute value of the induced normal curvature is usually smaller (less than 0.12, for example), and it increases as parameters φ 2, V and R increase, decreases as parameter r increases, and hardly varies with W 2, and the variation with a, i 21 is not definite.展开更多
We use squeezing and displacement operators and apply algebraic dynamics to develop a unified solution of general time-dependent two-photon algebra systems. A set of orthogonal-and-normalized solutions are derived wit...We use squeezing and displacement operators and apply algebraic dynamics to develop a unified solution of general time-dependent two-photon algebra systems. A set of orthogonal-and-normalized solutions are derived with the ground state being the conventional squeezed state. Landau system is given as an example.展开更多
Given a compact and regular Hausdorff measure space (X, μ), with μ a Radon measure, it is known that the generalised space M(X) of all the positive Radon measures on X is isomorphic to the space of essentially bound...Given a compact and regular Hausdorff measure space (X, μ), with μ a Radon measure, it is known that the generalised space M(X) of all the positive Radon measures on X is isomorphic to the space of essentially bounded functions L<sup>∞</sup>(X, μ) on X. We confirm that the commutative von Neumann algebras M⊂B(H), with H=L<sup>2</sup>(X, μ), are unitary equivariant to the maximal ideals of the commutative algebra C(X). Subsequenly, we use the measure groupoid to formulate the algebraic and topological structures of the commutative algebra C(X) following its action on M(X) and define its representation and ergodic dynamical system on the commutative von Neumann algebras of M of B(H) .展开更多
Semenov-Tian-Shansky has given the solution of the modified classical Yang-Baxter equation, which was called the modified r-matrix. Relevant studies have been extensive in recent times. In this paper, we introduce the...Semenov-Tian-Shansky has given the solution of the modified classical Yang-Baxter equation, which was called the modified r-matrix. Relevant studies have been extensive in recent times. In this paper, we introduce the concept and representations of modified RotaBaxter Hom-Lie algebras. We develop a cohomology of modified Rota-Baxter Hom-Lie algebras with coefficients in a suitable representation. As applications, we study formal deformations and abelian extensions of modified Rota-Baxter Hom-Lie algebras in terms of second cohomology groups.展开更多
The modifiedλ-differential Lie-Yamaguti algebras are considered,in which a modifiedλ-differential Lie-Yamaguti algebra consisting of a Lie-Yamaguti algebra and a modifiedλ-differential operator.First we introduce t...The modifiedλ-differential Lie-Yamaguti algebras are considered,in which a modifiedλ-differential Lie-Yamaguti algebra consisting of a Lie-Yamaguti algebra and a modifiedλ-differential operator.First we introduce the representation of modifiedλ-differential Lie-Yamaguti algebras.Furthermore,we establish the cohomology of a modifiedλ-differential Lie-Yamaguti algebra with coefficients in a representation.Finally,we investigate the one-parameter formal deformations and Abelian extensions of modifiedλ-differential Lie-Yamaguti algebras using the second cohomology group.展开更多
A left Leibniz algebra equipped with an invariant nondegenerate skew-symmetric bilinear form(i.e.,a skew-symmetric quadratic Leibniz algebra)is constructed.The notion of T^(*)-extension of Lie-Yamaguti algebras is int...A left Leibniz algebra equipped with an invariant nondegenerate skew-symmetric bilinear form(i.e.,a skew-symmetric quadratic Leibniz algebra)is constructed.The notion of T^(*)-extension of Lie-Yamaguti algebras is introduced and it is observed that the trivial extension of a Lie-Yamaguti algebra is a quadratic Lie-Yamaguti algebra.It is proved that every symmetric(resp.,skew-symmetric)quadratic Leibniz algebra induces a quadratic(resp.,symplectic)LieYamaguti algebra.展开更多
This study mainly focuses on the triangle bounded L⁃algebras and triangle ideals.Firstly,the definition of triangle bounded L⁃algebras is presented,and several examples with different conditions are outlined along wit...This study mainly focuses on the triangle bounded L⁃algebras and triangle ideals.Firstly,the definition of triangle bounded L⁃algebras is presented,and several examples with different conditions are outlined along with an exploration of their properties.Moreover,we investigate the structure of triangle bounded L⁃algebra with a special condition.Secondly,we define the concept of triangle ideals of triangle bounded L⁃algebra and explore the connection between the triangle ideals of triangle bounded L⁃algebra L and the ideals of bounded L⁃algebra E(L).In addition,we classified and studied various classes of triangle ideals,including Stonean triangle ideals,extended Stonean triangle ideals,and lattice ideals,and by introducing the notion of Stonean triangle bounded L algebras,we examine the relationship between Stonean triangle bounded L⁃algebras and Stonean triangle ideals.Finally,we investigate the interrelationships among these various types of triangle ideals.展开更多
A bottleneck algebra is a linearly ordered set(B,≤)with two operations a⊕b=max{a,b}and a⊗b=min{a,b}.A finite nonempty set of vectors of order m over a bottleneck algebra B is said to be 2 B-independent if each vecto...A bottleneck algebra is a linearly ordered set(B,≤)with two operations a⊕b=max{a,b}and a⊗b=min{a,b}.A finite nonempty set of vectors of order m over a bottleneck algebra B is said to be 2 B-independent if each vector of order m over B can be expressed as a linear combination of vectors in this set in at most one way.In 1996,Cechlárováand Plávka posed an open problem:Find a necessary and sufficient condition for a finite nonempty set of vectors of order m over B to be 2 B-independent.In this paper,we derive some necessary and sufficient conditions for a finite nonempty set of vectors of order m over a bounded bottleneck algebra to be 2 B-independent and answer this open problem.展开更多
In this paper,we propose a new full-Newton step feasible interior-point algorithm for the special weighted linear complementarity problems.The proposed algorithm employs the technique of algebraic equivalent transform...In this paper,we propose a new full-Newton step feasible interior-point algorithm for the special weighted linear complementarity problems.The proposed algorithm employs the technique of algebraic equivalent transformation to derive the search direction.It is shown that the proximity measure reduces quadratically at each iteration.Moreover,the iteration bound of the algorithm is as good as the best-known polynomial complexity for these types of problems.Furthermore,numerical results are presented to show the efficiency of the proposed algorithm.展开更多
In this paper,we shall study structures of even lattice vertex operator algebras by using the geometry of the varieties of their semi-conformal vectors.We first give the varieties of semi-conformal vectors of a family...In this paper,we shall study structures of even lattice vertex operator algebras by using the geometry of the varieties of their semi-conformal vectors.We first give the varieties of semi-conformal vectors of a family of vertex operator algebras V_(√kA_(1)) associated to rank-one positive definite even lattices √kA_(1) for arbitrary positive integers k to characterize these even lattice vertex operator algebras.In such a family of lattice vertex operator algebras V_(√kA_(1)),the vertex operator algebra V_(√2A_(1)) is different from others.Hence we describe the varieties of semi-conformal vectors of V_(√2A_(1)) and the fixed vertex operator subalgebra V^(+)√2A_(1).Moreover,as applications,we study the relations between vertex operator algebras V_(√kA_(1) )and L_(sl_(2))(k,0)for arbitrary positive integers k by the viewpoint of semi-conformal homomorphisms of vertex operator algebras.For case k=2,in the series of rational simple affine vertex operator algebras L_(sl_(2))(k,0)for positive integers k,we show that L_(sl_(2))(2,0)is a unique frame vertex operator algebra with rank 3.展开更多
In this paper,we first introduce the notion of relative Rota-Baxter operators of nonzero weight on 3-Hom-Lie algebras and define a cohomology of relative Rota-Baxter operators of nonzero weight on 3-Hom-Lie algebras w...In this paper,we first introduce the notion of relative Rota-Baxter operators of nonzero weight on 3-Hom-Lie algebras and define a cohomology of relative Rota-Baxter operators of nonzero weight on 3-Hom-Lie algebras with coefficients in a suitable representation.Next,we introduce and study 3-Hom-post-Lie-algebras as the underlying structure of relative Rota-Baxter operators of nonzero weight on 3-Hom-Lie algebras.Finally,we investigate relative Rota-Baxter operators of nonzero weight on 3-Hom-Lie algebras induced by Hom-Lie algebras.展开更多
In this paper,we introduce non-abelian cohomology groups and classify the nonabelian extensions of Rota-Baxter pre-Lie algebras in terms of non-abelian cohomology groups.Next,we explore the inducibility of pairs of au...In this paper,we introduce non-abelian cohomology groups and classify the nonabelian extensions of Rota-Baxter pre-Lie algebras in terms of non-abelian cohomology groups.Next,we explore the inducibility of pairs of automorphisms and derive the analog Wells exact sequences under the circumstance of Rota-Baxter pre-Lie algebras.Finally,we discuss the inducibility problem of pairs of automorphisms about an abelian extensions of Rota-Baxter pre-Lie algebras.展开更多
Aimed at the demand of contingency return at any time during the near-moon phase in the manned lunar landing missions,a fast calculation method for three-impulse contingency return trajectories is proposed.Firstly,a t...Aimed at the demand of contingency return at any time during the near-moon phase in the manned lunar landing missions,a fast calculation method for three-impulse contingency return trajectories is proposed.Firstly,a three-impulse contingency return trajectory scheme is presented by combining the Lambert transfer and maneuver at the special point.Secondly,a calculation model of three-impulse contingency return trajectories is established.Then,fast calculation methods are proposed by adopting the high-order Taylor expansion of differential algebra in the twobody trajectory dynamics model and perturbed trajectory dynamics model.Finally,the performance of the proposed methods is verified by numerical simulation.The results indicate that the fast calculation method of two-body trajectory has higher calculation efficiency compared to the semi-analytical calculation method under a certain accuracy condition.Due to its high efficiency,the characteristics of the three-impulse contingency return trajectories under different contingency scenarios are further analyzed expeditiously.These findings can be used for the design of contingency return trajectories in future manned lunar landing missions.展开更多
With the development of science and technology,the design and optimization of control systems are widely applied.This paper focuses on the application of matrix equations in linear time-invariant systems.Taking the in...With the development of science and technology,the design and optimization of control systems are widely applied.This paper focuses on the application of matrix equations in linear time-invariant systems.Taking the inverted pendulum model as an example,the algebraic Riccati equation is used to solve the optimal control problem,and the system performance and stability are achieved by selecting the closed-loop pole and designing the gain matrix.Then,the numerical methods for solving the stochastic algebraic Riccati equations are applied to practical problems,with Newton’s iteration method as the outer iteration and the solution of the mixed-type Lyapunov equations as the inner iteration.Two methods for solving the Lyapunov equations are introduced,providing references for related research.展开更多
Let R be a commutative ring with unity and T be a triangular algebra over R.Let a sequence G={G_n}_(n∈N)of nonlinear mappings G_n:T→T associated with nonlinear Lie triple higher derivations∆={δ_n}_(n∈N)by local ac...Let R be a commutative ring with unity and T be a triangular algebra over R.Let a sequence G={G_n}_(n∈N)of nonlinear mappings G_n:T→T associated with nonlinear Lie triple higher derivations∆={δ_n}_(n∈N)by local actions be a generalized Lie triple higher derivation by local actions satisfying Gn([[x,y],z])=Σ_(i+j+k=n)[[Gi(x),δj(y)],δk(z)]for all x,y,z∈T with xyz=0.Under some mild conditions on T,we prove in this paper that every nonlinear generalized Lie triple higher derivation by local actions on triangular algebras is proper.As an application we shall give a characterization of nonlinear generalized Lie triple higher derivations by local actions on upper triangular matrix algebras and nest algebras,respectively.At the same time,it also improves some interesting conclusions,such as[J.Algebra Appl.22(3),2023,Paper No.2350059],[Axioms,11,2022,1–16].展开更多
In this paper,we study the Hom-structures of a special class of solvable Lie algebras with naturally graded filiform nilradical n_(n,1).Over an algebraically closed field F of zero characteristic,we calculate the Hom-...In this paper,we study the Hom-structures of a special class of solvable Lie algebras with naturally graded filiform nilradical n_(n,1).Over an algebraically closed field F of zero characteristic,we calculate the Hom-structures of these solvable Lie algebras using the Hom-Jacobi identity,obtain the bases of these Hom-structures and observe that there are certain similarities among these bases.展开更多
Curriculum ideology and politics is the key to carry out the mission of educating people in colleges and universities in the new era.On the problem of integrating the linear algebra course into the ideological and pol...Curriculum ideology and politics is the key to carry out the mission of educating people in colleges and universities in the new era.On the problem of integrating the linear algebra course into the ideological and political education,it was expounded from four aspects:the necessity of integrating the course ideology and politics into the teaching of linear algebra,exploring curriculum ideological and political elements,the case design of integrating the course ideology and politics teaching,and the expected effect of integrating linear algebra courses into ideological and political education in the curriculum,in order to have the reference and help function to the educator.展开更多
Aim To study an algebraic of the dynamical equations of holonomic mechanical systems in relative motion. Methods The equations of motion were presented in a contravariant algebraic form and an algebraic product was...Aim To study an algebraic of the dynamical equations of holonomic mechanical systems in relative motion. Methods The equations of motion were presented in a contravariant algebraic form and an algebraic product was determined. Results and Conclusion The equations a Lie algebraic structure if any nonpotential generalized force doesn't exist while while the equations possess a Lie-admissible algebraic structure if nonpotential generalized forces exist .展开更多
To simplify the process for identifying 12 types of symmetric variables in the canonical OR-coincidence(COC) algebra system, we propose a new symmetry detection algorithm based on OR-NXOR expansion. By analyzing the r...To simplify the process for identifying 12 types of symmetric variables in the canonical OR-coincidence(COC) algebra system, we propose a new symmetry detection algorithm based on OR-NXOR expansion. By analyzing the relationships between the coefficient matrices of sub-functions and the order coefficient subset matrices based on OR-NXOR expansion around two arbitrary logical variables, the constraint conditions of the order coefficient subset matrices are revealed for 12 types of symmetric variables. Based on the proposed constraints, the algorithm is realized by judging the order characteristic square value matrices. The proposed method avoids the transformation process from OR-NXOR expansion to AND-OR-NOT expansion, or to AND-XOR expansion, and solves the problem of completeness in the dj-map method. The application results show that, compared with traditional methods, the new algorithm is an optimal detection method in terms of applicability of the number of logical variables, detection type, and complexity of the identification process. The algorithm has been implemented in C language and tested on MCNC91 benchmarks. Experimental results show that the proposed algorithm is convenient and efficient.展开更多
文摘Computer Algebra Systems have been extensively used in higher education. The reasons are many e.g., visualize mathematical problems, correlate real-world problems on a conceptual level, are flexible, simple to use, accessible from anywhere, etc. However, there is still room for improvement. Computer algebra system (CAS) optimization is the set of best practices and techniques to keep the CAS running optimally. Best practices are related to how to carry out a mathematical task or configure your system. In this paper, we are going to examine these techniques. The documentation sheets of CASs are the source of data that we used to compare them and examine their characteristics. The research results reveal that there are many tips that we can follow to accelerate performance.
文摘Presents the meshing analysis based on the Computer Algebra System to make it easier to deduce complex formulas while the expression of more complicated surface equations are visualized, by which, the contact line, meshing bordlines and undercut bordlines of toroidal drive are deduced, and the results obtained are consistent with the results discussed in literature [1] , and concludes that the absolute value of the induced normal curvature is usually smaller (less than 0.12, for example), and it increases as parameters φ 2, V and R increase, decreases as parameter r increases, and hardly varies with W 2, and the variation with a, i 21 is not definite.
基金the National Natural Science Foundation of China under Grant No.19775020the Special Fund for Theoretical Physics,the Doctoral Education Fund of the Education Ministry.
文摘We use squeezing and displacement operators and apply algebraic dynamics to develop a unified solution of general time-dependent two-photon algebra systems. A set of orthogonal-and-normalized solutions are derived with the ground state being the conventional squeezed state. Landau system is given as an example.
文摘Given a compact and regular Hausdorff measure space (X, μ), with μ a Radon measure, it is known that the generalised space M(X) of all the positive Radon measures on X is isomorphic to the space of essentially bounded functions L<sup>∞</sup>(X, μ) on X. We confirm that the commutative von Neumann algebras M⊂B(H), with H=L<sup>2</sup>(X, μ), are unitary equivariant to the maximal ideals of the commutative algebra C(X). Subsequenly, we use the measure groupoid to formulate the algebraic and topological structures of the commutative algebra C(X) following its action on M(X) and define its representation and ergodic dynamical system on the commutative von Neumann algebras of M of B(H) .
基金Supported by the Universities Key Laboratory of System Modeling and Data Mining in Guizhou Province(Grant No.2023013)the National Natural Science Foundation of China(Grant No.12161013)the Science and Technology Program of Guizhou Province(Grant No.ZK[2023]025)。
文摘Semenov-Tian-Shansky has given the solution of the modified classical Yang-Baxter equation, which was called the modified r-matrix. Relevant studies have been extensive in recent times. In this paper, we introduce the concept and representations of modified RotaBaxter Hom-Lie algebras. We develop a cohomology of modified Rota-Baxter Hom-Lie algebras with coefficients in a suitable representation. As applications, we study formal deformations and abelian extensions of modified Rota-Baxter Hom-Lie algebras in terms of second cohomology groups.
基金National Natural Science Foundation of China(12161013)Research Projects of Guizhou University of Commerce in 2024。
文摘The modifiedλ-differential Lie-Yamaguti algebras are considered,in which a modifiedλ-differential Lie-Yamaguti algebra consisting of a Lie-Yamaguti algebra and a modifiedλ-differential operator.First we introduce the representation of modifiedλ-differential Lie-Yamaguti algebras.Furthermore,we establish the cohomology of a modifiedλ-differential Lie-Yamaguti algebra with coefficients in a representation.Finally,we investigate the one-parameter formal deformations and Abelian extensions of modifiedλ-differential Lie-Yamaguti algebras using the second cohomology group.
文摘A left Leibniz algebra equipped with an invariant nondegenerate skew-symmetric bilinear form(i.e.,a skew-symmetric quadratic Leibniz algebra)is constructed.The notion of T^(*)-extension of Lie-Yamaguti algebras is introduced and it is observed that the trivial extension of a Lie-Yamaguti algebra is a quadratic Lie-Yamaguti algebra.It is proved that every symmetric(resp.,skew-symmetric)quadratic Leibniz algebra induces a quadratic(resp.,symplectic)LieYamaguti algebra.
基金Sponsored by Foreign Expert Program of China(Grant No.DL2023041002L)Yulin City Industry University Research Project(Grant No.CXY-2022-59).
文摘This study mainly focuses on the triangle bounded L⁃algebras and triangle ideals.Firstly,the definition of triangle bounded L⁃algebras is presented,and several examples with different conditions are outlined along with an exploration of their properties.Moreover,we investigate the structure of triangle bounded L⁃algebra with a special condition.Secondly,we define the concept of triangle ideals of triangle bounded L⁃algebra and explore the connection between the triangle ideals of triangle bounded L⁃algebra L and the ideals of bounded L⁃algebra E(L).In addition,we classified and studied various classes of triangle ideals,including Stonean triangle ideals,extended Stonean triangle ideals,and lattice ideals,and by introducing the notion of Stonean triangle bounded L algebras,we examine the relationship between Stonean triangle bounded L⁃algebras and Stonean triangle ideals.Finally,we investigate the interrelationships among these various types of triangle ideals.
基金Supported by National Natural Science Foundation of China(Grant Nos.11771004 and 11971111).
文摘A bottleneck algebra is a linearly ordered set(B,≤)with two operations a⊕b=max{a,b}and a⊗b=min{a,b}.A finite nonempty set of vectors of order m over a bottleneck algebra B is said to be 2 B-independent if each vector of order m over B can be expressed as a linear combination of vectors in this set in at most one way.In 1996,Cechlárováand Plávka posed an open problem:Find a necessary and sufficient condition for a finite nonempty set of vectors of order m over B to be 2 B-independent.In this paper,we derive some necessary and sufficient conditions for a finite nonempty set of vectors of order m over a bounded bottleneck algebra to be 2 B-independent and answer this open problem.
基金Supported by the Optimisation Theory and Algorithm Research Team(Grant No.23kytdzd004)University Science Research Project of Anhui Province(Grant No.2024AH050631)the General Programs for Young Teacher Cultivation of Educational Commission of Anhui Province(Grant No.YQYB2023090).
文摘In this paper,we propose a new full-Newton step feasible interior-point algorithm for the special weighted linear complementarity problems.The proposed algorithm employs the technique of algebraic equivalent transformation to derive the search direction.It is shown that the proximity measure reduces quadratically at each iteration.Moreover,the iteration bound of the algorithm is as good as the best-known polynomial complexity for these types of problems.Furthermore,numerical results are presented to show the efficiency of the proposed algorithm.
基金Supported by National Natural Science Foundation of China(Grant No.12475002).
文摘In this paper,we shall study structures of even lattice vertex operator algebras by using the geometry of the varieties of their semi-conformal vectors.We first give the varieties of semi-conformal vectors of a family of vertex operator algebras V_(√kA_(1)) associated to rank-one positive definite even lattices √kA_(1) for arbitrary positive integers k to characterize these even lattice vertex operator algebras.In such a family of lattice vertex operator algebras V_(√kA_(1)),the vertex operator algebra V_(√2A_(1)) is different from others.Hence we describe the varieties of semi-conformal vectors of V_(√2A_(1)) and the fixed vertex operator subalgebra V^(+)√2A_(1).Moreover,as applications,we study the relations between vertex operator algebras V_(√kA_(1) )and L_(sl_(2))(k,0)for arbitrary positive integers k by the viewpoint of semi-conformal homomorphisms of vertex operator algebras.For case k=2,in the series of rational simple affine vertex operator algebras L_(sl_(2))(k,0)for positive integers k,we show that L_(sl_(2))(2,0)is a unique frame vertex operator algebra with rank 3.
基金Supported by the National Natural Science Foundation of China(Grant No.12161013)the School-Level Student Research Project of Guizhou University of Finance and Economics(Grant No.2024ZXSY231)。
文摘In this paper,we first introduce the notion of relative Rota-Baxter operators of nonzero weight on 3-Hom-Lie algebras and define a cohomology of relative Rota-Baxter operators of nonzero weight on 3-Hom-Lie algebras with coefficients in a suitable representation.Next,we introduce and study 3-Hom-post-Lie-algebras as the underlying structure of relative Rota-Baxter operators of nonzero weight on 3-Hom-Lie algebras.Finally,we investigate relative Rota-Baxter operators of nonzero weight on 3-Hom-Lie algebras induced by Hom-Lie algebras.
基金Supported by the National Natural Science Foundation of China(Grant No.12161013)the School-Level Student Research Project of Guizhou University of Finance and Economics(Grant No.2024ZXSY239).
文摘In this paper,we introduce non-abelian cohomology groups and classify the nonabelian extensions of Rota-Baxter pre-Lie algebras in terms of non-abelian cohomology groups.Next,we explore the inducibility of pairs of automorphisms and derive the analog Wells exact sequences under the circumstance of Rota-Baxter pre-Lie algebras.Finally,we discuss the inducibility problem of pairs of automorphisms about an abelian extensions of Rota-Baxter pre-Lie algebras.
基金co-supported by the National Natural Science Foundation of China(No.12072365)the Technology Innovation Team of Manned Space Engineering,China。
文摘Aimed at the demand of contingency return at any time during the near-moon phase in the manned lunar landing missions,a fast calculation method for three-impulse contingency return trajectories is proposed.Firstly,a three-impulse contingency return trajectory scheme is presented by combining the Lambert transfer and maneuver at the special point.Secondly,a calculation model of three-impulse contingency return trajectories is established.Then,fast calculation methods are proposed by adopting the high-order Taylor expansion of differential algebra in the twobody trajectory dynamics model and perturbed trajectory dynamics model.Finally,the performance of the proposed methods is verified by numerical simulation.The results indicate that the fast calculation method of two-body trajectory has higher calculation efficiency compared to the semi-analytical calculation method under a certain accuracy condition.Due to its high efficiency,the characteristics of the three-impulse contingency return trajectories under different contingency scenarios are further analyzed expeditiously.These findings can be used for the design of contingency return trajectories in future manned lunar landing missions.
基金Supported by National Natural Science Foundation of China(Grant No.12571388)the Visiting Scholar Program of National Natural Science Foundation of China(Grant No.12426616)Natural Science Research Start-up Foundation of Recruiting Talents of Nanjing University of Posts and Telecommunications(Grant No.NY223127).
文摘With the development of science and technology,the design and optimization of control systems are widely applied.This paper focuses on the application of matrix equations in linear time-invariant systems.Taking the inverted pendulum model as an example,the algebraic Riccati equation is used to solve the optimal control problem,and the system performance and stability are achieved by selecting the closed-loop pole and designing the gain matrix.Then,the numerical methods for solving the stochastic algebraic Riccati equations are applied to practical problems,with Newton’s iteration method as the outer iteration and the solution of the mixed-type Lyapunov equations as the inner iteration.Two methods for solving the Lyapunov equations are introduced,providing references for related research.
基金Supported by Open Research Fund of Hubei Key Laboratory of Mathematical Sciences(Central China Normal University)the Natural Science Foundation of Anhui Province(Grant No.2008085QA01)the University Natural Science Research Project of Anhui Province(Grant No.KJ2019A0107)。
文摘Let R be a commutative ring with unity and T be a triangular algebra over R.Let a sequence G={G_n}_(n∈N)of nonlinear mappings G_n:T→T associated with nonlinear Lie triple higher derivations∆={δ_n}_(n∈N)by local actions be a generalized Lie triple higher derivation by local actions satisfying Gn([[x,y],z])=Σ_(i+j+k=n)[[Gi(x),δj(y)],δk(z)]for all x,y,z∈T with xyz=0.Under some mild conditions on T,we prove in this paper that every nonlinear generalized Lie triple higher derivation by local actions on triangular algebras is proper.As an application we shall give a characterization of nonlinear generalized Lie triple higher derivations by local actions on upper triangular matrix algebras and nest algebras,respectively.At the same time,it also improves some interesting conclusions,such as[J.Algebra Appl.22(3),2023,Paper No.2350059],[Axioms,11,2022,1–16].
基金Supported by National Natural Science Foundation of China(12271085)Supported by National Natural Science Foundation of Heilongjiang Province(LH2022A019)+3 种基金Basic Scientic Research Operating Funds for Provincial Universities in Heilongjiang Province(2020 KYYWF 1018)Heilongjiang University Outstanding Youth Science Foundation(JCL202103)Heilongjiang University Educational and Teaching Reform Research Project(2024C43)Heilongjiang University Postgraduate Education Reform Project(JGXM_YJS_2024010).
文摘In this paper,we study the Hom-structures of a special class of solvable Lie algebras with naturally graded filiform nilradical n_(n,1).Over an algebraically closed field F of zero characteristic,we calculate the Hom-structures of these solvable Lie algebras using the Hom-Jacobi identity,obtain the bases of these Hom-structures and observe that there are certain similarities among these bases.
文摘Curriculum ideology and politics is the key to carry out the mission of educating people in colleges and universities in the new era.On the problem of integrating the linear algebra course into the ideological and political education,it was expounded from four aspects:the necessity of integrating the course ideology and politics into the teaching of linear algebra,exploring curriculum ideological and political elements,the case design of integrating the course ideology and politics teaching,and the expected effect of integrating linear algebra courses into ideological and political education in the curriculum,in order to have the reference and help function to the educator.
文摘Aim To study an algebraic of the dynamical equations of holonomic mechanical systems in relative motion. Methods The equations of motion were presented in a contravariant algebraic form and an algebraic product was determined. Results and Conclusion The equations a Lie algebraic structure if any nonpotential generalized force doesn't exist while while the equations possess a Lie-admissible algebraic structure if nonpotential generalized forces exist .
基金Project supported by the National Natural Science Foundation of China(Nos.61471314 and 61271124)the National Social Science Foundation of China(No.12AZD121)+1 种基金the Zhejiang Provincial Natural Science Foundation of China(No.LY13F010001)the National Key Technology Research and Development Program of the Ministry of Science and Technology of China(Nos.2013BAH27F01 and 2013BAH27F02)
文摘To simplify the process for identifying 12 types of symmetric variables in the canonical OR-coincidence(COC) algebra system, we propose a new symmetry detection algorithm based on OR-NXOR expansion. By analyzing the relationships between the coefficient matrices of sub-functions and the order coefficient subset matrices based on OR-NXOR expansion around two arbitrary logical variables, the constraint conditions of the order coefficient subset matrices are revealed for 12 types of symmetric variables. Based on the proposed constraints, the algorithm is realized by judging the order characteristic square value matrices. The proposed method avoids the transformation process from OR-NXOR expansion to AND-OR-NOT expansion, or to AND-XOR expansion, and solves the problem of completeness in the dj-map method. The application results show that, compared with traditional methods, the new algorithm is an optimal detection method in terms of applicability of the number of logical variables, detection type, and complexity of the identification process. The algorithm has been implemented in C language and tested on MCNC91 benchmarks. Experimental results show that the proposed algorithm is convenient and efficient.
