基于着色Petri网的Internet电话端系统业务冲突检测

将描述端业务的LESS脚本转换为着色Petri网模型,可以为实现形式化方法检测端业务间的冲突提供基础。本文根据业务逻辑树节点的特性和LESS的定义,提出了通用的转化规则,实现了端业务的形式化建模,从而方便了业务的集成及业务间的离线检测。通过CPN Tools对建立的业务模型进行仿真并分析模型状态空间,检测出端业务之间是否存在冲突。最后,用典型的业务实例验证了所提方法在Internet电话端系统环境中的可行性和有效性。     

Agent组织中的政策导向型协作模型

传统Agent协作模型强调Agent的高度自主性,其自发协作过程完全出于内部的"自私性"动机,难以在模型中表达宏观层面上的引导及系统外部的约束,在应用于开放复杂软件系统时,将面临可信度不能满足要求、计算复杂度高及没有有效的冲突消解机制这3方面的问题,这阻碍了Agent技术在现实软件系统建模中的应用.采用组织与政策隐喻,提出Agent组织中的政策导向型协作模型,通过组织与政策给予Agent以宏观上的引导与外部的控制,以增强系统的可信度;采用扩展的可废止逻辑框架,对这一协作过程建立一个具有线性计算复杂度的形式化理论;逻辑体系中内置的优先级方式为系统提供了有效的冲突消解机制.并证明了模型所具有的一致性及其他特性,最后通过一个实例对系统作出验证性说明.     

高分辨雷达信号的平移不变KPCA特征提取算法

研究高分辨雷达信号特征提取,针对传统提取平移不变特征存在信息损失量大、识别的准确率低的问题,提出了一种平移不变KPCA特征提取算法。首先计算高分辨雷达信号的原点矩,并在低信息损失的前提下利用高分辨雷达信号相对原点矩的位置来描述原信号,从而消除高分辨雷达信号的平移敏感性。然后结合KPCA特征提取算法得到平移不变的特征信号。最后应用SVM分类器对特征信号进行分类识别。实验证明,改进算法识别率高于雷达目标识别系统中的传统特征提取算法,略低于KPCA特征提取算法,且在常用雷达探测距离内都能够保持较高的识别率。     

An Ontology-Based Approach for Semantic Conflict Resolution in Database Integration

An important task in database integration is to resolve data conflicts, on both schema-level and semantic-level. Especially difficult the latter is. Some existing ontology-based approaches have been criticized for their lack of domain generality and semantic richness. With the aim to overcome these limitations, this paper introduces a systematic approach for detecting and resolving various semantic conflicts in heterogeneous databases, which includes two important parts： a semantic conflict representation model based on our classification framework of semantic conflicts, and a methodology for detecting and resolving semantic conflicts based on this model. The system has been developed, experimental evaluations on which indicate that this approach can resolve much of the semantic conflicts effectively, and keep independent of domains and integration patterns.     

引入属性和分组概念的ARBAC扩展模型

通过考察基于角色的访问控制RBAC模型,提出了一个实用的扩展模型.扩展模型主要引入属性和分组的概念,将具有相同角色的用户定义为一个组,按用户组指派相应的角色.并对权限和属性分组,按组为角色指派相应的属性和权限,解决了原模型在用户指派时不易表达对用户特征的限制.实体分为用户组、权限组、属性组等,简化了对RBAC系统中大量实体的管理,减轻了安全管理员进行用户指派、权限指派和属性指派时的工作量,增强了实用性.扩展模型中的实体与面向对象的编程方法OOP中的概念存在对应关系,软件开发人员很容易理解和实现.     

分布式决策中处理冲突的研究

在基于agent的DSS系统中，由于不同的agent具有不同的评价标准，因而必然存在冲突．本文在形式化评价决策任务的基础上，提出了通过利用评价agent改变当前属性位并把有关结果通知其它协商agent来解决冲突的方案，并给出了消除冲突的具体过程．最后，通过具体实例说明了该方法的可行性。     

一种改进的移动Agent通信模型

移动Agent系统的通信问题是阻碍其广泛应用于实践的最重要的因素之一。通过对已有的移动Agent系统通信机制的研究与分析,提出了一种改进的移动Agent通信参考模型。该参考模型分别从移动Agent命名与定位、移动Agent通信安全和移动Agent通信失效三个方面进行分析,在某种程度上解决了移动Agent的通信问题,并提高了移动Agent通信安全性。最后,对未来的工作做了展望。     

基于Agent的空袭目标流的反应行为模型

采用Agent体系结构表达空袭实体，引入了集成范例学习和推理及规则推理的综合决策机制，有效地解决了结构化经验知识和规则之间的矛盾。提出不确定性的区间数运算规则、含元级知识的冲突解决和分层搜索策略，在保证最佳对抗策略的同时提高了实体的反应速度。构建空袭目标流的反应行为模型，使生成的空袭目标流具有一定的智能，能够较为逼真地模拟实际空情，弥补以往目标流生成器的不足。     

一种具有回溯机制的智能代理协商模型

近年来,智能代理技术被引入帮助人们处理互联网上的海量商务数据。然而在网上商务自动协商时,智能代理技术仍存在着一些问题。网上商务对话需要智能商务代理具备一套完善的交互模型以应付各种特殊情况。论文通过改进已有的交互模型使其具备协商回溯功能,以提高商务协商的成功率。此外,论文还将讨论如何提高该模型的效率。     

基于动态描述逻辑的主体模型

在动态描述逻辑的基础上,提出了一种智能主体的心智状态模型．它充分利用了动态描述逻辑统一的形式化框架,同时从静态的知识表示与推理和动态的运行与变化两个方面来刻画主体的心智状态．探讨了主体信念、行为能力、目标和规划等心智要素的表示、推理与修改等基本问题．该主体模型将理论和实践有机地结合起来,表达能力强,能够充分体现智能主体的本质特征与运行机制,为智能主体的设计与编程奠定了很好的基础．     

业务过程建模中冲突消解的研究

业务过程建模是整个工作流管理的基础,在工作流执行之前,需要对业务过程模型进行分析和检测,对含有冲突的模型进行冲突消解,以协助建模人员修改业务过程模型。介绍了冲突的体系结构,对近年来在冲突消解方面的研究进行论述,并提出了含有二级检测机制的冲突消解工具结构,为业务过程模型的分析提供依据。     

网络式软件非功能需求冲突消解

在构建非功能需求冲突管理元模型的基础上,给出相关建模元素的形式化描述,将需求冲突的语义定义作为检测依据。根据不同的需求冲突类型和程度,提出一种排除冲突和降低冲突的网络式软件非功能需求冲突消解方法。以旅游出行领域中计算行程费用服务的非功能需求为例,验证了该方法的有效性。     

协同设计中多主体冲突问题的研究

从设计流程和体系结构的角度，对多主体冲突的产生、预防、检测与解决机制进行了系统的研究，提出了一个解决冲突问题的三层结构模型和各层相应的冲突解决策略，从而在控制级及领域级都对冲突进行了有效的避免和控制，该模型及方法在摩托车协同概念设计系统中得到了实现，为智能设计和协同设计奠定了基础。     

一种面向软件产品概念设计的CSCW模型

随着计算机和网络技术的发展,各种CSCW模型和技术先后被提出,来满足各行业产品和概念设计的复杂工作需求。软件产品的概念设计作为一项复杂的工作和业务流程,对CSCW系统的需求也越来越高。文中针对软件产品概念设计的特殊性质,提出一种新的CSCW软件产品概念设计模型,并且对其中包含的冲突检测和协调机制进行了详细的设计和优化。使用基于Java平台的相关技术对模型主要功能架构和冲突协调过程进行了仿真。实验表明,文中提出的模型具有更加简洁和高效的复杂冲突解决能力和用户交互能力。     

分布式数据库复制实施策略中的冲突预防和解决

复制是分布式数据库实施策略中的重要一种，它能大大提高各结点的自治性，同时保证各结点数据副本之间的松散一致性，然而各结点自主的数据操作之间很可能发生冲突。针对这种情况，提出了设计分布式数据库时就积极地采取措施尽可能预防冲突发生；当冲突发生时，采用合理的策略来解决冲突。最后，以SQL Server2000为例来说明这种思想的具体应用。     

小波特征提取和随机森林模型解析色谱重叠峰

针对神经网络算法在当前色谱重叠峰解析领域存在易过拟合、网络结构复杂、学习效率低等问题,引入了随机森林模型。利用gausl小波模拟原始信号导数,选取合适的尺度并提取信号的特征拐点;以特征点作为模型输入、子峰面积比作为输出,使用随机森林模型拟合两者之间的映射关系;采用交叉验证的方式确定随机森林模型的参数,并使用CART算法进行模型的构建和训练;一系列实验与现有方法的对比,证明了本文方法不仅能准确对特征拐点和子峰面积之间进行拟合,在模型训练时间上还具有很高的效率。     

Agent主动目标的形式化模型

在agent结构中,主动目标是一个功能上自含且有自己独立控制流的实体.给出了主动目标相关的语法定义以及主动目标运行的操作语义,而且主动目标驱动下的BDI agent结构也被形式化地定义出来.区别于以往的一些BDI agent结构,目标不是隐含地表示而是作为实体显式地表示在agent结构中,使agent结构很自然地支持并行的目标,这被认为是agent理性行为的一个重要方面.此外,对目标的显式定义也为agent在动态的环境中对承诺的重新考虑带来了方便.     

一种访问控制策略非一致性冲突消解方法

针对静态职责分离策略与可用策略并存时由于其互斥的需求可能引发策略非一致性冲突问题,提出了一套基于优先级的冲突消解方法.在综合考虑策略自身严格性以及对整个策略集合的影响力等因素下,提出了一种策略优先级计算方法.定义了策略的自身可满足频率和加权冲突面积这两个概念,分别表示策略的自身严格性和该策略对整个策略集合的影响力.在此基础上,根据不同的策略目标,给出了两种基于优先级的策略消解算法:最小代价方法和字典编辑优选方法.实验结果表明,在静态职责分离和可用策略的数量规模不大的情况下,基于优先级的冲突消解方法可以有效地解决策略非一致性冲突问题.     

一种用于识别不含冲突用户解释的算法

根据用户解释的特点和问题求解的需要扩充了图论中有向图的定义 ,使其结点既可以是普通的结点 ,又可以是一个有向图 ,并把用于表示用户解释的这种有向图称为 GD-约束图 .在此基础上 ,对不含冲突的用户解释表现于 GD-约束图中的特征进行了抽取 .最后 ,总结出用户解释不含冲突的充要条件并根据这个充要条件提出了一个时间复杂性为 O(m× n)的多项式时间识别算法 ,同时还对算法的正确性和时间复杂性进行了证明和分析     

Conflict Resolution as Discovery in Particle Physics

In this paper we focus on the general problem of identifying and resolving conflicts such as inconsistency and incompleteness in scientific discovery. The underlying idea is that conflicts in empirical knowledge can lead to new discoveries, provided that they are clearly identified. Our observations are based on the behavior and the results of an incremental discovery program, BR-3. The system models the discoveries of a series of quantum laws by physicists in this century. BR-3's discoveries are directed by a small set of consistency and completeness constraints. We evaluate the system in terms of its knowledge representation, discovery operators, and their behavior, and we describe its relation to other work in scientific discovery.