| 稠密时间表示及冗余消除 |
| |
| 引用本文： | 陈靖.稠密时间表示及冗余消除[J].软件学报,2003,14(10):1681-1691. |
| |
| 作者姓名： | 陈靖 |
| |
| 作者单位： | 中国科学院,软件研究所,计算机科学重点实验室,北京,100080 |
| |
| 基金项目： | Supported by the National Natural Science Foundation of China under Grant Nos.69833020, 60203028 (国家自然科学基金) |
| |
| 摘 要： | 算法的效率在很大程度上依赖于实际采用的数据结构.对无用数据的处理不仅会带来空间存储上的浪费,而且也会进一步造成时间上的浪费.因此,消除信息冗余一直是算法研究的一个重点.在当前实时领域(尤其是在基于稠密/连续时间语义)的算法研究中,该问题十分突出.从信息之间的依赖关系入手,分析了在对连续时间进行有穷表示和操作中存在的问题,通过改进"范式化"处理过程,给出了进行冗余信息消除的一种方法以及其正确性证明,并通过实验测试了改进的效率.
|
| 关 键 词： | 实时 时间自动机 数据结构 冗余信息消除 最短路径算法 优化 |
| 收稿时间： | 9/3/2002 12:00:00 AM |
| 修稿时间： | 2002年9月3日 |
Dense Time Representation and Redundancy Elimination |
| |
| CHEN Jing.Dense Time Representation and Redundancy Elimination[J].Journal of Software,2003,14(10):1681-1691. |
| |
| Authors: | CHEN Jing |
| |
| Abstract: | |
| |
| Keywords: | real-time timed automata data structure redundancy elimination shortest path finding algorithm optimization |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
| 点击此处可从《软件学报》浏览原始摘要信息 |
|
点击此处可从《软件学报》下载全文 |
|
