几何约束系统推理研究

融约束网络、自由度分析及图理论为一体，提出了一套关于几何约束满足问题的最大归约算法体系，最大归约理论首次揭示了几何约束系统内在的串、并、耦合机制，为几何约束推理提供了新的方法。     

一种欠约束几何系统求解的图优化方法

针对一般几何约束系统欠约束状态下约束分解的多态性,对相应的有向图强连通子图提出了进一步分解的二部图匹配自适应优化处理策略,给出了主要算法,实现了欠约束系统的优化分解,有利于一般几何约束系统快速求解．     

一种欠约束几何系统求解的图优化方法

针对一般几何约束系统欠约束状态下约束分解的多态性,对相应的有向图强连通子图提出了进一步分解的二部图匹配自适应优化处理策略,给出了主要算法,实现了欠约束系统的优化分解,有利于一般几何约束系统快速求解。     

基于实例推理的参数化CAPP关键技术研究

变型设计、参数化设计技术作为目前CAD应用技术的最重要的技术之一日趋成熟,但是与此对应的产品有限元分析,变型产品工艺设计等方面的研究显得不足,本文通过分析变型产品信息模型和属性,寻找设计模型与生产模型之间的关联,在产品设计模型和产品工艺流程设计之间建立一种映射关系,通过设计尺寸直接驱动生产实例模型生成工艺流程,使参数化设计技术向工艺设计方向延伸扩展。     

一种几何约束系统分解算法

为提高变量化设计效率和数值稳定性 ,提出了一种结合剪枝操作和归约操作的几何约束系统分解算法 :剪枝 -归约算法。该算法能够处理完备约束、过约束以及欠约束情况下几何约束系统的分解问题。同时讨论了在欠约束条件下如何获得符合设计意图的分解方案的问题     

基于面向对象的参数化设计模型及其实现

介绍一个基于面向对象的参数化设计模型及其具体实现。     

基于模型的三维几何约束网络求解研究

以图论为基础，建立了基于模型的三维几何约束网络模型，给出了此模型的求解算法。对数值求解作了研究，提出了三维几何约束解的手针维护。     

基于约束的多视图参数化设计算法

介绍了基于约束的零件形位信息描述方法;提出了基于约束的ＣＡＤ数据模型,阐述了基于约束的多视图参数化设计的概念;详细介绍了参数化设计算法的原理及实现过程;对所提出的参数化设计算法进行了评价．     

一种新的参数化设计方法

本文引入可用约束、特定元素，双向约束等概念，通过建立网状数据结构表达几何元素，几何约束求解方法－基于推理的代数法。该方法把代数法和几何推理有机地结合在一起，其推理过程采用普通算法而洋是人工智能的方法，方程组的求解转化为几何元素的相切和相交等运算。     

基于约束的多视图参数化设计算法

介绍了基于约束的零件形位信息描述方法，提出了基于约束的ＣＡＤ数据模型，阐述了基于约束的多视图参数化设计的概念，详细介绍了参数化计算法的原理及实现过程，对所提出的参数化设计算法进行了评价。     

开采设计CAD中的参数化设计

讨论了参数化二维图形的组成及其关联关系 ,研究了图形结构约束模型和尺寸约束模型的建立方法和驱动求解等关键技术 ,为开采设计 CAD中系列化产品设计提供了一种有效手段。     

基于满意度原理的多学科协同优化

由于多学科设计优化涉及众多复杂因素，各个学科需要满足的约束是不同的，而系统级通常采用一致性约束来保证学科级共享、耦合变量及目标值的一致,在很多情况下共享、耦合变量及目标值满足了约束，但是各个学科获得的并不是本学科的最优解．本文采用满意度原理设计协同优化的系统级目标函数，综合考虑了学科级优化解的满意度和共享、耦合变量及目标值对于一致性约束的满意度，以增强协同优化的综合处理能力．齿轮变速箱优化实例表明该方法是可行有效的．     

对象行为约束的描述和推理

对象作为面向对象方法的核心概念，具有静态结构和动态行为两方面的特征．本文基于时序的观点，利用时序逻辑系统形式化地描述对象的行为，进而可以通过逻辑演算对对象的行为进行推理．     

数据质量约束规则的本体描述及推理研究

针对数据质量中约束规则描述的语义复杂性、 快速提取等问题, 引入本体技术描述数据质量约束规则等 要素的语义关系, 提出了元本体的思想, 对数据质量领域的核心词汇进行了提练, 并依据相关标准, 构建了与 领域无关的数据质量元本体模型。 在应用中, 特定领域可根据需求将该元本体模型实例化为用于描述本领域 的数据质量本体, 不仅解决了数据质量领域词汇共享与明确描述问题, 而且使数据质量复杂约束规则语义描述 得以解决。 同时, 以石油领域数据为例, 依据提出的质量本体元模型实例化出石油领域的质量本体模型, 定义 了各种推理规则, 并基于 Jena 推理机验证了构建的数据质量本体的合理性, 极大地提高了数据质量评估中约 束规则提取的效率。     

基于MATLAB齿轮滚刀参数化设计的CAD系统开发

针对齿轮滚刀结构复杂、设计计算繁琐,且能满足快速响应被加工齿轮"量身定做"的要求.本文基于MATLAB软件,开发齿轮滚刀参数化设计CAD系统,提高滚刀设计效率,缩短设计周期,提升设计可靠度,从而为滚刀设计制造的快速响应开辟可行的途径.     

基于权图搜索的约束求解

介绍一种基于加权约束图搜索的二维几何约束的求解方法或称之为求解过程 ,并对一些相关的概念进行阐述 .该几何约束的求解是在几何实体自由度衰减的基础上进行的 .求解过程中 ,在图的基础上提出循环约束的查找算法 ,并通过实例描述二维几何约束的求解过程     

基于Pro/E的齿轮参数化设计系统的研究与开发

利用Pro/Engineer参数化设计的强大功能及其二次开发模块Pro/Toolkit,以Visual C 为开发平台,阐述了开发图形界面友好的用户对话框和应用程序,通过改变输入设计参数即可实现齿轮参数化设计的过程.操作简单方便,提高了齿轮造型精确性和设计工作的效率.     

三维几何约束建模的研究与实现

以空间机构运动学为借鉴 ,采用对偶角和旋量对三维几何形体的空间位置进行描述 ,给出了基本几何约束关系的表达 ,并采用有向图来表达装配关系 ,进一步用面向对象方法实现了几何约束系统的设计和集成 .     

基于黑板结构的目标级推理——一种适用于机械设计专家系统的模式

本文介绍利用人工智能技术,并结合机械设计的特点构造了一种基于黑板结构的目标级推理模式.用黑板结构描述任务求解状态,每一个任务完成一定的功能,并根据当前黑板状态确定下一步应执行的任务.黑板结构的任务规划模式用框架来表示.框架结构中记录了该任务采用的控制策略,知识源和控制方向等信息,保证了控制推理的灵活性.本文还描述了基于黑板结构的目标级推理在装载机工作装置设计专家系统中的应用.