可微的

First the associated Hamilton-Jacobi-Bellman equation is given, then its continuously differentiable solution is constructed.

首先给出了最优控制问题对应的Hamilton_Jacobi_Bellman方程，接着构造出了它的连续可微解。

Firstly, we prove that if we select nodes properly, and let the distance between these nodes sufficiently small, cubic polynomial spline can approximate a continuously differentiable function, which with continuous derivatives of second order and discontinuity of the first kind in the derivatives of fourth order, to any desirable accuracy. This result lays a theoretical foundation for representing trajectories by splines and double orthogonal basis.

一是证明了适当选取节点并使节点距充分小时，三次多项式样条可以逼近具有二次连续导数的分段四次连续可微函数到足够的精度，这一结论为用样条和双正交基表示弹道打下了理论基础。

On the basis of general Krawczyk-Hansen Operator, the interval iteration of the constrained functions are established; the interval extension of maximum entropy function is discussed; convergence is proved; region deletion rules are supplied and the algorithm of interval maximum entropy has been set up.

利用极大熵函数和罚函数将问题转化为无约束可微优化问题，借助广义Krawczyk-Hansen算子建立了约束函数的区间迭代；讨论了极大熵函数和罚函数的区间扩张，证明了收敛性等性质，给出了无解区域删除原则，建立了区间极大熵算法。

In differentiable manifolds, one studies for instance differentiable structure, definition of differential manifolds, diffeomorphism, tangent space, Embedding theorem, partitions of unity etc.

微分流形部分主要涉及微分结构，微分流形的定义及例子，可微映射，微分同胚，切空间与余切空间，流形的嵌入，单位分解定理等。

And then the sufficient conditions of differentiability for the multivariate function is considered.

然后考虑了一般的多元函数的情形，得到了当多元函数的某个偏导数连续，而其余偏导数存在时，函数可微。

The differentiability of the performance functions is a prerequisite to apply it.

本文利用涂奉生教授提出的关键路径概念研究DEDS性能的函数可微性。

In chapter 3,we study several kinds of fractional differentiabli-ties,and prove the inverse function theorems and Whitney extendedtheorems concerned to them.

第三章研究几种分数可微性，并证明了与它们相关的反函数定理以及Whitney扩张定理

Aim To study the cone-subdifferential of the cone-efficient solution sets for set-valued vector optimization problem with perturbed order.

目的 研究锥扰动集值映射向量优化问题锥有效解的锥次可微性。

Based on nonsmooth analysis theory, the viability criterion is verified under the condition that the set-valued mapping in the right hand side is a polytope and the boundary function of the region is subdifferentiable and its subdifferential is a convex hull of finitely many points.

当右端集值映射为多面体，边界为次可微函数，且次微分为有限点集凸包时，基于非光滑分析理论，给出了在一点处检验生存性条件是否成立的方法。

It is an excellent method for estimating parameters of non-linear, uncontinuous or undifferential model.

实例分析表明，该方法简便、通用，具有较高拟合精度，是非线性、不连续可微模型参数估计的方法。

Since historical times,England ,where the early inhabitants were Celts, has been conquered three times .

从有历史以来，英国，在此地早期居住的是凯尔特人，已经被征服了三次。

Bluetooth OBEX File Transfer Enables the sending and receiving of files on your phone via Bluetooth.

蓝牙OBEX文件移动允许经过蓝牙传送和接受文件。。。。