计算机定量问题自动求解系统

“定量问题求解系统”，是ＡＩ和专家系统领域内的一门新技术。其目的是建立集科学、工程技术中广为应用的量、公式、定量等定理知识为一体的知识存储、检索和问题求解的计算机系统。本文简述国外计算机定量问题自动求解系统研究工作。全文介绍了定量问题求解系统的研究对象和一般的理论方法，并着重讨论几个典型的应用系统；同时详细介绍了一个用面象对象方法的开发的系统ＱＰＳ，该系统英国的Ｔｈｅ Ｑｕｅｅｎ’ｓ Ｕｎｉｖｅｒ     

渗碳专家系统中的多专家求解问题的研究

本文研究了在渗碳专家系统中的问题求解策略，为了避免系统求解的主观性和片面性，提出了多黑板系统，例如问题黑板，辩论择优黑板，领域黑板和结论黑板作为问题的求解策略。使其非公认的渗碳领域问题通过专家进行辩论择优选出最佳解，为此提出建立基于多元组命题性知识的辩论理论框架，并体现不同策略的辩论算法，对此进行了计算机仿真，结果证明此方法是有效的。     

不精确推理实现的问题和求解

本文先揭示现有的不精确推理模型在实现方面所存在的共同问题,然后分析我们开发并在本文得到了进一步改进的“规则架 规则体”的知识表示模式对克服这些问题所能体现的独特优点。     

定量问题求解专家系统——ESQPS

定量问题求解系统，是人工智能和专家系统研究领域的一个重要课题。本文介绍了ＥＳＱＰＳ－一个应用面向对象（ＯＯ）技术开发，可用于科学和工程技术领域中求解基本物理问题的专家系统，简述了该系统的知识表达和问题求解方法的设计思想和实现技术。     

再设计问题的求解策略

本文详细研究了应用相关性制导回溯实现设计类专家系统再设计控制策略的理论和方法。研完了应用正确性维持系统记录导出事实的相关性论据、实现知识库的一致性检查和维护、利用相关性论据提供回溯点信息的方法。提出将数据库理论中版本管理技术应用于设计类专家系统的事实库管理,讨论了事实库版本管理对推理所产生的作用。     

机器人足球比赛最优拦截问题建模与求解

针对机器人足球比赛拦截问题,构建了时间最短的性能指标和拦截成功的约束问题,将机器人足球比赛的拦截问题转化成一个带等式约束的规划问题求解;进一步考虑小车加速度修正该模型,获得细化的最优拦截模型,说明该模型易于扩展和修正;采用MATLAB对该问题进行求解,验证了该方法的可行性。     

QPS（第二部份）：一个面向对象方法开发的问题求解系统

ＱＰＳ是一个在英国的Ｔｈｅ Ｑｕｅｅｎ＇ｓ Ｕｎｉｖｅｒｓｉｔｙ ｏｆ Ｂｅｌｆａｓｔ，由Ｆ．Ｊ．Ｓｍｉｔｈ教授领导的ＡＩ研究组开发实现的定量问题求解系统。笔者在该校进修学习期间，参加了该系统的研究开发工作。本文全面介绍了ＱＦＳ系统。     

多Agent系统分布式问题求解的代数模型方法(Ⅰ): 社会行为、社会局势和社会动力学

该组论文提出一种新的代数模型方法，用于多Agent系统超分布超并行社会智能问题求解，该方法通过社会动力学和社会智能，统一地处理各种复杂的并行的社会行为，用于求解用常规方法难以处理的许多社会交互问题，本文是组合论文中第一篇，提出多Agent系统分布式问题求解的代数模型结构，讨论多Agent系统中典型社会行为模式及其性质，建立形式化描述，同时也论述了代数模型中的社会局势和社会动力学。     

一种新的智能设计知识建模方法

知识表示是人工智能研究的核心内容之一,设计知识的建模是一项重要而困难的任务。本文提出了一种用于表达设计过程知识的模型---基于设计模式的设计模型(DMOM),同时提出了用于表达设计对象知识的三种模型:功能模型、参数化模型、实例模型。DMOM把设计信息分为三类,分别描述产品的功能特征、技术性能、产品类型,通过把各类信息映射到相应的设计对象模型构造了三种设计模式,借助模式的转换来综合处理各类设计信息。     

知识表示及企业本体建模研究

在企业建模领域引入本体思想,介绍了企业本体的概念、作用和意义,然后阐述了企业知识表示和组织策略。最后通过一个实例给出了本体建模的详细步骤和方法体系。基于本体的企业建模从根本上解决了企业的知识共享和重用问题。     

Modeling and management of profiles and competencies in VBEs

Virtual organization Breeding Environments (VBEs) are long-term clusters/associations of autonomous and geographically dispersed organizations in the market and society. The VBE aims to prepare its member organizations and enhance their readiness for potential involvement in opportunity-based Virtual Organizations (VOs). Organizing/management of profiles is a key activity in VBEs. The need for management of profiles is even larger in medium-size and large-size VBEs (e.g. with more then 50 members), where typically the member organizations do not have the chance of getting to know all others directly. Furthermore, uniform structuring/modeling of the mostly textual content of profiles enables their processing by the software that supports variety of VBE functionality. An important element of the profiles in VBEs is the competency. There is no consensus on the definition of competency and the existing literature associate it with a range of tangible characteristics such as resources and products, as well as intangible characteristics such as knowledge and motivation. This paper introduces and details a unified/generic model for VBE profiles and VBE competencies. It further addresses the design of an adaptable, replicable and sustainable Profile and Competency Management System (PCMS), which is being developed supported by the ontology for profiles and competencies. An approach and mechanism for semi-automated derivation/discovery of elements for organization’s profile and competency from on-line text corpora is also introduced.     

基于元模型的知识管理建模工具设计与开发

知识管理建模是构建组织知识管理系统的基础．组织知识管理建模远比信息管理建模复杂，迫切需要建模工具的支持．从知识内容和管理两个层面分析提出知识管理的建摸需求，以此为依据建立知识管理元模型．组织知识管理元模型包括组织战略、组织结构、组织流程和组织知识地图四个子模型．为了方便建模工具的开发，用组织知识管理对象建模语言集成各子模型对应的建模语言．在此基础上实现了一个知识管理建模工具．     

形状特征局部操作在实体造型中的实现

文章介绍了实体造型中形状特征的局部操作,研究了包含形状特征描述的数据结构,分析了形状特征的分类、框架、特征间的联系及有关操作,分析了欧拉运算及实现思路,在此基础上对实体造型进行局部操作,提高了造型中的运算效率,也对特征造型作了相应的探讨。     

Modeling expert problem solving in a game of chance: a Yahtzee© case study

Although developments on software agents have led to useful applications in automation of routine tasks such as electronic mail filtering, there is a scarcity of research that empirically evaluates the performance of a software agent versus that of a human reasoner, whose problem-solving capabilities the agent embodies. In the context of a game of a chance, namely Yahtzee©, we identified strategies deployed by expert human reasoners and developed a decision tree for agent development. This paper describes the computer implementation of the Yahtzee game as well as the software agent. It also presents a comparison of the performance of humans versus an automated agent. Results indicate that, in this context, the software agent embodies human expertise at a high level of fidelity.     

多Agent系统分布式问题求解的代数模型方法(Ⅱ): 群体智能和社会动力学

该文是组合论文中第二篇，讨论多Agent系统分布式问题求解的代数模型中的特性层和动力学层，即没粒度Agent群体的宏观群体智能的形式优化代数模型以及宏观社会智能与Agent个体间微观社会行为之间的社会动力学模型，提出了基于这种新的代数模型方法的超分布超并行社会智能问题求解算法，关于分布式多任务自组织规划和资源自组织分配的仿真实验以及与其它方法的比较分析，表明了该文提出了代数模型和问题求解方法的特点和有效性。     

Modeling wildfire propagation with the stochastic shortest path: A fast simulation approach

Wildfires have significant environmental and economic effects. Since containment of wildfires involves deciding under tight time constraints, there is an increasing need for accurate yet computationally efficient wildfire prediction models. We consider the problem of finding the fire traversal time across a landscape considering wind speed as an unpredictable phenomenon. The landscape is represented as a graph network and fire propagation time is modeled as the Stochastic Shortest Path problem. Monte-Carlo simulation is utilized to determine the fire travel-time distribution. A network size reduction methodology is introduced to quicken the simulation time by eliminating the unimportant parts of the network. This methodology is implemented in Java to simulate the wildfire propagation on a study area located in Massachusetts. This method shows the capability of substantially reducing the simulation time without affecting prediction accuracy, enabling the algorithm to serve as a fast and reliable tool for fire prediction.     

深海底履带机器车建模及仿真研究

考虑深海底履带机器车的特殊工作环境、车体的特殊设计,建立了深海底履带机器车的动力学模型. 使用MADYMO多刚体动力学仿真软件,建立了深海底履带机器车结构模型,进行了仿真分析. 与实验结果进行了比较. 仿真结果验证了所建模型的有效性．