以网格曲线为连续条件的光滑曲面

本文提出一种以网格边界曲线定义曲面的方法。曲面的计算式唯一地由网格的四条边界线的参数而定，各网格间连接的光滑度完全由网格间的边界线的光滑度来决定。当网格间的边界线具有Ｃ~１连续以上的光滑度时，网络曲面间将自动保证是Ｃ~１连续的，否则将是Ｃ~０连续。利用这个方法，可以方便地从线框模型（ｗｉｒｅ－ｆｒａｍｅｍｏｄｅｌ）建立面模型（ｓｕｒｆａｃｅｍｏｄｅｌ）。     

应用NURBS曲面磨光多面体

本文应用ＮＵＲＢＳ曲面磨光多面体,产生了处处Ｃ′连续的过渡曲面．多面体的磨光分为边的磨光和顶点的磨光两种情形,边的磨光相对较容易,而顶点的磨光则很困难．本文所采用的应用ＮＵＲＢＳ曲面磨光多面体的顶点和边的方法,不仅可以统一实现二者的磨光操作,而且方法简单且统一,产生了Ｃ′连续的过渡面．较之以前的方法,首先,利用ＮＵＲＢＳ曲面可以精确地描述对边磨光所用的柱面（等半径或非等半径）,其次,在对顶点的磨光中,同以往的方法不同,将与该顶点相邻的边的过渡曲面相互分离,并首次引入了“补面”的概念,使得对该点所产生的过渡曲面处处Ｃ′连续．本算法首先构造用以磨光多面体顶点和边的ＮＵＲＢＳ曲面的边界曲线网络图产生边界曲线的控制点及其权值（ＮＵＲＢＳ表示）,然后依据连续性准则,产生ＮＵＲＢＳ曲面的控制信息．     

基于选择性冗余的测试数据自动生成算法

基于选择性冗余思想,提出了一种测试数据自动生成算法.算法首先利用分支函数线性逼近和极小化方法,找出程序中所有可行路径,同时对部分可行路径自动生成适合的初始测试数据集;当利用分支函数线性逼近和极小化方法无法得到正确的测试数据时,基于使得测试数据集最小的原理和选择性冗余思想,针对未被初始测试数据集覆盖的谓词和子路径进行测试数据的增补.由于新算法结合谓词切片和DUC表达式,可以从源端判断子路径是否可行,因此能有效地降低不可行路径对算法性能的影响.算法分析和实验结果表明,该算法有效地减少了测试数据数量,提高了测试性能.     

基于C/S模式的同步协同设计运行机制和策略

文章在深入分析国内外协同设计研究背景的基础上,提出了一种在传统单机版本CAD系统的基础上构造协同设计平台、实现多机网络版CAD系统的方法,描述了系统各个主要功能模块的具体实现方案。在实现方案中重点介绍了并发控制的实现机制,提出了不完全加锁和令牌加锁的新方法。     

一个交通规划场景漫游系统

文章所述的交通规划场景漫游系统可根据平面交通规划方案生成三维仿真规划场景,并允许用户实时地漫游其中以观察规划效果,从而简化了规划流程,提高了劳动效率。文中介绍了系统的总体结构、操作流程和核心数据结构,同时着重讨论了系统中的体影分离渲染、不完全场景空间分割、四叉树结构的场景管理模式等多项关键算法技术。     

CAD支撑系统构件—软总线模型

在分析开放系统的特点和CAD支撑系统的具体需求的基础上,提出了CAD支撑系统构件-软总线模型（CSB模型）,在该模型中,图形功能模块和应用程序都被封装成为彼此独立且便于复用的构件,由软件总线实现集成,解释型和编译型两种类型程序语言开发的应用构件在系统中共存,并可在运行态动态增加/删除;同时,由总线适配器、解释器和应用服务代理组成的应用服务界面代理了构件之间复杂的通信过程,完成异构数据向同构数据的转换,使构件更专注于功能实现,根据CSB模型实现的一个开放的CAD支撑系统OpenDesign∧TM已经成功实现了产品化,应用实践证明,基于CSB模型的CAD支撑系统效率较高,具备比较好的互操作性和伸缩性,系统开放程度增加。     

层次化单元装配模型

装配设计是产品设计的重要设计阶段,在分析装配设计和层次化单元任务模型的基础上,建立了支持装配设计的面向对象的层次化单元装配模型。装配单元的层次化结构表达了功能结构,通过功能映射可以建立功能到单元的对应关系。研究了基于层次化装配单元模型的装配设计,讨论了支持装配设计的开发的单元库分级管理策略。     

一种J2EE服务器端软件测试用例的复用框架研究

JZEE框架实现了多层次的应用程序体系结构,同时也提出了多层次应用程序测试的需要．如何在服务器端多种容器环境内的测试中实现测试用例的复用成为影响测试效率的关键因素．本文通过分析测试JDBC标准符合性的工具CTS,研究了实现服年器端多种容器环境测试用例复用的基表框架．该框架在增加简单的环境辅助类基础上,利用面向对象的继承机制和Java语言的反射机制,实现了多种容器内测试时测试用例复用．经过扩展测试用例,该工具已成功应用于国家863项目数据库标准符合性测试．     

混合式几何约束满足的研究

几何约束系统可以分为陈述式和构造式两类。为了使基于约束的设计更加符合使用要求,参数化CAD系统需要综合满足两类约束。文中研究了三维情况下和构造统一的约束满足策略,通过引入形状自由度的概念,将形状变化和集团变化统一处理。约束系统采用约束图来表示,各个子系统之间的层次结构利用约束层次树来表示。采用剪枝和凝聚相结合的策略实现了欠约束和完备约束系统的分解,使用解析法和数值法对约束进行求解。该策略已经在参数化CAD系统GEMS5．0的二维和三维上实现。