微分代数方程系统标准奇异点的一个充分必要条件.pdfVIP

系统工程与电子技术 Sep.2ω5 2ω5 年9 月 第27 眷第9 期 Systems Engin悦ring and Electronics Vol.27 No.9 文章编号:1ω1-506X(2∞5)09-1614-03 微分代数方程系统标准奇异点的一个充分必要条件 邱卫根1 ，刘永清2 (1.广东工业大学计算机学院，广东广州 510090; 2. 华南理工大学自动化学院，广东广州 510641) 摘 要:标准奇异点是微分代数方程系统区别于常微分方程系统的一个标志性的拓扑结构，具有重要的理 论研究意义。研究了微分代数方程系统的两种奇异点(几何奇异点和化数奇异点)的拓扑结构，给出了微分代数 方程系统标准奇异点的定义，并证明了一个判定微分代数方程系统标准奇异点的充分必要条件。最后通过例子 说明了该判别条件的有效性。 关键询:微分代数系统;奇异系统;标准奇异点;向贵杨 中回分类号: 0177. 3 文献标识码:A Sufficient and nec创saηcondition for the standard singular point of the differential幽algebraic system QIU Wei-gen1 , LIU Yong-qini (1. Faculty ofωη户aer ， 。ωng.巾电g Univ‘ ofTechnology , Gua咱劝刷51ω90 ， Otina; 2. Faculty ofAu伽w.tion ，Sou仇 αina Univ. ofTechru.加即， Gua略加u510剧， αina) Abstract: The standard singWar point is an important structure of the differential-algebraic 明uation systems (D础s) ， by which DAEs are differentiated from the ordinary different 叫uation systems (ODEs). A definition òf the standard singular point for DAEs is given ,and a sufficient and nec四川∞ndition for the standard singW且r point of DAEs is 阻amined. In the mean time an example is givenωshow the effectivenωof 由is ∞ndition. Key words: differential啕ebraic 叫.uation system; sin职lar system; stan也rd sin胆lar point; vector field 引理1[2] 点 Zo 是系统(1) 的标准奇异点，当且仅当下 1 引言 面的条件满足 考虑广义系统[1] ①巾n ker A(zo) = 1 A(z)马= G(z) , z(O) =Zo (1) ② (A(zo)eo)eo~胁聊A(zo)， v eoEk衍 1\ (zo) -jof