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

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

分布式主动实时事务预分析与预测的集成框架

为改善分布式主动实时数据库事务处理的可预测性,提出了一种新的基于树的事务语义模型,并基于该模型提出了一个分布式主动实时事务预分析处理与动态预测的集成框架,包括事务生成时的静态预分析、事务接纳时的初始动态预分析和事务运行阶段的即席分析与预测,它可以有效地支持分布式主动实时事务的静动结合分析,改善事务处理的实时性能．     

实时事务功能替代集的研究

主要研究了基于功能替代集的实时事务的模型,并讨论了功能替代集本身所具有的特性以及实时事务预分析的步骤,同时提出了实时事务预分析的算法,该算法直接引入了链表数据结构,比原算法节省了队列的存取步骤,提高了系统的执行效率。     

实时事务的可预报性研究

结合ＡＲＴｓ－Ⅰ的研制过程，提出了影响实时事务可预报性的关键因素，给出了一种实时事务的预处理方法．该方法可以获取实时事务对数据库存取行为的有关信息．当事务开始运行时，便可基于这些信息为实现实时事务的可预报性提供有力支持．     

CBS算法在混合实时事务调度中的应用研究

面向混合实时事务调度的问题,本文提出了一种基于CBS算法的混合实时事务调度器。文中利用CBS算法实现了软实时事务调度器,它可以有效的调度软实时事务。仿真测试是实时事务调度研究与性能分析中的重要一环。实验结果表明,本文提出的调度器可以有效的降低软实时事务的截止期错失率。特别是对于那些最坏情况执行时间难以估计或者最坏情况执行时间过大的事务,比基于其他算法的混合实时事务模型有更好的性能。     

实时事务的可预报性研究

结合ＡＲＴｓ－１的研制过程，提出了影响实时事务可预报性的关键因素，给出了一种实时事务的预处理方法，该方法可以获取实时事务对数据库存取行为有关信息，当事务开始运行时，使可基于这些信息为实现实现事务的可预报性提供有力支持。     

实时数据库的事务处理

本文在介绍了实时数据库（RTDB）之后，分析了RTDB事务的特征，给出了RTDB事务优先级分配的几种方法，并针对事务并发调度中出现的“优先级颠倒”情况，提出了相应的改进方案。     

基于抢占阈值的嵌入式实时数据库事务调度

提出了一种嵌入式实时数据库事务处理模型，把抢占阈值应用到固定优先级可抢占的实时事务调度之中，并提出了一种冲突避免的实时事务并发控制协议，使实时事务调度和并发控制高度集成，降低了系统的事务管理开销．通过事务的可调度性分析，给出了可行的调度模型应具备的条件和相应调度参数的分配算法．     

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

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

一种并行实时数据库动态平衡算法

在探讨并行系统环境中影响实时事务执行时间3个因素：工作负载、数据的获取以及事务调度等的基础上。利用启发策略并采用新的数据迁徙及事务迁徙技术，提出了一种并行实时数据库动态平衡算法．在PRTS系统上实现了该算法，从加速比和实时事务执行成功率两个参数上论证了该算法的可行性和优越性．     

一种改进的事务提交机制

结合文献[3,4]以及已有的一阶段提交协议,提出一种改进的Early no Prepare（ENP）协议.该协议消除了两阶段提交协议（2PC）中的处理消息阶段,参与者无需向协调者发送提交消息,子事务可自行决定提交或是终止,不必等待协调者的最终命令,从而降低消息复杂度和日志复杂度,保证了状态的一致性.     

JDBC数据库连接池中事务处理的研究与实现

JDBC驱动程序提供的连接类实现了事务控制机制,为了实现多任务多用户的操作,本文提出了一种禁用自动提交模式,该模式把对事务的控制权转交给程序开发人员,由程序员决定在适当的时候调用连接对象的适当方法来完成事务的任务。     

Pessimistic Predicate／Transform Model for Long Running Business Processes

Many business processes in enterprise applications are both long running and transactional in nature. However, no current transaction model can provide full transaction support for such long running business processes. This paper proposes a new transaction model, the pessimistic predicate/transform (PP/T) model, which can provide full transaction support for long running business processes. A framework was proposed on the enterprise JavaBeans platform to implement the PP/T model. The framework enables application developers to focus on the business logic, with the underlying platform providing the required transactional semantics. The development and maintenance effort are therefore greatly reduced. Simulations show that the model has a sound concurrency management ability for long running business processes.     

利率互换交易的几点分析

在分析国内利率互换交易现状的基础上，本文从理论上讨论并给出了利率互换交易的基本模式、实现前提及双方互换固定利率的确定，以期促进这一新型金融业务在我国的发展。     

基于交易字典的通用动态交易程序构件的研究与实现

为了提高银行综合业务系统中交易程序开发的效率,减少开发人员的开发工作量,解决交易程序在开发过程中对具体交易的流程控制以及对交易数据的一致性、安全性和完整性等方面依赖性过大的问题,本文介绍了一种基于交易字典的通用动态交易程序的设计与实现方法,利用构件技术封装了通讯接口、流程控制和交易数据的维护和管理功能,把交易程序开发人员从处理繁杂的交易流程控制和交易数据的维护和管理中解脱出来,使交易程序的开发对程序员来讲既简单灵活又易于掌握.     

一种基于事务冲突图的并发控制方法

提出了一种基于事务冲突图的并发控制方法．事务在执行前要提交其读集和写集，系统根据事务的读集和写集构造出一无圈的事务冲突图，并根据事务冲突图进行并发控制．这种并发控制方法具有对数据库无结构要求、无死锁、非两阶段等优点．讨论了其集中式并发控制方法和分布式并发控制方法．     

移动分布式数据库系统中合作事务恢复技术

形式地给出了合作事务定义及事务间由于消息交换而形成的各务间的检验点依赖和恢复依赖，基于这些定义，某一事务记检验点时，所有检验点依赖于该事务也记检验点，当某一事务恢复时，所有恢复依赖于该事务的事务也恢复到其检验点的状态，开发了一种适合于移动环境的事务恢复技术，；在事务正常的消息传送中，通过额外的一点带宽附加传送事务间的依赖关系，在事务记检验点时，尽可能并行地通知所有相关的事务记检验点，实验表明，该事务恢复技术能减少系统检验点的响应时间，提高系统的恢复速度及系统吞吐率，对网络带宽的要求基本没有增加。     

“厂网分开、竞价上网”电力市场化改革的交易成本

在分析我国电力行业改革现状的基础上，结合我国电力工业的特点，运用交易成本理论分析我国电力行业“厂网分开、竞价上网”改革前的内部交易成本和在完全电力市场条件下的市场交易成本，并用图像和数学相结合的方法对这两种成本进行刻画和定量比较，最后将比较的结果基于经济学原理进行数学分析，得出了电力行业“厂网分开”的经济学条件：即电厂处于规模报酬递增时，这种改革是没有经济意义的；在规模报酬递减阶段，这种改革也应分步骤逐步实行。     

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

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