说明:双击或选中下面任意单词,将显示该词的音标、读音、翻译等;选中中文或多个词,将显示翻译。
您的位置:首页 -> 词典 -> 称重程序
1)  weighing progress
称重程序
2)  duplicate procedure name
程序名称重复
3)  procedure name
程序名称
4)  weighing process
称重过程
5)  rewriting system
程序重写
1.
By combining the idea of object oriented designing and application of rewriting technique, this paper proposes the basic idea and schema structure of program rewriting, which constructs an object oriented program rewriting theory and defines a model of rewriting system by drawing lessons from abstract rewriting system and rewriting logic.
结合面向对象程序设计的思想和重写技术的应用,提出了程序重写技术的基本思想及其框架结构,该模型在借鉴了抽象的重写系统和重写逻辑的基础上,构造了面向对象程序的重写理论,并定义了重写系统的模型。
6)  program restructuring
程序重构
1.
In order to cope with the problem,that is,the currently available software model checker can hardly deal with large-scale software,it is proposed to use the technique of program restructuring to pre-process the source code,so as to enhance the efficiency of software model checking.
针对软件模型检测目前很难处理大型程序的问题,提出用程序重构技术对待检的源代码进行预处理,以提高模型检测算法的效率。
补充资料:称重显示器
      电子衡器中显示被称物的质量和称量状态的仪表。称重显示器原为模拟指示式,由误差放大器、可逆电机、平衡电桥、激励电源、度盘和指针等部分组成,按自动平衡电子电位差计原理工作。它称量速度慢,功能单一,准确度低,现已基本被淘汰。现用称重显示器为数字显示式。
  
  结构原理  数字显示式称重显示器(简称数显器)的品种很多,图1所示是其中的一种。数显器接受处理的是称重传感器输出的电信号。电信号有模拟量也有数字量,最常见的是几至几十毫伏的模拟电压。数显器的电路原理如图2 所示。激励电源供给称重传感器工作电源,同时供给A/D(模/数)转换单元基准电压,其稳定度一般在 0.1%以上。放大单元通常采用测量放大器结构,接受、放大称重传感器的信号。放大倍数一般为数百倍。滤波单元滤掉从机外混入的和放大器自身产生的电噪声。A/D转换单元把模拟量转换成数字量,转换位数通常取二进制数14位以上。数据处理单元是以微处理器为核心,使用外围支持芯片组成的,它在程序的控制下完成采集数据、运算、存贮等一系列操作,处理结果送到相应接口上。显示单元以数字或文字、图表等形式显示出称量值和称量状态,并可通过接口与外部设备联络。
  
  性能特点  数显器的性能包括计量性能、功能、环境适应能力、安全性和可靠性 5个方面。与通用的数字仪表相比,数显器具有5个特点:①自带传感器激励电源,使用方便;②采用比率型A/D转换和倍频技术,计量性能中的长期稳定性好;③软件能真切地仿真振动、空秤变动、物料落差等称量特征,显示快、准、稳;④机内有空秤置零、零点跟踪、定标、最大秤量、分度位等参数的设定单元,改定方便,通用性强;⑤带输出接口,能够联接多种外部设备,方便地实现系统控制。
  
  准确度等级 国际法制计量组织(OIML)3号建议规定,非自动衡器按准确度级别划分为 4个等级。按配用衡器的级别,中国将称重显示器也划分为4个等级,并分别冠以与衡器对应的级别代号:Ⅰ、Ⅱ、Ⅲ、Ⅳ。每个级别的称重显示器的计量最大允许误差为对应级别衡器允许误差的0.7倍。
  

说明:补充资料仅用于学习参考,请勿用于其它任何用途。
参考词条