程 的英文翻译

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 spy's cover was that she was a consultant engineer.


在软件工程中，指较高一级程序或模块使用的一个单元或模块。

In software engineering, an individual unit or module that is utilized by higher-level programs or modules.


修饰或说明计算机系统部件的标准化的程度，模块化设计允许部件组合和出现很多种类的兼容部件。

Pertaining to a degree of standardization of computer system components to allow for combinations and large variety of compatible units.


氢化裂解将石油的含氢分子分裂成更简单的分子（象汽油和煤油的分子）的过程，此分裂过程是在加催化剂及高压氢气的条件上进行的

A process by which the hydrocarbon molecules of petroleum are broken into simpler molecules, as of gasoline or kerosene, by the addition of hydrogen under high pressure and in the presence of a catalyst.


解释对意思或意义的精确表达或表达的过程；对意思确切的阐述

The act or process of stating a precise meaning or significance; formulation of a meaning.


我怀疑此事的真实程度。

I doubt the truth of it.


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

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


为了加强数据的保护，防止非法的存取，用于评价计算机系统、存储空间和运行过程完整程度的一种指标。

A term applied to a computer system, spaces, or operating procedures when considering the protection of data from corruption or unauthorized access.


这项工程对每个人都大有好处。

This project is of great benefit to everyone.