稠密时间表示及冗余消除

摘要：

算法的效率在很大程度上依赖于实际采用的数据结构.对无用数据的处理不仅会带来空间存储上的浪费,而且也会进一步造成时间上的浪费.因此,消除信息冗余一直是算法研究的一个重点.在当前实时领域(尤其是在基于稠密/连续时间语义)的算法研究中,该问题十分突出.从信息之间的依赖关系入手,分析了在对连续时间进行有穷表示和操作中存在的问题,通过改进"范式化"处理过程,给出了进行冗余信息消除的一种方法以及其正确性证明,并通过实验测试了改进的效率.

关键词：实时、时间自动机、数据结构、冗余信息消除、最短路径算法、优化

所属期刊栏目：14

分类号：TP301(计算技术、计算机技术)

资助基金：国家自然科学基金69833020,60203028

在线出版日期：2004-01-15（万方平台首次上网日期，不代表论文的发表时间）

页数：共11页

页码：1681-1691