一种面向对象类级状态测试的形式化方法研究

面向对象的软件开发给测试带来了新的挑战,传统的测试技术不能直接用于面向对象的软件测试中,必须对其进行扩充和完善.类级测试是面向对象测试过程中的一个重要阶段,而类状态的测试是类级测试的核心.作者将扩充后的黑盒测试技术应用到类状态的测试过程中,可直接使用方法级的测试数据有效测试类中方法间的交互及其类状态的变化.最后,通过一个实例说明对类级状态的测试及其测试用例的生成.     

潜在故障状态可测的一种故障检查模型

从系统的功能故障状态和潜在故障状态两方面讨论了故障检查模型,基于延迟时间模型推导了系统的期望可用度模型并对其适用性进行了讨论与验证。     

网络舆情中一种基于OLDA的在线话题演化方法

研究网络舆情分析中话题演化方法.首先分析网络舆情信息的特点;在此基础上,建立网络舆情信息模型,基于话题模型抽象描述文本内容的隐含语义,进而建立文本流在时间序列上的关联模型;进一步,提出基于OLDA的话题演化方法,针对舆情信息的特点,建立不同时间片话题间的关联.实验结果表明,该方法能够有效检测话题演化,为网络舆情分析提供了有效途径.     

捷联惯导空中粗对准方法

针对飞机进近着陆对捷联惯导系统空中重新对准功能的需求,提出一种基于四元数的解析粗对准方法,该方法对飞行动态和飞行平稳性没有要求.推导了利用GNSS测量的速度信息和惯导系统的输出信息对载体姿态进行解算的方法,对精度的影响因素进行了分析.仿真结果表明,该方法可在较宽的动态范围内保持较高的对准精度,计算量较小,速度较快,满足空中粗对准对速度和精度的要求.     

火力分配环协同度的编队反导决策优化

舰艇编队协同反导决策是一个多阶段多目标的决策系统,依据模糊权距离和隶属度概念,考虑系统中各阶段的协同关系,提出基于火力分配环协同度的概念,将模糊优选理论与动态规划原理有机地结合起来,寻求基于舰艇编队协同反导的多阶段多目标优化的最优均衡策略,并应用于解决舰艇编队协同反导决策的优化中,得出了具有指导意义的结论。     

基于作战任务的多机种故障备件需求模型

通过分析战时故障备件的需求特点,对备件的工作时间进行讨论,改进了传统的单机故障备件需求模型。根据多机种协同作战任务的不同,引入备件工作运行比的概念,在考虑飞机是否战损的前提下,建立了基于作战任务的多机种故障备件需求模型。算例分析证明了模型的有效性。     

基于MEBN的战术级空中目标意图识别

战术级空中目标意图识别是现代化防空作战中理解战场态势、预测目标行动的关键.构建空中目标意图识别模型的核心问题是如何表示不确定的意图因素以及它们之间的关系.分析了具有典型防空作战意义的想定,并结合军事经验总结了影响意图识别的因素.提出了应用多实体贝叶斯网络(Multi-Entities Bayesian Network)描述空中目标意图,在贝叶斯推理中融入逻辑理论,采用具体的基于知识的SSBN构建算法动态地进行空中目标意图识别.通过仿真实验,验证了此方法的有效性和可行性.     

基于典型弹道的反导导弹制导方式分析

针对典型的导弹弹道仿真,通过对反导导弹的几种备选制导律进行了参数调试和数字仿真,设计了初、中制导方案,通过数字仿真给出了弹道规划,明确了允许的发射条件。同时,分析了各方案主要的制导信息误差及其影响,针对高斯噪声误差模型提出了制导信息误差指标。最终确定了较优制导方案。该方案经数字仿真验证具有较优的攻击区性能,攻击区较大、发射条件约束较为宽松,以当前的技术水平有望实现。     

高层反导部署方法

分析了低层反导部署分析方法的局限和亟待解决的问题.针对TBM的机动突防、释放子弹突防和干扰隐身突防3种情形,提出了更一般的反导部署分析方法,给出了计算反导兵器配置区域的步长推进算法.该方法克服了低层反导部署方法的缺点,得到的配置区域更加准确、有效.该方法亦可应用于低层、中段反导系统部署分析.     

记录值样本下Burr Ⅻ模型的Bayes可靠性分析

针对记录值失效数据情形,研究了Burr Ⅻ分布的可靠性分析问题.基于Bayes理论分别在对称和非对称损失下获得了Burr Ⅻ分布可靠性指标的计算公式.针对超参数未知情形,利用一种新方法确定了超参数的值.结合Monte-Carlo模拟方法给出一个数值算例,并研究了估计结果的精确性.结果表明,此计算方法具有可信的计算精度,符合工程实际,有一定的实际应用价值.