Gb | Eng |
---|
扩展器在某一给定范围的输入电压内产生较大输出电压的转换器 | 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. |
|