查询词典 calculus

In classical calculus of variations, functional minimum problem is often transformed into boundary-value problem of differential equations.

已有的求解方法中，无论是变分法，还是直接法，求解过程都必须离线进行。

Calculus of variations seeks to optimize an objective defined over many points in time, by considering how the objective function changes if there is a small change in the choice path.

在一些分支，该技术的目的主要是为了优化的动态范围内

It provides a streamlined and quick introduction to read.freeduan.com the fundamental concepts of Banach space and Lebesgue integration theory and the basic notions of the calculus of variations, including Sobolev space theory.

天气提供一精简和迅速的的介绍read.freeduan.com Banach 空间和Lebesgue综合理论和变分法的基本观念的基本概念，包括Sobolev 空间理论。

Then, corresponding to the particular form of the functional, a generalized BPTT algorithm is provided and its realization using calculus of variations is given.

文中针对泛函J=ψ+∫〓Fdt的形式，推导了相应的BPTT算法，并给出BPTT算法的变分法推导。

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.

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

But we don't care about Battlegrounds.

但我们并不在乎沙场中的显露。

Ah! don't mention it, the butcher's shop is a horror.

啊！不用提了。提到肉，真是糟透了。