【摘 要】
：
算法的效率在很大程度上依赖于实际采用的数据结构.对无用数据的处理不仅会带来空间存储上的浪费,而且也会进一步造成时间上的浪费.因此,消除信息冗余一直是算法研究的一个重
【机 构】
：
中国科学院软件研究所计算机科学重点实验室
论文部分内容阅读
算法的效率在很大程度上依赖于实际采用的数据结构.对无用数据的处理不仅会带来空间存储上的浪费,而且也会进一步造成时间上的浪费.因此,消除信息冗余一直是算法研究的一个重点.在当前实时领域(尤其是在基于稠密/连续时间语义)的算法研究中,该问题十分突出.从信息之间的依赖关系入手,分析了在对连续时间进行有穷表示和操作中存在的问题,通过改进"范式化"处理过程,给出了进行冗余信息消除的一种方法以及其正确性证明,并通过实验测试了改进的效率.
其他文献
在塑性力学中,主应力是表征材料应力状态的量。在应力张量主值三角函数解的基础上,推导了应力空间内主应力的通用解析式表达式,运用Fortran编写计算算例,与调用Fortran中IMSL
引进了一种在缺省理论中提取优先序的方法.与已有方法相比,此方法不仅具有合理性且具有低难度.进而定义了缺省逻辑的优先稳定语义.这种方法在不增加复杂性的情况下,增强了谨
大江截流是一项复杂的系统工程，其截流组织和施工设计的合理与否直接影响到整个工程的施工进度。结合梨园水电站工程实际，通过分析坝址区水文气象和地形地质条件，结合水力计算及
作为施工企业应不断加强和创新施工项目管理,在思想观念、体制机制、人力资源、制度建设以及安全、薪酬、成本、技术等方面,以创新的思维,破除不适应项目科学发展的旧规陈套,
着重研究了Internet上MPEG-4 FGS(fine grained scalable)视频流的自适应平滑传输,其主要目的在于,在网络带宽变化的情况下,提供稳定的视频回放质量.提出了一种新的基于TFRC(
本文主要总结了混凝土收缩开裂的原因和聚乙烯醇螺旋纤维（以下简称纤维）改善混凝土收缩开裂的原理,介绍了纤维在风机基础混凝土中的应用及施工要点,说明纤维混凝土可较好的解决
采用低温急速冷冻-真空干燥技术制备了不同pH（9.0、7.0、5.0）原水在45.89mg·L^-1（以Fe^3＋计,原水pH=9.0）或28.41mg·L^-1（以Fe^3＋计,原水pH=7.0、5.0）投药量下混凝后形成的P