有限转动导航平台的自标定

文章通过对有限转动导航平台特点的研究，提出了自标定的思想，给出了惯性导航平台误差系数自标定的方法和公式解算，同时进行了精度分析。有限转动导航平台的自标定主要是依靠平台的自身条件和特性来完成误差系数的标定和分离，而不依靠任何外部转台。该方法有助于缩短平台的测试时间，提高武器系统的使用精度。     

环上线性有限自动机的可逆性的一些结果

本文证明了有单位元的有限交换环R上任何延迟t步(弱)可逆线性有限自动机皆有延迟t步线性(弱)逆的充分必要条件是环R满足条件: x(Ax=0→bx=0)→y(b=yA)我们还证明了对任何有单有限交换环R,R上输入、输出维数相同的延迟t步(弱)可逆线性有限自动机具有延迟t步线性(弱)逆.     

N个有限状态机的死锁和死环回避算法

死锁和死环是分布式系统或计算机网络中进程间通信时经常发生的逻辑错误，它们往往造成分布式系统中的部分主机或整个系统瘫痪，本文提出两个回避死锁和死环的算法，这些算法可被用来设计分布式系统的通信协议，从而提高分布式系统的可靠性和减少协议开发成本。     

有限转角系统的建模

本文以相关分析原理为基础，以Ｍ序列作为激励获得系统的冲激响应，再用最小二乘法辨识获得系统的离散模型和频域模型。通过对一实际系统辨识，证明了该方法的工程应用价值。     

主理想整环上的纯子模与有限生成模

对主整想整环上的纯子模进行了研究,具体探讨了纯子模与有限生成模性质及结构上的联系.证明了当模为有限生成时,子模是的纯子模当且仅当是的一个直和项.     

一类脉冲切换系统的有限时间稳定性

针对一类具有脉冲现象的非线性切换系统,提出了一种基于有限时间稳定lyapunov函数技术和多Lyapunov函数技术相结合的有限时间稳定性分析方法。该方法首先将非线性系统的有限时间稳定性的概念推广到所考虑的脉冲切换系统。然后,利用有限时间Lyapunov函数技术,确保各个子系统达到有限时间稳定。进一步,给出一个有限时间稳定的非线性比较系统。通过多Lyapunov函数技术,保证原系统的Lyapunov函数值不超过比较系统的状态值,由此得到原脉冲非线性切换系统有限时间稳定的充分条件。最后,一个数值例子说明文中方法的有效性。本文所得的研究结果能应用于生产线控制,交通管理,网络控制等实际系统。     

一类数字混沌系统的有限精度实现

1 引言混沌现象作为一种类随机现象在20世纪60年代首先被气象学家Lorenz发现,此后用非线性差分方程映射产生的混沌数字序列在物理学、密码学以及信息安全等领域的应用都有大量报导,混沌的应用研究已受到广大学者的重视。混沌由于对初始条件的极端敏感性而具有高度的随机性,可作为产生密钥流的伪随机序列发生器,优点是统计性能好、实现简单且码源丰富。理想的混沌系统其状态是无限不重复的,但作工程     

线性动态系统的对偶性环

这篇文章探讨了在哪类交换环上使线性动态系统的对偶原理成立,得到了交换环是线性动态系统的对偶性环的充分与必要条件。     

基于有限频段的Markov跳变系统有限时间H∞滤波

传统Markov跳变系统H∞滤波方法要求所有子系统对全频域的噪声具有同样的干扰抑制水平,由于没有充分利用噪声的频率信息,导致传统滤波方法可能含有较大的保守性.本文针对特定频段的干扰信号,提出基于有限短时间的H∞滤波器设计方法.在引入有限频段的同时,结合有限短时间稳定理论,提出有限频段以及有限时间两尺度滤波方案,为降低滤波理论的工程保守性提供了思路.仿真结果表明本文所提滤波方法与现有滤波方法相比,具有一定的优越性.     

连续时间线性脉冲系统的有限时间滤波

研究了连续时间线性脉冲系统的有限时间滤波问题。一方面给出了滤波误差系统有限时间稳定和满足性能要求的充分条件,并且给出了滤波器的设计方法。另一方面为了避免设计方法中出现的耦合问题,给出了另外两个结论。最后通过数值算例表明了结论的可行性和有效性。     

离散时间分段脉冲系统的有限时间稳定与滤波

利用线性矩阵不等式和松弛变量方法,研究了离散时间分段脉冲系统的有限时间稳定和滤波问题。一方面给出了滤波误差系统有限时间稳定和满足性能要求的充分条件。另一方面也给出了有限时间滤波问题可解的充分条件和滤波器的设计方法。最后通过数值算例表明了结论的可行性和有效性。     

T-S模糊系统的有限时间控制

面向具有强非线性的复杂工业过程,利用T-S模糊模型逼近原非线性系统,把T-S模糊模型逼近非线性系统存在的误差描述成有界时变的扰动,进而提出带扰动的T-S模糊系统的有限时间控制方法.首先,给出线性系统有限时间有界性的一个充分条件,与现有结果相比,该条件具有较小的保守性,并可以处理扰动是时变的情况;然后,提出T-S模糊系统有限时间镇定控制器的设计方法;最后,给出基于线性矩阵不等式(LMI)的控制器设计算法,并通过数值算倒演示所给方法的有效性.     

区间系统鲁棒稳定性的有限检验

讨论区间对象族能否被一给定补偿器鲁棒镇定的问题.用Sturm判据给出闭环区间系统鲁棒稳定的充要条件.     

有限状态机在导弹防御系统分析中的应用

介绍了有限状态机的基本概念,基于UML详细分析了导弹防御系统的作战过程.由于UML状态机无法直接运行而实现系统状态的动态转换,研究了基于有限状态机理论的图形化建模与仿真工具Stateflow.在分析了导弹防御系统作战过程中各子系统状态以及状态转换的基础上建立了Stateflow状态机模型,并与Matlab其它建模和仿真工具有机结合,建立了导弹防御系统的仿真模型,该模型可实现不同条件下系统性能的分析与评估.     

基于反步法的有限时间机器人环航控制器设计

以二维运动目标的环航跟踪为背景,在非完整机器人速度受限情形下,设计了一类以规定环绕速率沿固定半径跟踪目标的控制器.首先,由极坐标系下的环航系统模型,利用反步法给出了一种使系统达到渐近稳定的控制器.进一步,考虑机器人在有限时间内达到跟踪要求的工程需求,利用饱和函数和Lyapunov稳定性理论,设计了一种使机器人运动轨迹在有限时间内收敛到期望轨迹的有限时间饱和控制器.最后,数值算例验证了所提控制律的有效性.     

完全分布式异构多智能体系统有限时间跟踪

针对异构二阶非线性多智能体系统有限时间跟踪问题,提出一种完全分布式一致性控制方法,消除对于误差上界与Laplacian矩阵特征值等全局信息的依赖.设计一种只包含局部信息的有限时间一致性协议,并提出自适应增益的分布式切换机制,使得各增益以分段常数的方式进行调节,简化了相邻两次切换时间区间内稳定性分析过程.通过反证法证明多智能体系统必将实现有限时间一致性,并且自适应增益保持有界.仿真结果验证了所提出的完全分布式一致性协议的有效性.     

基于有限时间观测器的混沌系统同步

根据有限时间稳定的定义,对混沌系统引入了有限时间观测器的概念,采用有限时间观测器实现混沌系统的同步,保证在给定的有限时间区间内,观测器状态与被观测系统的状态误差被限制在一个给定界内,从而达到观测系统状态的目的。利用线性矩阵不等式的方法,将观测器存在条件转化为求解系统的线性矩阵不等式。讨论了混沌系统同步的有限时间观测器的存在条件,并给出了观测器的具体设计。通过对Duffing-Holmes系统的同步仿真,验证了该方法的有效性。     

Markov跳变系统的有限时间状态反馈镇定

讨论一类含有限能量未知扰动的线性Markov跳变系统的有限时间镇定问题.针对连续系统和离散系统两种情况,利用构造的Lyapunov-Krasovskii函数,并结合线性矩阵不等式方法,分别证明并给出了跳变系统有限时间镇定控制器有解的充分条件.采用该方法设计的镇定控制器可使连续系统和离散系统对所有满足条件的未知扰动是有限时问有界和有限时间镇定的.最后通过数值示例表明了该设计方法的有效性.