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

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

层裂问题的数值研究

本文对Carrol、Holt 和Johnson提出的延性材料损伤断裂进行了改进。在模型中考虑了材料的硬化效应和空穴成核的影响。用数值方法模拟了高速碰撞中OFCH 铜和铝的层裂过程,其结果与实验吻合得相当好。     

边界扫描测试仪软件系统开发

边界扫描是一种正在被人们普遍接受的可测试性设计技术 ,在电子设备测试和故障诊断中发挥着越来越重要的作用。本文介绍了开发的边界扫描测试仪样机的工作原理 ,并着重论述了其软件开发的几个重要问题。     

舰船可靠性对维修费用的影响分析

对两类主要影响因素分别建立了相应的数学模型．依据约化理论,建立了维修费用的ＶＡＲ模型．同时,根据统计资料分析了实际舰载主要设备的故障规律,指出了传统定时维修方式的理论基础的不完整性．     

论日伪言说下的新四军——对铁军精神的反证式解读

中国共产党领导下的新四军在8年抗战中做出了巨大的牺牲和贡献,日伪虽然对此百般掩饰与歪曲,但在论及新四军的作战地区、新四军的战术与作战、新四军的素质及其与群众的关系时仍透露一些无法掩盖的事实。从某种程度上,这些事实反而成为新四军铁军精神的一种反面证明。     

武器系统的可靠性评估方法研究

武器系统的可靠性是武器装备研究的重要内容,而评估可靠性的方法又是可靠性研究的关键,本文尝试对武器系统可靠性的评估方法进行了探讨。     

基于引导员负荷的指挥引导容量评估

针对目前传统指挥引导容量评估不准确的问题,通过对空战指挥引导容量与引导员负荷的综合分析,提出了基于引导员负荷的指挥引导容量评估方法。基于引导员负荷重新定义了指挥引导容量,给出了引导员负荷的确定方法,并建立了指挥引导容量评估模型。最后对某指挥机构进行实例评估,评估结果表明所提出的指挥引导容量评估方法将评估误差控制在1批之内。     

SVM在空中目标威胁值评估中的应用

构建了基于回归型支持向量机的空中目标威胁值评估模型,确定了基于粗糙集理论的空中目标威胁因素,并建立了数据离散化、归一化的标准。将常用的4种核函数应用于对空中目标威胁值的估计,并通过基于网格法和遗传算法的搜索方法找到模型的最优参数。最后通过Matlab对算例进行了仿真验证。     

基于同心筒结构的共架发射系统武器发射空域协调方法

为保证舰艇和武器系统安全,针对多武器共架发射时的发射协调问题,提出了空域协调的方法。首先,定义了空域协调的概念,分析了燃气排导、初始飞行弹道交叉对空域协调的影响;然后,通过判断发射活动、隔舱距离排序、隔舱属性赋值、判断隔舱相邻及弹道交叉等影响因素提出了空域协调的具体步骤;最后,对空域协调方法进行了算例验证。结果表明:通过空域上合理地选择武器(弹位)可以有效避免共架武器发射时产生干涉,保证系统安全。该方法对解决多类型舰载武器发射协调问题有借鉴意义。     

ESD EMP能量耦合线性化建模

针对利用非线性建模方法研究静电放电电磁脉冲(Electro Static Discharge Electro Magnetic Pulse,ESD EMP)能量耦合存在计算复杂、模型收敛性能较差的问题,基于ESD辐照实验提出了一种非线性系统线性化建模方法。该方法是将系统响应与激励间的非线性关系转化为线性关系后,利用带遗忘因子的递推最小二乘法进行线性回归来建立模型。首先利用3.5 k V ESD实验数据进行建模,然后应用3.5 kV、4.5 kV ESD实验数据进行模型验证,2种情况下的拟合度均达到94.303 3%。结果表明:线性化建模能有效降低建模难度,且模型精度较高,为ESD能量耦合研究提供了一种简便有效的建模方法。