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

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

层裂问题的数值研究

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

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

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

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

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

基础教育与屯垦戍边新型团场建设

屯垦戍边新型团场建设是党中央关于建设社会主义新农村重大决策在兵团的具体实施。基础教育是建设屯垦戍边新型团场的奠基工程和文化基础。发挥基础教育在新型团场建设中的基础作用和服务作用,既关系到新型团场建设的速度和质量,也关系到基础教育发展的环境和水平。     

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

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

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

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

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

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

舰载武器作战使用条件仿真量化分析

运用层次分析法、本征向量法和多属性决策问题的数据处理等方法,对舰载武器作战使用的约束条件进行了量化分析和数据处理,系统地描述了单一约束条件和多个约束条件对武器有效使用的概率问题,建立了约束条件下,舰载武器作战使用仿真流程。研究结果对舰载武器作战使用具有一定的指导作用。     

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

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