【摘 要】
：
可重构网络测量系统中,工作流测量构件间迁移的过程是否与规约描述一致,是检验测量构件一致性测试的重要内容。建立了一种基于工作流的构件变迁模型MCTM（Measurement Componen
论文部分内容阅读
可重构网络测量系统中,工作流测量构件间迁移的过程是否与规约描述一致,是检验测量构件一致性测试的重要内容。建立了一种基于工作流的构件变迁模型MCTM（Measurement Component Transfer Model）,详细阐述了MCTM模型的形式化定义,并基于MCTM模型给出了一种能自动生成遍历所有构件的测试用例生成算法CTBMCTM。实验结果表明,CTBMCTM算法可以准确定位存在问题的构件,与T＆GS算法相比,该算法在生成较短测试序列的同时显著缩短了算法的运行时间。
其他文献
ＧＭ－２飞行器地面测控系统是一个嵌入式计算机系统，具有对被测对象的测试、控制、模拟功能。本文介绍了ＧＭ－２测控系统的总体设计思想、系统组成、工作原理和主要技术途径。该系统采用ＳＴＤ工业
介绍了运用PWM技术实现液压电梯的调速控制，主要包括两部分，一是用工控机发送PWM信号进行调速，二是手动PWM调速装置的设计。
从硬件与软件两方面阐述ＶＸＩ总线Ｃ尺寸双通道通过式功率计的设计方法。对如何提高功率计的精度采取了一定的措施。
从应用的角度出发，总结了数字信号传输过程中由传输线路的特性引起的主要畸变，分析了产生的原因，并给出了相应的抑制措施。这对数字系统的设计与实践都具有指导意义。
介绍了一个控制系统中的前端图像数据采集系统，以及CPLD（复杂可编程逻辑器件）在系统中的应用，这种应用技术可以用于绝大多数图像采集、存储系统中的数据采样密度的控制，同时可以起
讨论一种可以不间断进行数据采集、处理，并具有12位分辨率的高速(3MSPS)数据采集卡的设计原理和组成部分的特点。
提出了五种产生脉冲的方法.分析讨论了各种方法的时效性及出现时间误差的原因.并介绍了用LabVIEW编程语言、DOS编程语言编写脉冲产生程序和通过定时器硬件中断产生脉冲信号等
属性约简是指将信息表中不影响决策或者分类的多余属性去掉,是粗糙集理论研究中的一个核心内容。现已证明寻找信息表的最小约简是一个NP-hard问题。目前提出的启发式算法一般