支持分布式合作实时事务处理的协同检验点方法

在实时事务执行时 ,事务故障或数据竞争会导致事务重启 ,为减少事务重启损失的工作量 ,可以采用检验点技术保证事务的时间正确性 .在一类分布式实时数据库应用中 ,不同结点的事务通过消息交换形成合作关系 ,为保证合作事务间的全局一致性 ,当某一事务记检验点时 ,相关事务也要记检验点 .传统协同检验点方法没有考虑应用的定时约束 ,不能很好地支持分布式合作实时事务处理 .该文提出了一种基于图论的协同检验点方法 ,利用在每个计算结点上为每个合作事务集维护的局部有向图 ,使用一个基于图论的计算过程标识出应记检验点的事务 ,该方法既具有最小协同检验点特性 ,又使全局检验点的时延最小 .实验表明该算法减少了全局检验点时延 ,有利于实时事务截止期的满足 .

一种高效的合作实时事务并行检验点算法

许多数据和活动上都有很强时间性的应用在地理上同时具有分布性,这种应用需求使得分布式实时数据库的研究成为数据库研究领域的热点。在实时事务执行时,事务故障或数据竞争会导致事务重启,为了减少因重启而损失的工作量,可以采用检验点技术以利于事务时间正确性的满足。在一些分布式实时数据库应用中,不同结点的事务通过消息交换形成合作关系,当某一事务记检验点时,为保证合作事务间的全局一致性,相关事务也要相应地记检验点。传统的协同检验点方法没有考虑应用的定时约束,不能很好地支持分布式实时事务处理。本文提出了一种高效的并行协同检验点方法,该算法既具有最小协同检验点特性又使全局检验点过程延时最小。实验表明该算法减少了全局检验点阻塞时间,有利于分布式实时事务截止期的满足。

支持移动合作实时事务的一种新的协同检验点算法

现有的协同检验点方法在移动环境中会带来较大的检验点过程延时 ,不能很好地支持实时事务处理 .提出了一种新的协同并行检验点方法 ,在正常的消息传输过程中 ,通过一点额外的带宽传送事务间检验点依赖关系 ;在某一事务记检验点时 ,尽可能地同时通知相关的事务记检验点 .实验表明 ,该算法对网络带宽没有明显的增加 ,而能大大降低事务记检验点的延时 。

基于索引的准同步检查点的重新计时策略

基于索引的分布式检查点算法利用了Lamport逻辑时钟的思想来保证形成全局一致性检查点(或者恢复线)。作为一种准同步方法,基于索引的检查点算法具有异步检查点算法的灵活性,且能像同步算法一样避免多米诺效应。本文在著名的BCS算法的基础上提出了一种减少基本检查点数目的优化策略———重新计时法。最后,通过模拟实验证明了这种改进策略的有效性。

一种基于信道不可靠环境的协调式检查点协议

在分布式计算环境中经常使用检查点/恢复策略来进行容错。文中主要研究在信道不可靠的环境中通过协调使相互通信的各进程所做的检查点保持全局一致性的方法。通过分析中途消息与信道可靠性之间的关系以及已有检查点协议对于中途消息处理方法,提出了一种应用于信道不可靠环境下的协调式检查点方法,其消息复杂度为O(N)且不引入其他的计算负担,只通过一次同步即可达到全局一致性状态,相比于以往的协调式检查点协议大大减小了时间开销,提高了在不可靠信道环境中做全局一致检查点的效率。

癌症疫苗和抑制剂治疗模型整体解的存在唯一性

研究癌症疫苗和检查点抑制剂联合治疗的数学模型,该模型为包含九个相互耦合反应扩散方程的方程组。先通过运用Banach不动点定理、抛物型方程的Lp估计证明了模型的局部解的存在唯一性,然后利用延拓方法得到了整体解的存在唯一性。

基于OSM路网数据的资源三号卫星影像几何校正方法

利用公开的测绘成果作为控制源是无控制点条件下进行大区域测图的常用方案。OpenStreetMap(OSM)矢量数据(尤其是其路网数据)具有覆盖范围广、特征明显、实时性强等优点,可以作为无控制点测图的辅助控制数据,来提高卫星影像大区域无控测图精度。因此,本文提出一种基于OSM路网数据的资源三号卫星影像几何校正方法。首先获取路网特征区域对应的无控DOM,提取DOM的路网特征并与OSM数据配准获取二者的偏移量,实现OSM对无控DOM的校正;然后选取校正后DOM的特征点作为控制点,进行区域网平差。经大量检查点验证,试验区域平面中误差从5.63 m降低到4.49 m,精度提高了20.25%,表明OSM路网数据是一种可靠性较高的控制源,因此可以作为全球性测图工程的参考数据之一。