移动计算中断连操作性能的改善方法

在移动计算环境中，断连后，移动客户机根据缓存的数据在本地执行事务，重新连接后，移动客户机中的事务作为暂态事务提交给固定主机重新执行．如果移动客户机与固定主机的读／写、写／写冲突机率很高，则暂态事务在固定主机上成功提交的概率就很低，大量的暂态事务就会夭折，这将浪费大量的服务器资源和通信资源，从而降低整个系统的性能．为了提高暂态事务重提交的成功概率，本文提出按概率提交暂态事务的方法．该方法在冲突频率非常高的场合，能够节省移动客户机的传送开销，减轻固定主机的负担，提高事务的吞吐量。     

移动分布式实时数据库系统的事务处理

提出DMVOCC-MDA协议处理移动分布式实时事务。协议采用多版本乐观方法,使用多版本动态调整串行次序技术。移动分布式事务局部有效性确认分为2个阶段:第1阶段在移动主机上进行,使用向后有效性确认机制,对服务器上个广播周期提交事务进行有效性确认;第2阶段在服务器上进行,通过局部有效性确认的移动事务,提交到服务器进行局部最终有效性确认。在全局有效性确认中对分布更新事务进行检查,以保证分布串行性。移动只读事务能无阻塞提交,降低移动只读事务的响应时间,消除移动只读事务和移动更新事务的冲突,避免不必要的移动事务重启动。在移动主机上及早地检测数据冲突,节省处理和通信资源。实验结果表明,DMVOCC-MDA协议与其他协议相比,错过率和重启动率低,提交率和吞吐量高。     

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

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

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

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

偏斜广播的两层可串行化移动实时并发控制

针对偏斜数据广播系统,提出两层移动实时事务模型,允许把移动实时事务分解为多个事务帧,以便以帧为粒度更精细地管理移动实时事务操作的并发执行.提出可动态调整帧串行化顺序的并发控制协议BCCDSS,避免不必要的帧夭折,尽可能早地在移动客户机端检测帧数据冲突,并减少须夭折的帧操作,让须夭折的移动事务帧尽早夭折,从而大大提高移动实时事务处理效率.对BCC-DSS协议的性能进行了评价,结果表明BCC-DSS协议能显著改进无线移动实时事务的平均响应时间、重启率和超期率.     

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

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

主机系统安全实时风险量化评估方法的研究

为了评价主机系统的安全风险变化,建立了一个描述主机安全状态的隐马尔可夫模型.利用该模型计算主机处于被攻击状态的概率,分析了影响攻击执行过程的因素,提出了一种计算攻击成功概率的方法,并最终计算主机系统的风险指数.该方法可以动态获取主机系统的风险态势曲线,有利于指导安全管理人员调整安全策略.     

基于谓词冲突图的死锁检测

在分布式多数据库环境下,局部站点数据库自治性使其只能对本地站点上事务进行并发控制而无法防止全局事务间的冲突和死锁发生,故采用谓词冲突检测技术来判断全局事务间的直接和间接冲突,为此,提出了多粒度的谓词冲突图构建方法,从而使并发控制粒度达到谓词级,分析了冲突的全局事务在谓词冲突图中形成死锁的各种情况并通过检测图中是否形成环来避免全局事务在执行中可能产生的死锁,不仅减小死锁冲突检测粒度,而且还提高了全局事务执行的并发度.     

利用Delphi开发CORBA应用程序

通过分析 CORBA 应用程序结构,在 Delphi 环境下,通过具体实例,详细介绍了利用 Delphi 开发基于 CORBA 技术的分布式应用程序的方法。通过分析,得出 CORBA 技术的核心,CORBA 系统引入了中间件的概念,即事务代理,由中间件完成客户机与服务器之间的通信。CORBA 客户机可以在运行时动态获得服务对象的位置,并且可以对多个服务对象提交事务请求。     

一种基于两阶段封锁的分布式实时提交协议

分析了当提交状态参与者允许执行状态的参与者访问其数据时,由数据冲突访问而引起的各种依赖关系,提出了一种基于两阶段封锁的乐观提交协议(OCP).让参与者先发送一个WORKSTARTED消息来代替WORKDONE消息,考虑依赖关系,允许只包含提交依赖的访问者发送WORKSTARTED消息来解除阻塞,从而减少了事务提交的处理时间,也消除了级联撤销.     

Improved area-difference-based recovery information placement

<正> In mobile computing systems,message logging can be used to provide fault tolerance for mobilehosts.Due to the mobility of mobile hosts,their recovery information,including logged messages andcheckpoints,may spread throughout mobile support stations.During recovery,there will be a considerablecost for the collection of recovery information.To speed up recovery and to reduce the failure-freeoverhead,an improved area-difference-based scheme is proposed.It tries to keep recovery informationevenly spreading over an area.Only part of recovery information needs to be migrated for controlling thedistribution of recovery information.To reduce the migration cost,a light-weight migration is also proposed.In the performance study,we give an analysis of the probability that the light-weight migrationtakes place.     

支持移动更新的弱可串行化实时并发控制

研究了非对称通信数据广播环境中的一致性问题,提出使用弱可串行化正确性准则．形式化定义了弱可串行化这种新的正确性准则,证明了弱可串行化比冲突可串行化宽松且能始终保证数据库的一致性,给出了保证弱可串行化的充分必要条件．基于时标段排序原理,提出了可在移动客户端同时支持更新事务和只读事务的弱可串行化实时并发控制协议WBCC—MUR．通过性能评价实验验证了新协议的有效性：WBCC—MUR协议能有效改进移动事务的平均响应时间、更好地满足数据广播环境中高性能事务处理的要求．     

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

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

一种新的检测磁盘、磁头综合性能的自动测试系统

本文介绍了一种新的检测磁盘及磁头综合性能参数的自动测试系统。本系统用硬件和软件相结合的方法,解决了高速A/D转换关键问题中所采取的二次存贮技术及自动测试和数据处理的GP-IB接口技术问题。本系统能按国家标准及国际标准对磁头、磁盘的性能进行自动检测和分析。     

移动无线环境下两阶段提交协议的研究

针对移动无线环境下,传统2PC协议面临的断线、切换等一系列问题,在保留2PC协议的原则基础上,提出了一种新的M-2PC协议(移动2PC).通过协调者/参与者代理的方式,保证了分布式事务在移动环境下能够持续提交.为移动客户和服务器提供了更多的自由空间,从而减少无线通信中的不可靠影响.     

我国农村信用社客户信用评级系统研究

客户信用评级系统是银行业为规范授信业务、降低贷款风险而采用的内部评级系统,用于对被评级对象履行还款责任的能力及其可信任程度进行客观公正的评价。建立信用评级体系需要考虑的主要因素是违约概率,用于测算违约概率的评价指标设置的科学性与合理性是系统有效的关键。农村信用社与商业银行虽然同样面临信用风险,但由于二者的服务对象不同,评级指标体系应有所差异,商业银行的信用评级方法不能直接适用于农村信用社。本文综合利用因子分析、聚类分析、多元排序选择模型及Logit模型对农村信用社内部评级系统进行了探讨,并对模型的有效性进行了检验,系统总体可行,但仍需进一步修订完善。     

A Fault Detection Mechanism in Erasure-Code Byzantine Fault-Tolerance Quorum

Fault-tolerance is increasingly significant for large-scale storage systems in which Byzantine failure of storage nodes may happen. Traditional Byzantine Quorum systems that tolerate Byzantine failures by using replication have two main limitations： low space-efficiency and static quorum variables. We propose an Erasure-code Byzantine Fault-tolerance Quorum that can provide high reliability with far lower storage overhead than replication by adopting erasure code as redundancy scheme. Through read/write operations of clients and diagnose operation of supervisor, our Quorum system can detect Byzantine nodes, and dynamically adjust system size and fault threshold. Simulation results show that our method improves performance for the Quorum with relatively small quorums.     

移动计算中基于位序列的低延迟缓存失效方案

移动计算中基于位序列的低延迟缓存失效方案采用最新值的一致性模型,在这个模型中,客户机必须总是访问数据项的最新值．当客户机不做缓存并且服务器总是广播最新值时,数据的一致性等级会自然提升．当客户机进行缓存时,必须采用一定的技术来维持最新值一致性．因此,在位序列方案的基础上,引人中间失效报告以及请求数据广播的方法大大降低了查询延迟,提高了带宽利用率,从而降低移动客户端的能耗．     

基于有限坍塌宽度的层理性泥页岩地层井壁稳定性评价

 钻井工程中一般允许实钻井眼存在有限宽度的崩落区域,如按传统井壁稳定理论模型进行设计会导致钻井液密度偏高、钻井成本增加、钻井效率降低、钻井液漏失甚至地层破裂等一系列问题。针对脆性层理泥页岩地层特性,根据测井资料和测试数据进行地质力学建模,利用基于有限坍塌宽度的定量风险分析方法合理地评估井壁稳定概率,优选钻井液密度窗口。以中国西部某油田泥页岩地层钻井实例进行分析,在基于有限崩落存在的情况下,通过定量分析方法在井壁稳定段及失稳段对钻井液密度窗口进行动态优化,可以提高机械钻速,降低钻井成本,评估的井壁稳定概率可达91%~98%,计算结果与实际情况基本吻合,说明该方法具有重要的工程价值和实际意义。