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

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

四辊中板轧机设备到位过程中的质量控制

安阳钢铁公司2800mm四辊中板轧机工程是河南省重点技改项目。设备总投资3．16亿元人民币，其中轧机主辅设备重6770吨，金额1．2亿元，其它标准设备2500台套。在整个设备供货过程中，我们采取了规范化、标准化管理措施，严把各个环节的质量关，使设备质量上了一个新台阶。从而保证了1996年5月28日轧钢一次试车成功。经一年多的生产表明，四辊中板轧机已达到年产42万吨钢板的设计能力，为安钢“二次创业、十年翻番”夯实了基础。众所周知，设备的供应．更难于供应的设备，对于量大、时间紧、范围广、层次深、碎而杂的技改工程来说更是如此。但…     

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共混热塑性弹性体动态硫化胶的国内外研究进展、微观相态结构、性能、应用及展望。     

最是滋润银耳来

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