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

摘要：本文首先概述了一种支持并行和分布协同问题求解的并发成员系统程序设计语言MS-1,然后在采用OPS5实现的HIT-DIAG1系统基础上,从结构、通信、调度、运行等几个方面介绍了MS-1在开发空间站GaAs自动生产线协同故障诊断的基于知识系统HIT-DIAG2中的应用。

摘要：本文从接近于人类思维的产生式系统着手,分析了认知心理学信息加工理论的局限性,提出了一种人类思维过程的有限关联团块观点及基于该观点的、支持多种(一般、并行,特别是分布协同式)AI问题求解的成员系统模型MS,并从设计思想、基本结构、语法结构、通信原语、工作原理等几个方面介绍了一种基于不确定成员系统模型的并发程序设计语言MS-1.

摘要：本文在分析了产生式系统及认知心理学信息加工理论的局限性的基础上,介绍了一种支持一般AI问题求解、并行AI问题求解和协同式AI问题求解的并发成员系统模型及程序设计语言。

摘要：机载维护系统作为民用飞机的重要子系统之一,直接影响到飞机的维护保养以及相应运营成本。除了机载维护系统对飞机整机进行健康管理以外,成员系统级别的维护软件同样必要。针对以上问题,以机载信息系统作为成员系统实例,提出了机载综合维护管理软件,阐述了软件的逻辑架构和核心功能。机载综合维护管理软件可以实现对机载信息系统下属的设备和模块进行故障诊断和隔离、交互式维护自检、故障历史管理等维护操作,并提供了Web人机显示页面以供维护人员查看。软件具有一定的普适性,通过变更配置文件可以推广到其他成员系统的维护管理任务中使用。