数据流计算机复合函数级并行的开发

数据流计算机开销过大的基本原因是并行的粒度太细。本文研完在数据流计算模型中引入复合函数级并行的开发,讨论它在SDS模型的抽象机上的实现方法,并介绍以此为基础的模型机SDS-1系统。

Agent在多Agent系统中计算的意愿理论

提出了Ａｇｅｎｔ在多Ａｇｅｎｔ系统中计算的意愿理论，以支持Ａｇｅｎｔ计算的理论研究．区分了两种意愿：实现型意愿和维护型意愿．基于多Ａｇｅｎｔ系统计算的逻辑框架，给出了两种意愿新的语义定义。

一个模式识别实用系统—PCB逻辑图输入

本文报告了一个印制电路板(PCB)逻辑图识别输入系统——LIS(Logical-diagram Input System)。介绍了该系统的构成,主要难点及相应的算法,介绍了该系统的效益。

一种函数优化问题的混合遗传算法

将传统的局部搜索算法和遗传算法相结合，可以较好地解决遗传算法在达到全局最优解前收敛慢的问题．文章给出一种结合可变多面体法和正交遗传算法的混合算法．实验表明，它通过对问题的解空间交替进行全局和局部搜索，能更有效地求解函数优化问题．

视频点播服务器中服务策略的研究

研讨了同时为多个点播用户服务的轮转服务策略和比例服务策略，并提出了ＶＯＤ（ｖｉｄｅｏ－ｏｎ－ｄｅｍａｎｄ）服务器在不破坏各路点播流实时播放率的前提下，应用这些服务策略的方法．

基于类型理论的递旧元程序设计

本文提出在ＬＦ类型理论中定义一组相互递归类型的方法，并对递归类型赋予操作语义．这样，递归类型不仅可以表示通常的递归数据结构，还可描述一般的递归问题求解、递归证明构造和递归程序构造过程．

概率性逻辑异构分解模式的相容性

文章讨论概率性逻辑异构分解模式的相容性问题．对于不同结构的分解模式，只要两两之间满足单边缘一致性，则可互相结合，构成异构的分解模式，并且由此设计的分解算法所形成的推理系统保持相对于原Ｎｉｌｓｓｏｎ

结构化证明搜索

本文在简介证明开发环境的元语言ＴＭＬ之后，提出两类结构化设施；模块化机制为元级程序设计提供模块化手段；抽象理论机制用来描述定理证明赖以进行的背景理论．联合使用模块机制和结构化理论描述，系统可自动实现结构化证明搜索．

数据仓库联机维护中一致性问题的研究

数据仓库是存储供查询和决策分析用的集成化信息仓库，它的信息来源于不同地点的数据库或其他信息源．实体化视图是数据仓库中存储的主要信息实体，当原始数据发生变化时，数据仓库中的实体化视图也必须作相应的更新维护．在数据仓库实体化视图的联机维护过程中，由于联机分析处理（On－lineAnalyticalProcess，简称OLAP）查询的介入，会产生数据不一致的问题．文章提出了一种MVCA（multiversioncompensatingalgorithm）算法来解决这一问题．MVCA采用版本控制方法，利用补偿思想和应答机制协调数据库和数据仓库之间的更新维护操作，达到保证数据一致的目的．最后，文章通过一个典型示例说明了该算法在实际中的具体应用．

分布实现完全LOTOS规范的转换方法

基于ＬＯＴＯＳ规范语言，文章从系统功能规范出发，结合实际系统的分布特性，推导出符合实际系统结构的模块化规范的转换方法．用标注的完全ＬＯＴＯＳ语言规范表达复杂的系统分布特性，研究了使用广播通信方式进行协同的。