查询词典 statement calculus

I of course include the usual formulas for solutions of the usual linear PDE, but also devote large amounts of exposition to energy methods within Sobolev space, to the calculus of variations, to conservation laws, etc.

当然，这本书中包含通常的线性偏微分方程的解的通常的表达式，并且对在索伯列夫空间中的能量估计，变量的计算，守恒律等进行了阐述。

This minimum is computed with the calculus of variations and the gradient descent method, which provide a system of evolution equations solved with the well-known level set method.

能量泛函的极小值由变分法求解，利用梯度下降法和水平集方法推倒演化方程。

ABSTRACT In this thesis, using the methods of ODE and calculus of variations, we prove the existence of radial and non-radial solutions of some classes of quasilinear elliptic equations.

本文主要是用ODE方法和极小变分方法证明拟线性椭圆型方程径向解和非径向解的存在性，用先验估计方法证明拟线性抛物型方程整体解的不存在性，得到了一些关于拟线性方程的新结果。

Based on intensive investigation of original sources and research literatures on the subject in consideration,and under the paradigm why mathematics was done in the history of mathematics,the dissertation studies systematically the origin and invention of the calculus of variations by means of source analysis and comparative argumentation.

变分法是研究泛函极值的数学分支，它不仅与数学中众多分支联系紧密，而且也为物理学提供了重要的原理，同时又有着十分广泛的应用，凶此，对其历史进行研究，具有极为重要的理论价值和现实意义。

It is provedby using the compactness for Borel partitions,the properties of the SBD functions andsets with finite perimeter, and the direct method in the Calculus of Variations.

主要利用Borel分解的紧性、SBD函数和有限周长集的性质，通过变分的直接方法给出证明。

Using some hypothesis,in this paper,a function of the number of check-verifying times in unit time for safety mornitor systems is presented the extreme functional value by the calculus of variations is evaluated and a mathematical model of check-verifying period with the minimum of check-verifying and losing cost is obtained.

在一系列假设的基础上，给出了安全监测系统单位时间内校验次数的泛函，用变分法求泛函极值，得出了校验费和损失费最小的校验周期数学模型。

By the analysis of Euler\'s three earlier papers on the calculus of variations and that of his mistake on the fundamental principle,and the comparison with Euler\'s and his pioneers\' solutions,the refinement of Euler\'s two core achievements,i.e., fundamental equation and isoperimetric rule,is explained.

通过对欧拉与伯努利兄弟和泰勒等人的解法进行比较和分析，揭示了欧拉对变分法一般性研究的背景、切入点、思想来源和演变；通过对欧拉所犯错误的原因及其影响进行深入分析，指出《技巧》一书并不仅仅是欧拉对早期研究的系统总结和改进，还包含着某种突破和变革。4。

The performance function and constraint equation in calculus of variations were constructed by analyzing input and output equations of the system containing parameters to be estimated. The traditional parameter estimation problem could be transformed to that of least squares estimation.

通过分析包含待估参数的系统输入输出方程，构造变分法中的性能范函和约束方程，将传统的参数估计问题化为带约束条件的最小二乘估计问题；利用拉格朗日乘子法，分析参数估计方程，得到参数的最优估计。

The sensitivity analysis which is based on the calculus of variations is used in the shape optimization. The design velocity field is solved by Herrmann method. An example shows that both the quality of the FEM mesh and the efficiency of the computing of the design velocity field are improved by Herrmann method.

算例表明优化过程中采用Herrmann网格均匀化法求解设计速度场，可以提高优化过程中网格的质量，速度场的求解效率也得到极大的提高从而优化的效果和效率都有明显提高。

So the effect and the efficiency of the shape optimization are guaranteed. If using sensitivity analysis which is based on the calculus of variations in the shape optimization, the sensitivity analysis can be a relatively independent module. The efficiency of computing the design velocity field and the quality of mesh will be improved by using Herrmann method.

在形状优化过程中，采用基于变分法的敏度分析，可以使敏度分析成为单独模块，在进行设计速度场求解时采用Herrmann法，使速度场求解的效率和优化过程的质量得到保证。

"The operators will suffer a temporary decrease in the number of consumers and short message services as people may not like having to provide their ID cards for a phone number," Xu Junqi, vice-dean with the Policy-Making Institute of the Telecommunications Research Centre under MII, said yesterday.

信息产业部下属的通信决策研究院副主任徐俊其昨天说：&实行手机实名制后，人们可能不太情愿用身份证注册手机号，所以通信运营商会暂时面临用户减少和短信用户减少的问题。&

I don't believe in make-believe!

我不相信这些虚构的故事。