模糊约束网络在机床产品协同设计冲突检测中的应用

分析了机床产品协同设计中约束的内涵和特点,并用EXPRESS-G图描绘了约束网络的结构模型.将机床产品协同设计中的约束分为硬约束和软约束,从数学上给出模糊约束和模糊约束满足问题的定义.采用遗传算法作为协同设计过程中模糊约束满足问题的求解方法,在遗传算法的运行过程中对软硬约束分别进行了不同的技巧处理,遗传算法利用硬约束通过前向检查算法随机产生几何可行初始群体来限制设计空间,并给出遗传算法的具体实现过程.提出了基于模糊约束网络的冲突检测系统的体系结构,并对原型系统进行开发.最后,以某车床传动轴的设计为例验证了约束在协同设计冲突检测中的应用.     

一种本体协同冲突的检测方法

针对农业领域分布式的迭代知识协同建构过程中存在的协同冲突及难于检测的问题,提出协同冲突划分、检测与消解方法.把协同冲突与本体一致性问题区别开来,按本体知识编辑操作的影响范围、操作类型及启发式规则把协同冲突划分为硬冲突、软冲突.依据这个划分,给出一个高效的检测算法和冲突消解方案.     

协同设计中的若干现象及其分析

以协同设计过程规律的发现和认识为目的，运用设计实验的方法观察了小组协同设计，重点对小组协同设计中设计思想和概念的产生方法，任务分工和角色定位，矛盾冲突与消解方式，以及非话语的设计行为等方面所观察到的现象进行分析，得到以下结论：设计者使用大量的类比法产生设计思想和概念；设计过程中产生了建议者和领导者角色，存在由设计提出新的设计目标来协调解决冲突等几种矛盾冲突避免和消解的方式；草图，手势等非话语设计行为在信息交流活动中发挥重要作用。     

基于Hough变换的大数据特征集成冲突检测建模研究

传统的大数据冲突检测方法,无法解决数据特征冲突过程中存在的震荡波动以及数据特征不明显的问题,获取的检测结果存在较大的偏差.为了提高大数据冲突检测的准确率,提出基于Hough变换的大数据特征集成冲突检测模型,通过大数据特征数据挖掘算法,获取初步冲突特征数据.采用去一划分的方法,计算采集冲突特征数据的离群性权值,参考量化后的特征冲突权值,通过选定大数据特征序列、大数据特征表达和特征数据Hough变换处理三个步骤实现大数据的特征集成,借助配置的冲突判断规则,通过大数据特征集成冲突分类输出冲突检测结果.经过对比实验发现,相比于传统的冲突检测模型,基于Hough变换的特征集成冲突检测模型检测准确率提高了13.04%.     

普适计算环境中的上下文冲突检测与解除

为了能够检测普适计算环境中的上下文冲突并自动进行冲突消解,在对上下文冲突原因深入分析的基础上,提出了上下文冲突检测和消解算法.该算法根据语义对新到达上下文进行分类,定义冲突触发器来检测上下文冲突,并根据上下文的相对优先级主动进行冲突消解.实验结果表明,该算法能够有效地检测和消除上下文冲突,提高应用程序的性能.     

面向高冲突事务处理的架构设计和优化

无共享架构的分布式数据库是为了应对互联网业务的高可扩展性和高可用性而诞生的.目前无共享架构的分布式数据库虽然已经有了长足的进展,但是对于一些采用无状态计算层的无共享架构分布式数据库而言,往往存在着冲突检测链路过长的问题,这一问题在高冲突的场景下会更加突出.针对这一问题,设计了预先加锁和本地缓存两个策略,并开发了配套的高冲突检测模块,可以实现快速检测冲突并启动对应的高冲突处理策略.实验表明,对高冲突事务处理的架构设计和优化可以提高分布式数据库系统在高冲突负载下的性能.     

基于协同设计的民机安全性分析系统研究

阐述了访问控制机制和冲突检测机制等民机安全性协同设计关键技术.分析了民用飞机安全设计评估程序,基于协同设计提出民机安全性系统总体框架,初步建立了民机安全性协同设计平台.     

网络入侵检测规则的冲突检测和解决

为了解决入侵检测系统中当前输入事件同时匹配入侵规则库中多条规则(检测冲突)从而导致漏报和误报的问题,利用形式化方法研究了冲突的类型和判定标准,给出了冲突检测和解决的算法.对Snort规则库分析的结果表明:提出的冲突判定标准正确有效,且冲突在规则库中实际存在并以交叉冲突为主.因此依靠专家经验建立的规则库不可避免地存在语义矛盾,对规则库进行冲突检测和冲突解决有助于提高入侵检测系统的有效性.     

基于多域环境的安全策略冲突检测模型研究

本文介绍了安全策略及冲突检测的基本概念、并在此基础上分析了几种安全描述语言在多域环境下的管理框架，及其它们各自在多域环境下的策略冲突检测中的优缺点，并讨论了现有存在的问题．在此基础上给出基于有向图覆盖的冲突检测模型．并以角色权限冲突的检测为实例，给出了具体的解决方案．     

基于HTCPN的型号产品协同设计工作流模型研究

型号产品协同设计工作流建模是协同设计过程管理的关键环节.针对型号产品协同设计的工作流模型特点,从项目粒度、开发周期和并行度三方面分析,建立了一个在空间上三维分布的工作流模型.分析了Petri网建模方法的不足,采用扩充了定义的HTCPN对型号产品机翼协同设计的工作流模型进行建模和仿真,并从可达性、死锁和任务冲突等性能方面分析了建模的正确性.最后通过在协同设计系统中的应用,表明该工作流模型是正确可行的.     

在RBAC模型中"责权分离约束"的冲突检测与消解

详细论述了责权分离约束在基于角色的访问控制（RBAC）中的冲突检测与解决方案.研究了该约束在“权限-角色授权”（PRA）、“权限-主体授权”（PSA）、“角色-主体授权”（RSA）、“角色-角色授权”（RRA）等各类授权关系中的典型示例,并结合数学中的有向图理论给出冲突检测的算法分析,为实际应用奠定了基础.此外,还对冲突产生后的消解方法进行了深入讨论,总结出多种方案并进行仿真比较,根据实验结果给出一套优化后的解决途径.     

策略冲突类型的细化及检测方法的改进

在分析策略冲突研究现状的基础上,针对策略冲突分类不完善,缺乏有效判断事件重叠的手段,对应用相关冲突的研究相对偏少等问题,改进了策略冲突类型的划分标准;对模态冲突检测补充了事件重叠判断算法,对应用相关冲突检测则提出了附加属性标签方法;新增了属主级别优先和新加载策略优先的冲突解决方案,并对两方案相结合的方法进行了仿真.仿真结果表明,这些方法补充了已有研究的不足,在解决策略冲突时有良好的效果,在相同的系统背景下与原有的方法相比,其有效率提高了10%～27%.     

跨国专利协同开发中的文化冲突研究

随着跨国专利资源协同活动的增加,合作企业之间的文化差异乃至相互冲突问题逐渐凸显出来。通过对跨国专利协同开发过程的讨论以及引发合作伙伴之间文化冲突的因素的剖析,提出了专利协同开发中文化冲突管理的理论假设,并进行实证检验。在此基础上,探讨了在专利协同开发中进行协调管理的思路和对策。     

免疫原理在业务冲突检测中的应用

在线业务冲突检测方法的不足之处主要体现为与现有网络结构不兼容、虚警和漏报.在对业务冲突检测与生物免疫系统之间相似性进行分析的基础上,提出了一种运用生物免疫系统中阴性选择、动态覆盖性和免疫识别机理进行业务冲突在线检测的方法.     

基于XML的协同设计中的数据交换机制研究

协同设计中,异地设计者之间需要实现有效的资源共享,因此需要在各站点之间进行数据交换。通过讨论XML技术的优点,使用XML可以方便地对协同设计进行数据交换管理,提出了基于XML的数据交换和数据表示方式,设计实现了基于XML技术的增量式协同设计数据管理,便于异步协同设计时对其它设计者设计过程的了解,提高协同设计系统的效率,减少协同冲突的产生。     

飞行冲突调配概率安全评估方法研究

现行技术条件和运行模式下,通过地面监控与引导、地空协同、调配和化解飞行冲突是保障空中交通安全的关键,因此以飞行冲突调配为对象,开展量化的安全性分析是一项重要的基础性工作。结合空中航行的运行实际,对飞行冲突检测与解脱的过程进行了分析,并利用事件树分析(ETA)方法对飞行冲突调配的逻辑顺序进行了解析。针对评估中人失效的问题,采用了人误评估与减少技术(HEART)分析飞行冲突调配过程中空中交通管制员、飞行员的人因失误概率。最后在综合考虑防相撞设备可靠性因素后,得到飞行冲突调配的整体失效概率。研究结果表明:利用ETA和HEART组合的概率安全评估模型对空中航行系统进行安全评估是可行的,为空中航行安全性分析提供了量化参考,同时为防范空中飞行冲突风险提供了指引。     

注塑模协同制造系统的应用

基于目前注塑模ＣＡＤ／ＣＡＥ／ＣＡＭ技术缺乏有效的信息交流,降低了集成系统的效果,为此,提出了注塑模协同制造系统模型,并阐述了系统实现了中环境构造,任务关联与分解,动约束求解,冲突检测与消解等关键技术,提出了相应的求解策略。     

RFID系统中二叉树防碰撞算法性能的提升

针对RFID系统中的标签碰撞问题,提出了一种改进的二叉搜索树防碰撞算法.通过划分标签子集、动态调整冲突检测过程,以减少标签冲突和系统开销,提高识别效率.仿真结果表明,相比于目前的二叉树搜索算法,本文方法在待识别标签数量较大的情况下提高了识别效率,减少了搜索次数及阅读器与标签之间的通信量.     

Snort规则库的冲突检查

针对冲突是规则库不正确的一种表现形式,可能导致漏报和误报,对Snort规则库的冲突进行了研究.首先从一般意义上讨论了冲突的类型以及冲突检测的算法,给出了对Snort规则库的检查结果,最后分析了冲突的原因和可能的解决方法.     

基于谓词冲突图的死锁检测

在分布式多数据库环境下,局部站点数据库自治性使其只能对本地站点上事务进行并发控制而无法防止全局事务间的冲突和死锁发生,故采用谓词冲突检测技术来判断全局事务间的直接和间接冲突,为此,提出了多粒度的谓词冲突图构建方法,从而使并发控制粒度达到谓词级,分析了冲突的全局事务在谓词冲突图中形成死锁的各种情况并通过检测图中是否形成环来避免全局事务在执行中可能产生的死锁,不仅减小死锁冲突检测粒度,而且还提高了全局事务执行的并发度.