助手标题  
全文文献 工具书 数字 学术定义 翻译助手 学术趋势 更多
查询帮助
意见反馈
   逻辑 的翻译结果: 查询用时:1.832秒
图标索引 在分类学科中查询
所有学科
逻辑学
哲学
自然科学理论与方法
体育
中国语言文字
外国语言文字
马克思主义
数学
美学
更多类别查询

图标索引 历史查询
 

逻辑     
相关语句
  logic
     Logic Analysis and Design of Cryptographic Protocols
     密码协议的逻辑分析与设计
短句来源
     INTELLIGENT VIBRATION CONTROL OF STRUCTURES USING ARTIFICIAL NEURAL NETWORKS AND FUZZY LOGIC
     结构振动智能控制的人工神经网络与模糊逻辑方法研究
短句来源
     Studies on Process Modeling Based on Logic Situation Calculus for Virtual Enterprises
     基于逻辑情景演算的虚拟企业过程建模研究
短句来源
     Legal Logic of Economic Phenomena
     经济现象的法律逻辑
短句来源
     A Logic Semantics Study on "noun+noun" of Modern Chinese for Chinese Information Processing
     面向信息处理的现代汉语“名+名”逻辑语义研究
短句来源
更多       
  logical
     Comparative Institutional Theory of Financial Transition and Case Study of China:Logical Deduction from the Starting Point of Outside Money Model
     金融转型的比较制度理论与中国实证:以外在货币模型为起点的逻辑演绎
短句来源
     On Environmental Law's Logical Transmutation
     论环境法的逻辑嬗变
短句来源
     The Logical Derivatives and Integrals
     逻辑导数与逻辑积分
短句来源
     The Logical Analyses of operational Types and Probability Calculation for Reliability in Power System.
     电力系统运行方式的逻辑分析与可靠度的概率计算
短句来源
     A RESEARCH ON THE LOGICAL REASONING ABILITY OF 4-9 YEARS OLD CHILDREN——Verifications of Some of Piaget's Experiments
     4—9岁儿童逻辑推理能力的研究——对J.Piaget某些实验的验证
短句来源
更多       
  logics
     Probing into the Improvement of Logics of Current Differential Protection Type REL561 in 500 kV Line of Fujian
     福建500 kV线路REL561电流差动保护逻辑改进探讨
短句来源
     (3) Introduce the basic concepts and inference of description logics.
     (3) 介绍描述逻辑中的基本概念、推理机制,特别的介绍了描述逻辑AC和SHIQ的语法和语义;
短句来源
     From ALC to SHOQ(D):A Survey of Tableau Algorithms for Description Logics
     从ALC到SHOQ(D):描述逻辑及其Tableau算法
短句来源
     Rule Extraction in Combining Description Logics with DL-safe Rules
     一种描述逻辑与DL-safe规则复合逻辑中的规则抽取方法
短句来源
     Author show the Craig theorem and Herbrand theorem for The 3 valued logics MP,MP*,MF,MF*,ME and ME*.
     作者获得并证明三值命题逻辑MP与MP 、三值谓词逻辑MF与MF 以及带等词的三值谓词逻辑ME与ME 的Craig中插定理与Herbrand定理。
短句来源
更多       
  the logical
     The Logical Derivatives and Integrals
     逻辑导数与逻辑积分
短句来源
     The Logical Analyses of operational Types and Probability Calculation for Reliability in Power System.
     电力系统运行方式的逻辑分析与可靠度的概率计算
短句来源
     A RESEARCH ON THE LOGICAL REASONING ABILITY OF 4-9 YEARS OLD CHILDREN——Verifications of Some of Piaget's Experiments
     4—9岁儿童逻辑推理能力的研究——对J.Piaget某些实验的验证
短句来源
     Synthesis of the Logical Networks at Remote Controlled Terminals
     遥控终端逻辑网络的综合
短句来源
     THE LOGICAL CHARACTERISTIC OF LIMIT CONCEPT
     极限概念的逻辑特征
短句来源
更多       

 

查询“逻辑”译词为其他词的双语例句

 

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

    我想查看译文中含有:的双语例句
例句
为了更好的帮助您理解掌握查询词或其译词在地道英语中的实际用法,我们为您准备了出自英文原文的大量英语例句,供您参考。
  logic
More particularly, Genetic Algorithms, Artificial Neural Networks and Fuzzy Logic methods seem to be the most promising tools to speed up and optimize the search for new leads and focused libraries.
      
In NQGA, a novel approach for updating the rotation angles of quantum logic gates and a strategy for enhancing search capability and avoiding premature convergence are adopted.
      
Thus, rough set theory can be studied by logic and axiom system methods.
      
The axiom group is helpful to research rough set theory by logic and axiom system methods.
      
Semantic interpretation of compositional logic in instantiation space
      
更多          
  logical
NΣ-labeled calculus is a generalization of N-labeled calculus so as to describe time-concerned recognition, knowledge, belief and decision of humans or computer programs together with related external physical or logical phenomena.
      
The notion of meta-variable plays a fundamental role when we define formal systems such as logical and computational calculi.
      
It is a logical extension of the generation III PWR technology in China.
      
A Fast Consequence Recognition Algorithm for Monadic Logical Programs
      
A fast algorithm is designed for detecting in linear time whether a given literal expression is a consequence of a monadic logical program, i.e., a program that only includes only single-place symbols of predicates and functions.
      
更多          
  logics
This paper analyzes the relationship between these two logics, and interprets the semantics of Compositional Logic in Instantiation Space model.
      
One is to seek more expressive logics or type systems to specify or reason about the properties of low-level or high-level programs.
      
Substantial and formal deductions in logics with vector semantics
      
The problem of logic deduction for one class of logics with a vector semantics is discussed.
      
In the given logics the trustiness is represented by a vector with components ?Truth; Lie?, which do not depend on each other.
      
更多          
  the logical
The logical functions used to decode the real syndrome were constructed with regard for the features of the BGM model.
      
Identification of the Logical-and-Probabilistic Risk Models of Structurally Complex Systems with Groups of Inconsistent Events
      
The theory of identification of the logical-and-probabilistic risk models of structurally complex systems with groups of inconsistent events was presented.
      
For the logical-and-probabilistic risk models, their high precision and stability based on the groups of inconsistent events (Bayes formulas) and a well-organized risk polynomial was substantiated.
      
Precision and stability of the logical-and-probabilistic risk models was compared with the well-known methods of classification of objects.
      
更多          
  其他


点击这里查询相关文摘
图标索引 相关查询

 


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

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