软件系统的可靠性综合评估模型研究*

主要研究了软件系统可靠性的评估方法。基于软件系统的基本结构和体系,对软件系统层次可靠性进行分析,并对影响可靠性的因素进行了分析;根据各分系统失效对整体系统失效影响程度的大小,通过事件测试分析得到实际参数,在给出重要度系数的基础上,建立了串并联系统间权重系数模型,并通过Bayes分析建立了软件系统的可靠性综合评估模型,从而达到对软件系统可靠性综合评估的目的。算例表明该可靠性综合评估模型具有一定的工程应用价值。     

基于UML的海军作战结构模型形式化描述研究*

以海军装备应用研究系统为背景,着眼于海军作战仿真想定生成系统的标准化,通过分析海军作战想定描述的层次结构,针对统一建模语言(UML)在面向对象系统方面的应用特点,探讨了使用UML表示标准的作战想定开发方法,并以合同进攻敌海上编队为例介绍了海军作战想定的设计方法。通过建立实体行动的军事概念模型以及对其进行的形式化描述,实现了军事专业人员和仿真技术开发人员之间的顺利交流,为仿真想定辅助生成系统的开发提供参考。     

基于免疫粒子群文化算法的数字电路故障诊断

为改善粒子群算法摆脱局部极值点的能力,提升种群进化的多样性,将免疫算法中免疫机制引入到粒子群算法中形成免疫粒子群算法;为有效提高故障覆盖率和缩短测试生成时间,将免疫粒子群算法引入文化算法框架中形成免疫粒子群的文化算法。将其应用于数字电路故障模型仿真实验并与其他测试生成算法进行对比,结果表明该算法能够有效提高故障覆盖率,缩短测试生成时间,在大规模电路测试生成与故障诊断中更具优势。     

基于多Agent仿真的装备保障体系供应保障系统设计与实现?

针对部队装备保障运行的实际情况,采用多Agent仿真的方法,基于Kraljic模型将装甲装备器材分为重要器材、关键器材、一般器材和稀缺器材,并以此为基础构建了装备保障体系供应保障系统。分析了系统的整体结构以及系统中器材仓库的外部接口和内部器材请领流程,并以某集团军各级器材仓库为研究对象进行了仿真实例分析。实践证明,采用多Agent仿真的方法研究装备保障体系供应保障活动具备可行性和有效性,有利于宏观把握部队装备保障的运行规律,提高部队装备保障能力。     

海洋水下战场态势仿真系统的设计与实现?

在作战仿真领域,由于水下战场环境的特殊性以及水下作战对抗的复杂性,构建具有水下战场实景态势展现以及水下作战对抗演示分析等功能的仿真系统始终是一个难点问题。基于现代海战条件下水下对抗的应用背景,设计实现了海洋水下战场态势仿真系统,给出系统的功能结构、功能流程以及数据处理流程和方案,并对系统的开发部署进行了具体实现,应用情况表明系统能够实现对水下战场实景态势的高精度仿真,可作为海洋水下战场实景态势的演示分析研究平台和水下作战对抗的论证评估工具。     

Algorithm to solve a chance‐constrained network capacity design problem with stochastic demands and finite support

We consider the problem of determining the capacity to assign to each arc in a given network, subject to uncertainty in the supply and/or demand of each node. This design problem underlies many real‐world applications, such as the design of power transmission and telecommunications networks. We first consider the case where a set of supply/demand scenarios are provided, and we must determine the minimum‐cost set of arc capacities such that a feasible flow exists for each scenario. We briefly review existing theoretical approaches to solving this problem and explore implementation strategies to reduce run times. With this as a foundation, our primary focus is on a chance‐constrained version of the problem in which α% of the scenarios must be feasible under the chosen capacity, where α is a user‐defined parameter and the specific scenarios to be satisfied are not predetermined. We describe an algorithm which utilizes a separation routine for identifying violated cut‐sets which can solve the problem to optimality, and we present computational results. We also present a novel greedy algorithm, our primary contribution, which can be used to solve for a high quality heuristic solution. We present computational analysis to evaluate the performance of our proposed approaches. © 2016 Wiley Periodicals, Inc. Naval Research Logistics 63: 236–246, 2016     

微纳卫星姿态确定与控制半实物仿真系统设计

航天器姿态控制系统需要特殊的运行环境,在地面很难考核,这给系统可靠性带来一定的风险。针对微纳卫星的特点,设计并研制了一套面向微纳卫星的姿态确定与控制半实物仿真系统。该系统通过数字化模型模拟卫星姿态轨道运动、敏感器模型产生敏感器测量数据、执行器模型生成控制力矩、敏感器模拟器实现通信协议,最终实现姿态控制系统的全系统仿真。这套系统可以接入卫星控制系统回路,实现对姿控系统软件、硬件的考核,同时验证算法的性能。基于该系统,对天拓三号卫星姿控系统进行地面半实物仿真,并对比在轨试验数据,结果表明系统设计合理,仿真结果可信。     

带有模糊干扰观测器的高超声速飞行器一体化制导控制方法

为充分利用高超声速飞行器在俯冲段的质心运动与绕质心运动之间的耦合作用和飞行过程中的不确定性,基于模糊干扰观测器提出三维一体化制导与控制问题。根据飞行器的动力学方程以及飞行器-目标的视线角相对运动方程,推导出适用于倾斜转弯控制的一体化制导控制模型。针对模型中的不确定性采用模糊干扰观测器进行补偿,并使用块动态面方法设计一种一体化制导控制律。通过选取适当的李雅普诺夫函数证明闭环系统状态的一致毕竟有界性。仿真结果验证了该一体化制导控制方法的有效性和鲁棒性。     

基于ANP维修保障系统结构设计影响因素分析

针对装备维修保障系统结构设计影响因素多、设计过程易耦合等问题,提出了一种基于网络分析(ANP)的维修保障系统结构设计影响因素网络模型和方法。首先,以维修保障系统结构设计影响因素定量研究为控制层目标,以作战任务系统、保障对象系统等为网络层的因素集,建立维修保障系统结构设计影响因素的网络模型;其次,运用网络分析方法定量地确定维修保障系统结构设计各个因素的影响综合权重及排序,明确设计时应优先考虑的关键因素。通过具体分析,证明了此方法的正确性和实用性。     

飞机再次出动保障活动设计方法

飞机再次出动保障活动所需时间长短对提升飞机的作战效能至关重要,针对当前在飞机保障资源有限约束条件下,再次出动保障活动工期最短难以实现的难题,提出了基于分支切割法的再次出动保障活动时间优化方法。该方法以飞机再次出动保障活动所需时间最短为目标,以有限的保障人员和保障作业间逻辑关系为约束条件,可计算出时间最短的飞机再次出动保障活动具体流程,并用VB6.0编制成计算机程序,开发了飞机再次出动保障活动分析系统。最后,对某型飞机真实保障活动进行了实例分析,结果表明,使用该方法计算得到的结果准确、可靠,与实际保障情况相符,可为飞机再次出动保障与决策提供指导,提升保障活动的自动化水平,具有很好的工程应用价值。