GbEng
扩展器在某一给定范围的输入电压内产生较大输出电压的转换器 A transducer designed for a given range of input voltages that produces a larger range of output voltages.
里程碑,里程标路边所设立的石制标志,以英里指示从给定的一点到该路标的距离 A stone marker set up on a roadside to indicate the distance in miles from a given point.
在编辑语言中,把若干值变换为由给定格式所规定的表示形式。 In programming languages, transforming values to the representations specified by a given format.
验证协议的程序,它从一个给定的初始状态机械地产生出一切可以到达的状态,并且审查每一状态下用户定义的条件的有效性。 A program for protocol verification which mechanically generates all states reachable from a given initial state and checks the validity of user defined conditions in each state.
全面的,全对称晶形的具有在给定的晶体系统中全面对称的全部平面的 Having as many planes as required for complete symmetry in a given crystal system.