有限马氏链最优停止的线性规划解

离散时间的有限状态马尔可夫链最优停止的值函数存在的一个充分条件是所对应的线性规划有解,且其最优解等于值函数,本文证明这个条件还是必要的。     

基于 Petri 网的决策组织结构设计

决策组织设计的首要问题是如何获得可行的组织结构。决策组织作为典型的分布式智能系统,利用Ｐｅｔｒｉ网生成其可行的组织结构是极广泛采用的方法,并已取得很多成果。该文是对这一领域的过去、现在和未来的综述。     

离散滑模变结构控制稳定性分析

对流行的离散变结构控制的两种方案——K.Furuta方案和Wang氏方案进行了研究,发现Wang氏方案中的稳定性定理不能成立,其证明不充分。并通过仿真,给出了反例。文章指出控制结构在A区和B区交替变换过程中,系统状态运动的一个循环过程所对应的转移矩阵A_i~*的谱半径小于1,系统才是渐近稳定的。     

硅整流发电机坦克供电系统瞬态特性的计算

采用状态变量计算硅整流发电机的工作特性是最新的研究成果.本文将这一成果开发到硅整流发电机坦克供电系统瞬态特性的研究中.实践证明,能大大节省计算工作量.文中有计算实例和与实车试验结果的对比.     

某型导弹弹翼静力分析的一种数学模型

应用有限元方法,建立了变厚度薄板三角形单元刚度矩阵,给出了变厚度薄板三角形单元形心上的应力和位移计算的数学模型。通过对某型反坦克导弹弹翼进行静力分析和实验比较,表明采用这种模型进行分析合乎结构设计精度要求。     

基于旁路环境下的密码芯片安全性评估

为在复杂旁路攻击敌手环境下对密码芯片进行安全评估,通过物理可观测密码术模型框架对旁路分析过程进行建模;借鉴传统面向实际的可证明安全性理论,定义旁路环境下的两类旁路敌手:密钥恢复旁路分析敌手与不可分辨性判定旁路分析敌手,并给出了密码实现针对这两类旁路敌手的安全性度量模型;对安全性评估中的重要参数指标进行定义与推导;最后根据旁路分析定义、模型及安全性度量指标,提出针对旁路分析的通用评估框架,为研究可抵抗旁路分析攻击的密码设备打下基础。     

基于因果分析的作战计划评估技术

以信息系统五层评估框架为基础,提出了一种以作战效能为"果"、以系统效能为"因"的作战计划评估思想,给出了一种主从分析链系统效能指标构建方法,设计了一套多视图的作战计划辅助分析工具。应用表明,该方法可以有效发现作战计划中存在的问题,提高作战计划的可行性。     

导弹自动驾驶仪控制算法鲁棒性研究

以某型轴对称导弹为研究对象,在解耦和线性化的情况下,得到简化的数学模型。通过求解线性矩阵不等式(LMI)设计了状态反馈H∞控制导弹自动驾驶仪,采用模糊和变论域理论设计了变论域模糊PID控制自动驾驶仪。考虑飞行过程中的干扰、气动参数摄动,对两种自动驾驶仪的控制性能进行对比研究,仿真结果表明,二者皆能实现对导弹制导指令的有效跟踪,其中状态反馈H∞控制设计的自动驾驶仪在指令跟踪的快速性、准确性和抗干扰性上具有明显的优越性。     

多模型估计方法

多模型方法是一种混合估计方法 ,相对于传统的估计方法而言 (例如 Kalman滤波 ) ,它特别适合于具有未知变参数或变结构系统的研究 ,因而在许多领域得到了成功应用。回顾了多模型方法的发展过程 ,对现有各种多模型估计方法进行了总结 ,并提出了研究方向     

一类不匹配不确定非线性系统鲁棒变结构控制

针对一类具有不匹配非参数化不确定性的非线性系统 ,设计出一种鲁棒变结构控制器。该控制器能够保证当时间 t趋于无穷时 ,闭环控制系统的输出跟踪误差趋于零。仿真实例说明了该控制器具有满意的控制效果