###
DOI:
Journal of Software:2003.14(10):1681-1691

稠密时间表示及冗余消除
陈靖
(中国科学院,软件研究所,计算机科学重点实验室,北京,100080)
Dense Time Representation and Redundancy Elimination
CHEN Jing
()
Abstract
Chart / table
Reference
Similar Articles
Article :Browse 3084   Download 2709
Received:September 03, 2002    Revised:April 14, 2003
> 中文摘要: 算法的效率在很大程度上依赖于实际采用的数据结构.对无用数据的处理不仅会带来空间存储上的浪费,而且也会进一步造成时间上的浪费.因此,消除信息冗余一直是算法研究的一个重点.在当前实时领域(尤其是在基于稠密/连续时间语义)的算法研究中,该问题十分突出.从信息之间的依赖关系入手,分析了在对连续时间进行有穷表示和操作中存在的问题,通过改进"范式化"处理过程,给出了进行冗余信息消除的一种方法以及其正确性证明,并通过实验测试了改进的效率.
Abstract:The efficiency of an algorithm depends greatly on the data structure adopted in practice, while the processing of useless data can cause not only much waste of memory but also much waste of time. Hence to eliminate redundant information is one of the main focuses in the research of algorithms, and the issue has received extensive attention in real-time field (especially those based on dense/continuous time semantics) for many years. After investigating existing problems in finite representation and operations, and by analyzing the dependence relation in information, a method is presented for eliminating redundant information in representation of dense time, which is developed based on an modification of the procedure of ‘Normalization’. The correctness of the method is proved and the efficiency is tested by experiences.
文章编号:     中图分类号:    文献标志码:
基金项目:Supported by the National Natural Science Foundation of China under Grant Nos.69833020, 60203028 (国家自然科学基金) Supported by the National Natural Science Foundation of China under Grant Nos.69833020, 60203028 (国家自然科学基金)
Foundation items:
Reference text:

陈靖.稠密时间表示及冗余消除.软件学报,2003,14(10):1681-1691

CHEN Jing.Dense Time Representation and Redundancy Elimination.Journal of Software,2003,14(10):1681-1691