基于知识的机器人协同问题求解系统KBCOPS

本文在讨论了机器人协同问题求解的概念及难点的基础上，以模型化机器人世界为协同问题研究领域，选择并发成员系统程序设计语言ＭＳ－１为系统基本开发了一个基于知识的机器人协同问题求解系统ＫＢＣＯＰＳ，并给出了其在一维模型世界下的具体实现。     

成员系统模型及其归约

本文提出了一种基于有限关联团块观点的成员系统模型，主要针对不确定性情况给出了其归约操作的形式化描述，讨论了它与产生式系统的关系，并根据该模型及其归约过程，成功地设计实现了一种并发成员系统程序计算语言，对研究支持多种ＡＩ问题求解的模型及其语言做了有益的尝试。     

并发成员系统程序设计语言环境下的机器人协同问题求解

本文首先提出并证明了模型世界下双机器人协同问题求解的难解性，然后介绍了已开发成功的支持多种特别是协同问题求解的并发成员系统程序设计语言ＭＳ－１在该问题领域的成功应用。     

一个基于规则的空间站GaAs生产线故障诊断维修专家系统的设计

本文提出了一个基于规则的空间站GaAs生产线诊断维修专家系统的功能及组成方案，并讨论了系统知识库及诊断维修任务处理流程的设计思想。     

HIT-DIAG1：一个基于知识的空间站GaAs自动生产线故障诊断系统

本文参照基于规则的空间站GaAs生产线故障诊断维修专家系统的总体设计，采用OPS5语言设计实现了一个空间站GaAs自动生产流程故障诊断的基于知识系统，并介绍了其设计思想、知识获取与组织以及实现和执行过程。     

基于过程控制的软件质量管理

质量形成于过程.以预防为主的过程管理思想在软件产业引入了软件的工程过程、管理过程和支持过程三类基本过程,以过程为中心的软件开发、生产与质量管理是现代软件产业的时代特征.本文阐述了软件质量管理的基本原理,提出了一个基于CMM过程管理控制的软件质量管理模型及平台,帮助软件组织达到较高的成熟度水平.     

基于Agent的智能交通体系及仿真

交通问题已成为全世界所共同关注的主要问题 ,如何运用现代的科技手段来缓解日益严峻的交通压力 ,是目前研究的重点。该文基于目前交通问题及交通系统发展的现状 ,结合计算机软件技术的最新成果———Agent技术 ,提出了基于Agent技术的智能交通控制的体系结构 ,论述了该结构的优点 ;并根据Agent的特点 ,介绍了运用Agent技术进行交通仿真的优势 ,探讨了具体采用Agent技术进行交通仿真的方法。