事件代数与主动知识库系统

本文提出了一种事件代数，它由一组基本事件和作用在事件上的运算组成．从而各种复杂事件都可用这种代数中的事件表达式表示．然后，本文在事件代数的基础上提出了主动知识库系统的概念，在这种系统中可以根据事件的发生主动触发执行各种功能，本文还讨论了主动知识库的用途、结构和实现技术等问题．

一种结合时间区间代数建模的主动系统的故障诊断方法

研究了在全局时钟、线性观测、串行事件触发的主动系统的故障诊断,在原有主动系统的自动机建模的基础上,引入时间区间代数表达更为详细的时间约束信息,构成带有时间的自动机对系统组件建模;同样在所得观测中也加入相应的更为详细的时间信息。由于加上了时间的约束,可使得诊断的解释空间进一步缩小,从而在一定情况下可提高诊断效率。最后讨论了非线性不确定观测或并发等一般情形下的处理方法。

主动式空间数据库实现方法综述

随着地理信息产业的飞速发展,地理空间大数据的存储和管理日益困难,要求空间数据库具备实时存储空间数据状态和主动处理空间数据的能力。主动式空间数据库除了具有传统空间数据库功能以外,还具备实时动态通知、空间数据自主分析等功能,这些主动服务功能可采用规则触发、结合空间决策系统、结合特种数据库技术等方式实现。首先对主动式空间数据库的国内外理论及应用现状进行了详细综述,将主动式空间数据库的实现方法进行了归类与对比分析,总结了主动式空间数据库在构建过程中存在问题,展望了主动式空间数据库的未来发展方向。