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

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

成员系统模型及其归约

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

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

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

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

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

MOIR/HR:覆盖区域受限的热门区域挖掘

挖掘被移动对象频繁造访的封闭空间区域,即热门区域是从轨迹数据库中发现移动对象轨迹模式的关键前提.现有挖掘工作难以限制热门区域的大小.基于之前的移动对象管理平台MOIR[1],扩展实现了一个带有覆盖范围约束的热门区域挖掘模块,并引入3个新的度量指标:标准化密度、主导积分、差异度,用于精炼超出覆盖范围约束的区域.基于真实轨迹数据集得到的可视化及量化结果,给出了一个具有有说服力的概念证明原型来检验上述思想.     

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

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

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

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