查询词典 operational calculus

The sum of algebraic rewriting system and second order λ-calculus can be used as an operational model of FOPL.

对一个类定义，通过限制方程的从左向右使用即可得到一个代数重写系统，代数重写系统和二阶λ演算的和即可作为FOPL的一个操作模型。

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.

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

The present paper proposes an analytical method of solution, in which operational calculus and Laplace transform are applied.

将所得结果和以前的结果对照，发现有一些差异；即过去的计算的结果一般使密度偏低，并且在变化较大的区间无法正确地估计及计算出来。本文的方法是严格的，可以知道各处的精确程度。

A basic model of active magnetic regenerator was described, and the model was solved according to Lach theory adopting Mikusinski operational calculus method.

介绍了活性蓄冷器的基本模型，并对该模型采用Lach理论以Mikusinski运算积分的方法进行求解，得到了活性蓄冷器温度分布的半解析解。

A bigraphical representation of a Seal calculus without replication is provided in this paper,and structural correspondence and operational correspondence between the Seal calculus and its bigraphical representation are analyzed.

文中给出了一种不带复制进程表达式的Seal演算的偶图表示，分析了该Seal演算与其偶图表示间的结构对应和操作对应。

The present paper proposes an analytical method of solution, in which operational calculus and Laplace transform are applied.

将所得结果和以前的结果对照，发现有一些差异；即过去的计算的结果一般使密度偏低，并且在变化较大的区间无法正确地估计及计算出来。

Means the parent directory, so this command means to execute "toolchain.sh," which is in the current directory.

代表父目录，所以这个命令就是执行当前目录下的"toolchain.sh"。

Yes,In fact,I'm on our city ream.

是的。事实上我是我们市队的。