学生事务理论体系建设研究

学生事务理论体系建设由两部分组成,一是学生事务自身具有的、区别于其它领域的独特理论体系;二是将其它学科与学生事务工作相关的理论引入学生事务领域,使其它学科理论与学生事务相结合,形成学生事务新的跨学科理论内容。目前我国的学生事务理论体系建设尚显滞后,应当通过建立学生事务学术研究队伍和学生事务专业建设、学科建设等方面推进。     

SQLServer自治事务实现方案探析

Oracle对嵌套事务处理除了支持事务的一致性外,还支持自治事务,即嵌套事务可以自己处理内部事务不受外部事务的影响。而SQLServer则没有实现类似Oracle自治事务的指定方法。本文主要是对SQLServer实现自治事务的方法进行研究与测试,探究SQL Server能否实现自治事务,以及自治事务的使用规则。     

一种移动数据库环境下的提前提交并发控制策略

在深入研究传统的移动环境下的并发控制策略的基础上,提出了一种基于客户端事务提前提交方法的并发控制策略.该策略将移动事务分为提前提交事务和请求事务,当通信链路断接时,提前提交事务可以在本地进行提交,无需等待与服务器重连接,而请求事务必须等到重连接后在服务器上提交.因此该策略减少了更新事务的提交等待时间和事务被丢弃的几率,节省了处理和通信资源.同时,通过已有的可串行化理论证明该策略能够保证移动事务的可串行执行.     

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

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

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

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

一种确认控制的形式化方法

提出了一种基于事务的确认控制形式化方法.该方法在数据流图的基础上引入了数据流事务的概念,通过施加控制数据流规则和FSM语法,将数据流事务转换为FSM事务,消除了数据流图的歧义性;同时,将有限状态机作为FSM事务的控制原语,使事务的控制部分得以形式化,从而可实现确认控制自动化     

工作流高级事务模型ESaga的实现与验证

对传统高级事务模型Saga进行扩展和改进的高级事务模型ESaga,建立在CORBA对象事务服务模型(OTS)基础之上.不仅为Saga模型增加了分布式事务支持,而且应用多A-gent技术进行优化,很大程度上弥补了Saga模型补偿事务过于复杂的不足,使Saga模型能够应用到现实工作流系统中解决长事务问题.现给出与ESaga模型实现相关的平台,长事务处理接口定义,事务Agent的部分定义、算法,及其验证结果.     

雄安新区涉水事务一体化风险管理

涉水事务与经济、社会、生态环境关系密切，面临的风险种类多样，各种风险之间的相互关系复杂，对涉水事务进行有效的风险管理至关重要。该文构建了涉水事务一体化风险管理模型，该模型在理论层面可帮助理解涉水事务、风险管理步骤和信息技术之间的联系，在实践层面可以指导水务部门建立一体化风险管理体系，从而全面、协同、高效管理涉水事务风险。通过对雄安新区涉水事务风险进行调研发现，雄安新区涉水事务的主要风险可以分为洪涝灾害、水生态环境问题、水资源短缺问题、水务工程建设与运营管理风险。雄安新区涉水事务风险管理应建立涉水事务一体化风险管理机制，运用现代化技术开展全流域风险监测，加强涉水事务一体化全过程风险管理。     

一种实时数据库系统的多版本两段锁的并发控制协议

详细讨论了与并发控制有关的实时数据和实时事务的各种特征以及分类,主要包括：实时数据对象可分为映像对象、导出对象和不变对象;实时事务按功能分类可分为数据接收事务、数据处理事务和控制事务;数据接收事务和控制事务是硬实时事务,是不能等待和阻塞的．然后,根据这些特点对传统数据库系统的多版本并发控制机制进行了扩展,提出了实时数据库系统的多版本两段锁及多版本带夭折两段锁协议,且证明了两者都是冲突可串行化的．前者对于只读事务是没有延迟的,对于硬实时事务的延迟也很小;后者对硬实时事务不产生任何延迟,这两个协议都能较好地保证实时事务和实时数据的定时限制．     

确定性分布式数据库中长事务处理方法研究

确定性分布式数据库Calvin在执行长事务时,面对长事务中交替出现的读写请求,容易发生读写冲突,并且长事务会导致缓冲区置换频率升高,这些会影响系统的吞吐量。提出一种基于数据访问规则的事务处理方法与一种事务访问文件。基于数据访问规则的事务处理方法通过对事务间的读写集合进行分析,利用数据记录更新映射表来生成事务的数据访问规则。事务访问文件对历史事务更新数据进行整理,有效降低缓冲区置换频率。实验证明,改进方法可以有效降低长事务对确定性分布式数据库Calvin吞吐量的影响。     

不确定性风险、事前投资与期货交易

基于事前专用性投资的套牢问题，建立了一个上下游企业的交易模型.运用最新的合同经济学理论，分析了企业可能面临的3种交易模式：市场交易，事后再谈判剩余的交易模式；合约交易，双边的合约交易模式；期货交易，多边的合约交易模式.结果表明：前2种交易模式，由于不能避免专用性投资的收益共享，造成了上下游企业的投资不足问题；第3种交易模式将专用性投资的一部分风险转移到了第三方，使上下游企业的期望收益仅依赖于各自的投资水平，即上下游企业与第三方分别签订了一份独立于自然状态的选择权合同，而此种交易机制可以消除事前投资的无效率；期货市场的存在有利于上下游企业的经济活动.     

分布式在线事务处理及其优化

对分布式在线事务处理系统中的事务模型和事务处理及其优化工作作了较为详细地讨论和研究．在静态优化中,对串行、并行和混合方式的事务处理提出了一种完整、有效的估算代价的方法,即寻找一个从事务树节点集到分布环境中的主机集的映射,并是所有映射中使该事务树的代价为最小映射．动态优化则根据当前网络运行情况选择执行事务的最佳方案．本文的工作将对在分布式在线事务处理的理论研究与实际应用有着较为重要的意义．     

一种区块链交易信息的隐私保护方案

针对区块链用户交易的隐私性问题,提出了一种基于多项式承诺的交易隐私保护方案(transaction privacy protection scheme based on polynomial commitments, TPP-PC)。利用多项式在随机点处的承诺值对交易金额进行隐藏和绑定,实现对用户交易金额的隐私性保护,并且降低承诺开销;采用智能合约和零知识证明,在无可信第三方的情况下,在智能合约处利用零知识证明验证交易的合法性,有效防止交易金额在传输过程中被篡改,达到交易金额始终正确的效果;通过Paillier同态加密算法,实现在密文状态下完成账户更新,保证交易金额在存储过程中的安全。通过对方案正确性、安全性和性能的分析,表明方案既能对交易数据进行加密,又能实现用户链下交易信息的隐私,有效防止恶意者篡改数据,保证交易双方交易信息的安全性,综合优势较明显。     

中间应用服务器中分布对象事务服务管理技术研究

以“八六三”课题“基于Web的应用服务器集成框架研究”中的对象事务管理系统为基础,提出了基于CORBA分布式应用体系结构的对象事务服务管理系统模型。该模型由传统的事务处理技术结合分布对象技术发展而来,并且在中间应用服务器中实现了对象事务管理子系统。由于它本身是作为基于Web的中间应用服务器的一部分,因此能够很好地满足Web环境下的分布式应用需求。     

一种基于两级事务模型的先提交协议

将集中数据库中的多级事务模型引入多数据库中，使之成为两级事务模型．分析了一种提交协议：局部数据库的全局子事务先于全局最终决定提交，简称先提交协议．指出先提交协议十分适合两级事务模型，能取得很高的并发度     

WTO背景下的中国农地流转制度创新方向

WTO相关原则及中国政府的承诺对农地流转制度创新提出了流转主体的经济性和平等性、流转客体的完整性和明确性、流转过程的规范性，流转管理的统一性、透明性和服务性及流转行为的市场性要求．     

少数民族地区分工与交易效率研究

通过建立少数民族地区分工模型,研究了少数民族地区分工演进与交易效率、交易费用的关系,得出了分工演进与交易效率正相关的结论,提出必须采取措施提高少数民族地区的交易效率、减少交易费用,推动少数民族地区分工的演进,进而促进少数民族地区的经济增长.     

交易费用及其社会功用分析

分析了现代社会交易费用的构成与特征，并对有限理性的契约人寻求降低交易费用的动力机制从而促成交易活动进行了讨论。分析了交易费用与社会经济增长的关系，探讨了交易费用对促进社会秩序形成的社会功用。     

Analysis of Specialized Production of Transaction Services Based on Essential Services Quantity

The specialized production of e-commerce transaction systems is an important research topic,which is of great significance for evaluating the development level and forecasting the development direction of e-commerce.However,there is a certain disparity between the current mainstream research model and reality,which leads to a deviated result.This paper puts forward a definition of "transaction efficiency" based on essential transaction services and establishes a model of the middleman's specialized production decision of transaction services.The research result shows that(1) transaction efficiency plays an important role in improving the middleman's specialized production level,(2) only when the transaction efficiency is higher than a certain threshold will the distribution middleman appear,and(3) the degree of economic specialization,price of commodities and transaction services,and other associated factors also affect the evolution of e-commerce transaction systems.     

基于交互确认机制的公平电子现金交易协议研究

公平性是电子现金交易协议应满足的重要属性,信道不可靠和交易实体不诚实是破坏交易公平性的主要原因。针对于此,借鉴不可否认转换签名的思想,构建交互确认机制,并基于改进的CEMBS可验证算法,提出一种新的公平电子现金交易协议,并对协议属性进行分析。分析表明,该协议有效解决上述原因引起的交易不公平问题,在满足公平性和匿名性的同时,可有效避免交易的模糊状态。