稠密时间表示及冗余消除

• 作者: 陈靖
• 来源期刊: 软件学报
• 学科: 工学
• 关键词: 实时 时间自动机 数据结构 冗余信息消除 最短路径算法 优化
• 年，卷（期）: 2003,（10）
• 所属期刊栏目: 理论计算机科学
• 页码范围: 1681-1691
• 页数: 11页
• 分类号: TP301
• 字数: 10553字
• 语种: 中文

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	陈靖		1	1	1.0	1.0