化工仿真工艺流程图绘制平台的设计与实现

石油化工领域常常需要为新生产装置研制开发相应的仿真软件，而开发这类软件要用到大量的工艺流程图。在化工工艺流程图中，各种容器是以图形构件来描述的，因此绘制图形构件是作图过程中较关键的工作。介绍了一种石油化工仿真工艺流程图绘制平台的设计与实现方法，该系统是以可重用图形构件库为核心的集成化支撑环境，通过利用图形构件的定义、生成、组织、检索、重用，可解决在工业过程中的图形组态自动生成和整体工艺流程图绘制问题。在绘制构件中，为了使工作高效，坐标位置准确，几何约束是不可缺少的。系统采用了几何约束、构件关联等技术，具有人机界面友好、使用方便等特点。     

基于图形元素特征参数的参数化设计方法

在本文中作者讨论了基于图形元素特征参数化设计方法。图形元素的特征参数能反映图形的几何和拓扑信息,根据图形元素的特征参数建立相关的图形元素类,并建立图形之间的各种约束关系,当选择某一图形元素后,参数化系统自动完成图形搜索,利用图形元素特征参数和相关的约束建立并求解约束方程,实现图形参数化。该方法操作简单,已用于参数化草图系统中,在VC＋＋开发环境中实现。     

基于约束的3D图形设计研究

在基于特征的３Ｄ实体模型里,对使用约束的图形设计方法进行了分析和研究,包括图形模型的表示、几何约束的划分、几何约束的特点以及表示方法。这里每一个特征都由一个几何约束集（如边与边之间的距离,面与面之间的角度）描述,因此,模型的处理即被认为是约束的满足问题。在评价约束以便确定特征的所有几何元素的属性时,对出现的两个问题：无限循环和低效进行了分析,提出了符号修改算法和状态减少方法分别进行解决。     

化工仿真工艺流程图绘制平台的设计与实现

石油化工领域常常需要为新生产装置研制开发相应的仿真软件 ,而开发这类软件要用到大量的工艺流程图。在化工工艺流程图中 ,各种容器是以图形构件来描述的 ,因此绘制图形构件是作图过程中较关键的工作。介绍了一种石油化工仿真工艺流程图绘制平台的设计与实现方法 ,该系统是以可重用图形构件库为核心的集成化支撑环境 ,通过利用图形构件的定义、生成、组织、检索、重用 ,可解决在工业过程中的图形组态自动生成和整体工艺流程图绘制问题。在绘制构件中 ,为了使工作高效 ,坐标位置准确 ,几何约束是不可缺少的。系统采用了几何约束、构件关联等技术 ,具有人机界面友好、使用方便等特点     

基于图形元素特征参数的参数化设计方法

在本文中作者讨论了基于图形元素特征参数的参数化设计方法.图形元素的特征参数能反映图形的几何和拓扑信息,根据图形元素的特征参数建立相关的图形元素类,并建立图形之间的各种约束关系,当选择某一图形元素后,参数化系统自动完成图形搜索,利用图形元素特征参数和相关的约束建立并求解约束方程,实现图形参数化.该方法操作简单,已用于参数化草图系统中,在VC开发环境中实现.     

一种基于几何推理约束求解参数化设计方法

提出了一种基于几何推理，约束求解的参数化设计方法，它综合了代数法与人工智能方法，通过确定几何约束与拓扑约束生成约束模型，以普通算法实现推理过程避免了求解繁琐的约束方程，解决了图形的参数化问题２。     

单个物体三维图形显示与消隐的一种PASCAL实现

通过对三维图形显示及消隐算法的研究，用Ｔｕｒｂｏ Ｐａｓｃａｌ语言实现了单个物体从图形数据输入直至三维图形显示及消隐。文中介绍了图形的几何元素表表示和物体表面平面方程表示。利用扫描边表显示图形，按照Ｒｏｂｅｒｔｓ算法关于单个物体消隐的思想，将物体交换到三维屏坐标系中实施消隐。同时还给出了主程序和分程序的结构框图及简要程序，给出了一个锥台作为实例，对锥台给出的数据描述，选择不同的观察点，得到了不同的     

二维参数化图形技术研究进展

近几年来，参数化图形技术得到了不断的发展，目前已有多种参数化图形方法及系统。这些参数化图形方法可分为３种，即变分几何法，几何推理法和过程法，主要介绍这３种方法的研究进展。     

基于约束的图形参数化建库技术研究

棋于约束的图形参数化方法以图形的尺寸链及几何拓扑关系为基础，通过参数驱动与约束驱动来更改图形的实体数据库，从而达到参数化目的。该方法不仅适于单视图变参，同时也能实现模型实体的多视图联动变参。     

现代图形创意中设计思维的表现

现代图形是人类思维具有共识性的传播形式，它的基本特点是求新、求奇、求异、真实、有思想、重逻辑。本文通过对优秀设计作品的分析，揭示设计思维为体现这一基本特点在现代图形创意中的重要作用。     

可拓推理的Petri网表示

将可拓理论的知识表达与Petri网相结合得到可拓展Petri网EPN(Extension Petri Nets)．EPN不但可以进行传统的逻辑推理以及模糊推理表示,还可以进行可拓推理表示,增强了Petri网对系统可扩展性的描述能力,同时也为可拓推理提供了有效的图形化表示方式,并行推理和数学验证分析方法．     

支持空间推理的模糊描述逻辑Fuzzy-ALCRP(D)

描述逻辑ALCRP(D)在经典描述逻辑ALC的基础上添加具体域和角色构成谓词算子,用于确定性空间的推理,但不能用于模糊空间的推理.通过以描述逻辑ALCRP(D)的模糊扩展为例,构建出模糊描述逻辑Fuzzy-ALCRP (D),给出Fuzzy-ALCRP (D)的Tableau判定算法,并给出一个Fuzzy-ALCRP (D)在模糊RCC8空间中的推理实例.     

具有作用规则选择功能的模糊控制器硬件实现方法

基于很多条模糊控制规则的模糊逻辑推理软件化实现方法有时难以满足快时变过程控制的要求,而基于部分规则的模糊推理硬件化实现方法则具有非常高的推理速度.提出了一种基于作用模糊子集推理的数/模混合推理结构,讨论了其实现原理,并用HSPICE完成了电路的仿真试验.结果表明,当规则数增加时,具有此结构的模糊控制器的器件数目增加很少,大大节省芯片面积,而且具有纳秒级的推理速度.     

基于Muti-Agent的复杂产品多学科协同概念设计实现

复杂产品的概念设计是多学科领域相互协作、推理和高度迭代的过程,是一个典型的不良定义求解问题。为了支持其计算机辅助设计,首先建立了复杂产品的多学科协同概念设计模型,定义了加合式、耦合式和突变式三类横向协同类型,分析了纵向往复映射路径;其次构建了基于Muti-Agent的复杂产品多学科协同概念设计环境,研究了学科Agent的组成以及多学科Agent协同求解与推理的实现机制;最后以某型针式打印机的概念设计过程为例说明了应用过程。     

流量控制模糊控制器的设计过程和方法

本文以流量控制为对象,阐述了设计模糊控制器的模糊化过程、模糊控制规则的建立、模糊逻辑的推理及精确化计算,从而确定流量控制阀门的确切开启度。     

语义Web中本体推理研究

语义Web作为新一代Web正备受关注,本体作为语义Web的基石,在知识表示与知识推理方面发挥着重要作用。介绍了本体语言、描述逻辑以及二者之间的关系。对描述逻辑的语义推理机制以及推理机进行了分析。并以具体的本体构建为例,对构建过程中的推理判定进行了验证。     

基于Rete算法的几何自动推理系统

智能几何教学软件都使用基于前推法的几何推理系统作为推理引擎。推理引擎的主要工作是做推理规则和几何信息的匹配计算。推理过程中产生的大量冗余匹配严重地影响了推理效率。为了提高推理引擎的推理效率, 作者首次将Rete模式匹配算法整合到推理引擎中, 构造了一种高效的几何自动推理引擎, 称为几何自动推理网。几何自动推理网通过消除推理过程中的冗余匹配达到了提高系统推理效率的目的。使用Lisp语言编写了几何自动推理网程序iGeo, 并做了50多个非平凡几何定理的推理实验, 实验结果表明iGeo具有更高的推理效率。     

基于尺寸图形网络的三维重建技术研究

为实现把表达二维信息的工程图重建成三维形体 ,本文试图通过对工程图上标注尺寸的理解 ,结合几何拓扑信息 ,建立包含尺寸信息和几何信息的尺寸图形网络 ,以此为基础 ,用特征识别的方法 ,生成三维实体基元 ,从而建立三维实体     

基于三维重建模型的离线参数化

提出了基于三维重建模型的离线参数化方法 ,即在三维模型和二维投影图素共存的条件下 ,通过建立基元和二维投影图素、尺寸与二维投影图素、基元与基元之间的约束关系 ,完成基于三维重建的参数化模型的建立 ,从而实现尺寸驱动相应的图形的离线参数化设计     

面向对象的三维数据模型及其存取实现——以三维城市房屋重建为例

由于GIS (地理信息系统 )软件尚无统一、完备的数据模型 ,作者对GIS的数据进行了建模 ,以三维城市房屋可视化模型为例 ,以面向对象的思想构造了三维矢量的数据结构 ,并提出了一种以关系数据库为核心、引入面向对象机制的数据组织方法 ,以此管理图形数据和属性数据 .