以OOEDB为核心的集成化CAD/CAPP/CAM 系统GS-ICCC的设计与实现

ＧＳ－ＩＣＣＣ是一个以自行研制开发的面向对象工程数据库管理系统ＯＳＣＡＲ为核心的集成化ＣＡＤ／ＣＡＰＰ／ＣＡＭ系统，它的主要特点是按照ＳＴＥＰ标准在全局产品数据模型基础上实现ＣＡＤ，ＣＡＰＰ，ＣＡＭ的信息集成，本文围绕着这一原则介绍了ＧＳ－ＩＣＣＣ的系统总体结构，ＯＳＣＡＲ功能组织，全局产品数据建模框架以系统集成的设计与实现。     

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

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

博弈树函数及其计算优化

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

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

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

基于客户/服务器结构的分布式问题求解系统

基于客户／服务器结构的分布式问题求解系统鲁东明何志均（浙江大学人工智能研究所杭州３１００２７）关键词智能问题求解,分布式系统,客户服务器模型,集成化知识推理．１）国家自然科学基金资助项目．收稿日期１９９４－０７－２２１引言客户／服务器技术使问题求解的...     

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

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

基于规则的联想网络

本文提出一种用于人工智能专家系统的知识表达方式--基于规则的联想网络(ANBR),ANBR把智能系统获取的知识表达分为内外两种形式.外部形式是基于规则的知识结构,用于知识的获取和知识库管理;内部形式是分块联想网络,用于驱动推理控制.由于把产生式规则的可理解性和模块性与网络的知识索引和联想推理功能结合于同一系统,使ANBR成为专家系统知识表达的有效方式.     

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

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

利用点面提取的任意多面体快速靠接

文章主要讨论沿直线运动的多面体靠接问题.根据多面体的几何特性，通过一系列的筛选和变换将多面体的靠接问题转化成为计算少量点与平面多边形的距离问题，从而大大地提高了任意空间多面体靠接的计算速度.该算法可广泛地用于以多面体为数学模型的计算机图形学、机器人、多媒体和CAD/CAM等众多领域的系统中.     

信息系统中的客户机/服务器计算策略

文章介绍了Ｃｌｉｅｎｔ／Ｓｅｒｖｅｒ计算的概念及其在信息系统中的应用，并针对现有Ｃ／Ｓ结构的不足，结合一个银行系统的实践，从应用风格，计算模型等方面探讨了新一代Ｃ／Ｓ计算的基本思想与策略。