关系数据库中分布式大数据的集成冲突消解算法

针对现有关系数据库中分布式大数据集成冲突消解研究的不足,提出一种新的集成冲突消解算法。依据关系数据库中分布式大数据的集成过程对冲突进行分类,将其划分成语义冲突、模式冲突以及实例冲突。针对语义冲突,通过句法融合、逻辑树融合和频率融合法实现冲突消解。通过属性有向图对关系数据库中模式数据和实例数据的属性进行描述。从属性关系参与分布式大数据集成冲突的状态分析,通过关系的权重值对属性关系的重要程度进行量化处理。通过有向图全部关系的权重和对所有属性有向图的重要程度进行描述。综合分析冲突数与权重定义代价函数,在此基础上给出关系数据库分布式大数据集成冲突消解详细过程。实验结果表明,所提算法冲突识别和消解性能高。     

一种优化的策略不一致性冲突消解方法

针对当静态职责分离策略与可用策略并存时,由于互斥的安全与可用需求可能引发访问控制策略不一致性冲突问题,提出了一种优化的冲突消解方法.该方法基于静态裁剪减少所须考虑的策略数量,通过计算最小冲突覆盖集合以降低问题求解的规模,度量删除每一个静态职责分离策略和可用策略所引发的安全性与可用性损失,并以此评估各个冲突消解方案的优先级.最后给出了一种基于优先级的最大化一致性子基算法.实验结果表明所提出的冲突消解方法综合性能较为理想.     

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

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

一种基于冲突消解的资源分配算法

许多领域都涉及资源分配问题,但具体应用领域的分配策略各不相同。针对资源分配中策略多样、易发生资源冲突问题,提出了基于冲突消解的资源分配算法。在冲突消解的约束条件下,依据算法的性质及约束对冲突消解的影响进行优先级分组,使得约束序列得以规范,从而提高消解冲突效率,避免陷入局部最优缺陷。实验结果表明了算法的有效性。     

协同设计中基于规则推理的冲突消解研究

分析了协同设计中冲突产生的原因和冲突消解的技术,提出了一种基于规则推理的冲突消解体系结构,并在冲突消解的规则推理过程中运用了快速的规则匹配算法,提高了在冲突消解过程中的规则匹配效率,降低了协同设计过程中冲突消解的时间及空间复杂度。     

高速铁路单个列车运行冲突消解研究

为研究高速铁路列车运行冲突消解问题,提出了各类列车运行冲突单个冲突的消解策略。分析了平移运行线、交换运行线、变更停站和越行方案以及数学规划方法等4种冲突策略的含义。根据冲突消解代价计算的方法,以最小冲突消解代价为优化目标,研究了高速铁路到达间隔时间冲突和出发间隔时间冲突、区间冲突、到发线运用冲突运用平移运行线、交换运行线、变更停站和越行方案等三种策略进行冲突消解的方法和过程。     

开放式网络环境下的上下文敏感的信任管理

为了更准确地反映出开放式网络环境下实体行为的不确定性和动态性,提出一种基于贝叶斯网络的信任管理方案.该方案显式地加入了上下文信息,并使用一种统计学方法推算出上下文信息对实体行为的影响因子.采用一种上下文间的信任度映射方法,使得实体能够根据一些相关上下文中的信任信息推算出其他实体在陌生上下文中的信任度.仿真结果表明,该方案的信任度估算比其他使用特定算法的系统更精确.     

云时代下基于多Agent系统的跨企业项目协调与冲突消解

虚拟企业项目进行中会产生各种冲突,许多研究者也在尝试建立更好的冲突消解模型.本文通过对虚拟企业项目冲突的深入分析,采用信念、愿望、意图构建的多智能体搭建冲突模型,并给出云平台下基于多智能体技术的冲突消解策略,为云平台下虚拟企业项目管理系统的实现提供了依据.     

一种策略冲突的消解方法

利用非单调逻辑编程技术,Chomicki等人提出了一种策略冲突消解方法.虽然该方法具有高效、可靠和良好的封装性等优点,但是它的应用域却受到限制.在Chomicki方法的基础上,首先定义了组合冲突,它比一般策略冲突涵义更广.其次,为消解该类冲突引入了一个优化解—最大行动接受集,并给出与之互补的最小行动取消集的重要特性.最后,利用基于稳定模型语义的权约束规则编程技术,建立消解组合冲突的逻辑程序.由于该程序始终拥有稳定模型,所以总是能够根据它的模型获得优化解.     

炉容受限的加热炉调度问题及启发式修复算法

针对钢铁生产中炉容受限的加热炉调度问题,建立并行加热炉调度的多目标优化模型,并针对问题的NP-难特性提出一种启发式修复算法.在松弛炉容约束得到初始调度的基础上,通过不断检测冲突并消解冲突实现问题的有效求解.根据最小冲突板坯优先的变量选择策略选择冲突板坯,并根据最小在炉板坯数的值选择策略为冲突板坯重新指派新的加工机器;为避免搜索陷入死端,算法增加回溯机制以保证得到可行的调度方案.数据实验表明:该算法能够有效求解炉容受限的加热炉调度问题,且具有较高的计算效率.     

Conflict Analysis and Detection Based on Model Checking for Spatial Access Control Policy

In this paper,we propose a Multi-granularity Spatial Access Control(MSAC) model,in which multigranularity spatial objects introduce more types of policy rule conflicts than single-granularity objects do.To analyze and detect these conflicts,we first analyze the conflict types with respect to the relationship among the policy rules,and then formalize the conflicts by template matrices.We designed a model-checking algorithm to detect potential conflicts by establishing formalized matrices of the policy set.Lastly,we conducted experiments to verify the performance of the algorithm using various spatial data sets and rule sets.The results show that the algorithm can detect all the formalized conflicts.Moreover,the algorithm's efficiency is more influenced by the spatial object granularity than the size of the rule set.     

网格协同设计环境下基于资源负载均衡策略的任务调度优化模型及其算法

为了解决协同环境中的冲突问题,设计了一种基于现代协同设计系统的网格仿真模型,并结合免疫克隆算法和遗传算法的优点,提出了一种网格任务调度优化模型和遗传克隆负载均衡算法.仿真实验结果表明,这种调度算法有效地实现了资源的负载均衡,克服了遗传算法容易陷入局部最优的缺点,可以成功地应用于网格任务调度中.     

实时数据库系统的并发控制策略及其实现

针对实时数据库系统 ,提出了一种两级并发控制策略 ,以适应应用中两类不同特征事务的并发控制特征 ;给出了一个两级并发控制策略的具体实现方面的体系结构及功能分布 ;针对嵌套事务的不同特征 ,分析和讨论了其可能发生的问题及相应封锁协议、协议的多种特性 .     

Channel access algorithm design for automatic identification system

The Automatic Identification System (AIS) is a maritime equipment to allow an efficient exchange of the navigational data between ships and between ships and shore stations. It utilizes a channel access algorithm which can quickly resolve conflicts without any intervention from control stations. In this paper, a design of channel access algorithm for the AIS is presented. The input/output relationship of each access algorithm module is defined by drawing the state transition diagram, dataflow diagram and flowchart based on the technical standard, ITU-R M.1371. In order to verify the designed channel access algorithm, the simulator was developed using the C/C++ programming language. The results show that the proposed channel access algorithm can properly allocate transmission slots and meet the operational performance requirements specified by the technical standard.     

基于仿真方法验证IDEF3过程模型的有效性

经营过程建模中对模型的有效性验证是过程分析优化的基础。现有的过程模型有效性验证方法单纯追求算法的高效率,只能针对特定模型验证某些过程结构的合理性,不适合经营过程的复杂性需求。该文提出了一种基于仿真方法的有效性验证算法,在确保验证算法效率的基础上,能够验证扩展的IDEF3过程模型的3种逻辑错误:结构死锁、同步丢失和对象不匹配,从而不仅能够验证过程逻辑结构上的不合理,还能够对参与过程的对象所造成的不合理进行验证。     

基于视频的全天候多特征融合火焰检测算法

针对传统可视化火灾探测技术采用单独分析可见光摄像设备或红外摄像设备采集的图像进行火灾探测, 不能全天候监控火焰的问题, 提出一种全天候多特征融合的检测算法. 首先通过视频类型判断算法确定摄像头采集的每帧图像类型, 然后利用与图像类型相对应的算法提取疑似火焰区域, 最后对疑似区域进行基于DCT的火焰频率检测和帧间相关性检测, 判断火焰是否存在. 实验表明, 该检测算法解决了传统可视化探测技术不能全天候监控火焰的问题, 且能在保持火焰高检测率的同时降低误检率.     

论刑事和解制度的构建

利用刑事和解的方式,从单纯的依靠打击犯罪维护稳定上升到通过化解社会矛盾维护和谐,我国司法机关也一直在进行着有益的探索与尝试,并积累了一定的实践经验。刑事和解适应了当前轻刑化的理念,既有利于提高诉讼效率、降低诉讼成本,保护被害人的合法权益,也有利于化解矛盾、促进社会和谐。刑事和解对于解决轻微刑事案件、有效化解社会矛盾、更好地维护被害人的利益具有重要的现实价值。     

论新闻自由与隐私权的冲突

新闻自由与隐私权在塑造完整的人格权方面具有某些相同的功能,然而在实践中二者更多地表现为冲突的一面。本文着重探讨新闻自由与隐私权冲突的原因,并在分析新闻自由与隐私权冲突本质的基础上,对如何解决它们的冲突提出了可行性方案。     

基于本体的数据集成冲突消解

文章在深入分析异构数据集成冲突产生原因的基础上,提出一种使用两层本体来消解数据集成中语法和语义冲突的方法;通过使用数据源模型本体和集成映射模型本体,能够在解决语法和语义冲突的同时进行数据划分和安全控制,可提高数据集成的效率和自动化程度。