基于C＋＋的电类仪表辅助检定系统设计

介绍了一种基于C＋＋的辅助检定系统设计方法,采用模块化的设计方法与对象化的思维方式,进行软件设计,系统具备检定操作、数据记录、证书打印、计量器具管理等功能,并采用了虚拟仪器的设计理念,所有工作可在计算机端完成,大幅提高了检定工作的作业效率,设计方法通用性强,具有良好的推广应用前景。     

基于模糊控制的流速仪检定车调速系统设计

为了提高流速仪检定车调速系统的调速精度,加快调速系统的响应速度,设计一种基于模糊控制的流速仪检定车调速系统,介绍流速仪检定系统的工作原理,并分析常用的双闭环直流调速方法存在的超调大、响应慢等缺点。结合模糊控制方法设计一种检定车调速方法,最后通过仿真及实验,验证所提出方法的有效性。     

Agilent 34401A数字多用表全自动检定系统设计

Agilent 34401A数字多用表在各类电参数的高精度测量中应用广泛,对其各项技术指标的定期检定与校准是必须的工作,以往采用人工检定的方法费时费力;为节省检定时间,提高计量效率,设计了一套针对34401A数字多用表的微机全自动检定系统,该系统利用NI USB-GPIB控制器控制5720A多功能校准源输出各类源信号检定34401A数字多用表,在LABVIEW2009开发环境下,应用高度封装的VISA库编程控制仪器响应GPIB总线上的各类检定命令。文章详细讲述了该检定系统的工作流程、硬件构成和软件设计技术,重点论述了系统软硬件联调过程中遇到的几类关键技术问题的解决方案;应用表明,利用文章介绍的相关技术,可简化检定软件编程,节省检定系统开发时间,也为同类仪器的全自动检定系统设计提供了相关借鉴。     

指针式压力表自动检定系统的设计与实现

设计并开发了一种指针式压力表自动检定系统。该系统包括压力表检定／校准管理系统和仪表示值自动判读系统两部分。系统的可视化界面使得操作非常简单,操作人员只需输入量程、精度等必要参数,压力表的指针读数即可自动读出。给出的自动判读方法可用于各种指针式仪表精度的自动检测、判读,其精度取决于图像的分辨率和限定的处理时间。本系统可较大地改善压力表人工检定工作的落后状况,在一定程度上提高了检定工作的自动化水平和检定结果的稳定性。     

基于LabVIEW的砝码自动检定系统设计与实现

针对目前砝码检定工作操作过程复杂、检定效率低等问题,设计了一种基于LabVIEW的砝码自动检定系统;在符合砝码检定规程的情况下,系统实现了检定数据实时采集、数据处理、生成原始记录、管理标准器、查询历史数据和衡器控制等功能;相对现有的砝码检定方法有操作简单、高效、程序移植性好等优点;系统由主控计算机、串口转无线扩展卡、多台衡器设备及相应的标准砝码装置组成;通过使用串口转Wi-Fi模块,系统可实现控制多台衡器设备的需求;实验结果证明,系统运行稳定可靠,采集数据准确,容易扩展,且大幅度减轻了检定人员的劳动强度,在计量检定工作中具有一定的实用和推广价值.     

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

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

基于LabVIEW面向对象编程的温度自动检定校准系统设计与实现

针对温度仪器自动检定校准和原有程序扩展升级需求,基于LabVIEW设计和开发了温度自动检定校准系统。系统由工控计算机、温度标准器、恒温槽和多串口卡等组成,实现了温度仪器设备的自动控制、数据采集、数据处理、数据显示、证书与记录自动生成等功能;采用面向对象的编程思路,设计了仪器装备类,对类属性和方法进行了定义,通过增加新的子类就能支持新仪器扩展,减少程序维护的难度,在可扩展性、代码重用性、健壮性等方面优势明显。应用结果表明系统运行平稳,扩展性好。系统能够减轻检定人员的工作强度,减少人为错误的发生,有效提高计量检定校准工作的效率和质量。     

一种工作用S型热电偶自动检定系统设计与应用

为了提高热电偶检定系统的检定时间和控温精度,基于LabVIEW设计了一种工作用S型热电偶的检定系统.以数据采集卡和可控硅为核心搭建了硬件系统,使用图形化编程语言LabVIEW开发了上位机软件,并对检定炉温度控制算法进行优化,人机界面友好、高效便捷.经过实验性投运,系统性能与检定企业出具结果一致,具有较高的实用价值.     

特种车辆计量检定系统的设计与应用

为确保特种车辆及保障设备的性能测试准确可信,确保装备始终处于良好技术状态,具备随时准确执行预定任务的能力;基于实际计量保障要求,分析了特种车辆综合计量检定系统(以下简称检定系统)设计要求;详细介绍了检定系统的资源选型,软、硬件平台设计,校准接口和应用软件的设计方案;经过试验证明,该系统测量精度达到了1‰,其设计符合特种车辆计量检定需求,为计量保障工作提供了很好的支持.     

声级计电性能自动检定系统的设计与实现

目前人们对噪声污染越来越重视,送检的声级计日益增多,传统的手动检定方式的效率已经很难应付,因此提出设计一款基于LabVIEW软件平台的声级计自动检定系统,以实现声级计的自动检定;系统依据JJG188-2017《声级计检定规程》设计,通过控制标准信号源(KeySight33520B)和程控精密衰减器生成标准检点信号传输到声级计电信号输入端,声级计响应以后将检定结果返回给系统,文章介绍了系统的设计方案;经过实验,系统可测量声级计频率范围10 Hz~20 kHz,声压级动态范围110 dB;在实际应用中能很好的完成仪器自动控制、数据采集、数据分析处理、检定原始数据记录报告生成等自动化检定工作,提高了声级计检定的工作效率、减少人为误差确保了检定结果的准确可靠。     

Program verification,defeasible reasoning,and two views of computer science

In this paper I attempt to cast the current program verification debate within a more general perspective on the methodologies and goals of computer science. I show, first, how any method involved in demonstrating the correctness of a physically executing computer program, whether by testing or formal verification, involves reasoning that is defeasible in nature. Then, through a delineation of the senses in which programs can be run as tests, I show that the activities of testing and formal verification do not necessarily share the same goals and thus do not always constitute alternatives. The testing of a program is not always intended to demonstrate a program's correctness. Testing may seek to accept or reject nonprograms including algorithms, specifications, and hypotheses regarding phenomena. The relationship between these kinds of testing and formal verification is couched in a more fundamental relationship between two views of computer science, one properly containing the other.     

一种新的网站用户登录验证方案

由于计算机网络的开放性导致其中存在许多的安全漏洞和安全威胁,网络中的各类资源很容易被人非法访问和下载。因此对网络资源访问者的合法身份进行验证就显得非常重要。对目前互联网上各种网站采用的“用户名＋用户密码＋图片验证”登录验证方式进行了分析,针对其存在的缺陷,提出了一种“用户名＋用户密码＋用户私钥＋图片验证”登录验证方案,并对其每一个子模块及特点进行了详细的论述。该方案增强了网站用户登录系统的安全性。     

基于支持向量机的计算机键盘用户身份验真

口令认证因为简便易实现而被大多数计算机系统所采用，但容易被盗用，存在着严重的安全隐患，而利用对用户的键入特性的识别，可以大大加强口令认证的可靠性，在对国内外众多学者所做工作研究的基础上，鉴于支持向量机在进行模式识别对所具有的优良性能，提出利用支持向量机进行键入特性验真，并通过实验将其与BP，RBF，PNN和LVQ四种神经网络模型进行比较，证实采用SVM进行键入特性验真的有效性，因而其具有广阔的应用前景。     

基于时态逻辑的硬件设计形式化验证技术——模型检验

通过对时态逻辑的研究来探讨时态逻辑在硬件设计形式化验证上的应用,同时对布尔函数在计算机内的表示二叉判定图（BDD）进行了进一步地分析,最后给出了一个时态逻辑对硬件设计进行验证的例子。     

自动控制技术在湿度自动化检定中的应用

论述自动控制技术在湿度传感器自动化检定中的应用。计算机通过RS-232、研华ADAM4021模块和ADAM4068模块控制湿度检定箱的加湿、干燥和稳定过程,达到检定规程所需的检定条件,再根据检定规程采集标准器和被检设备的数据,并自动控制检定点的切换,完成采样、计算、检定、打印报表及检定证书的全过程,实现整个检定过程的全程自动化。     

数字温度指示仪表远程自动检定系统设计

针对数字温度指示仪表检定效率低、人为误差大且难以溯源到更高等级标准的不足,提出一种基于Internet的远程自动检定系统.系统由设在计量实验室的远端上位机通过网络控制现场端运作,同时利用机器视觉技术采集被检仪表示数,再上传到上位机,并完成数据处理、分析.最终根据检定结果不确定度评定,给出被检仪器的检定结论,生成检定报告.系统可一次自动检定多台被检仪表,对提高数字温度指示仪表检定效率及实现溯源到更高等级标准具有参考价值.     

Privacy-preserving biometric verification with outsourced correlation filter computation

Multimedia Tools and Applications - In traditional biometric verification systems, personal computer stores biometric database and performs verification process. Because of limited storage,...     

压力表自动检定装置

利用PC机、PLC为主要硬件,组态王软件为开发平台,组成计算机控制系统,构建压力表自动检定装置。根据检定规程要求,由计算机控制造压系统,任意设置压力点,实现检定过程自动化。装置自动采集标准压力值,自动计算示值误差、回程变差、轻敲位移,与检定规程允许误差计算一览表比较,自动判定压力表的合格与否。实现可视的操作界面、保存检定数据、打印检定证书。     

基于抽象解释的Prolog程序验证技术研究

作为一种通用的语义近似理论,抽象解释已广泛应用于各类程序的形式化验证中.现有基于抽象解释的逻辑程序验证技术未涉及与程序点相关联的程序性质的验证,设计能够描述此类性质的逻辑程序具体语义和抽象语义是构造相应验证工具的关键.本文给出了一种基于抽象解释的Prolog程序验证方法,该方法采用了具有路径信息的Prolog语义及其抽象作为语义基础,因而可用于验证与程序点相关联的程序特性.本文例子表明了该验证方法的有效性.     

一种多项式时间复杂度的密码协议秘密性验证方法

密码协议的秘密性验证是网络安全领域的一个难题,本文在提出协议行为结构的基础上,通过对协议行为及其结构的分析,提出了一种新的密码协议的秘密性验证算法,该算法的时间复杂度是多项式时间的,从而简化了秘密性验证过程,文中最后,作为实例,给出了TMN密码协议的秘密性验证。