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

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

建设可视化高清消防应急网络指挥系统可行性分析

针对年初特大冰冻和“汶川”特大地震两次灾害的情况，结合消防指挥系统建设，对建设可视化高清消防网络指挥系统可行性进行分析。     

军用油库抑爆系统气体发生剂的实验分析

针对军用油库抑爆系统气体发生剂研究的需要,自行设计了气体发生剂密闭爆发实验装置,通过测定同一剂量下的7种不同气体发生荆反应时的P/t曲线,对各气体发生剂燃烧时的产气规律进行了分析,发现含有KClO4的配方产生的最大压强Pmax要高于含有KClO3的配方,而含有KClO3的配方产生的压力值又要高于Ba(NO3);而在达到pmax反应时间上,含有KClO3的配方所花的时间要比含有KClO4的配方所花的时间短,而含有Ba(NO3)2的配方所花的时间是最长的.由此选择KClO4,Al,辅助添加剂的质量分数分别为70%,28%,2%的配方为最佳配方.同时通过改变配方的剂量和点火强度,发现随着装药量增多,tmax加长,pmax变大;而在点火强度增大的情况,tmax缩短.     

亚波长割线对结构的太赫兹共振特性

利用有限元方法模拟了以亚波长周期排列的金属割线对(cut-wire pair)结构在太赫兹频域的透射谱.以单色平面波正入射该结构,透射谱出现很强的共振峰,其线宽随着金属几何线宽增加而增加,且在频域上出现红移.通过理论建模和数值仿真相结合分析,证明了这种随金属线宽增加而增强变宽的共振峰是法布里-珀罗(Fabry-Péro...     

航空火控系统任务分析与任务管理关键技术

任务管理是航空火控系统的核心内容之一,属于火控顶层研究范畴。首先以战斗机进行空中作战的全过程为背景,分析火控系统于不同阶段所对应的任务状态以及不同状态之间的转换关系;在此基础上,对多任务之间的逻辑关系进行研究,并采用基于时序活动的分析方法描述火控系统的多任务特征;然后讨论了火控系统中任务管理问题的难点和关键技术;最后以状态时序→信息感知→传感器管理→(新的)状态时序为主线,构建任务管理的闭环式结构,并对未来战斗机任务管理的发展趋势进行展望。     

一种改进的数字GPS接收机基带环路设计

针对GPS接收机设计中,接收机信号跟踪精度同信号处理的实时性不能兼顾的特点,设计了一种基于DSP+FPGA的数字GPS接收机实时高精度基带环路.阐述了基带信号处理原理及原有方法的不足,提出了一种改进的GPS信号快速、高精度捕获、跟踪方法.利用信号粗捕后先进行精捕,在提高了信号的捕获精度后再结合二阶锁频环路辅助,最终利用三阶载波科斯塔斯锁相环完成GPS载波信号的高精度稳定闭环跟踪,同时使用载波来实时的辅助码环跟踪,从而完成整个GPS信号的实时高精度跟踪.实验结果表明该基带环路能够实现对GPS信号的快速捕获、实时稳定的高精度跟踪,并具有良好的动态性能.     

模块化设计方法在洗消装备设计中的应用探讨

介绍了模块化设计的发展、概念以及模块化设计的过程和步骤。以水基洗消装备为例分析了模块化设计方法在洗消装备设计中的应用,其中针对洗消装备功能分析、模块划分、模块接口等重要环节进行了具体阐述。提出了进行防化洗消装备模块化研究工作的建议。     

储油罐计量系统中精度的分析及提高

在储油罐计量过程中,难免会存在测量误差.介绍了储油罐自动计量的3种方法:静压法(HTG)、液位法(LTG)、混合法(HIMS).重点分析了混合法(HIMS)中直接测量参数误差、间接测量参数误差对储油罐计量系统精度的影响,并给出了通过仪表的正确选型与安装、合理地分配计量系统的误差、直接测量参数的软件数字滤波处理等提高计量系统精度的方法措施.对于测量精度要求较高的场合,采用以上方法可以有效地消除测量过程中存在的系统误差,更好地实现在储油品的科学化计量管理.     

基于AHP的军队营房保障信息化建设评估研究

首先根据军队营房保障的指导原则和目标及各级营房保障部(分)队的特点,从战略地位、基础建设、应用状况、人力资源、信息安全等方面构建了营房保障信息化建设的评估指标层次体系.然后运用层次分析法(AHP)和专家评判法,对营房保障信息化建设评估体系各层指标的权重合理性进行了分析判断,最后给出实例,对某部营房保障信息化建设水平进行了综合评估,从而为科学评估营房保障信息化建设成效提供了有力工具.     

镇西府在清代巩固西北边防中的历史作用

镇西府,即今巴里坤县。在清代,曾为西路军的大本营,新疆郡县化的策源地,又为同治年间清朝在新疆的飞地,是与清朝统一和建设新疆,坚守与光复新疆具有密切联系的历史名城,在我国西部版图的形成过程中起了不容替代的历史作用。