基于重量分析的OBDD变量排序算法

有序的二叉判决图（ＯＢＤＤ）是布尔表达式的一种有效表示方法，但它的体积对变量排序具有较强的依赖性。本文提出一种电路结构图，并在此基础上定义了原始输入重量和节点重量等参数，并建立了用重量分析来指导的ＯＢＤＤ变量排序算法。由于从考虑变量对输出函数的影响出发与从考虑ＯＢＤＤ节点共享性出发对变量排序的要求不同，本文分别设计了两类算法。实验结果表明，本文对大多数标准电路变量排序的效果都优于国际上的同类算法，     

SiC微粒对Ni—W—SiC复合镀层工艺及性能的影响

讨论了工艺参数对镀层成份的影响及热处理方式对Ｎｉ－Ｗ－ＳｉＣ复合镀层组织结构、硬度和耐磨性的影响。结果表明，采用电沉积工艺，可得到含Ｎｉ５０％￣５５％、Ｗ４２％￣４５．４％、ＳｉＣ３．０％￣７．６％的复合镀层。Ｎｉ－Ｗ－ＳｉＣ复合镀层在镀态时为非晶态，经５００℃热处理１ｈ或氮碳共渗后，镀层已晶化，产生了镍固溶体和少量的γ－ＦｅＮｉ相，经氮碳共渗后还有ＷＣ和ＷＮ相。ＳｉＣ微粒的加入显著地提高了Ｎｉ－     

全尾砂高水固化材料在下向充填采矿法中的应用

全尾砂高水固化材料是２０世纪８０年开发出来的矿山新型充填材料，本文简要介绍了全尾砂高固化材料下向进路式充填采矿法的充填工艺技术，并与带钢筋混凝土假顶的下向进路式水硫充填法进行了经济比较。     

荧光显示管直丝氧化物阴极有效逸出功的计算

阴极的逸出功是表征阴极发射能力的物理量，求定荧光显示管直丝氧化物阴极有效逸出功时，因其零场发射电流密度难于准确取值，温度无法直接测量，显得困难，须予解决，为此提出了一种计算阴极有产逸出功的办法，对某显示管的发射欠佳和“低温高效”的两种氧化物阴极的有效逸出功进行计算，有效逸出功率是靠测量相关物理量再同计算得出，精度不很高，文中所用办法也不例外，但所得结果能反映阴极发射能力，所需仪器少，是实用方法。     

CO_2激光治疗人为纹身

去除人为纹身，以往多采用手术切除的方法，因需自体植皮并留有疤痕而不尽人意。我们采用CO2激光对6例纹身去除，均取得满意效果，特报道如下：临床资料采用国产HN2－Ⅱ型CO2激光治疗器行纹身去除，6例均为男性，年令18～25岁，前臂2例、上臂外侧2例、背部2例。其中文字图像4例、图案图像2例。去除方法：术前常规消毒患处，用2％普鲁卡因进行局部浸润麻醉，激光头对准患处行扫描式烧灼；然后用盐水棉球擦去炭化组织，观察色素是否去除，如未去除再重复烧灼，术后创面用红霉素软膏涂敷。5天后红肿反应基本消失、乃行补治。补治目的一针对…     

纤维增强铝基复合材料变形损伤过程声发射研究

采用声发射（ＡＥ）技术，通过测定ＡＥ事件数、幅度和持续时间等发射特征参数以及恒载 Ｆｅｌｉｅｉｔｙ效应，对ＳｉＣ／Ａｌ和Ｃ／Ａｌ两类束丝纤维增强铝昨合在拉伸变形过程中的损失失效特征进行了分析探讨。实验结果表明，纤维种类、界面状况对复合材料损伤过程有着显著的影响，声发射技术是表征这类复合材料损伤特征很有潜力的方法。     

计算机耐故障技术的探讨

本文以研究抗故障计算机为题，讨论了计算机系统的耐故障技术，叙述了耐故障技术的基础，从而引入了冗余性概念，同时还提出了耐故障技术的几种方法，并对几种方法进行了分析比较。     

电脑病毒入侵实时报警技术及实现

本文利用电脑病毒的共性和DOS系统功能的特点，提出了一种病毒入侵实时检测方法，并给出了程序实例。克服了以往检测方法的不足。