calculus的例句大全

Uniform Proof for Theorem of Mean of Calculus

微积分学中中值定理的统一证明

Remainder method for the mechanical theorem proving in first-order predicate calculus

一阶谓词演算定理机器证明的余式方法

A branch of mathematics involving calculus and the theory of limits; sequences and series and integration and differentiation.

包括微积分和极限定理的数学分支：序列级数微分，与积分。

The formal methods include: finite state machines, Petri nets, temporal logic, communication process calculus and Z language.

目前常用的形式化方法包括：有限状态机、Petri网、时序逻辑、通信进程演算和Z语言。

The paper analyzed the basical theory of geometrical nonlinear finite element of plate-shell by means of tensor calculus.

本文利用张量的概念对板壳几何非线性有限元的基本理论进行了分析。

By the use of tensor calculus, basic aerothermodynamic equations in conservative form and characteristic theory in non-orthogonal curvilinear coordinates are derived. The boundary conditions in solving these problems are then discussed in detail. An improved version of MacCormack difference scheme is used in the numerical solution.

本文使用张量工具，导出非正交曲线坐标下弱守恒型基本方程组与特征理论，较全面地讨论了这类问题的边界条件；

In this paper the author using tensor calculus shows that the equation for induced normal curvature of Nankai University and that of Sakai ( Japanese) are of unity.

本文作者利用张量计算，证明了南开大学的诱导法曲率公式与日本酒井公式是统一的，一致的。

The paper describes an automated formal proving platform based on the dynamic term rewriting calculus and its application to the automated proving for the weak termination of term rewriting systems.

文中介绍了一个基于DTRC的形式自动证明平台及其在TRS弱终止性自动证明上的应用。

Cultured calculus ovis was observed and compared with cultured and natural calculus boris.

对培植羊黄进行了扫描电镜观察，并与培植牛黄，天然牛黄进行比较。

According to the study which thermal radiation effects on the thermocouple measurement, this paper gives a thermocouple temperature at any time the integral calculus curve of a variety, and discusses the accuracy of the thermocouple measuring.

通过研究热辐射对热电偶测温的影响，给出热电偶温度随时间变化的积分曲线，并对热电偶测温准确性进行讨论。

Pharmacological Studies on Immunological Function of Low Bilirubinic Cultured Calculus Bovis

低胆红素培植牛黄的免疫药理作用研究

Study on the Culturing Calculus Ovine Product by Shortening Ileum Operation

回肠缩短术对培植羊黄产量影响的研究

Effects of stone-causing drugs on the production of cultured calculus bovis

致石性药物对培植牛黄产量的影响

The Matrix Calculus and Result Analysis of Three-element Linear Regression Equation

三元线性回归方程的矩阵运算及其结果分析

In this paper, employing rigorous variational calculus, equations of control surface at maximum thrust nozzle exit are derived.

本文用严格的变分法导出了最大推力喷管出口控制面方程。

Direct Method of Operational Calculus and Second-Order Linear Time-Variant System

直接算符演算法与二阶线性时变系统

Residual Biliary Calculus and Infection After Choledochostomy on Glycometabolic, Lipometabolic and Trace Element Alterations in Bile

术后胆道残余结石及感染对胆汁糖、脂肪及微量元素分泌的影响

Based on Time Domain RC Fluxionary Calculus Electric Circuit Minute

基于时域的RC微积分电路分析

In this paper, a typed abstract language called LAMBDA-like is defined. Using it as the model, a transformation technique from the functional abstract language based on λ-calculus to a imperative language caled PASCAL-like is presented.

本文定义一类型化的抽象语言like-LAMBDA，并以此为模型给出从以Lambda演算为基础的函数式抽象语言到like-PASCAL过程式语言的转换技术。

Control Flow Analysis of Cryptography Protocols Based on Spi Calculus

基于Spi演算的密码协议的控制流分析