一个新的概率数据模型

为扩展传统关系数据模型，处理概率方面的不确定性数据，以描述动态的世界，建立了一个新型的数据模型——PRM模型。在该模型中引进概率属性，并提出对象属性、静态属性、动态属性、概率属性联合构成元组，形成二维关系表中的一个动态数据理论；为克服当前在概率数据模型研究方面的缺陷，定义了一个新的PRM模型体系及操作，使其具有处理概率数据的能力。     

全安全的属性基认证密钥交换协议

因在细粒度访问控制、定向广播等方面的广泛应用,基于属性的密码机制逐渐受到关注。以一个全安全的属性基加密(ABE)机制为基本构件,结合NAXOS技巧,提出了一个全安全的属性基认证密钥交换协议,并利用可证明安全理论在基于属性的eCK模型中进行了严格的形式化证明。相比已有的同类协议,提出的协议具有更高的安全性,并在提供丰富的属性认证策略的同时,减小了通信开销。     

基于CP-ABE的多云存储系统中访问控制模型的研究

针对将单个云内基于密文策略属性基加密(CP-ABE)的访问控制机制应用到多云存储系统中时遇到的策略冲突问题,设计了一个属性映射机制,通过扩展CP-ABE机制,提出了一个适用于多云存储系统的访问控制模型。这里的映射机制主要针对CP-ABE的树形访问结构以及其支持的属性值类型。最后,详细描述了该模型的框架及工作流程,通过构建一个简单的原型系统验证了该模型的有效性,同时对该原型系统进行了性能分析。该模型的提出对于多云存储系统的访问控制研究具有理论价值和实际意义。     

多agent两阶段多属性协商模型

多议题模型中,在议题的评价机制上买卖双方大多采用多属性效用理论或其变形理论,如距离函数等。提出了多属性效用理论实际应用中的悖论问题,分析了造成理论应用偏差的原因和B2C领域电子商务活动交易的特点,进而提出了一个协商拍卖模型。该模型分两个阶段来进行,提高了协商效率,而且允许卖方体现商品的特色,差异化自己的商品。     

一种软件可信分级模型

软件可信评估是软件可信研究中的一个新方向,相关的理论和方法还处在研究阶段。在分析软件可信内涵的基础上,提出了一种分层的软件可信分级模型。该模型定义了软件可信属性模型与软件可信等级,建立了软件可信证据参考模型,并描述了可信属性、可信等级、可信证据以及可信评价指标之间的内在联系。软件可信分级模型为建立软件可信评估机制提供了一种有效的方法。     

面向事件的Agent感知模型研究

感知环境是Agent的基本属性，不同的环境要求Agent采用不同的感知方法。文章针对发布／订阅消息环境，以事件为感知对象，提出了一种网状事件合成机制，构建了一个适于Agent异步协作的感知体模型，给出了模型的定义、实现机制及应用评价。     

基于多注意力长短时记忆的实体属性情感分析

属性情感分析是细粒度的情感分类任务。针对传统神经网络模型无法准确构建属性情感特征的问题，提出了一种融合多注意力和属性上下文的长短时记忆（LSTM-MATT-AC）神经网络模型。在双向长短时记忆（LSTM）的不同位置加入不同类型的注意力机制，充分利用多注意力机制的优势，让模型能够从不同的角度关注句子中特定属性的情感信息，弥补了单一注意力机制的不足；同时，融合双向LSTM独立编码的属性上下文语义信息，获取更深层次的情感特征，有效识别特定属性的情感极性；最后在SemEval2014 Task4和Twitter数据集上进行实验，验证了不同注意力机制和独立上下文处理方式对属性情感分析模型的有效性。实验结果表明，模型在Restaurant、Laptop和Twitter领域数据集上的准确率分别达到了80.6%、75.1%和71.1%，较之前基于神经网络的情感分析模型在准确率上有了进一步的提高。     

基于互信属性调配机制的访问控制模型

在基于属性的访问控制中一个重要的问题是对属性资源的获取以及对敏感属性和敏感访问控制策略的保护。传统访问控制属性资源的获取方法已经不能满足开放式的网络环境下的访问控制要求。在自动信任协商机制基础上提出了一种新的授权决策机制——互信属性调配机制（MTAD）,并将其应用到基于属性的访问控制模型中。通过对模型的分析可以看到该模型较好地解决了动态授权、访问效率、授权粒度、属性信息的安全性和敏感属性的保护等问题。     

基于粗糙集理论的关联规则挖掘模型

提出了一个基于粗糙集理论的关联规则挖掘模型。介绍了该规则挖掘模型的主要步骤，模型中应用了属性约简和规则约简技术，并给出了该两个技术的算法。     

不完备信息系统下的属性约简算法

传统的粗糙集模型是处理完全信息系统的有力工具，但对于不完全信息系统却显得无能为力。因此对不完备信息系统的研究也是粗集理论研究领域之一。本文在M．Kryszkiewcz提出的一个容差关系的基础上提出改进，使之更加具有灵活性。然后以该改进模型为基础，运用属性重要性理论，给出属性约简算法，并通过一个实例来验证。最后将该算法和经典算法进行了比较。     

按模式记忆理论的数学描述(Ⅰ)──记忆模式的属性坐标表示法

神经生理学的实验事实指出：感觉神经元仅对事物属性作分类检测和只有将各属性的感觉映像重新整合起来，才能形成对象记忆模式．据此，文中对按模式记忆理论给予数学描述，认为：属性抽取与整合是记忆模式的建构操作，并讨论了事物一般属性模式、结构与关系模式的整合建构，及其诱导的推理与联想模式等不同记忆模式的属性坐标表示法．在该数学描述中，记忆模式的多维多层网络结构、多语义性、模糊性和动态互联性等特性可得到较自然的数学刻画．     

基于属性Petri网的语义网络知识表示

首先给出了基于定性映射的属性Petri网的形式定义和运行机制；其次给出了基于属性Petri网的语义网络知识表示模式，此模式适合干感觉特征抽取与整合，和基于该机制的各种思维功能的描述。     

基于属性整合的知觉模式生成与识别模型

在［３］的基础上，本文给出了基于属性整合的模式生成与转化机制的数学表达，并对跨感觉模式识别中的特征辨识和模式匹配、补充和修正问题，给出了相应的评判函数     

实现多数据源集成与互操作的扩展视图方法

文中针对多数据源集成与互操作提出了一种扩展视图方法。其基本思想是：以扩展对象模型（ＥＯＭ）为理论基础，通过扩展视图方法实现对多种数据源中的数据（对象）进行多层抽象与封装，以此满足分布环境下不同层次的应用集成需求。文中还讨论了扩展对象模型（ＥＯＭ）、基于扩展视图方法的集成机制，并结合具体的实例给出了扩展视图方法的形式化描述。     

基于规则综合质量的属性值约简算法

属性值约简是粗集理论的核心内容之一.将属性值约简和数据挖掘相结合,给出支持度、置信度、覆盖度的定义.在此基础上,提出了一种新的属性值约简算法一基于规则综合质量的属性值约简算法.通过算法复杂度分析说明,该算法在一定程度上解决了属性值约简的NP难问题.实例仿真表明该算法在解决一些相关实际问题方面是可行的,具有一定的实用价值.     

Contextualization as an independent abstraction mechanism for conceptual modeling

The notion of context appears in computer science, as well as in several other disciplines, in various forms. In this paper, we present a general framework for representing the notion of context in information modeling. First, we define a context as a set of objects, within which each object has a set of names and possibly a reference: the reference of the object is another context which “hides” detailed information about the object. Then, we introduce the possibility of structuring the contents of a context through the traditional abstraction mechanisms, i.e., classification, generalization, and attribution. We show that, depending on the application, our notion of context can be used as an independent abstraction mechanism, either in an alternative or a complementary capacity with respect to the traditional abstraction mechanisms. We also study the interactions between contextualization and the traditional abstraction mechanisms, as well as the constraints that govern such interactions. Finally, we present a theory for contextualized information bases. The theory includes a set of validity constraints, a model theory, as well as a set of sound and complete inference rules. We show that our core theory can be easily extended to support embedding of particular information models in our contextualization framework.     

Integrated Modeling Systems

This paper examines in some detail the concept of an integrated modeling system. It distinguishes three main types of integration: model integration, solver integration, and integration of various utilities. Model integration is further divided into four subtypes based on a four-level model abstraction hierarchy: specific models, model classes, modeling paradigms, and modeling traditions. The paper then goes on to consider how structured modeling supports the various types of integration. The overall conclusion is that structured modeling offers an attractive approach to the design of integrated modeling systems.     

NDKAS中知识的理论表示方法及其描述语言的设计

知识的理论表示方法是基于属性描述的概念获取系统中一种有效的知识表示方法，它具有层次性，抽象性、模块性和完整性等特点。本文给出了理论表示方法及其描述语言的定义和应用实例。     

Modeling and execution of event stream processing in business processes

The Internet of Things and Cyber-physical Systems provide enormous amounts of real-time data in the form of streams of events. Businesses can benefit from the integration of these real-world data; new services can be provided to customers, or existing business processes can be improved. Events are a well-known concept in business processes. However, there is no appropriate abstraction mechanism to encapsulate event stream processing in units that represent business functions in a coherent manner across the process modeling, process execution, and IT infrastructure layer. In this paper we present Event Stream Processing Units (SPUs) as such an abstraction mechanism. SPUs encapsulate application logic for event stream processing and enable a seamless transition between process models, executable process representations, and components at the IT layer. We derive requirements for SPUs and introduce EPC and BPMN extensions to model SPUs at the abstract and at the technical process layer. We introduce a transformation from SPUs in EPCs to SPUs in BPMN and implement our modeling notation extensions in Software AG ARIS. We present a runtime infrastructure that executes SPUs and supports implicit invocation and completion semantics. We illustrate our approach using a logistics process as running example.