一种应用干扰消除进行冲突消解的分布式无线MAC协议

媒介接入控制(MAC)用以协调无线节点对公共信道的共享,对无线网络性能有至关重要的影响。传统的MAC协议只能抑制冲突,不能根除及处理冲突。提出了一种基于已知干扰消除技术的新型消解冲突方法,并以此为基础设计了一个全新的MAC协议——CR-MAC。在CR-MAC协议中,无线接入点(AP)通过将部分报文传输与已知干扰消除相结合来解码冲突所包含的所有报文。因此发生冲突的报文传输过程能够被充分利用,且所需的报文重传减少了。实验结果表明,在网络吞吐率及预期报文时延指标上,CR-MAC协议较普遍采用的IEEE 802.11DCF协议均有明显优势。     

基于模型预测控制的无人机时空协同航迹规划

为了求解同时实现空间协同和时间协同的多无人机时空协同问题,提出了基于分布式模型预测控制的多无人机在线协同航迹规划的方法。建立了由MPC（Model Predictive Control,）控制器、空间协同模块和时间协同模块组成的多无人机分布式时空协同航迹规划框架结构。MPC将时空协同问题转化为滚动优化问题,优先级的方法实现了空间协同和时间协同的解耦,同时改进了碰撞冲突消解规则,并设计了时间冲突消解规则,解决了分布式时空协同问题的动作一致性问题。仿真实验表明,该方法可以有效地实现多无人时空协同航迹规划。     

产品协同设计的冲突消解方法研究

冲突在协同设计过程中是不可避免的，有效的冲突消解方法对协同设计的顺利进行是十分重要的。本文分析了协同设计过程中冲突产生的原因和特点，对协同设计过程中冲突消解的各种方法进行了研究。     

本体协同演化冲突检测与消解方法研究

随着本体数量的不断增加和语义Web的发展,多用户本体协同操作成为发展的必然趋势,但是在共同协作的本体环境中总是充斥着各种冲突,所以协同演化冲突检测和消解是亟需解决的一个问题.提出了一个分类检测并消解演化冲突的结构化方法,根据演化冲突的复杂程度分为直接冲突、衍生冲突和不一致冲突,针对不同类型冲突的特点构建相应的协同演化冲突检测算法,最后通过判断演化冲突对中是否存在可删操作和寻求最大一致子序列进行冲突消解,使得多个本体演化意图并存,最终实现本体协同演化的目标.该算法在一定程度上提高了本体协同演化的效率,为开放环境下大规模本体演化的进一步发展奠定了基础.     

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

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

基于模糊时间知识推理的实时系统冲突研究

定义一类模糊时间Petri网用于模拟受时间约束的实时系统行为,通过对模糊时间区间的知识推理,研究实时系统中带时间因素的冲突问题和时间-空间的冲撞问题,将时间约束和冲撞发生的概率用于冲突消解。实例分析表明,相对于已有冲突分析和消解方法,该方法同时考虑了带有不确定性时间的系统冲突和冲撞行为,可以更好地模拟和分析现实中的实时系统。     

网络安全策略求精一致性检测和冲突消解机制的研究

通过对基于策略的网络安全管理的研究,分析了现有网络安全策略冲突检测和消解方法存在的不足.基于策略求精的思想和安全策略冲突分类技术,建立基于策略的网络管理安全级模型,并用扩展的XACML语言加以描述.根据策略行为间的关系,采用知识推理技术,动态分层地对相应安全级策略进行一致性自动检测和实时冲突消解,使其具有良好的可重用性...     

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

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

基于相关度的同步协同设计冲突消解策略

为解决同步协同设计技术所面临的设计资源冲突,提出了一种基于相关度的标准满意度冲突消解策略.在分析设计决策冲突产生原因的基础上,以学科领域相关度为依据,针对同步协同过程中的设计权限,应用标准满意度的评价方法,建立了冲突消解策略模型,来提高协同设计的效率和实时性.在多学科领域协同设计过程中得到了应用,并分析了该冲突消解策略的优越性.     

基于扩展UML图化简的过程模型冲突消解

为保证业务过程模型的结构正确性,使业务过程可以正常终止,需要进行业务过程模型的结构验证。提出基于扩展UML活动图的建模方法,扩展基本UML活动图的元素,使之适合描述复杂的业务过程;提出了相应的冲突检测方法,可以处理含有循环、重叠结构的复杂过程模型,实现对典型结构冲突(如死锁、同步缺失、活锁)的检测。针对过程模型中的各个冲突提出相应冲突消解策略,便于对过程模型进行修改。