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

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

Server/Client通信的快速实现

MS-DOS6.0增加的Server/Client通信功能,是通过串行口,将两台机构成服务器/客户机模式,进行双机通信,使服务器硬件资源包括软硬盘驱动器、打印机及所有文件被客户机共享.该功能为广大微机用户提供了一个更简捷、方便的通信手断.下面就如何应用该功能作一介绍.1.首先焊接一条串行口通信电缆.电缆两端焊接9针或25针插头,视微机的串行口针数而定,焊接方式如图1.电缆长度一般不超过10米,将焊好的电缆分别插入欲通信的两台机串行口COM1上(COM2亦可).2.在MS-DOS6.0中把Interlnk.exe及Intersvr.     

(甲基)丙烯酸羟乙酯的气相色谱分析

丙烯酸羟乙酯和甲基丙烯酸羟乙酯是一类新型的、性能优良的重要的化工产品,广泛用于涂料、水凝胶、透明薄膜、弹性材料和生物高分子等。国外自六十年代以来,对这类化合物的合成和应用,进行了相应的研究。但这类化合物快速灵敏的分析方法,未见报道。我们曾研究了这类产品的薄层分析方法。为了提高产品分析速度,又研究了这类产品的气相色谱分析。 Brinkman等认为,气相色谱法不宜用来分离分析这类产品。但也有文献报道过     

NBR/PP热塑性弹性体研究进展

阐述了NBR／PP共混热塑性弹性体动态硫化胶的国内外研究进展、微观相态结构、性能、应用及展望。     

葛洲坝水力发电厂自动化技术应用概述

以葛洲坝水力发电厂主要自动化技术应用与设备改造为线索，重点回顾 了该厂实现计算机实时监控、全面提高综合自动化水平的历程；全面总结了该厂为实现“无 人值班”（少人值守）而进行的自动化设备换型改造情况和自动化新技术的应用情况；简要 阐述了自动化技术应用给该厂在运行和管理方面带来的深刻变化；展望了该厂未来自动化技 术应用的前景。     

变频器在暖通空调行业中的应用

本文提出中央空调系统的一种变频调速改造方案，介绍了该系统的结构组成及运行原理，对系统各部分的作用进行了讨论。