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

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

OPRA方向关系网络的时空推理

由于目前的有向点方向代数(OPRA)推理只关注3个空间对象的静态关系推理,本文针对n个对象的方向关系定义了OPRA方向关系网络的时空推理问题。基于约束传播和概念领域理论,利用OPRA关系之间的空间约束和时间演变规律,给出了OPRA方向关系网络时空推理算法,解决了n个对象间动态OPRA关系的推理问题。本文算法可以应用于机器人导航、无人机导航、舰艇导航、战场分析等领域。     

基于特征的零件间几何匹配关系的确定

为了提高装配分析的自动化水平，在对零件特征组成面，约束面描述的基础上，通过对零件配合约束面元素的几何关系分析，建立了几何匹配关系推理规则，研究了基于结构相似性关系的推理系统，为并行环境下产品装配信息分析提供了一种新方法。     

基于本体的轴类零件变型设计方法

为解决传统轴类零件变型设计知识在异构系统中难以共享和重用的问题,提出一种基于本体的轴类零件变型设计方法。利用网络本体语言OWL定义轴类零件变型设计的概念与关系,建立变型设计本体。采用语义网络规则语言SWRL定义变型设计的约束知识,构建轴类零件变型设计知识库,实现了尺寸信息与公差信息的推理。本设计方法为进一步开发基于本体的变型设计系统,实现变型设计知识在异构系统之间的顺畅传递与共享奠定了基础。     

基于传动可供性评价的机械系统方案设计方法

针对基于功能的设计方法无法将非功能性作用融入机械系统方案设计阶段的问题,提出传动可供性评价的机械系统方案设计方法. 给出传动可供性定义;构建设计需求、传动类型、传动元件、传动可供性的关联关系模型;以设计需求为统一颜色、传动类型为个人颜色、传动件为元素、传动可供性为约束、传动可供性性质为约束统一颜色,建立机械传动系统多色模型. 通过设计需求与传动类型、传动类型与传动件围道推理及合取规则,获得传动类型组合方案粗糙集. 考虑机械传动件约束统一颜色评估为设计准则,以功能可供性信息量最小、非功能可供性理想度最大为综合评价目标,建立传动元件配置优化多目标0-1线性规划模型. 借助跳跃路径二进制位置更新机制和多样性测度维护的布谷鸟算法求解最优传动系统配置方案. 以实例验证该方法的有效性.     

基于模型推理的产品快速设计系统研究与开发

针对适应性设计和变型设计的基本特点,结合所开发的一些产品的快速设计系统,对系统开发策略、设计知识表达模式、推理求解结构模型、产品建模技术等进行了研究,提出了以基于模型推理为基础,综合运用规则推理和现代CAD技术提供的多种技术手段来快速完成产品设计的策略。     

基于人工智能的零件配合设计方法研究

机械零件配合设计是机械设计与制造中的一项重要内容，根据专家系统的原理提出一种运用规则推理解决零件配合设计的方法，实现了知识表示与基于精确推理机制的规则推理。     

PIC模型下大规模定制的汽车产品配置方法

针对大规模定制下汽车产品配置方法不能很好地表达三维信息和约束信息的问题,提出了一种基于实例推理的PIC模型来进行产品的知识表示,并运用交互式遗传算法（interactivegeneticalgorithms,IGA）来进行产品配置的求解,使客户能够参与到产品的定制设计中。分析了基于PIC模型的产品配置工作原理,给出了PIC模型的定义和形式化表达,并开发了基于PIC模型的汽车操控台定制设计系统来进行验证,结果显示该方法具有较好的应用前景。     

基于人工智能的零件配合设计方法研究

机械零件配合设计是机械设计与制造中的一项重要内容,根椐专家系统的原理提出一种运用规则推理解决零件配合设计的方法,实现了知识表示与基于精确推理机制的规则推理。     

基于消息传播的Bayesian推理算法研究

利用网络结构特性和条件独立性之间的关系设计推理有效方法,是Bayesian网络推理的主要研究内容.各种推理算法的区别主要在于计算速度.在深入讨论已有算法的基础上,设计并实现了基于消息传播的Bayesian推理算法,有效地降低了推理过程中运算的时空复杂度.     

铝合金电阻点焊焊接参数选择的智能化

通过深入分析点焊工艺过程,结合基于事例推理的特点,将铝合金点焊工艺事例属性划分为事例特征Ⅰ和事例特征Ⅱ两类。设计了铝合金相似点焊工艺事例的检索策略:在事例特征Ⅰ的约束下,以事例特征Ⅱ中包含的材质的热物理性质和板厚作为检索相似事例的依据。用模糊推理方法对检索到的相似事例库中的工艺知识、规则进行提取、总结,进而指导对新的点焊工艺事例的求解,较好地解决了铝合金点焊工艺设计中,基于事例推理时难以建立合适的模型对检索到的相似事例进行修正的难题,使点焊焊接参数的智能求解过程更符合专家的思维,过程更加灵活,具有开放性。系统应用实例及工艺实验证明此方法是可行的。     

基于CBR的工程项目标书综合评价决策支持系统

根据工程项目标书评价决策领域的特点,应用基于事例推理(CBR)的技术,研究并设计了基于事例推理的工程项目标书综合评价决策支持系统。     

一种用ANN实现带权不确定性推理的方法

介绍了基于可信度的带权不确定性推理.阐述了用神经网络(ANN)如何实现基于可信度的带权不确定性推理.分析了这种神经网络的知识表示、结构及其不确定性推理方法.说明了如何利用这种神经网络并行地实现多规则的基于可信度的带权不确定性推理,以及如何解决冲突消解问题.采用这种神经网络结构的系统不仅能实现基于可信度的带权不确定性推理,而且具有自学习、并行推理、冲突消解、抗缺省等能力.采用的神经网络结构突破了传统神经网络结构的设计思想,对于扩展神经网络的应用具有参考价值.     

基于ALC的空间语义知识库

基于经典描述逻辑ALC,提出了空间语义知识的表示方法和可判定的推理算法。将空间关系表达为一类特殊的概念,空间关系的基本运算采用公理系统表达,空间约束满足问题求解和逻辑术语推理可以在同一个推理机下进行。首次实现了空间关系和语义知识相结合并且可判定的推理,同时支持多元空间关系结合推理。此前的同类方法都是不可判定的。理论分析、应用实例和相关工作对比均显示该方法解决了空间语义知识库的关键问题,具有一定的理论意义和应用价值。     

工程分析专家系统的问题求解黑板模型

问题求解模型是组织推理步骤和领域知识进行问题求解的一种模式，木文主要讨论了基于黑板模型的工程分析专家系统的设计方法，包括专家策略知识的多层次表示．深度优先搜索及推理网格的实现，协同式多专家系统的多级推理网络模型的构造，解释机构与人机接口设计以及推理算法．     

基于路径排序算法的STEP知识推理技术研究

设计语义的形式化表达和推理是产品设计语义交换的关键。针对产品信息交换中设计语义知识挖掘需求,以STEP AP242为基础,构建产品三维几何信息与非几何信息语义关联的STEP知识图谱。在知识图谱的基础上,提出了基于路径排序算法的STEP特征知识推理技术。同时,结合基于三维产品信息可视的知识图谱平台实例进行论证。实现复合产品特征的推理以及STEP设计语义知识提取和交换。实证结果表明:所提方法能有效推理出产品信息中设计语义信息。     

基于超媒体的智能教学系统的设计与开发

目的 设计和开发基于超载媒体的智能教学系统。方法 在分析我国教学模式的基础上,以《线性代数》为例,建立教学模型,利用超媒体进行知识表示和推理。结果 基于超媒体的智能教学系统成功地实现了设计的教学功能。结论 本系统解决了基于超媒体的知识表示和推理机制问题,具有普遍的实用意义。     

基于超媒体的智能教学系统的设计与开发

目的　设计和开发基于超媒体的智能教学系统 .方法　在分析我国教学模式的基础上 ,以《线性代数》为例 ,建立教学模型 ,利用超媒体进行知识表示和推理 .结果　基于超媒体的智能教学系统成功地实现了设计的教学功能 .结论　本系统解决了基于超媒体的知识表示和推理机制问题 ,具有普遍的实用意义     

曲线参数化技术研究与分析

对基于曲线的参数化技术作了研究与分析。提出了实现曲线参数化的六个基本要素，即曲线的分类；曲线尺寸的提取研究；曲线基本约束关系的归纳以及约束的语言文法表示；曲线、曲面的几何拓扑网状结构表示；约束的求解与几何推理；约束关系的满足方法。对其中的曲线尺寸作了探讨，并重点研究了曲线的约束关系满足方法。最后作了实例分析。     

基于FFSI的数/模混合推理结构设计原理

基于全部模糊控制规则的模糊逻辑推理软件化实现方法有时难以满足快时变过程控制的要求。而基于部分规则的模糊推理硬件化实现方法则具有非常高的推理速度,从而提出了一种基于作用模糊子集推理的数／模混合推理结构,讨论了其实现原理,设计了电路原理图．该结构对于多输入系统及拥有大量规则的系统,不仅不减缓推理速度,而且可以节省芯片面积．