基于特征的三维参数化产品造型系统ZD－MCAD Ⅱ

本文介绍了浙江大学人工智能研究所在产品造型研究基础上完成的一个面向机械产品设计的实用化计算机辅助设计（ＣＡＤ）系统ＺＤ－ＭＣＡＤⅡ。首先我们结合实际从事ＣＡＤ系统的经验提出了一套开发实用化、商品化ＣＡＤ系统的设计方法学，然后介绍了ＺＤ－ＭＡＣＤⅡ的系统结构以及总体功能，并就某些重要的模块的结构及实现进行了广泛的讨论。     

一种基于Petri网的软件定义构造方法

本文描述一种支持ＭＨＳＣ方法论的软件需求定义构造的Ｐｅｔｒｉ网方法，基于提供的需求描述模型，可形成Ｐｅｔｒｉ网表达的软件定义结构，通过变换与求精方法，逐步生成实现层的功能模型，利用支持不同粒度功能模拟的仿真机制对定义进行证实与验证，论文提出一种新的定义框架，并为软件自动生成的研究从定义层的描述机制出发提供一种新思路。     

CAPSP——一个丝绸印花智能CAD/CAM系统

本文介绍了一个用于丝绸印花的智能CAD/CAM系统--CAPSP.CAPSP采用了基于 知识的处理技术,能非常有效地进行丝绸花样设计、人工画稿的分色处理以及输出满足丝绸印 花工艺的分色胶片.该系统已在国内若干丝绸印染厂成功地使用.     

博弈树函数及其计算优化

为了更好地认识博弈树搜索算法的导出背景,我们抽象提取了博弈问题求解的特征,发展了刻划问题的表达函数及其计算优化的一组定义和定理,以用于分析综合博弈问题的求解策略.它们帮助我们推导出了α-β,CSS料和S等新算法和改良算法. 我们在本文中介绍了这些定义,给出了定理的证明,并且列表显示了这些结果对导出博弈树搜索算法的影响和对算法性能的影响.     

一个面向产品变型设计过程的知识处理方法模型

变型设计是在产品工作原理、基本功能定义不变的情况下,通过对现有产品局部结构型式和尺寸的变异来满足不同工作性能需求的一类设计行为.与创造性设计和适应性设计比较,产品变型设计是一种相对刻板、固定同时应用又十分广泛的设计行为.本文在分析了产品变型设计的基本求解流程之后,提出了一个以基于实例的推理为核心,综合运用规则推理和约束满足方法的知识处理方法模型,并且,结合所开发的"细纱机模块化变型设计系统",从知识表达模式和推理过程两方面对其特点和应用作出了介绍.     

非正则精确模型的布尔操作

为了加强造型系统的表达能力,实现对线框模型、曲面模型和实体模型的统一表示和操作,该文采用非正则精确模型作为几何对象表示的数据结构,并给出了相应的布尔操作实现算法,在保证效率和精确性的同时确保鲁棒性是算法的目标.作为一个特征造型系统的几何核心,该算法已经在基于NT平台的特征造型系统GS-CAD98中实现.     

Snoop在GPRS网络中性能的提高

仿真测试显示Snoop协议在GPRS网络中性能低下,文章测试分析了Snoop在GPRS网络中的性能,修改了Snoop协议的重传触发条件和实现机制,显著提高了Snoop在GPRS网络中的性能。     

FCADE：基于知识的产品模型构造环境

在ＣＡＤ系统中，产品模型的构造是一个基本任务。本文首先给出了使用不精确知识库管理系统来记录和处理产品构造过程的新型环境ＦＣＡＤＥ。在ＦＣＡＤＥ中，产品模型的构造过程被考虑为使用模型操作实现的模型状态的变化过程，这一过程使用模型操作之间的相关性进行记录。然后详细讨论了在ＦＣＡＤＥ中用于支持模型构造活动的两个基本功能：取消（ｕｎｄｏ），模型维护（ＭＭ）。在本文的最后，给出了ＦＣＡＤＥ的应用示例和所得出的结论。     

信息系统:智能、分布、协同化

一、引言 随着人工智能(Al)、网络通讯和分布式处理技术的发展和应用需求的提高,信系统(15)将如M·P·Papazoglou所指出的那样,向智能、分布、协同化方向发展[1]     

ICCC上STEP part 203前后处理器的设计与实现

STEP(the STandard for the Exchange of Product model data)标准是一个服务于CAD/CAM领域的覆盖产品整个生命周期的形式化的产品数据交换标准,其应用协议的研究开发与实现具有广泛的应用价值.本文主要介绍了STEP标准应用协议配置控制设计STEP part 203的前后处理器的设计与实现,包括应用协议的EXPRESS描述编译、几何拓扑映射、面片合成、中性文件交换、在SUN SPARCworkstation上的处理器实现和零件输入输出测试等内容.