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

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

地下通风系统管理的新技术——系统特征图

本文介绍系统特征图的原理与方法 ,及其推广应用的前景     

用户接口管理系统UIGMS的图视编程环境

本文介绍了用户接口管理系统ＵＩＧＭＳ中图视编程环境的实现技术，介绍了它的设计思想，总体结构，特点等。     

基于Powell图的模式识别法建立化学反应速度方程

本文基于Ｐｏｗｅｌｌ图，提出了用模式识别技术中的相似系数法来确定化学反应级数的方法，并给出了计算实例。     

流图可归约性判定的一个实用算法

本文得到了流图Ｇ可归的性判定的一个实用的充要条件，并给出了一个可归的约性判定算法、该算法同时计算了Ｇ中各结点的必经结点集。对于不可归的约流图，还可指出Ｇ中的所有向后边。实际应用中其时间复杂性优于［３］中计算必经结点集的算法。     

PC机智能化天线方向图测试仪

本文介绍一种新研制成功的智能化天线方向图测试仅,整个系统由PC计算机、对数选频微伏表、大线转台及控制与数据采集板组成。系统自动完成转台控制、数据采集、数据处理和方向图绘制等功能,可以计算出天线波束主瓣宽度、主瓣内任一分贝电平的带宽及确定第一旁瓣位置和相对功率电平等天线参数。动态范围为60dB,转台的最小步进角达0.00625°,即22.5角秒     

红外热图技术在气功研究中的应用

本文用红外技术研究发功时上肢体表温度变化的特点和它的规律。     

解析几何在变形接头展开图中的运用

本介绍了用解析几何的基本知识计算变形接头展开图中线段长度的方法。此方法与常用的几何作图法相比，具有简单实用、精度高，省去现场作图求线段实长的操作，提高了工作效率，保证了产品质量。     

试论城市设计与建筑设计的关系

本文通过对城市设计与建筑设计在学科分类、工作内容、发展趋势、相互作用等四个方面的具体分析,揭示了城市设计与建筑设计的相互关系,说明它们具有相对独立性、连续性、一体化发展以及相互作用等特征。提出了在实际工作中,城市设计师与建筑师合作的必要性与必然性。