Aware conflict detection of non-uniform memory access system and prevention for transactional memory

Most transactional memory (TM) research focused on multi-core processors, and others investigated at the clusters, leaving the area of non-uniform memory access (NUMA) system unexplored. The existing TM implementations made significant performance degradation on NUMA system because they ignored the slower remote memory access. To solve this problem, a latency-based conflict detection and a forecasting-based conflict prevention method were proposed. Using these techniques, the NUMA aware TM system was presented. By reducing the remote memory access and the abort rate of transaction, the experiment results show that the NUMA aware strategies present good practical TM performance on NUMA system.

The Application of Constraint Satisfaction Technique in Conflict Detection and Resolution

The conflict detection and resolution in collaborative design is a key issue to maintain multi disciplinary design consistency. This paper proposes a new method for conflict detection and resolution based on constraint satisfaction technique. The representation of design constraint, the interval arithmetic of the constraint satisfaction problem CSP and the conflict resolution strategy based on constraint relaxation and adjustment are introduced. A constraint satisfaction based conflict detection and resolution tool CSCDR is then developed. It can help collaborative designers to detect and resolve the conflicts in time in the early stage of the design process so that the unnecessary design iteration and repeated negotiation are avoided and the design efficiency is then much improved. A design case illustrates the effectiveness of CSCDR.

Conflict detection in collaborative architectural pipe routing design based on constraint network

This paper analyzes conflict features in architecture pipe routing,and builds a pipe routing design conflict model by taking into account of discrete nominal internal diameter selection of pipes,material costs,and conflict solution sequence.Considering pipe routing as an assembling process,a conflict detection approach for pipe routing in collaborative architectural design is proposed based on an aforementioned model.Constraint network is used to describe the relationship among pipe routing design parameters and constraints;design conflicts are detected by matching designers' input and constraint network;and detected design conflicts are reordered according to the number of pipe parameters in conflicts.In order to support the collaborative requirement of pipe routing design,a prototype system using browser/server architecture is developed.An illustrative example of water pipe routing in a room is used to show the effectiveness and efficiency of the approach.

Research on engineering-oriented constraints conflict detection in collaborative design of wire harness technology

Engineering-oriented constraint of harness technology has much information and project information presents progressive changes along with the design. Therefore, how to handle conflict resolution quickly is a problem to be solved. Process model of con- flict detection is put forward according to characteristics of harness technology design engineering-oriented constraint, and then two problems of how to conduct conflict positioning and judgment of constraint rules are introduced in this paper. Afterwards in this pa- per, constraint information directed acyclic graph is established by classified project constraint information to solve the conflict posi- tioning problem; solution of constraint satisfaction problem is applied to realize judgment problem of constraint rules. Finally, exam- ple is used to analyze the method in this paper to further verify the correctness and effectiveness of this method.

Detecting conflict of heterogeneous access control policies

Policy conflicts may cause substantial economic losses.Although a large amount of effort has been spent on detecting intra-domain policy conflict,it can not detect conflicts of heterogeneous policies.In this paper,considering background knowledge,we propose a conflict detection mechanism to search and locate conflicts of heterogeneous policies.First,we propose a general access control model to describe authorization mechanisms of cloud service and a translation scheme designed to translate a cloud service policy to an Extensible Access Control Markup Language(XACML)policy.Then the scheme based on Multi-terminal Multi-data-type Interval Decision Diagram(MTMIDD)and Extended MTMIDD(X-MTMIDD)is designed to represent XACML policy and search the conflict among heterogeneous policies.To reduce the rate of false positives,the description logic is used to represent XACML policy and eliminate false conflicts.Experimental results show the efficiency of our scheme.

Modeling and Global Conflict Analysis of Firewall Policy

The global view of firewall policy conflict is important for administrators to optimize the policy.It has been lack of appropriate firewall policy global conflict analysis,existing methods focus on local conflict detection.We research the global conflict detection algorithm in this paper.We presented a semantic model that captures more complete classifications of the policy using knowledge concept in rough set.Based on this model,we presented the global conflict formal model,and represent it with OBDD(Ordered Binary Decision Diagram).Then we developed GFPCDA(Global Firewall Policy Conflict Detection Algorithm) algorithm to detect global conflict.In experiment,we evaluated the usability of our semantic model by eliminating the false positives and false negatives caused by incomplete policy semantic model,of a classical algorithm.We compared this algorithm with GFPCDA algorithm.The results show that GFPCDA detects conflicts more precisely and independently,and has better performance.

Conflict Resolution Based on Collaborative Design of Grid Services

To the issues of low efficiency of conflict resolution method in collaborative design, we proposed a method, which is conflict resolution about collaborative design based on grid services.It uses the grid services from the current design points, uses the method of retrospective thinking to find the conflict point by detecting, and then uses the corresponding method to resolve the conflict point according to the conflict characteristic, after that carried on the conflict detection again. If there is still the conflict, resolve the conflict point again, until the conflict no longer exists. This method combines various traditional resolution methods, makes full use of the grid idle high-performance large-scale sharing resources. With this method the collaborative design conflict resolution cost reduced and the conflict resolution efficiency was raised. And then the problem which is not handled completely was then solved, so that the conflict resolution Quality was guaranteed.

STUDY ON CONFLICT MANAGEMENT FOR COLLABORATIVE DESIGN SYSTEM

Modern day products are usually designed cooperatively by groups of experts, each with his own areas of expertise. Because of different viewpoint, evaluation standard and domain knowledge of these design groups in collaborative design system, conflict is unavoidable. In this paper, an integration conflict management system (ICMS) was presented from the aspect of all life cycle. A hierarchical constraint network was introduced to detect the conflicts. Three conflict types were classified in ICMS and different type of conflict was submitted to different resolution strategy, constraint relaxation to data conflict and knowlegdge based reasoning to knowledge conflict or schema conflict. To those conflicts hard to be resolved with the above two strategies, an arbitration was used for the conflict resolution. ICMS also provided interface with other collaborative systems such as CAE, CAD to improve the efficiency of collaborative design system.

一种面向联盟链Hyperledger Fabric的并发冲突事务优化方法

随着区块链技术应用的普及,联盟链Hyperledger Fabric(简称Fabric)已成为知名区块链开源平台,并得到广泛关注.然而Fabric仍受困于并发事务间冲突问题,冲突发生时会引发大量无效交易上链,导致吞吐量下降,阻碍其发展.对于该问题,现有面向块内冲突的方案缺乏高效的冲突检测和避免方法,同时现有研究往往忽略区块间冲突对吞吐量的不利影响.提出了一种Fabric的优化方案Fabric-HT(fabric with high throughput),从区块内和区块间2方面入手,有效降低事务间并发冲突和提高系统吞吐量.针对区块内事务冲突,提出了一种事务调度机制,根据块内冲突事务集定义了一种高效数据结构——依赖关系链,识别具有“危险结构”的事务并提前中止,合理调度事务和消除冲突;针对区块间事务冲突,将冲突事务检测提前至排序节点完成,建立以“推送-匹配”为核心的冲突事务早期避免机制.在多场景下开展大量实验,结果表明Fabric-HT在吞吐量、事务中止率、事务平均执行时间、无效事务空间占用率等方面均优于对比方案.Fabric-HT吞吐量最高可达Fabric的9.51倍,是最新优化方案FabricSharp的1.18倍;空间利用率上相比FabricSharp提升了14%.此外,Fabric-HT也表现出较好的鲁棒性和抗攻击能力.

基于多维空间离散基准的目标检测网络设计

针对目标检测网络中检测头的设计缺少依据,不能对不同数据集进行相应优化的问题,用一至四维的空间离散基准和正样本点(组)分配冲突率模型,提出了相应的设计依据。即基于位置的分配原则中,针对特定数据集的正样本点在4个回归量所组成的空间维度中的分布特点,在不高于指定的分配冲突率的条件下,以减少正负样本不均衡度和系统计算资源为目的,设计出具有最少点数检测头的规律。其本质是一个回归基准编码和正负样本分配设计的过程,进而实现检测性能与资源消耗之间的平衡。得出基于卷积目标检测网络检测头的回归基准可以采用4个回归中的任意组合,但需结合样本分配策略与数据集的正样本分配冲突率进行综合设计的结论。

冲突探测与解脱机制下城市物流无人机自由飞行间隔研究

聚焦自由飞行场景,为确保城市物流无人机运行安全,需要为无人机配备安全间隔。借鉴气体模型和位置误差概率模型,提出考虑冲突探测与解脱机制的无人机自由飞行间隔综合评估模型。首先应用气体模型评估无人机冲突发生频率;接着综合考虑空中交通特性、冲突探测与解脱机制、航线结构、空中交通服务能力,计算冲突发生时碰撞概率,得到总体碰撞概率。最后,对标安全目标水平,计算城市物流无人机自由飞行所需间隔。应用该模型,针对某运行空间无人机自由飞行场景,制定所需间隔。研究结果为城市物流无人机间隔标准制定提供可行方法,同时可用于指导冲突探测与解脱机制,降低突破间隔后碰撞概率。

基于动态优先级的机坪车辆避冲突运行规划方法

【目的】针对机坪车机混行环境,提出了一种考虑动态优先级的避冲突运行规划方法。【方法】首先,从作业效率和运行风险两个层面,提出动态优先级计算方法,完善了多类型保障车辆时变冲突风险划分的规则。其次,考虑保障车辆运行规则和物理特性,建立了考虑行驶和等待时间最小化的混合整数规划模型。最后,设计全局路径优化的两阶段算法进行求解,并通过低时间复杂度的改进冲突探测方法,弥补了传统方法求解大规模复杂问题在时效性方面的不足。【结果】实验表明,设计的算法在大、小规模场景均有较好的适用性,相比对照算法,冲突优化幅度提升7.6%,车辆与航空器冲突占比降低7.5%。【结论】所提方法满足了保障车辆差异化运行要求,实现了车辆和航空器混合运行环境下避冲突路径规划的功能。

基于改进卷积网络的终端区4D航迹预测与冲突检测

随着不断扩大的旅客运输量和航线网络规模,采用飞行计划结合空中交通管制的空中管理办法已经不能与当前民航需求和空中交通流量相匹配,直接影响到航班正常率和运行安全。为解决这一问题,国际民航组织(International Civil Aviation Organization,ICAO)提出了基于航迹运行(trajectory based operation,TBO)的下一代空中交通管理运行理念,中国民航也提出了智慧民航的建设方案和目标。其中4D航迹是TBO运行的核心组成部分,也是中国建设智慧民航的重要技术指标,其可以对航空器的运行进行精确地管理和控制。因此,提高4D航迹预测的准确性成为了目前急需解决的核心问题。面向航空器的飞行任务实施阶段,从4D航迹预测和冲突检测两个问题进行了研究。在航迹预测方面,采用了基于卷积神经网络-双向门控循环单元(convolutional neural networks-bidirectional gated recurrent unit,CNN-BiGRU)的模型对航迹进行高精度预测;在冲突检测方面,引入了航迹距离检测函数以检验预测模型生成的两条航迹是否存在冲突。通过使用某繁忙终端区真实广播自动相关监视(automatic dependent surveillance-broadcast,ADS-B)历史轨迹数据进行实验,并将该方法与同一数据集上的单一长短时记忆网络(long short-term memory,LSTM)模型和门控循环单元(gated recurrent unit,GRU)模型进行了比较。仿真实验表明,CNN-BiGRU模型的评价指标均优于对比模型,同时预测的两条航迹在未来800 s内不存在冲突。所提出的方法为空中交通管理提供了一种有效的手段,具有重要的应用价值。

基于注视特征的多因素飞行冲突探测策略研究

为研究不同空域复杂性条件下的飞行冲突探测策略,设计最小间距(MD)×汇聚角度(CA)×速度特性(SC)的被试内三因素重复测量实验方案,基于马尔科夫链的注视平稳分布概率和兴趣区注视时长分布特征,判断被试所采用的冲突探测策略并分析不同策略下的任务绩效指标。研究结果表明:在汇聚角度较大、最小间距更接近告警间隔的实验场景中,被试多采用距离-速度比(DV)策略;在汇聚角度较小、最小间距较小、航空器速度相同的实验场景中,被试多采用认知运动外推(CME)策略。多数情况下,采用CME策略判断飞行冲突的反应时更短、正确率更高。研究结果可为提高冲突探测的感知和预判能力提供参考。

BIM技术在建筑装饰工程项目管理中的应用研究

为提高项目管理水平,加快工程进度并控制其施工成本,引进BIM技术,以某建筑装饰工程项目为例,开展工程管理方法的设计研究。根据视图、基准面、构件、注释、主体结构五个核心要素,创建基于BIM技术的建筑装饰工程项目3D信息模型;将建立的建筑装饰工程项目3D信息模型作为参照,通过录入、深化节点信息,进行建筑装饰工程项目施工的动态模拟;在工程施工前对机械进行动力学仿真,对机械的运行路径、作业人员的作业区域等进行最优选择,实现对装饰设备管线碰撞与冲突的检测;使用Project软件,将工程施工中的进度数据录入4D模型中,通过创建计划数据,实现对工程项目的综合管理。实例应用结果证明:按照提出的方法进行建筑装饰工程项目的管理,不仅可以提高工程的进度,还可以使工程项目支出控制在预期范围内,避免项目建设出现超预算等问题。

A multi-aircraft conflict detection and resolution method for 4-dimensional trajectory-based operation

Conflict Detection and Resolution（CD＆R） is the key to ensure aviation safety based on Trajectory Prediction（TP）. Uncertainties that affect aircraft motions cause difficulty in an accurate prediction of the trajectory, especially in the context of four-dimensional（4D） Trajectory-Based Operation（4DTBO）, which brings the uncertainty of pilot intent. This study draws on the idea of time geography, and turns the research focus of CD＆R from TP to an analysis of the aircraft reachable space constrained by 4D waypoint constraints. The concepts of space–time reachability of aircraft and space–time potential conflict space are proposed. A novel pre-CD＆R scheme for multiple aircraft is established. A key advantage of the scheme is that the uncertainty of pilot intent is accounted for via a Space-Time Prism（STP） for aircraft. Conflict detection is performed by verifying whether the STPs of aircraft intersect or not, and conflict resolution is performed by planning a conflict-free space–time trajectory avoiding intersection. Numerical examples are presented to validate the efficiency of the proposed scheme.

基于Transformer与图卷积网络的行为冲突检测模型

近年来,随着监控摄像头的不断增多和互联网的迅速发展,监控视频与网络视频越来越多,对视频进行自动行为冲突检测对降低人为审核导致的隐私信息泄露风险及维护社会治安、净化网络环境等具有重要意义.为了充分提取视频中的行为冲突特征,并获得有较好泛化能力与检测效果的模型,采用I3D(inflated 3D convolutional network)与VGGish,基于XD-Violence进行多模态特征的提取,并提出了基于Transformer和图卷积网络的行为冲突检测模型TG-BCDM(behavior conflict detection model based on Transformer and graph convolution networks).该模型包含Transformer编码器模块和图卷积模块,可以在有效捕捉视频中长距离依赖关系的同时,关注视频特征的全局信息和局部信息.经过实验证明,该模型优于现有的8种方法.

城市轨道交通运营线路智能化施工管理系统设计

针对城市轨道交通(简称:城轨)运营线路施工作业中存在的施工计划繁杂、请销点办理效率低、计划编制繁琐、不确定因素干扰等诸多问题,设计了城轨运营线路智能化施工管理系统,阐述了其总体架构、功能设计和关键技术,实现了施工计划管理、施工作业控制、施工统计分析等功能。通过在郑州地铁上线运行的效果表明,该系统可有效降低运营成本、提升施工管理效率,为城轨运营线路管理和工程建设提供有力支撑。

A Conflict Detection Scheme for Concurrency Control of R-tree

Despite extensive research on R-trees, most of the proposed schemes have notbeen integrated into existing DBMS owing to the lack of protocols of concurrency control. R-linktree is an acceptable data structure to deal with this issue, but problems like phantom still exist.In this paper, we focus on a conflict detection scheme based on R-link tree for completeconcurrency control. An in-memory operation control list is designed to suspend conflictingoperations . The main features of this approach are (1) it can be implemented easily and does notneed any extra information ; (2) No deadlocks are involved in locking scheme ; (3) Non-conflictingoperations are not restricted ; and (4) Phantom problems in R-link tree are avoided throughbeforehand predication . The experiment results show that this scheme is correct and gains bettersystem performance.

Conflict detection and resolution for authorization policies in workflow systems

The specification of authorization policies in access control models proposed so far cannot satisfy the requirements in workflow management systems(WFMSs).Furthermore,existing approaches have not provided effective conflict detection and resolution methods to maintain the consistency of authorization polices in WFMSs.To address these concerns,we propose the definition of authorization policies in which context constraints are considered and the complicated requirements in WFMSs can be satisfied.Based on the definition,we put forward static and dynamic conflict detection methods for authorization policies.By defining two new concepts,the precedence establishment rule and the conflict resolution policy,we provide a flexible approach to resolving conflicts.