弹道跟踪数据处理中的几个计算问题

结合弹道跟踪数据建模和数据处理的实践 ,提出了几个有典型应用价值的测量数据模型 ,在应用这些数学模型解决实际问题时 ,涉及统计、优化、函数逼近等几方面的理论和计算问题。这些问题和模型的研究 ,对解决许多相关的实际问题有重要意义。     

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

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

条件随机变量与条件数据融合

本文讨论基于条件事件代数系统上的条件随机变量的表示问题,并给出了在多个信息源提供的不同类型的条件数据时之统一表示方法,以及利用条件随机变量分布函数性质,对所得数据进行关联等。     

马尔可夫链最优停止的值函数

本文讨论了时间无限的马尔可夫链的最优停止问题。对于无限状态情况,给出了其最优停止变量以及值函数存在的一个充分条件;对于有限状态情况,这个充分条件以及问题的计算等价于解一个线性规划问题。     

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

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

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

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

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

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

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

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

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

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

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

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