面向验证的启发技术设计

采用有效的人工智能技术提高验证效率正成为解决验证复杂性的手段之一。本文针对STG（State Transition Graph）中状态枚举数据量大的问题,提出隐含遍历的状态映射策略。并根据状态存储和电路结构特征,重点研究了HASH表状态冲突处理、函数域限定、函数不相交分解和混合搜索等启发技术策略。     

基于支路屏蔽思想的模拟电路故障字典的自动建立方法

通过分析传统的故障字典法存在的问题,提出了一种完全不同于传统方法的新的故障字典法。该方法依据支路屏蔽的思想,通过逐一屏蔽电路的各支路,建立起能诊断软、硬两类故障的故障字典。详细阐述了该字典的自动建立方法和原理,并通过诊断例子,证明了该方法的有效性。     

关于Chidume的一个公开问题

借助于Banach空间一些新的不等式和一些分析技巧彻底解决了Chidume在1994年提出的有关Ishikawa迭代过程的收敛性方面的一个公开问题。     

二维粒子模拟的多时标法

将多时标法应用于二维激光等离子体全电磁相对论粒子模拟程序中,对共振吸收及相关的物理现象进行了模拟计算,既正确地描述了等离子体的动力学行为,又大大节省了计算时间。     

海军战役作战能力评估

本文给出了一种在海军战役学研究和海军战役训练中行之有效的作战能力评估方法 ,介绍了海军兵力的分类和分级理论 ,海战冲突样式的组合 ,攻防能力指数的获取及数据处理方式。     

物体表面的VX和HS的采样方法研究

叙述了物体表面的ＶＸ和ＨＳ（芥子气）的采样方法。对铲漆法、浸泡法、活性硅胶纸片吸附法和棉花球擦试法之间的相关性进行了探讨。其中,活性硅胶纸片吸附法是一种新的采样方法。     

复杂地形(山区)放射性沉降研究

提出了一个研究复杂地形（山区）放射性沉降的方法,即采用内插方法得到随网格变化的风场,然后在质量守恒方程的约束下用变分法解一个泛函的极小化方程,得到修正后的三维风场,然后用蒙特卡罗方法模拟核爆炸放射性粒子扩散与沉降。     

“始点刚度法”的改进

本文通过对钢筋砼结构非线性分析中刚度法的探讨,在始点刚度法的基础上提出了一种新方法,从而使钢筋砼结构的非线性分析更快捷、更精确.     

A—紧1—集压缩映象场的广义度理论

定义了A-紧1-集压缩映象场的广义度,扩展了1984年张庆雍建立的半紧1-集压缩映射的不动点指数理论。     

浅谈用公式法确定枪弹校枪值

我国目前生产的1956年式7.62mm 枪弹,因国家没有统一的散布密集度标准弹,所以在枪弹编批验收和半成品弹头散布密集度的测试中,选用本厂认可的校枪弹来确定试验条件,究竟是否符合要求,用户与生产单位之间在校枪值问题上一直存在着分岐。文章对怎样选择校枪弹,如何确定校枪值,做了较详细的阐述。