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

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

基于簇的无线传感器网络密钥管理方案

在无线传感器网络中,安全通信有两种类型:一对多和一对一.提出一套低复杂度算法产生并分配两种类型的密钥.算法对基于簇的层次型网络进行设计,算法包括初始密钥管理、周期密钥管理和簇动态密钥管理,算法中的所有通信都使用椭圆曲线数字签名方案验证.通过仿真实验,结果清晰地显示出该方案对资源受限的无线传感器网络是安全可行的.     

基于引信多普勒频率信号的脱靶量估算方法

脱靶量是防空导弹武器系统研制过程中进行飞行试验数据分析的一个重要参数。利用引信的多普勒遥测数据和导引头测量的弹目相对速度进行脱靶量估算,其原理可行、方法简单。     

应用于引信遥控装定的火控信息交联装置

自差式多普勒无线电引信发射和接收装置是引信遥控装定的重要内容.在装置中引入单片机和FPGA技术,能快速、准确的装定已经出炮口300 ms以上的密集弹药,选择工作方式,可供选择的工作方式有近炸、碰炸、遥控炸、定时(距)炸.引信具备近目标发射电磁波功能,能有效抗有源干扰、海杂波干扰和信道干扰.FPGA的高度集成特性减小了编码和解码、调制与解调电路的体积,减小了引信工作电路.     

某型炮兵子母弹子弹引信安全性分析

文章阐述了某型炮兵子母弹子弹引信作用原理及安全性设计准则。进而依据GJB 373A—1997《引信安全性设计准则》对该型炮兵子母弹子弹引信进行安全性分析,认为子弹引信的安全性设计满足《引信安全性设计准则》的相关要求,特别具有延期解除保险、非正常时序故障保险、子弹成串防错装和瞎火状态识别等安全特性。     

雷管安全性与可靠性国内外标准比较

本文根据雷管安全性与可靠性国内外标准的情况,通过分别简单的介绍,分析了国内外标准的异同点,给出了关于我国雷管标准制修订的一点看法。     

某新型榴弹引信加速寿命试验设计

通过对影响某新型榴弹引信长储失效的主要环境因素（温度和湿度）分析,得出其寿命服从威布尔分布,双环境应力下满足阿伦尼斯模型。用恒定应力加速寿命试验方法计算出双环境应力下威布尔分布的过渡参数、形状参数、尺寸参数等值,从而估算出某新型榴弹引信长储失效规律。     

地雷用锂电池长贮试验研究

本文针对地雷引信用锂电池长贮指标为５年的情况,参照美军试验标准,根据我军地雷使用的实际状况,对ＥＲ１３１７０、ＥＲ１２１３０两种雷用电池进行了长贮试验研究,得到了大量可靠数据,为说明国产雷用锂电池可以满足１０年贮存期要求提供了依据。     

一种便于在微机上实现的密码体制

通过对便于在微机上实现的安全的椭圆曲线密码体制的讨论,给出了一类可以构造这种密码体制的椭圆曲线及构造密码体制时所要用到的椭圆曲线上的运算.     

迫弹引信动态模拟试验的终点效应相似准则

本文从动态模拟试验与靶场验收试验的等效性出发,根据瞬发发火和惯性发火作用机理的不同,分别建立了迫弹引信在碰击靶板过程中着发机构的物理数学模型,从理论上推导了考核引信瞬发发火可靠性和惯性发火可靠性的相似准则,即模拟弹着靶速度与靶场验收试验时实弹着靶速度间的关系。