网格环境下实时数据库事务处理模型

在分析网格和网格实时数据库事务处理特点的基础上,提出了一个适用于网格环境下实时数据库事务处理模型.该模型采用网格中间件和功能等价服务,能够满足网格环境中对实时事务自治性、异构性、动态性等特点的要求.     

广播环境中伪可串行化实时并发控制协议

为在广播环境中同时有效支持移动更新事务和移动只读事务,提出一种可在移动客户端同时支持更新事务和只读事务的伪可串行化实时并发控制协议。形式化定义了伪可串行化,证明了伪可串行化比冲突可串行化宽松且能始终保证数据库的一致性,给出了保证伪可串行化的充分必要条件。基于时标段排序原理,提出了相应的实时并发控制协议。通过性能评价实验验证了新协议的性能。实验结果表明,新协议可显著改进移动事务的平均响应时间。     

分布式实时数据库系统中事务并发控制策略研究

本文主要对分布实时数据库系统中的事务并发控制进行探讨,结合虚拟锁和乐观法等思想,提出两种新的解决方案:2PL-HP协议和OPT-Sacrifice协议.前者可提高事务的并发度,减少阻塞的发生,从而满足实时性的要求;后者在提高事务并发度的基础上尽量保护那些己经进入提交状态的事务,降低无辜牺牲的几率,从而减少因为错过执行期限而被迫废弃的事务的数目,满足事务的实时性要求.     

实时主动数据库并发控制协议

提出了实时主动数据库系统实时多版本两阶段封锁并发控制协议(RTMV2PL). 该协议将多版本并发控制的优点和两阶段封锁并发控制机制优点结合起来. 多版本两阶段封锁机制消除了只读事务和更新事务的冲突, 只读事物从不重启动. 对实时主动数据库系统的事务优先级重新定义. 通过模拟仿真与传统的HP2PL和OCC-TI-WAIT-50协议进行比较. 研究结果表明, 并发控制协议不但能有效地降低事务的重启动率和延误截止时间率, 而且提高只读事物的响应时间. 当事务触发率高, 导致系统负载高时, 它的性能仍比其他协议的性能好.     

实时数据库事务的主-从并发控制方法

提出了一种针对实时数据库的主-从并发控制策略：从并发控制解决同类事务间的读写冲突，主并发控制解决不同类事务类间的读写冲突．并指出，这种主-从并发控制模型的性能要优于单一并发控制算法．     

一种自适应多版本实时事务并发控制

传统的基于锁的并发控制机制重点考虑数据的一致性和事务的并发度,不能很好地满足实时数据库系统对时态一致性的要求.结合锁、多版本和有效性确认等并发控制机制,提出了一种并发控制的新方法——自适应多版本实时事务并发控制方法:AMVCC.该法可根据具体情况自适应地采用不同的并发控制机制,有效提高了事务的并发度和截止时间内完成事务的数量.通过可行性分析性能优于传统并发控制方法.     

实时事务并发控制在程控交换机中应用的研究

针对程控用户交换机与ＰＣ机通信数据库中对数据可靠性、实时性要求,提出一种实时关系数据库管理系统中实时事务并发控机制在程控用户交换机与ＰＣ机通信中应用的方法．     

实时数据库事务调度分析

指出了调度策略选择的好坏决定了系统性能的优劣,根据实时数据库中事务的基本特性,具体分析了在实时数据库中影响事务调度策略选择的主要因素,包括截止期类型（硬实时截止期和软实时截止期）,调度方式（静态调度和动态调度）,调度准则,调度的性能测度和可预测性。     

实时数据库事务的主—从并发控制方法

提出了一种针对实时数据库的主－从并发控制策略：从并发控制解决同类事务间的读写冲突，主并发控制解决不同类事务类间的读写冲突。     

一种实时事务预分析处理的三段法

给出了一种“三段式”预分析预处理系统框架,提出了一种基于实时事务语义、行为、结构及相关性知识的预分析预处理的“相关图”策略与方法,引入了“影子事务”的概念和机制来支持与实现实时事务的正确执行、系统的内外存数据交换等,从而保证实时事务的定时性要求．     

基于电子商务单向认证协议的Petri网模型

基于公钥基础设施PKI的安全认证协议是目前电子商务常用的认证协议。根据这个安全认证协议用Petri网协议模型技术构造了单向认证协议的Petri网模型的状态空间。这样就可以进行仿真分析，找到协议的安全漏洞，完善认证协议。     

数据库系统并发控制的扩展有色Petri网方法

加锁与可串行化是并发控制中采取的2个主要措施.两段锁协议(two-phase locking protocol,简称2PL)是解决可串行化调度较好的方法之一,但满足可串行化的调度可能会出现死锁.为此建立了多个事务并发访问数据库的扩展有色Petri网模型,该模型可使并发事务的调度符合两段锁协议.利用该模型的可达标识图,给出了判断满足两段锁协议的调度是否死锁的充分必要条件,并由此构造出并发事务的无死锁的可串行化调度.     

基于增广Petri网的实时交通信号控制系统

利用带抑制弧/使能弧、自控网技术的增广Petri网设计了一种交叉路口实时交通信号控制系统,通过采集路面车流量信息实时改变每个信号灯周期内各相位时长,模型通过了正确性分析.并依据该模型开发了Java原型系统,实验表明该系统能有效缓解交叉口的交通滞留.     

生物医学循环系统的Petri网分析与实时控制

用Petri网方法对一个生物医学循环系统进行分析,详细描述了循环系统的各个状态及转移关系,并给出了Petri网分析离散事件系统的步骤与方法,最后通过微机对系统进行实时控制。     

基于概念事务模型的分布式并发控制方法

在提出描述事务系统的“概念事务模型”的概念和建造方法后,给出一种基于概念事务模型的分布式并发控制方法．这种方法仅对能够导致冲突的事务施以全局同步,既简化了分布式并发控制机制,又提高了系统的并行度     

基于进程网系统的Petri网性质分析

Petri网的进程网系统是为了描述Petri网特别是无界Petri网的进程行为而提出的一个重要概念。一个Petri网的进程网系统是以其基本进程段的集合为新的变迁集，以各个基本进程段集的输入和输出库所集的并集为新的库所集，以原网系统的初始标识为初始标识而得到的一个新的网系统。本文在借助进程网系统的概念，讨论了一个Petri网同它的进程网系统在可达性、有界性、公平性、活性等方面的对应关系。     

基于有色Petri网的TII协议建模与分析

变送器独立接口(TII)协议有不同的应用方法且存在实施差异,需要对其进行建模、分析和验证.文中针对不同通道类型,建立层次化的TII协议有色Petri网(CPN)模型;采用数据传输平均延时、通道利用率、数据传输速率、数据帧丢失率作为性能评价指标,借助CPN Tools仿真软件对模型进行了性能分析;讨论了接口速率、采样速率比、采样数据长度、缓存队列长度等接口参数对性能指标的影响,提出了可控连续采样、增加通道数据长度、虚拟多通道、后进先出缓存及先进先出丢包等提高模型性能的方法与措施.该模型的实际应用表明,当STIM的通道类型为带缓存数据序列型时,数据帧丢失率为0,数据传输速率为1500B/s,数据传输平均延时为0.21ms.     

基于QoS的网格服务匹配随机Petri网模型

提出了随机Petri网网格服务质量模型,对网格调度实体和过程进行抽象和简化;图形化地反映当前网格资源分派状况,利用经验学习的方法对网格服务进行匹配,并对网格服务质量进行了定量分析.为网格服务质量评价提供了一个定性和定量的评价方法,对于减少网格服务资源冲突、提高服务质量具有重要意义.     

基于Petri网的工作流建模及时间性能分析

为求得与实例到达率相关的工作流模型平均完成时间,对Petri网模型进行了扩展,定义了扩展时延Petri网,分析了工作流串联、并联、选择、循环4种基本模型,给出了利用排队论和随机Petri网理论计算工作流模型时间性能指标的新方法。应用该方法对工作流4种基本模型的实例进行时间性能评价,并在Exspect环境进行了模拟测试。实验结果表明,在4种模型中最大相对误差在2%左右,从而证明基于扩展时延Petri网的方法是分析工作流系统时间性能的有效方法。