协同图形编辑系统中并发操作冲突检测的研究

实时协同设计是CSCW应用的重要领域。实时协同设计过程实际上就是并发冲突产生和消解的过程。本文描述协同图形编辑系统中多对象之间的冲突相关定义,提出一种判别并发操作冲突的关联对象冲突检测策略,设计实现相应的冲突检测算法,最后对算法的可行性进行分析。     

协同图形编辑系统多版本动态属性锁协议研究

在协同CAD系统中,解决设计者之间的冲突检测与消解问题是实现有效并发控制机制的关键.针对协同设计中多个关联对象之问的冲突检测和消解问题,介绍协同多版本相关概念和多版本属性标记锁策略,提出一种解决对象关联操作冲突的多版本动态属性锁并发控制协议,设计实现相应的算法.该协议将多版本和对象标记锁相结合,保证了并发冲突中的用户意愿.最后,分析多版本动态属性共享锁协议的正确性,并通过实例说明协议的可用性.     

基于PERT图的冲突检测的研究

冲突是协同设计过程中一个不可避免的实际问题,产生的原因是协同设计环境下不同设计群体之间存在各个方面的差异性。基于以上原因,提出了一种冲突检测模型,并在此基础上提出了冲突的分类和基于PERT图的冲突检测算法,此方法通过组合不同设计者的设计方案PERT图找出他们之间存在的冲突问题,进而进行消解。最后通过实例验证此方法的有效性。     

协同图形编辑系统多版本动态属性锁协议研究

在协同CAD系统中,解决设计者之问的冲突检测与消解问题是实现有效并发控制机制的关键。针对协同设计中多个关联对象之间的冲突检测和消解问题,介绍协同多版本相关概念和多版本属性标记锁策略,提出一种解决对象关联操作冲突的多版本动态属性锁并发控制协议,设计实现相应的算法。该协议将多版本和对象标记锁相结合,保证了并发冲突中的用户意愿。最后,分析多版本动态属性共享锁协议的正确性,并通过实例说明协议的可用性。     

协同设计中的并行冲突检测算法

冲突是协同设计的本质，产生的原因是协同设计环境下不同设计群体考虑问题的角度、评价标准和专业知识有所不同。提出了对等式协同设计中操作序列的一致性模型，在操作序列一致性的基础上提出了基于几何级的冲突检测算法，并在此基础上实现了系统设计冲突检测原型系统。     

基于冲突检测的供应链协同计划

在供应链协同计划中,以供应链整体最优为目标做出的决策有可能引发个体理性和集体理性冲突。针对该问题,在研究供应链协同计划时引入冲突检测方法,建立供应链协同计划冲突检测模型,采用Agent协商技术对检测到的冲突进行消解。仿真实例说明,在供应链协同计划中引入冲突检测方法能及时发现供应链中存在的冲突,有助于提高供应链协同计划的效率和科学性。     

基于XACML的策略冲突检测与消解方法

基于XACML(extensible access control markup language)的访问控制策略在云计算服务中得到广泛使用,其存在的问题也日益凸显,策略集的冲突检测与冲突消解问题就是其中之一。然而,目前学术界在冲突消解方面研究较少,现有的研究也仅能对冲突进行逐对消解,没有针对大量冲突的一次性消解方法,这在大规模云计算环境中是很难适用的。针对这个问题,从算法的角度出发,改进了原有的策略冲突检测方法,并设计了一种新的策略冲突一次性消解算法。该算法将安全规则映射到N维空间中,每一个维度表示一个属性,将定义复杂的安全策略在每一个属性上统一表示为几种基本数据类型的属性值集合,通过对简单集合的交集运算来进行冲突和冗余检测。在冲突消解时,将所有的冲突汇集到一起,运用有向无环图的拓扑排序来计算规则优先级,按优先级的顺序为每个规则构建一棵空间区域选择树,选取其对应的消解后的N维空间区域,完成大量冲突的一次性消解。实验表明,冲突检测和一次性消解算法是正确、高效和可行的。     

实时图案协同设计中冲突问题的研究

在Internet环境中，允许多个用户同时对同一图案的任意绘图区进行设计是图案协同设计系统应满足的基本要求．然而不同设计者在协同设计过程中由于设计意图的不同而引起的操作冲突是不可避免的，因此冲突问题是图案协同设计系统的关键问题之一．着重讨论了冲突的定义，冲突的多种避免方式，提出了高效的冲突检测算法和一种能保护用户协同设计意图的冲突解决方法——基于冲突操作锁定的冲突解决方法．这些方法和算法的实现使得在分布式计算环境下协同设计的冲突问题得到了较完善的解决．     

实时协同设计系统的设计与实现

分析了基于对象的协同设计系统中操作冲突的特点，给出了冲突与相容关系及其基于逻辑时间钟的冲突检测方法和一致性保证算法。在此基础上，讨论了一个实时协同设计系统的设计方面有关的关键技术，并用一个实例验证了系统的效能。     

基于高阶π演算的构件演化模型研究*

为满足构件演化形式化分析的需要,确保演化正确性,提出了一种基于高阶π演算的构件演化模型。在定义演化构件的基础上,将演化过程中的行为描述为原子行为、结构行为和操作行为,建立行为与高阶π演算间的转换规则、演化行为推演规则,根据演化过程中行为之间的关系,建立演化冲突检测机制,定义互斥冲突、重复冲突、条件冲突和包含冲突等四类冲突,在分析冲突条件的基础上,设计了演化冲突检测算法,实现了构件演化的形式化分析。通过实例验证了模型的可行性。     

策略冲突的检测和解决方法研究

基于策略的方法在分布式系统和网络管理领域已得到广泛实施.策略中的冲突会导致不一致的系统行为.根据策略所作用的协议层次,将策略分为应用级和网络级两类.本文深入研究了每一类策略的冲突现象,并综述了冲突的检测和解决方法,对其优缺点加以分析;最后给出了未来的研究方向.     

协同设计中的冲突体系及解决方法研究

对冲突在协同设计中所处的时期、层次及冲突属性三个维度进行了分析，并据此构建了一个协同设计冲突体系，在设计理念、应用、系统三个层次上对冲突的表现和导致的后果进行了说明。指出了冲突之间的关系在冲突解决问题上的重要性，在此基础上给出了一个面向冲突体系的冲突解决策略，这一策略能够更好地应对协同设计中冲突的复杂性和动态性，最后给出了关键算法的实现。     

关于网络安全管理中的策略冲突检测与解决

本文通过对策略冲突进行系统研究,找到其中的主要因素,按照“策略冲突发生时策略的状态”和“策略冲突发生时策略作用对象之间的关系”给出了策略冲突的两种分类,通过这两种分类解决了“何时检测冲突”和“如何检测冲突”的问题.而后进一步阐述了如何应用冲突数据库来判别策略冲突类型的方法.     

网络安全管理中的策略冲突检测方法研究

本文通过对策略冲突进行系统研究,找到其中的主要因素,按照“策略冲突发生时策略的状态”和“策略冲突发生时策略作用对象之间的关系”给出了策略冲突的两种分类,通过这两种分类解决了“何时检测冲突”和“如何检测冲突”的问题。而后进一步阐述了如何应用冲突数据库来判别策略冲突类型的方法。     

单处理器最少延误问题的双逆向调度算法

单处理器最少延误问题实际上是对任务集中每一个任务如何分配执行时间使得延误任务数量最少的问题,该问题是处理器调度问题中一类重要的基础问题.本文主要对该问题的调度算法进行研究,提出了一种基于排序的双逆向分配任务执行时间的调度算法,称为双逆向调度算法,该算法时间复杂度为O(n2),通过验证该算法是可行的.另外,还对任务关系进行了分析,并提出了任务固有冲突、任务临界冲突时刻、任务时间窗口中心点、任务间接冲突、任务冲突度等概念.     

一种新的动态策略冲突检测模型

策略是关于系统行为管理的规则的集合.策略的冲突检测是策略广泛应用所要面对的重要问题之一.本文结合目前策略冲突检测算法的研究现状,提出了采用规范化技术和潜在冲突策略库相结合的方法构建了一种新的策略冲突检测模型.该模型可以有效提高策略的检测效率,避免由于运行时策略的检测而引起网络性能的大幅抖动.     

一种安全策略的冲突检测与消解方法

安全策略是系统安全管理的基础。分布式环境的复杂性使策略配置中不可避免地存在冲突。如何有效地分析检测策略冲突并解决冲突是应用安全策略的关键。提出了一个极具一般性的安全策略形式化描述方法,并定义了安全策略描述要素间的逻辑关系;给出了安全策略间的冲突分类描述;针对不同的冲突类型给出了相应的冲突检测算法及消解方法。     

无内部冲突满足P3的无α环的数据库模式分解（Ⅰ）：分解的基本理论

文中在文献［１］、［２］、［３］讨论的基础上，讨论了数据库模式无内部冲突，但在最小归并依赖集Ｄ中存在弱右部或弱左部冲突时分解的性质和理论．为无内部冲突的满足Ｐ３的无α环的数据库模式分解算法设计提供了基础．     

基于策略代数系统的策略间关系分析

当前分析策略之间关系的研究多集中于访问控制策略,主要根据主体、目标和动作三元组上的重叠关系来划分策略冲突类型,存在划分标准不明确,冲突分类不完善等问题.采用策略代数系统来对策略进行描述,能表示Ponder中的授权策略(访问控制策略)和职责策略.分析了策略对应组成部分间所有可能存在的关系,包括离散、相等、包含、部分包含和交叉等五种,在这些关系的基础上指出了可能存在的冲突,并给出了相应的冲突消解方案.     

基于球形边界的ATC飞行冲突概率预测

文章根据ICAO的飞行规则对飞行器的飞行冲突进行了较详细的理论分析,将该飞行冲突过程分成两个阶段即航路巡航阶段和离场起飞、进近着陆阶段,通过简化飞行边界条件和飞行冲突状态,分别推导给出了该两个阶段需要的三维飞行冲突预测解析运算模型。该飞行冲突预测解析运算模型运算量明显得到减少,并利用Monte-Carlo仿真算法验证了该算法的精确度和可行性。