基于扩展有限状态机和断言的总线接口协议测试平台

在SoC设计流程中，传统的仿真验证方法存在可观察及可控制性较差、自动化水平低等缺陷．为此，提出了一种基于扩展有限状态机（EFSM）和断言的SoC接口协议测试平台，该平台是一种自反馈测试平台，它不仅可以自动产生大量符合协议规范的测试激励矢量，而且可以通过对断言统计信息的反馈提供多种偏置选择，从而进一步提高验证的自动化水平．将该平台用于对视频后处理芯片中Wishbone总线接口协议的功能验证当中，验证结果表明，该平台可以缩短仿真验证时间大约55％～65％左右，有效地提高了验证的效率和质量．     

MPI并行编程环境及程序设计

通过对MPI原理和特点的研究,给出了并行MPI程序的基本设计思路和执行过程,并实现了向量相加的并行计算.     

卫星半物理仿真系统实时接口研究与实现

本文介绍了卫星半物理仿真系统的组成及实时接口方案设计，给出了其硬件设计技术及软件设计技术，提出了采用以太网将各种数据采集计算机及数据处理计算机联在一起的设计方案，并进行了可靠性分析。     

高分子CROUTING树脂高压注浆堵漏技术

针对某一高层建筑地下室渗漏现象，采用高分子树脂高压注浆治理方案处理．堵漏效果良好，对各类工程的渗漏具有推广应用价值。详细论述了高分子CROUTING树脂高压注浆堵漏的施工工艺，以及该树脂的特性及技术指标和应用范围等。     

智能远程通信接口的研制

介绍了智能远程通信接口的硬件设计和软件编程。该接口具有信息传输、通信协议转换、改变波特率、增加串行口和网络地址参数等功能。已被成功应用在压缩机远程监控系统中。     

离子束处理微型滚珠的表面和界面分析

用ＥＤＡＸ和ＡＥＳ分析了离子束动态混合处理的Φ１．５７－１．６０ｍｍ微型滚珠表面的均匀性和界面混合情况，在１００ｋｅＶ的Ｎ离限束动态混全条件下，界面混合区达１４０ｎｍ以上；同一球面不均匀度小于１％，球间不均匀度小于１５％。结果表明，为提高这类轴承的使用寿命，在适当工艺条件下采用离子束表面强化处理，完全可以达到实际应用的要求。     

支持原型法的MIS开发技术

本文讨论了用快速原型法开发煤矿管理信息系统(MIS)的方法与技术,主要论述了数据库设计技术,友好用户界面开发技术,以及动态表格生成技术。     

Dexter──超文本系统的一种标准模型

介绍了Ｄｅｘｔｅｒ模型的体系结构和基本组成，并着重讲述了超文本系统中的几个重要的基本概念．主要是存储层，运行层及两个接口机制的介绍．     

基于MCGS的水厂SCADA系统前置采集器驱动程序的设计

详细介绍了MCGS设备驱动程序的开发原理，以及基于MCGS的水厂SCADA系统前置采集器驱动程序的设计，并给出MCGS设备驱动程序的设计框架。     

反应注射成型体系中的界面现象：I.实验研究

在光学显微镜下，对反庆注射成型体系中反应诱导混合现象进行了系统的考察。研究结果表明，界面上的反应是产生自动混合的关键原因，界面上的反应诱导混合促进了流体在微观尺度上的进一步混合，反应和的活性，催化剂，反应温度及生成物增长曲线，可表征反应诱导混合能力。