程 的英文翻译

order

rule

程 的中文句子和英文句子

验证协议的程序，它从一个给定的初始状态机械地产生出一切可以到达的状态，并且审查每一状态下用户定义的条件的有效性。

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.


花费很大的旧校舍的修复工程受到大多数老师的批评。

The costly renovation of the old college building was criticized by most teachers.


偏航，漂移船只或航空器航行过程中向背风面而作的漂移

The drift of a ship or an aircraft to leeward of the course being steered.


清单打印出的程序或数据组

A printout of a program or data set.


罗楫程序设计语言用编写模仿人类思维的程序的程序语言

A programming language used for writing programs that model human thinking.


支出支付的行为或过程；花费

The act or process of expending; outlay.


鉴别器，鉴频器一种将输入信号的某一特征，如频率或相位转变为幅度变化装置，其变化大小因信号与标准或参考信号的不同程度而异

A device that converts a property of an input signal, such as frequency or phase, into an amplitude variation, depending on how the signal differs from a standard or reference signal.


有关计算机运行的全部事项记录的过程，包括计算机运行的标识、记录转换开关的置位、输入输出带的标识、人工键入信息的拷贝、所有停止的标识以及所有为停机所采取的动作记录。

The process of recording everything pertinent to a machine run, including identification of the machine run, recording the alternation switch settings, identification of input and output tapes, copy of manual key-ins, identification of all stops, and a record of the action taken on all stops.


无效审判由于审判过程中根本性的偏见性错误而变得无效的审判

A trial that becomes invalid because of basic prejudicial error in procedure.


不同时使用的程序或数据可以互相覆盖，以提高内存的利用率的一种技术。

A technique in which programs or data that are not used at the same time can cover each other for raising memory utilization ratio.