基于OCL的服务构件特征语义描述模型

构件的语义特征是构件检索的主要依据,也是构件库的重点研究内容.然而,由于网络系统中存在分布、动态、数量众多的服务构件,很多构件之间存在一定的关联和依赖,因此如何有效地描述这些服务构件特征间的关联,是构件库管理模型需要进一步研究的一个重要问题.提出一种基于特征的构件语义描述模型,首先分别给出特征、特征空间和构件特征空间表示模型的定义.接着将构件特征间的各种关联和依赖关系分成自身约束、父子关系约束、显性约束和隐性约束4类,并采用对象约束语言对这些关系进行形式化描述,从而为模型提供了精确的语义支持.面向电子商务的构件特征子树的实例研究及其模型验证和实验结果证明了该模型的正确性与有效性.     

一种基于OOPN的可执行对象结构模型

指出了UML的多视图模型存在缺乏统一语义模型的不足，提出了一种利用面向对象Petri网(OOPN)统一描述面向对象系统结构和行为模型的解决方法，即可执行对象结构模型(EOSM)。该方法将对象结构模型表示为可执行的OOPN子网，实现了对象的多个行为间的结构化动态耦合。研究表明，EOSM模型可以实现对象的结构模型与行为模型的统一表示。     

作基于常识库支持的图像描述和检索系统*

分析了图像检索系统的研究现状,指出了出现语义鸿沟的原因在于系统中缺乏对于实体相互关系的描述,提出了一个四层的图像语义模型,并在此基础上给出了基于常识库和图像实体库的图像描述和检索模型。以图像的颜色、纹理、形状等特征来构造实体的描述信息,并以常识库信息来分析图像场景中的实体构成和关系,从而获得对图像语义信息的识别和理解。     

分布式主动实时事务语义模型与静态预分析

为支持分布式主动实时数据库事务处理的可预测性,提出了一种新的基于树的事务语义模型,该模型利用事务“关节点”的概念能较好地描述分布式主动实时事务的语义与结构特征,并能有效地支持分布式主动实时事务预分析处理与动态预测的结合。另外,分析了分布式主动实时事务的静态语义信息,构造了静态事务信息集合。     

代数规范与对象行为约束

本文研究建立了代数规范和时序逻辑规范的不同语义模型之间的关联,在结构偏代数上解释时序模态词,从而可以利用时序逻辑工具讨论由代数规范所定义的抽象对象的动态行为特征.     

基于优化目的的人机界面知识化表示方法

对一种新的人机界面操作和交互行为的知识化表示方法进行了介绍和分析。以语义网络为基础,通过对人在界面操作中的知识作业过程及交互行为进行分析研究,建立了一种带距离标识的基于面向对象的语义网络的界面知识化表示方法,提供了人机界面特征集定义、推理规则和交互描述模型。该表示方法从界面语义模型和心理语义模型的角度描述了交互,能够正确地描述人机界面的语义知识特征。并以手机短信界面为例说明了该方法的有效性和必要性。     

基于空间语义轨迹的GPS航迹行为特征检测研究

针对GPS航海定位系统轨迹检测缺乏语义的特点,提出一种基于空间语义轨迹的GPS航迹行为特征检测方法。该方法使用OWL形式描述GPS航迹行为特征,构建本体行为特征库以及提取航迹行为之间的数据依赖关系,在此基础上运用启发式的搜索算法生成关于Stop序列集的语义轨迹。然后,通过基于语义描述ALC-Tableau的逻辑推理,将Stop实例集与行为特征库相匹配。最后,通过实验分析验证该方法的有效性。     

一种基于特征的纺丝元件建模方法研究

基于产品特征建模理论,通过对不同纺丝工艺和纺丝元件结构特点的分析,研究了以形状特征和纺丝工艺特征为对象的纺丝元件特征模型的定义方法,建立了一种面同工程设计的,又具有工程技术语义的纺丝元件特征模型,并在此基础上讨论了特征库中纺丝元件的定义。     

基于语义透明性的混合认知结构的研究

在构造一个混合认知系统的时候,需要有一个基本原则来确定人工神经网络和符号系统的功能和任务.本文试图通过构造一个含有迭代序列的概念模型和方法框架,预测认知行为中的基本要素,对人的认知行为进行客观的分析,为评价和构造混合模型的结构和处理过程奠定基础.本文首先介绍了"语义透明性(semantic transparency)"的概念,并用之描述和分析认知模型的特征以及隐含在人的认知行为中的过程,然后给出了一个具体的混合认知结构模型,最后根据从脑监控系统所得到的关于受试者处于认知行为过程的实验数据,进一步研究和分析混合认知模型的语义透明性问题.     

基于本体的决策模型冲突预测及协商研究

依据模型知识的特性,定义了模型描述本体和任务求解本体,为模型提供语义支持.模型语义分为描述语义和行为语义.基于描述语义的相似性判定,模型可进行潜在冲突预测;然后根据任务求解本体的定义,模型通过行为语义交互,进行行为协商;而在执行过程中,模型需要为每一个操作申请资源,因此模型根据模型描述本体和描述语义对资源申请进行协商,从而得到互不冲突的操作执行序列,消除冲突.最后通过实验分析验证算法的有效性.     

ORACLE REDO LOG文件分析及C语言描述

Oracle数据库系统通过 REDO L OG技术来管理数据操作和事务 ,如何分析跟踪 REDO L OG文件 ,实现对数据库操作的监控 ,在数据库审计、数据库复制和数据库安全等方面具有重要的实用价值 .本文对 ORACL E REDO L OG文件进行了详尽的分析 ,给出了 REDO L OG文件头、文件体块结构和文件数据结构的 C语言描述 ,以及 REDO L OG事务控制机制的分析 ,并已成功的用于数据库审计和数据库复制系统     

面向对象数据库系统Daemon4／1的设计

Daemon4/1的基本目标是使对象操作语言和库管理系统能有机地集成在一起，为此在基本模型、对象表示及访问机制、语言事务系统和版本管理等方面作了探讨。在对象模型设计时应考虑支持库管理和操作，对象表示应同时支持传统语言和库操作执行，语言级事务概念要考虑到语言运行系统的特殊性和库事务管理系统，版本管理等特色的引入不能影响对象系统的简单性。Daemon4/1在这些方面具有自己的特色。     

基于分布对象Web的主流数据库集成系统

面向新一代的分布式对象Web体系结构，将全局数据库技术，全局数据库事务管理技术，主流数据库对象化组件技术和先进的CORBA对象技术综合成一体，在支持异构分布式系统的CORBA机制，全局数据库模式，全局查询语言的定义，语法和语义分析，查询优化，主流数据库的对象化表示，事务的管理，并发控制，安全管理，全局事务的完整性处理，主流数据库的集成工具，多数据库系统的管理和维护策略等方面，针对实用化的目标开展研究并加以实现。     

分布式工程数据库系统中事务提交机制的研究

分布式工程数据库事务的特性不同于常规的分布式事务,基本的两阶段提交（B2PC）的协议已不适用,文中建立了基于嵌套结构的分布式工程数据库事务管理子系统的体系结构,并提出了适用于分布式工程数据库的事务两阶段提交协议,包括协议的原理,算法以及对故障的处理方法,能够较好地支持分布式工程设计过程的进行。     

TIGUKAT: A uniform behavioral objectbase management system

We describe the TIGUKAT objectbase management system, which is under development at the Laboratory for Database Systems Research at the University of Alberta. TIGUKAT has a novel object model, whose identifying characteristics include a purely behavioral semantics and a uniform approach to objects. Everything in the system, including types, classes, collections, behaviors, and functions, as well as meta-information, is a first-class object with well-defined behavior. In this way, the model abstracts everything, including traditional structural notions such as instance variables, method implementation, and schema definition, into a uniform semantics of behaviors on objects. Our emphasis in this article is on the object model, its implementation, the persistence model, and the query language. We also (briefly) present other database management functions that are under development such as the query optimizer, the version control system, and the transaction manager.Bell Northem Research     

关于实时数据库事务

实时数据库事务显示了与传统数据库事务的很大不同．这些不同主要表现在事务的复杂结构、定时特性、相关性和正确性方面．本文先分析了实时数据库事务的应用特征与需求，并给出了一个复杂事务结构的框架，然后着重讨论实时事务间的相关性：结构相关、数据相关、行为相关，以及实时事务的结果、结构、行为及时间正确性．     

C＋＋对象的持久化中的问题和解决方案

多媒体智能数据库系统ＭＩＤＳ（ｍｕｌｔｉｍｅｄｉａｉｎｔｅｌｌｉｇｅｎｔｄａｔａｂａｓｅｓｙｓｔｅｍ）是一个对象数据库管理系统．它的数据库编程语言是Ｐ＋＋，Ｐ＋＋个语言是一种基于Ｃ＋＋的语言．作者在Ｐ＋＋的实现过程中遇到了以下问题：首先，Ｃ＋＋的指针有二义性，它无法在语义上区分成员指针和引用指针，以及易失性指针和持久性指针，从而给事务管理中的对象加锁及其它方面带来问题．其次，具有虚拟函数或虚拟基类的对象中含有指向内存中的指针，而这些指针不是由程序员定义的．如果Ｃ＋个对象被持久化，这些指针在不同的程序调用中有可能无效．最后，如果作者用文件系统调用来存储对象，那么必须要设计复杂的Ｃａｃｈｅ系统和做大量对象的格式转化工作，这需要大量的空间和时间，所以他们采用了另外的一种方法──基于虚拟内存空间映射的存储方案．     

基于关系数据库的XQuery查询的实现

XML的应用日益广泛，XML数据库技术也得到迅速的发展，但是从安全性、索引结构、事务处理等方面考虑，关系数据库仍然是更加可靠的选择。本文提出了在关系数据库的基础上提供虚拟的XML数据库、并实现xQuery查询的一种中间件的设计，结合了两者的优点。