ME4ET:一个基于EDOC ER模型的模型转换工具

模型驱动体系结构（MDA）是一个以模型和元数据为中心的软件体系结构．在MDA体系中，抽象模型是软件开发的主要产品．与传统的软件开发过程相比，模型转换，特别是平台无关模型和平台相关模型之间的转换，在MDA体系中具有重要作用．模型转换需要自动化的模型转换工具的支持以减少软件开发的成本．介绍一个MDA模型转换工具——ME4ET．陔上具支持EDOC ER模型的建模，并支持将EDOC ER模型自动转换为数据库平台和EJB平台上具体的实现，主要介绍ME4ET工具的模型转换规则和算法．     

线性混合系统的一种验证方法

混合系统是指嵌入于物理环境中的数字实时系统．由于计算机技术的快速发展,混合系统在各行各业中都得到广泛应用,但是由于混合系统涉及到连续时间,因此其验证问题始终没有得到完善的解决．近年来,人们普遍采用模型检验方法对混合系统进行验证．由于线性混合系统在实际应用中可以表示大多数的嵌入式实时系统,因此我们着重研究这类混合系统的验证算法．本文首先介绍了混合系统的模型—混合自动机,然后提出了一种针对线性混合系统的基于区域的先划分再遍历的半确定性验证方法．经实例检验,该方法能够有效地验证线性混合系统．最后将本文的方法同有关的其它算法进行了比较     

基于路面雷达的路面结构缺陷检测方法

为了提高路面雷达适应实际检测对象的变化能力和路面结构缺陷检测效率，采用Borland C Builder 6．0开发了一个具有路面雷达数据转换和路面结构缺陷识别等功能的软件系统．与原路面雷达配套软件IRIS-L的比对结果证明，所设计的软件系统的数据变换、信号处理与识别的方法是正确的，并较原配套软件增加了路面结构缺陷的识别功能，提高了路面质量检测的准确性和结构缺陷的识别效率．     

论高校图书馆信息服务中的信息不对称问题与对策

在新世纪信息化浪潮的影响下,全领域信息化已经方向已经成为社会发展的新方向,在这种情况下高校中图书馆的信息化变革就成了其必然的发展方向,但在这一变革过程中我们仍然会遇到许多不可避免的问题,高校图书馆内图书信息不对称就是其中一个让人头疼的问题,该文以高校图书馆书信息不对称这一问题问论点,深就其原因并且提出合理的解决方案.     

检验实时系统的有序时段性质

模型检验是一种被广泛应用于对设计或系统正确性进行自动验证的技术。实时系统的性质包括瞬间性质和时段性质，显然后的检验要比前复杂得多。介绍了一类新的时段性质——有序时段性质，并检验了时间正则表达式的有序时段性质，最后分析了算法的复杂度，和相关工作进行了比较，并探讨了今后的工作方向。     

一种在静态类型面向对象语言中构造VFCG的方法

阐述了在静态类型面向对象语言中构造虚函数调用图（ＶＦＣＧ）的方法：先构造可见方法类层次图（ＶＭ－ＣＨＧ），再计算继承集、改写集，确定改写边界，最后利用ＶＭ－ＣＨＧ和改写边界构造ＶＦＣＧ。同时说明了ＶＦＣＧ在静态类型面向对象语言中解决虚函数调用方面的重要作用。     

水泥混凝土路面维修方案的研究

本文以２０５国道为例，详述了旧水泥混凝土路面状况的调查方法，分析了病害的成因与种类，最后提出了多种修复方案和建议。     

路面雷达在水泥路面脱空检测中的应用探讨

简述了路面雷达检测水泥路面脱空的基本原理，并结合道路工程实践，对其应用作了了概括分析，认为它是水泥路面脱空检测技术发展研究的一个重要方向。