查询词典 statement calculus

Formal analysis of security protocols is becoming more and more important. It is desiderated to expand the existing methods to study more security properties and to form a unified framework to analyze various security properties. Process calculus is a powerful tool for modeling concurrent systems.

安全协议的形式化分析是当前安全协议研究的热点，如何扩充现在已经成熟的理论和方法去研究更多的安全性质，使同一系统中各种安全性质在统一的框架下进行分析和验证是一个亟待解决的问题。

You're so used to downplaying your accomplishments that being proud of yourself is like remembering calculus.

对自己的成绩过于不重视，你已经习以为常，以至于对自己感到骄傲就像在回忆积分学一样困难

From 1711 until his death, Leibniz's life was envenomed by a long dispute with John Keill, Newton, and others, over whether Leibniz had invented the calculus independently of Newton, or whether he had merely invented another notation for ideas that were fundamentally Newton's.

从1711年到死，莱布尼茨的生活始终为一场与约翰？科尔、牛顿等旷日持久的争论所纠缠：莱布尼茨是否独立于牛顿发明了微积分，或是否他只不过是发明了另外一种牛顿基本思想的概念符号。

The creation of calculus is the most glorious chapter in mathematical history, it is the essence of mathematical thought, spirit and methods, and erects a firm foundation for the establishment of numerous other branches of mathematics.

微积分的发展是数学史上最辉煌的一章，它凝聚了数学家的思想、精神和方法，为众多数学分支的建立，奠定了坚实的理论基础。

This paper also formalizes the architecture in the pi-calculus and analyzes its dynamic characteristics.

本文提出了一套面向主体的软件分析和设计方法。

The combination with the Calculus,physics,especially variational principles and geometry is one of the features of tiffs dissertation.

本文在查阅大量原始文献和相关研究文献的基础上，利用文献分析和比较研究方法，以&为什么数学&为切入点，结合微积分学、物理学以及几何学等背景，对变分法的起源和创立进行了系统分析和研究。

In recent decade, because of the fact that factional calculus could model various physical systems more adequately than integer one, it has attracted much attention in numerous areas of signal processing, chaos, viscoelastic damping, friction, biological engineering, fluid mechanics, diffusion, financial analysis and so on.

最近十年来，由于分数阶微积分可以更好地解决物理系统建模问题，分数阶微积分理论在众多科学工程应用领域得到的极大关注，包括信号处理、混沌、粘弹性阻尼、摩擦力、生物工程、流体、扩散和金融分析等。

Many materials can inhibit the genesis of calcium oxalate calculus obviously in vivo or in vtro,such as fish oil,banana stem extract,corn silk extract,acid mucopolysaccharide substancesand so on.

鱼油、芭蕉芯提取液、玉米须提取液、酸性黏多糖类物质等在体外及动物试验中对草酸钙结石的形成有明显的抑制作用，作为新的防石药物很有前途。

Research progress of formation factors of bile pigment calculus.

胆色素结石形成的因素研究进展。

Because dental calculus is more likely to cause the accumulation of dental plaque, causing gingivitis, gingival bleeding, periodontal disease.

因为牙结石更容易造成牙菌班的堆积，造成牙龈炎、牙龈出血，牙周病。

Chinese traditional virtue is humility and wariness,the compliment and praise to the others should be declination

中国人的传统美德是谦虚谨慎，对别人的恭维和夸奖应是推辞。如

We bought this house on the never-never.

我们以分期付款的方式买下这座房子。