一种工业热电阻检定系统的设计

为实现对工业热电阻的自动检定,提高检定工作效率及量值传递的准确性,设计了一种工业热电阻自动检定系统。根据热电阻检定工作原理和实现自动检定的思想,论述了系统的硬件结构组成和检定系统操作步骤。系统采用测温电桥与低电势扫描开关配合,在工业三线铂电阻的检定中,可以实现二线接法和三线接法的自动转换。系统操作软件以VB作为开发平台,实现自动控温、采集数据和输出word报表等。实际使用表明,系统设计结构合理,软件操作方便,量值传递准确可靠。     

HP8902A自动检定系统的研制

介绍了以HP8902A测量接收机为主构成信号源、调制测量仪等仪器的自动检定系统，详细讲述了该系统的构成和软件的实现。     

基于GPIB的示波器校准仪自动化检定系统的设计与实现

介绍了一种基于GPIB总线的示波器校准仪自动检定系统。通过GPIB总线接口将所有测试仪器与PC机连成一体,实现了对示波器校准仪的全自动检定。通过实验验证,与传统的手动检定相比,该系统大幅度地提高了示波器校准仪检定系统的检定精度和检定效率,具有广阔的应用前景。     

通用电学参数自动校准系统接口研制

为了提高日常检定工作的工作效率,介绍一种基于LabVIEW平台下,以为接口的电学参数自动检定系统的组成、仪器控制方式及系统的特点。     

基于图像智能识别技术的拉力计自动检定系统

采用标准力值传感器、丝杆升降机及挂架结构取代砝码下挂方式,构成拉力计自动检定系统。采用步进电机驱动螺旋升降机丝杆解决了加载机构自动力值加载问题。系统自动采集标准传感器输出力值数据。采用摄像设备实时拍摄拉力计游标移动位置图片,上传到计算机,采用Hopfield神经网络智能识别软件进行识别处理,获得游标位移的数字信息,转化为测力计读数信息,由此构成拉力计自动检定系统,从而提高检定自动化水平和工作效率。     

数字多用表自动检定系统设计

数字多用表型号多、功能多、检定项目多,每项具有多个量程,且各量程准确度不一,同一量程在不同检定点其技术指标也不尽相同,采用传统手动检定耗时耗力、误差大、错误几率高、工作效率低.在VEE Pro软件开发平台上,设计开发出一套数字多用表自动检定系统.该系统包括仪器信息记录、带接口数字多用表检定、不带接口数字多用表检定及打印输出四个模块,测试过程采用实时测试显示,自动进行数据处理并存档.使用结果表明:该系统操作简便,提高了工作效率及准确度,减小了人为误差,确保了测试数据准确可靠.     

示波器自动检定系统的设计

介绍示波器自动检定系统的组成及原理框图,系统软件设计及特点。     

基于VB6．0数据库下的示波器自动检定系统实现

以9500示波器自动检定系统为例,介绍了在VB6.0开发环境下,引用其强大的数据库功能。通过建立9500程控代码数据库、仪器登记数据库、检定参数设置信息库、检定结果信息库,实现了各库之间的数据访问和存储,达到了对各种示波器的半自动和全自动检定。并将部分代码加以介绍,可以直接在其它自动测试中应用,因此具有广泛的应用和借鉴价值。     

WPZ—84微机控制多台频率标准源自动检定系统

简要介绍用国产DJS-033微型机(与AppleⅡ兼容)为控制机研制的WPZ-84微机控制多台频率标准源自动检定系统的性能、工作原理、系统硬件和软件。指出AppleⅡ兼容柳在WFK-84辅助设备支持下还可开发各种类型的自动控制和自动测量(检测、监测)系统。具有较高的性能价格比。WPZ-84系统实现对铷频标、高稳晶振、计数器晶振各项指标检定的全自动化,可同时检定40台仪器,减少了劳动强度,提高了工作效率和经济效益。     

热工智能检定系统

介绍了一种热工智能检定系统，以ＩＢＭ—ＰＣ微机为主控，高准确度数字电压表为测量手段，能够对工业热电偶进行全自动检定，能够对二次温度仪表进行半自动检定，自动进行数据处理，并打印输出符合检定规程的报表。     

直流电阻仪器自动检测系统

介绍了直流电阻仪器自动检测系统的组成、测量原理和检定方法以及系统实现的功能和特点 ,并进行了测量不确定度评定     

计量测试软件验证方法研究

在分析计量测试软件的软件测评与计量验证区别的基础上,应用软件测试的基本原理,提出了计量测试软件的计量验证方法。应用提出的方法对铂、铜热电阻自动检定软件系统进行了计量验证,并对存在的问题进行了讨论。     

热管式表面温度计检定装置

叙述一种热管式表面温度计检定装置的原理、结构。该装置可用于航天领域在实验室条件下对表面温度计的检定。     

单片机控制的线纹尺测量系统

介绍了一个由８０３１单片机控制的线纹尺测量系统。该系统利用激光比长仪的机械部分和光路系统，以８０３１单片机为下位机，用其控制自动检测并且计数脉冲，以８０２８６ＰＣ机为上位机，用其进行数据处理并直接打印出检定证书。     

基于扩展Petri网的除冰软件安全需求建模和验证

Petri网是形式化的系统建模方法,以严格的数学基础来保证系统的正确构建,但在支持复杂软件建模和自动化验证方面存在不足.扩展了Petri网的形式语义,区别定义了状态型和数值型库所,区别定义了变迁的激发和抑制状态,引入了无前置、一元和组合判断规则,同时根据形式化定义将模型自动转换为检验程序实施安全性验证.最后给出了以上方法在典型安全关键软件-除冰系统上的应用,过程和结果表明扩展的模型和方法增强了Petri网对复杂软件系统的建模能力,提高了软件的安全性,从模型到验证代码的自动转换解决了完善模型时人工修改相应代码的工作量和因此而引入人为错误的重复工作量的问题.