查询词典 differential calculus

This paper proves that it is impossible for all the theorems in classical propositional calculus to be tautologies in the field of fuzzy propositional calculus, then a quasi formal deductive system is established for fuzzy propositional calculus based on a kind of type algebra.

引入了一种代数，称为模糊公式代数。在这种代数上建立了一个准形式演绎系统，证明了相应的可靠性定理与相容性定理，提出了程度化的ModusPonens规则和HypotheticalSylogism规则

First, this paper introduces a process calculus, the pi-calculus, into the intelligent agent domain, and agent mental attitudes, agents and agent-based systems with dynamic characteristics, agent interactions, and agent cooperations are studied formally in the polyadic pi-calculus.

首先，本文将进程演算引入智能主体研究领域，利用多价pi演算对主体的心智状态、基于主体的系统、多主体交互及协作进行了形式化。

Blood loss volume were 110mL to 480mL. 24 patients had residual calculus when recheck KUB, 7 accepted ESWL, 4 PCN, and 13 automatic removing urinary calculus. IVU showed that renal visualization was well, hydrops obviously decreased, none calculus re-cured or renal pelvis stegnosis.

术后3月复查腹部平片示有24例有结石残留，7例经体外振波碎石，4例经肾造痪管经皮肾镜下碎石，13例泥沙样小结石自动排石。12月复查静脉肾孟造影示肾显影良好，积水明显减少，未见结石复发和肾孟狭窄。

On the background of mobile computing, distributed system, agent system and ontology, the author explores the mobile computing in limited environment at three levels, i.e., mobile computing formal model, mobile ontology and application model. Some targets of the research works include the dynamic ambients calculus, robust ambients calculus and mobile ontology. Some innovative contributions of the dissertation are enumerated as: 1、Proposing a mobile computing dynamic ambients calculus.

论文研究工作基于陕西省十五科技攻关课题&移动嵌入式电子商务平台及关键技术研究&，以移动计算、分布式系统、Agent系统、本体论等相关领域技术为背景，从移动计算形式模型、移动本体论、应用模型三个层次研究了面向受限设备的移动计算技术，内容主要涉及移动计算形式模型中的动态环境演算、抗干扰鲁棒环境演算以及面向移动领域的移动本体论等，研究工作取得了如下创新性成果： 1、提出了跨平台、跨网络的动态环境演算。

This course offers advanced topics for students who have learned ordinary differential equations. The course includes linear algebra which has topics as matrices, linear systems of equations, eigenvalue problems, vector differential and integral calculus. Fourier series, orthogonal functions, Fourier transforms and partial differential equations will also be introduced.

本课程为提供已有常微分方程式基础的同学修习，内容包括线性代数，矩阵运算，特徵值问题，向量的微分与积分，一阶线性微分方程组，傅力叶级数和正交函数，傅力叶转换，并将对椭圆，抛物线，双曲线型式的偏微分方程式作概略介绍。

The traffic momentum differential equation and Euler's equation for the ramp junction is founded by means of differential calculus in this paper,the traffic momentum differential coupled equation is solved by characteristic curve method,two groups of characteristic curves and corresponding related equation in high speedstates and low speedstates are presented.

采用特征线法对运动微分方程组进行分析求解，在高速低密度区和低速高密度区分别得到了两组特征线和对应的特征关系式。

" In mathematics , two theorems, one associated with differential calculus and one with integral calculus."

数学中的两个定理。分别与微分学和积分学相关。

The combined mathematics of differential calculus and integral calculus.

微积分学中有关用导数与微分的观念讨论函数随独立变量改变的部分。

The basic contents of this course include multivariate differential calculus and multivariate integral calculus.

本课程的基本内容包括：多元函数微分学、多元函数积分学，通过教学与练习，要求学生掌握这些内容的基本概念，基本理论和基本运算，并获得运用这些知识的能力。

We can take Fourier transformation or Laplace transformation towards try to of square distance both ends according to the their lines property, differential calculus property and integral calculus property, its conversion for act for of elephant function square distance, from this algebra square the distance beg an elephant function, then take Fourier negative transformation or Laplace negative transformation have to originally square distance of solution.

我们可以根据他们的线性性质，微分性质和积分性质，对欲求的方程两端取Fourier变换或Laplace变换，将其转化为象函数的代理方程，由这个代数方程求出象函数，然后再取Fourier逆变换或Laplace逆变换就得出原来方程的解。

The shaping method of noncircular part and the tool holder's radial motion characters in noncircular turning process are discussed in detail in the thesis.

论文详细研究了非圆零件的成型方法和加工过程中刀架的径向运动规律。

I have not really liked him,I do not like his this kind of disposition.

我没有真的喜欢他，我不喜欢他的这种性格。