查询词典 statement calculus

The main work of this thesis is displayed as follows:(1) Aimed at the verification of Web Services composition, Pi-Calculus with type system for describing XML data structure is extended, then the dual mapping between BPEL4WS and Pi-Calculus is constructed.

实现了支撑形式化检验与QoS感知的服务组合架构，并将该架构应用于数字卡通的网上协同制作。

The magnitude of increase was lower in combination group than in Calculus Bovis group and Zolpidem group, suggesting that Calculus Bovis promoted encephalon inhibition is more powerful than Zolpidem.

表明牛黄与唑吡坦合用后，两种抑制性氨基酸递质未呈现加强效应，推测其可能作用机理是二者竞争同一受体。

The best advantage of the method is that it can solve the complex fractional order calculus equation which can hardly be answered by the general calculus knowledge.

该方法最大的优点是能够解决由一般的分数阶微积分知识所不能或是很难求解的复杂分数阶微积分问题，对于分数阶的钱性微积分方程也完全适用。

The higher mathematics curriculum is a college engineering course undergraduate course each specialized student's compulsory important basic theory class, through this curriculum study, causes the student to obtain: Circular function calculus study, the space analytic geometry and the vector algebra, the function of many variables calculus study, the infinite series, aspect and so on ordinary differential equation basic concepts, the elementary theory and the fundamental operation skill, and further obtain mathematics knowledge for the study successor curriculum to lay the essential mathematics foundation,During instruction knowledge, must train the student through each teaching link to have the abstract thinking ability, logic reasoning ability, spatial imagination ability gradually and studies independently ability, but also must pay attention specially trains the student to have the quite skilled operational capability and the synthesis utilization studies the knowledge to analyze the question and to solve the question ability.

高等数学课程是高等学校工科本科各专业学生的一门必修的重要基础理论课，通过本课程的学习，使学生获得：一元函数微积分学，空间解析几何与向量代数，多元函数微积分学，无穷级数，常微分方程等方面的基本概念、基本理论和基本运算技能，为学习后继课程和进一步获得数学知识奠定必要的数学基础，在传授知识的同时，要通过各个教学环节逐步培养学生具有抽象思维能力、逻辑推理能力、空间想象能力和自学能力，还要特别注意培养学生具有比较熟练的运算能力和综合运用所学知识去分析问题和解决问题的能力。主要是其中的一些专有名词查不到，比如一元函数等

Integral Calculus: definite and indefinite integrals; fundamental theorem of calculus; techniques of integration; Taylor's Theorem; applications in geometry, physics and engineering.

积分学：定积分与不定积分、本定理、积分的方法、勒定理、分学在几何、理和工程学上的应用。

So not only can the clearance food remnant, the tooth noodles germ spot and dental calculus filth, prevent°from the formation and deposition of tooth stone calculus, and can also rise to massage a gum, promote blood circulation, strengthen a tooth to organize for week of the function of anti-disease ability.

这样不仅可清除食物残渣、牙面菌斑、牙垢污物，防止牙结石的形成和沉积，而且还能起到按摩牙龈，促进血液循环，增强牙周组织的抗病能力的作用。

Calculus — If left alone long enough, plaque begins to mineralize and harden into calculus or tartar because the plaque absorbs calcium, phosphorus and other minerals from saliva.

牙结石—如果菌斑呆的时间足够长，它就开始矿化变硬形成牙石或牙垢，因为菌斑从唾液中吸收了钙，磷和其他矿物质。

Calculus deals with the fundamental theories of calculus, including function, limit, continuation, derivative and differential, mean value theorem, the application of indefinite integral and definite integral, infinite series, as well as the practical instances applied in economic management.

微积分讲述微积分的基本知识，包括函数、极限、连续、导数与微分、中值定理、不定积分与定积分的应用、无穷级数等。以及这些知识在经济管理中的应用的实例与练习。

Historically, it has been referred to as "the calculus of infinitesimals ", or " infinitesimal calculus ".

结石已广泛应用在科学，经济，工程，是用来解决问题而代数是不够的。

Mathematical legacy 数学遗产 Descartes' theory provided the basis for the calculus of Newton and Leibniz, by applying infinitesimal calculus to the tangent line problem, thus permitting the evolution of that branch of modern mathematics.

通过对切线问题的极限计算，笛卡尔为牛顿和莱布尼茨的微积分奠定了基础，所以使得这一近代数学分支的发展成为可能。

Don not attempt to do something which you can not to do.

不要企图做那些办不到的事情。

The expression of CTGF and TNF-αweredetected by immunochemistry and the number of Clara Cells was calculated.

光镜下观察肺组织的病理变化，采用免疫组化染色观察肺组织中结缔组织生长因子和肿瘤坏死因子-α的表达和Clara细胞的数量。