摘要：嵌入式系统在高速通信时通常需要设计缓存机制以保证数据不会丢失,以某嵌入式系统为例,介绍了该系统的硬件及软件平台的设计,利用模型检查工具SPIN对该系统的数据缓存机制进行形式化建模,并利用时态逻辑公式LTL描述了该系统待验证属性,验证结果表明,该缓存机制满足设计需求,为嵌入式系统数据交互设计提供了严密的研究论证方法。

摘要：空间地理数据的传输、处理以及展示对WebGIS提出了更高的要求。基于此,在开源数字地球模型上进行二次开发,采用GeoServer作为WebGIS服务器实现网络地图服务,构建一种金字塔模型的数据缓存机制,分析系统体系结构,设计基于数字地球的WebGIS。通过在WebGIS上水雨情信息综合集成和洪水淹没三维仿真的应用表明,该WebGIS具有较好的实用性和扩展性。

摘要：针对网络视频监控系统中传统文件系统存储方案存储效率低和检索性能差的缺陷,提出一种基于裸磁盘设备的录像存储方案。根据监控系统的数据存储特点,采用B+树管理录像段索引信息,设计一种磁盘逻辑存储结构,并给出一种基于图像组的数据缓存机制。系统测试结果表明,与传统的文件系统存储方案相比,该方案在监控系统的512 Kb/s和1 Mb/s典型存储码率下,录像存储效率分别提高了43.6%和30.3%,录像检索耗时降至35 ms以下。