作战辅助决策系统空战兵力计算模型的设计与实现

阐述了在空战兵力使用决策的重要性,论述了作战辅助决策系统空战兵力计算模型的设计思想并给出了在ＡＬＰＨＡ工作站上用Ｃ文３实现该模型的简单流程,同时对空战兵力使用方案的优化问题进行了简要探讨。     

一类折扣型投资模型的最优停止

本文对一类折扣型投资模型进行研究，给出了一个明确的停止规则。     

杂波环境下机动目标跟踪的分布式估计算法

本文考虑了杂波环境下机动目标的多雷达跟踪问题，提出了一种分布式联合估计算法。子站独立于总站，并单独跟踪，把当地估计结果周期地传送给总站，由总站进行合并，得出基于所有子站量测的全局估计。数字仿真表明，分布式联合、估计算法在各种性能指标上都优于单站跟踪算法。     

基于动力学模型的柔性加工设备机电系统状态监测与故障预警

在建立的加工设备机电系统精确动力学模型及对模型参数实时辨识的基础上［１］，建立柔性加工设备机电系统的状态监测模型，包括ＢＡＹＥＳ故障检测、突发故障检测及故障分析与定位等；同时利用Ｋｕｌ－ｂａｃｋ信息距离和多层递阶ＡＲ模型实现系统的状态与故障预警。在加工设备上的实验表明模型可行有效，它能排除柔性多变工况、时变性及随机干扰对监测与预警功能的影响，提高其鲁棒性和自适应能力。     

广义抽象协调类和广义合一原理

协调性是数理逻辑中最基本的语法概念之一。Ｓｍｕｌｙａｎ提出了抽象协调类概念，并证明了相应的Ｓｍｕｌｙａｎ合一原理。通过考察协调合式公式集类所具有的种种性质，本文将抽象协调类概念推广至最一般的形式——广义抽象协调类，并证明了相应的广义合一原理。这一结果可以用于证明一阶逻辑形式系统和我们所提出的广义反驳方法的完备性。     

基于SDTFM理论的平面问题广义超级单元

根据平面问题条形传递函数方法理论,提出了平面问题广义超级单元的概念,并推导了其刚度矩阵和结点力矢量表达式,从而将条形传递函数方法应用范围推广到任意几何形状的平面区域     

机动导弹扇形区域打击模型及实现

考虑对机动导弹实施机动区域打击,建立起在扇形区域瞄准点选取模型,并通过计算机模拟进行了结果分析。该方法具有通用性,对制定作战方案以及生存选择具有现实意义     

一类多维双重时序 AR(1)-MA(q) 模型的平稳性

讨论了一类多维双重时序ＡＲ（１）－ＭＡ（ｑ）模型的二阶平稳性问题。通过导出一组线性方程组，给出了这类模型二阶平稳的显式充分条件和必要条件，为验证模型的二阶平稳性提供了一个可行的途径。     

软件可靠性模型技术分析

软件可靠性模型技术对评估和提高软件可靠性具有重要作用。归纳了软件可靠性模型的特点与分类方法,阐述了随机过程类与非随机过程类两大类模型,初步探讨了模型之间的相互关系,分析并提出了软件可靠性模型建立过程与评价标准,为软件可靠性模型技术的进一步研究和应用提供了理论方法与启示。     

舰空导弹靶场鉴定仿真试验

在分析了舰空导弹靶场鉴定仿真的任务后,系统地讨论了仿真试验的主要内容,仿真建模与校验方法,模型验证方法,仿真运行方法以及仿真结果的应用方法等,从而阐述了舰空导弹靶场鉴定仿真试验的基本思路和具体方法。