查询词典 Needham

Joseph Needham, a Cambridge alumnus who made important contribution to cultural exchanges between China and Britain.

最后，我必须提到剑桥的李约瑟博士，他为中英两国人民的文化交流做出了巨大的贡献。

China seems to have been a hotbed of innovation in the ancient world, and this particularly impressed Joseph Needham, a biochemist at Cambridge University.

在古代世界，中国似乎一直是发明创造的温床，这给剑桥大学的生物化学家李约瑟留下了特别的印象。

Needham was a Cambridge trained biochemist whose research on ancient China's achievements in science and medicine forever changed how people viewed China .

李约瑟是一位康桥训练出来的生化学家，他所研究的早期中国在科学与医药方面的成就，永久改变了人们眼中的中国。

In Needham, Mass., clients called money manager Debra Brede all day.

布雷德整天都在接客户打来的电话。

2In this paper ,we analyze some popular authentication protocols in the world now,such as Needham-Schroeder, Otway－Rees and Kerberos.The designing principles of electronic commerce protocols are introduced,such as Anonymity, Non－Reputation, Fairness and so on.The payment protocols for elcectronic commerce are introduced too.

对目前的一些典型的安全认证协议，如：Needham-Schroeder、Otway－Rees、Kerberos等进行了简要的分析，阐述了电子商务协议的设计原则，如匿名性、不可否认性、公平性、安全性等，介绍了相关的电子支付协议，并讨论了安全协议设计和分析中所要注意的一些问题。

Borrowing the hydrodynamic model Needham used to describe the history of world science (the rivers of the primitive and medieval sciences of all the world's cultures flowing into the ocean of modern science), we can identify the rivers of influence that flowed into the ocean of Needham's Problem:(1) the nature of organic form;(2) the small ocean or lake of Christian theology into which ran the streams of the Society of Friends, the Oxford movement (the Catholic revival in the Church of England), and the Anglican order, Oratory of the Good Shepherd.

借用水力动力学模型，李约瑟开始描述世界科学的历史（而水力动力学模型则是指：原始的河流，以及全世界文化的中世纪的科学最终都流入到了现代科学的海洋里），我们可以把李约瑟问题界定为流入海洋的如下影响之河：（1）有机形式的本质；（2）基督教神学的小海洋或者湖泊流淌着如下的溪流：朋友社会；牛津运动（即英国教堂的天主教复兴）；英国国教徒的等级序列，耶稣牧羊人的演讲术。

But Needham also had strong ties with China's new rulers.

Needham和新的中国统治者也有着密切的联系。

The application of this approach to Needham will be discussed.

并讨论这些方法应用于Needham之情况。

The application of this approach to Needham will be discussed.

并讨论这些方法应用於Needham之情况。

This is done by formalising the NSL (Needham-Schroeder-Lowe) protocol and its correctness in Agda, an interactive proof editor, using both the inductive method and strand spaces in Agda.

使用归纳方法和串空间分别将NSL(Needham-Schroeder-Lowe)协议及其正确性在辅助证明系统Agda中形式化，并比较了这两种安全协议验证法，证明两种方法形式化的正确性和攻击者能力是相同的。

It is also known as one of the most poisonous naturally occurring substances.

它也被称为一个最自然发生的有毒物质。

The greatest stress is found at the location on the cross section where V is the largest.

最大应力出现在横截面上V为最大的地方。