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

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

Server/Client通信的快速实现

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

履带板感应热处理

履带板感应热处理哈尔滨工业大学（哈尔滨１５０００６）单永昕，刘志儒山东推土机总厂王富启，王延德机械工业部第一设计院周家骝，李超山东推土机总厂先后引进日本“小松”、美国“卡特”的推土机履带总成生产技术，其中履带板是一个重要部件。为结合我国实际生产情况落...     

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

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

高瓦斯大倾角煤层综采工艺

介绍深部矿井大倾角工作面综采工艺、工作面运输机防滑、支架防倒、防滑措施。     

最是滋润银耳来

据传，慈禧太后为了保持容颜有三个法宝，其中之一便是每天早晨起来之后喝保健羹汤，而多少年来一直不变的头道汤，便是太监熬了一夜的银耳羹。     

旋风分离器减阻杆对流场的影响

在研究发现旋风分离器减阻杆的基础上，研究了减阻杆对流场的影响，发现了减阻杆使切向速度分布趋于平缓、轴向速度上升峰值内移、径向上压力梯度减小、轴向上中心区从逆压梯度变为顺压梯度等重要规律，从而为分析旋风分离器减阻杆的减阻机理提供了依据。同时本文还首次发现旋风分离器入口附近有近２４％的短路流量，提出设法减小这部分短路流量是提高分离效率的一个研究方向。