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

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

绝对时钟智能控制器的研制

介绍了一种日常参数智能控制器的研制及研制过程中的几个重要问题的解决方法。特别是用于城市照明及美化城市的彩灯的开、关时间智能控制方面，给出了依据当地绝对时间、经度、纬度进行昼夜时间计算的方法，使之在不接光电传感器情况下可跟踪季节的昼夜变化。控制系统采用８９Ｃ２０５１单片机，配有时钟日历芯片ＤＳ１２８８７，系统体积小、功能强、可靠性高。     

实体造型中的几何约束

实体造型是一个基于约束的过程，完成从功能约束到几何约束、再到代数约束的转化而得到实体模型。本文讨论了几何约束的层次性及其表示，并且对几何约束同设计意图的关系进行了研究，提出了基于ＣＳＧ／ＧＣＧ／Ｂ－ｒｅｐ的模型表示。     

基于工作站和EUCLID－IS的计算机组装结构CAD系统研究

随着集成电路技术的发展及计算机性能的不断提高，计算机组装结构设计在计算机，总体设计中的地位越来越重要，它直接影响到计算机性能的提高。本文针对一个基于工作站和ＥＵＣＬＩＤ－ＩＳ软件的电子计算机组结构ＣＡＤ系统，从软、硬件平台，系统功能及实现等方面进行了讨论，旨在为电子计算机组装结构设计提供一种强有力的、方便的设计工具，有利于增强国产计算机的市场竞争能力。     

基于工作站和EUCLID-IS的计算机组装结构CAD系统研究

随着集成电路技术的发展及计算机性能的不断提高，计算机组装结构设计在计算机，总体设计中的地位越来越重要，它直接影响到计算机性能的提高。本文针对一个基于工作站和ＥＵＣＬＩＤ－ＩＳ软件的电子计算机组结构ＣＡＤ系统，从软、硬件平台，系统功能及实现等方面进行了讨论，旨在为电子计算机组装结构设计提供一种强有力的、方便的设计工具，有利于增强国产计算机的市场竞争能力。     

Multi-input,multi-output flight control system design for the YF-16 using nonlinear QFT and pilot compensation

Nonlinear quantitative feedback theory (QFT) and pilot compensation techniques are used to design a 2 × 2 flight control system for the YF-16 aircraft over a large range of plant uncertainty. The design is based on numerical input-output time histories generated with a FORTRAN implemented nonlinear simulation of the YF-16. The first step of the design process is the generation of a set of equivalent linear time-invariant (LTI) plant models to represent the actual nonlinear plant. It has been proven that the solution to the equivalent plant problem is guaranteed to solve the original nonlinear problem. Standard QFT techniques are then used in the design synthesis based on the equivalent plant models. A detailed mathematical development of the method used to develop these equivalent LTI plant models is provided. After this inner-loop design, pilot compensation is developed to reduce the pilot's workload. This outer-loop design is also based on a set of equivalent LTI plant models. This is accomplished by modelling the pilot with parameters that result in good handling qualities ratings, and developing the necessary compensation to force the desired system responses.     

A method of identifying latent human errors in work systems

Work system improvements are implemented in various manufacturing processes to prevent problems caused by human errors. However, they are almost always applied to problems which have already occurred. This paper examines a method of identifying latent human errors existing within the work systems beforehand. A procedure for applying failure mode and effect analysis to this identification problem was defined based on over 1000 empirical errors: a work system decomposition criterion and fundamental error modes for listing latent human errors, and then applied to three practical manufacturing processes in order to evaluate its effectiveness.     

SiC（w）／TZP＋mullite陶瓷复合材料界面和组成设计与力学性能

本文从理论上分析了ＳｉＣ（ｗ）ＴＺＰ＋ｍｕｌｌｉｔｅ（ｐ）复合材料界面残余热应力及其在基质内的分布规律。提出在ＳｉＣ（ｗ）表面涂复Ａｌ２Ｏ３和在ＰＺＴ中加入ｍｕｌｌｉｔｅ（ｐ）联合作用来降低晶须／基质界面残余热应力的界面设计方案，导出ＳｉＣ（ｗ）和ｍｕｌｌｉｔｅ（ｐ）协同补强ＰＺＴ的匹配条件。制备了ＳｉＣ（ｗ）／ＴＺＰ＋ｍｕｌｌｉｔｅ（ｐ）复合材料并了ＳｉＣ（ｗ）表面涂层Ａｌ２Ｏ３厚度和ＳｉＣ（ｗ     

面向表面微加工工艺的微器件设计框架的研究

本文以微器件设计为对象，对微硅表面制造驱动的微器件并行设计方法学及相应的计算机辅助设计工具的开发逻辑进行了研究，提出了采用基于三层Web-ASP集成框架实现e-CAD原型工具的编程方案，其中，并行任务流管理与控制，微器件实例及设计资源库，微加工工艺规划及仿真，微器件设计评价等是该系统实现的关键要素，在此基础上将建立网上微器件设计中心，并通过应用服务机制，实现对微器件设计工具使用的商务化，以达到降低设计成本，加快MEMS产业化之目的。     

关于后张预应力混凝土结构优化设计的几个问题

结合UP软件编程实践，本文对后张预应力混凝土结构计算程序中引入优化功能的意义进行了论述，提出了预应力筋与普通钢筋之间的最优搭配关系，优化原点概念及相关影响因素，列出了优化计算程序所应涉及的基本计算内容，并对当前后张预应力混凝土结构设计中的一些观点提出了不同意见。