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

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

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

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

智能应用服务协议iASP的设计与实现

由于网络计算机(NC)具有瘦客户计算模式的许多优点，目前NC系统已经成为研究热点。而其中的应用服务协议是实现NC系统的关键技术之一。在满足支持全面的应用系统的远程输入输出、减少对NC资源的需求以及能够适应于不同的网络带宽和NC的属性特点的约束下，设计实现了智能应用服务协议iAS只并将其分为4个子协议，即用户界面显示协议、输入信息协议，参数控制协议以及声音传输协议，并借鉴AIP协议的技术特点，在iASP协议中添加了基于反馈模型的自适应方法，提高NC系统的适应范围和NC的用户可用性，最后指出了当前协议的不足和今后的研究方向。     

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

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

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

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

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

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

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

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

基于嵌入式环境的电视节目单系统机顶盒部分的设计与实现

随着信息社会的发展,Internet和信息家电己越来越多地出现在人们的生活之中,嵌入式Web应用是其中的一个热点。本文以具体实例－电视节目单系统的机顶盒部分深入地研究了地嵌入式环境中设计与实现电视机顶盒中存在的问题。对电视节目单系统的机顶盒部分体系结构,相关关键技术,系统功能进行了详细解说。     

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

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