基于图的主动数据库规则集终止性分析

主动数据库中规则集的行为很难预测,用触发图可以判断规则集是否保证终止,为了精 确判定规则集的终止性必须找出触发图中的全部环路.在OO模式下对主动规则集的可终止性进行 深入分析,得出了判定规则集终止性的方法,给出了计算触发图中全部环路和判定规则集是否保证 终止的算法.

小波变换在天气雷达图像压缩中的应用

针对航空气象保障中常用的几种天气雷达图像的特性 ,采用双正交小波变换方法 ,应用嵌入式零树编码和自适应算术编码 ,提出了一套合理的图像压缩编码软件方案。试验表明 ,该方案是解决天气雷达回波图像存储和远程传输的一种有效途径 。