执行程序

Operational semantics can help us to interpret and execute a language, axiomaticsemantics has great facility in verification, and denotational semantics o?

程序语言的语义可以帮助人们更好的理解、执行、分析软件系统。

Ensure that installation, operation and maintenance are carried out by specialist electricians only.

只能由训练有素的专职人员来执行相关的工作和操作程序。

The performance of this method depends on which Web server you re working with, and what kind of scrīpts you re using.

但是这种方法开启了所有php程序的输出缓存，这样做可能影响php执行效率，这取决于服务器的性能和代码的复杂度。

The results of simulation show that:In systems that have a lot of of procressors,using router-cache can improve the speed of multiprocessors systems under most conditions.

模拟结果表明：在系统中结点数目较多时，采用路由器在多数情况下可以改进应用程序的执行速度。

This optimisation of the often executed portions of the program makes it run up to 10 times faster.

这种对程序中经常执行部分的优化使运行速度快10倍。注意，注意力集中

Some NHS doctors such as psychotherapists, psychologists and dentists, perform hypnotherapy, in order to help patients to relax and to relieve anxiety about medical procedures.

一些国民保健医生，如心理治疗师，心理医生和牙医，执行hypnotherapy ，为了帮助病人放松，并纾缓焦虑的医疗程序。

A refreshable load module can be replaced by a new copy during execution by a recovery management routine without changing either the sequence or results of processing.

可刷新的装入模块在执行时可由恢复管理例行程序换上新拷贝，而不会改变处理顺序或处理结果。

Then according to the research of overall structure, a prototype system,which can realize basic function of machine NC, is designed. It is programmedwith VC++ 6.0 using object-oriented methods and fore-and-after structuralmodels on Windows operating system, which embedded with RTX.

该系统是在Windows下嵌入RTX子系统的环境开发的，应用面向对象程序设计方法，采用VC++6.0的面向对象的编程语言，使用前后台型结构模式，利用多线程来实现多任务的执行，通过创建共享内存来实现进程间的通讯，实现了机床数控的基本功能。

Design your applications so they do not rely on the firing order of multiple triggers of the same type.

开发者应确保应用程序不要求同类触发器必须按一定顺序执行。

In short, the relation between nodes can be formally decided by DDF, the firing order is restricted to guarantee the correctness of program, so the introduction of DDF in embedded software design greatly benefits effective modeling, formal analysis, correct improvement, software optimization and implementation.

这样，DDF可以形式化地确定各种节点间的关系，并限定节点的执行次序以保证程序的正确性，将DDF用于嵌入式软件设计将极大地有助于有效的软件建模、形式化的分析、正确的设计改进、软件优化以及实现。

In the negative and interrogative forms, of course, this is identical to the non-emphatic forms.

。但是，在否定句或疑问句里，这种带有"do"的方法表达的效果却没有什么强调的意思。

Go down on one's knees;kneel down

屈膝跪下。。。下跪祈祷