【摘 要】
：
系统的静态分析能在设计开发阶段发现错误,从而避免了在运行时错误检测技术在系统执行期间带来的负面影响。基于尽可能避免静态错误这一构件测试策略的基本思想提出了一种对
【基金项目】
：
河南省自然科学基金项目（0511011400）,河南省教育厅自然科学基金项目（2004520014）
论文部分内容阅读
系统的静态分析能在设计开发阶段发现错误,从而避免了在运行时错误检测技术在系统执行期间带来的负面影响。基于尽可能避免静态错误这一构件测试策略的基本思想提出了一种对构件化软件系统进行静态测试的方法。采用通信模型对数据库服务构件系统进行抽象建模,并结合用于描述构件系统中构件之间交互的形式化方法行为协议,通过对构件系统构件行为协议的一致性验证,从而测试构件交互的正确性。
其他文献
高性能的图像处理技术是基于视觉的多点触摸技术的关键,对于特征点的检测和跟踪是完成多点触摸系统的基础。文中主要介绍了几种算法用来解决特征点的识别和跟踪的问题。首先,图像轮廓变换算法用来分析手指与屏幕的接触区域,以及在此基础上采用中心计算算法确定特征点的中心坐标;再次,最小距离优先(MDF)算法对在两个相邻图像中的相应的特征点进行识别和跟踪,为随后的事件检测和手势识别提供了前提条件。实验结果表明,算法
为解决智能体分队的目标攻击选择问题，文中对作战模型中的多武器目标分配（WTA）问题进行了研究，介绍了WTA问题的基本概念、基本模型、数学性质以及WTA问题研究的基本内容。在模型
滤波是整个图像处理过程中的一个重要环节。矢量中值滤波方法在彩色图像滤波中使用广泛。为了达到更好的滤波效果,针对彩色图像中噪声的特点和传统滤波方法存在的不足,提出了一种改进的基于滤波器叠加的彩色图像矢量中值滤波算法。该算法借助矢量中值滤波方法的优点,使用双滤波器进行叠加,对彩色图像实现滤波。实验结果表明,该算法实现简单,运算量小。滤波过程中能在抑制噪声的同时很好地保留原图像信息。利用滤波器叠加,取得
磁盘阵列（RAID）是当前能够提供存储系统高可用性和高可靠性的一项重要技术。它通过软硬件的冗余和奇偶校验提供数据的重构和恢复。针对当前在RAID控制软件设计的过程中面临多次
简化决策表具有高效处理数据的能力，一经提出即得到广泛的重视。文中通过反例证明简化决策表在处理数据时会产生错误，改变了原决策表表达信息。通过分析得出简化决策表不具备处
以简化软件产品线中的需求分析过程、实现过程复用为目的，总结了当前软件生产线需求分析的特点以及分析过程，通过建立领域用户需求模型指导需求获取分析过程，采用基于改进原型法
为了提高基于UDP协议的测控通信平台的稳定性、实肘性和数据处理能力，建立了动态负载平衡模型，提出了加权负载因子负载平衡算法。该算法利用CPU的使用率、当前的活动会话数、内
在构建了一种基于DSP+FPGA图像处理系统的基础上,论述了一个基于EDA技术的、用FPGA实现图像边缘检测协处理器的设计过程,包括边缘检测算法的选择、系统FPGA的VHDL设计实现和在MAXPLUSII开发环境下的相关仿真结果。该协处理器的像素处理方式采用全硬件并行及流水线技术,经验证,和单独采用单片机或DSP系统相比,其处理速度有显著的提高。
路由协议是WSN研究中富有挑战性的问题。由于WSN自身的特点和通信需要，现有的无线自组网和互联网路由协议不适在WSN中运行，无线传感器网络路由协议以节约能源为首要目标，并采用
图像修复的方法有很多种,目前最常用的有基于偏微分方程(PDE)和基于纹理合成的修复方法。在图像的修复和去噪上,偏微分方程都有很好的应用,但对于含有噪声的破损图像的修复,传统的方法是先去除噪声再进行修复。在BSCB模型的基础上加以改进,提出了一种新的修复方法,结合现有的图像修复和图像去噪两种技术的优势,对图像破损区域修复的同时进行整幅图像的去噪,修复和去噪的过程都是各项异性扩散的过程,能很好地保留图