用于实时系统性能分析中的扩展Petri网

Petri网(PN)是用于系统建模和性能分析的一个强有力的工具。当用于实时系统时,需要对其进行扩展以能表达实时时间属性。本文介绍几种与时间有关的扩展Petri网及其应用,并从使能规则、点火规则和点火方式几个方面对它们进行了分析比较。     

运用可拓理论提高指挥决策的科学性

本文运用可拓理论建立军事指挥决策的物元模型。通过求问题的解,得出指挥决策可行性方案集,并且建立了实施方案的难度函数,比较各方案的关联度和难度,确定最佳指挥决策。强调运用系统思维方式,把科学方法和指挥艺术结合起来,增强指挥决策的可靠性。     

影响大闭环防空反导系统射击精度的因素分析

分析了防空反导系统的射击误差源并根据各类误差的特性区分哪些是可校正误差,哪些是不可校正误差,根据卡尔曼滤波理论,分析影响闭环火控系统精度的多种因素,据此对弹丸脱靶量测量装置的性能指标提出要求。     

图的色数与亏格的相对独立性

本文先证明如下定理:“对于每一个非负整数p,亏格为p 的图的色数可以是任意整数m, 2≤m≤[7+(1+48p/2)].”然后,据此定理得结论:当m≥3,要找到m—色图的充分必要条件基本上是不可能的,即使不说根本不可能。     

涡环旋转伞流固耦合特性分析

以一种典型的涡环旋转伞为研究对象,采用任意拉格朗日-欧拉流固耦合方法模拟其在无限质量条件下的充气展开过程。计算得到了涡环旋转伞的充气展开和转速、开伞动载等时程变化曲线以及稳态阶段伞周围流场变化规律、伞衣织物的结构强度等流固耦合特性。结果表明:涡环旋转伞在来流12m/s时稳定转速约为3.1r/s,伞衣幅充满外形饱满,与伞塔试验结果吻合;稳态阶段涡环旋转伞上方产生大量涡核,涡核中心的连线类似于空间螺旋线;涡环旋转伞的阻力系数大于一般结构轴对称降落伞;伞衣幅与伞绳连接区域以及边缘区域应力明显高于伞衣幅平均应力水平。     

曲面拟合法和梯度法相结合的图像亚像素配准算法

针对传统亚像素配准算法存在精度不高、计算复杂的问题,提出了一种曲面拟合法和梯度法相结合的图像亚像素配准算法。采用9点相关系数曲面拟合法对图像进行粗配准,求得一个相对粗略的亚像素配准位置;在两幅图像中选取相同尺寸的子区图像,在粗略的亚像素配准位置基础上,采用梯度法最终获得精确的亚像素配准位置。不同平移关系下的样本图像亚像素配准对比实验结果表明,该算法实现了曲面拟合法和梯度法的优势互补,有效提高了图像配准的精度,最大配准绝对误差由0.17像素降低为0.02像素。     

地空导弹武器系统使用可用度评估研究

使用可用度(Ao)既是影响装备效能的重要参数,又是战备完好性量化的根据。依据使用可用度度量方法,结合地空导弹武器系统任务要求及装备使用、维修数据,提出了一种在役装备使用可用度评估方法,给出了使用可用度置信下限的计算方法。     

装备使用阶段后续备件采购模型Π:可修复件

针对装备使用阶段可修复件的采购优化问题,引入近似拉普拉斯需求概率分布代替正态分布,建立了采购间隔期内的备件短缺函数。根据供应链系统库存控制论,建立了可修备件的采购模型。通过对可修件周转渠道的分析,对采购短缺指标进行了修订,并给出了最优采购点和采购量的计算方法。对两种需求分布下的算例结果进行了对比和分析,结果表明:该模型得到的结果鲁棒性强、偏差小,优化过程简单,为故障率高、消耗量低的可修件采购方案的确定提供了一种新的思路。     

甲虫后翅及其FWMAV可折叠翼仿生研究

对将甲虫后翅的研究应用于FWMAV仿生可折叠翼研制的前沿交叉领域进行了综合评述,并对其未来研究进行了展望。首先分析了甲虫后翅结构及其材料力学性能;其次讨论了后翅结构对其静力学和动力学性能的影响;然后概括了基于甲虫后翅建立的仿生翼及其力学特性研究现状;最后对仿生可折叠翼力学性能的研究做出了总结并对其重点研究方向给出建议。综述表明:甲虫后翅的不同单元具有各异的力学性能,其不同结构可影响静力学和动力学特性;依据后翅制造的可折叠柔性翼具有明显的尺寸优势,既有助于双翼产生高升力,又可抵抗部分耦合冲击以提高飞行稳定性。未来以甲虫后翅为仿生原型研制适用于FWMAV的可折叠柔性翼,应着眼于柔性翼骨架结构和机翼翼膜材料属性的各向异性,以期制造出可折叠、易扭转、高弹性的微飞行器机翼。     

基于可拓云的合成旅装备保障能力评估方法研究

针对合成旅装备保障能力评估的实际,考虑评估中指标等级标准区间的模糊性和随机性,提出了一种基于可拓云的合成旅装备保障能力评估模型。首先,通过对合成旅装备保障任务的系统分析,构建了合成旅装备保障能力评估指标体系;通过综合赋权方法计算各评估指标的权重;然后,综合物元模型兼顾定性与定量分析的优点以及云评估模型不确定性推理的特点,构建了合成旅装备保障能力评估可拓云模型,并给出了评估结果的置信度信息;最后,通过实例分析,验证了该方法的科学性和有效性。