一种高效率的实时协同编辑中的意图保持操作转换算法

作为一类高级分布式系统,实时协同编辑系统允许不同地点的用户同时编辑共享文档,具有高响应性和高并发性的特点.操作转换(Operational Transformation,OT)算法能够保留所有用户操作的效果并维护数据的一致性,是协同编辑系统首选的并发控制方法.为了提高远程操作的响应时间,文中提出了一种意图保持的OT算法(Merging Operations based Operational Transformation,MOOT).该算法基于这样一个事实,大多数情况下,协同编辑中插入操作的数量明显多于删除操作.因此,MOOT构造了一种优化的操作历史结构,即删除操作排在插入操作前面,避免算法的计算时间依赖于大多数操作.更进一步,MOOT在重构过程中移除无效操作,有效的压缩了操作历史的大小.为了验证算法的有效性,在不同插入比例情况下,将MOOT算法与当前性能最优的ABT算法进行了对比实验.实验结果表明,MOOT算法具有更高的计算效率,在合理的比例情况下,其计算时间大约是ABT算法的计算时间的十分之一.

集成用户可定制锁和操作转换的并发控制方法

锁是一种用于分布计算和数据库系统的传统的并发控制方法,它通过将对共享对象的修改访问权在某一时间内授予唯一的访问者,以使对共享对象的访问得以串行化;操作转换方法是一种用于实时协同系统中一致性维护的方法。这两种方法均不能完全解决数据一致性问题。论述了锁机制和操作转换在一致性维护中的互补关系,提出了一种用户可定制的锁方法,并将该锁方法与操作转换结合起来应用于全复制式的协同环境中。用户可定制的锁机制集成操作转换方法具有可靠性高、响应速度快和非阻塞的特点;用户动态定制加锁粒度可以保证最大程度的并发性。该方法有效地解决了实时群件系统中一般的一致性问题和特定上下文的一致性问题。

实时协同工作系统中操作转换算法综述

首先分析了实时协同工作系统中的事件关系,讨论了一致性模型及其收敛问题,然后以典型实时协同工作系统中操作转换算法的研究进展为线索,将算法中最核心的调度函数剥离出来,进行了详细的分析.对意图维护问题进行了解析,将其归结为在立即模式下对并发问题的处理,得出了意图维护问题在算法层面的准则.最后对基本转换函数和典型转换算法进行了归纳和总结,并对进一步研究方向进行了探讨.

基于二维有序状态向量的协同操作转换算法

针对分布式协同编辑系统中基于操作转换的并发控制算法的性能问题,提出并实现了基于二维有序状态向量的操作转换算法,较好地解决了并发控制的效率问题。设计了LateComer协调机制,扩展了原有的算法,增强了协同编辑过程的连续性。

论教学理念的操作转换

教学理念是人们为了某种教学的利益、在一定的教学理论认识基础上形成的关于理想教学的基本观念。教学理念和教学实践是性质不同的两个系统。教学理念表达教学的理想,教学实践寓于教学的现实。教学理念,通过一定的渠道,走向教学实践,这就是教学理念的操作转换。教学理念的操作转换分为以下步骤：发现教学理念中的教学思维,从教学思维中演绎出核心教学行为,分析教学行为对教师专业素质的要求。

操作转换方法的分析和应用扩展

操作转换方法是实时协同编辑中进行并发控制的一种常用方法。论文首先介绍了复制式协同编辑系统的一致性模型,阐述了操作转换方法的基本流程,详细分析了七种典型操作转换方法实现三个一致性条件的方案。接着分析了操作转换方法的应用扩展,最后针对面向三维协同设计的应用扩展进行讨论。

基于多核的并行操作转换算法

操作转换算法是实时协同编辑系统首选的并发控制算法,它不仅能提供不受限的交互,而且维护分布式操作的意图一致性。然而随着操作数目的增多,操作的响应时间也会延长。结合多核多线程技术的发展,提出了第一个并行的操作转换算法,其能减少远程操作集成到本地站点的时间开销。对传统的串行算法进行了改造,使得具有计算依赖的过程能够并行化。实验结果表明,提出的算法相较于传统算法具有较大的优势,在处理较大操作历史的情况下依然能够保证操作合理的响应时间。

基于操作转换的并发控制算法的研究

为解决协同图形编辑中出现的结果不一致、因果不一致、操作意愿不一致和语意不一致问题,提出一种基于操作转换的并发控制算法。该算法定义了操作序列的上下文有序、操作序列的上下文并发等概念。从协同编辑操作的预处理及实际执行时的操作转换两个方面,对基于上下文的操作转换(COT)算法进行改进,并进行实例验证分析。研究发现,其可有效地减少COT算法中存在的操作转换冗余的问题。

异构CAD系统协同中基于特征的操作命令转换研究

基于特征的操作转换是同步异构CAD协同系统中的核心问题.分析了异构CAD系统协同中基于特征的建模命令转换,提出了特征建模命令映射集合的构建方法.给出了3种CAD系统间拉伸特征操作转换的实例,分析了构建方法,为实现和优化异构CAD系统协同平台打下良好的基础.

基于操作转换的协同图形编辑系统的研究和实现

本文提出的Co XGraph是基于操作转换的协同图形编辑系统。本文首先介绍了三个不一致性问题:分歧、因果违背、意图违背,以及相应的一致性模型。然后,本文提出了Co XGraph的应用模型,并研究和实现了同时满足集中、因果保持、意图保持性质的并发控制算法。最后,本文展现了Co XGraph在地理信息系统方面的应用前景,并列出了未来需要继续开展的主要工作。

手动操作转换开关电器的性能及应用

在工矿企业配电系统设计中，为确保生产及工艺流程等正常运转，往往在正常电源供电的情况下，还需要设置备用电源。对于类似该场所的供电，一般属于二级（部分）或三级负荷，相应的允许中断供电时间均较为宽松。虽则要求两路电源供电，但采用手动（或手控电动）操作方式并带熔断器保护的电源转换开关也可满足要求而用作备用电源投切换之用。

异构CAD协同设计系统中的操作命令转换技术与实现

分析了异构CAD系统协同设计中的主要方法,提出基于特征的操作命令转换方法.通过分析了目前大多数异构CAD系统协同设计采用的中性命令建模机制,提出了最小特征建模命令映射集合的构建方法.设计了一个异构CAD协同设计的原型系统,开发了基于Solid Works 2005和UGNX3.0的插件,实现二者之间的实时操作转换,并通过一个简单零件协同设计过程验证了方法的可行性.

在远程教学系统中基于操作转换的控制策略

在远程教学系统中实现共享目前已经成为计算机网络环境下的一种非常重要的教学模式 ,它对于培养学生的创造能力、与其他同学的合作共处能力和培养新世纪的创新人才尤其重要 ,许多国家的教学实践中都已非常重视共享教学模式的应用在传统的系统中通常采用串行化、加锁或时间戳等控制策略来维护对象间的一致性。虽然这些方法在集中式的结构下已经取得了非常好的效果 ,但在远程教学系统中会出现一些与预期结果不相符合的问题。为了更好地解决这些问题 ,对传统的方法进行了改进 。

支持操作意图一致性的实时协同编辑算法综述

有别于传统分布式系统,实时协同编辑系统强调自然和谐的人人交互和人机交互,允许不同地点的协同用户同时编辑同一共享对象.为了给协同用户提供良好的响应性,实时协同编辑系统有必要采用全复制式体系结构,但又给共享对象的一致性维护问题带来巨大挑战,这一直是协同计算学科的研究热点.近年研究重点逐步从结果一致性发展到操作意图一致性.该文以操作意图一致性为主线,对支持操作意图一致性的实时协同编辑算法进行深入和全面的比较、分析和总结.首先,以Lamport事件偏序关系为起点,对协同编辑系统的因果关系、简单并发关系和偏并发关系概念进行整理.同时,给出实时协同编辑系统中全序关系的分类,操作的全序和操作对象的全序.在对全序关系和优先级进行剖析的基础上,阐述了实时协同编辑系统中的三类一致性模型:CC(Causality-preservation,Convergence)模型、CCI(Causality-preservation,Convergence,Intention-preservation)模型和CA(Causalitypreservation,Admissibility)模型.特别地,文中按照因果一致性、结果一致性和操作意图一致性的分类,给出操作意图一致性的维护路线图.然后,分别综述了各类实时协同编辑算法的研究进展和现状,包括OT(Operational Transformation)算法、AST(Address Space Transformation)算法和CRDT(Commutative Replicated Data Type)算法.进一步,文中给出了各类操作意图一致性算法的基本原理和执行框架,并基于一个代表性协同工作场景和算例对典型算法进行详细解析.接下来,文中从操作意图一致性、支持操作意图一致性的典型算法、操作转换函数和算法时间复杂度这4个关键方面对实时协同编辑算法进行归纳和对比.最后对全文小结,并指出为了进一步发展实时协同编辑系统,未来还需要在优先级策略、算法伸缩性、复杂操作语义类型、粗粒度操作对象以及选择性撤销机制等方面深入开展一些研究工作.

一种基于属性—操作对象模型的并发控制

现有的并发控制方法都是分别对各种数据对象进行并发控制处理,没有一个统一的解决方法。通过对实时计算机支持的协同工作系统中各种可操作对象及其属性和操作的分析,设计了一种基于属性-操作对象模型的并发控制方法。它可支持对文本、图形、图像以及三维对象的并发控制,可将所有作用于协作对象上的操作都分解为简单的原子操作,当并发操作发生冲突时只需进行简单赋值即可,降低了处理并发控制的复杂度;同时引入状态向量,改进了操作转换算法,有效地提高了系统的运行效率。

BYJC─CIMS异构库互连——EDL─ORACLE集成转换接口

为解决异构数据库之间的数据交换问题，实现对工程数据和事务数据的一体化管理，本文提出了工程数据库管理系统ＥＤＬ和关系数据库管理系统ＯＲＡＣＬＥ集成的一种方法，使得用户可以在ＯＲＡＣＬＥ上直接操纵ＥＤＬ中的数据。

大学生有氧耐力测试指导标准研制——库伯12分钟跑“转化技术”研究

以江苏省大学男生为研究对象,对库伯12min跑测试方式进行转换,以2400m为测试距离,按完成时间进行等级划分,并构建百分制评分表,以期达到“12min跑”的效果,旨在为进一步深入全面研究大学生耐力素质奠定基础。(1)抽取江苏省9所院校1100名大二、大三、大四男生进行2400m测试,其次,运用“累计评分法”拟定百分制评分表,其步骤为:(1)受测样本的正态检验;(2)确定评分范围、基分点和满分点;(3)定计分间距;(4)计算D值;(2)依据《国家学生体质健康标准》中大学男生1000m评分标准,运用“点光源映射法”校准大学男生2400m的60分成绩,并最终确定百分制评分表;(3)运用此评分表对江苏省9所院校1075名大二、大三、大四男生进行测试分析,结果显示:大学男生耐力素质现状不容乐观,大二、大三、大四年级学生分别有38.7%、40.6%、32.3%的学生处于0-59分分数段,而分别只有5.2%、11.1%、32.3%的学生处于90-100分分数段,这一结果说明运用2400m对大学男生进行耐力素质测试的重要性和必要性。

基于重心模糊插值推理方法的改进

在稀疏模糊规则的条件下,采用传统的合成推理规则方法毫无结论可言,插值推理方法则能得出很好的结论,然而目前的插值推理方法尚不尽完善。本文在分析了Huang Zhi-he和Shen Qiang提出的基于重心插值推理方法的基础上,提出一种基于重心的通用模糊插值推理方法。使用该方法,不仅可以改进原方法只能用于三角形隶属函数的缺点,同时还能应用于梯形隶属函数,并且保证了最后结果的凸性并扩展到多维规则条件下的推理;最后通过实例加以说明。

SparkDE:一种基于RDD云计算模型的并行差分进化算法

云计算MapReduce并行编程模型广泛应用于数据密集型应用领域,基于该模型的开源平台Hadoop在大数据领域获得了成功应用。然而,对于计算密集型任务,特别是迭代运算,频繁启动Map和Reduce过程将导致负载过大,影响计算效率。弹性分布式数据集(RDD)是一种基于内存的集群计算模型,有效地支持迭代运算,能够克服负载过大的问题。因此提出基于RDD模型的并行差分进化算法SparkDE。SparkDE首先将整个种群划分为若干个独立岛,然后将一个岛对应RDD中的一个分区,每个岛在RDD的一个分区中独立进化指定代数后,利用迁移算子在岛之间交换信息。利用标准测试问题对SparkDE、基于MapReduce模型的MRDE和基本DE进行对比实验研究。实验结果表明SparkDE求解精度高,计算速度快,加速效果明显,可以作为云计算平台的下一代优化器。

一种改进的双粒度地址映射算法

为设计高闪存空间利用率、低闪存擦除次数、低内存占用率的Flash管理算法,针对NAND闪存的擦写特性,提出一种改进的双粒度地址映射算法FAST算法,重新定义转换操作和合并操作,将顺序写日志块的合并操作变为转换操作。与传统FAST算法的比较结果表明,该算法可以减少一倍的擦除操作,提高空间利用率。