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.

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.

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.

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.

基于改进卷积网络的终端区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模型中,通过创建计划数据,实现对工程项目的综合管理。实例应用结果证明:按照提出的方法进行建筑装饰工程项目的管理,不仅可以提高工程的进度,还可以使工程项目支出控制在预期范围内,避免项目建设出现超预算等问题。

基于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种方法.

直觉的逻辑性:冲突检测和个体差异的作用机制

逻辑直觉模型认为个体有逻辑和启发式两类直觉。冲突检测是检验逻辑直觉存在的重要方法。当个体做出逻辑反应时,说明逻辑直觉在发挥作用并能检测到自身和启发式直觉的冲突。近年来,研究者将认知能力作为个体差异的主要测量变量,发现认知能力能够正向预测逻辑直觉的运用。然而,基于逻辑直觉的研究存在理论建构不够丰富等问题。未来应当从明确逻辑直觉操作性定义和改进实验范式出发,进一步提出可供实证研究检验的假设,为逻辑直觉的运用和发展提供更为坚实的理论支持。

基于数字孪生技术的变电站巡检路径冲突检测研究

变电站巡检能够保证电力系统运行安全,针对目前的变电站巡检路径冲突检测方法存在的误差大、数据延迟时间长等问题,基于数字孪生技术研究了一种新的变电站巡检路径冲突检测方法。采用倾斜摄影技术完成对路径三维数据的采集,采集主要分为影像采集、多视影像平差、多视影像密集匹配。根据采集结果建立矩阵,同时分析平移变换、比例变换、旋转变换的特点,完成路径冲突检测,实现变电站巡检路径优化,完成变电站巡检路径冲突检测。实验结果表明,基于数字孪生技术的变电站巡检路径冲突检测方法的巡检误差小于等于0.5%,延迟时间可控制在0.02ms以内。

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

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

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.

基于几何关系的无人机低空飞行冲突探测与解脱策略

为保障多旋翼无人机(UAV)在低空空域的飞行安全,提出一种UAV低空飞行冲突探测模型和冲突解脱策略。首先,根据UAV当前的广播式自动相关监视(ADS-B)数据,使用基于交互式多模型容积卡尔曼滤波算法(IMM-CKF)预测下一阶段的航迹,筛选出潜在的冲突对象;其次,根据飞行保护区的特点,构建双机的轴对齐包围盒(AABB);然后,使用三维碰撞检测模型判断双机是否发生冲突,提出同向同角度(SOSA)飞行冲突解脱策略;最后,构造4种常见的冲突场景,利用所提算法检测飞行冲突,分情况采用SOSA组合解脱策略和传统解脱策略(如调高法、调向法、调速法)解脱飞行冲突。结果表明:采用基于AABB包围盒的飞行冲突检测方法可在0.02 s内快速检测冲突,采用SOSA组合解脱策略较传统解脱策略可以将绕飞增加距离减小至小于直飞距离的5%。该冲突探测方法实时性较强,解脱策略操作复杂度较低,且在冲突解脱过程中支付距离花费较小。

低空无人机飞行冲突分类探测与差异解脱方法研究

针对低空空域这一民用无人机当前的主要活动空间,为解决低空无人机飞行冲突问题,保证无人机飞行安全,提出了一种无人机飞行冲突分类探测与差异解脱方法。首先,在分析无人机低空运行模式的基础上,从对头、交叉和追赶等视角构建低空无人机异质飞行冲突场景,设计了基于安全间隔的无人机飞行保护区,建立了基于改进速度障碍法的无人机飞行冲突探测方法;然后,采用调整高度、航向和速度的飞行调配思路,设计了无人机飞行冲突解脱策略及其适用条件,构建了以最小化冲突解脱时间成本为导向的无人机飞行冲突解脱策略最优配置规则及实施流程;最后,设计多种典型冲突场景对所提方法进行了仿真验证,并分析了时间约束的敏感性。仿真结果表明,所提方法可对低空空域内潜在的无人机飞行冲突进行有效探测,并实现异质冲突场景下解脱策略优先级的科学配置,最优解脱策略的求解时间可控制在2.5 s以下。研究成果可为提升低空空域系统内无人机运行安全管理水平提供依据。

无人机冲突探测与解脱技术研究概述

近年来,无人机已广泛应用于电力巡检、森林保护、快递配送、交通监控等领域,无人机技术得到飞速发展。无人机具有数量多、体积小、速度快等特点,无人机进入非隔离空域成为必然趋势,而冲突探测与解脱技术也成了当下的重点研究方向。冲突探测与解脱技术的提高对无人机飞行安全和飞行效益具有重要意义。系统地梳理了当下中外的研究成果,对无人机冲突探测与解脱问题进行了概述。综述了冲突探测与解脱的模型,从理论模型的角度阐述了冲突解脱的目标和约束条件;并从方法论的角度对冲突探测与解脱的常用方法进行了总结。最后从现有研究的不足出发,对无人机冲突探测与解脱未来的研究趋势和方向进行了展望。

车路协同无信号交叉口的矩形冲突检测及消解

针对车路协同环境下的冲突问题,建立了以系统反应时间代替驾驶员反应时间的自动驾驶车辆制动距离模型,以此作为安全距离改进了矩形冲突检测模型,并根据轨迹优化的研究思路,提出了以矩形冲突检测模型为基础的冲突消解算法,对非通行优先权车辆进行速度引导,避免车辆冲突。在车联网开源框架Veins的基础上,将交通仿真器SUMO和网络仿真器OMNeT++双向耦合,并对冲突检测模型与消解模型进行验证。仿真结果显示,该冲突检测及消解模型具有可行性,与传统无信号交叉口四路停车让行规则相比,模型中的速度引导方案能减少合流冲突车辆8.6%的平均行驶时间,减少交叉冲突车辆8.3%的平均行驶时间;合流冲突和交叉冲突中车辆的平均速度分别提高了61.4%和105.0%。在实际应用中,冲突消解模型可以为不同速度范围内的自动驾驶车辆提供速度参考,降低无信号交叉口车辆发生碰撞的概率,提高无信号交叉口的通行效率。

基于翼尖检测的航空器机位滑入过程冲突判定

针对航空器滑入机位过程中可能出现的翼尖刮碰问题,设计基于翼尖关键点检测的航空器机位滑入过程冲突判定方法。采用机位摄像头获取目标数据,设计含目标检测、关键点检测、坐标转换及冲突预告警的航空器入位冲突检测模型。对传统HRNet(High-Resolution Net)进行精简,实现网络轻量化处理。考虑以往基于视频成像像素实施冲突检测时存在的较大误差,设计摄像头坐标转换算法,提高冲突判定的准确性。综合航空器机位内的静态间隔标准和动态避撞过程,提出翼尖安全区划设方法。针对入位过程中车辆侵入翼尖安全区的潜在刮碰情形,设计冲突检测模型,并构建某机场的机坪物理沙盘以实施模拟验证。结果显示,模型预警平均F1分数为92.22%,告警平均F1分数为97.93%。