查询词典 functional calculus

The traditional distinction based on the matrix attribute reduction algorithm analysis, for distinction in the matrix "repeat" Too many elements, these "duplicate" elements not only in solving attribute reduction in the process does not work, But also reduce the time efficiency by improving the shortcomings that distinction in the matrix structure in the process of using Proposition calculus in the absorption of the law removed the distinction between the functions of the non-functional "repeat"element, a property Reduction of improved algorithm RADM, improve the efficiency of the attribute reduction.

通过对传统的基于区分矩阵的属性约简算法进行分析后，针对区分矩阵中"重复"元素过多，同时这些"重复"元素非但在求解属性约简的过程中不起作用，而且还降低时间效率这一缺点进行了改进，即在构造区分矩阵的过程中，利用命题演算中的吸收律去掉了在区分函数中不起作用的"重复"元素，提出了一种属性约简的改进算法RADM，提高了属性约简效率。

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

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

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

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.

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

Firstly, the approach formulates a cost functional to turn the inverse problem into a constrained minimization problem according to least squares criterion, then the resulting constrained minimization problem is transformed into an unconstrained minimization problem by using a penalty function technique, and then the closed Fr chet derivatives of the Lagrange function with respect to the properties are derived based on the calculus of variations, finally, one can solve the resulting problem by using any gradient-based algorithm and the finite-difference time-domain method.

该方法首先以最小二乘准则构造目标函数，将逆问题表示为约束最小化问题；接着应用罚函数法转化为无约束最小化问题；然后基于变分计算导出闭式的拉格朗日函数关于特征参数的Fr chet导数；最后借助梯度算法和时域有限差分法迭代反演德拜模型参数。

Advanced course covering topics selected from: semimartingale theory, stochastic integrals, homogeneous chaos expansions, stochastic differential equations, Malliavin calculus, infinite dimensional processes, functional central limit theorems, Feynman-Kac formula, Feynman integral.

随机分析：高级课程，包括：半鞅理论，随机积分，齐次混沌展开，随机差分方程， Malliavin 微积分，，有限维过程，泛函中心极限理论， Feynman-Kac公式， Feynman积分，过滤理论的应用，无限粒子系统，量子力学，神经学中的随机模型。

Through establishing the functional of the source pulse which is based on the concept of "usable energy" in the received pulse and then extremizing the functional by means of the calculus of variations, the mathematical models of the optimized source pulse waveforms are shown to be associated with the eigenfunctions of a homogeneous Fredholm linear integral equation of the second kind. An efficient algorithm is developed for numerically solving the integral equation models.

论文研究了基于延迟反射脉冲序列无源标签的UWB RFID系统的基本工作原理并进行了详细的信号描述和分析，通过建立基于接收脉冲"有效能量"概念的源脉冲波形函数的泛函和使用变分计算泛函极值，得到了相关于第二类齐次Fredholm线性积分方程特征函数的源脉冲波形最优解数学公式模型，并开发了一套有效的数值求解算法。

The topics include the spectral theorem, the functional calculus and the Fredholm index.

主题包括谱定理，功能演算和弗雷德霍尔姆指数。

ELNF calculus is a functional/logic calculus system which based on LNF calculus by extending it to include logic programming ability.

ELNF演算的解释技术金海，李智勇，张运桢，阳富民，银海（华中理工大学计算机系，武汉430074）摘要ELNF演算是我们在LNF演算的基础上扩充逻辑程序设计能力而得到的一种函数／逻辑演算系统，它构成了作者设计的函数／逻辑语言RFUNLOG的基础。

The main results are as follows: the relations between local fractional integrated semigroups and the corresponding Cauchy problem, global fractional integrated semigroups and regularized semigroups are given; introduction of the notion of regularized resolvent families, and the generation theorem and analyticity criterions for regularized resolvent families are obtained; the spectral inclusions between fractional resolvent family and its generator, and the approximation for fractional resolvent families in the cases of generators approximation and fractional orders approximation; elliptic operators with variable coefficients generating fractional resolvent family on L^2 by using numerical range techniques; and the L^p theory for elliptic operators with real coefficients highest order are obtained by Sobolev''s inequalities and the a priori estimates for elliptic operators; and a kind of coercive differential operators generates fractional regularized resolvent family by applying the Fourier multiplier method, functional calculus and some basic properties of Mittag-Leffler functions.

主要结论是：给出了局部分数次积分半群和相应的Cauchy问题的关系以及分数次积分半群和正则半群的关系；引入了正则预解族的概念，并给出了其生成定理和解析生成法则；给出了分数次预解族与其生成元的谱包含关系，并研究了在生成元逼近和分数阶逼近两种情况下相应的预解族的逼近问题；利用数值域方法证明了具变系数的椭圆算子在L^2上生成分数次预解族；利用Sobolev不等式和椭圆算子的先验估计证明了具变系数的椭圆算子在其最高项系数为实数时在L^p上生成分数次预解族；运用Fourier乘子理论、泛函演算和Mittag-Leffler函数证明了一类强制微分算子可以生成分数次正则预解族，并给出了该预解族的范数估计。

The split between the two groups can hardly be papered over.

这两个团体间的分歧难以掩饰。

This approach not only encourages a greater number of responses, but minimizes the likelihood of stale groupthink.

这种做法不仅鼓励了更多的反应，而且减少跟风的可能性。