%0 Journal Article
%T Dense Time Representation and Redundancy Elimination<br>稠密时间表示及冗余消除
%A CHEN Jing
%A <br>陈靖
%J 软件学报
%D 2003
%I 
%X 算法的效率在很大程度上依赖于实际采用的数据结构.对无用数据的处理不仅会带来空间存储上的浪费,而且也会进一步造成时间上的浪费.因此,消除信息冗余一直是算法研究的一个重点.在当前实时领域(尤其是在基于稠密/连续时间语义)的算法研究中,该问题十分突出.从信息之间的依赖关系入手,分析了在对连续时间进行有穷表示和操作中存在的问题,通过改进"范式化"处理过程,给出了进行冗余信息消除的一种方法以及其正确性证明,并通过实验测试了改进的效率.
%K real-time
%K timed automata
%K data structure
%K redundancy elimination
%K shortest path finding algorithm
%K optimization<br>实时
%K 时间自动机
%K 数据结构
%K 冗余信息消除
%K 最短路径算法
%K 优化
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=7735F413D429542E610B3D6AC0D5EC59&aid=1ED9465F75FB3A88&yid=D43C4A19B2EE3C0A&vid=F3583C8E78166B9E&iid=F3090AE9B60B7ED1&sid=B219870B99929345&eid=34603A9A580CC7B9&journal_id=1000-9825&journal_name=软件学报&referenced_num=0&reference_num=14