一种动态调整串行化顺序的实时并发控制协议

实时并发控制协议用来控制并发事务间的相互作用,已满足实时数据库的一致性.本文提出一种四阶段实时并发控制协议HTRCC-DASO,协议在读或等待阶段基于事务优先级动态调整串行化顺序,通过阻塞或及早重启低优先级事务,使高优先级事务率先提交并降低事务重启开销.在验证阶段检查事务读写集合的外部一致性和相互一致性并调整活动事务的时间戳间隔,确保满足事务时态一致性和调度冲突可串行化.通过引入相似性概念,提出了HTRCC-DASO的改进版本:SHTRCC-DASO,性能测试结果显示,SHTRCC-DASO协议能保证良好的实时性能.     

FM-Que移动事务模型

在移动计算环境中，传统数据系统的事务处理模型不能较好地支持移动事务的处理，故有必要研究支持移动计算环境的移动事务模型及事务处理协议。针对移动计算环境的特点，提出了FM-Que移动事务处理模型及其处理协议。FM-Que模型通过采用事务队列机制，固定子事务和移动子事务思想来支持事务移动性和频繁断接性，采用多版本预提交方式来维护数据一致性。     

分布事务服务的一致性测试

作为J2EE应用服务器重要组成部分的分布事务管理器主要用于提供分布环境下的事务处理能力。文章拓宽了协议一致性测试的理论和技术的应用范围，探讨了分布事务服务的一致性测试，也给出了分布事务服务的形式化描述和非基于经验的测试序列的生成方案。     

移动实时数据库系统中的更新分发

数据广播作为移动计算环境下有效的数据分发技术已有许多研究，当数据广播用于发送不断更新的数据时称它为更新分发．现有的更新分发协议因没有考虑实时数据库系统中数据和事务的定时要求而不适合移动实时只读事务的处理．重点研究了移动实时数据库系统中更新分发的问题，提出了混合前向多版本数据广播协议，该协议在保证事务一致性的同时满足了数据和事务的定时约束．模拟实验表明，该协议能够有效地降低事务错过率和提高数据流行性，较现有更新分发协议更适合移动实时只读事务的处理．     

传统事务模型的并行性

1 前言在数据库管理系统中事务是一个非常重要的概念,它具有一致性(Consistency)、原子性(Atomicity)、持久性(Durability)和独立性(Isolation)等特点。为了在保证事务的这几个特性的同时又能使系统具有很高的吞吐量,人们提出了很多的并发控制技术,其中最基本的技术为锁技术和时间印技术。锁技术是建立在可串行化理论的基础上,通过对数据的互斥存取来保证可串行性,即当一个事务存取一个数据项时不允许其它事务修改这个数据项。每个事务在存取一个数据项之前必须获得这个数据项上的锁;而时间印协议不需要锁的概念,对于系统中的每个事务,我们都为其分配一个时间印,不同的事务具有不同的时间印。由于时间印协议使得冲突操作按照时间印的顺序被处理,因此时间印协议保证了冲突可串行     

一种新的实时事务并发控制方法

本文提出一种新的实时事务并发控制方法，并对其性能进行了模拟评测；与锁式协议，乐观协议，基于时间戳的协议相比，它可以获得更新的并发度，与诸如ε－可串行比、△－可串行化等一致性的放松可串行化并发控制技术相比，它维护强一致性，保证严格可串行化。     

分布式数据库两阶段提交协议研究与改进

分布式数据库具有可靠性和并行性等优点。在实现分布式数据库的过程中需要解决的最关键的问题是保证分布式事务的原子性、一致性、隔离性和持久性。两阶段提交协议可以解决这个问题,但是也存在一些缺陷。研究分布式数据库的事务处理机制,对基本两阶段提交协议所存在问题做了详细的分析并提出了一种两阶段提交协议的改进方案。     

IPv6协议一致性测试例的设计

文中给出了协议一致性测试的测试例的基本框架结构和测试例设计的一般步骤，针对IPv6协议的特点提出了IPv6协议一致性测试的测试例设计方案，应用这个方案设计了PMTU发现协议一致性测试的测试试例，对几种不同的IPv6协议实现进行了测试，并给出了测试结果。     

移动广播环境中的可串行化并发控制协议

研究了非对称通信数据广播环境中的一致性问题．PVTO协议中数据冲突的检测过于严格，存在很多不必要的事务夭折，限制了其并发度；O—PreH协议中数据冲突的检测过于宽松，必要的事务重启要等待服务器校验，浪费了大量昂贵的上行通信带宽．提出了一种新的可串行化并发控制协议BCC—SR．BCC—SR协议将时标段排序和乐观方法相结合，使用了恰当的校验条件，既避免了不必要的事务夭折，又可尽早处理必要的事务重启，节省了系统资源，提高了并发度．实验结果表明，BCC—SR协议能有效改进移动事务的平均响应时间，更好地满足数据广播环境中高性能事务处理的要求．     

一种改进的分布式实时事务调度协议

分布式实时事务调度协议用于实现事务间读写的并发控制,以满足事务的一致性与隔离性要求.本文改进了动态调整时间间隔的乐观并发控制协议,提出了一种分布式实时事务调度协议DOCC-DATI,协议分为读阶段、等待阶段、准备阶段和提交阶段.协议在读阶段和等待阶段利用事务的优先级信息,动态调整事务的串行化顺序,使高优先级事务优先进入验证阶段,并通过阻塞机制避免部分低优先级事务的不必要重启.由于分布式环境下处于准备阶段的数据不可访问,这将增加事务的阻塞时间,因此本文允许处于准备阶段的事务借出数据给低优先事务.为避免传统的两阶段提交协议中由单点故障而导致的实时事务阻塞,本文通过Paxos一致性算法提交分布式实时事务.提议的方法在一个模拟的分布式实时数据库环境中得以应用,显示出了优良的结果.     

基于FINS协议的Controller Link网监控系统设计

Controller Link（CLK）网是OMRON开发的一种应用广泛的工厂自动化（FA）网络，其节点为可编程序控制器（PLC）和计算机，FINS是OMRON FA网络的通信协议。CLK网可以实现节点间的数据链接及信息通信功能。在工程应用中，要求在计算机节点上监控网络中的各个PLC节点。该文利用Visual C++6.0设计了基于FINS协议的CLK网监控系统，并成功地用于城市污水处理系统的实时监控。     

多边形相似判定中的私有信息保护

隐私保护的计算几何问题指的是参与合作的各方在不向其余各方泄漏自己的私有输入数据的情况下,共同合作完成某些计算任务,秘密判定多边形相似是一个特殊的保护隐私的计算几何问题,在很多领域有着重要的应用.秘密判定两组数据是否对应成比例和对应相等对秘密比较多边形相似起着重要的作用.本文在比较相等协议和点积协议的基础上设计了相应的判定协议,分析了协议的正确性、安全性及复杂性,解决了秘密判定多边形相似问题,取得很好的结果.     

基于IC协议的分块加密方案及其应用

快递面单泄密问题在给个人带来安全隐患的同时,也制约着快递企业的快速发展。针对快递面单隐私保护进行了研究。将基于身份的加密体制（BF-IBE）、权限设计思想及二维码技术相结合,设计了一种分块加密方案,采用一种新的用户私钥分发协议（IC协议）来解决密钥管理问题。将分块加密方案应用于快递隐私保护领域,设计了新型隐私面单与快递业务流程。结果分析表明,分块加密方案所采用的IC协议无须求逆运算,双线性对运算有效降低,便于密钥管理。在加解密效率上分块加密方案与BF-IBE相当,安全性基于椭圆曲线上的离散对数问题,应用于快递领域能有效保护用户隐私,可推广至其他有分块加密需求的领域。     

卫星通信系统星上处理中的调度问题及其算法

以往的卫星调度问题多侧重于地球站或测控资源的优化调度，实际上通信卫星本身包含许多调度问题。航天通信测控任务的新发展，要求通信卫星具有更强的星上处理与交换功能。该文主要研究卫星通信系统星上处理中的优化调度问题。卫星通信系统的常见多址联接方式是时分多址(TDMA)。该文描述了TDMA卫星通信系统星上处理中的调度问题。提出了相应的优化算法，并利用图论与网络最优化中的理论。说明卫星通信系统星上处理中的调度问题本质上是二部图的匹配问题，最后结合应用实例说明了优化算法与匹配方法的具体应用。     

MASTP协议及其在Aglets平台上的实现

针对移动Agent安全性难以实现的问题,提出把安全电子商务的实现机制融入到对移动Agent的保护上,给出移动Agent的安全传输协议MASTP。通过修改Aglets中的系统函数和引入Cryptix包实现MASTP协议。结果证明,实现MASTP协议的Aglets平台具有系统级的传输安全性,且不会增加软件开发及运行的复杂性。     

基于PANA的移动互联网匿名认证协议

针对移动互联网络的安全需求,在基于身份公钥系统的基础上,设计一种利用PANA的双向匿名AAA协议,该协议提出移动互联网络通信中基于网络层认证协议PANA的AAA方案,实现了通信双方的相互认证,并使移动互联网络向移动用户提供匿名服务,保护用户身份信息,具有较强的匿名性。试验结果表明,该协议高效可行,满足AAA下移动互联网络PANA协议匿名性的安全需求。     

CAN总线控制系统的应用层协议CANopen剖析

CANopen是基于CAN（Controller Area Network)开发的应用层协议，CANopen网络可以根据具体通讯需求设置成多种通讯模式，提高了通讯效率和灵活性，为分布式控制提供了一种理想的网络系统，广泛应用于各种领域，本文着重介绍了CANopen协议的对象字典，不同的通讯模式和网络管理等重要概念，从CANopen应用中若干问题。     

基于加法共享的可验证秘密再分发协议

提出了一种基于加法共享的非交互的可验证秘密再分发协议，协议同时具有门限的性质，能应用于可改变访问结构的成员集合，新旧成员集合之间不需要保持任何关系．协议采用加法共享和份额备份的技术，不但可以验证秘密影子和子影子的正确性，而且能够恢复错误的影子，同时可以鉴别错误成员的集合，能够解决错误成员定位困难的问题．由于采用的是加法共享的方式，所以可以方便地转化为动态RSA再分发体制．协议是正确的、鲁棒的和安全的，并且各方面性能都比较高．     

保护私有信息的最近点对协议

基于保护私有信息的计算几何问题是安全多方计算的研究热点之一,在军事、商业等领域具有重要的应用前景。研究了几何计算中的最近点对问题,提出保护私有信息的最近点对问题解决方案,在此基础上结合已有的基础协议,设计了一种基于保护私有信息的最近点对协议。对该协议的安全性和复杂度进行了分析。对该问题进行适当的推广,可使之具有更大的实用性。     

无收据性电子选举方案

提出一种多选一的电子选举方案,基于门限ElGamal公钥密码体制,选民通过与验证者的交互生成具有向量形式的选票,计票结果不再是一个离散对数难求问题,便于操作,具有无收据性及无强迫性。该方案不仅适用于“多选一”的电子选举,也适用于“多选多”的电子选举,适合于大规模选举。