查询词典 mathematical

Since its inception, mathematical logic has contributed to, and has been motivated by, the study of foundations of mathematics.

程序语言学、语义学的研究从模型论衍生而来，而程序验证则从模型论的模型检测衍生而来。

A good example of this was the machine-aided proof of the four color theorem, which was very controversial as the first claimed mathematical proof which was essentially impossible to verify by humans due to the enormous size of the program's calculation (such proofs are called non-surveyable proofs).

一个很好的例子，这是机器辅助证明了四色定理，这是非常具有争议的第一人数学证明基本上是无法核实由于人类的巨大规模，该项目的计算（如证明是所谓非surveyable证明）。

This paper mainly discusses the problem of how to establish four-color mathematical model of Flexography.

中文摘要：本文主要研究了柔性版印刷四色呈色数学模型的建立问题。

The Research on application of optimization problem in calculous ;2. In this paper, we mainly discuss how to teach calculous , such as limit of sequence of number, Taylor expansion and Fourier expansion, by using mathematical software.

围绕微积分学习中涉及数列的极限、函数的泰勒展开式和傅立叶展开式等几个基本方面，论述如何利用数学软件mathematica进行辅助教学，达到深刻而形象的理解微积分教学中较为复杂的数学概念及数学现象的目的，从而激发学生学习兴趣，促进微积分学习。

Based on SPWM basic principle and Fourier series theory, the mathematical model of output waveform of SPWM voltage source inverter is built.

根据SPWM的基本原理与付立叶级数理论，建立了SPWM电压型逆变器输出波形的数学模型。

If the floor were infinite in extent, the mathematical distribution of reflected light could be regarded in terms of a two-dimensional Fourier series.

如果地板的广度是无限的，那么可以用一个二维傅里叶级数来表示反射光的数学分布。

Based on recently advanced 〓 T cell fratricide model we set up a mathematical model.

基于近来提出的〓T细胞自相残杀假设，我们建立了一个数学模型。

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线性积分方程特征函数的源脉冲波形最优解数学公式模型，并开发了一套有效的数值求解算法。

Which may be called"Mathematical French Curve".

该方法模拟手工采用曲线板进行船体型线光顺修改的技巧，建立了曲线板的数学模型，并将其应用于计算机图形的交互修改之中。

And the mathematical model of"MFC"is built on the basis of simulating the fairing tool-"French Curve"which is usually used for drawing ship lines.

在实际应用中，本文还将二维的"数学曲线板"拓广应用于三维的船体型线的自动光顺修改，避免了通常修改一个型值点必须反复在三个投影面上交互修改的麻烦。

I can still vividly recall the impressive scenes you gave. You were among my friends and relatives who accompanied me from my house to the seaport and when the porters were slow to show up, you obligingly carried my suitcase for me.

你对我的种种感人情意，使我记忆犹新，那天你随着我的亲友从家里送我上轮船，搬运工迟迟不来，你毅然替我提着皮箱上船。

St. Nicholas became the patron saint of Russia, where he was famous for his red cape, flowing white beard, and bishop's mitre.

圣尼古拉成了俄罗斯人的守护神，在那里，他以身披红斗篷，留着飘逸的白胡须，戴着主教法冠而闻名。