排序方式: 共有84条查询结果,搜索用时 15 毫秒
51.
52.
介绍了软件安全性和基于Petri网软件安全性分析技术。结合某导弹安全系统的实例,在系统Petri网模型的基础上运用逆向可达图回溯法及关键状态法对系统及其软件的设计进行了安全性分析,还考虑了系统运行时的动态时效对安全性的影响及相应的恢复措施。总结了基于Petri网的系统软件安全性分析的特点。 相似文献
53.
针对迫弹电子时间引信(Electronic Time Fuze for Mortars/ETFM)设计过程中双保险环境的选择问题,对环境信息及其传感器进行了优选,分析了弹炮分离感应作为一种新方法在迫弹电子时间引信中的应用。 相似文献
54.
在考虑扭力矩作用的基础上,建立曲折槽保险机构的动力学模型,以某机构为计算实例,与传统的动力学模型进行比较。数值计算结果表明:引信跌落到硬质地面时,扭力矩的影响作用不明显,而跌落到松软地面上时扭力矩使惯性简的位移响应明显增大,不能忽略。其结论为判断长储引信勤务处理意外跌落的安全状态提供了理论参考。 相似文献
55.
引信传爆管破片参数研究 总被引:1,自引:0,他引:1
理论分析传爆管破片的数质量分布和最大质量的计算模型,采用水箱法进行了部分引信传爆管破碎性试验。试验数据及理论分析结果表明:计算榴弹破片数质量分布的Mott公式并不适用于传爆管类非榴弹破片的计算,因此利用试验所得数据对西德最大破片质量公式进行了修正。修正后的公式对丙型引信传爆管破片最大质量的计算结果与试验数据较为吻合。 相似文献
56.
卫星导航系统评估星载钟稳定度通常需要大型地面监测网的观测数据和复杂的钟差确定算法,不能基于单站观测数据实现。论文在分析利用单站观测数据评估星载钟短稳方法的基础上,提出了一种相对容易实现的联合卫星双向载波测距值与GNSS单向载波观测值的星载钟短稳评估方法。该方法通过卫星双向载波测距确定星地几何距离,基于消除星地几何距离的GNSS接收机载波相位观测值估算卫星相对钟差,进而实现其短稳评估。利用北斗系统观测数据进行了有效性验证,并与复杂钟差确定算法以及利用平滑广播星历的方法(SBE法)进行了对比,本文方法与复杂钟差确定算法计算的结果相符,在1000s平滑间隔内与SBE法结果一致,相对误差小于10%,1000s以上好于SBE法。 相似文献
57.
孙琛 《武警工程学院学报》2011,(4):37-39
为解决专用数字下变频芯片价格昂贵、灵活性不强的问题,研究了如何基于FPGA实现数字下变频的功能。本设计结合硬件资源从数字下变频的系统各模块的主要功能,以及从彼此间的性能制约上考虑,先通过MATLAB仿真选择合适的参数,然后在Xilinx公司ISES.2开发环境下,使用Verifog语言编程实现。最后对基于FPGA实现的数字下变频系统调用Modelsim进行仿真测试,验证了设计的正确性。 相似文献
58.
59.
60.
根据计转数引信原理,提出了一种全新的旋转弹丸炮口直线速度测定方法。该方法的关键在于采用固定转数内计时机理,重点在于根据最小误差原则确定最佳转数。分析了该方法在工程应用中可能面临的计转数起点确定、电源以及盲区问题,展望了其在库存弹药灵巧化和半灵巧化改造中的广泛应用前景。 相似文献