摘要：本文首先总结现有实体造型系统所表示的设计过程, 以及参数设计、模型编辑等技术对设计过程的模型的需要。认为实体造型是一个基于约束的设计过程,目标分解和满足约束是其两条线索,文中建立了这一过程的概念模型和基于约束的CSG造型过程,并介绍了CSG、约束图GCG和B-rep相结合的模型表示及其应用。最后,文章指出了进一步的研究方向。

摘要：从资源模型出发 ,探讨了资源与其性质的关系 ,给出了设计的一种分类方式 ,分析了每类设计的性质 ,并指出了每类设计的关键点和难点。研究了产品开发中的多解性 ,用户需求的适应性 ,知识的灵活运用这三个与创新设计相关的问题。最后 ,从以上设计分类出发 。

摘要：本文研究形状特征的形式定义，并强调了形状特征的非几何语义，引入面邻接图ＡＡＧ和几何约束集来定义特征体素，使形状特征的空间属性和边界局性结合起来，从而面向基于约束的设计。最后，作者尝试用代数规格说明来定义特征，并给出了实例。

摘要：实体造型的实用化研究西安电子科技大学电子机械系郑飞，叶尚辉一、引言计算机三维图形的实体造型技术自７０年代不断发展以来，到今天已经相当成熟，各种ＣＡＤ应用软件都把实体造型作为其核心之一。工作站上的Ｉ－ＤＥＡＳ软件，微机上的ＡＯｔＯＣＡＤ软件等，其高版本...

摘要：雷达结构设计实施并行工程必然会增加设计过程的复杂程度和管理难度。对设计过程合理地分解可以减轻或消除各种设计影响因素之间的相互耦合。分解的关键是耦合任务集的识别。本文基于图论的有关理论和代数矩阵方法 ,提出一种雷达结构并行设计过程的分解方法。最后给出一个此法在雷达结构设计过程分解中的应用例。

摘要：基于产品开发中的资源，提出了一个设计知识表示的资源模型，讨论了资源中可变部分与不变部分的性质，建立了资源间的运算关系模型．最后给出了描述设计过程的模型，讨论了其性质．

摘要：以前的变量设计技术用几何约束统一了不同尺寸的产品模型表示，但不能支持复杂的特征变异．本文引入特征语义几何元素及其约束实现了不同特征细节的统一表示，从而支持更广泛意义上的变量设计．文章论述了特征变异，设计过程、约束求解、系统分析与设计，以及在原型系统研制中提出的新问题．

摘要：自动制造系统（AMSs：AutomatedManufacturingSystems）Petri网控制器形式化设计是AMSsPetri网控制器自动设计的理论基础。本文以AMSs计划（Planning）层和调度（Scheduling）层生成的工序序列（OperationSequences）和资源需求序列（ResourceRequirementSequencces）为基础，为顺序共享资源AMSs设计了一种规格说明语言。通过对位置和变迁引入输入输出状态函数，结合所设计的规格说明语言，可以自动生成AMSs实时控制PETRI网控制器的表格表达式，该表达式为模型分析和AMSs技制软件自动生成奠定了基础。最后，用一个实例说明了设计过程。

摘要：在分析大量的有限元网格自动生成算法的基础上，阐述了有限元网格的一般描述和通用方法，总结了各类主要的网格生成方法的优缺点及数据特性，最后指出了自动网格生成的几个主要发展方向。

摘要：在离散变量的结构优化设计中，一般都用次梯度方向作为搜索和前进的方向。本文提出一种用组合梯度搜索方向进行结构灵敏度分析及离散变量优化计算的方法。与文〔6，7〕的各种方法相比，本方法可节省较多的计算时间，并可提高计算效率．