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

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

我国内陆核电站建设的五个关键性问题

发达国家的核电站大多建在内陆滨河滨湖地区。要加快发展我国核电事业，必须加紧研究解决内陆核电站建设中的几个关键问题。     

远程火箭炮武器系统保障效能仿真与评估技术研究

远程火箭炮武器系统是我陆军实现远程火力压制的“撒手锏”装备,其保障效能能否充分发挥直接影响战役进程.针对传统效能评估方法存在的不足,从战备完好性和任务成功性两方面进行分析,在建立训练或作战任务模型、功能组成模型、维修任务模型、维修保障系统模型和保障效能评估模型的基础上,采用虚拟样机、失效试验与实装试验相结合的方法对自然故障过程进行仿真,基于Monte-Carlo方法对战场损伤过程进行仿真,开发了远程火箭炮武器系统仿真评估系统,通过灵敏度分析,指出了平时和战时维修保障过程中存在的突出问题,并提出针对性建议.     

提高我军装备采购改革效益的思考

各国军方都在对装备采购各领域进行探索，寻求新思路，采取新举措，提高装备采购效益，加大军方的经济可承受性。通过健全市场体系、完善采购体制、优化采办过程和创新采购技术等方法来提高装备采购效益。     

建立三位一体的人力资源开发体系

在新的经济形势下,国防企事业单位人力资源管理面临更大的挑战,高水平专业技术人才和技能人才严重短缺、技术骨干流失严重。本人通过对部分国防企事业单位的人才流失状况的典型事例研究和对影响人才流失的原因进行分析后,认为为了系统地解决人才流失问题,建立三位一体的国防科技人力资源开发体系是十分必要的,即建立能够充分发挥培养性开发、使用性开发、政策性开发的综合效应的人力资源开发体系。政策性开发体系——基础和导向 政策是人力资源开发的有力杠杆,政策性开发在整个开发体系中起到基础和导向作用。通过完善政策,健全机制,排除…     

线性系统测试矩阵优化

研究了工程中常见的线性系统循环指数为1(即其约当标准形不同的约当块不出现重根)的情况下测试矩阵优化的方法.通过将系统矩阵变换为约当标准型,能够简单地判定测试矩阵能否保持系统可观测.采用该方法可以在保持系统可观测的情况下,简单而直观地获取系统测试代价最小的测试策略.例子表明,该算法在工程上易于应用.     

非致命，武器新理念

“非致命性武器”是冷战结束后首先在美国逐渐时兴的一个新概念。所谓非致命性武器又叫失能性武器,它是指利用声、光、电磁、化学等手段,攻击敌方人员或武器装备,使其效能降低而又不会造成大量伤亡或严重损坏的新型武器。美国国防部的专家认为这类武器由于不会造成大量杀戮,因而不易引起政治上的麻烦,尤其适     

一种C3I系统网络抗毁性指标分析

C<'3>I系统在现代战争中具有至关重要的作用,生存能力研究具有重要意义.C<'3>I系统中的信息流动构成了一个网络结构,生存能力可以由网络中通路的数量和节点的关键度来获得.通过分析已有生存能力分析方法和指标的缺点,提出了一种新的测度网络抗毁性能的指标--网络抗毁度,并给出了相应的计算公式.计算了两个防空C<'3>I系...