-
公开(公告)号：CN101127644A
公开(公告)日：2008-02-20
申请号：CN200710045404.2
申请日：2007-08-30
Applicant: 复旦大学
Abstract: 本发明属于协同实时组编辑技术领域，具体是一种大规模协同环境下的因果并发检测方法。包括：定义了一种属于协同实时组编辑技术领域的逻辑时间戳，称之为直接因果先序向量时间戳；提出了基于该时间戳解决实时组编辑活动中因果并发检测问题的方法。该方法包括如下三个步骤：判断一个远程操作是否因果就绪、找出与当前远程操作并发的所有历史操作、判断任意两个历史操作间的因果并发关系。本发明可供用户在任意规模的实时组编辑环境中使用，其执行性能与协同参与者的活跃程度，与协同环境的规模、协同参与者的总数无关，所以特别适合并发程度不高的大规模协同环境下的实时组编辑。
-
公开(公告)号：CN101119365A
公开(公告)日：2008-02-06
申请号：CN200710045946.X
申请日：2007-09-13
Applicant: 复旦大学
Abstract: 本发明属于计算机支持的协同工作技术领域，具体为大规模协同环境下的协同交互优化方法。该方法使用一种Leader站点优先方法建立实时组编辑协同交互模型，包括：用户间协同交互模式的调整策略和Leader优先协同交互模型；通过限制各协同站点上远程操作的同步顺序，能够在高并发的大规模协同环境下，有效控制操作的直接因果先序向量时间戳的大小；通过将实时组编辑会话根据协同站点间的网络状况合理分区，并适当引入一些虚拟协同站点参与协同交互模型，能够继续保持用户间较高的协同感知性能。本发明有助于解决高并发大规模的协同环境下实时组编辑活动因果并发检测问题，大大提高组编辑活动的性能。
-
公开(公告)号：CN1831776A
公开(公告)日：2006-09-13
申请号：CN200610025690.1
申请日：2006-04-13
Applicant: 复旦大学
IPC: G06F9/46
Abstract: 本发明属于计算机支持的工作技术领域，具体为一种多副本数据的一致性维护方法。包括：程序的控制算法、回溯算法和操作执行算法。一致性维护方法分为两部分：对本地用户操作的执行，对异地用户操作的执行。前者的执行流程为：程序对本地的数据副本执行操作，修改本地的状态向量，然后将本地的状态向量作为操作的时间戳，附着在操作上，广播给所有其它用户；后者的执行流程为：控制算法收到异地用户传输过来的操作，当操作满足执行条件时，根据操作附着的时间戳，回溯本地数据副本的地址空间到其产生时刻，在这个地址空间上，操作可以直接执行，如果恢复地址空间以待下一个操作。本发明可以使多个用户实时地编辑同一数据对象，且不会相互影响。本发明可自动处理用户之间的操作冲突，在各个用户间实现数据的一致性维护。
-
Patent Agency Ranking
公开(公告)号：CN100484140C
公开(公告)日：2009-04-29
申请号：CN200510027785.2
申请日：2005-07-15
Applicant: 复旦大学
Abstract: 本发明属于网格工作流技术领域，具体位一种规范驱动的网格工作流系统的规范描述和验证方法。该方法的基本框架包括：规范的形式化描述、规则的定义和规范的验证三部分。方法的流程为：首先，描述网格中所有节点的各种属性的初始值和所有工作流任务的属性及其影响因素；然后，通过定义状态驱动规则来描述任务的调度次序以及调度条件；再者定义调度规则，用以在任务调度的过程中选择执行任务的网格资源；最后通过状态驱动规则，模拟工作流任务在网格中的调度流程及其对节点属性的影响因素，以实现对各种规则的验证。本方法可以验证现有的网格工作流系统中规则的语义冲突，确保规则的完整性，同时模拟了整个系统的状态变化和任务调度流程。
-
公开(公告)号：CN101119365B
公开(公告)日：2012-09-05
申请号：CN200710045946.X
申请日：2007-09-13
Applicant: 复旦大学
Abstract: 本发明属于计算机支持的协同工作技术领域，具体为大规模协同环境下的协同交互优化方法。该方法使用一种Leader站点优先方法建立实时组编辑协同交互模型，包括：用户间协同交互模式的调整策略和Leader优先协同交互模型；通过限制各协同站点上远程操作的同步顺序，能够在高并发的大规模协同环境下，有效控制操作的直接因果先序向量时间戳的大小；通过将实时组编辑会话根据协同站点间的网络状况合理分区，并适当引入一些虚拟协同站点参与协同交互模型，能够继续保持用户间较高的协同感知性能。本发明有助于解决高并发大规模的协同环境下实时组编辑活动因果并发检测问题，大大提高组编辑活动的性能。
-
公开(公告)号：CN1719832A
公开(公告)日：2006-01-11
申请号：CN200510027785.2
申请日：2005-07-15
Applicant: 复旦大学
Abstract: 本发明属于网格工作流技术领域，具体位一种规范驱动的网格工作流系统的规范描述和验证方法。该方法的基本框架包括：规范的形式化描述、规则的定义和规范的验证三部分。方法的流程为：首先，描述网格中所有节点的各种属性的初始值和所有工作流任务的属性及其影响因素；然后，通过定义状态驱动规则来描述任务的调度次序以及调度条件；再者定义调度规则，用以在任务调度的过程中选择执行任务的网格资源；最后通过状态驱动规则，模拟工作流任务在网格中的调度流程及其对节点属性的影响因素，以实现对各种规则的验证。本方法可以验证现有的网格工作流系统中规则的语义冲突，确保规则的完整性，同时模拟了整个系统的状态变化和任务调度流程。
-
公开(公告)号：CN100383741C
公开(公告)日：2008-04-23
申请号：CN200610026459.4
申请日：2006-05-11
Applicant: 复旦大学
Abstract: 本发明属于计算机支持的协同工作技术领域，具体是一种面向XML的标记回溯的一致性维护方法。包括：程序的控制算法、历史操作记录维护算法、倒排索引表维护算法、回溯算法、操作执行集获取的FLW算法和Update操作执行算法。还包括一个本地的状态向量维护方法和广播方法。整个一致性维护方法分为两部分：本发明可以使得多个用户实时地编辑同一XML数据对象，多个用户间不会相互影响，本地操作可以立即响应。本发明会自动处理用户之间的操作冲突，在各个用户间实现数据的一致性维护。
-
公开(公告)号：CN1845076A
公开(公告)日：2006-10-11
申请号：CN200610026459.4
申请日：2006-05-11
Applicant: 复旦大学
Abstract: 本发明属于计算机支持的协同工作技术领域，具体是一种面向XML的标记回溯的一致性维护方法。包括：程序的控制算法、历史操作记录维护算法、倒排索引表维护算法、回溯算法、操作执行集获取的FLW算法和Update操作执行算法。还包括一个本地的状态向量维护方法和广播方法。整个一致性维护方法分为两部分：本发明可以使得多个用户实时地编辑同一XML数据对象，多个用户间不会相互影响，本地操作可以立即响应。本发明会自动处理用户之间的操作冲突，在各个用户间实现数据的一致性维护。
-
-
-
-
-
-
-
Search Results
8
records
(took 0.022 seconds)
