查询词典 calculus bovis

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线性积分方程特征函数的源脉冲波形最优解数学公式模型，并开发了一套有效的数值求解算法。

Course Content:The main part of this course is about infinitesimal calculus and ordinary differential equations,including :functions and limits,derivative and differential integral and their application,differential methods of function of several variables and its application,heavy integral,curve integral,camber integral,infinite progression and differential equations.

课程内容：学科教学法与CAI研究与实践是师范计算机专业教学系统的重要组成部分，学科教学法与CAI研究与实践课程是计算机科学教育的主要内容。通过本课程的学习使学生掌握现代学科教学法与CAI研究与实践的基本概念，基本原理和基本方法；能设计并使用所学的教学理论进行中学信息技术课程的教学设计，试讲，试教。课程内容：以微积分学和常微分方程为主干，介绍函数与极限，导数与微分，中值定理。不定积分，定积分及其应用，多元函数微分法及其应用，重积分，曲线积分与曲面积分，无穷级数及微分方程等。

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

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

We present the preliminary knowledge in Chapter 2,which includes the main properties of Sobolev Functional Space,the calculus on the Banach Space and the existence and uniqueness of the solutions of parabolic equations.

第二章给出了本文的预备知识，即Sobolev函数空间基本性质和Banach空间上的微分学，以及抛物型方程解的存在唯一性。

The stability and convergence for spectral methods and spectral element methods are presented, with the aid of the knowledge of functional analysis and calculus and with the help of the theorem of Lax-Milagram, the stability and convergence for steady problems, evolution equations and Navier-Stokes Equations are analyzed in detail.

利用泛函分析和微积分的基本知识，运用Lax-Milagram定理等，从理论上比较详细地分析了谱方法和谱元方法在定常问题、非定常问题以及求解Navier-Stokes方程方面的稳定性和收敛性问题，得出了Navier-Stokes方程谱近似的稳定性条件和收敛性准则。

The term originates from functional programming and lambda calculus, where a lambda abstraction defines an unnamed function.

这一术语来源自函数式编程和 lambda 运算，lambda 抽像定义了一个匿名函数。

The functional by variational calculus leads to a set of elliptic partial differential equations,in particular,Poisson equations,which is possibly solved by numerical methods.

利用变分法可以从这个二次误差指标函数导出一组椭圆形偏微分方程泊松方程，这类方程有相当成熟的数值解法。

The basic features of digital baseline estimation for multi-channel pulse height analysis are introduced. The weight-Junction of minimum-noise baseline filter is deduced with functional variational calculus. The frequency response of this filter is also deduced with Fourier thansformation, and the influence of parameters on amplitude frequency response characteristics is discussed.

介绍了用于多道脉冲幅度分析的数字基线估计方法的基本特点，利用泛函变分方法推导了最小噪声基线滤波器的计权函数，利用Fourier变换导出了数字基线估计的频率响应，探讨了参数取值对其幅频特性的影响。

The variational problems of the complete functional in calculus of variations are studied deperding on the arbitrary arguments,arbitrary multivariable functions and arbitrary-order partial derivatives of multivariable functions.

研究变分法中依赖于任意个自变量、任意个多元函数和任意阶多元函数偏导数的完全泛函的变分问题；提出并证明了完全泛函的变分问题的定理，采用偏微分算子，给出了完全欧拉方程组。

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函数证明了一类强制微分算子可以生成分数次正则预解族，并给出了该预解族的范数估计。

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数据流的质量检测。