基于语义扩展的构件描述模型

根据构件模型的研究现状,针对目前的构件描述模型缺乏语义描述的支持,在刻面分类模式的基础上,提出了基于语义扩展的构件描述模型,采用OWL本体语言对构件本体的知识框架做了描述,并将此构件模型应用于教学评估系统,构造出了基于语义的软件构件检索体系构架,实现了对领域构件进行语义查询的目的.通过实验证明,该模型提高了构件检索的查全率和查准率.     

基于反射的实时构件模型规约描述研究

以现有的构件模型为研究基点,应用反射技术,针对实时应用系统的开发,提出一类新的构件模型——反射式实时构件模型,由反射式实时构件语义模型和反射式实时构件语法模型组成。该模型在规约构件应有的功能需求特征的基础上,有效地标识构件的时间约束特征,使得与传统的功能性构件区别开来,能被系统开发者更好地选用。同时,该模型结合反射技术,能根据用户需求的变化,对实时构件进行动态修改,以便更准确地保障实时应用系统的构建与开发,并增强构件设计的活性,达到构件更好实现的效果。反射式实时构件模型既是一个构件理论模型,也是一个工程模型。     

基于语义的构件描述与检索的研究

根据构件检索技术的研究现状,结合领域本体,对现有的构件描述模型进行了改进,提出了基于语义的构件检索模型及相应的概念语义匹配算法。通过试验分析,此算法提高了构件的查全率和查准率。     

构件库语义描述和检索技术研究

传统的构件库描述和检索方法无法对构件的语义关系进行描述,阻碍了用户对构件的应用。采用本体论的方法建立构件属性的描述模型,实现构件查询基于本体的语义扩展。给出构件属性与用户需求之间相似度的计算方法,帮助用户迅速准确找到需要的构件。     

构件类的语法描述及构件关系的语义描述

In this paper,sameness and difference of component class and component,class and object are compared.Syntax of component class is described using BNF paradigm.After some definitions are given,semantics of component inherit and reference relationship are described.     

基于功能语义的构件描述和检索研究

现有的构件描述和检索技术大多没考虑语义描述能力,其查准率和查全率往往无法令人满意。因此,如何通过引入本体来弥补这种语义缺失成为新的研究热点。本文在刻面描述的基础上引入本体技术,提出利用功能刻面的分类模式建立构件本体的方法,并讨论了该本体对构件语义检索的支持。     

基于语义网络的构件组织模型及实现

在基于XML的构件描述的基础上，给出了一个面向领域的、层次构件语义网络组织模型及其功能说明。实验系统证明依据上述模型构遣的构件库，能够为程序挖掘中的构件组装的可靠性提供保证。     

基于描述逻辑方法的VSM语义检索模型

针对当前的信息检索模型并不能提供语义信息的检索问题,提出了一个基于描述逻辑方法的语义检索模型,定义了文档的逻辑视图、查询的逻辑视图和两种视图之间的相似度计算方法,并给出了模型的存储结构.该模型将用户的检索请求和待查询的数据(文档)转化成基于描述逻辑知识库为基础的个体集合,不仅能够有效表示文档和查询的语义信息,而且有利于计算机自动推理的实现,可以有效提高检索的准确率和召回率.     

基于特征模型和构件语义的概念体系结构设计

特定领域软件体系结构(domain-specific software architecture,简称DSSA)是特定领域开发中的重要资产,而基于特征的领域模型使得从领域需求到DSSA的映射成为可能.引入本体作为特征模型的描述基础,通过该方法得到的领域特征本体将同时作为领域内业务构件的语义描述基础存在.在此基础上,提出了基于特征模型和构件语义的概念体系结构设计方法.该方法综合考虑了特征模型中的共性、可变性、绑定时间以及结构关系、依赖关系等对DSSA设计的影响,同时以构件语义作为特征到概念构件设计的过渡.相关方法已经实现为基于本体的特征建模工具和基于特征模型的体系结构设计工具,为特征驱动的领域开发提供了有力的支持.     

基于进程代数的构件语义标注技术研究

针对组合构件的语义标注问题,提出基于进程代数的自动标注方法,以减小构件库开发人员手工标注大粒度组合构件语义的工作量。采用本体描述构件的语义,对于不同结构的组合行为,通过进程演算抽取交互行为的执行序列,给出组合构件语义的抽取、合成方法及相应的语义标注算法。将该技术集成到JTangComponent平台上进行实验,结果标明其提高了语义标注的自动化程度,可以为复用构件提供语义保障。     

基于范畴论的本体集成描述

针对语义Web中的本体异构问题,提出一种基于范畴论的本体集成描述方法。与集合论相比,范畴论具有更高的抽象性和更强、更直观的表达力,是本体集成形式化嗟理想工具。把本体结构作为对象,范畴论中的“态射”可描述本体映射,“外推”可描述本体合并,运用图例进行说睨并给出本体合并算法。     

网格环境下基于本体的资源描述

该文首先介绍本体的概念并分析本体在应用领域的重要作用,然后针对网格环境中的资源描述和选择问题,构建了能够精确描述网格资源信息的本体,并利用构建的本体创建了网格服务,方便用户和应用程序之间利用基于本体的服务实现直接的互操作,提高了网格资源的可利用率。     

基于描述逻辑的OntoUML模型的形式化表示

将形式本体理论应用于UML语言的改进是UML的形式化研究的主要方法之一,其中On-toUML是一个概念上完整、语义上清晰和更具本体意义的UML版本。虽然OntoUML基于本体对UML进行了扩充,提供了更为丰富,更能表达现实世界语义的建模原语,但其表达方式不利于在信息系统的设计与开发中应用。本文基于描述逻辑对OntoUML中的关键建模原语及其关系给出了SHIQ形式化表示方法,并进行了实例研究。该方法表达精练、语义清晰,不仅能够表达逻辑清晰的模型,而且保证模型能够正确反映领域事实。这种形式化方法为信息系统概念建模方法提供了理论和应用支撑,在一定程度上推动了OntoUML更为广泛的应用。     

基于开放实现与反射的软件进化模型

软件进化已成为软件领域近期的研究热点之一．本文将开放实现与反射技术与软件进化结合起来，提出了软件运行进化的概念，并分析了开放实现与反射技术与软件进化六元组的关系，提出了基于开放实现与反射的软件进化模型和实现框架．网管软件进化实例说明了该模型的可用性．     

基于混合反射模型的SFS有限元方法的研究

提出了基于混合反射模型的由明暗恢复物体三维形状的有限元算法。用正方形面元逼近光滑曲面,把曲面表示为所有节点基函数的线性组合;基于既含有漫反射成分又有镜面反射成分的混合模型,结合节点基函数,将反射图线性化。考虑数字图像的特点,直接使用离散形式的SFS问题的亮度约束形式,用最小化方法得到高度满足的线性方程;使用Kaczmarz算法计算出表面三维形状。使用合成图像和实际图像验证该文算法的有效性,探讨了该算法的性能。     

Coordination Models Based on a Formal Model of Distributed Object Reflection

We propose a family of models of coordination of distributed object systems representing different views, with refinement relations between the different views. We start with distributed objects interacting via asynchronous message passing. The semantics of such a system is a set of event partial orders (event diagrams) giving the interactions during possible system executions. A global coordination requirement is a constraint on the allowed event diagrams. A system coordination specification consists of a meta-level coordinator that controls message delivery in the system according to a given global policy. The system-wide coordination can be refined/distributed using coordinators for disjoint subsystems that communicate with their peers to enforce the global policy. By a further transformation the meta-level can be replaced by systematically transformed base-level objects communicating via a controller object. The coordination models are formalized in rewriting logic using the Reflective Russian Dolls model of distributed object reflection. The general ideas are illustrated with several examples.     

基于描述逻辑的OntoUML模型的推理研究

作为语义网的逻辑基础,描述逻辑在知识表示与知识推理方面发挥着重要作用。基于描述逻辑的推理系统保证了其推理的合理性和有效性。本文概要介绍基于UFO本体的OntoUML,并探讨OntoUML模型到描述逻辑的形式化表示及推理方法。     

基于描述逻辑的本体进化框架

以描述逻辑作为本体标准语言的理论基础,研究本体进化的概念和目的,提出一种本体进化框架,并在此基础上探讨本体进化过程和本体进化实现技术,包括本体变化操作语法与语义以及本体变化执行算法。通过图书本体实验平台验证了本体进化框架以及本体变化执行算法的可行性。     

基于本体的突发事件应急服务模型研究

 通过研究本体理论,采用斯坦福大学医学院开发的七步法、本体构建工具（Protégé）和本体描述语言OWL,实现突发事件应急服务领域本体库的构建,研究突发事件应急服务本体模型（ESODM）对突发事件应急服务进行统一建模,有助于实现突发事件应急服务在语义级别上统一表达,从而使得突发事件应急服务信息具有计算机可以理解的语义,有助于解决不同应用之间的信息语义异构问题,有助于实现对突发事件应急服务信息资源的智能访问和检索,有助于解决语义层次上应急服务信息共享和交换等问题。     

基于认知反映的信念逻辑

Quine[9]提出了一类有关信念模态的难题,比如Cicero难题,这些难题的解读对模态逻辑语义具有重要的意义.目前的一阶模态逻辑普遍给予Quine难题以de re/de dicto解读.本文指出de re/de dicto解读存在缺陷,并且认为为了解读Quine难题,需要在一阶模态逻辑的模型中引入一个认知反映关系.在此观念下,本文提出了一个新的一阶模态逻辑系统--基于认知反映的信念逻辑.