基于TPC-C基准的ACID验证工具的实现

文中针对TPC-C基准的ACID测试用例,重点分析了隔离性测试用例的设计意图,用java语言设计实现了一个开源的ACID验证测试工具,介绍了该工具的体系结构及设计思路,并使用该工具对MySQL6.0数据库系统与Oracle9i数据库系统进行了验证和对比,其中MySQL数据库使用了InnoDB和Falcon两种不同的事务型引擎。     

基于事务级模型的火控计算机建模研究

在对系统进行高层次建模和验证时,事务级模型得到越来越广泛的应用。在SystemC语言的基础上构建了火控计算机的事务级模型,并通过事务级的仿真,对模型的功能进行了验证,为下一步的软硬划分和硬件设计打好基础。     

移动数据库的应用研究

阐述了移动数据库的概念和特性,介绍了其应用现状及市场上存在的相关产品,分析了移动数据库在应用中要解决的关键问题,指出了其发展目标。