复四次自治微分系统的基本lie不变量

多项式系统定性理论是动力系统理论的一个新方向。30多年前,中国和苏联数学家在这方面先走了一步,但近10年来美国和西欧的数学家对此感兴趣的越来越多了。БayTИH发现了由焦点改变稳定性而产生极限环的方法,他的工作使中外数学家对多项式系统实复域定性理论产生了浓厚兴趣。叶彦谦在文献[3]中列出了目前数学家研究多项式定性理论的31个专题,其中刘一戎、李继彬的“自治微分系统的不变量理论”被作为一个专题列出。通过计算机演算与理论推导相结合,求出了四次系统的全部lie不变量,这对于各类特殊四次系统的奇点量公式推导具有重要意义。     

一种9杆巴氏桁架位置分析的研究

使用复数向量法对文中9杆巴氏桁架四个回路建立几何关系、列出矢量方程组并转化成为复指数形式。首先使用结式对四个多项式方程直接消元，得到一个一元52次的多项式方程，用辗转相除法求其他三个变量的过程中发现了6个增根。分析了产生增根的原因并提出了消元过程中避免增根的改进措施，即寻找相关向量之间的关系，在消元过程中降低变量的次数，直接得到一元46次方程。最后通过一个算例，验证了这种巴氏桁架的解析解的数目为46。     

关于四次缺插值样条函数

近年来偶次样条越来越引起人们的注意,[1]给出了四次插值样条的最优误差界,[2]讨论了二种四次缺插值多项式样条,在等距划分下给出了存在唯一性定理以及各阶导数的误差估计。本文继续这方面的工作,对[2]中类型2定义的缺插值样条作更细致的讨论,把结果推广到非等距划分的情形,我们还发现适当地选取插值点,能使[0,1]中任一个子区间     

一类非Φ4成员的四次多项式

设Φn是使得p,p′,p″,…,p(n-1)都只有整根的n次多项式p(x)的集合,上标表示求导数.如何寻找Φn的全部成员仍是一个难题.若文献[1]的猜想正确,寻找Φn的全部成员可归结为求出Φ4即可,且Φ4成员中不包含有四个单整根的四次多项式.我们对此问题进行了研究,给出一类非Φ4成员的有四个等差整根或四个等比整根的四次多项式,也讨论了其他一些情况.     

一类非Φ4成员的四次多项式

设Φn是使得p，p′，p″，…．p^(n-1)都只有整根的n次多项式p(x)的集合，上标表示求导数。如何寻找瓯的全部成员仍是一个难题。若文献[1]的猜想正确，寻找Φn的全部成员可归结为求出Φ4即可，且Φ4成员中不包含有四个单整根的四次多项式。我们对此问题进行了研究，给出一类非Φ4成员的有四个等差整根或四个等比整根的四次多项式，也讨论了其他一些情况。     

一个E2系统的有界性

对于平面多项式微分系统 ,如果它的一切正半轨线总不会趋近于无穷大 ,则称该系统为有界的。平面多项式微分系统中 ,二次系统的研究是常微分方程定性理论的基础。二次系统有界性研究对于了解该系统的定性性态甚为重要 ,但二次系统有界性的结果尚不够完整。为了深入研究二次系统定性性态 ,丰富二次系统的研究成果 ,给出了一个特殊二次系统有界性的充分必要条件 ,方法是通过利用Poincar啨变换法 ,分析微分系统的无穷远奇点的性态 ,构造出排斥系统正半轨线的Poincar啨赤道以盫は低车挠薪     

一种9杆巴氏桁架的位置分析

使用复数向量法对9杆巴氏桁架4个回路建立几何关系,列出矢量方程组并转化成为复指数形式. 首先使用结式对4个多项式方程直接消元,得到1个一元52次的多项式方程,再用辗转相除法求其他3个变量,在此过程中发现了6个增根. 分析了产生增根的原因并提出了消元过程中避免增根的改进措施,即寻找相关向量之间的关系,在消元过程中降低变量的次数,直接得到一元46次方程. 最后通过一个算例,验证了这种巴氏桁架的解析解的数目为46.     

卡尔曼过滤方程的一种推导方法

一、引言卡尔曼过滤理论与估值理论是一致的,许多文献,例如[1]、[2]都指出了这一点。实际上,所谓卡尔曼过滤,就是动态系统的最佳线性递推估值,尽管如此,卡尔曼过滤方程组的推导一般是独立进行的,而不是直接利用经典估值定理。上面提到的文献就是如此。值得注意的是,在文献[2]中,引用了估值定理推导出静态系统的递推估值公式,但对     

四次系统内存在三次曲线极限环

本文证得一个四次系统，它以三次曲线的闭分支为极限环。本文说明三次曲线极限环上。果不存在于二次系统内[1]，它可以存在于四次系统内。     

一类五次多项式系统高次奇点的中心与极限环

焦点量的计算、中心条件的判定及极限环个数的研究是微分方程定性理论的热点问题。通过运用计算奇点量的方法来计算焦点量,对一类五次多项式微分系统在高次奇点的中心条件与极限环分支问题进行了研究。经过计算该系统奇点量的代数递推公式,得出该系统在原点前45个奇点量的表达式,推导出系统原点的中心判据并得到了该系统在高次奇点分支出7个极限环的实例。     

一种从时间序列计算高阶系统正的李雅普诺夫指数的新算法

本文提出了一个利用从实际物理系统得到的时间序列计算正的李雅普诺夫指数的新算法,并对一个具有非线性负电容的四阶自治电路进行了实际测试和计算。此算法给人们提供了一种直接判断实际动态系统中,是否发生混沌或超混纯运动的方法。     

复值微分系统稳定性分析

鉴于量子系统是当前控制领域的研究热点之一,也是典型的复值微分系统,讨论了一般的复值微分系统的稳定性.利用多复变函数理论,给出了复值自治微分系统稳定性判据,该判据不仅推广了现有文献的一些结果,而且也为分析复值自治微分系统的稳定性提供了一个新方法.数值例子表明,这种方法大大简化了分析和计算复值自治微分系统的复杂度.     

一个四阶非自治混沌电路的同步实现及其保密通信应用

在蔡氏电路的基础上 ,提出了一种四阶非自治混沌电路 并用驱动 -响应法控制其实现了混沌同步 ,然后进一步讨论了它在保密通信中的应用 通过计算机仿真实验证明此方法是有效的     

自主足球机器人通信机制的研究与KQML语言设计

自主足球机器人系统是分布式人工智能领域的一个研究热点,而实现各个机器人之间高效通信是足球机器人系统中一个重要问题.通过对现有的KQML原语进行分析,指出其交互原语的缺乏,设计了自主足球机器人系统的一种通信机制,给出了对KQML原语的扩充,并通过实验进行实现和证明.     

Verification of monocular and binocular pose estimation algorithms in vision-based UAVs autonomous aerial refueling system

With the high focus on autonomous aerial refueling (AAR), it becomes increasingly urgent to design efficient methods or algorithms for solving the AAR problems in complicated aerial environments. A vision-based technology for AAR is developed in this paper, and five monocular and binocular visual algorithms for pose estimation of the unmanned aerial vehicles (UAVs) are adopted and verified in this AAR system. The real-time on-board vision system is also designed for precise navigation in the UAVs docking phase. A series of out-door comparative experiments for different pose estimation algorithms are conducted to verify the feasibility and accuracy of the vision algorithms in AAR.     

高压多分裂输电线路自主巡检机器人及其应用

介绍了一种沿(超)高压多分裂输电线路行驶的自主巡检机器人,包括自主巡检机器人本体、地面基站、巡检后台管理系统.机器人机械结构的设计针对多分裂线路特色的障碍物如均压环、间隔棒的结构特点以及线路受到多种作用力后复杂变形的几何特点完成,使得机器人能顺利通过各种障碍物,完成线路的全程自主巡检.通过介绍本系统的关键技术:移动机器人机构、控制系统设计、基于电磁导航与机器视觉的自主巡检系统,给出自主巡检机器人的一个典型实例.不同环境下的现场运行试验表明,该巡检机器人系统正确、实用.     

Timeline based autonomous mission planning system for deep space exploration

In order to realize the explorer autonomy, the software architecture of autonomous mission management system (AMMS) is given for the deep space explorer, and the autonomous mission planning system, the kernel part of this architecture, is designed in detail. In order to describe the parallel activity, the state timeline is introduced to build the formal model of the planning system and based on this model, the temporal constraint satisfaction planning algorithm is proposed to produce the explorer‘ s activity sequence. With some key subsystems of the deep space explorer as examples, the autonomous mission planning simulation system is designed.The results show that this system can calculate the executable activity sequence with the given mission goals and initial state of the explorer.     

蔡氏电路的建模、仿真及混沌稳定岛图的研究

从电路实验、建模及数值计算仿真等方面对三阶蔡氏电路进行了较详细的研究,研究结果的一致性说明建立的该电路的数学模型的有效性.最后设计实现了一个四阶非自治混沌电路,并经实验证明该电路能够产生复杂的非线性动力学行为.以电路实验数据为依据,首次绘制出三阶混沌电路的稳定岛图.     

一种在异构信息系统上的基于信息转换的互联查询方案

在众多的联网方式中,其中一种比较重要的是联接那些独立性极强的自治的数据库系统。但自治系统的独立性却给联网带来了不少的麻烦,在此基础上的信息系统查询亦困难重重。本文对这类系统的构造进行了分析,据此提出了一种以信息转换为基础的构造实现方案。     

分布式卫星系统自主安全管理与控制

分布式卫星系统在轨运行中受到各种摄动力的作用,同时考虑到用于编队构形维持控制的敏感器和执行机构的误差,特别是当分布式卫星系统成员卫星发生故障的情况下,系统中的各卫星存在着相互碰撞的危险,所以研究分布式卫星自主安全管理与控制技术具有重要的意义。本文综述了国内外有关分布式卫星系统自主运行安全管理与控制问题的研究方法以及进展情况,并通过对国内外研究现状的分析总结,提出了分布式卫星系统自主安全管理与控制下一步的研究方向。