2) mcrr
机旗查记录与恢复程序
3) program check
程序检查
1.
In this system, the NC code editor is convenient for the user to programming; the NC program checker and interpreter is used to solve the computer identifying and analysis problem of the NC code; and the simulation module realize the 3D simulation of the NC turning.
利用基于OpenGL的计算机仿真和动画技术 ,采用基于数控代码的仿真方法 ,设计了NC代码编辑器 ,便于用户进行手工编程 ;设计了数控程序检查器和解释器 ,很好的解决了数控代码的计算机识别和分析问题 ;设计了仿真模块 ,很好的实现了数控车削加工的三维仿真。
4) ward inspection process
查房程序
5) investigative procedure
侦查程序
1.
At present there are many problems unsolved on theory of criminal proof in investigative procedure in China,such as the conception of criminal proof,the difference between criminal proof and facts-ascertaining,the necessity of adoption of the warrantism and Writ of Habeas Corpus system,the construction of the investigative institution s burden of proof and standard of proof and so on.
我国侦查程序中刑事证明的理论存在着许多问题,如刑事证明的内涵及其与事实查明之间的界线,令状主义和人身保护令制度引入的必要性,侦查机关证明责任及证明标准的建构等等,这些都值得进一步深入探讨。
2.
The efficacy of criminal investigation cannot be achieved without public participation,but the investigative procedure is carried on secretly over long years.
犯罪侦查活动的有效开展离不开群众的参与,而长期形成的保密制度使侦查程序往往是在"屏蔽"指挥的谋略下进行,虽能避免一些法外因素的干扰,但其封闭性也滋生出诸多负面效应。
3.
To fulfil a good practice of investigative procedure,focusing on the intent of investigation is the first thing to do.
在这样的制度背景下侦查目的显然无法适应新的制度变迁,只有从宪法性刑事诉讼的高度研究侦查程序的目的才能统筹、整合侦查程序中控、辩、裁三种职能和三方主体间的交错关系,实现侦查程序的良性运作。
6) procedure checks the on duty
程序查岗
补充资料：编译程序的编译程序
编译程序的编译程序
compiler-compiler
b Ianyi ehengxu de blanyi chengxu编译程序的编译程序《compile卜伪mpiler》产生编译程序的编译程序。它接受用某一适当的表示体系描述的某一语言类中任一语言A的词法规则、语法规则、语义规则和(或)代码生成规则，并从这些描述产生出用目标语言B写的关于语言A的编译程序的全部或部分。编译程序的编译程序又称为偏译租序的生成租序。 通常，编译程序分成词法分析程序、语法分析程序、语义分析程序、代码生成程序等若干部件。这些部件可以用一个总的编译程序的编译程序的不同部分来生成，也可以分别用不同的专用生成程序来生成。这些专用生成程序包括词法分析程序的生成程序，语法分析程序的生成程序和代码生成程序的生成程序等。 词法今析租序的生成粗序接受以正则文法或其它类似文法描述的单词，构造一个有限状态自动机，由此生成一个词法分析程序。 语法介析程序的生成程序接受以上下文无关文法的形式描述的源语言的语法，生成一个语法分析程序。各种语法分析程序的生成程序随实现语言、语法分析算法的原理以及源程序中语法错误处理能力的不同而异。如采用LR的语法分析程序的生成程序YACC和采用递归下降法的语法分析程序的生成程序L比en。 语义分析程序、中间代码生成程序和目标代码生成程序的生成程序的设计与实现与形式化的语义描述紧密相关。语义描述形式化技术相当困难，目前大多数生成程序中语义描述还是采用非形式化，它们的基本思想是为源语言的上下文无关文法的语法符号或产生式配以翻译子程序(语义动作或语义子程序)。 现有不少性能很好的编译程序的编译程序，如词法分析程序的生成程序LEX，语法分析程序的生成程序yACC和LLgen，它们都显著提高了编译程序的开发效率。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条