Petri网的活跃性和非死锁性的判定算法及证明

用Petri网分析系统的逻辑特性时很重要的是分析它的活跃性、非死锁性及安全性。在此提出两个算法—Petri网深度优先算法和活跃性判定算法,并加以证明。     

基于MINE-FNA组合算法的防空体系指标网构建方法?

防空作战体系的武器装备组成结构和对抗信息交互具有网络化特征,其作战效能是通过对抗过程中各组分系统间复杂的网络化交互涌现出来的,因此描述体系作战效能的指标也应由各组分系统效能指标相互关联涌现出来,而传统防空体系指标选取方法无法准确描述防空体系内部复杂的关联关系和揭示体系能力的复杂涌现生成机理。因此将无参数探索最大交互信息算法（ MINE）和网络统计算法（ FNA）组合构建了MINE?FNA组合算法模型,对基于武器装备体系仿真试验床的防空体系仿真的全样本实验数据进行深度挖掘,构建了“底层基础指标→均一化指标→体系级指标”的三层防空体系指标网,为研究防空体系内部复杂关联关系和分析防空体系能力的生成机理提供了有效手段。     

序列近似优化方法及其在火箭外形快速设计中的应用

针对序列近似优化方法在代理模型构造与采样策略等方面的不足,基于采样点局部密度,引入与局部密度成反比的样本点影响体积概念,通过优化总影响体积确定径向基函数最优核宽度,满足序列近似优化过程不同规模、非均匀样本条件下的函数近似需要;建立潜在可行域最大距离加点准则,并与潜在最优加点准则结合平衡算法的探索能力与开发能力;建立三步收敛判定准则;构建改进序列近似优化的算法流程。对于Golinski减速器的优化设计问题,算法在目标函数调用42次后便搜索到全局最优解,体现了其良好的全局寻优能力与搜索效率。以"天航二号"火箭为例,建立其外形优化问题数学模型,所提优化方法在调用原始计算模型165次之后便搜索到全局最优解,大大提高了设计效率,同时飞行试验也表明设计结果满足要求。     

可组合仿真模型的语义形式描述及组合判定方法

如何判定仿真组件之间是否可组合是组合仿真中的关键问题之一.建立了组合判定问题的参考模型,基于Hoare逻辑给出仿真模型语义的描述方法,并以此为基础通过构造模型语义之间的组合匹配规则,从组合相容性及可替换性两个方面刻画模型的可组合性质.形成语义层次的组合判定方法;对组合相容性与可替换性质之间的关系进行了分析.     

仿真模型的语法可组合问题及组合判定

层次化特征是仿真可组合问题的本质特征之一,首先介绍了仿真可组合问题的基本概念,提出多层次的组合参考模型,以此引出语法层次的可组合问题,进而从命名、顺序及复杂类型匹配三个方面刻画了语法层次仿真模型的组合失配现象.为解决组合失配问题,建立了三类变换条件下的类型等价及子类型匹配关系,并以此为基础构建了语法层次组合相容性及可替换性的判定规则.     

新装备故障分析与判定方法探讨

介绍了“新装备故障分析与判定方法”,提出了用逻辑分析的方法分析产生故障的可能原因.重点分析故障的特征与检查判定方法,拟定故障的诊断程序应遵循的原则,并结合××坦克主离合器踏板过重的故障模式进行了实例分析.     

基于Volterra级数的航空年事故率预测方法

针对当前航空年事故率传统预测精度不高的问题,从分析混沌特性入手,对事故数据重构相空间,构建了航空年事故率预测的Volterra级数模型。对航空年事故率数据进行预处理,采用0-1混沌特性判定方法判断时序的混沌特性;在混沌时序的基础上,应用互信息法和假近邻法确定相空间的参数,重构相空间;基于此,构建二阶Volterra自适应预测模型,并采用NLMS算法实时获取模型的最优参数;最后,应用模型对美国空军飞行事故万时率进行预测,能够将相对误差控制在2%以内,优于传统灰色时序组合预测模型,所建的模型反映了航空装备的安全状况。     

基于打击链的智能武器风险分析与控制方法研究

打击链是分析武器和系统等作战要素有效性的一种方法.针对当前智能武器概念缺乏一致定义的问题,本文提出了基于打击链作战方式的智能武器判定方法.针对智能武器认定困难引发的军控措施争论,分析了智能武器两方面的失控风险:人失去对自主武器的控制权与自主武器本身存在不可控因素和缺陷;以及智能武器的问责困境:如何在指挥者、编程者与智能...     

智能BIT故障诊断技术研究与实现

在了解智能BIT技术的基础上,对智能BIT技术做了简要概述,深入研究了智能BIT故障诊断技术,着重研究了专家系统诊断法.针对某型雷达发射系统,先建立二叉判定树,将判定树的知识表示成专家系统的知识,采用关系数据库来实现专家系统知识库的存储.数据库利用SQL的强大功能,给出判定树深度优先搜索过程,并结合例子加以说明,成功实现基于专家系统的智能BIT诊断.     

基于EATI的多分辨率联邦可组合性判定研究

联邦可组合性判定是在组建联邦之前,在语义层面分析邦员之间是否存在一种或多种交互方式能够满足联邦的仿真需求和目的。多分辨率联邦执行的有效性是判定联邦可组合性的主要标准。基于EATI方法,提出了多分辨率组合性的形式化理论,给出多分辨率联邦概念模型与多分辨率联邦组合模型的形式化描述。通过比较这两个模型得出联邦有效性的形式化定义,并在此基础上得到联邦可组合性判定方法。该判定方法从实践中总结并在实践中验证,对于构建军用仿真联邦的可行性分析具有一定的借鉴价值。