广播环境中的移动实时事务并发控制

研究了实时数据广播中的一致性问题，由于广播环境的通信不对称性，传统的可串行化并发控制协议显得过于严格，不必要，不可行，为此，提出使用伪可串行化并发控制；形式化定义了伪可串行化的概念，证明了它虽经传统可串行宽松但能保证数据一致性，给出相应的并发控制协议，实验结果表明，新协议可显著降低平均响应时间，使更多移动实时事务满足截止期要求。     

广播环境中的Q可串行化实时并发控制

研究了实时广播中的数据一致性问题。传统冲突可串行化并发控制协议对非对称通信的广播环境来说过于严格且不必要。为此,提出使用Q可串行化：形式化定义了Q可串行化,证明了它虽比传统冲突可串行化宽松但能始终保证数据一致性,基于可动态调整串行化顺序的时标段排序方法给出了相应的并发控制协议。实验结果表明：新协议可显著降低平均响应时间,使更多移动实时事务满足截止期要求。     

数据广播中т-可串行化移动实时事务并发控制

研究了实时数据广播环境中的一致性维护问题。由于广播环境的非对称通讯特性,传统可串行化并发控制方法过于严格而不必要;现有放松可串行化方法都会导致数据库受限不一致、使各个用户读取受限不一致数据。提出了使用т-可串行化并发控制,首先形式化定义了т-可串行化正确性准则,证明了它虽比传统可串行化宽松但能始终保证数据一致性,使各个用户始终读取一致性数据,进而给出了相应的并发控制协议。实验结果表明,新协议可显著降低平均响应时间,使更多移动实时事务满足截止期要求。     

数据广播中T-可串行化移动实时事务并发控制

研究了实时数据广播环境中的一致性维护问题。由于广播环境的非对称通讯特性,传统可串行化并发控制方法过于严格而不必要;现有放松可串行化方法都会导致数据库受限不一致、使各个用户读取受限不一致数据。提出了使用?子-可串行化并发控制,首先形式化定义了?子-可串行化正确性准则,证明了它虽比传统可串行化宽松但能始终保证数据一致性,使各个用户始终读取一致性数据,进而给出了相应的并发控制协议。实验结果表明,新协议可显著降低平均响应时间,使更多移动实时事务满足截止期要求。     

无线移动环境中的拉式实时并发控制机制

考虑到诸如带宽、移动性、频繁断接等限制,传统可串行化并发控制协议显得过于严格而无法满足移动实时数据库环境的要求。该文首先形式化定义并分析了弱可串行化正确性准则,弱可串行化比传统冲突可串行化宽松且能始终保证数据库的一致性。进而给出了一种适宜于移动实时数据库的弱可串行化并发控制协议WMHP-2PL。最后性能实验证实了新协议的有效性。     

实时数据库的准一致性可串行化并发控制

可串行化的并发控制对传统应用是合适的,它旨在确保数据的“绝对正确”性,然而在实时数据库中,事务的定时限制往往比数据的“绝对正确”性更重要。为此,本文提出了新颖的准一致性可串行化的并发控制策略,文中着重讨论了准一致性可串行化的有关概念与理论,调度的可准一致性可串行化的判别方法,并发控制协议以及在事务的准一致性可串行化并发执行中不一致性传播放大的控制策略。     

面向用户的移动实时事务并发控制策略

-可串行化、 可串行化、准一致性可串行化等现有面向事务的放松可串行化正确性准则虽能帮助更多无线通信事务满足其截止期要求，但会导致数据的受限不一致。该文针对移动实时环境和应用，形式化定义并分析了 可串行化和 可串行化2种新的面向用户的并发控制策略，它们都比冲突可串行化宽松，但都能始终保证移动用户读取数据的一致性。     

一种动态调整串行化顺序的实时并发控制协议

实时并发控制协议用来控制并发事务间的相互作用,已满足实时数据库的一致性.本文提出一种四阶段实时并发控制协议HTRCC-DASO,协议在读或等待阶段基于事务优先级动态调整串行化顺序,通过阻塞或及早重启低优先级事务,使高优先级事务率先提交并降低事务重启开销.在验证阶段检查事务读写集合的外部一致性和相互一致性并调整活动事务的时间戳间隔,确保满足事务时态一致性和调度冲突可串行化.通过引入相似性概念,提出了HTRCC-DASO的改进版本:SHTRCC-DASO,性能测试结果显示,SHTRCC-DASO协议能保证良好的实时性能.     

基于准一致性可串行化的并发控制协议

人们基于准一致性可串行化的正确性标准，提出了一种乐观并发控制协议，提高了事务执行的并发度，更有利于实时事务定时限制的满足。     

实时数据库并发控制

可串行化的并发控制对传统应用是适合的,它旨在确保数据库的一致性,提高系统的吞吐量及减小事务平均响应时间,而在实时数据库中,一方面系统追求的主要目标是单个事务定时限制（典型地为截止期）的满足,另一方面,系统中的数据库是外部环境在逻辑世界中的映射,局部的数据库不一致能够随下一次数据采样恢复而不会大规模扩散,这些都为有利于传统严格一致的可串化并发控制的并发控制协议的采用提供了必要性和可能性,本文首先给出了数据库“相似性”的形式化定义,接着提出了“视图一致性”的概念,然后提出了一种新的并发控制协议,它考虑了数据的相似性,并使只读事之间并不满足传统的严格可串行化的标准,但并没有破坏数据库的一致性,事务执行的并发度有了提高,有利于实时事务定时限制的满足,最后我们将这种并发控制协议的性能与有名的H2PL协议的性能进行了比较。     

基于Web的实时信息集成系统的开发与应用

本文在介绍扬子公司炼油厂实时信息集成系统结构的基础上，重点介绍了实时数据采集，实时数据库组态以及各种Web页面的设计方法。     

嵌入式Linux操作系统调度算法改进

在嵌入式系统中,实时调度算法性能的好坏直接对系统的实时性起着决定性的作用。因此,该文首先介绍了系统调度的相关概念和实时调度算法的分类,接着在讨论了目前常见的调度算法的优劣之后,对基于优先级的调度算法进行了改进,基于改进后RADS算法的多种混合调度模型满足了实际应用中对实时性多样性的需要。     

基于RTX的地形跟随实时仿真系统

为了对地形跟随系统进行仿真验证,并进行模拟训练,开发了一种基于RTX的实时仿真系统,该系统采用Windows RTX Simulink 双核CPU PC的实时仿真架构。基于此种架构,设计、实现了一套地形跟随实时仿真系统,给出了该系统的系统结构和组成,并对Simulink模型的实时代码生成、进程间通信与数据交换、地形数据的实时更新等关键技术进行了详细说明。试验结果和使用经验表明该系统工作可靠、使用方便、易于开发与维护,完全能够满足地形跟随实时仿真的需要。     

IP网络的高速监视

分析了高速IP网络的特点，并针对典型的VPN(Vinual Private Network)协议(IPSec和PPTP)设计了基于Linux操作系统的IP网络高速监视器，该监视器能对高速IP网络中的VPN通信进行实时监视和实时干扰．试验结果表明该高速监视器能够处理800Mbp／s的流量，能够对VPN协议(IPsec、PPTP)进行实时阻断；从接收IP数据包→策略匹配→发现该数据包违规→发送干扰数据包耗时约为0．055ms；     

端到端实时CORBA系统调度模型及其可调度性研究

实时CORBA系统中的基本问题是如何合理分配有限的计算资源和通信资源以保证各个实时任务的时间需求。该文以固定优先级方式调度的、周期性任务的硬实时系统为研究对象，提出了端到端实时CORBA系统调度模型，该模型综合考虑了客户端系统的处理、服务对象处理、网络传输等几大主要因素，而且可以描述服务对象间的嵌套调用关系，因而能全面描述实时CORBA系统中客户调用过程。在此基础上，该文基于非连续工作型同步协议，应用时间需求分析方法，研究并提出了该模型的可调度性分析算法。     

实时对象模型及其可预测调度研究

从实时系统建模的角度,文中给出了一种实时对象模型,该模型能够保证开发的实时系统具有可预测性,灵活性,集成性的特点,文中同时给出了分析对象能力的计算公式,并对实时对象模型行为的可预测性调度进行了讨论。     

基于Visual C++的实时频谱分析软件设计

针对实时频谱分析仪的系统实现提出了一种设计方案,介绍了实时频谱分析仪的系统结构,并着重研究了其上层软件的实现方案.该软件在Visual C 6.0下用C 语言进行开发,采用了多线程设计提高执行效率,并运用模块化设计思想提高软件的可扩展性和重用性,是一种实际可行的解决方案.     

一种基于Ethernet的硬实时通信协议

分布式硬实时系统应用日益增长,网络处理硬实时消息的能力变得更加重要,Ｅｔｈｅｒｎｅｔ是一种非确定性网络,提出一种基于Ｅｔｈｅｒｎｅｔ的通信协议ＲＴＣＣ,能够向分布硬实时系统提供硬实时性能保障,而Ｅｔｈｅｒｎｅｔ硬件不需做任何修改,ＲＴＣＣ采用命令／响应多路传输和总线表方式来调度底层通信介质,很好地解决了实时通信面临的两个问题：访问仲裁过程和传输控制过程,测试结果分析表明ＲＴＣＣ具有良好的实时性能。     

基于网络的实时监控图形显示技术的研究

本文对基于Web环境下的工业数据图形的实时监控技术进行了探讨,主要讲述基于ActiveForm方式的工业监控图形显示技术,详细讨论了Web程序与数据库相连的问题,并给出了具体示例。并介绍其它网络化监控图象显示技术和方法,对这些技术的特点进行比较。     

实时系统中的非定期任务调度算法综述

非定期任务调度是实时系统中的一个重要研究内容，综述了实时系统中非定期任务调度算法的研究与进展，按照这些算法的特征分为基于服务器的算法与基于空闲时间的算法两大类别，并着重对每个类别中的不同算法的特征与性能进行了分析，通过对这些算法的比较与分析，希望为实时系统的研究与开发者提供有意义的参考，最后还给出了非定期任务调度进一步研究的思路与建议。