OODB中的规则管理：一种一致性方法

数据库管理系统中已提出用规则支持主动行为,但规则与其他对象是分别对待的。本文提出一种一致性方法,规则可以像其他对象一样加以描述和处理,无需任何附加机制,并且规则可以与其他对象相联系,按层次组织;利用视之为对象的规则和类这两者间的关系,可以为规则提供基于类的索引,减少对可用规则的搜索。该方法已在ADAM(Prolog-OODB)中实现。     

基于规则的空间一致性维护

通过对空间数据的拓扑一致性问题的分析,给出了一种基于拓扑的空间数据模型,在此基础上提出了一种空间拓扑规则发现机制。利用所得的空间拓扑规则,判断空间数据是否具有拓扑不一致性,进而采取相应的策略进行拓扑一致性维护,以提高空间数据的质量。     

基于对象行为的时空拓扑模型

通过对时空对象的行为进行分析，提出了一种时空拓扑关系模型，并在此基础上提出了时空拓扑的分解和重构算法．该算法既可以跟踪对象本身的历史，同时也可以跟踪在不同的时间段(或时刻)的空间对象之间的关系．模型和算法对于时空拓扑的描述提供了一种可行的解决方案．     

时空数据库中的时空拓扑查询

1 引言现代社会大量的科学应用,如航空系统的飞行器导航、森林火灾探测、乃至于人们生活中应用越来越广泛的移动通讯手机等等,这些都导致有必要研究一个能兼顾时空两属性的数据库管理系统。研制一个能有效表示和处理时空对象的DBMS,其中一项重要工作就是对时空对象进行空间分析操作。典型的时空对象的分析操作估计有近百个,大致划分为七类:a)时空对象间拓扑关系的操作,如求一个移动点是否在一个移动区域中:b)时空对象与空间对象间拓扑关系的操作,如求一个移动点是否在一个固定区域中;c)返回值为时空对象的操作,如求移动点的轨迹;d)返回值为空间对象的操作,如求一个移动点在某一个特定时刻的空间位置;e)返回值为单个数值的操作,如求一个移动点的速度;f)返回值为多个数值的操作,如求两个移动点间的距离;g)在时空对象集合上的操作,如在一些移动区域上进行FUSION操作。     

基于规则的企业模型一致性检查

随着各种全新的制造理念的出现和信息技术的发展，企业模型的规模不断扩大，使得采用人工方式进行企业模型检查不仅耗时长，而且检查的完整性和正确性也难以保证。本文针对此问题，设计了一个基于规则的企业模型检查系统，并针对构件化企业建模系统（CEMS）定义了一个较为完整的规则库。     

一种基于时空一致性的视频抠取方法

提出了一种交互式的时空一致性视频抠取方法,能够有效地从视频序列中提取出移动的前景目标.只需在视频体上简单地勾画时空的前景和背景线条,然后构造一个拉普拉斯方程驱动线条在三维的视频体上进行扩散,得到一个粗糙的抠取结果.随后,采用一种新颖的保持时空一致性的抠取技术,利用局部的统计信息和邻域信息,通过少数的迭代即可收敛到全局最优的抠取结果.最后,最优化一个新的全局代价函数在整个三维体上重建前景颜色,如实地保留了抠图结果的时空连贯性.算法的每一步计算都可转化为线性方程组进行求解,因此对于千万像素级的视频数据,也能快速得到高质量的抠取结果.通过对复杂的视频序列进行测试,展示了高质量的抠图结果和算法的高效性.     

基于规则的UML设计模型的一致性检验

统一建模语言(UML)是业界公认的主流面向对象建模语言,为系统开发提供了丰富的建模元素。由于UML不同建模元素之间缺乏准确定义的关系,因此UML模型往往会出现不一致性问题。针对该问题,提出了一种基于规则的检验方法。该方法把UML设计模型和一致性条件分别映射为规则系统的事实库和规则库,如果事实库与规则库不匹配,则表示设计模型中存在不一致性。我们使用自主开发的一种“面向对象-规则语言系统”作为检验一致性的规则系统,它集成了面向对象语言和规则语言两种范型,有利于统一使用C++语言来设计并实现一致性检验工具,提高一致性检验效率。     

基于GeoView的拓扑规则管理

GIS空间数据模型中,基于规则的拓扑关系检查是保证数据一致性和正确性的主要方法。本文针对GeoView关系模型组织的空间数据提出了相应的拓扑规则管理方法,根据拓扑关系和实际情况归纳出一系列的拓扑规则,并通过实例介绍了拓扑规则的检查算法的实现。该拓扑规则管理方式已应用于GeoView平台,较好的实现了对空间对象拓扑关系的管理。     

一种基于相似性的规则集一致性度量的新方法

规则学习算法通过学习样本产生规则集,如何判断规则集的好坏?目前规则集的评估标准有很多,如一致性、可测量性和易理解性评估,但它们有各自的缺点。提出一种新的评估规则集方法:相似性度量。这种度量方法可以计算出两个规则集之间的正相似性与负相似性。实验说明这种新的度量方法可以被用来评估规则集间的一致性,并且可以决定使用哪种算法解决某类问题或选择组合分类模型中的基模型。     

一种基于相似性的规则集一致性度量的新方法

规则学习算法通过学习样本产生规则集,如伺判断规则集的好坏?目前规则集的评估标准有很多,如一致性、可测量性和易理解性评估,但它们有各自的缺点.提出一种新的评估规则集方法:相似性度量.这种度量方法可以计算出两个规则集之间的正相似性与负相似性.实验说明这种新的度量方法可以被用来评估规则集问的一致性,并且可以决定使用哪种算法解决某类问题或选择组合分类模型中的基模型.     

Rule-based spatiotemporal query processing for video databases

In our earlier work, we proposed an architecture for a Web-based video database management system (VDBMS) providing an integrated support for spatiotemporal and semantic queries. In this paper, we focus on the task of spatiotemporal query processing and also propose an SQL-like video query language that has the capability to handle a broad range of spatiotemporal queries. The language is rule-based in that it allows users to express spatial conditions in terms of Prolog-type predicates. Spatiotemporal query processing is carried out in three main stages: query recognition, query decomposition, and query execution.Received: 11 October 2001, Accepted: 3 October 2003, Published online: 12 December 2003Edited by: A. Buchmann Correspondence to: Özgür UlusoyThis work is supported by the Scientific and Research Council of Turkey (TÜBITAK) under Project Code 199E025. This work was done while the first author was at Bilkent University.     

一种基于规则的模型转换方法*

尽管模型驱动开发(MDD)代表软件工程的发展方向,但是目前MDD还缺乏一套完整的转换规则描述方法和相应的实现机制,难以实现模型的自动转换。为此定义了一个平台独立模型到平台相关模型的转换框架,采用UML活动图说明模型转换的实现机制;基于OCL定义了转换规则的表示法,并结合UML模型到Java模型的转换给出了转换规则的定义。最后在一个具体的实例中验证了此方法的合理性和易用性。     

Consistency checking and querying in probabilistic databases under integrity constraints

We address the issue of incorporating a particular yet expressive form of integrity constraints (namely, denial constraints) into probabilistic databases. To this aim, we move away from the common way of giving semantics to probabilistic databases, which relies on considering a unique interpretation of the data, and address two fundamental problems: consistency checking and query evaluation. The former consists in verifying whether there is an interpretation which conforms to both the marginal probabilities of the tuples and the integrity constraints. The latter is the problem of answering queries under a “cautious” paradigm, taking into account all interpretations of the data in accordance with the constraints. In this setting, we investigate the complexity of the above-mentioned problems, and identify several tractable cases of practical relevance.     

面向AS级动态拓扑的改进PFP模型

针对传统PFP模型不能很好模拟Internet动态演化的问题,提出面向自治系统(AS)级动态拓扑的改进PFP模型。改进模型充分考虑Internet中AS节点的消亡与连接边的相应连接补偿,符合Internet拓扑成长和演化过程,生成的Internet拓扑图与实际Internet具有更大相似度。实验结果表明,改进模型能较好满足幂律分布和小世界特性,更适合于Internet建模。     

一种改进的基于SNMP的网络拓扑发现

本文通过对MIB-II定义的路由表、地址转换表等信息的分析,描述了一种改进的基于SNMP的网络拓扑发现方法。该方法发现结果比较准确,对于设备接口之间连接关系在配置了VLAN的网络中也能很好地发现。由于该方法不向网络中注入过多的探测数据包,因此对网络正常流量不会产生较大影响。     

基于物理拓扑的改进Chord模型

针对结构化点对点模型中物理拓扑与逻辑拓扑不匹配的现象,结合Chord模型和混合Chord模型,提出一种基于物理拓扑的改进模型。利用网络区域性,在每个自治系统内选择度数最大的节点作为超级节点(SN),不同SN在上层构成Chord环,从而使模型的逻辑拓扑与网络物理拓扑相吻合,减少资源定位和访问的路由跳数。实验结果表明,该模型能减少平均路由跳数、降低平均时延。     

一种改进的蓝牙分散网分布式拓扑构成算法

蓝牙分散网是由多个微微网组成的自组网络,由于其应用前景广阔,已经成为当前研究热点之一。蓝牙分散网的网络拓扑构成复杂且移动性强,现行的蓝牙规范并未对分散网的拓扑构成作详细的说明,因此这是一个极具挑战性的课题。提出了一种改进的蓝牙分散网的分布式拓扑构成算法,使用对称/不对称连接机制产生一个超级结点,并由这个超级结点应用分布式拓扑构成算法形成最终的分散网拓扑结构。性能仿真分析表明:该算法具有较快的网络创建时间、延时低、结点数目不受限制并能适应网络的动态变化。     

模糊规则组的谐调度

模糊规则库谐调性是规则库研究中的重要内容。在决定一组新来的模糊规则可否加入到已有规则库时,需要知道它对已有规则库的谐调程度。利用模糊关系方程理论和贴近度定义了模糊规则组之间的谐调度。实验表明此定义能很好地容纳相容规则并排除矛盾规则,这对于知识库的建立和维护是至关重要的。     

基于规则的软件体系结构层性能优化模型

针对大多数基于规则的软件体系结构层性能优化方法在优化过程中未充分考虑规则的使用次数和使用顺序而导致搜索性能改进空间受限,难以获取最优性能改进方案的问题,设计一种规则序列执行框架,并进一步将软件体系结构层性能优化抽象为求解最优规则序列的数学模型,以精确刻画规则的使用次数、使用顺序与最优性能改进方案之间的数学关系,为搜索更大的性能改进空间、提高优化质量提供支持。     

一种改进的BFT型片上网络拓扑结构

针对片上网络(NoC)资源节点之间通信的局部性,提出改进的蝴蝶型胖树(BFT)拓扑结构XBFT及相应的路由算法.该结构在BFT结构的基础上改变边的连接关系,减少了路由节点数和物理连接链路数,理论分析表明,在64个IP核的NoC中,XBFT较BFT路由器数目减少了14.3％,物理链路数减少了10.7％,XBFT结构比BF...