一种新的移动事务处理模型

在移动数据库系统中,移动计算的特点决定了传统事务处理模式不再适应.采用乐观执行与两阶段提交相结合的方法,对移动事务处理方法进行了新的研究.为支持计算平台的断接性、长事务特征,提高断接事务的全局提交率,提出了一种支持断接操作的移动事务处理模型.模型在模拟平台上性能良好,对移动环境具有更好的适用性.     

UCSagas:使用控制模型中的一种长事务模型

使用控制被称为下一代的访问控制方法,其模型UCONABC的事务处理功能还有待完善.Sagas模型是专门针对长事务的一种高级事务模型.在对UCONABC模型中活动、状态和引用监视器的研究基础上,以Sagas模型为基础,提出了UCON模型的长事务模型--UCSagas模型.该模型弥补了Sagas模型的一些缺陷,解决了属性更新的不一致性和并发问题,提高了资源的利用率,同时也增强了UCON模型的长事务处理能力.最后用实例验证了该模型的可行性.     

基于任务的动态角色约束关系研究

为了能更加充分地表达现实世界中复杂的、动态的访问控制授权关系，提出了一个基于任务的动态角色访问控制模型——TD-RBAC。采用扩展谓词任务模型描述并发事务逻辑，在基于子任务的并发执行活动网络模型上分析出各个子任务之间的动态约束关系，从而在传统RBAC模型基础上扩展了动态的角色约束关系。性能评估分析结果显示TD-RBAC模型在分布式并行计算环境下具有较好的访问控制效率。     

一种新的支持断接操作的移动事务处理策略

针对移动计算环境的特点,为有效地支持移动计算环境下移动客户机的移动性、断接性和跨区切换性,降低事务的撤销率,提出一种基于乐观并发控制的移动事务处理模型。分析与实验表明,本模型在移动计算环境中具有很好的适应性。     

事务处理技术的研究综述

本文从事务处理的定义出发,首先阐述了事务处理技术的起源与发展,总结了并发与恢复两个核心技术的研究现状,然后探讨了传统的事务模型,接着分别讨论研究了各种高级事务模型,分析了相关研究的进展,最后展望了其未来研究方向及面临的挑战。     

基于JTA的跨数据库分布式事务的实现

应用系统开发中,事务是一个不可或缺的组件模型,保证了用户操作的ACID属性。对于跨数据库的大型应用,必须使用分布式事务。JTA为J2EE平台提供了分布式事务服务,讨论JTA的体系架构,通过示例介绍其实现机制。     

移动事务处理模型的设计

移动计算环境的特殊性使得在设计移动数据库系统中需要考虑诸多传统计算环境下不需要考虑的问题，如客户机的移动性、弱连接性，数据一致性等问题.因此如何使服务器能够完善地处理好移动事务，即设计一个支持移动计算环境的移动事务模型成为了移动数据库技术中的一个非常重要的研究课题.针对移动计算环境的特点，以证券业务为研究背景提出了一个移动事务模型及其事务处理协议.此模型通过在移动代理层采用事务队列机制，及在服务器层采用基于锁表的多粒度锁并发控制机制来有效地支持移动计算环境.     

分布式事务在电子病历数据中心设计中的应用

针对异构EMR系统不同的数据库问实现数据共享的问题,提出了一种利用分布式事务处理机制在多个异构数据库间实现数据的一致性的解决方案．介绍了利用该方案的电子病历数据中心系统架构和具体的实现方法,并给出了部分代码．该分布式事务处理的机制还可以广泛应用于其他第三方数据中心的系统集成上．     

基于扩展π演算的长事务处理形式化描述

为了形式化描述复杂的长事务处理过程,在简要介绍Web服务长事务基本概念和π演算语法及语义的基础上,提出了一种扩展的π演算模型,该模型不仅刻画出长事务的处理机制,而且解析了长事务的出错及补偿机制,使长事务处理过程更加清晰和直接.     

CORBA中对象事务服务研究与实现

介绍了事务概念及其原子性、一致性、隔离性、持久性,阐述了保证事务ACID属性的两阶段提交算法;对CORBA中对象事务服务框架进行了研究,通过对规范中各个对象及其接口的分析,论述了OTS面向对象的分布式事务处理机制;最后给出了服务中事务工厂、控制器、协调者、资源等对象基于可移植对象适配器的实现。     

股价动力学成交量进程转换研究

在连续成交量的股价动力学模型假设下,提出了将连续的成交量进程理论推导为连续的时间进程;通过离散化处理,将连续微分方程转换成可供实证研究利用的模型。转换后的模型能表现出异步交易特性,也能表现出股票收益与成交量的非线性关系,而且能表现出股票收益波动率与成交量的非线性关系。该模型为研究金融复杂性提供了一种思路。     

虚拟电能交易驱动的光储聚合商容量优化配置

近年来，在双碳目标、新型电力系统的背景下，近乎零边际发电成本的分布式清洁能源装机得到迅速发展。然而，如何研究含分布式清洁能源“产消者”之间能源交易机制及这种交易行为对规划的影响面临重要挑战。针对含光伏和储能的光储聚合商之间交易行为影响，提出了一种基于虚拟电能交易驱动的光储容量优化配置方法。首先，以光储聚合商效益函数为基础，构建了光储聚合商之间的电力交易协商过程与撮合机制，以产生电能定价并模拟一定容量配置下系统优化运行状态；其次，考虑多个聚合商分散交易行为对容量配置的影响，建立考虑虚拟交易影响的光储聚合商容量优化配置模型，该模型将交易行为的影响以交易成本的形式融入运行构成，以光储容量配置成本与运行成本最小为目标函数，通过交易规划约束保证系统的安全性；最后，仿真结果发现：本文提出的光储聚合商效益函数能够指导光储聚合商之间的交易定价行为，模拟分散交易，电能的价格和负荷水平受到储能与光伏容量配置的影响；通过考虑交易定价机制对光储容量配置的影响与优化引导效果，得到了聚合商经济性最优的容量配置方案，满足负荷正常消耗并避免了储能规划投资上的浪费。本文为含可交易能源的光储聚合商交易层面提供了定价策略，为考虑分布式清洁能源交易影响的光储容量优化配置方法提供了有效一定参考。     

含交易费用投资组合模型的建立

交易费用是证券投资过程中的一个重要问题,也是投资者在金融市场所要考虑的一个重要因素,忽视交易费用的存在也许将导致非有效的证券投资组合。本文分别给出了考虑交易费用的投资组合MV模型、MAD模型以及MM模型,对交易费用我们采用能反映交易费用边际特征的非线性凹函数,讨论模型的特点,并对相应模型的求解方法进行讨论。     

分布式事务的并发控制机制的研究

分析了在分布式系统中事务的并发控制和死锁问题,对相应的解决方法进行了 和研究,并在此基础上提出了实际解决方法。     

移动Agent技术在分布式数据库系统中的应用

针对目前C／S模式下的分布式数据库的各种问题，提出基于移动Agent的分布式数据库系统结构；同时对基于移动Agent的分布式事务处理和分布式数据库查询作了一些研究。     

云服务组合交易模型研究

随着用户需求的日益复杂和多样化,单一形式的云服务无法满足其需求,将单个的云服务集成为功能更强大质量更优的服务成为必要的解决途径。从多层次云服务角度出发,提出了云服务组合交易模型,实现了同一层次不同云服务提供商之间、不同层次服务提供商之间的服务组合,并探讨了云服务组合交易和第三方服务组合交易管理方法,为云服务组合的研究提供参考。