一个并发约束程序设计语言的定义与实现

设计实现了并发约束程序设计语言COPS.该语言结合约束对象、不确定性计算及约束储仓技术,采用基于并发约束模型的推理控制和基于优先度的规则选择策略,将说明性的知识表示、系统化和启发式的推理搜索能力以及合理的确定性计算开销统一起来.系统在电路建模、专家决策等领域的初步应用表明了该语言对构造基于约束的知识系统的适用性.COPS的出现为复杂智能问题的解决提供了可能性.     

协同救援一致性推理模型及求解算法

针对传统的一致性推理模型多测重于单纯的定量、定性时态推理,难以适用于协同救援方案求取问题,基于Allen区间代数理论,添加逻辑约束,提出了一种协同救授一致性推理模型,该模型型同时包含救援行为时态约束和逻辑约束两类信息。基于该模型的等价类子网化简设计协同方案求解算法,并以海上协同教授一致性方案推理为例演示建模与求解过程。结果表明,该模型符合协同一致性方案求解对时态、逻辑两方面推理的需求,可应用于协同救援规划验证。     

二维参数化CAD中的过约束及欠约束检查策略与实现

参数化ＣＡＤ技术是当今ＣＡＤ领域的研究热点之一,其关键任务就是如何处理几何实体间的几何约束,约束冗余性检查是其主要工作内容之一。采用基于约束驱动的几何推理和自由度计算方法,设计了约束检查策略与算法,解决了过约束与欠约束检查问题。     

一种新的参数化设计方法

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

一种动态约束优化调度的软件模型

基于静态约束调度及其组件结构,建立了一种动态约束优化调度的软件模型结构,可以适应于调度环境的动态变化。从软件模型上分析,动态约束优化调度的组件包括动态解析器、动态分配器和推理引擎。动态解析器规范了变元和约束条件,动态分配器解决了约束条件的重新分配和冲突,推理引擎实现了快速搜索。实验表明该模型可以满足实际动态逻辑约束问题的求解,并且把传统优化调度的封闭形式扩展为开放状态。     

基于模型推理的智能注塑模设计系统

基于模型推理 (MBR)是构建知识系统推理机制的一种方法 ,将该技术集成于通用 CAD设计软件 ,使设计软件具有一定智能 ,提高设计效率 .简述了 MBR的特点 ,并将其与基于规则推理、基于实例推理进行了比较 ,阐述了 MBR技术在注塑模设计中的应用 ,在 Pro E设计平台上构建了 MBR的智能注塑模设计系统 .经工程实践 ,该系统可以有效地提高设计效率     

双层基于案例推理机制的设计

研究了双层基于案例推理机制的设计,讨论了基于案例推理的基本原理与方法,研究了基于案例修改的数学模型、修改原则、修改模型的构建、修改的匹配算法,介绍了基于案例推理和基于案例修改的学习与维护过程。     

机械产品方案设计的可拓本体相关网推理模型

针对复杂产品方案设计中的关联约束可拓推理问题,本研究提出了一种基于可拓本体相关网的复杂产品方案设计可拓推理模型。首先,建立了复杂产品方案设计可拓本体模型,并进行了可拓本体相关性分析;其次,通过领域知识获得产品方案设计方向,建立可拓本体特征的可拓关联函数,并基于信息模型建立可拓本体相关网;然后,给出了基于可拓本体相关网的方案设计可拓推理算法,通过进行设计方向多层级灰关联聚类分析和基于可拓本体相关网的关联度计算分析,进而获得满足设计需求的初始产品设计方案。最后,通过水轮机设计实例对文中的模型和算法进行了说明和验证分析,结果表明了模型和算法的有效性和可行性。     

基于贝叶斯推理的乘员约束系统参数识别

为了克服测量响应的不确定性给乘员约束系统参数识别带来的困难,利用马尔科夫链蒙特卡洛(Markov Chain Monte Carlo,MCMC)采样和近似模型构造技术,提出一种基于贝叶斯推理的乘员约束系统不确定性参数识别方法.该方法结合约束系统参数的先验分布和测量响应,通过马尔科夫链在未知参数联合概率密度空间进行抽样,从而获得了织带刚度缩放系数和质量流率缩放系数的后验边缘概率密度函数.识别结果表明,相比于传统确定性识别方法,基于贝叶斯推理的不确定性参数识别方法不仅能有效给出乘员约束系统参数的概率分布,而且能够保证参数寻优的全局收敛性.     

基于事例推理的冲压工艺辅助设计系统

将基于事例推理技术引入冲压工艺设计过程,提出了冲压工艺设计CBR系统框架,研究了适合冲压工艺设计的特征分类、事例表示、检索和修改方法,开发了一个基于事例推理的冲压工艺辅助设计系统并用实例验证。     

基于I-DEAS的三维参数化绘图及其在火炮身管设计中的应用

分析了程序驱动法参数化绘图和利用参数化绘图软件进行参数化绘图２种方法的优缺点,提出了通过将复杂零件分解为体素,用参数化绘图软件将体素定义为参数化零件,然后用参数化绘图程序调用体素,通过体素拼合将２种参数化绘图方法结合起来的方法。以火炮身管设计为例,介绍了通过在Ｉ－ＤＥＡＳ软件上进行二次开发实现这种方法的具体过程。该方法有效降低了单一程序驱动法参数化绘图的编程工作量,弥补了参数化绘图软件不能有效定义结构不规则零件的不足,为参数化绘图的研究提供了一条新的思路。     

基于线框构图技术的采矿CAD参数图元的构造

讨论了采矿CAD系统引入参数图元的原因和参数图元的构造原则,研究了采矿CAD系统中参数图元的构造及其描述方法.此外,根据参数图元的定义机制和参数图元库的组织,研究了参数图元规范化问题、相对坐标与绝对坐标的混合定义、有参图段和无参图段的定义、图段的连接、参数图元与数据模型的关系5个关键问题,提出了一个"可变长记录"参数图元库结构组织方案,并以半圆拱巷道为例给出了采矿CAD参数图元定义方法.该参数图元的构造方案在一个基于线框构图技术的采矿CAD软件开发中实现.本方法对提高采矿CAD系统的通用性和作图效率具有一定的理论意义和实用价值.     

C语言命令文件式参数绘图函数集

C语言被用来开发各种应用软件 ,参数绘图是开发起重机等专业机械CAD系统的关键技术 ,以命令文件作为接口来实现参数绘图具有简单、方便 ,与图形交换文件接口在形式上的一致性等优点 ,本文介绍了C语言参数绘图函数集的编制和使用方法     

VC++命令文件式参数绘图类库

VC++用来开发各种Windows下的应用软件,参数绘图是开发起重机等专用CAD软件的关键技术,以常用的AutoCAD系统的命令文件作为接口来实现参数绘图具有简单、方便等优点,本文详细介绍了VC++参数绘图类库的编制和使用方法。     

实现参数绘图的几种方式

参数绘图适用于开发某种专业机械ＣＡＤ系统。好的接口文件能提高参数绘图软件的独立性和适应性。命令文件和图形交换文件方式是实现参数绘图的两种较好的方案。     

行星齿轮传动参数化绘图的研究

行星齿轮传动零件数量多,结构复杂,图纸绘制比较繁琐.以双级NGW型行星齿轮传动为例,研究在AutoCAD中如何利用Visual Lisp语言进行参数化绘图程序设计,并给出了部分程序.当零件尺寸参数变化时,可得到一系列结构相同、尺寸不同的零件图,通过调用各零件绘图模块进行总装图的绘制,最终实现从零件图到总装图的参数化绘图.     

用ObjectARX开发标准件参数化绘图系统

介绍了在AutoCADR14下应用其面向对象的开发工具ObjectARX 2 0 ,采用可视化程序设计语言VisualC 5 0开发标准机械零件参数化图形库及绘图系统的技术方法 ,并以螺栓库为例 ,说明了利用标准件库进行参数化绘图的过程     

基于ObjectARX开发轴类零件的参数化绘图方法

基于ObjectARX二次开发工具的特性 ,通过对现有的参数化设计方法的分析 ,给出了轴类零件一种切实可行的参数化绘图设计方法。该方法设计界面友好 ,能简洁高效地实现交互式参数输入 ,由结构构建零件图形等功能。     

Research on an algorithm for solving parameter ranges in parametric drawing systems

To solve the problem that in parametric drawing systems,unreasonable parameter values in a parametric model often result in an improper shape of a geometric object,this paper proposes a novel algebraic algorithm for determining the valid range of parameter values in certain 2-dimensional parametric drawing systems.This algorithm can solve valid range of parameters such as radius and coordinate of centre points of parametric models with only linear segments and circles.The result of the study shows that all values within the valid range provided by this algorithm can ensure that the topological shape of a geometric object does not change after reconstruction,and to some extent,this algorithm can significantly promote the efficiency of parametric drawing system design and the intellectual level of human-computer interaction.The analysis shows that complexity of this algorithm is O( n2).     

基于特征的轴参数化绘图系统

研究了基于特征的轴零件参数化绘图系统。先对轴进行了分类、特征分析;然后在AutoCAD中设计了系统的专用菜单和图像块菜单;利用几何造型技术、面向对象技术和参数化设计技术等,以ObjectARX为开发工具,建立了一个界面友好的轴参数化绘图系统,实现了按选定的比例绘制轴的零件工作图,提高了轴的设计效率。