查询词典 approximation calculus

The second part has summarized from the one-dimension and multivariate respects the abundant approximation properties of Bernstein polynomials, mainly including the estimation of approximation degree, derivative approximation, linear combination approximation and weighted approximation.

第二部分从一元和多元两个方面系统总结了Bernstein算子丰富的逼近性质，主要包括逼近度估计、导数逼近、线性组合逼近和加权逼近等。

The close relationship between the Hybrid polynomial approximation and the classical Hermite polynomial approximation to rational curves and surfaces are studied, Hermite approximation is in fact a special case of Hybrid approximation. The sufficient and necessary condition for the convergence of Hybrid approximation to rational Bézier surface is deduced and proved.

围绕着有理曲线曲面的Hybrid逼近，作者研究了有理曲线曲面的Hybrid多项式逼近与传统的Hermite多项式逼近之间的密切关系，并指出Hermite逼近事实上是Hybrid逼近的一种特例，此后演绎并证明了有理Bézier曲面的Hybrid多项式逼近收敛的充分必要条件。

More than 30 kinds of meshfree methods are reviewed in this paper in the light of weighted residual method, and different meshfree methods can be viewed as different forms of weighted residual method and/or with different approximation functions. Various kinds of meshfree approximate schemes are presented in detail, including moving least square approximation, kernel and reproducing kernel approximation, partition of unity approximation, radial basis approximation, radial point interpolation and natural neighbor interpolation.

详尽介绍了各种无网格近似方案(包括移动最小二乘近似、核近似和重构核近似、单位分解近似、径向基函数近似、点插值近似、自然邻接点插值近似等)和无网格法中常用的各类加权余量法(伽辽金格式、配点格式、局部弱形式、加权最小二乘格式和边界积分格式等)，并讨论了数值积分方法和边界条件的处理等问题。

ABSTRACT This paper summarizes our researches on two key techniques in curve and surface modeling-the geometric approximation techniques and the geometric interpolation techniques. The former includes three types of geometric approximation techniques: Hybrid polynomial approximation to rational curves and surfaces, offset curves and surfaces approximation, interval Bézier curves and surfaces approximation. The latter includes a series of algorithms for shape blending modeling: the MSI algorithm for shape blending between space polylines or trees, the MSI algorithm for shape blending between triangular meshes, and skeleton-based shape blending algorithms using triangular decomposition and star-shape decomposition.

本文是作者对曲线曲面造型中两类核心技术几何逼近技术和几何插值技术的研究成果的总结，其中前者包括有理曲线曲面的Hybrid多项式逼近、等距曲线曲面逼近和区间曲线曲面逼近等三类几何逼近方法；后者包括用于形状混合造型的几何插值方法的一系列算法：空间多边形形状混合的MSI插值算法、三角网格形状混合的MSI插值算法、树的形状混合的MSI插值算法以及基于骨架树形状混合的三角剖分算法和星形剖分算法。

Using differential calculus knowledge to testify inequality, Calculus of higher mathematics is the core and calculus method of higher mathematics is typical of the whole mathematical method, the method is introduced for calculus ideas to solve the problem of finding an inequation, to make way for obtaining inequalities can be simple, the application of differential mid-value theorem and Taylor formula illustrate some of the inequality proof method.

运用微分学知识证明不等式；微积分是高等数学的核心，微积分思想方法是高等数学乃至整个数学的典型方法，微积分思想方法的引入为解决不等式证明的难题找到了突破，用来解不等式可使解题思路变得简单，文章应用微分中值定理及泰勒公式举例说明了部分不等式的证明方法。

The calcalus learns is a mathematic branch connected closely with scientific application.Infinitesimal is an important componant in the theoretical system and has an outstanding effect on the forming of the basis and conception of the theory. infinitesimal ; calculus ; the calculus learns ; differential calculus ; integral calculus

引 言微积分学是建立在实数、函数和极限理论基础上，研究函数微分、积分以及有关概念与应用的数学分支。17世纪精密科学的飞速发展，天文学、力学、光学、工业技术要求数学彻底革新，导致了无穷小概念的问世，促使费马增量理论开创微分学的先河，同时奠定了柯西的极限理论。

In SPVT (security protocol verifying tool), the specification language is the π-like calculus extended with three appendixes, the Dolev-Yao model is described with Horn logic rules, the π-like calculus model of security protocol is transformed into the logic program model by abstract rules, the security properties are verified based on the calculus of the logic program's fixpoint, and the counter-examples on security properties are constructed from the process of the fixpoint calculus and the process of the property verification.

在SPVT中，以扩展附加项的类演算作为安全协议描述语言，以扩展附加项的Horn逻辑规则描述协议攻击者的Dolev-Yao模型，通过一组抽象规则将安全协议的类(演算模型转换为逻辑程序模型，基于安全协议逻辑程序的不动点计算验证安全性质，从安全协议逻辑程序的不动点计算和安全性质的验证过程中构造不满足安全性质的安全协议反例。

Prolonged markedly the time of sleep in mice with the hypnotic effect induced by phenobarbital sodium, while SWNH (50 mg/kg), the natural calculus bovis (100 mg/kg), and the artificial calculus bovis (100 mg/kg) did not. SWNH (500, 1,000, 2,000 mg/kg), the natural calculus bovis (1,000 mg/kg), and the artificial calculus bovis (1,000 mg/kg) i.g.

生物牛黄中间体100mg/kg体重、150mg/kg体重腹腔注射给药，可使苯巴比妥钠引起的小鼠睡眠时间明显延长；生物牛黄中间体50mg/kg体重、天然牛黄100mg/kg体重和人工牛黄100mg/kg体重对睡眠时间的延长无明显影响。

During the study of incidence calculus theory, we firstly clarified original incidence calculus and the probabilistic reasoning mechanism on it. We then introduced the improvement of generalized incidence calculus theory proposed by Liu~[18], which establishes incidence calculus theory on Lukasiewiczs three valued logic.

本文首先阐述了原始的发生率计算理论及其上的概率推理机制，然后引入Liu对该理论的改进，以Lukasiewicz三值逻辑为基础，并提出了这个扩展的理论与证据理论之间的等价关系。

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

Many will continue to choose to live in duality and in conflict.

许多人将继续选择活在二元对立性和冲突中。

I find that students of the University of Physical Education all wear sportswear at first sight.

我发现：体育大学的学生乍一看，都是穿运动衣，大家都一样