程 的英文翻译

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.


优化32位本机代码编译器使应用程序加快了300％－400％。

Optimize32 bit native code compiler with up to300%-400% faster application.


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

A printout of a program or data set.


一种把源程序翻译成可执行程序（即目标程序）的程序。

A program that translates a source program into an executable program(an object program).


对管理资格有帮助的主要课程：管理学、会计学、经济学、市场学、社会学。

Major courses contributing to management qualification: Management, accounting, economics, marketing, sociology.


对计算机编程有用的课程有：计算机学、系统设计与分析、FORTRAN编程学、PASCAL编程学、操作系统、系统管理。

Courses taken that would be useful for computer programming are: Computer science, systems design and analysis, FORTRAN programming, PASCAL programming, operating systems, systems management.


给办公室或工厂装备计算机，使办公手续或生产过程更方便或自动化。

Equipping an office or plant with computers to facilitate or automate procedures.


我的心曾充满苦恼，我在寻求提名过程中并不主动，也没有全力以赴，更没有给自己一个正确的评价，但这并不说明我低估了提名的价值。

That my heart has been troubled, that I have not sought this nomination, that I could not seek it in good conscience, that I would not seek it in honest self appraisal, is not to say that I value it the less.


不规律的在过程上或行为上无规律的；不可预测的

Irregular in course or behavior; unpredictable.


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

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