基于FTA模型的导弹发射机故障定位及失效分析

介绍故障树分析法(FTA),运用故障树方法建立某导弹发射机的FTA模型,并对FTA模型进行定性分析;对该导弹发射机系统所有组件进行排查,通过检测及采集手段对发射机系统故障进行了元器件定位,并进行装机验证和机理分析,找出速调管故障原因,结合微观成像对故障元器件进行了失效分析。模型对导弹潜在故障分析定位具有借鉴意义,也为导引头发射机系统性能优化提供参考。     

SIP协议的形式化分析与验证

文章在分析SIP会话交互过程的基础上,用petri网对该过程进行建模,根据petri模型所应具备的特性,通过可达树模型验证了SIP协议具有有界性、活性、公平性和前进性.通过不变量分析,验证了SIP协议具有守恒性和循环性.为协议的改进设计提供了理论依据,从而更好完善SIP协议标准.     

基于CPLD的某型位标器角度实时监测系统的设计

在进口某型空空导弹的测试修理中,导引头位标器故障率较高。为进一步降低故障分析难度,提高故障定位准确率,本文设计了基于CPLD的导引头位标器角度实时监测系统。经试验验证,该系统稳定可靠、功能完善、抗干扰能力强,能满足导引头位标器Y/Z通道方位角的实时监测需求。     

某型雷达导引头同步器修理技术研究

介绍了雷达导引头同步器的主要功能、组成及原理,描述了同步器测试系统,根据同步器内部模块实现功能的不同,对同步器输出信号进行分类,详细分析了各路输出信号原理,并形成早期和后期同步器工作原理图和输出波形采样,为同步器的深度修理提供了技术支持.     

基于数据检索的某型弹载计算机内部总线检测研究

介绍了某型弹载计算机的总体结构、内部总线及外部接口地址分配规律;利用逻辑分析仪固有的信息检索与逻辑判定功能,对该型弹载计算机总线信息进行实时采集;结合计算机总线信息采集图样,提出一种基于数据检索的弹载计算机内部总线研究和检测手段,目前已应用于弹载计算机故障诊断和深度定位。