一种高效的视图维护算法

通过选择性算法将增量式视图维护和视图自维护有效地融合在一起．同时它还利用相关性算法对不相关更新进行过滤，可以有效地降低消息总数和数据的通信量，从而大大提高视图维护的效率，具有现实的应用意义．  

计算机科学中的共代数方法的研究综述

代数理论已经在抽象数据类型、程序语义等计算机科学领域有了广泛的应用,而代数的对偶概念--共代数,则直到20世纪90年代中后期才被越来越多的计算机学者关注.代数从"构造"的角度研究数据类型,而共代数则从"观察"的角度考察系统及其性质.共代数方法对研究基于状态的系统有独特的优越性,可以对系统的行为等价、不确定性等从数学上进行深入的探讨.目前,共代数理论已经逐步应用在自动机理论、并发程序的语义、面向对象程序的规范等领域.对共代数的基本概念、范畴理论基础、共代数逻辑及应用等方面的最新研究成果进行了介绍,以引起国内相关研究领域的学者对计算机科学中的共代数方法的关注.  

软件体系结构与组件技术

在理论上，软件体系结构和基于组件的开发是理想的匹配；另一方面，软件体系结构是可重用软件组件的一种自然补充。只有通过实现体系结构模型，才能体现组件互操作性模型的所有优点。首先给出了大规模复杂分布式应用程序设计和进化方法选择中的关键因素；然后讨论软件组件技术与软件体系结构方法相互之间的要求，并探论了将软件体系结构与软件组件结合起来的可能途径。  

基于Petri网的分布式面向对象数据库系统建模

首先介绍了分布式面向对象数据库（DOODB）的基本概念，提出了以对象模型，事件模型，事务模型三个正交维来进行建模的思想，并利用面向对象（OO）技术及Petri网理论对DOODB进行了系统建模，这种建模表示方法对开发分布式数据库及其管理系统有一定的指导意义。  

软件组件的互操作性和透明性

互操作性和透明性独立于系统功能。分布式系统结构实现互操作性和透明性非常复杂，需要深入的软件工程知识、系统软件体系结构和新的系统互操作性观点。尽管使用技术可以获得特定情况下的互操作性，但不能解决一般意义下的透明互操作性问题。对分布式系统的互操作性和透明性问题进行了深入地分析与阐述，并探究了互操作性与软件体系结构的关系，着重讨论了交叉领域的互操作性要求。相信与软件体系结构结合起来的互操作性和透明性的实现将对大规模、复杂的分布式系统产生深远的影响。  

时态的粒度刻画及演算问题研究

时态的建模及演算是时态信息处理中的逻辑基本问题，从粒度思想出发，根据时态的粒度划分，研究了时态粒度的语义与性质。并基于时态粒度对时态原语进行刻画，进而基于代数系统分析了时态的粒度转换算子及不同粒度下的时态关系，构建了时态粒度关系的演算系统。  

基于模式和数据并发更新的视图维护机制

在数据仓库的实化视图维护处理中，如何有效地处理并发更新是一个重要而又棘手的问题．文中阐述了P2P环境下模式与数据全面并发的典型情形，分析了因并发更新而导致视图维护异常的原因，针对这些不同的方面提出相应的纠正策略．给出了一种基于时态演算的并发更新侦测方法，以及混合更新下对关联更新进行检测的有效算法，最后提出了解决乱序提交问题的增强代理机制，确保了数据仓库与数据源的一致性．  

基于代数-时态逻辑的象形对象研究

本文首先讨论了国内外有关面向对象方法学、代数规范、时态逻辑的研究现状 ,分析了对象形式化语义研究的不足 .其次 ,分析了几种主要的系统形式化模型和方法 .然后 ,在我们已研究的“计算机甲骨文象形码输入法”的基础上 ,从时态逻辑的角度定义了象形对象及其约束条件 ,定义了面向对象的有色 Petri网 (OOPEN) ,并应用 OOPEN描述了象形对象的层次结构 .最后 ,我们将代数规范与时态逻辑相结合 ,对象形对象的语义基础进行了一些研究 .  

基于代数-时态逻辑的象形对象语义模型探讨

本文在“基于代数－时态逻辑的象形对象研究”一文的基础上，进一步讨论了“基于代数－时态逻辑的象形对象语义模型“问题，主要是将基于代数模型和基于时态逻辑模型这两种方法结合，通过OOCPN描述形式，对象形对象语义模型进行了探索式研究，具体包括象形对象标记，象形对象语义解释结构，象形对象语义结构模型结构，定义了状态运算符，操作运算符并给出其语义域上的解释，提出了可继承属性和可继承操作，完全继承和和部分继承等概念，并用来刻画象形对象系统中的类结构及继承性，在分类结构，组装结构的基础上提出了聚合类结构及分类－聚合类结构；给出了象形对象类类型的代规范描述，给出了有关象形对象系统的公理和定理；并用OOCPN（Object-Oriented Color Petri Net）对象形对象的继承性，类结构及类变化，重码语义的可能性和有害性等进行了描述。  

子共代数与共同余共关系

共代数方法是近几年来理论计算机科学的研究热点之一,在并行计算模型、自动机及面向对象技术的理论基础方面有着广泛的应用.以范畴理论为工具讨论子共代数的性质,特别是集合范畴上的子共代数的性质,证明了集合范畴上的子共代数都是正则子共代数.进一步利用共同余共关系与子共代数之间的对应,给出了集合范畴上共生成子共代数的一种构造方式.