查询词典 calculus bovis

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.

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

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网格均匀化法求解设计速度场，可以提高优化过程中网格的质量，速度场的求解效率也得到极大的提高从而优化的效果和效率都有明显提高。

You can snipe the second and third union leaders from this position.

您可以鹬第二和第三工会领袖从这一立场出发。

Aiming at the currently shortage of XML streams quality detecting, this paper proposes a new forecasting method of XML streams quality by least squares support vector machines, which is used the method of XML keys' vector matrix as windows, and vector product wavelet transform to multilevel decompose and refactor the XML streams series, that can fulfill real-time checking demand of XML quality, and ensure constraint, consist- ency and integrality. For even more adapting net load, it proposes a control strategy by weight and adaptive adjustment to ensure XML streams quality.

针对当前XML数据流质量检测存在的不足，提出构建XML键的矢量矩阵作为窗口，利用矢量积小波变换多级分解与重构XML数据流，再结合最小二乘支持向量机对XML数据流质量进行预测的一种方法，满足XML数据流质量重构时实时检测的要求，保证XML数据的约束性、一致性与完整性；为了更好的适应网络负载，采取加权与自适应窗口调整等调度策略充分保证XML数据流的质量检测。