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

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

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

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

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

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

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

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

国防高技术名词：隐身技术Siealth technology

隐身技术，又称隐形技术，准确的术语应该是“低可探测技术”。任何武器装备．在一定的光照下都会“原形毕露”，在运动和使用过程中，会发出热、声、光或电磁波等表明其特征的信号。例如．雷达和通信设备工作时会发出电磁波，表面会反射电磁波，运转中的发动机和其他发热部件会辐射红外线。     

一种单片化可重构的相位式测距系统

通过相位式测距的计算,进行了参数选择.基于XACT可编程逻辑开发软件平台,利用Xilinx的现场编程逻辑器件对系统进行单片集成,整个系统的体系结构和测量参数都可以动态重构,是实时信息处理系统小型化设计的一种全新方案.     

机场跑道的打击效果评估研究

针对从融合图像中识别出的打击后的机场跑道,充分利用图像分析、图像理解技术,建立了机场跑道打击效果评估的数学模型.按照机场跑道封锁的准则,引入飞机可起降的概率,进行机场跑道毁伤程度的精确评估,为打击效果评估结果的量化提供了一个重要的衡量指标.系统仿真结果表明,利用飞机可起降概率来评估机场跑道的毁伤程度,更加符合现实,从而能够准确地评判机场跑道的毁伤等级.     

我国财政的战争承受力研究

文章界定了国家财政的战争承受力,分析了国家财政实力与财政承受力的关系,进行了战时国家财政支出的可替代性分析,提出了认识国家财政战争承受能力的思路。     

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

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

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

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