描述逻辑μALCIO的语义及推理

循环术语集是描述逻辑长期以来的研究难点,它的最基本的问题即语义及推理问题没有得到合理的解决.分析了描述逻辑循环术语集的研究现状和存在的问题,基于混合μ-演算将不动点构造算子引入到含有枚举构造算子的描述逻辑ALCIO中,提出了一种允许包含循环术语集的描述逻辑μALCIO.给出了μALCIO的语法和语义,证明了μALCIO的可满足性推理等价于混合μ-演算的可满足性推理,并利用树自动机理论给出了μALCIO的可满足性推理算法以及给出了推理算法正确性证明和复杂性定理.     

时态逻辑断言推理及其在SIDSS中的应用

介绍了断言推理和时态逻辑断言的基本概念，并以工资智能决策支持系统(SIDSS)为例，讨论时态逻辑断言规则的设计、形式化描述与Java代码实现。     

基于相点分析的移动数据索引技术

一维(有效)时间区间(VT)和二维最小限定矩形(MBR)足移动数据基本的时空单元,两者性质不同,应用中也有差异.现有移动数据查询通常足将相关数据转换为高出原空间情形"一维"的空间数据,其优势在于可充分使用现有空问数据索引技术.文中主要贡献在于研究基于过去和当前时间查询的移动数据索引模式,该索引模式能够表征时空各自特性并...     

基于关系数据库的极松散结构数据模型的访问控制研究

 本文提出一个针对数据空间环境下极松散结构模型的细粒度和动态的访问控制框架:首先定义通用的极松散结构模型GLSDM(General very Loosely-Structured Data Model);给出GLSDM到关系表的映射方法,将GLSDM上细粒度的访问控制转换为关系表的row、cell等安全级别的访问;通过动态查询重写,在用户执行查询时将GLSDM的权限信息添加到SQL语句中,从而实现GLSDM的动态访问控制.理论和实验证明该框架是可行和有效的,本文的映射方法和动态查询重写算法能够保证对GLSDM的访问控制通过等价的关系数据库的访问控制来实现.     

协同软件工程概述

参考国内外对协同软件工程的研究情况,力图在高度概括的基础上,对协同软件工程的概念、模型和支撑给予明确的描述.分布式团队开发是大型复杂软件项目开发的先决条件,协同软件工程作为传统软件工程的发展和延伸,主要研究和解决分布式团队合作中体现的协同性.以协同软件开发过程模型为出发点,开发者可以更好地分析、创建、管理和同步实现分工后的子软件开发任务.然后,归纳了关于协同软件项目开发环境的通用的设计原则、关键因素及组件,并将它们作为实施上述模型的基础.     

一种工作流模型的时间性能评估方法

在对模糊时态工作流网引入选择概率函数的基础上,提出了扩展模糊时态工作流网的工作流模型,给出其中的时态元素计算方法,以及分解扩展模糊时态工作流网的算法,并讨论了基于该分解算法的时间性能评估方法.最后,通过一个实例阐明了如何使用该时间性能评估方法.     

TMS中图形库的设计与实现

ＴＭＳ（ＴｒａｄｅＭａｒｋＳｙｓｔｅｍ）是我们开发成功的一种商标图文管理系统,本文讨论指出商标图形信息管理的两个基本问题,讨论ＴＭＳ中图形库的设计方法和实现技术。     

Foxpro屏幕生成程序的自动翻译

Ｆｏｘｐｒｏ２．６ｆｏｒＷｉｎｄｏｗｓ的ＳｃｒｅｅｎＷｉｚａｒｄ能自动生成数据库应用程序,但其提示信息却为英文,该文对生成程序进行了分析,并给出了一种自动释方法。     

时态XML索引技术

首先通过讨论时态XML查询数据模型TXQDM,提出了基于结点有效时间的前缀编码方案.以此为基础,引入TXQDM结点间的基于时态连通的等价关系和基于时态包含的拟序关系,建立了时态XML索引数据模型TXIDM,该模型的基本特征是具有二重嵌套的索引框架,适合于TXQDM这种不规则的具有较大随意性的树形结构情形.其次,在TXIDM框架内,讨论了相应时态查询算法,其中包括基于时态的路径查询和值查询,同时,还讨论了时态索引更新算法,其中包括插入和修改算法.最后,对于文中提出的模型TXIDM和时态索引操作算法进行了性能分析且设计了相应模拟实验.实验结果表明,基于TXIDM的时态查询与更新算法是可行的和有效的.     

网上购物系统的设计与实现

网上购物模块是目前电子商务系统中一个最重要的部件之一。文章对当前网上购物的各种实现方案进行了深入讨论,指出了其某些不足之处,并在此基础上提出了改进方案。且在自己所设计的网上购物系统中实现了这些改进。