嵌入式实时数据库ARTs-EDB事务调度实现技术

着重讨论了嵌入式实时数据库系统ARTs-EDB中事务调度实现技术。给出了ARTs-EDB中事务的执行模型、状态及状态变迁；设计了一个考虑事务类型和截止期的多层动态可调整优先级分派方法；给出了一个优先级驱动可抢占的实时事务调度策略，以保证更多事务满足截止期要求。     

一种支持I/O的核外中断执行算法

通过对嵌入式实时操作系统ARTs-OS的研究,借鉴各种实时系统的中断实现技术,提出了一种支持I/O的核外中断执行算法。     

移动分布式实时嵌套事务提交

在移动分布式计算环境中,事务移动性和无线网络固有的缺陷使得传统的分布式实时事务管理机制不足以支持移动分布式实时事务的执行,故有必要为移动实时事务研究新的事务处理机制,以提高其成功率.着重研究移动实时事务的提交机制.首先,通过分析移动分布环境中实时事务的特点给出了一个基于功能替代的移动实时嵌套事务模型.然后,提出了一个基于此模型的三层提交结构以及能够保证移动实时事务原子性和结构正确性的三阶段实时提交协议3PRTC(three-phase real-time commit).性能测试表明,所提出的事务模型及其提交机制能够提高实时事务的成功率.     

E-Meeting:一种异构网上的通信

"信息高速公路"已成为世界信息革命的浪潮,其核心问题是高速、有效和可靠的计算机通信与信息处理。本文提出了一种新的电子会谈系统—电子会议,它是一种在异构计算机网上的高速电子通信与信息处理系统。文中首先给出了它的会议模型和客户/服务器模型,然后讨论了它的通信机制和安全控制机制。     

新形势下黄河下游游荡性河段综合治理措施探讨

黄河干支流已建的大量水库、电站、引水工程以及大面积水土保持措施等,极大地改变了进入黄河下游河道的水沙条件,引起了黄河下游河道淤积萎缩。在新形势下,对河南黄河宽河段整治首要的任务还是确保黄河大堤和防洪安全,但其整治的重点应转向中水河槽,采取调水调沙和挖河疏浚等措施,保持河道主槽纵向输沙平衡和河势稳定;其次要充分考虑滩区群...     

异构系统集成中基于WS Addressing的消息安全转发方案

由于Web Services原有的消息寻址规范WSRouting存在安全隐患,W3C制定了WSAddressing规范,用于替代WSRouting。提出一种基于WSAddressing规范的解决方案,使用一致的寻址模式发送事件消息来实现消息级的安全,提高异构系统集成的安全性。     

保证数据流融合中处理一致性的事务机制

在分布式实时传感器网络应用中,主要目标之一是保证协作交互的数据流融合任务花费较少的能源代价,能够正确、实时、原子地外化监测区域信息.因此,本文重点研究了分布式传感器网络环境下对多数据流交互处理过程的事务控制机制.首先,定义了传感器网络数据融合过程的协作执行模型.其次,用运控制区域的概念,提出了一种基于系统时间戳的自适应的数据融合交互处理的事务模型及其ACID规则.最后,设计了一种适宜实时环境的数据融合事务的两阶段提交、回滚协议.测试结果分析表明,它能够显著提高采集数据进行事务处理的外化速率,降低了事务的失败率及网络能耗,特别适用于处理间歇、高速的传感器网络外部采集数据.     

一种实时数据库系统的基于时间戳的多版本并发控制协议

实时数据库系统的定时限制包括数据的定时限制和事务的定时限制,一个好的并发控制协议必须要较好地满足这些定时限制。文章详细讨论了与并发控制有关的实时数据和实时事务的各种特征以及分类。并根据这些特点对传统数据库系统的多版本并发控制机制进行了扩展,提出了一种基于时间戳的多版本实时数据库系统的并发控制协议。该协议对硬实时事务不产生任何延迟,能够很好地保证实时事务和实时数据的定时限制,缺点是该并发控制协议仅是一个准一致性的协议。     

内存数据库的图论存取方法

对内存数据库（MMDB）而言,数据库的存储结构与存取方法是关键,文中给出了一种MMDB组织与存取的图论方法,它引入“内存数据库图”（MM－DBG）的概念,提出了一种片段式的集数据和索引在一起的存储结构,具体给出了MM－DBG上维护和关系查询操作的算法,并从存储空间和操作执行时间两方面进行性能分析。     

实时数据库事务的正确性及实现算法

实时数据库系统中事务可以有定时限制（典型地为截止期）,事务超过截止期可能给系统带来灾难性后果,事务不光要满足数据库的完整性与一致性,而且要满足在时间上的正确性以及事务之间在结构上的正确性,传统的事务处理方法仅着眼于事务存取数据库的正确性,对于时间正确性与结构正确性无能为力,详细讲座了实时事务的正确性,包含结果正确性、时间正确性、行为正确性及结构正确性,已有的研究成果中大多用不央的算法及策略来保证不同的正确性要求;给出了保证实时事务正确性的一个统一的图论算法。