电子汽车衡检定问题的分析与研究

电子汽车衡又称地磅。电子汽车衡除了本身秤体质量合格外,其在安装、调试、接地、抗干扰等方面也会给计量准确性带来不可忽视的影响,电子汽车衡是用于贸易结算强制管理的工作计量器具,为了保证电子汽车衡的可靠性和计量准确性。本文笔者根据多年来从事衡器检修工作的经验,进行对电子汽车衡检定中常见问题分析与探讨,同时也希望得到同业人士的指正。     

电子汽车衡调试、检测砝码的研制

在电子汽车衡现场安装调试、检定中发现，目前只有一些大中城市或大型企业中才具有大质量砝码(量值为500kg及以上)。中小城市和中小企业大量使用的还是20kg或25kg的砝码(以下统称为小质量砝码)。在检定大秤量电子汽车衡时，     

试析电子汽车衡的检定与维护技术

电子汽车衡就是通常意义上的地磅,通过电子汽车衡能够对大宗货物进行质量称重,电子汽车衡的性能好坏直接影响检定的结果以及检定工作效率。为了能够提高电子汽车衡检定与维护的质量,笔者结合多年的工作经验,对电子汽车衡在检定过程中存在的问题进行深入的分析,并且提出了相应的解决措施。     

检定电子汽车衡时偏载调整方法浅析

随着我国经济的迅速发展,电子汽车衡作为企业现代化计量的得力助手,在贸易结算中应用越来越广泛,电子汽车衡偏载检定,在整个电子汽车衡测试中是最重要的一项测试,偏载检定中如果不能把电子衡器调整在一个良好的技术状态中,整个量值的正确性就不能得到保证。正确地使用和维护好电子汽车衡对确保衡器计量精度起着重要作用,是广大汽车衡用户的利益所在,本文阐述了检定电子汽车衡时偏载调整方法。     

电子汽车衡常见故障分析与处理

文章介绍了一台汽车衡模拟传感器出现问题的情形，并对传感器进行检测和更换，然后按规程检定该汽车衡。最后是检定数字化传感器汽车衡时遇到的一些常见故障以及对故障原因的分析。     

电子汽车衡检定分度数的分析

随着电子衡器业的不断发展。电子衡器在市场上的使用越来越广泛,其中各种地磅、汽车衡的使用也越来越多,而对衡器的要求也是越来越高,各种衡器的分辨率在不断提高,分度数也在增大,对于一些衡器制造企业来说,通常会对用户说我们做的秤最小分度值有多小,检定分度数有多大。秤的检定分度数很大,秤的精度、准确度却不一定就很高。本文就目前常用的汽车衡的分度值问题做一分析。     

检定汽车平顺性测试系统的一种方法

一些汽车平顺性的测试设备没有计量检定规范，因而检定平顺性测试系统的计量性能有一定难度．本文提出的系统试验检定方法首先对比两种测试系统的测试结果，进而计算出得值的不确定度．同时文章对汽车平顺性的评价指标表示方法提出了改进建议     

万能材料试验机检定中最大量程误差过大原因分析

在用万能材料试验机定期检定中大量的机型在常用工作范围内均合格,而大试验量程检定中误差超标。本文对这一现象进行了分析并提出改进意见。     

录井仪电导率传感器检定导线引入误差分析

针对综合录井仪电导率传感器检定数据特性,利用标准电阻箱对应的电阻值检定电导率传感器,对应于非线性曲线,在电阻值较小的检定点处导线的电阻值会引入较大的误差,导致检定结果远远不能反映真实性,为了消除导线电阻值带来的系统误差,经过分析电导率传感器的检定方法,基于三点共线运用导线电阻补偿法对测量数据进行修正,从而提高测量数据的可信度。通过综合录井仪电导率传感器与标准电导率测试仪的测量结果进行比较,验证了修正算法的有效性,测量结果修正后,大大降低了端点处测量误差,提高了测量精度,测试结果满足现场检定需求。     

时间检定仪自动检定及管理系统

针对目前时间检定仪的检定手段仍是手工测试,效率低,工作量大,而对于机械类秒表检定仪因缺少相应的机（磁）/电转换器而无法检定的问题,利用霍尔效应原理研制了磁/电转换器,利用VB语言编写了自动检定及管理软件,实现了对各种型号的时间检定仪的自动检定及信息管理。该系统提高了检定的自动化水平和工作效率,并解决了机械类秒表检定仪不能检定的问题。     

沈阳市乘用车城市道路工况试验研究

基于实验室台架测量的汽车工况研究方法由于受到场地、车型及台架测量范围等因素的影响,已不能很好地反映车辆实际应用时的行驶工况。车载测试方法是在实际行驶条件下采集车辆数据,并进一步进行处理分析,以获得更符合实际状况的车辆行驶工况的方法,该方法既不影响车辆的正常使用,又可避免在实验室测量时产生的一些问题。最后通过对最终构建的行驶工况的验证,证明了车载测试试验方法的合理性。     

CPU系统级验证平台的研究与实现

随着CPU设计尺寸和设计复杂度的不断增加，功能验证已经成为整个设计过程中的严重瓶颈，文章回顾了系统级验证的一些技术，针对我们设计的64位CPU系统级验证，设计了CPU系统级自动化验证平台．实用表明，该平台简化了验证流程，提高了验证效率．     

基于可达集的车辆躲避策略及安全性验证

针对目前传统算法在安全性验证中置信水平较低的问题,将自主车辆在道路上的行为视为混合系统,提出以道路边界为约束条件的安全区域可达集建模方法。在此基础上建立安全等级评判标准,给出自主车辆道路行为的哈密顿雅可比方程;提出自主车辆避障问题的最优控制方法。结果表明,该方法不仅可以应用于自动驾驶车辆的安全性验证,还能够对手动驾驶的危险行为进行预警和规避,增加了车辆安全性验证的置信度。     

操作系统形式化验证综述

介绍操作系统验证理论、语言和工具等技术基础,阐述验证路径、精化关系验证和大规模验证等新的验证方法和理念。比较分析多个操作系统验证项目研究内容、验证方法、主要贡献以及最新进展。分析操作系统验证过程中存在的问题,认为验证成本高、验证工具局限性是制约操作系统形式化验证的关键因素,随着验证工具、框架和定理库的完善,以及深度学习等新技术的应用,操作系统更多的安全性质能够被形式化验证。     

四轮轮毂电机电动车集成控制算法实车验证

为了实车验证四轮独立驱动轮毂电机电动车驱动转向集成控制算法,开发了线控转向四轮轮毂电机驱动实验车并进行了集成控制算法实车实验。介绍了线控转向四轮轮毂电机驱动实验车部件组成和控制系统结构。根据集成控制算法验证需要,对实验车进行了转向差速功能实验和四轮独立驱动功能实验;并对基于模型预测控制理论的驱动转向集成控制算法选择方向盘角正弦输入实验进行了实车验证。实车实验结果表明:实验车具有满足集成控制实验验证所需功能;驱动转向集成控制算法够控制实车较好跟踪期望运动。     

Test Generation with Unspecified Variable Assignments

ATPG for very large scale integrated circuit designs is an important problem in industry. With the advent of SOC designs, testing and verification of the core-based designs become a challenging problem. This paper presents an algebraic test generation algorithm with unspecified variable assignments. Given a stuck at fault of the circuit with unspecified signals, the proposed algorithm uses a new encoding scheme for unspecified variable assignments, and solves the Boolean satisfiability formula representing the Boolean difference to obtain a test pattern. Experimental results demonstrate the efficiency and feasibility of the proposed algorithm.     

客车电控空气悬架ECU试验台架

ECAS是一种先进的汽车悬架系统,其控制器的可靠性十分重要,在ECAS系统开发过程中,如果通过实车试验方法验证研究内容,要面临整车、道路、驾驶员以及开发周期的问题,需要消耗大量的财力和时间,因此本文搭建了ECAS控制器硬件在环试验台,并进行了台架试验验证。ECAS控制器硬件在环试验平台可以替代实车进行各种工况下控制器功能的试验验证,为实车道路做好前期准备,缩短开发周期,降低开发成本。     

SoC自动化验证方法的研究与实现

为解决SoC(System-on-Chip)验证覆盖率和工作量问题,基于可重用思想、采用事务验证模型、随机激励生成的方法,建立了一个层次化的具有自主知识产权的自动化功能验证系统（LSAVS：LiShan Automatic Verification System）。采用该验证系统后,SoC验证工程师开发测试向量的工作量由使用传统验证方法的60％降低到10%,同时保证了功能验证100%的覆盖率,达到快速高覆盖率的验证目的。     

用电子皂膜流量装置对气体浮子流量计的检定

介绍用电子皂膜装置对浮子流量计进行检定的检定程序和检定过程中应注意的一些问题,对测量结果影响量进行了分析。另外,还补充了浮子流量计在使用状态时刻度换算的一些经验。     

A New Algorithm for On-Line Handwriting Signature Verification Based on Evolutionary Computation

The paper proposes an on-line signature verification algorithm, through which test sample and template signatures can be optimizedly matched, based on evolutionary computation （EC）. Firstly, the similarity of signature curve segment is defined, and shift and scale transforms are also introduced due to the randoness of on-line signature. Secondly, this paper puts forward signature verification matching algorithm after establishment of the mathematical model. Thirdly, the concrete realization of the algorithm based on EC is discussed as well. In addition, the influence of shift and scale on the matching result is fully considered in the algorithm. Finally, a computation example is given, and the matching results between the test sample curve and the template signature curve are analyzed in detail, The preliminary experiments reveal that the type of signature verification problem can be solved by EC.