业务过程建模中冲突消解的研究

业务过程建模是整个工作流管理的基础,在工作流执行之前,需要对业务过程模型进行分析和检测,对含有冲突的模型进行冲突消解,以协助建模人员修改业务过程模型。介绍了冲突的体系结构,对近年来在冲突消解方面的研究进行论述,并提出了含有二级检测机制的冲突消解工具结构,为业务过程模型的分析提供依据。     

基于STN的时间冲突检测与消解

针对已有的STN一致性检验算法只能检测时间冲突而不能消解冲突的问题,以负环检测算法为基础,提出一种结合冲突检测和冲突消解的迭代算法。设计基于调整代价的冲突消解方法,对负环检测进行增量处理,可提高冲突消解的合理性和速度,减轻计划者处理冲突的负担。实验结果证明该算法具有较高的效率。     

分布式数据库复制实施策略中的冲突预防和解决

复制是分布式数据库实施策略中的重要一种，它能大大提高各结点的自治性，同时保证各结点数据副本之间的松散一致性，然而各结点自主的数据操作之间很可能发生冲突。针对这种情况，提出了设计分布式数据库时就积极地采取措施尽可能预防冲突发生；当冲突发生时，采用合理的策略来解决冲突。最后，以SQL Server2000为例来说明这种思想的具体应用。     

基于多维整数空间的安全策略冲突检测与消解

针对当前大部分安全策略冲突检测与消解算法缺少灵活性和扩展性等缺点,提出一种基于多维整数空间的安全策略形式化描述方法,在此基础上设计了一种可扩展的安全策略冲突检测与消解算法,并证明其正确性,设计并实现能够自动对安全策略进行冲突检测与消解的工具SPCDRT。     

网管系统策略冲突解决的结果中存在的问题及检测与解决方法

当前，多种方法被用来解决网管系统中的策略冲突，不同方法有不同的应用范围，因此，通常需要综合应用多种方法来解决策略之间的冲突．各种方法解决策略冲突解决的过程是相对独立的，其策略冲突解决的结果也是相对独立的．在解决策略冲突的过程中，难以考虑到已经存在的策略冲突解决结果．因此。不同的策略冲突解决方法的结果之间可能存在冲突．分析了网管系统中多策略冲突解决方法的结果中可能存在的冲突，提出了检测及解决这些冲突的方法，并给出了实验结果及结论．     

EasiRCC：面向智能家居的规则匹配与冲突消除方法

在智能家居中,规则间的冲突问题会直接影响系统的稳定性,针对智能家居的规则冲突问题,提出了一种新型的快速规则匹配和冲突消除方法EasiRCC.解决冲突问题,首先要解决规则的匹配问题,现有的规则匹配方法频发重复匹配现象,造成了系统资源的浪费,针对规则的重复匹配问题,提出了一种基于散列函数寻址方式的快速规则匹配算法EasiRMA,提高了规则匹配效率.其次要解决冲突的消除问题,现有的方法都是采用固定优先级方法来消除冲突,但是却增加了用户制定规则的复杂度,因此提出了一种混合优先级调度机制,使系统可以实时地自适应调整规则的执行优先级.实验结果显示:EasiRCC的规则匹配效率不会随着规则数的增多而变化,其时间复杂度为常数,而传统的匹配方法为O(N),并且在不影响用户正常家居生活的前提下,能够有效地消除规则冲突.     

一种基于OpenFlow的SDN访问控制策略实时冲突检测与解决方法

软件定义网络SDN(Software-Defined Networking)是由美国斯坦福大学Clean Slate研究组提出的一种新型网络创新架构,可通过软件编程的形式定义和控制网络,其控制平面和转发平面分离及开放性可编程的特点,为新型互联网体系结构研究提供了新的实验途径,也极大地推动了下一代互联网的发展.OpenFlow是SDN的主要协议,定义了SDN控制器与交换机之间的通信标准.目前,很多基于OpenFlow的SDN设备已经在实际中得到了部署.但是,基于OpenFlow的SDN却面临很多安全挑战.其中一个重要的挑战是如何建立一个安全可靠的SDN防火墙应用.由于OpenFlow协议的无状态性,现有的SDN防火墙可以被通过改写交换机中的流表项轻松绕过.针对这一安全威胁,作者提出了基于Flowpath的实时动态策略冲突检测与解决方法.通过获取实时的SDN网络状态,能够准确地检测防火墙策略的直接和间接违反,并且一旦发现冲突,可以基于Flowpath进行自动化和细粒度的冲突解决.最后,作者在开源控制器Floodlight上实现了一个安全增强的防火墙应用FlowVerifier,并基于Mininet对FlowVerifier的性能进行了评估.结果表明FlowVerifier能够检测和自动化地解决SDN网络中由于流表改写而引入的策略冲突及其带来的安全威胁.     

Assembly and Disassembly: An Overview and Framework for Cooperation Requirement Planning with Conflict Resolution

Assembly, one of the oldest forms of industrial production, and its twin area, disassembly, have enjoyed tremendous modernization in the era of the information revolution. New enabling technologies, including prominent examples such as virtual CAD, Design for Assembly and Disassembly (DFAD), robotic and intelligent assembly, and Flexible Assembly (FA), are now becoming commonplace. This article reviews some of the newer solutions, and an extended framework for Cooperation Requirement Planning (ECRP) in robotic assembly/disassembly is developed. Recent research under the PRISM program at Purdue University to enable ECRP and other relevant projects is presented. The challenges to researchers in this field, in adapting these solutions to the emerging environment of global and local supply networks are also discussed.     

Novel Conflict Resolution Model for Multi‐Uav Based on Cpn and 4d Trajectories

This paper presents a conflict resolution (CR) model in colored Petri net (CPN) formalism for 4D (three‐dimensional + time) planned trajectories of cooperating unmanned aerial vehicles (UAVs). The CR model is integrated with the conflict detection algorithm using spatial data structure to detect time‐based separation infringements among UAVs and to generate an intuitionistic representation of 4D conflict information. The main contribution of this paper is the proposed CR model, which is based on the logic of cause‐and‐effect analysis. This model not only chooses a preferred trajectory according to the priority for solving the current conflict but also considers the follow‐up influence (domino effect) to update segments and conflicts. The novel causal model exploits the state space to achieve the solution using CPN. The model is validated with the experimental results of a scenario involving multiple UAVs (composed of clusters) cruising in a bounded region and exhibits the main advantages of scalability, efficiency, and short execution time.