一种面向测试的RTL行为抽象与蕴含方法

针对寄存器传输级（register transfer level,RTL)行为的抽象，提出了一种层次化的带条件的表示，这种抽象的行为是面向测试的，它不仅表达简单，而且能很方便地进行蕴含操作，通过抽象，电路可以规范为行为集，并代替电路本身进行功能测试向量的生成，在测试生成过程中，大量地应用蕴含操作何以使其中的行为得到简化，并极大地提高了系统的效率。     

导弹发射决策专家系统推理机研究与实现

介绍了一种基于灵活、通用的知识表达方法的推理机。它将面向对象方法和问题求解的黑板模型有机结合 ,自带各种控制信息和适宜的不确定性推理算法 ,将知识库分层和模块化 ,极大地提高了推理效率。推理机根据监控信息 ,推理计算出导弹允许发射的合格置信度 ,已应用于导弹发射决策专家系统设计中。     

一种扩展的3-2-1组合夹具定位方法

针对孔系基础板组合夹具定位方案的确定问题，提出了一种扩展的3—2—1的设计方法，介绍了该方法的基本原理，给出了全部设计公式．利用该方法可以自动确定由直线和圆弧组成定位边界的工件的全部可能定位方案．     

Web环境下的火工品感度虚拟仿真测试

应用WWW上的虚拟现实建模语言VRML，制作了可在Internet上应用Ⅲ和Netscape等普通浏览器进行交互操作的火工品感度虚拟仿真测试系统，对实现该测试系统的关键技术进行了论述。该虚拟仿真测试系统具有高度的真实效果，使操作人员如同在实地进行真正测试一样，是虚拟现实技术在万维网上的具体应用。     

氢化物发生-原子荧光法测定菊花和大云中的铅

应用AFS—2202a型双道原子荧光分光光度计和断续流动的氢化物发生技术，采用HNO3-H2O2酸性体系和高压釜消解样品，对样品中的铅含量进行了测定。同时，研究了光电管负高压、灯电流、屏蔽气和载气流量、载流的选择、酸度等对实验的影响。在选定实验条件下，铅的检出限为0．08μg／L，标准物质桃叶(GBW08501)的验证结果与推荐值一致，相对标准偏差为1．9％。该方法简便、快速、灵敏，对于实际中药样品的测定得到了满意的结果。     

带加强层框架-芯筒结构的非线性推覆分析

根据带加强层框架-芯简结构(FWSWSS)的特点，该文编制了非线性推覆分析程序NLAFCW，并对此类结构进行了推覆分析，分析结果表明，只要经过合理的设计，该结构能够满足抗震要求。     

开互模拟的一条泛公理

π-演算公理化中较难处理的是有关局部化算子的等式, 传统的方法是使用带条件的推导规则或使用“区别”. 提出一条关于π-演算局部化算子的泛公理, 并证明它可在开互模拟的公理化中取代“区别”的作用. 本方法的好处是在公理化过程中我们只要处理一个互模拟, 而无须处理一族互模拟.     

平凡的R-关系对两类半群的刻划

运用“平凡的R-关系”这一条件,刻划了两类周期半群,给出了它们的性质特征。     

工程设计单位小型局域网的组建与管理

介绍了小型局域网的特点，结构类型的选择，布线方法，操作系统的选择、安装与配置，安装防火墙和即时杀毒软件，并介绍了小型局域网的有效管理。     

怎样对抗巡航导弹

巡航导弹是战争中的杀手锏。无论是舰射、空射、潜射的各种巡航导弹,都具有远距离精确打击地面固定目标的能力。