未来仪器测试总线技术-LXI

随着以太网、标准PC和软件技术的成熟和在测试行业中的广泛使用、IEEE1588网络同步标准的实施、网络接口的标准化普及,适用于自动测试系统的基于以太网技术的新一代模块化仪器平台标准-LXI将成为未来测试自动化总线技术标准.回顾了测量仪器总线的历史,对LXI总和VXI、PXI进行了比较,给出了LXI总线的特点和优势,并对LXI总线的同步和触发进行了详细地介绍,最后分析了LXI面临的一些问题,展望了LXI总线的应用前景.     

VXI总线及其在航空测试中的应用

介绍了ＶＸＩｂｕｓ技术及其发展概况，并对其在航空测试领域中应用的可行性及测试系统的构成进行了综述。     

电子测试仪器的发展趋势

论述了几种典型的测量仪器接口总线,分析了它们的主要特点及与计算机总线的联系,并综述测量仪器与计算机进一步紧密结合,形成新一代自动测试系统这一必然的发展趋势。     

"VXI总线测试平台”仪器驱动器设计与实现

提出了一种设计VXI总线仪器驱动器的通用环境VIDDE的方法。该环境以Microsoft Windows为操作平台,利用VisualC 及Microsoft Access 为主要编程工具,完成了仪器驱动器操作接口、编程接口和I／O接口的生成,对实现自主版权的VXI软件测试平台具有重要参考价值。     

利用Visual Basic实现VXI总线测试系统中的仪器控制

本文讨论了一种采用ＶｉｓｕａｌＢａｓｉｃ编程语言设计ＶＸＩ总线测试系统中的仪器驱动程序的实现方法，此方法直接利用ＶＸＩ模块仪器驱动程序提供的编程接口控制仪器，编程难度小，仪器控制实现方便，可以以此为基础设计用户的仪器驱动器。     

基于LXI仪器总线的分布式测试系统

LXI仪器总线是继GPIB、VXI、PXI仪器总线之后的、新一代基于以太网络LAN的总线技术,适用于自动测试系统的模块化仪器平台标准;文章在论述仪器总线发展、LXI总线系统结构和主要特点的基础上,给出了一种基于LXI仪器总线的分布式测试系统的系统总体结构,并对网络消息触发,IEEE1588时钟同步触发和LXI触发总线三种不同的同步测试策略进行了比较和分析,可以根据测试对象的远近、分散程度进行合适选择.     

惯性仪器通用测试技术应用研究

为了解决惯性仪器测试中存在的效率低、重复劳动多、设备通用性及互换性差的问题,提出一种通用测试的理念和方法.采用VXI总线技术,结合通用信号转接技术和测试程序自动生成技术组建了一套通用测试系统.该系统可以解决大多数飞行器中惯性仪器的测试问题,通过有针对性地扩展可用于其它单元测试或用于综合测试.     

合成仪器及其在航电测试中的应用实例

首先介绍了合成仪器(SI)的概念、发展概况,以及SI在国外航空电子测试中的应用情况.其次,对SI体系结构的发展进行了介绍,并通过对SI体系结构的深入剖析及与传统仪器的比较分析,得出了SI的优势.最后,用实例展示SI在航空电子测试中的应用,并展望了SI的良好发展前景.     

PXI总线技术在超声检测仪器中的应用

超声检测仪器是中厚钢板超声自动检测系统的核心单元,应用PXI总线技术可以提高超声检测仪器的集成度和运行可靠性.可以给企业带来巨大的经济效益.本文简要介绍了PXI总线技术的体系结构,给出了应用PXI总线技术的多通道超声检测仪器的实现方案,详细阐述了PXI总线技术面向仪器领域的特性在超声检测仪器中的应用.实际应用表明PXI总线技术具有开放性、模块化和高性能的特点,在超声检测仪器中应用该技术可以满足企业需要,该技术在无损检测领域的发展具有重要的现实意义.     

测试性技术在VXI总线雷达自动测试中的应用

本文重点讨论测试性对自动测试系统的影响，叙述测试性技术在ＶＸＩ总线雷达自动测试中的应用，最后阐述ＶＸＩ总线雷达自动测试系统的主要特点。     

Verifying the IEEE 1394 FireWire Tree Identify Protocol with SMV

This case study contains a formal verification of the IEEE 1394 FireWire tree identify protocol. Crucial properties of finite models of the protocol have been validated with state-of-the-art symbolic model checkers. Various optimisation techniques were applied to verify concrete and generic configurations. Received September 2001/Accepted in revised form September 2001 Correspondence and offprint requests to: Viktor Schuppan, Computer Systems Institute, ETH Zurich, 8092 Zurich, Switzerland. Email: Viktor.Schuppan@inf.ethz.ch     

Probabilistic Model Checking of Deadline Properties in the IEEE 1394 FireWire Root Contention Protocol

The interplay of real time and probability is crucial to the correctness of the IEEE 1394 FireWire root contention protocol. We present a formal verification of the protocol using probabilistic model checking. Rather than analyse the functional aspects of the protocol, by asking such questions as ‘Will a leader be elected?’, we focus on the protocol's performance, by asking the question ‘How certain are we that a leader will be elected sufficiently quickly?’ Probabilistic timed automata are used to formally model and verify the protocol against properties which require that a leader is elected before a deadline with a certain probability. We use techniques such as abstraction, reachability analysis and integer-time semantics to aid the model-checking process, and the efficacy of these techniques is compared. Received July 2001/Accepted in revised form November 2002 Correspondence and offprint requests to: Marta Kwiatkowska, School of Computer Science, University of Birmingham, Birmingham B15 2TT, UK. Email: M.Z.Kwiatkowska@cs.bham.ac.uk     

嵌入式计算机系统在智能仪器中的应用

总结多种嵌入式计算机实用系统设计,依据经济、实用、快速的开发原则,设计出一种适用于智能仪器的嵌入式计算机系统,可供施工智能仪器开发的声合借鉴或直接使用。     

嵌入软件的计量器具防弊系统研究

针对目前我国有不法分子为了获取非法利益,将电子计量器具改变内部芯片代码进行作弊,提出了一种基于嵌入式软件的防作弊系统,以保证质检人员对作弊器具的有效检测.首次以嵌入式软件质量测评系统为基础,在审批计量器具之前提取其软件内部特征信息作为数字指纹并保存,在质检人员检测计量器具时,提取待检测器具的内部芯片程序信息并生成数字指纹,通过将生成的数字指纹与之前保存的数字指纹进行比较,就可以准确实现作弊计量器具的成功检测.实验结果表明,嵌入软件检测系统能够准确将作弊计量器具检测出来,具有一定的使用价值.     

基于图像传感器的医疗仪器尺寸测量系统

本文建立了基于图像传感器的医疗仪器零件尺寸测量系统开发,给出了系统的硬件框图,详细阐述了各部分的设计及器件选择.该系统以面阵CCD图像传感器为图像获取装置,使用FPGA为采集控制器,采用DSP为核心处理器,配合计算机及相应的硬件接口,组成图像测量系统的硬件结构.     

点阵式LCD液晶显示模块及其在智能仪表中的应用

介绍点阵式LCD液晶显示模块的基本原理及DMC161C的技术特征,给出智能仪表中DMC161C与8098单片机的接口电路及显示软件设计方法。     

测量仪表极值的测量特性

任何一台仪表都有其固定的测量范围 ,因而也就具有 2个极值 :极大显示值和极小显示值 ,即Ａｍａｘ和Ａｍｉｎ。这两个显示值 ,也可称为测量边界值。众所周知 ,任何一台仪表在实施测量过程中 ,所得测量结果中消除系统误差和粗大误差后 ,必然还存在随机误差。对一个被测量Ｂ进行多次测量时 ,具有一定准确度的测量仪表的每次显示值 ,肯定不会相同 ,而是围绕被测量Ｂ的真值出现或大或小的量值。这种现象就是随机误差的正态分布。如果这些测量显示值Ａｉ的分布区域的半宽为ｂ ,则任何一次测量所得量值必然落在Ｂ±ｂ范围内。如果不知道Ｂ的真值 ,…     

基于虚拟仪器的瓷砖平整度自动检测系统

为实现瓷砖表面平整度误差的自动检测和产品质量的自动分级,探讨了瓷砖表面平整度检测的原理和方法.将虚拟仪器技术应用于瓷砖表面平整度的自动检测研究,以非接触式光纤位移传感器、数据采集卡、PC机作为硬件配置,以LabVIEW作为软件开发平台,设计了瓷砖表面平整度自动检测系统.实际应用表明,该系统可以自动检测瓷砖表面平整度,并对产品进行分级,适合于实际生产过程的质量控制.     

基于区域生长的指针式仪表自动识别方法

针对复杂多指针式仪表的读数自动识别难度大精度低的问题,提出了一种基于区域生长的指针式仪表自动识别方法。算法主要由基于区域生长的指针提取算法和基于 Hit-Miss 变换法击中直线或基于最小二乘法拟合直线的指针识别算法所组成。其中,区域生长所需的种子点通过基于差影法的模糊聚类自动选取。实验表明,基于区域生长的指针提取算法有效提取了指针特征,为 Hit-Miss 变换法和最小二乘法获得良好的指针识别精度奠定了重要基础。整个算法高效快速,能满足实时识别的应用需求。本文首次提出将基于区域生长的图像分割算法运用于指针式仪表识别领域中,丰富了指针式仪表识别的应用方法,获得了良好的识别效果。     

一种任意曲线长度的测量方法及其应用

在进行作物形态测量的研究中对叶片长度的测量要求较高的测量精度。而有关长度测量的算法较少,其中较为常用的是利用链码来进行曲线长度的测量算法,该算法要求对图像上的玉米叶子进行预处理之后,才能进行对叶片长度的测量,然而由于细化操作的误差和链码描述曲线的误差,无法满足对任意叶片长度的测量精度要求。基于以上需求,提出了一种利用抛物样条曲线和数值积分进行任意曲线长度测量的算法,该算法可以直接对图像上的玉米叶片进行长度测量,而测量之前无需对图像进行任何预处理,避免了细化操作和链码描述导致的误差,其测量精度满足了该项目的要求。经实验该算法的平均测量相对误差可以控制在1%以内。由于该算法理论上基于数学,所以具有较高的可靠性,可应用于对测量速度要求不高,而对测量精度要求较高,测量结果稳定性要求较好的其它项目之中。