杨江明
- 作品数:12 被引量:14H指数:2
- 供职机构:复旦大学更多>>
- 发文基金:国家自然科学基金国家重点基础研究发展计划上海市基础研究重大(重点)项目更多>>
- 相关领域:自动化与计算机技术更多>>
- 一种规范驱动的网格工作流描述和验证方法
- 本发明属于网格工作流技术领域,具体位一种规范驱动的网格工作流系统的规范描述和验证方法。该方法的基本框架包括:规范的形式化描述、规则的定义和规范的验证三部分。方法的流程为:首先,描述网格中所有节点的各种属性的初始值和所有工...
- 顾宁张世超徐寅俊杨江明
- 文献传递
- 大规模协同环境下的协同交互优化方法
- 本发明属于计算机支持的协同工作技术领域,具体为大规模协同环境下的协同交互优化方法。该方法使用一种Leader站点优先方法建立实时组编辑协同交互模型,包括:用户间协同交互模式的调整策略和Leader优先协同交互模型;通过限...
- 顾宁张琦炜杨江明朱麟
- 文献传递
- 协同组编辑环境中的数据一致性维护方法
- 协同组编著的提出,是为了支持多个用户在不同的计算机终端同时协同处理共享文档。不同于以往的一致性维护模型,在协同环境下用户期待他人的参与,于是系统并不需要非常严格的序列化限制,相反却对操作的响应时间和操作的自由性有着较高的...
- 杨江明
- 关键词:并发控制地址空间转换XML
- 文献传递
- 一种大规模协同环境下的因果并发检测方法
- 本发明属于协同实时组编辑技术领域,具体是一种大规模协同环境下的因果并发检测方法。包括:定义了一种属于协同实时组编辑技术领域的逻辑时间戳,称之为直接因果先序向量时间戳;提出了基于该时间戳解决实时组编辑活动中因果并发检测问题...
- 顾宁张琦炜杨江明苏毅
- 文献传递
- 基于地址空间转换方法的Undo操作支持被引量:5
- 2006年
- 介绍了一个复制式结构下基于地址空间转换的方法,通过将文档的地址空间回溯到操作产生时的状态,操作可以直接在这个地址空间下得到执行。通过映射Undo操作到一个确定性的对象节点,地址空间转换的方法能很好地支持Undo操作的乱序执行,最后详细描述了若干Undo难题的处理过程。讨论了意愿冲突难题及其解决方法。
- 杨江明顾宁吴筱媛
- 关键词:计算机支持的协同工作地址空间转换UNDO
- 数据网格中复制式数据的一致性维护方法被引量:2
- 2006年
- 由于网格环境动态性的特点,网格延迟的不稳定等问题会严重影响数据的可获得性.针对这个问题,采用复制式的数据模型来给予解决.通过在数据网格中维护多个数据副本,用户可以选择其中任意一个进行访问修改.通过将网格服务与数据分离,将数据模型化为线性数据和树型数据,可以支持用户对网格数据的实时修改,并且可以维持多个数据副本的一致性.提出了一个新的时间戳模型,可以支持一个数据副本上的并发操作.本方法是一个无锁的算法,可以满足网格环境下数据的RIC属性.
- 杨江明张琦炜顾宁
- 关键词:数据网格时间戳
- 面向XML的标记回溯的一致性维护方法
- 本发明属于计算机支持的协同工作技术领域,具体是一种面向XML的标记回溯的一致性维护方法。包括:程序的控制算法、历史操作记录维护算法、倒排索引表维护算法、回溯算法、操作执行集获取的FLW算法和Update操作执行算法。还包...
- 顾宁杨江明张琦炜
- 文献传递
- 标记回溯的一致性维护方法
- 本发明属于计算机支持的工作技术领域,具体为一种多副本数据的一致性维护方法。包括:程序的控制算法、回溯算法和操作执行算法。一致性维护方法分为两部分:对本地用户操作的执行,对异地用户操作的执行。前者的执行流程为:程序对本地的...
- 顾宁杨江明张琪炜邵斌
- 文献传递
- 一种规范驱动的网格工作流描述和验证方法
- 本发明属于网格工作流技术领域,具体位一种规范驱动的网格工作流系统的规范描述和验证方法。该方法的基本框架包括:规范的形式化描述、规则的定义和规范的验证三部分。方法的流程为:首先,描述网格中所有节点的各种属性的初始值和所有工...
- 顾宁张世超徐寅俊杨江明
- 文献传递
- 面向XML的标记回溯的一致性维护方法
- 本发明属于计算机支持的协同工作技术领域,具体是一种面向XML的标记回溯的一致性维护方法。包括:程序的控制算法、历史操作记录维护算法、倒排索引表维护算法、回溯算法、操作执行集获取的FLW算法和Update操作执行算法。还包...
- 顾宁杨江明张琦炜
- 文献传递