基于知识的空间站GaAs自动生产线协同故障诊断系统

本文在采用OPS5开发的HITDIAGI系统基础上,从结构、通信、调度、运行4方面介绍了并发成员系统程序设计语言MS-1用于设计开发双机环境下、空间站GaAs自动生产线协同故障诊断的基于知识系统的成功尝试.     

一个基于规则的空间站GaAs自动生产线实时故障诊断维修系统

本文在大量前期相关工作的基础上，从系统结构，知识组织，执行机制，推理机制等方面，详细讨论了一个基于规则的空间站ＧａＡｓ自动生产线故障诊断维修系统的实时特征。     

一种并发成员系统程序设计语言MS—1

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

开放式实时系统的调度理论与方法分析

随着实时系统应用的日益广泛,多类型实时和非实时任务并存的情况给系统调度机制带来了新的需求和挑战.开放式实时系统的相关研究因为解决这一问题而受到关注,也为调度理论与方法带来了新的思路.在阐述了开放式实时系统的基本概念和理论的基础上,提出了一种调度对象的层次性模型,适用于开放式实时调度环境.对几种有代表性的相关方法进行了详细的比较研究,指出它们各自的功能特征和适用范围及其共同特征.把不同方法进行有机集成是可行的,也是一个发展方向,可以使各方法在集成的调度机制内各施所长,更适合于开放式实时系统的应用环境.     

支持SAR系统高分辨率实时成像的实时系统解决方案

随着信息技术的发展，用于军事、地理、自然灾害扫描探测的合成孔径雷达系统（SAR）对其成像能力的分辨率和实时显示要求越来越高，因此，研究具有自主知识产权的，可以实时处理高分辨率成像的实时系统迫在眉睫，针对实时数据接收，存储，显示和处理等核心问题，提出了一种实时系统解决方案，该方案通过对Linux内核的实时扩展，实现了可达到高处理机利用率的多任务实时调度方法，可支持混成调度；在应用层实现符合实时需求的功能模块；为DSP板开发实时驱动，形成了从硬件驱动层和操作系统层，直到应用软件层的完整实时计算体系。     

开放式实时环境中的集成调度框架

开放式实时环境中的多类型实时任务并存的情况给实时调度机制带来了新的需求和挑战．提出了一种适用于开放式实时环境的3层集成调度框架，它基于服务器方式的实时调度理论，把5种既有相关性又有功能互补特征的服务器有机的集成到统一的调度机制中．可支持多种类型的实时任务及非实时任务共存于同一系统的混合调度，并且根据它们的属性自动选择最合适的服务器与之搭配．相对于现有方法，该调度框架可支持的调度对象类型更广泛，易于进行服务质量控制，并且有良好的可扩展性．因此，更适合于开放式实时环境．     

有线普适视频的分子化模型研究

普适计算是“后PC”时代的产物，正在深刻地影响着计算机科学的许多方面．针对有线普适视频领域，从“分子化合”的思维角度出发，提出了分子化服务思想，并构建了分子化服务体系结构模型，继而提出了保证视频服务分子协同工作的差错控制算法．实验证明这一差错控制算法是有效的，基于分子化服务思想的有线普适视频服务模型也是可行的，并且能够有效降低普适设备的系统负载．     

Linux内核的实时支持的研究与实现

目前嵌入式计算的发展对实时多任务操作系统（RTOS）的需求日益迫切，而Linux内核的实时支持研究为迎合这种需求提供了新的可能性，通过从中断控制，实时调度策略，内核抢占机制及细粒度时器几方面深入研究与实现了Linux内核的实时支持，以使之成为一个较为完善的RTOS，通过把实时部分设计为可配置单元，以保留Linux原有系统支持及API．另外，为扩展系统适用范围，提出了可支持多实时调度策略的二阶段调度方案，同时指出了当前方案的不足和今后的研究方向。     

面向嵌入式实时软件的需求规约语言及检测方法

针对嵌入式实时软件需求规约及其检测问题,提出了基于层次并发有穷状态机的可合成的图形化建模语言RTRSM*(real-time requirements specification model*),利用转换有效期和事件预定机制来描述时间限制,能够较好地支持系统交互性和实时性的建模.为弥补RTRSM*作为操作性规约语言不便于性质描述的问题,提出了命题时序逻辑RITL(real-time interval temporal logic).该语言以时间状态序列为语义模型,具有基于区间和时间点的量化时间属性描述功能,能自然、全面地描述RTRSM*模型性质.介绍并讨论了基于两种语言的规约检测方法和技术,主要包括系统状态空间有穷的RTRSM*模型状态可达图的相关问题和规约的模拟执行.     

个性化领域知识支持的用户主导需求获取方法

应用软件的需求获取与应用领域的特征密切相关,用户的参与日益受到重视,然而用户对系统的认识通常模糊且不完整,且对于多用户系统,需要拥有局部需求的多用户进行协同,才能得到完整、一致的需求.提出一种用户主导的需求获取方法,根据用户特征及其上下文环境,为用户进行需求定义提供个性化的领域知识支持,包括领域需求资产推荐和对多用户协同需求获取的建议.应用实例说明了该方法的可行性,且对于提高用户参与程度、改进领域知识重用效果,从而最终提高需求获取的质量具有积极意义.