程 的英文翻译

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.


领先，优先尤指按重要性或紧急程度的顺序建立的优先地位

Precedence, especially established by order of importance or urgency.


他们正在修防御工程。

They are repairing the defense works.


周转，停航时间轮船、飞机或其它交通工具装货、卸货及维修的过程成所需时间

The process of or time needed for loading, unloading, and servicing a ship, an airplane, or other vehicle.


熨用加过热的熨斗熨压衣物的行为或过程

The act or process of pressing clothes with a heated iron.


事态依自然进程发展。

Events took their natural course.


在宣布过程中, 群众的欢呼声此起彼伏.

The announcement was punctuated by cheers from the crowd.


在中文里，计算机有一个人所共知的雅号：“电脑”。这是因为计算机的工作过程与人的大脑思维过程极为相似。

In Chinese, a computer is popularly known as an "electrical brain", for the working process of a computer is similar to a human brain very much.


买一张去温撤斯特单程二等票。

One single, second class, to winchester, please.


足总杯决赛在运动日程表中是个重要日子。

The cup final is an important date in the sporting calendar.