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

图标索引 历史查询
 

primary development     
相关语句
  初步发展
     The Primary Development of Modern Borderland Theory in the West
     西方近代边疆理论的初步发展
短句来源
     Overseas Students and Primary Development of Modern Education in Shandong
     留学生与山东现代教育的初步发展
短句来源
     It has gone through three periods which are read as "the primary development period" in 1975-1989, "the adjustable development period" in 1992-1994 and "the general development period" after 1995.After looking back the history relationship between China and EC in about 30 years, this essay analyzes the present situation and brings forth the prospect of the economic and trade development between China and EC.
     然而这条发展之路并非一帆风顺,先后经历了1975-1989年的“初步发展期”, 1992-1994年的“恢复调整时期”,并最终迎来了1995年之后的“全面提升期”。 在回顾了中欧关系近30年发展历程的基础上,总结分析了目前双边关系的现状,并展望了中欧经贸关系的前景。
短句来源
     the development of Chinese administrative law science experiences a process of restoring,primary development,fast development and mature.
     中国行政法学二十年的发展,经历了一个恢复、初步发展、快速发展、趋于成熟的发展过程。
短句来源
     It experienced three stages: period of primary development,period of prosperity and period of tortuous development.
     它在发展过程中大致经历了初步发展时期、繁荣时期、曲折发展时期三个阶段。
短句来源
更多       
  初步开发
     decision making supporting system for enterprise level based on some new technologies including data mining still in primary development step with lots of problems to be solved.
     基于数据挖掘等新技术的企业级决策支持系统仍处于初步开发阶段,有许多问题需要进一步解决。
短句来源
     Last, through writing procedure's code on the VB6.0, this article carrys out the primary development of its graphic managerment system and completes these tasks such as extracting water supply network's data information automatically from the AutoCAD, generating database automatically etc. Besides, the simulating results can be exported to the Excel table automatically by using the ActiveX technology.
     最后,通过VB6.0编程,对可视化管理系统进行了初步开发,完成了从AutoCAD中自动提取管网数据信息及自动生成数据库的工作,并且,运用ActiveX技术可把模拟计算的结果自动从EXCEL界面输出。
短句来源
     Research on Synthetical Assessment of Concrete Arch Bridges and Primary Development of the Software
     混凝土拱桥综合评估研究及软件初步开发
短句来源
     Hydraulic Station Simulation on Urban Water Supply Network & Primary Development on Its Graphic Management System
     城市给水管网水力状态模拟及其可视化管理系统的初步开发
短句来源
     Research of the Mechanical Behavior and Primary Development of the CAD Software on Railway Preflex Composite Beam
     铁路预弯组合梁力学性能的研究及其设计软件的初步开发
短句来源
更多       
  初始发展
     The Origin and Primary Development of Millet Cultivation in Shanxi
     山西谷子(粟)栽培起源与初始发展
短句来源
  研制初步
     Primary Development of the Expert System for Circulating Cooling Water Treatment
     工业循环冷却水处理专家系统研制初步
短句来源

 

查询“primary development”译词为其他词的双语例句

     

    查询“primary development”译词为用户自定义的双语例句

        我想查看译文中含有:的双语例句
    例句
    为了更好的帮助您理解掌握查询词或其译词在地道英语中的实际用法,我们为您准备了出自英文原文的大量英语例句,供您参考。
      primary development
    Specifically, Ghanian adults more often see drinking water provision as their primary development need when water sources are distant and/or when male household members collect water (particularly male heads).
          
    are characterized by broad cortex and narrow stele during the primary development.
          
    This supports the hypothesis that the primary development of transitory olfactory connections represents an ontogenetic recapitulation of ancestral conditions, by which the structural and functional organization of the avian brain is influenced.
          
    Intrinsic and extrinsic factors in the primary development of the skeleton
          
    The primary development of clinical resistance to 1-β-d-arabinofuranosyl cytosine (ara-C) in leukemic blast cells is expressed as decreased cellular concentrations of its active anabolite.
          
    更多          


    In this paper, we construct the predicate calculus system of medium logic MF in accondance with Medium Principle. We first present its symbolical system, forming rules and inference rules and also several formal inference relations for the primary development of MF, including an important theorem, i. e. the Substitutive Theorem of MF. The formal symbols of MF consist of the following five classes: (1) Logical symbols:,→、~、、,(2) Individual symbols: a, b, c, a_i,b_i, c_i (i=1, 2, …,)(3) Predicatives: F,...

    In this paper, we construct the predicate calculus system of medium logic MF in accondance with Medium Principle. We first present its symbolical system, forming rules and inference rules and also several formal inference relations for the primary development of MF, including an important theorem, i. e. the Substitutive Theorem of MF. The formal symbols of MF consist of the following five classes: (1) Logical symbols:,→、~、、,(2) Individual symbols: a, b, c, a_i,b_i, c_i (i=1, 2, …,)(3) Predicatives: F, G, H, F_i, G_i, H_i (i=1, 2, …); (4) Bound variables: X, Y, Z, X_i, Y_i, Z_i (i=1,2,…),(5)Techanical symbols; [, ], ', (,). The forming rules of MF consist of the following four pieces: (i) F~n (a_1, …, a_n,) is a well-formed formula, (ii) If X is a well-formed formula, so are ~X and X, (iii) If X and Y are well-formed formulas, so is (X→Y), (iv) If X(a) is a well-formed formula, where "a" appears and X does not, then xX(x) and xX(x) are well-formed formulas. The formal inference rules of MF include not only all the inference rules of MP but also the following six: (~-) xA(x)-A(a). (_+) If A(a), where "a" does not appear in , then xA(x),(_-) If A(a) B, wheree "a" does not in B, then xA(x) B, (_+)A(a)xA(x), where A(x)is obtained by substituting x for some appearances of in A(a), Theorem 4(Substitutive Theorem of MF): If A |=| B, and f(p) is any well-formed formula of MF, we have f(A)|=| f(B)

    本文在中介原则的观点下构造中介逻辑的谓词演算系统MF,我们首先给出它的符号系统、形成规则和推理规则,又作为MF的初步展开而给出它的若干个形式推理关系,其中包括的一个重要定理,那就是MF中的替换定理。M F 形式符号:(一)逻样词s(二)个体词,a,b,c ,a; ,b;,c;< z = 1。2,…;(三)谓词F,G,rH,(i二1,2…),(四)约束变元X,L,Xr,Zt Yf, 了五)技术符MF的形成规贝.:(i) F'(a,...a})是合式公式;(ii)如果J是合式公式,则一工和X是合式公式,(iii)如果X和Y是合式公式,则〔X-> Y〕是合式公式;(iv)如果X(a>是合式公式。在其中出现,X不在其中出现,则和ExX }x}是合式公式。至于FM的形式推理规则,乃在接受M的全部推理规之外,另加如下六条(a).其中a不在r中出现,则r卜}TxA }x} ; ( 3 _)若A(a) - B,其中。不在B中出现,则3 xAB; ( 3 +)A(a) }-其中A }x}是由A(a)把其中a的某些出现替换为x而得; 定理4(替换定理)如果AI-I B,而f(P)为MF中之任一今式公式,则有fcA>I=If(...

    本文在中介原则的观点下构造中介逻辑的谓词演算系统MF,我们首先给出它的符号系统、形成规则和推理规则,又作为MF的初步展开而给出它的若干个形式推理关系,其中包括的一个重要定理,那就是MF中的替换定理。M F 形式符号:(一)逻样词s(二)个体词,a,b,c ,a; ,b;,c;< z = 1。2,…;(三)谓词F,G,rH,(i二1,2…),(四)约束变元X,L,Xr,Zt Yf, 了五)技术符MF的形成规贝.:(i) F'(a,...a})是合式公式;(ii)如果J是合式公式,则一工和X是合式公式,(iii)如果X和Y是合式公式,则〔X-> Y〕是合式公式;(iv)如果X(a>是合式公式。在其中出现,X不在其中出现,则和ExX }x}是合式公式。至于FM的形式推理规则,乃在接受M的全部推理规之外,另加如下六条(a).其中a不在r中出现,则r卜}TxA }x} ; ( 3 _)若A(a) - B,其中。不在B中出现,则3 xAB; ( 3 +)A(a) }-其中A }x}是由A(a)把其中a的某些出现替换为x而得; 定理4(替换定理)如果AI-I B,而f(P)为MF中之任一今式公式,则有fcA>I=If(B)>o

    In this paper,we construct the predicate calculus system of medium logic MF in accondance with Medium Principle.We first present its symbolical system,forming rules and inference rules and also several formal inference relations for the primary development of MF,including an important theorem, i.e.the Substitutive Theorem of MF. The formal symbols of MF consist of the following five classes:(1) Logical symbols:■,→、~、■、■,(2)Individual symbols:a,b,c,,a_i,b_i, c_i(i=1,2,…,)(3)Predicatives:F,G,H,F_i,G_i,H_i(i=1,2,…);(4)...

    In this paper,we construct the predicate calculus system of medium logic MF in accondance with Medium Principle.We first present its symbolical system,forming rules and inference rules and also several formal inference relations for the primary development of MF,including an important theorem, i.e.the Substitutive Theorem of MF. The formal symbols of MF consist of the following five classes:(1) Logical symbols:■,→、~、■、■,(2)Individual symbols:a,b,c,,a_i,b_i, c_i(i=1,2,…,)(3)Predicatives:F,G,H,F_i,G_i,H_i(i=1,2,…);(4) Bound variables:X,Y,Z,X_i,Y_i,Z_i(i=1,2,…),(5)Techanical symbols; [,],’,(,). The forming rules of MF consist of the following four pieces:(i)F~n(a_1, …,a_n)is a well-formed formula,(ii)If X is a well-formed formula,so are ~X and ■X,(iii)If X and Y are well-formed formulas,so is(X→Y),(iv) If X(a)is a well-formed formula,where“a”appears and X does not,then ■xX(x) and ■xX(x) are well-formed formulas. The formal inference rules of MF include not only all the inference rules of MP but also the following six:(■)■xA(x)-A(a).(■) If ■A(a), where“a”does not appear in■,then■xA(x),(■)If A(a)■B, wheree“a” does not in B,then■xA(x)■B,(■)A(a)■xA(x),where A(x)is obtained by substituting x for some appearances of in A(a),(■) ■A(x)■x■A(x),(■)■xA(x)■x■A(x). Theorem 4(Substitutive Theorem of MF):If A|=|B,and f(p) is any well-formed formula of MF,we have f(A)|=|f(B)

    本文在中介原则的观点下构造中介逻辑的谓词演算系统 MF,我们首先给出它的符号系统、形成规则和推理规则,又作为 MF的初步展开而给出它的苦干个形式推理关系,其中包括的一个重要定理,那就是 MF 中的替换定理。MF 的形式符号:(一)逻辑词■,→,~,■;(二)个体词,a,b,c,a_i,b_i,c_i(i=1,2,…);(三)谓词 F,G,H,F_i,G_iH_i,(i=1,2,…);(四)约束变元 X,Y,Z,X_i,Z_iY_i,(i=1,2,…):(五)技术符[,],’,(,)·MF 的形成规则:(i)F~n(a_1,…,a_n)是合式公式;(ii)如果 X 是合式公式,则~X 和■X 是合式公式;(iii)如果 X 和 Y是合式公式,则[X→Y]是合式公式;(iv)如果 X(a)是合式公式,a 在其中出现,X 不在其中出现,则■xX(x)和 ExX(x)是合式公式。至于 FM 的形式推理规则,乃在接受 MP 的全部推理规之外,另加如下六条:(■_-)■xA(x)■A(a);(■_+)若■A(a),其中 a 不在■中出现,则■xA(x);(■_-)若 A(a)■B,其中 a 不在 B 中出现,则■xA(x...

    本文在中介原则的观点下构造中介逻辑的谓词演算系统 MF,我们首先给出它的符号系统、形成规则和推理规则,又作为 MF的初步展开而给出它的苦干个形式推理关系,其中包括的一个重要定理,那就是 MF 中的替换定理。MF 的形式符号:(一)逻辑词■,→,~,■;(二)个体词,a,b,c,a_i,b_i,c_i(i=1,2,…);(三)谓词 F,G,H,F_i,G_iH_i,(i=1,2,…);(四)约束变元 X,Y,Z,X_i,Z_iY_i,(i=1,2,…):(五)技术符[,],’,(,)·MF 的形成规则:(i)F~n(a_1,…,a_n)是合式公式;(ii)如果 X 是合式公式,则~X 和■X 是合式公式;(iii)如果 X 和 Y是合式公式,则[X→Y]是合式公式;(iv)如果 X(a)是合式公式,a 在其中出现,X 不在其中出现,则■xX(x)和 ExX(x)是合式公式。至于 FM 的形式推理规则,乃在接受 MP 的全部推理规之外,另加如下六条:(■_-)■xA(x)■A(a);(■_+)若■A(a),其中 a 不在■中出现,则■xA(x);(■_-)若 A(a)■B,其中 a 不在 B 中出现,则■xA(x)■B;(■_+)A(a)■xA(x),其中 A(x)是由 A(a)把其中 a 的某些出现替换为 x 而得;■xA(x)■x■A(x);■xA(x)■■x■A(x).定理4(替换定理)如果 A■B,而 f(P)为 MF 中之任一合式公式,则有 f(A)■f(B)。

    The phenomenon of evolutionary compatibility refers to the depth and scope of the mosaic characteristics and the uncertainty produced at different evolutionary levels, which are reflected in the aspects of co—existenee of distinct features and traits of living things, of advanced and primary development and of extinction and establishment during the evolutionary processes. Generally, the hereditary wealth that has been gained by living things would never be lost easily. The compatibility of evolution manifests...

    The phenomenon of evolutionary compatibility refers to the depth and scope of the mosaic characteristics and the uncertainty produced at different evolutionary levels, which are reflected in the aspects of co—existenee of distinct features and traits of living things, of advanced and primary development and of extinction and establishment during the evolutionary processes. Generally, the hereditary wealth that has been gained by living things would never be lost easily. The compatibility of evolution manifests itself in a melodious way. This kind of melody is the one with genetic information. The nature of evolutionary compatibility is that living things remain essentially the same despite all apparent changes. Therefore, evolutionary compatibility holds genetic information of different sources. The so—called uncertainty is a description of the process of compatibility.

    进化的兼容性现象是指在进化历程中生物不同性质与特点共存,先进与原始共存,绝灭和新生共存等事实所反映的在深度和广度上的镶嵌性以及在各种水平上产生的不确定性。所以从整体上看,生物在进化过程中获得的遗传财富决不轻易丢失。进化的兼容是以旋律的形式表现的,这种旋律就是遗传信息的旋律。进化兼容的本质是生物万变不离其宗的道理,因此进化的兼容是指不同来源遗传信息的兼容,不同生物信息的兼容,所谓不确定性就是对这种兼容过程的描述。

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

     


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

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