时序逻辑的并行描述与隐含遍历

随着电路规模的迅速增长,设计验证越来越复杂,从而需要高速的数据处理系统。基于总线型多机系统环境,研究电路网表和布尔表达式的BDD（Binary Decision Diagram）并行构造方法,并通过隐含遍历任务的动态调度设计有效地完成时序逻辑的状态遍历。     

基于BDD算法的航天测控系统任务可靠性建模与分析

提出了一种航天测控系统的层次化建模方法,以及测控任务可靠性二元决策图(BDD)分析算法。在模型底层描述了测控系统的结构和任务需求信息,模型顶层将测控资源与任务进行统一,将测控单元任务弧段切割成不同阶段,建立了任务可靠性的故障树模型。采用ITE算法将故障树模型转换为BDD模型,并给出了BDD模型的计算方法。最后,运用实例说明了方法的有效性,进行了测控任务可靠性的灵敏度分析,找出了系统的薄弱环节。     

基于二元决策图的多阶段任务系统可靠性分析

分析了多阶段任务系统(PMS)可靠性分析中传统二元决策图(BDD)建模方法的不足,提出了一种将多阶段任务失效事件分解为互不相容的阶段失效事件,然后分别建立可靠性BDD模型的新方法。通过该方法建立的PMS可靠性BDD模型不但可以计算总体任务失效概率,同时也能计算任务在各阶段发生失效的概率。最后,给出了一个算例,验证了该算法的有效性。     

支持向量机技术的雷达板级电路快速故障诊断

介绍了支持向量机的基本原理.针对目前雷达装备诊断过程中存在的可更换板级电路多、传统诊断方法不理想等问题,提出了一种基于支持向量机的雷达板级电路快速诊断方法.建立了故障诊断样本训练和测试平台,对某型雷达预调器板进行了故障诊断实验.结果表明,该方法诊断准确性高,比其他方法更为快速有效,较好地解决了雷达可更换板级电路的故障诊断问题.     

多阶段任务系统可靠性分析的ROBDD算法

针对Markov方法分析多阶段任务系统(Phased-Mission System,PMS)可靠性时的状态空间爆炸问题,基于层次化建模思想,建立了PMS任务可靠性的顶层系统二维决策图(Binary Decision Diagram,BDD)模型和底层部件Markov模型。通过分析BDD中的同构节点和冗余节点,提出顶层模型构造过程中的同构节点合并策略和冗余节点删除策略。利用上述节点压缩策略生成简化模型,提高模型构造和存储效率。基于PMS部件排序规则,给出了层次化模型的递归求解方法,该方法的计算复杂度与顶层模型中的节点总数呈线性关系。通过算例分析,对比采用节点压缩策略前后的模型节点数,以及层次化方法与Markov方法的计算结果,验证了简化层次模型的正确性和有效性。     

基于DICE单元的抗SEU加固SRAM设计

DICE单元是一种有效的SEU加固方法,但是,基于DICE单元的SRAM在读写过程中发生的SEU失效以及其外围电路中发生的失效,仍然是加固SRAM中的薄弱环节.针对这些问题,提出了分离位线结构以解决DICE单元读写过程中的翻转问题,并采用双模冗余的锁存器加固方法解决外围电路的SEU问题.模拟表明本文的方法能够有效弥补传统的基于DICE单元的SRAM的不足.     

基于数字鉴频器的内燃机瞬时转速延时测量法

将基于数字鉴频器的延时法用于内燃机瞬时转速测量.首先介绍了延时法解调电路原理,然后使用仿真手段对延时法测量的特点进行了研究.仿真结果表明,该方法能够较好地还原频率调制信号,最后经实测试验证明了测量的有效性.该方法可采用全硬件电路实现,测量设备简单,可抑制调幅因素的影响,是一种有效的瞬时转速测试方法.     

旋转弹自动驾驶仪电路实现及数字化处理技术

给出了某旋转导弹的自动驾驶仪电路实现,通过电路特性分析和功能仿真,验证了电路设计的正确性.利用导引头数字信号处理(DSP)对模拟电路进行了数字化处理,实现了自动驾驶仪电路数字化.     

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

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

在线电路测试仪在装备维修中的应用

在线电路测试仪在工业仪器和军事装备的电路测试中应用广泛,其关键技术是利用后驱动技术实现在线元器件的隔离.阐述了电路中器件的常见故障形式,详细研究了后驱动技术的理论和应用,在此基础上,分析了后驱动技术对电子器件安全容限的要求.最后,对在线电路测试仪在装备维修中的应用进行了展望.     

多阶段任务系统可靠性分析的二元决策图模型

为了实现计算机自动生成多阶段任务系统的二元决策图可靠性模型,提出了二元决策图可靠性建模的通用方法。定义了嵌套的二元决策图数据结构BDD_Element,给出了二元决策图模型的描述和存储方法,提出了与门、或门和k/n表决门向二元决策图模型的自动转化算法。给出了建立多阶段任务系统二元决策图可靠性模型的2个步骤:基于逻辑门转化算法,将部件逻辑关系结构函数转化为阶段二元决策图模型;基于二元决策图布尔操作规则整合阶段二元决策图模型。卫星姿态调整任务的可靠性分析表明:该方法可以有效应用于多阶段任务系统的可靠性分析。     

基于状态变换的数字电路冗余确认研究

以状态跳变图为基础,深入分析了冗余变换与非法变换的特征,提出结构冗余和功能冗余的概念,并讨论了可测故障、不可测故障和冗余之间的联系.最后结合验证和测试生成,提出状态冗余的隐含遍历确认策略.     

多阶段任务系统可靠性并联冗余优化模型

多阶段任务系统是一类普遍存在的复杂系统,研究其可靠性冗余优化对于该类系统设计具有重要的参考价值。针对多阶段任务系统的可靠性并联冗余优化问题,提出了采用冗余故障树和冗余BDD来描述系统冗余结构的方法。给出了冗余模块在多阶段任务系统中的可靠度计算方法,建立了整个冗余多阶段任务系统可靠度计算模型。在此基础上以费用最小为目标,构建多阶段任务系统可靠性冗余优化模型,并应用微粒群算法对模型进行求解。算例验证了模型的合理性及算法的有效性。     

非单调关联故障树顶事件失效概率的新算法

提出了一种计算非单调关联故障树顶事件失效概率的新方法,其基本思想是利用ＢＤＤ进行故障树中顶事件的不交化工作,可避免求ＰＩＳ和ＰＩＳ的最小覆盖的运算过程,为有效解决其运算的ＮＰ困难问题提供了一条新的途径。     

深水环境下潜艇舯部结构撞击强度数值分析

潜艇结构水下碰撞是潜艇的主要事故形式,也是船舶碰撞最为危险的状态之一。文中首先提出潜艇碰撞问题,对碰撞特征进行分析,然后针对某型潜艇舯部典型结构的撞击极限强度特性进行数值计算,结果显示,由于准静压载荷的附连耦合作用,随着静水压力的增加,潜艇舯部耐压壳体结构的防撞能力将大幅下降,而耐压壳体内部平台和舱壁结构将有效提高壳体结构的横向失稳临界应力,改善潜艇结构的径向耐撞能力。     

粘土的结构性与超固结

土体中的结构性与超固结都可以使土体表现出超固结特性。通过结构性与超固结对土体力学性质影响比较,揭示了它们对土体力学性质的影响存在本质差异,需要将它们区分开来。基于土体中的结构性、超固结对土体固结特性的影响差异及粘土的正常固结线的唯一性,提出了粘土的结构性与超固结的定量描述方法,据此对原状粘土进行分类。土体的结构性主要包括土体的化学胶结等真正改变了土样结构的因素,用结构性参数来定量描述,而次固结、干缩作用可看成与超固结作用一致,一起用超固结参数来定量描述。     

玻璃钢导流罩新型密封结构设计及其模型试验研究

提出了船舶球鼻首导流罩玻璃钢壳体与船体结构之间的新型连接结构———纤维桩结构和柔性预紧密封螺钉连接结构,即:在钢构架与玻璃钢壳体之间采用纤维桩连接结构,玻璃钢壳体边界与船体搭接板之间采用加橡胶柔性密封的螺钉连接结构。经过导流罩局部模型试验证明,该连接结构能保证导流罩具有足够的强度和水密性,其性能优于现有螺钉连接结构,适合于实船使用。     

基于随机Petri网的维修质量管理组织结构建模与分析

简述了利用随机Petri网进行维修质量管理组织结构建模的方法。根据实际需求,建立了2种组织结构形式的仿真模型。以模型为基础,对维修质量管理组织结构的静态结构和动态行为进行了研究,解决了维修质量管理组织结构的优选问题,对组织结构设计具有一定的指导作用。