高丽萍 作品数:90 被引量:145 H指数:7 供职机构: 上海理工大学光电信息与计算机工程学院 更多>> 发文基金: 国家自然科学基金 上海市自然科学基金 上海市教育委员会创新基金 更多>> 相关领域: 自动化与计算机技术 文化科学 经济管理 轻工技术与工程 更多>>
复制式协同图形编辑环境中复合Undo操作语义一致性维护研究 被引量:9 2010年 复制式架构下的二维CAD协同图形编辑环境中,用户界面所发出的Undo操作从语义上讲是针对复合操作本身的,但传统的一致性维护算法是基于原子操作的,对Undo操作的支持也是以原子操作为单位的,这样就会导致复合Undo操作的语义不一致性问题。分析了CAD图形编辑环境中复合操作的类型及Undo操作的执行前提,讨论了Undo操作存在的情况下的冲突定义,提出了基于版本分裂机制的冲突解决策略,并描述了复合Undo操作在本地和远程站点的执行流程及主要算法。最后通过实例分析证明了该方法的有效性。 高丽萍 卢暾关键词:协同设计 文件管理中一种新颖的冲突检测和解决方法 被引量:6 2019年 随着云服务的快速发展,越来越多的应用软件被迁移到云端以提供更好的协作支持.而企业面对日渐增长的庞杂的文件,单人管理文件显得力不从心,提高文件管理的效率迫在眉睫.多人实时协同管理文件不仅可以提高文件管理效率,同时也可以清楚的了解同伴的意愿需求,提高用户的体验度.而实时的多人协同管理文件中面临的最大的挑战就是维护文件管理系统的一致性维护.传统的一致性维护方法通常是基于复杂的控制机制和转换函数来维护协作文本的一致性,这对于云环境下的协同管理不是很理想的.近年来,CRDT(Commutative Replicated Data Type)被提出作为协作文本编辑中的新的一致性维护机制,但鲜少将其应用到云环境和文件管理等场景下.本文提出了一种新的基于CRDT的冲突检测和解决方法,来维护文件协同管理的最终一致性.首先定义操作之间的关系,并提出了基于CRDT的冲突检测机制;其次,提出基于CRDT的冲突解决的有效方案;最后,举例并证明了提出方案的正确性,并从理论上分析其时间复杂度和空间复杂度.因此,本文所提出的方法可以大大提高云环境下文件协同管理的正确性和高效性. 高丽萍 陶长青关键词:文件管理 移动平台下的结构性文档意图维护算法 被引量:1 2019年 本文在之前的基于局部复制的结构性文档协同编辑冲突消解算法,即MCPS算法基础之上,提出移动平台下基于用户活跃度的结构性文档意图维护算法,简称MCPS2算法. MCPS2算法利用点对点的网络连接方式,构建协作客户网,各协作客户端通过局部复制策略请求结构性文档参与协同编辑工作.同时结合用户活跃度,赋予站点master属性和结构文档中等级标题Title Creator属性,合理安排节点新增、编辑、请求等权限,更大程度的满足多用户的意愿,提升协同工作意义.我们在之前的研究基础上,对基本操作、文档合并、Title Creator转移流程进行了细化,完善了权限转移动态控制机制,保证用户即来即走的需求.最后给出算法复杂度分析与全面的实例说明,证明策略的有效性和正确性. 王丹 朱思征 高丽萍 王山山关键词:P2P 活跃度 基于色彩地址空间转换与多版本策略的复杂位图协同模型与一致性维护算法 2023年 调色编辑在现有位图协同模型下存在数据发送量大、编辑灵活性差、操作重叠易冲突、生成版本多、站点存储压力大等问题,针对这些问题提出了一种面向复杂位图的调色协同编辑模型。协同操作仅发送坐标与色彩变化量的协同操作,具有数据量小、多维编辑粒度、位置可重叠等特性;增加了时空关系的四维位图协同架构,只保存已编辑的像素点数据可减少数据存储量;采用空间转换的副本状态控制算法,通过回溯重构历史版本,可以确保协同操作总是在正确的副本状态上执行;根据当前状态与策略配置,动态生成分支版本的算法,可以解决此前模型分支版本过多的问题。最后,基于CCI(causality-preservation,convergence,intention-preservation)模型进行正确性推论,开发协同编辑器原型Co-Pixel,随机生成的操作集设计实验,对照Adobe Lightroom模拟实际编辑行为。结果显示提出的模型可有效减少操作产生冲突,降低一致性维护过程中的算法开销,灵活调整用户执行意图维护工作的结果版本。 沈思宇 魏赟 高丽萍关键词:冲突消解 实时协同编程环境下的语义冲突消解方法 本发明公开了一种实时协同编程环境下的语义冲突消解方法,本方法通过分析语义冲突可能产生以及动态依赖语义冲突发生的场景,协同编程系统无法判断非编程语言规则错误的编辑操作是否存在语义冲突,若编辑操作为排除关系,只保留一个编辑操... 高丽萍 游书伟 赵春芽文献传递 支持操作续传的网络三阶段一致性维护研究 被引量:1 2018年 针对网络潜在的不稳定现象,提出支持断网续传的网络三阶段一致性维护算法,我们简称为ORT算法.该算法将网络状态划分为断网前、断网后、联网后三阶段,在之前的支持两站点协同的移动网络协同副本一致性维护算法基础上,引入服务器,实现多用户协同工作.ORT算法配置在服务器端,断网前收发操作并定时更新cursor值,断网后根据站点id和操作net值将操作保存在指定缓冲区,联网后通过三个步骤的处理,查找漏发和丢失操作,并广播到对应站点执行,最终生成一致性副本.为了优化查询、同步效率,服务器端选用树形结构存储各协作站点的历史操作序列,并将压缩策略进行适当更改引用到本算法中.本文最后通过Co-Editor协同编辑原型系统实现证明策略的有效性和正确性. 王丹 王丹 王丹关键词:CSCW 树结构 空间众包下面向任务需求的在线三类分配策略 2023年 目前,有关任务分配的研究主要集中于任务和工作者两种角色,通常假设任务都是同质的,忽略了任务需求和配送地点对任务分配的影响。为解决任务指定配送点附近工作者较少导致移动成本和执行时间过高的问题,提出一种基于贪心的延时匹配算法。一方面,利用任务等待时间获取更多优质工作者以提高分配效果;另一方面,通过自适应阈值和约束条件设置快速筛选匹配对以减小遍历规模并加快分配效率。最后,在不同参数分布下的模拟数据集和真实数据集上对所提出的算法开展实验分析,证明所该方法具有可行性和有效性。 陈天一 高丽萍关键词:贪心算法 基于文档分区的实时协同访问控制技术研究 为研究混合式P2P 网络中基于文档分区的实时协同访问控制技术,对P2P 网络中的各节点及文档分区资源设置了不同的角色操作权限与资源访问权限,并重点讨论了新节点加入P2P 网络的访问控制。利用基于文档分区的协作小组域划分优... 朱思征 高丽萍 徐烨 王山山关键词:访问控制 混合式P2P “数据结构”教学中提高学生的编程能力浅谈 被引量:2 2013年 数据结构课程主要研究数据的逻辑结构和数据的存储结构,以及对数据进行操作的有关算法。该课程以程序设计为基础,对学生进行较复杂程序设计的训练,对学生编程能力的培养至关重要。文章着重从如何注重教学方法、引导学生学习的常用算法、如何进行大量程序设计实践等方面来提高学生编程能力进行了讨论。教学实践证明这些教学方法能很好地提高学生的编程能力。 邓桂英 高丽萍 李锐 曹春萍 胡德敏关键词:编程能力 教学方法 程序设计 移动平台下实时协同关联图文档模型一致性维护算法研究 被引量:3 2018年 移动平台下实时协同图形编辑系统是协同交互式应用的重要分支.在图形编辑系统中,不同图形对象之间往往存在某些约束和关联关系,而传统文档一致性维护算法的研究大多是在无约束关系的线性文档下展开的,且仅支持基本的插入(Insert)、删除(Delete)、更新(Update)操作.本文在传统操作转换算法所能支持的基本操作(Create、Delete、Update)的基础上,拓展了位移(Move)操作,关联操作(Relate)和关联解除操作(Relieve),使得图形对象间的位置属性之间可以出现联动的效果.对象间位置关系被映射成关联图文档模型,根据非线性模型下不同操作类型之间产生的并发冲突类型,分别设计相应的冲突消解策略,维护实时协同编辑下共享图形文档的一致性.当包含多操作类型的图形编辑系统应用于移动平台下,由于移动网络的不稳定性,会导致现有的以稳定网络为研究前提的乐观并发控制算法不能适用于新的应用场景下.所以针对移动网络环境下信号不稳定的特点,本文亦对传统操作转换控制算法进行适当改进,基于客户端对丢失操作提出重发请求和服务器端处理该重发请求的机制,设计了不稳定移动网络平台下并发控制算法.最后本文在Android平台下开发了移动协同图形编辑系统Co-Paint,并通过相关仿真试验进一步验证了以上控制算法和转换函数的正确性与可行性. 高丽萍 张鑫