计算机辅助设计中的产品信息建模

本文提出了机械产品的设计过程中各种设计信息的模型化方法，着重讨论了产品概念设计中的机构运动模型，机构结构模型和装配简图模型之间设计信息的传递和迭代，装配图和零件图之间存在的双向联系：通过零件的装配定位求解和图形轮廓搜索，图形裁剪运算可以实现从零件图到装配图的信息转换；通过产品设计信息的继承可以实现装配图中零件图的自动拆卸。     

产品设计造型系统—PLAGE

PLAGE是32位微型计算机上运行的,用以进行平面构形及三维实体造型,生成产品的两维及三维零件图和装配图的系统。文中介绍了两维图形生成及三维几何造型系统的结构,在两维中介绍了三种两维图形的生成方法——图形描述、几何作图、几何图形的集合运算;两维图形编辑系统及尺寸字符标注方法。在三维中介绍了用长方体、圆柱、圆锥、球、环、一般扫描体、变形扫描体经几何变换及集合运算的实体造型、凸包树差分割算法;变形扫描的特点;自由曲面与函数曲面求交等。     

装配图的图形生成及消隐处理

针对二级行星减速器装配图研制了二维图形比较理想的图形生成和消隐系统。该系统通用简单，占用内存少，数据描述简洁、存取方便、消隐处理算法可靠、速度快。     

基于深度测试的二维图形消隐技术

提出一种借用ＡｕｔｏＣＡＤ的三维功能解决二维图形消隐问题的方法,并对其中的几个关键技术问题进行了详细的讨论,解决了任意复杂装配图的生成问题。该方法通过直接调用ＡｕｔｏＣＡＤ内部命令ｂｏｕｎｄａｒｙ和ｓｕｂｔｒａｃｔ完成平面图形内外轮廓的搜索,然后将互相覆盖的图形设为不同的深度值直接调用Ｈｉｄｅ命令对二维图形进行覆盖消隐,实例运行表明该方法效率高,性能稳定。     

参数化绘图中的消隐技术

以Auto CAD AxtiveX自动化技术为图形生成手段,通过对二维图形几何特征的定义与分析实现二维图形的消隐技术,以解决在参数化绘制装配图中遇到的一个几何图形被另外一个或几何图形覆盖时的消隐问题。     

AutoCAD图形直接用于CNC机床的加工程序编制

介绍怎样从Auto CAD图形直接获取零件图信息,再加必要的加工参数,产生CNC机床零件加工程序的方法,并阐述了有关数据结构和微机与CNC机床通讯的有关内容。     

AutoCAD中二维图形消隐的一种新方法

论述了在AutoCAD下实现二维图形消隐的方法,提出基于Wipeout命令实现二维图形消隐的方法, 分析了使用Wipeout命令消隐存在的问题。通过对圆弧的离散化处理、定义匿名图块等方法,解决了应用Wipeout 命令对二维图形进行消隐的问题。采用AutoLISP语言编写了二维图形消隐命令,为应用AutoCAD绘制装配图提 供了一种新的作图方法。     

交互式几何图形造型

本文描述了由两个任意直线图形通过并、交、差运算从而构成新的几何图形的方法。参加运算的几何图形可以是一环或几环组成的任意多边形。 图形运算的特点是第一图的一个环与第二图的几个环同时进行运算,对每个求出的有用交点赋于特征码并与其他交点、顶点一起构成表示其拓扑关系的链,再根据并、交、差的不同情况形成新的图形。 由于本法采用链表数据结构,几个环同时进行运算,而且采用先判别后求交的方法,减少许多有关无用交点和重复交点的计算量,因此程序比较紧凑(仅一百五十条左右PORTRAN语句),运算速度也较快。     

二维图形内侧边界自动识别的研究

在外侧边界识别算法的基础上，给出了内侧边界的识别算法，由于它所针对的图形是原始图形，没有增加任何辅助属性标志，故从根本上解决了二维图形内侧边界的计算机自动识别问题。     

基于微机的机器人CAD系统的设计

本文介绍了一个基于微机的交互式机器人CAD系统(ROBOT CAD)的设计过程,主要介绍了CAD系统中运动学、动力学和轨迹规划的建模与算法,并给出了算法实现的程序框图。另外还介绍了ROBOT CAD系统的软件结构、数据结构和图形显示技术。ROBOT CAD系统用FORTRAN—77和BASIC语言编写,在IBM—PC/XT微机上实现,可用于机器人运动学、动力学和轨迹规划仿真分析并有二维图形显示功能。     

动态仿真装配的计算机实现

本文提出一种任意复杂图形的外环搜索算法．由此创造了一种方便地设计、绘制装配图的有效方法──计算机动态仿真装配及拆卸．以上在ＳＵＮ工作站上得到实现．     

Boolean operations of STL models based on edge-facet intersection

For the data processing of the Rapid Prototyping Manufacturing, Boolean operation can offer a versatile tool for editing or modifying the STL model, adding the artificial construction, and creating the complex assistant support structure to meet the special technical requests. The topological structure of STL models was built firstly in order to obtain the neighborhood relationship among the triangular facets. The intersection test between every edge of one solid and every facet of another solid was taken to get the intersection points. According to the matching relationship of the triangle index recorded in the data structure of the intersection points, the intersection segments array and the intersection loop were traced out. Each intersected triangle was subdivided by the Constrained Delaunay Triangulations. The intersected surfaces were divided into several surface patches along the intersection loops. The inclusion prediction between the surface patch and the other solid was taken by testing whether the candidate point was inside or outside the solid region of the slice. Detecting the loops for determination of the valid intersection lines greatly increases the efficiency and the reliability of the process.     

逻辑表达式图的实现及其在集成电路故障 可测性中的应用

数字电路的可靠性有着至关重要的影响,测试是其重要保证,测试向量的自动生成(ATPG)在数字电路的测试中占有重要地位;逻辑表达式图(Boolean Expression Diagrams,BED)是用于逻辑函数与逻辑电路表达与运算一种数据结构,能够将逻辑电路在线性空间复杂度内表达,是二元判决图(Binary Decision Diagrams, BDD)在概念上的推广且保留着BDD的许多有用的性质。讨论了BED的性质与实现方法,并将BED用于逻辑电路呆滞型故障测试向量的自动生成中,基于BED的测试算法直接将原电路与故障电路做异或运算后用BED表达再化简或判断其可满足性,算法能充分使用逻辑代数的化简规则和利用电路与故障电路的相似性。实验结果表明,基于BED的测试方法具有较低的复杂度。     

基于Pro/TOOLKIT的射流泵三维造型的二次开发

基于Pro/TOOLKIT,利用MFC编程方法,开发了射流泵三维造型的可视化软件.通过Pro/TOOLKIT函数对Pro/ENGINEER三维模型特征参数的调用和修改,只需选择结构类型和修改事先定义的变量即可以快速生成不同结构类型、不同尺寸射流泵的三维及二维零件图、三维及二维装配图,大大提高了射流泵的设计效率.     

镜像分解技术实现CFD程序自相关循环并行化的研究

针对CFD(Computational Fluid Dynamics)序中常见的自相关循环结构，分析了波前并行技术不能对其进行并行化的原因，针对其相关实质j提出了自相关循环的镜像分解技术，通过消除跨迭代的反相关，实现自相关循环结构的波前并行，完成自相关循环的并行化。     

基于工程图的参数化三维重建技术研究

提出了一种基于工程图的参数化三维实体的构造方法.针对DXF格式的工程图文件完成了几何数据的读取、视图的划分和数据的重组;以基本体素为单位,对工程图实现对应图元的匹配和参数的提取;根据基本体素的虚、实性,采用一种基于三角面片的集合运算来构造完整的实体.在VC 和OpenGL环境下实现了三维重建系统的开发,证明了该方法的有效性.     

用有限差分法分析多项式程序终止

针对多项式程序的终止性问题,提出了一种使用有限差分法判定其终止性的算法。以有限差分法的基本思想为基础,发现了程序循环条件表达式的值与其有限差分值之间的关系,并对其进行了严格证明,由此得到判定这类循环程序终止性的方法。最后,还进一步分析了使用有限差分法判定具有更复杂条件表达式和有多分支的循环程序的终止性。     

数据库平台下的图形显示和图形处理

本文以数控刀具管理系统中的一个应用为例 ,提出了数据库平台和CAD平台下的数据交换 ,在Foxpro下显示AutCAD图形 ;AutoCAD中使用Foxpro数据库的数据绘制图形 ,并实现由独立模块图生成组装图形。     

基于高效布尔运算的三维矢量缓冲区算法

提出了一种求解三维矢量缓冲区的算法,该算法以布尔运算为基础.算法通过对布尔运算进行深入研究的基础上,描述了布尔运算算法,分析了算法复杂度,提出了一种提高布尔运算稳定性的新方法.该稳定性方法采用了拓扑关系完整性、逻辑判断统一性和运算容差统一性这3个规则来避免运算中出现不一致的情况;根据缓冲区半径及几何元素点、边、面的拓扑关系,把基本几何元素生成基本体:空间点生成球体、空间边生成圆柱体、空间面生成拉伸体;把所有基本体进行布尔运算生成三维缓冲区.结果表明:提出的算法是可行的,能有效的求解空间对象的三维矢量缓冲区.