助手标题  
全文文献 工具书 数字 学术定义 翻译助手 学术趋势 更多
查询帮助
意见反馈
   ’ procedural 的翻译结果: 查询用时:0.179秒
图标索引 在分类学科中查询
所有学科
更多类别查询

图标索引 历史查询
 

procedural
相关语句
  合法诉讼
     The improvement of criminal appeal system is related to the safeguard of parties’ procedural rights and stabilization of effective verdicts.
     刑事申诉制度的完善与否涉及当事人合法诉讼权利的保障与裁判的稳定性。
短句来源
  “’ procedural”译为未确定词的双语例句
     6.In the situation that parties’ procedural participation isn’t safeguarded, the evidence collected can’t become the basis for judgment;
     6、在没有能够保障当事人程序参与的情况下,所收集的证据不得作为法院裁判的基础;
短句来源
     In order to reasonable distribution the judicial resource, achieve the economic litigation and protect parties’procedural interest, during the civil action, every party not only owes other party an obligation of good faith, but also has public law obligation to assist the court for speed trial. Therefore, it is an affirmative duty for the party to promptly proceed the civil procedure.
     为合理分配司法资源,兼顾诉讼经济要求,及保障当事人之程序利益,当事人基于负有对他造依诚实信用原则进行诉讼之义务及对于法院负有协力迅速进行诉讼之公法上义务,而肯认当事人于诉讼上应负有诉讼促进义务。
短句来源
     In order to fulfill the jurisprudence of the parties’right to select the procedure, respect the parties’procedural determination, vest the parties the right to choose the procedure to pursue their procedural benefit.
     又为贯彻程序选择权之法理,尊重当事人之程序处分权,赋予当事人有选择程序以追求程序利益,在审前准备中采行民事举证时效制度及践行争点整理程序应系集中审理重要之一环。
短句来源
     Based on the analysis of the signification and characteristics of taxpayers’ procedural right, the author discusses the relationship between the procedural and substantive right of taxation from the following aspects: the procedural right derives from and gives service to the substantive right;
     在此基础上,笔者对税收程序性权利和实体性权利之间的关系从四个方面进行了讨论,即:税收实体性权利派生出相应的税收程序性权利; 税收程序性权利服务于一定的税收实体性权利;
短句来源
     There are four theory foundations of taxpayers’ procedural right: a) the theory of procedural justice and due legal process.
     纳税人程序性权利存在的理论基础主要有四个:一是程序正义和正当法律程序理论。
短句来源
更多       
  相似匹配句对
     Procedural Justice
     程序公正简论
短句来源
     On Procedural Defense
     程序性辩护研究
短句来源
查询“’ procedural”译词为用户自定义的双语例句

    我想查看译文中含有:的双语例句
例句
没有找到相关例句


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) 中国学术期刊(光盘版)电子杂志社