查询词典 propositional calculus

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

Sodium citrate; calcium carbonate; calcium hydroxide; potassium bicorbonate; magnesium carbonate; ferrous sulphate; Zinc sulphate; copper sulphate; manganese sulphate; potassium iodide; sodium selenite.

柠檬酸钠；碳酸钙；氢氧化钙；碳酸氢钾；碳酸镁；硫酸亚铁；硫酸锌；硫酸铜；硫酸锰；碘化钾；亚硒酸钠。

All this to say that I'm glad filmmaking hasn't become completely ironic. I can enjoy an ironic film as much as the next person, but they usually involve a message of some sort. One that's delivered in a smirkingly clever way that requires little in the way of talent.

所有这些都是说，我很高兴电影制作没有变成完全讽刺艺术，我可以和下一个人一样享受讽刺电影的乐趣，虽然他们经常会被划归到一定级别，技术方面不需要很高的才能。