降低实时微内核系统中内核封锁粒度的方法

内核封锁较度在很大程度上决定了实时系统的性能。该文说明了实时微内核操作系统在内核封锁粒度方面存在的问题，分析了两种已有处理方法的弊端，提出了一种改进的方法和它的变体。     

基于功能替代的实时事务调度

实时数据库事务除满足一般的一致性（完整性）限制外必须满足时限，故高成功率的调度策略是系统的关键，该文提出了一种基于功能替代性的事务模型，它定义事务为若干任务（事务步）的集合，每个任务又由若干功能等价的子事务组成，在每个任务（事务步）中取一个子事务就组成该事务的一个替代，该模型具有较强的描述能力，文章研究了事务预分析的策略与方法，分析了事务的可调度性，在此基础上，给出了相应的调度策略与方法，替代成为事务调度和并发控制的基本单位，一个替代成功执行则该事务可提交，但某替代夭折时还可选另外的替代，只有当全部替代都失败或超过（或必定会超过）截止期时，该事务才夭折，事务的替代特性使事务的执行有多条路径，提高了事务的适应能力和应力能力，从而提高了事务的成功率，文章还针对一个实验系统进行了模拟实验与性能分析。     

移动实时数据库系统综述

移动实时数据库系统涉及到信息处理技术、分布式计算技术、移动通讯技术、实时处理技术等多个学科领域,是当前信息领域中前沿、开创性的课题。论文对移动实时数据库系统的体系结构、系统需求及移动实时环境下事务模型、数据复制和缓存、位置相关查询、数据广播、故障恢复等相关研究做了一个综述。     

支持分布式合作实时事务处理的协同检验点方法

在实时事务执行时，事务故障或数据竞争会导致事务重启，为减少事务重启损失的工作量，可以采用检验点技术保证事务的时间正确性．在一类分布式实时数据库应用中，不同结点的事务通过消息交换形成合作关系，为保证合作事务间的全局一致性，当某一事务记检验点时，相关事务也要记检验点．传统协同检验点方法没有考虑应用的定时约束，不能很好地支持分布式合作实时事务处理．该文提出了一种基于图论的协同检验点方法，利用在每个计算结点上为每个合作事务集维护的局部有向图，使用一个基于图论的计算过程标识出应记检验点的事务，该方法既具有最小协同检验点特性，又使全局检验点的时延最小．实验表明该算法减少了全局检验点时延，有利于实时事务截止期的满足．     

GPS移动目标监控系统的设计

基于GPS的移动目标监控系统作为GPS的重要应用途径之一，已在多个领域得到应用。本文首先通过分析当前市场的一些GPS监控系统，指出目前的GPS监控系统存在的地理信息数据维护困难，数据更新慢，安全性差、监控端不易扩展等问题，提出一个实用的监控系统应满足的要求；最后，本文依据提出的要求设计了一个基于C／S架构的GPS移动目标实时监控系统，并就系统如何集成管理GIS、RS的数据作了详细的阐述。     

基于多线程的流水线查询处理方式

通过对一个主动实时数据库(ARTs—DB)的研究，分析了该系统的查询处理执行方式，引入线程概念，提出了基于多线程技术的流水线查询处理方式，并给出其具体实现，从而提高系统的查询性能。最后给出其代价分析及性能比较。     

一种主动实时数据库的系统内存管理方法

通过对一个主动实时数据库(ARTs—DB)的研究，借鉴操作系统的内存管理机制，提出了一种具有现代应用特征的数据库系统内存管理模式。文中从ARTs—DB的系统内存管理定义出发，探讨了主动实时数据库系统内存管理的目标及实现策略，并详细介绍了一种实现方法。     

基于网格的分布式仿真系统负载平衡研究

对进程迁移的研究起源于分布式处理的出现，它使得分布式系统内动态负载平衡成为可能，并可显著提高系统的容错性和可用性；网格是新一代信息基础设施，其目的是实现资源共享利用网格提供的信息，将过载节点上的进程迁移到合适的其它节点上运行，就可以实现真正的负载平衡。该文首先简要介绍了进程迁移及网格的资源管理功能，根据现有的基于HLA构建的分布式仿真系统存在的缺陷，利用进程迁移、网格技术的优势研究并提出了分布式仿真系统负载平衡使能模块(LBEM)。现初步实现了网格环境中进程迁移的部分功能，该部分的研究工作是后续研究的基础。     

黄河防洪工程项目管理实践

在黄河防洪工程项目管理实践中,针对项目管理的质量、工期、投资等主要内容,引入“以人为本”和“以制管理”的理念,指出项目管理的要点为：①确保工程建设质量;②保汪工程项目严格按照计划进行;③有效控制项目成本;④综合平衡,力求工程项目系统目标最优;⑤项目实施过程中加强沟通与协作;⑥加强风险预测和管理;⑦建立完整的项目管理文档。     

NXD存储系统索引技术研究

XML文档存储是NXD（Native XML Database）系统必须解决的问题．Internet中XML主要应用于信息交换过程的数据结构及语义描述，NXD系统也需要支持XQuery标准，提供高效率的XML文档访问接口．本文较完整地设计了NXD存储系统的体系结构，针对XML的路径查询特点，设计XML结点存储的数据结构及存储系统的索引．包括结构及其建立、维护的算法，索引采用一种HASH算BH（平衡HASH）算法实现．一通过试验系统测试，这些存储结构和算法可以保证NXD系统的访问效率及路径查询效率．