程 的英文翻译

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.


他由于忽视安全操作规程而受到责备。

He was taxed with neglecting the safety regulations.


他们建造一个新的国家公园的工程将于明年完工。

Their project to establish a new national park will be completed next year.


她在攀登过程中表现出极大的耐力。

She exhibited great powers of endurance during the climb.


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

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


沉思，冥想沉思的行动或过程

The act or process of meditating.


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

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


一些诸如梭鱼等淡水鱼可以抵御相当程度的酸性。

Some freshwater fish such as pike can withstand levels of acidity.


该队的成功在很大程度上是由於她的努力。

The team's success was largely due to her efforts.


这个方程式中的x代表什麽?

What does x represent in this equation?