Lightlike warped product manifolds are considered in this paper. The geometry of lightlike submanifolds is difficult to study since the normal vector bundle intersects with the tangent bundle. Due to the degenerate me...Lightlike warped product manifolds are considered in this paper. The geometry of lightlike submanifolds is difficult to study since the normal vector bundle intersects with the tangent bundle. Due to the degenerate metric, the induced connection is not metric and it follows that the Riemannian curvature tensor is not algebraic. In this situation, some basic techniques of calulus are not useable. In this paper, we consider lightlike warped product as submanifold of semi-Riemannian manifold and establish some remarkable geometric properties from which we establish some conditions on the algebraicity of the induced Riemannian curvature tensor.展开更多
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.展开更多
We introduce an algebraicity criterion.It has the following form:Consider an analytic subvariety of some algebraic variety X over a global field K.Under certain conditions,if X contains many K-points,then X is algebra...We introduce an algebraicity criterion.It has the following form:Consider an analytic subvariety of some algebraic variety X over a global field K.Under certain conditions,if X contains many K-points,then X is algebraic over K.This gives a way to show the transcendence of points via the transcendence of analytic subvarieties.Such a situ-ation often appears when we have a dynamical system,because we can often produce infinitely many points from one point via iterates.Combining this criterion and the study of invariant subvarieties,we get some results on the transcendence in arithmetic dynamics.We get a characterization for products of Böttcher coordinates or products of multiplicative canonical heights for polynomial dynamical pairs to be algebraic.For this,we study the invariant subvarieties for products of endomorphisms.In particular,we partially generalize Medvedev-Scanlon’s classification of invariant subvarieties of split polynomial maps to separable endomorphisms on(P^(1))^(N) in any characteristic.We also get some high dimensional partial generalization via introducing a notion of independence.We then study dominant endomorphisms f on A^(N) over a number field of algebraic degree d≥2.We show that in most cases(e.g.when such an endomor-phism extends to an endomorphism on P^(N)),there are many analytic curves centered at infinity which are periodic.We show that for most of them,it is algebraic if and only if it contains at least one algebraic point.We also study the periodic curves.We show that for most f,all periodic curves have degree at most 2.When N=2,we get a more precise classification result.We show that under a condition which is satisfied for a general f,if f has infinitely many periodic curves,then f is homogenous up to change of origin.展开更多
In this paper,we offer a new construction of Stefan’s homological spectral sequence for Hopf Galois extensions,by using the double complex argument.Under the faithfully flat condition,a method for computation of Hoch...In this paper,we offer a new construction of Stefan’s homological spectral sequence for Hopf Galois extensions,by using the double complex argument.Under the faithfully flat condition,a method for computation of Hochschild homology is given.展开更多
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 note,we study a question introduced by Bourin[1]and extend the conclusion from[2]to the case of operators on noncommutative fully symmetric spaces.The conclusion is as follows.Let 0≤x,y∈E(M),If t∈[0,1/4]∪[...In this note,we study a question introduced by Bourin[1]and extend the conclusion from[2]to the case of operators on noncommutative fully symmetric spaces.The conclusion is as follows.Let 0≤x,y∈E(M),If t∈[0,1/4]∪[3/4,1],then∥x^(t)y^(1-t)+ytx^(1-t)∥E(M)≤2^(2t-3/2)∥x+y∥E(M).展开更多
To investigate the forward kinematics problem of parallel mechanisms with complex limbs and to expand the applicability of the powerful tool of Conformal Geometric Algebra(CGA),a CGA-based modeling and solution method...To investigate the forward kinematics problem of parallel mechanisms with complex limbs and to expand the applicability of the powerful tool of Conformal Geometric Algebra(CGA),a CGA-based modeling and solution method for a class of parallel platforms with 3-RE structure after locking the actuated joints is proposed in this paper.Given that the angle between specific joint axes of limbs remains constant,a set of geometric constraints for the forward kinematics of parallel mechanisms(PM)are determined.After translating unit direction vectors of these joint axes to the common starting point,the geometric constraints of the angle between the vectors are transformed into the distances between the endpoints of the vectors,making them easier to handle.Under the framework of CGA,the positions of key points that determine the position and orientation of the moving platform can be intuitively determined by the intersection,division,and duality of basic geometric entities.By employing the tangent half-angle substitution,the forward kinematic analysis of the parallel mechanisms leads to a high-order univariate polynomial equation without the need for any complex algebraic elimination operations.After solving this equation and back substitution,the position and pose of the MP can be obtained indirectly.A numerical case is utilized to confirm the effectiveness of the proposed method.展开更多
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.展开更多
In this paper,we show that an ideal generated by matching Rota-Baxter equations is a bideal of a Hopf algebra on decorated rooted forests.We then get a bialgebraic structure on the space of decorated rooted forests mo...In this paper,we show that an ideal generated by matching Rota-Baxter equations is a bideal of a Hopf algebra on decorated rooted forests.We then get a bialgebraic structure on the space of decorated rooted forests modulo this biideal.As an application,a connected graded bialgebra and so a graded Hopf algebra on matching Rota-Baxter algebras are constructed,which simplifies the Hopf algebraic structure proposed by[Pacific J.Math.,2022,317(2):441-475].展开更多
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.展开更多
We classify condensable𝐸E_(2)-algebras in a modular tensor category C up to 2-Morita equivalence.Physically,this classification provides an explicit criterion to determine when distinct condensable𝐸E_(...We classify condensable𝐸E_(2)-algebras in a modular tensor category C up to 2-Morita equivalence.Physically,this classification provides an explicit criterion to determine when distinct condensable𝐸E_(2)-algebras yield the same condensed topological phase under a two-dimensional anyon condensation process.The relations between different condensable algebras can be translated into their module categories,interpreted physically as gapped domain walls in topological orders.As concrete examples,we interpret the categories of quantum doubles of finite groups and examples beyond group symmetries.Our framework fully elucidates the interplay among condensable𝐸E_(1)-algebras in C,condensable𝐸E_(2)-algebras in C up to 2-Morita equivalence,and Lagrangian algebras in C⊠C.展开更多
Let D(n)be the finite dimensional non-pointed and non-semisimple Hopf algebra,which is a quotient of a prime Hopf algebras of GK-dimension one for an odd number n>1.In this paper,we investigate the structure of Yet...Let D(n)be the finite dimensional non-pointed and non-semisimple Hopf algebra,which is a quotient of a prime Hopf algebras of GK-dimension one for an odd number n>1.In this paper,we investigate the structure of Yetter-Drinfeld simple modules over D(n)and give iso-classes of them.展开更多
Many applications for locating a radio signal source employ Global Navigation Satellite System(GNSS)to obtain a sensor’s position.By using GNSS,a sensor can also synchronize with other sensors.For a sensor that is eq...Many applications for locating a radio signal source employ Global Navigation Satellite System(GNSS)to obtain a sensor’s position.By using GNSS,a sensor can also synchronize with other sensors.For a sensor that is equipped with a GNSS receiver,it can be independent and is readily to be loaded on a flexible platform,such as an unmanned aerial vehicle(UAV).In this paper,we consider using such sensors and timeof-arrival(TOA)techniques to locate a radio signal source,and analyze the performance limit of source localization.Besides the performance analysis,this paper provides the geometric interpretation of the performance limit,which can illustrate how a sensor contributes to the source localization accuracy.The performance analysis and the geometric interpretation together give important insights into how to make better use of GNSS receiver for passive localization.Another contribution is we propose a modified closedform solution for this localization problem.Compared with previous literature,this solution takes both sensor position and synchronization uncertainty into account,and it does not need proper initial guess of source position and is computationally efficient.Our simulation results validate the efficiency of this solution.展开更多
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.展开更多
Several aspects of the internal structure of pseudoscalar mesons,accessible through generalized parton distri-butions in their zero-skewness limit,are examined.These include electromagnetic and gravitational form fact...Several aspects of the internal structure of pseudoscalar mesons,accessible through generalized parton distri-butions in their zero-skewness limit,are examined.These include electromagnetic and gravitational form factors related to charge and mass densities;and distributions in the impact parameter space.To this end,we employ an algebraically viable framework that is based upon the valence-quark generalized parton distribution expressed explicitly in terms of the associated distribution function and a profile function that governs the off-forward dynamics.The predominantly analytical nature of this scheme yields several algebraic results and relations while also facilitating the exploration of insightful limiting cases.With a suitable input distribution function,guided either by experiment or theory,and with an appropriate choice of the profile function,it is possible to provide testable predictions for spatial distributions of valence quarks inside pseudoscalar mesons.When comparison is possible,these predictions align well with existing experimental data as well as the findings of reliable theoretical approaches and lattice QCD.展开更多
This paper presents a systematic comparison of the curriculum design and application orientation of the linear algebra curriculum in our country and abroad.It explains mainly differences in course objectives,teaching ...This paper presents a systematic comparison of the curriculum design and application orientation of the linear algebra curriculum in our country and abroad.It explains mainly differences in course objectives,teaching content,approaches,and feedback mechanisms,reflecting divergent understandings of the discipline’s value within distinct educational ecosystems.Forward-looking and practical conclusions are proposed across five main directions:optimizing course structure,strengthening practical components,deepening interdisciplinary integration,building faculty capacity,and developing teaching resources.The aim is to provide strong conceptual help and realistic guidance for getting real progress in linear algebra education in China.展开更多
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.展开更多
文摘Lightlike warped product manifolds are considered in this paper. The geometry of lightlike submanifolds is difficult to study since the normal vector bundle intersects with the tangent bundle. Due to the degenerate metric, the induced connection is not metric and it follows that the Riemannian curvature tensor is not algebraic. In this situation, some basic techniques of calulus are not useable. In this paper, we consider lightlike warped product as submanifold of semi-Riemannian manifold and establish some remarkable geometric properties from which we establish some conditions on the algebraicity of the induced Riemannian curvature tensor.
基金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.
文摘We introduce an algebraicity criterion.It has the following form:Consider an analytic subvariety of some algebraic variety X over a global field K.Under certain conditions,if X contains many K-points,then X is algebraic over K.This gives a way to show the transcendence of points via the transcendence of analytic subvarieties.Such a situ-ation often appears when we have a dynamical system,because we can often produce infinitely many points from one point via iterates.Combining this criterion and the study of invariant subvarieties,we get some results on the transcendence in arithmetic dynamics.We get a characterization for products of Böttcher coordinates or products of multiplicative canonical heights for polynomial dynamical pairs to be algebraic.For this,we study the invariant subvarieties for products of endomorphisms.In particular,we partially generalize Medvedev-Scanlon’s classification of invariant subvarieties of split polynomial maps to separable endomorphisms on(P^(1))^(N) in any characteristic.We also get some high dimensional partial generalization via introducing a notion of independence.We then study dominant endomorphisms f on A^(N) over a number field of algebraic degree d≥2.We show that in most cases(e.g.when such an endomor-phism extends to an endomorphism on P^(N)),there are many analytic curves centered at infinity which are periodic.We show that for most of them,it is algebraic if and only if it contains at least one algebraic point.We also study the periodic curves.We show that for most f,all periodic curves have degree at most 2.When N=2,we get a more precise classification result.We show that under a condition which is satisfied for a general f,if f has infinitely many periodic curves,then f is homogenous up to change of origin.
基金Supported by National Natural Science Foundation of China(Grant No.11971418).
文摘In this paper,we offer a new construction of Stefan’s homological spectral sequence for Hopf Galois extensions,by using the double complex argument.Under the faithfully flat condition,a method for computation of Hochschild homology is given.
基金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 by the Fundamental Research Program of Shanxi Province(202103021223038).
文摘In this note,we study a question introduced by Bourin[1]and extend the conclusion from[2]to the case of operators on noncommutative fully symmetric spaces.The conclusion is as follows.Let 0≤x,y∈E(M),If t∈[0,1/4]∪[3/4,1],then∥x^(t)y^(1-t)+ytx^(1-t)∥E(M)≤2^(2t-3/2)∥x+y∥E(M).
基金Supported by National Natural Science Foundation of China (Grant No. 52175019)Beijing Municipal Natural Science Foundation of China (Grant No. L222038)+3 种基金Beijing Nova Programme Interdisciplinary Cooperation Project of China (Grant No. 20240484699)Joint Funds of Industry-University-Research of Shanghai Academy of Spaceflight Technology of China (Grant No. SAST2022-017)Beijing Municipal Key Laboratory of Space-ground Interconnection and Convergence of ChinaKey Laboratory of IoT Monitoring and Early Warning,Ministry of Emergency Management of China
文摘To investigate the forward kinematics problem of parallel mechanisms with complex limbs and to expand the applicability of the powerful tool of Conformal Geometric Algebra(CGA),a CGA-based modeling and solution method for a class of parallel platforms with 3-RE structure after locking the actuated joints is proposed in this paper.Given that the angle between specific joint axes of limbs remains constant,a set of geometric constraints for the forward kinematics of parallel mechanisms(PM)are determined.After translating unit direction vectors of these joint axes to the common starting point,the geometric constraints of the angle between the vectors are transformed into the distances between the endpoints of the vectors,making them easier to handle.Under the framework of CGA,the positions of key points that determine the position and orientation of the moving platform can be intuitively determined by the intersection,division,and duality of basic geometric entities.By employing the tangent half-angle substitution,the forward kinematic analysis of the parallel mechanisms leads to a high-order univariate polynomial equation without the need for any complex algebraic elimination operations.After solving this equation and back substitution,the position and pose of the MP can be obtained indirectly.A numerical case is utilized to confirm the effectiveness of the proposed method.
基金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.
基金Supported by NSFC(No.12101316)Belt and Road Innovative Talents Exchange Foreign Experts project(No.DL2023014002L)。
文摘In this paper,we show that an ideal generated by matching Rota-Baxter equations is a bideal of a Hopf algebra on decorated rooted forests.We then get a bialgebraic structure on the space of decorated rooted forests modulo this biideal.As an application,a connected graded bialgebra and so a graded Hopf algebra on matching Rota-Baxter algebras are constructed,which simplifies the Hopf algebraic structure proposed by[Pacific J.Math.,2022,317(2):441-475].
基金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.
基金supported by Research Grants Council(RGC),University Grants Committee(UGC)of Hong Kong(ECS No.24304722)。
文摘We classify condensable𝐸E_(2)-algebras in a modular tensor category C up to 2-Morita equivalence.Physically,this classification provides an explicit criterion to determine when distinct condensable𝐸E_(2)-algebras yield the same condensed topological phase under a two-dimensional anyon condensation process.The relations between different condensable algebras can be translated into their module categories,interpreted physically as gapped domain walls in topological orders.As concrete examples,we interpret the categories of quantum doubles of finite groups and examples beyond group symmetries.Our framework fully elucidates the interplay among condensable𝐸E_(1)-algebras in C,condensable𝐸E_(2)-algebras in C up to 2-Morita equivalence,and Lagrangian algebras in C⊠C.
基金Supported by the Fundamental Research Program of Shanxi Province(Grant No.202303021212147)the National Natural Science Foundation of China(Grant No.12471038)。
文摘Let D(n)be the finite dimensional non-pointed and non-semisimple Hopf algebra,which is a quotient of a prime Hopf algebras of GK-dimension one for an odd number n>1.In this paper,we investigate the structure of Yetter-Drinfeld simple modules over D(n)and give iso-classes of them.
基金supported by the National Natural Science Foundation of China(Grant No.61973181)Tsinghua University Initiative Scientific Research Program(Grant No.2018Z05JZY004).
文摘Many applications for locating a radio signal source employ Global Navigation Satellite System(GNSS)to obtain a sensor’s position.By using GNSS,a sensor can also synchronize with other sensors.For a sensor that is equipped with a GNSS receiver,it can be independent and is readily to be loaded on a flexible platform,such as an unmanned aerial vehicle(UAV).In this paper,we consider using such sensors and timeof-arrival(TOA)techniques to locate a radio signal source,and analyze the performance limit of source localization.Besides the performance analysis,this paper provides the geometric interpretation of the performance limit,which can illustrate how a sensor contributes to the source localization accuracy.The performance analysis and the geometric interpretation together give important insights into how to make better use of GNSS receiver for passive localization.Another contribution is we propose a modified closedform solution for this localization problem.Compared with previous literature,this solution takes both sensor position and synchronization uncertainty into account,and it does not need proper initial guess of source position and is computationally efficient.Our simulation results validate the efficiency of this solution.
文摘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 the Spanish MICINN grant PID2022-140440NB-C22the regional Andalusian project P18-FR-5057+3 种基金the Coordinación de la Investigación Científica of the Universidad Michoacana de San Nicolás de Hidalgo,Morelia,Mexico,Grant No.4.10the Consejo Nacional de Humanidades,Ciencias y Tecnologías,Mexico,project CBF2023-2024-3544the Beatriz-Galindo support during his current scientific stay at the University of Huelva,Huelva,Spainthe Chair d'excellence within the program d'Alembert supporting a visiting professorship in the Universitéde Paris-Saclay,France。
文摘Several aspects of the internal structure of pseudoscalar mesons,accessible through generalized parton distri-butions in their zero-skewness limit,are examined.These include electromagnetic and gravitational form factors related to charge and mass densities;and distributions in the impact parameter space.To this end,we employ an algebraically viable framework that is based upon the valence-quark generalized parton distribution expressed explicitly in terms of the associated distribution function and a profile function that governs the off-forward dynamics.The predominantly analytical nature of this scheme yields several algebraic results and relations while also facilitating the exploration of insightful limiting cases.With a suitable input distribution function,guided either by experiment or theory,and with an appropriate choice of the profile function,it is possible to provide testable predictions for spatial distributions of valence quarks inside pseudoscalar mesons.When comparison is possible,these predictions align well with existing experimental data as well as the findings of reliable theoretical approaches and lattice QCD.
文摘This paper presents a systematic comparison of the curriculum design and application orientation of the linear algebra curriculum in our country and abroad.It explains mainly differences in course objectives,teaching content,approaches,and feedback mechanisms,reflecting divergent understandings of the discipline’s value within distinct educational ecosystems.Forward-looking and practical conclusions are proposed across five main directions:optimizing course structure,strengthening practical components,deepening interdisciplinary integration,building faculty capacity,and developing teaching resources.The aim is to provide strong conceptual help and realistic guidance for getting real progress in linear algebra education in China.
文摘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.
