查询词典 statement calculus

Generally say, the oral hygiene is bad, tartar and dental calculus pile up, the food Qian fills, germ and germ spot function, badly fill dental cavity and have a tooth filled incitement, or oppress gum etc., is all important partial reason that causes a tooth to blaze for week.

一般说，口腔卫生不良，牙石和牙垢堆积，食物嵌塞，细菌和菌斑作用，不良补牙和镶牙刺激，或压迫牙龈等，都是引起牙周炎的重要局部原因。

This theory emerged from those philosophical and logical inquires Russell made in his early stage, when Russell use logical analysis to solve the semantics problem his meaning theory suffered. The foundation of the theory of descriptions is a theory of meaning, as this thesis presents, and its central notion includes two syntax rules. Based on the first order predicates calculus, this theory seems successfully solve some notable semantics problems and then assures Russell's denotation theory.

本文认为，摹状词理论有深刻的哲学渊源，它脱胎于罗素早期的哲学和逻辑研究，直接缘起于罗素想要利用逻辑的分析方法去解决意义指谓论所面临的语义学难题；摹状词理论的基础是它的意义理论，核心是两个句法规则，它基于带等词的一阶谓词演算成功地解决了一些著名的语义学难题，维护了直观的指谓论，从而产生了巨大而深刻的哲学影响。

Calculus can be used to find approximate solutions to equations, in methods such as Newton's method , fixed point iteration , and linear approximation .

积分可以用来寻找近似解方程，在方法，如牛顿法，不动点迭代和线性近似。

It proposes a method to formalize and analyze security properties of workflow systems by process calculus and types.

提出了一种基于Pi演算的工作流系统建模和安全性分析的方法。

It first utilizes pi-calculus to formalize service behavior as well as the interaction behavior between services as processes.

本文采用Pi演算将Web服务行为和Web服务之间的交互行为进行建模。

Through building Simulink model, the numerical solution of fractional order nonlinear calculus equation can be obtained directly.

通过Simulink搭建仿真框图，可以直接求出分数阶非线性微积分方程的数值解析解。

The method is completely fit for the fractional order linear calculus equation.

用仿真实例进一步演示了该方法的简洁、有效，可以解决任意的分数阶微积分方程的求解问题。

After introducing the generalized strain energy function with fractional order, the constitutive equation of biological visco-elastic material was obtained by means of the fractional calculus.

摘 要：对生物粘弹性材料，引入广义分数阶应变能函数以后，应用分数阶微积分分别给出了粘弹性固体和粘弹性流体的本构关系式。

Through establishing the functional of the source pulse which is based on the concept of "usable energy" in the received pulse and then extremizing the functional by means of the calculus of variations, the mathematical models of the optimized source pulse waveforms are shown to be associated with the eigenfunctions of a homogeneous Fredholm linear integral equation of the second kind. An efficient algorithm is developed for numerically solving the integral equation models.

论文研究了基于延迟反射脉冲序列无源标签的UWB RFID系统的基本工作原理并进行了详细的信号描述和分析，通过建立基于接收脉冲"有效能量"概念的源脉冲波形函数的泛函和使用变分计算泛函极值，得到了相关于第二类齐次Fredholm线性积分方程特征函数的源脉冲波形最优解数学公式模型，并开发了一套有效的数值求解算法。

Course Content:The main part of this course is about infinitesimal calculus and ordinary differential equations,including :functions and limits,derivative and differential integral and their application,differential methods of function of several variables and its application,heavy integral,curve integral,camber integral,infinite progression and differential equations.

课程内容：学科教学法与CAI研究与实践是师范计算机专业教学系统的重要组成部分，学科教学法与CAI研究与实践课程是计算机科学教育的主要内容。通过本课程的学习使学生掌握现代学科教学法与CAI研究与实践的基本概念，基本原理和基本方法；能设计并使用所学的教学理论进行中学信息技术课程的教学设计，试讲，试教。课程内容：以微积分学和常微分方程为主干，介绍函数与极限，导数与微分，中值定理。不定积分，定积分及其应用，多元函数微分法及其应用，重积分，曲线积分与曲面积分，无穷级数及微分方程等。

"Second Life is remarkably easy to work with, and is very popular,"

"第二次生命是显着容易的工作，并且很受欢迎，"

For example, we usually assume that materials are homogeneous and isotropic and free of internal defects or flaws.

为了得到适合有限元分析的模型，我们必须经过如图2所示的简化步骤。