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