工业热电偶、热电阻自动检定装置

将传统的手动热电偶、热电阻检定装置改进为自动检定装置，实现了自动连续检定。     

智能自动测试系统在热电偶热电阻检定中的应用

本文介绍由IBM PC－286微机通过GP－IB接口板及专用接口与61／2位数字万用表构成的智能逢动测试系统，通过应用软件编程，实现了对热电偶和热电阻的自动检定。     

基于LXI的热电阻与热电偶信号故障注入器设计

为满足装备试验中的热电阻和热电偶信号自动故障注入的要求,设计了基于LXI的热电阻与热电偶信号故障注入器。通过将故障注入器串接入热电阻和热电偶信号传输线路,模拟多种热电阻和热电偶信号传输过程中的故障类型,实现对被测设备热电阻和热电偶信号的仿真。该故障注入器已应用于多类型装备的测试性验证试验中,具有良好的推广价值和应用前景。     

基于虚拟仪器技术的热电偶在线自动检定系统的开发

根据热电偶的检定方法,结合虚拟仪器技术,开发了热电偶的自动检定系统。给出了装置的硬件和软件的设计,并重点介绍了如何实现采集后的实验数据的自动分析和处理。开发后的系统用于在线自动检定各种工作用的热电偶效果良好。     

单板机控制的高精度热电偶检定仪

本文介绍了一种由单板机控制的高精度热电偶检定仪，该装置采用了自行研制的全数字调温器来完成检定炉的温度自动控制，可在任意温度测定点上，由微机自动完成被检热电偶的检定，通过功能键的切换不以用来检定热电阻，以及做低量数字电压表，测量结果可在6位数码管上显示，并根据需要打印出结果。     

基于STM32的热电阻自动检定系统设计与实现

热电阻的检定工作十分复杂,人工采集和数据处理不仅劳动强度大、耗费时间,而且差错率高。设计并开发了一种基于STM32的多通道低电势扫描开关,并在此基础上利用.NET架构设计开发了工业热电阻自动检定系统,实现了自动采集和处理数据,自动生成原始记录和检定证书,对其他计量技术机构具有借鉴意义。     

基于虚拟仪器的热电偶自动计量检定系统

热电偶的检定是其使用过程中必不可少的工作环节。自动检定不仅工作效率高,而且可以提高检定准确度。虚拟仪器技术是计算机技术应用于仪器领域的最新成果,以虚拟仪器技术为基础,介绍了热电偶检定系统的新方法,使得热电偶的检定真正实现了自动化,同时,具有数字和图形显示方式,以及分析、打印和数据处理等多种功能,还阐述了系统的硬件结构和软件流程,并在实际应用中得到验证。     

热电偶模拟校验台的智能化改造

在分析了原有的WJT-2热电偶校验装置存在的不足后,对其进行了技术改造。在该装置的工作原理基础上,结合虚拟仪器的优点,基于虚拟仪器技术的LABVIEW开发平台实现了热电偶自动检定系统,改造后的系统取得良好的效果。     

工控软件在热电偶自动检定系统中的应用

针对现有热电偶检定系统的现状和不足，本文对典型检定系统的各环节加以改进，利用KingACT工业控制软件实现炉温的自动调节，并运用组态软件对检定过程进行组态，使检定过程更加直观、方便。     

热电偶自动检定系统

热电偶自动检定系统是专门用于各种标准和工业热电偶检定的装置。它是由计算机实施监控和数据处理的一套完整的自动化系统。本文从系统设计、软件编制及实验结果三方面逐渐深入讨论该系统的完整性及可靠性。     

异构环境下电子秘钥身份远程自动验证系统设计

电子秘钥数字证书身份信息远程验证的应用场景逐渐增多,而传统验证系统的自动化程度低,在验证效率和准确性方面也无法得到有效保证。为此提出基于PKI技术的电子秘钥身份远程自动验证系统,系统的硬件部分主要由于CA验证模块、RA验证模块、电子秘钥管理模块和数据存储管理模块等四个主要的功能模块构成,重点研究了CA模块内部的逻辑功能;给出了验证系统主程序的工作流程,并在现有加密算法中融入了二进制规则,通过设计电子秘钥,增加了系统的总体安全性。实验结果表明,提出自动验证系统在多并发用户同时验证条件下的系统响应时长优势明显,拥有更高的数字证书身份信息自动验证成功率。     

露点仪自动检定系统的开发与设计

基于机器视觉原理和参数自整定的模糊PID控制理论,设计开发了一种新型的露点仪自动检定系统,解决了传统的露点仪检定系统数据量多、误差大、露点温度检定点难以控制、工作效率低等问题。该系统采用模糊PID调节器实现露点发生器露点温度固定点的自动控制,通过机器视觉装置实现了标准露点仪和被检露点仪的数据的自动采集和处理;同时开发了上位机数据处理与管理系统软件,实现人机交互和数据管理,自动采集与处理、自动存储及检定判定,自动生成原始记录和证书等功能。测试结果验证表明,该系统运行可靠,检定精度能够达到要求。该系统采用模块化设计,具备良好的灵活性、可靠性和可扩展性,可根据实际检定需求进行修改或扩展,大大提高了露点仪检定的精确性和工作效率。     

Verification Approach of Metropolis Design Framework for Embedded Systems

In this paper, we focus on the verification approach of Metropolis, an integrated design framework for heterogeneous embedded systems. The verification approach is based on the formal properties specified in Linear Temporal Logic (LTL) or Logic of Constraints (LOC). Designs may be refined due to synthesis or be abstracted for verification. An automatic abstraction propagation algorithm is used to simplify the design for specific properties. A user-defined starting point may also be used with automatic propagation. Two main verification techniques are implemented in Metropolis the formal verification utilizing the model checker Spin and the simulation trace checking with automatic generated checkers. Translation algorithms from specification models to verification models, as well as algorithms of generated checkers are discussed. We use several case studies to demonstrate our approach for verification of system level designs at multiple levels of abstraction.     

多路系统Cache一致性验证中的错误追踪定位技术

以某国产多路系统的验证为例,基于事务级验证TBV技术,提出并实现了一种可以应用于模拟验证的自动错误追踪定位技术,通过在验证环境中对处理器的特定功能流程、相关各种请求响应、访存地址和数据流等信息进行事务级建模,记录并生成了验证环境运行产生的事务级信息库,基于上述信息实现了错误的自动追踪定位,显著缩短了错误定位时间,提升了多路系统模拟验证的查错效率。同时,基于事务级的模型,也使得验证人员可以在比设计部件更高的层次描述复杂流程的Cache一致性覆盖点,这种事务级维度的覆盖率描述弥补了原有代码覆盖率和功能覆盖率局限于模块和部件级的不足,是对全面性和充分性验证的有益补充。     

基于PXI总线的瞄准设备检定系统

基于PXI总线和虚拟仪器的设计思想,设计并实现了一种新型的导弹瞄准电子设备虚拟计量检定系统。解决了现有导弹瞄准设备检定系统存在的自动化程度低、设备功能单一、体积庞大、操作复杂等问题。该系统实现了导弹瞄准设备的自动化检定,缩短了检定时间,对导弹精确发射具有重大意义。     

基于典型集成电路的自动测试演示验证研究

当前国产超大规模集成电路测试设备由于技术指标、工作可靠性、制造成本等诸多因素,在国内尚未得到大规模的市场应用;从集成电路的测试需求出发,给出了自研超大规模集成电路测试系统的总体架构组成,重点开展了基于典型集成电路的自动测试演示验证方法研究,并以国产某型超大规模静态存储器芯片作为演示验证的对象,利用自研测试系统完成了基于静态存储器芯片的自动测试演示验证试验;试验结果表明基于典型集成电路的自动测试演示验证方法和过程合理可行,能够为国产新研超大规模集成电路测试系统推广前的自动测试演示验证提供参考,同时可结合不同类型集成电路的测试需求深入应用到各类集成电路的测试过程。     

On-line fingerprint verification

Fingerprint verification is one of the most reliable personal identification methods. However, manual fingerprint verification is incapable of meeting today's increasing performance requirements. An automatic fingerprint identification system (AFIS) is needed. This paper describes the design and implementation of an online fingerprint verification system which operates in two stages: minutia extraction and minutia matching. An improved version of the minutia extraction algorithm proposed by Ratha et al. (1995), which is much faster and more reliable, is implemented for extracting features from an input fingerprint image captured with an online inkless scanner. For minutia matching, an alignment-based elastic matching algorithm has been developed. This algorithm is capable of finding the correspondences between minutiae in the input image and the stored template without resorting to exhaustive search and has the ability of adaptively compensating for the nonlinear deformations and inexact pose transformations between fingerprints. The system has been tested on two sets of fingerprint images captured with inkless scanners. The verification accuracy is found to be acceptable. Typically, a complete fingerprint verification procedure takes, on an average, about eight seconds on a SPARC 20 workstation. These experimental results show that our system meets the response time requirements of online verification with high accuracy     

机动车轴重测量设备的自动检定与管理系统

在机动车轴重测量设备的检定中,为了提高检测的准确性和效率,采用计算机和虚拟仪器开发了机动车轴重自动检定系统.设计了可以模拟轴重标准信号的自动加压装置,完成了称重传感器数据的自动采集和数据管理等功能.结果表明该系统能准确高效地测量机动车轴重数据,实现了测量设备的自动检定.     

基于LabVIEW的数字式气压计自动检定系统

气压是地面气象观测中的重要观测要素,现阶段气压计主要依赖人工检定,劳动强度大、效率较低且易出现失误；为此提出一种数字式气压计自动检定系统,以实现PTB220和PTB210系列数字式气压计的自动检定。系统依据JJG 1084-2013 《数字式气压计检定规程》设计,主要包括CPC6000型精密压力控制器、745-16B型高精度实验室标准表、多串口扩展卡以及计算机等。论文介绍了系统设计方案,基于LabVIEW开发了自动检定程序,包括压力控制、数据采集、数据处理、报表生成以及传感器调整等模块,并进行了检定实验。结果表明,系统可显著提高检定工作效率,经调整后的气压计测量误差符合要求。     

Speaker verification in score-ageing-quality classification space

A challenge in automatic speaker verification is to create a system that is robust to the effects of vocal ageing. To observe the ageing effect, a speaker's voice must be analysed over a period of time, over which, variation in the quality of the voice samples is likely to be encountered. Thus, in dealing with the ageing problem, the related issue of quality must also be addressed. We present a solution to speaker verification across ageing by using a stacked classifier framework to combine ageing and quality information with the scores of a baseline classifier. In tandem, the Trinity College Dublin Speaker Ageing database of 18 speakers, each covering a 30–60 year time range, is presented. An evaluation of a baseline Gaussian Mixture Model–Universal Background Model (GMM–UBM) system using this database demonstrates a progressive degradation in genuine speaker verification scores as ageing progresses. Consequently, applying a conventional threshold, determined using scores at the time of enrolment, results in poor long-term performance. The influence of quality on verification scores is investigated via a number of quality measures. Alongside established signal-based measures, a new model-based measure, Wnorm, is proposed, and its utility is demonstrated on the CSLU database. Combining ageing information with quality measures and the scores from the GMM–UBM system, a verification decision boundary is created in score-ageing-quality space. The best performance is achieved by using scores and ageing in conjunction with the new Wnorm quality measure, reducing verification error by 45% relative to the baseline. This work represents the first comprehensive analysis of speaker verification on a longitudinal speaker database and successfully addresses the associated variability from ageing and quality arte-facts.