needham中文是什么意思

发音:

中文翻译
造句

n.
尼达姆〔姓氏〕。

joseph needham 李约瑟
needham market 尼德姆马基特
richard needham 理查德尼达姆
another perspective of needham puzzle 李约瑟难题的另一个视角
joseph needham home page 汉学家李约瑟
needham research institute 李约瑟研究所
re - explanation of the needham thesis 论从文明走向文化的科学及其二难问题
needful things 勾魂游戏
needful moisture 必要水分
needily adv. 在贫穷中。
needful adj. 1.需要的,必要的,不可缺少的 (to; for)。 2.〔古语〕穷困的。 n. 〔the needful〕〔俚语〕(必需的)钱,现金；必需的事物。 do the needful 做该做的事。 adv. -ly 必然地,不得已。
neediness n. 穷困,贫穷。
needforspeedi 飞车
needing a plan to keeyou near 想尽办法好让你靠近些
needforrelatedness 相互关系和谐的需要

"查查词典"手机版

千万人都在用的超大词汇词典翻译APP

例句与用法

Using the 1940s ' diary of chu ko - chen ' s , then president of chekiang university , which has been published in its entirety only recently , this paper attempts to examine the detailed times , places and situations of the meetings between chu and needham during that period
摘要主要依据新近公开的竺可桢日记中的第一手资料，对20世纪40年代竺可桢与李约瑟之间的互动关系作一初步探讨。
Knowledge structure approach to verification of authentication protocols . science in china , series e : information sciences , april 2005 , 35 : 337 - 351 . 14 needham r m , schroeder m d . using encryption for authentication in large networks of computers
为了使协议的验证过程全自动,我们给出了对任意协议的处理算法,即给出一个协议,如何具体生成相关的信息集合,如何生成变量和所有的公理集
Academic exchanges between drs . joseph talking with the expert of the institute is the needham and lu gwei - djen , both celebrated famous japanese sinologist domei yakazu specialists of history of science and technology , and medical historians of the academy
英国著名科技史专家李约瑟博士鲁日本著名汉医学家矢数道明先生桂珍博士与我院医史专家进行学术交流与我所中医文献专家进行学术交流
In the form of a memoir , this autobiography is well worth reading , for it contains a great deal of first - hand information concerning the overseas studies on chinese science and technology over the past fifty years , but also because of ho ' s close relationship with joseph needham and the needham research institute , and in addition because it presents a full picture of his own remarkable character
这本回忆录非常值得一读，不仅因为书中包含了大量的第一手资料和珍贵信息，有助于我们了解海外中国科技史研究近五十年来的发展，尤其是有关李约瑟研究所近年来的发展动向及其背景，更因为从这本书，我们可以深切地感受到一位海外学人对中国科技史研究长达半个世纪的执着和眷恋之情。
A nonlinear study on the joseph needham ' s problem the joseph needham ' s problem , certainly viewed as a current focus , has made the researchers from east to west greatly interested in the research of the science and technology history and the cultural contrast between the west and the east . there have been various tentative solutions to the problem including skeptics and analysis . as far as general direction of research and methods is concerned , however , there still exist some irrational aspects of those study , i . e . the discussion of the problem is either in a state of controversies without any breakthrough or is deviated to some trivial conclusions
在中西科技文化比较和科技史的研究中， “李约瑟难题”无疑是一个亮点，倍受中西方学者青睐，对该问题尝试性地解决以及种种质疑和分析也层出不穷，但就其总体研究方向和方法而言，也仍然存在不少不尽合理之处，对该问题的讨论或处于重复争论、缺乏新的进展的胶着状态，或被引申到与初始目的相距甚远的一些枝节性的结论上。
Firstly , on the basis of analysis of needham ' s own investigation method and premise , the paper makes a study on the various solutions to needham ' s problem both at home and abroad . with regard to its deficiencies , it further explains the possibility and feasibility of nonlinear study upon the problem and makes a philosophical analysis of the nonlinear explanation
在对李约瑟本人的研究思路和前提假设利弊评析的基础上，对国内外“李约瑟难题”的解决方案进行了分析；进而，针对其不足，阐明了非线性研究视角转向的可能性和现实性，并求华才尝颐星早蓉灵“孕汹久琴磁题”劣淤鳍逻澎尹对非线性解释进行了哲学分析。
First , this paper introduces the notation , categories and properties of security protocols , and formal methods to verify security protocols and small system model . the emphasis is the research and analysis of the principle of the model checking method . we study the mechanism and syntax of symbolic model checking tool smv , model check the authentication version of needham - schroeder public key protocol and woo and lam ij symmetric key protocol
文章主要介绍了安全协议的概念、分类和性质，安全协议的形式化验证方法，以及小系统模型的原理；重点分析和研究了符号化模型检验工具smv的原理和语法及其对安全协议进行模型检验时的工作机理，而且使用smv对needham - schroeder公钥协议和wooandlam对称钥协议进行了形式化建模与模型检验，发现了它们的安全漏洞。
During the modeling and verification of the authentication version of needham - schroeder public key protocol with smv , we get more comprehension on the theory of symbolic model checking and small system model , and finally find a flaw in this protocol that corresponds with the one that gavin lowe found with fdr
通过使用smv对needham - schroeder公钥协议进行建模和验证，理解了符号化模型检验和小系统模型的原理，并发现了一个协议漏洞，该漏洞与gavinlowe用fdr所发现的相一致。
We research different kinds of formal methods , particularly study the mechanism of symbolic model checking tool smv , and finally we decide to adopt smv as the tool for the model checking of security protocols . with smv , we model check the authentication version of needham - schroeder public key protocol and woo and lam ij symmetric key protocol
本文研究了验证安全协议的各种形式化方法，详细研究了符号化模型检验工具smv的工作机制；确定了使用smv作为工具对安全协议进行模型检验，验证了认证版needham - schroeder公钥协议和wooandlam对称钥协议。
In order to broaden the horizon of the research and to acquire a profounder understanding of the issue , the paper on the one hand dates back to the original thought by needham in an attempt to approaching to the problem in needham ' s own perspective . and on the other the paper tries surveying the problem in the light of modern nonlinear views so as to grasp the essence and overcome the needham ' s paradigm . any cultural tradition can be ascribed to the material life
为了能更好地拓展思考和研究的疆域，本文一方面力图将人们的视野拉向历史和文化的深处，从李约瑟本人的视域和构想出发对该问题重新加以考察，以期能更好地完成对“李约瑟难题”的深层解读；另一方面通过在新的时代条件下从非线性科学中所得到的重要启示，试图以一种全新的非线性视角来看待这一问题，使我们能更准确地把握到该问题的内涵，进而为翻越“李约瑟似的大山”提供可能。