一种基于时间自动机的实时系统测试方法 被引量：14

1

作者 陈伟 薛云志 +1 位作者 赵琛 李明树 《软件学报》 EI CSCD 北大核心 2007年第1期62-73,共12页

基于时间自动机(timedautomata,简称TA)的一种变体——时间安全输入/输出自动机(timedsafetyinput/outputautomata,简称TSIOA),提出了一种实时系统测试方法.该方法首先将时间安全输入/输出自动机描述的系统模型转换为不含抽象时间延迟... 基于时间自动机(timedautomata,简称TA)的一种变体——时间安全输入/输出自动机(timedsafetyinput/outputautomata,简称TSIOA),提出了一种实时系统测试方法.该方法首先将时间安全输入/输出自动机描述的系统模型转换为不含抽象时间延迟迁移的稳定符号状态迁移图(untimedstabletransitiongraphofsymbolicstate,简称USTGSS);然后采用基于标号迁移系统(labeledtransitionsystem,简称LTS)的测试方法来静态生成满足各种结构覆盖标准的包含时间延迟变量迁移动作序列;最后,给出了一个根据迁移动作序列构造和执行测试用例的过程,该过程引入了时间延迟变量目标函数,并采用线性约束求解方法动态求解迁移动作序列中的时间延迟变量. 展开更多

关键词 时间安全输入/输出自动机 实时系统测试 最简稳定符号状态迁移图 测试用例生成

在线阅读 下载PDF 职称材料

UML在实时系统测试环境建模中的应用 被引量：1

2

作者 张秀琼 洪玫 +1 位作者 刘国卿 费向东 《四川大学学报（自然科学版）》 CAS CSCD 北大核心 2005年第6期1123-1127,共5页

针对实时软件测试中测试环境和数据的模拟问题,采用基于UML的实时系统软件测试程序设计方法,使测试程序模拟的环境和数据更逼真、可靠,以保证软件测试的有效性.并以ATC(空中交通管制系统)实时软件测试为例,分析了实时软件测试的特点和... 针对实时软件测试中测试环境和数据的模拟问题,采用基于UML的实时系统软件测试程序设计方法,使测试程序模拟的环境和数据更逼真、可靠,以保证软件测试的有效性.并以ATC(空中交通管制系统)实时软件测试为例,分析了实时软件测试的特点和存在的问题,以及UML语言的应用特点,利用UML(统一建模语言)提供的面向对象建模机制建立雷达数据模拟的模型,并在此模型基础上设计和开发了雷达数据模拟程序、生成可靠的模拟雷达测试数据.该雷达数据模拟程序已在作者参与的ATC实时软件测试中得到了很好的应用. 展开更多

关键词 实时系统测试 UML建模 ATC系统 测试环境 模拟数据

在线阅读 下载PDF 职称材料

悬挂农具作业动力学参数田间实时测试系统 被引量：14

3

作者 许春林 李连豪 +3 位作者 赵大勇 李向军 李明金 张伟 《农业机械学报》 EI CAS CSCD 北大核心 2013年第4期83-88,82,共7页

为了满足农业机械研制过程中对多个动力学参数实时测试的需要,在分析其他测试装置及原理的基础上,将三销求和电路及测力销装置与农机通用的三点悬挂机构有机结合,研制出三点悬挂式测力装置。以LabVIEW为开发平台,针对所选传感器的特点,... 为了满足农业机械研制过程中对多个动力学参数实时测试的需要,在分析其他测试装置及原理的基础上,将三销求和电路及测力销装置与农机通用的三点悬挂机构有机结合,研制出三点悬挂式测力装置。以LabVIEW为开发平台,针对所选传感器的特点,开发出大功率(150 kW以上)农机具动力学参数田间测试系统,实现农机具的位移、动力输出轴转速和扭矩、输出功率、打滑率、水平牵引力以及油耗等参数的实时测试,研制出CTM-5000型悬挂农机具田间综合测试系统,分析了系统误差产生的根源,并找出消除误差的措施。以拖拉机前、后配套农机具为试验对象进行了田间试验,在室内与现有类似测试系统进行了比较验证,试验运行和验证结果表明本系统测量数据可靠,操作方便,体现出其设计的合理性和优越性。 展开更多

关键词 悬挂农具 动力学 参数 传感器 实时测试系统

在线阅读 下载PDF 职称材料

激光通过大气随机信道远场二维强度分布实时测试系统 被引量：14

4

作者 胡渝 许昌武 《激光与红外》 CAS CSCD 北大核心 2001年第6期330-331,共2页

文中介绍了激光通过大气随机信道的远场二维强度分布实时测试系统的结构、工作原理和关键技术 ,用此系统可以方便、准确、形象的观测激光远场光斑的闪烁、漂移和分裂等现象 。

关键词 大气随机信道 无线光通道 实时测试系统 远场光斑 激光 光通信

在线阅读 下载PDF 职称材料

基于Windows平台的实时测试系统软件的设计与实现 被引量：6

5

作者 石雨荷 张会生 《空军工程大学学报（自然科学版）》 CSCD 2002年第2期77-80,共4页

在Windows平台下利用多线程技术对实时测试系统软件进行了设计和实现。通过分析多线程及其同步机制 ,结合实例给出实时测试系统软件的总体实现框图及思路 ;描述了基于事件同步对象的系统软件具体实现方法 ;给出线程在激光路面平整度测... 在Windows平台下利用多线程技术对实时测试系统软件进行了设计和实现。通过分析多线程及其同步机制 ,结合实例给出实时测试系统软件的总体实现框图及思路 ;描述了基于事件同步对象的系统软件具体实现方法 ;给出线程在激光路面平整度测试仪系统软件实际测试中的工作流程。上述思路、方法与流程已被充分应用于对激光路面平整度测试仪系统软件的开发中 ,并取得了非常好的效果。 展开更多

关键词 WINDOWS平台 实时测试系统软件 多线程 事件

在线阅读 下载PDF 职称材料

红外瞬变光源光谱实时测试系统的研制 被引量：3

6

作者 王术军 张保洲 刘征峰 《红外技术》 CSCD 北大核心 2001年第1期25-27,共3页

介绍了一种光谱辐照度动态测量系统 ,它适用于对曳光管等瞬变光源的近红外光谱区辐射情况进行动态分析。系统可获得瞬变光源点燃过程当中各时刻的光谱辐照度、给定波段的辐照度及其随时间的变化、峰值波长随时间的变化。系统测试软件采... 介绍了一种光谱辐照度动态测量系统 ,它适用于对曳光管等瞬变光源的近红外光谱区辐射情况进行动态分析。系统可获得瞬变光源点燃过程当中各时刻的光谱辐照度、给定波段的辐照度及其随时间的变化、峰值波长随时间的变化。系统测试软件采用下拉菜单 ,操作非常简便。 展开更多

关键词 瞬变光原 红外辐射 光谱辐照度 实时测试系统

在线阅读 下载PDF 职称材料

面向注射成型工艺的多信号实时测试系统 被引量：4

7

作者 郭志英 阮雪榆 李德群 《计算机测量与控制》 CSCD 2003年第6期401-402,411,共3页

介绍了测试系统的设计原理、测量方法与关键环节 ,利用温度 -压力双功能传感器测量注射成型过程中高速变化的压力、温度信号 ,并采用所开发的测试软件采集、显示实时变化的多路信号。该系统实现了注射成型过程的多信号自动、实时测试 ,... 介绍了测试系统的设计原理、测量方法与关键环节 ,利用温度 -压力双功能传感器测量注射成型过程中高速变化的压力、温度信号 ,并采用所开发的测试软件采集、显示实时变化的多路信号。该系统实现了注射成型过程的多信号自动、实时测试 ,并能通过计算机对数据进行处理与分析。 展开更多

关键词 塑料加工 注射成型工艺 多信号实时测试系统 A/D转换器 计算机

在线阅读 下载PDF 职称材料

野外次声信号实时测试分析系统的研制 被引量：1

8

作者 易南 刘军虎 +3 位作者 陈景藻 李玲 牟翔 贾克勇 《医疗卫生装备》 CAS 2001年第6期15-16,共2页

野外次声信号实时测试分析系统实时采集野外环境下超低频信号(20Hz以下,次声范围)通过计算机的分析、处理,以可视化方式显示出声波的频率和强度,并直观显示结果图形,自动生成曲线,打印最终结果。

关键词 环境次声测试 野外 次声信号实时测试分析系统 研制

在线阅读 下载PDF 职称材料

人体失衡性实时测试系统研究 被引量：1

9

作者 张殿业 戴明森 金键 《中国医疗器械杂志》 CAS 2000年第4期191-193,共3页

采用测试平台及计算机系统建立了人体失衡性实时测试系统 ,通过失衡性指数提出评价体系。对不同年龄组 4 0名受试者进行失衡性动态检测。测试状态包括 :睁眼状态、闭眼状态、平台倾斜 10度、平台倾斜 2 0度、平台倾斜 30度、横向视跟踪... 采用测试平台及计算机系统建立了人体失衡性实时测试系统 ,通过失衡性指数提出评价体系。对不同年龄组 4 0名受试者进行失衡性动态检测。测试状态包括 :睁眼状态、闭眼状态、平台倾斜 10度、平台倾斜 2 0度、平台倾斜 30度、横向视跟踪、纵向视跟踪、矢向视跟踪。结果表明 展开更多

关键词 人体失衡性 实时测试系统 研究

在线阅读 下载PDF 职称材料

多功能学习反应信息实时测试系统设计 被引量：1

10

作者 叶惠文 王咸伟 《华南师范大学学报（自然科学版）》 CAS 1994年第3期103-116,共14页

本系统利用ＰＣ微机为系统主处理机，采用８０３１单片机组成一学习反应信息实时数据采集的主从分布式通信网，将测试过程采集的数据用串行方式送至单片机通信网的主服务机，然后主服务机用并行方式将采集的数据送主处理机进行实时处理... 本系统利用ＰＣ微机为系统主处理机，采用８０３１单片机组成一学习反应信息实时数据采集的主从分布式通信网，将测试过程采集的数据用串行方式送至单片机通信网的主服务机，然后主服务机用并行方式将采集的数据送主处理机进行实时处理。文中给出了系统同步、异步测试应用软件的总体结构设计、硬软件支撑环境、关键性技术说明以及系统软件主要功能模块设计等，整套软件采用全字符型汉字操作系统． 展开更多

关键词 数据采集 学习反应信息 实时测试系统

在线阅读 下载PDF 职称材料

汽车制动检测试验台实时测试与分析系统 被引量：2

11

作者 蔡建余 孙仁云 《淮阴工学院学报》 CAS 2007年第3期74-77,共4页

汽车检测设备非常多,但是对汽车整车制动性能自动化检测比较全面的设备还很少。因此,我们设计了汽车四车轮测试分析系统。可以对汽车的制动性能比较全面的检测,使用非常方便,能进行不同轴距、不同重量汽车的制动性能检测,实现自动化、... 汽车检测设备非常多,但是对汽车整车制动性能自动化检测比较全面的设备还很少。因此,我们设计了汽车四车轮测试分析系统。可以对汽车的制动性能比较全面的检测,使用非常方便,能进行不同轴距、不同重量汽车的制动性能检测,实现自动化、快速、准确地实时检测、数据处理与数据分析、检测结果输出。该实时测试与分析系统具有自动化、快速、准确、界面美观、清晰、操作方便、设计合理、实用性强等特点,可以进一步推广应用。 展开更多

关键词 汽车制动 试验台 ABS/SBC 实时测试分析系统

在线阅读 下载PDF 职称材料

基于微机数字仿真的实时闭环测试系统 被引量：7

12

作者 郑三立 黄梅殷 +3 位作者 胡明亮 李娜 孙刚 阴宏民 《华北电力技术》 CAS 北大核心 2004年第6期21-24,共4页

对基于微机数字仿真的实时闭环测试系统 ( DDRTS)进行了介绍。 DDRTS集系统仿真和实时测试功能于一体 ,利用实时数字仿真技术 ,可对实际装置进行全面、完整。

关键词 电力系统 微机 数字仿真 实时闭环测试系统 继电保护 数学模型

在线阅读 下载PDF 职称材料

实时光电测试系统的研究 被引量：3

13

作者 赵文杰 《兰州铁道学院学报》 2003年第6期55-58,共4页

光学信息的数字化使得近代光学测试技术在计量测试领域中显示出其高灵敏度、高效率、自动化的特征.介绍了一种实时光电测试系统以及部分实例,对测量目标的不同物理量,用近代光学方法转换为光学信息,由图像(数据)采集系统采集并进入计算... 光学信息的数字化使得近代光学测试技术在计量测试领域中显示出其高灵敏度、高效率、自动化的特征.介绍了一种实时光电测试系统以及部分实例,对测量目标的不同物理量,用近代光学方法转换为光学信息,由图像(数据)采集系统采集并进入计算机,配以相应的软件可对流场、温度场、应力场、散斑场进行实时测量.使得计算机将采集到的光学量转换为相应的物理量,建立方程式进行运算成为可能,由此可消除传统的目视法、照相法带来的低效率、抗干扰能力低、系统误差大等影响. 展开更多

关键词 实时光电测试系统 图像采集 流场 温度场 应力场 散斑场

在线阅读 下载PDF 职称材料

洋马联合收割机微机实时测试系统的研究

14

作者 张金龙 赵芙生 《农机化研究》 北大核心 2005年第3期146-148,共3页

农业机械在使用的过程中,由于工作环境、使用者的操作技术的熟练程度,以及机械本身抗病疲劳和易损性能,均导致其技术性能的变化。为此,设计了洋马联合收割机微机实时测试系统,以工业控制计算机为核心,采用光电耦合非接触式信号传输技术... 农业机械在使用的过程中,由于工作环境、使用者的操作技术的熟练程度,以及机械本身抗病疲劳和易损性能,均导致其技术性能的变化。为此,设计了洋马联合收割机微机实时测试系统,以工业控制计算机为核心,采用光电耦合非接触式信号传输技术,可实时采集联合收割机的转矩、转速、油压、温度、速度等参数。系统采用神经网络技术,通过对采集数据的处理分析,可有效诊断收割机的性能故障。 展开更多

关键词 洋马联合收割机 微机实时测试系统 神经网络技术 光电耦合非接触式信号传输技术

在线阅读 下载PDF 职称材料

气波制冷机实时压力测试系统的开发

15

作者 刘学武 陈淑花 《制冷》 2003年第1期46-49,共4页

本文设计并开发了一套微机测试系统 ,实现了对气波制冷机接受管中瞬间变化的压力数值的实时测量 ,真实地反映了压力值 ,同时排除了现场的一些干扰信号 。

关键词 气波制冷机 实时压力测试系统 激波能量 压力变化

在线阅读 下载PDF 职称材料

磁电机实时测试系统 被引量：1

16

作者 李旭辉 肖沙里 吴占民 《自动化与仪器仪表》 2002年第4期41-43,共3页

常规的摩托车磁电机参数测量方法是用交流电流、电压表及示波器等仪表进行测量 ,再从表上进行读数并记录。本文指出现有测量方法的问题 ,探讨了真有效值原理 ,并在此基础上开发了一套磁电机实时测试系统。

关键词 磁电机 实时测试系统 真有效值 摩托车

在线阅读 下载PDF 职称材料

应用LabVIEWRT开发实时测试系统 被引量：3

17

作者 李雯 肖凯 《微计算机信息》 2003年第8期42-42,60,共2页

LabVIEW是一种优秀的图形化编程语言,而LabVIEWRT是它面向实时应用的扩展。本文剖析了LabVIEWRT硬件和软件体系结构,介绍主机LabVIEW程序与RT嵌入程序通讯的两种方法,提出LabVIEWRT应用程序的开发流程。

关键词 实时测试系统 虚拟仪器 数据采集 图形化编程语言 LABVIEW RT引擎

在线阅读 下载PDF 职称材料

基于LabVIEW的USB多通道数采卡实时测试系统开发 被引量：2

18

作者 刘晓明 《仪器仪表标准化与计量》 2005年第6期19-20,32,共3页

简要介绍USB(通用串行总线:Universal SerialBus)接口技术以及LabVIEW语言在当前测控测量技术中的应用,重点阐述了以LabVIEW为开发平台,为USB接口的数据采集卡开发实时测试系统,并指出通过将USB接口技术与LabVIEW开发平台相结合,可以缩... 简要介绍USB(通用串行总线:Universal SerialBus)接口技术以及LabVIEW语言在当前测控测量技术中的应用,重点阐述了以LabVIEW为开发平台,为USB接口的数据采集卡开发实时测试系统,并指出通过将USB接口技术与LabVIEW开发平台相结合,可以缩短开发周期,提高开发效率以及软件系统的高效性和稳定性。 展开更多

关键词 USB总线 LABVIEW 实时测试系统

在线阅读 下载PDF 职称材料

基于Lab Windows/CVI5.0.1开发的远程实时测试系统

19

作者 厉红 胡旭东 《测控技术》 CSCD 2002年第12期47-49,共3页

介绍了基于LabWindows/CVI5 .0 .1开发的远程实时测试系统的设计方法 ,包括系统的构架及实现系统功能的技术方案 。

关键词 LABWINDOWS CVI5.0.1 远程实时测试系统 软件开发 三层结构 动态链接库 计算机

在线阅读 下载PDF 职称材料

分布式高速强实时弹载计算机测试系统研究

20

作者 周志宏 兰宏炜 叶凌云 《电子科学技术》 2014年第1期31-35,共5页

根据弹载计算机具有专用、高速、强实时等特点,通过自行构建一种高性能的测试系统,来获取全面、充分、可信度高的系统测试数据。本文介绍了测试系统的功能、组成、测试流程、实现方法等。测试系统在工程实际中的应用,验证了该系统的可... 根据弹载计算机具有专用、高速、强实时等特点,通过自行构建一种高性能的测试系统,来获取全面、充分、可信度高的系统测试数据。本文介绍了测试系统的功能、组成、测试流程、实现方法等。测试系统在工程实际中的应用,验证了该系统的可行性。 展开更多

关键词 分布式高速实时测试系统 弹载计算机

在线阅读 下载PDF 职称材料