查询词典 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.

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

And Pharaoh spoke to Joseph, saying, Your father and your brothers have come to you.

47：5 法老对约瑟说，你父亲和你弟兄们到你这里来了。

Additionally, the approximate flattening of surface strip using lines linking midpoints on perpendicular lines between geodesic curves and the unconditional extreme value method are discussed.

提出了用测地线方程、曲面上两点间短程线来计算膜结构曲面测地线的方法，同时，采用测地线间垂线的中点连线和用无约束极值法进行空间条状曲面近似展开的分析。