助手标题  
全文文献 工具书 数字 学术定义 翻译助手 学术趋势 更多
查询帮助
意见反馈
   procedural 的翻译结果: 查询用时:0.182秒
图标索引 在分类学科中查询
所有学科
诉讼法与司法制度
行政法及地方法制
法理、法史
经济法
国际法
民商法
刑法
宪法
管理学
更多类别查询

图标索引 历史查询
 

procedural
相关语句
  程序
     A Study on the Criminal Procedural Verdict
     刑事程序性裁判研究
短句来源
     Procedural Characteristics and Evaluation Model of Decision Making in Introducing New Technology in Chinese Enterprises
     新技术引进决策的程序特征与评价模型
短句来源
     From Procedural Program to Prolog Program
     从过程式程序到Prolog程序
短句来源
     the procedure monitoring is a procedural control from the right operation stage;
     程序监控是从权力运作阶段对行政自由裁量权的合理性进行“过程性控制”;
短句来源
     But in foreign countries, detention is different from arrest, which can ensure efficiency and procedural justice.
     国外对逮捕和羁押分剐进行了规定,可以确保安全与自由、侦查的效率与程序正义得到合理平衡。
短句来源
更多       
  程序上的
     The history of law is actually a history of the evolution and development of procedural law and substantive law. However the legislation of procedure in China has not brought about the practical results.
     法律的发展既表现为实体法的演变与完善也表现为程序法的进化和发达 ,就程序法的发展而言 ,我国的程序立法并未带来应然效果 ,程序上的形式主义在选举程序、审判程序和行政程序上都有较明显地表现。
短句来源
     Effective use of enterprise business incubator network through the allocation of resources, help to increase an economy in the distribution and procedural fairness.
     企业孵化器有效利用企业网络,通过资源配置,有助于增加一个经济体系在分配和程序上的公正性。
短句来源
     To some content, execution of remedy system is a kind of procedural protection system, especially to litigant participants and their interests.
     所谓程序上的执行救济,是指当事人或其他利害关系人对于执行机构违反法定的执行程序的执行行为,在执行程序终结前,向该执行法院请求更正的救济制度,它包括:1、执行行为请求制度。
短句来源
     The lenient criminal policy is one of the modern extremes of criminal policy,whose procedural typical embodiment is to turn to disciplinary action and repairing justice.
     宽松刑事政策是现代两极化刑事政策之一端,其在程序上的典型体现是转向处分与修复性司法。
短句来源
     National legislative hearings system appeared to be picked when building democracy and the rule of law in China as a trend after procedural fairness also demands with a desire.
     当民主与法治建设在中国成为潮流之后,在程序上的公正性也随之成为一种诉求愿望。
短句来源
更多       
  “procedural”译为未确定词的双语例句
     Between Two Systems: A Study on the Japanese Criminal Procedural System.
     在两个主义之间:日本刑事审判模式研究
短句来源
     A Study on the Civil Procedural Contract
     民事诉讼契约研究
短句来源
     An Expert System Development Environment by Integrating PROLOG, DBMS and Procedural Models
     PROLOG、DBMS和过程模块三者集成的专家系统开发环境
短句来源
     Circular Argument Between the Declarative Semantics and the Procedural Semantics of PROLOG
     PROLOG的说明性语义和过程性语义之间的循环论证
短句来源
     TRANSFORMING FROM OBJECT_ORIENTED LANGUAGE TO PROCEDURAL LANGUAGE
     面向对象语言到过程式语言的转换
短句来源
更多       
查询“procedural”译词为用户自定义的双语例句

    我想查看译文中含有:的双语例句
例句
为了更好的帮助您理解掌握查询词或其译词在地道英语中的实际用法,我们为您准备了出自英文原文的大量英语例句,供您参考。
  procedural
In this study, new measurements of the ATCP for cesium are performed after the introduction of procedural improvements enabling one to reach a much higher degree of repeatability of results.
      
Procedural aspects of the investigation of the density of binary and multicomponent melts are treated, which are associated with the emergence of gradients of concentration of the components in the gravity field.
      
The paper is devoted to procedural semantics that use interpretation algorithms on which interpreters of untyped functional programming systems are based (or can be based).
      
The aim of this study is to describe such algorithms and compare procedural semantics based on them both with each other and with the basic semantics defined by means of the fixed-point combinator Y.
      
Scenario analysis of potential spatial transformations of the Russian economy: Procedural approach and empirical estimates
      
更多          


In this paper, at first we proceed with simplifying the equation in same solu-tions so that empty sets is not included in the sets of Y. T's solution. Then we esta-blish a rule of procedural selection and select independent solving sequence for prepare so that no repeat solution in the sets of solution, and so that we synthesise the simplified slep of same solution of eguation and selected rule of solving sequence for prepare and principle of Y. T's solving process, may make out program design of proceeding...

In this paper, at first we proceed with simplifying the equation in same solu-tions so that empty sets is not included in the sets of Y. T's solution. Then we esta-blish a rule of procedural selection and select independent solving sequence for prepare so that no repeat solution in the sets of solution, and so that we synthesise the simplified slep of same solution of eguation and selected rule of solving sequence for prepare and principle of Y. T's solving process, may make out program design of proceeding whole course solving on computer.At last, we enclose the program design of whole course solving on computer for equations which the numbers of b; at the same level are not more that 2. This pro-gram for equation which the number of b, at the,same level are more than 2, on solv-ing is same applicable as well.

本文首先对方程进行同解简化,以使Y.T解集中不出现空集;再建立程序化的筛选法则来选取独立的备解列,以使Y.T解集中不出现重解,并使综合方程的同解简化步骤,备解列筛选法则及Y.T解法原理,可以作出在计算机上进行全程求解的程序设计。最后附录对b_j取同一水平的个数至多为2的方程的全程求解程序,该程序对于b_j取同一水平的个数多于2的方程,在解法上也同样适用。

This article discusses a method of implementing the data share and improving the software efficiency under the file system environment. That is the importation of non-procedural data manipulation language FDML. Emphasis is put on the description of the function of the FDML language implemented on WANG 2200 VS/80, and the structure and the design method of its interpreter FDMLIN.

本文探讨了在文件系统环境下实现数据共享,提高软件使用效率的方法——引入非过程化的数据操纵语言FDML。重点介绍了在WANG 2200 VS/80上实现的FDML语言的功能及其解释程序FDMLIN的结构和设计方法。

This paper discusses multiprocessor-based parallel PROLOG processing techniques. The problems addressed include parallelism models of PROLOG interpretation and corresponding processing methods (distribution of clauses, control strategies, maintenance of procedural semantics, communication complexity control etc.). Finally a brief description of the A parallelism processing scheme is presented by us and is currently under in-tensed investigation. A parallelism is a parallel model of recursivelly backward...

This paper discusses multiprocessor-based parallel PROLOG processing techniques. The problems addressed include parallelism models of PROLOG interpretation and corresponding processing methods (distribution of clauses, control strategies, maintenance of procedural semantics, communication complexity control etc.). Finally a brief description of the A parallelism processing scheme is presented by us and is currently under in-tensed investigation. A parallelism is a parallel model of recursivelly backward assertion which covers AND, OR, and SEARCH parallelisms.

我们把用多处理机系统来并行解释(传统顺序)PROLOG程序称做 PROLOG并行处理。本文讨论PROLOG并行处理的有关问题,如PROLOG并行处理的背景,PROLOG解释的并行模型及相应的处理方式(包括子句分布,并行解释控制策略,处理机/进程的分配/调度,PROLOG过程语义维护,通讯复杂性控制,以及支撑多处理机体系结构等)。最后介绍我们提出并准备实现的PROLOG的A并行处理方式,这一种包纳了多种并行模式的逆向递归式断言并行解释方式。

 
<< 更多相关文摘    
图标索引 相关查询

 


 
CNKI小工具
在英文学术搜索中查有关procedural的内容
在知识搜索中查有关procedural的内容
在数字搜索中查有关procedural的内容
在概念知识元中查有关procedural的内容
在学术趋势中查有关procedural的内容
 
 

CNKI主页设CNKI翻译助手为主页 | 收藏CNKI翻译助手 | 广告服务 | 英文学术搜索
版权图标  2008 CNKI-中国知网
京ICP证040431号 互联网出版许可证 新出网证(京)字008号
北京市公安局海淀分局 备案号:110 1081725
版权图标 2008中国知网(cnki) 中国学术期刊(光盘版)电子杂志社