时间标记法相关论文
文章给出一个通用的针对复杂功能部件的形式化验证方法.该方法基于寄存器传输级设计，利用设计中的结构信息将电路划分为控制部分和......
根据多媒体数据对时间相关性的要求，分析了描述多媒体同步关系的４种模型，并给出了在网络环境下基于时间标记的多媒体同步模型的实现方......
地籍信息系统具有信息量大．数据更新频繁和数据时间特性明显的特点．时空数据结构的应用也就变得非常必要，为此在地籍信息系统中，必须进......
