查询词典 predicate calculus

As a branch of mathematics, the birth of calculus of variations is the phenomenon results of many of the world's scientists continue to explore the reality.

变分法作为数学的一个分支，它的诞生是科学家对现实世界许多现象不断探索的结果。

Chapter 7 considers application of variation methods to systems with infinite degrees of freedom, and Chapter 8 deals with direct methods in the calculus of variations.

第7章认为，变异的系统方法的应用与自由无限度，和第8章在变分法直接的方法处理。

His thesis dealt with the topic of the calculus of variations.

后来他又到芝加哥大学攻读博士学位，于1937年他33岁时终于取得了博士学位。

The shape optimization is studied by adopting the domainintegrated method which is based on the calculus of variations during the shape design sensitivity analysis.

探讨了基于变分法的敏度分析在形状优化设计中的应用，提出敏度分析过程中提高速度场求解效率和有限元网格质量的新方法。

As functions of the function of mathematics, the Key theorem of calculus of variations is Euler LaGrange, it can be used to the pan-seeking function of the maximum and minimum of mathematical.

变分法是处理函数的函数的数学领域，关键定理是欧拉－拉格朗日方程，用来求的泛函数的极大值和极小值的数学方法。

This is an introduction to advanced analysis at the beginning graduate level that blends a modern presentation with concrete examples and applications, in particular in the areas of calculus of variations and partial differential equations.

这开始一调和与具体例子和应用一起的一现代演出的毕业生水平的介绍先进分析，尤其在变分法和偏微分方程的区域内。

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算法的变分法推导。

There had been a moment during the breakfast meeting, though, after the backslapping and the small talk and when all of us were seated, with Vice President Cheney eating his eggs Benedict impassively and Karl Rove at the far end of the table discreetly checking his BlackBerry, that I witnessed a different side of the man.

那次早餐会期间，在表示过关心和寒暄以后，我们所有人坐了下来，我注意观察了一下，副总统切尼面无表情地吃着班尼迪克蛋（Eggs benedict，源自美国，以英式松饼、火腿、水煮蛋以及荷兰酱组合而成），卡尔。罗夫在餐桌的远端谨慎地经常查看他的黑莓手机，我目睹了他所不为人知的一面。

Talk Undelete failed; someone else may have undeleted the page first.

Talk 无法删除选定的页面或图像（它可能已经被其他人删除了）。