基于上下文感知进程网络的Web服务组合方法

针对Web服务组合的个性化问题,提出一种基于上下文感知进程网络的Web服务组合方法,支持上下文感知组合系统的高层建模与系统的底层实现。采用CCS进程代数和标签转换系统,描述上下文感知组合模型的形式化语义,给出上下文感知系统模型的实现框架。分析结果证明了该组合方法的可行性。     

基于RFID普适计算环境的形式化上下文模型

提出了一个适合普适计算环境的、基于本体的形式化的上下文感知模型。该模型使用本体描述语言OWL描述上下文，采用层次化的设计方法，提高了上下文表达能力和快速上下文原型。为普适计算的上下文建模和应用、上下文重用和建立面向普适计算环境的软件基础设施提供了一种可行的方法。     

上下文场景识别模型的稀疏贝叶斯判别学习方法

在机器人场景识别问题中,将连续场景的相关性通过基于隐马尔可夫模型的上下文模型进行描述.采用不同于传统的使用生成模型方法学习上下文场景识别模型的方式,首先引入稀疏贝叶斯学习机对上下文模型中图像特征的后验概率进行建模,然后通过贝叶斯原理将稀疏贝叶斯模型与隐马尔可夫模型结合,提出一种能够实现上下文场景识别模型的判别学习方法.在真实场景数据库上的实验结果表明,由该方法得到的上下文场景识别系统具有很好的场景识别能力和泛化特性.     

工作流时序约束模型分析与验证方法

为了解决工作流时间建模与时序一致性验证问题,以时序逻辑和模型检查为基础,提出了一种工作流时间建模与时序一致性验证方法.该方法用一阶逻辑描述工作流模型及其时间信息,用时序逻辑描述工作流的时序约束,用模型检查算法对时序约束进行验证与分析.该方法不是针对某一种时序约束提出来的,而是能够验证任何用时序逻辑描述的工作流时序约束.该方法还能够对未通过验证的时序约束提供工作流运行实例作为反例,帮助用户定位模型的问题.以一个工作流时间建模和时序一致性验证的实例证实了所提出方法的有效性.     

基于条件随机场的多时相遥感影像分类*

多时相遥感影像分类方法通常使用人工设置的转移矩阵作为时间上下文信息,这样不仅难以获得准确的转移矩阵,而且没有充分利用时间上下文信息。针对多时相遥感图像中的时间与空间上下文信息难以构建的问题,提出了一种基于条件随机场模型的多时遥感影像分类方法。首先运用最大期望算法生成用于描述时间上下文信息的时间势能,然后结合空间以及时间上下文信息构造了条件随机场模型,最后使用该模型对多时相遥感影像进行分类。一系列的实验结果表明,该方法可以有效提高遥感影像的分类精度。     

普适计算环境下上下文信息推理的研究

从各种低层上下文信息得到对人们更加有用的高层上下文信息即上下文推理是当前研究的热点.针对该问题,采用描述逻辑,研究基于本体模型的上下文推理方法.首先简要介绍基于本体的上下文模型,该模型增加了对上下文特性的建模,然后分别研究基于本体的推理、基于规则的推理及不一致性验证3种推理方式,借助Jena框架的推理接口实现,推理功能全面,通用性强,基本满足了普适计算系统中上下文推理的需求,最后给出了推理的可用性.     

一种基于描述逻辑的UML模型验证方法

针对UML模型中可能会存在的概念不一致、概念冗余等语义一致性问题,该文提出一种基于描述逻辑的UML模型形式化与模型验证方法。该方法首先采用描述逻辑的子系统SHOIN（D）形式化描述UML类图、状态图以及活动图的基本模型构造,进而将UML模型转换为相应的描述逻辑本体,最终借助现有的本体推理机制验证UML模型的语义一致性问题。该方法可以为下一代的软件CASE工具实现软件模型自动推理和验证提供一种可选的技术方案。     

基于面上下文码匹配的CAD模型检索方法

为弥补现有的基于图的形状描述应用图匹配或子图匹配实现CAD模型检索时,存在着检索效率低下或检索结果不够准确的缺陷,提出一种基于面上下文码匹配的CAD模型检索方法。提取CAD模型的B-rep信息生成面属性邻接图;依据面的上下文邻接关系,将模型面属性邻接图转化为上下文层状面属性邻接图,生成面上下文码;由检索模型与数据库模型的面上下文码匹配排除筛选不匹配的面,得到与检索模型相匹配的面。实验结果表明,该方法能够实现CAD模型的整体和局部检索,并且检索效率和精准程度能够满足实际需要。     

Web服务组合上下文模型

基于上下文感知计算,提出一种新颖的Web服务组合上下文模型.一方面,服务组合中的信息被定义为服务和用户上下文,前者又被区分为概要、会话和填充上下文;另一方面,采用多策略机制管理上下文.为此,定义了一种基于ECA规则的语言-服务扩展策略描述语言(PDL-S).采用以上语言描述上下文管理策略和组合服务.该模型不但充分利用了上下文感知计算,而且具有良好的协作性、扩展性和灵活性.     

移动协作学习的上下文感知模型研究

根据移动协作学习的特点和个性化需求,提出了一种移动协作学习的上下文感知计算模型(M-CCLM),包括上下文信息获取、表达、优化和推理.基于上下文逻辑给出了上下文融合的优化算法和决策行动的贝叶斯推理算法.通过实例说明了模型的应用方法.     

支持Context的Web服务合成在多目标优化设计中的应用研究

简单地介绍Web Service的基本概念及技术,在此基础上,将支持Context的Web服务合成技术应用于多目标优化设计中,充分发挥Web服务的技术优势,提高了多目标优化设计的网络化水平和集成效率.     

多窗口OpenGL程序的实现

该文分析了OpenGL的Windows程序的初始化方法、“着色描述表”的使用和分配问题,详细介绍了VC下OpenGL多窗口程序的实现。     

Context Management for Adaptive Information Systems

Modern technologies enable users accessing services using multiple channels. In the service design phase, this poses additional requirements for high software adaptivity along different technical requirements and different user expectations. During execution, services are usually dynamically selected; this service selection phase requires the identification of the most suitable service along the context that characterizes the users in the time instant in which they send the service request. This paper focuses on the selection phase and it aims at providing a framework to define and manage the context in a general environment characterized by adaptivity and multichannel access. An example to demonstrate the suitability and feasibility of the framework is provided referring to the MAIS (Multichannel Adaptive Information Systems) architecture and considering services related to the tourism domain. The MAIS architecture aims at providing automatically and efficiently services with the appropriate features by choosing among many provider offerings.     

A domain-specific language for context modeling in context-aware systems

Context-awareness refers to systems that can both sense and react based on their environment. One of the main difficulties that developers of context-aware systems must tackle is how to manage the needed context information. In this paper we present MLContext, a textual Domain-Specific Language (DSL) which is specially tailored for modeling context information. It has been implemented by applying Model-Driven Development (MDD) techniques to automatically generate software artifacts from context models. The MLContext abstract syntax has been defined as a metamodel, and model-to text transformations have been written to generate the desired software artifacts. The concrete syntax has been defined with the EMFText tool, which generates an editor and model injector.     

粤语语音合成系统语料库设计研究

介绍了语料库设计的原理和过程,并结合粤语语音合成系统语料库实现,提出了“语境矢量”的独特设计和“语境总量”的概念,给出了语境总量的计算方法。最后介绍了Greedy算法,并给出了文奉语料搜索的具体流程。     

普适计算环境中上下文模型的建立

普适计算作为第三代计算方式已经成为科学研究的前沿,上下文作为普适计算中最为重要研究方向之一,对普适计算的研究和发展有着大力地推动作用.就建立普适计算环境上下文模型进行了分析和讨论,对上下文的数据和通信方式也进行了分析,为上下文的实际应用提供一些理论基础准备.     

智能社区中基于本体的上下文融合

普适计算这一新概念一经提出便受到了极大的关注,也激发了人们对未来计算机时代的探索.智能空间是一种典型的普适计算环境,目前各种科研工作正围绕着智能空间展开.智能空间有三个不同的发展阶段:独立智能空间、开放式智能空间和智能社区.研究了应用本体技术对智能社区进行建模的方法;定义了智能社区中的上下文融合流程语言;并通过知识共享和逻辑推理来实现对多源上下文的融合.     

一个情境相关的双层室内空间数据模型

在室内空间的移动对象管理中,如何建立数据模型是要解决的首要问题。随着情境感知信息系统的发展,情境的概念得到越来越多的关注,如何在室内空间数据管理中融入情境信息已经成为人们关注的焦点问题。针对这一问题,综合考虑几何、拓扑、情境3类信息,建立了一个情境相关的双层室内空间数据模型。在分析了经典的空间划分方法后,提出了室内空间细粒度划分方法,并给出其形式化定义;引入层次互补的思想来组织室内空间,采用本体的方法将情境信息加入到模型中,使该模型对室内空间的表达更加灵活;最后,通过实例分析和列举模型的优势说明了建模方法的可行性和有效性。     

基于空间上下文加权词汇树的图像检索方法

基于词汇树的词袋模型(Bag-of-Words)表示算法是目前图像检索领域中的主流算法.针对传统词汇树方法中空间上下文信息缺失的问题,提出一种基于空间上下文加权词汇树的图像检索方法.该方法在词汇树框架下,首先生成SIFT点的空间上下文信息描述.然后利用SIFT点间的空间上下文相似度对SIFT间的匹配得分进行加权,得到图像间的相似度.最后,通过相似度排序完成图像检索.实验结果表明,该方法能够大幅度提高图像检索的性能,同时,对大规模图像库有较好的适用性.     

背景格的若干性质及其完备性证明*

背景在概念图理论中至关重要,其作用尤其体现在信息组织方面。借鉴形式概念分析的理论,用二元组表示形式背景,能够体现出形式背景的内涵与外延的统一。背景格是形式背景的一种组织形式,反映了形式背景之间的蕴涵关系,完备的背景格有着广阔的应用前景。介绍了背景格的定义及其构造方法,并给出了背景格的若干性质以及完备性证明。