查询词典 atiyah singer index theorem

The maximum principle of the optimal control for the stochastic systems described by Zakaj stochastic partial sifferential equationis proved by approximately minimum point theorem of E. Ekeland. The convexity and compactness of the set of control values is not assumed, and it is not necessary for the maximum principle about differentiability in control variables included in drift term of the stoch astic system and the integrand in index functional, and costate process satisfies the stochastic partial ...

在不假便定控制变量取值的集合是凸的和紧的，不要求随机系统的漂移项和指标泛函的被积函数关于控制变量具有可微性的情况下，用E，Ekeland的近似极小点定理证明了Zakai随机偏微分方程描述的随机系统的最优控制的最大值原理，和用很简洁的方法证明了协态过程满足一个随机偏微分方程。

Many scholars have studied these respects and given many important results, for example, the Hupperts famous theorem, namely, a finite group G is supersolvable if and only if every maximal subgroup of G has prime index; a finite group G is nilpotent if and only if every maximal subgroup of G is normal in G; a finite group G is solvable if and only if every maximal subgroup of G is c-normal in G (See it in [70]); etc.

很多学者都在这些方面进行了研究，得到了很多重要的结果，如：著名的Huppert定理，即有限群为超可解当且仅当它的所有极大子群的指数为素数；有限群为幂零当且仅当每个极大子群都正规；有限群为可解当且仅当它的极大子群均c-正规(见[70])；等等。

As for the existence of positive solutions, the cone theory and the fixed point index of condensing mapping are employed, and the results of the existence of positive solutions are obtained in the case of superlinear and sublinear. The conclusions extend and improve the existence theorem which Lou Ben-dong extablished in 1996 about the question of Sturm-Liouville of Banach spaces.

三、对于正解存在性问题，我们应用凝聚映射的不动点指数理论，分别在超线性与次线性情形下进行讨论，获得了一些正解存在的结果，主要结果推广和改进了1996年Lou Ben-dong对Banach空间Sturm-Liouville问题所建立的存在性定理。

We show that it has at least one or two or three positive solutions under some assumptions by applying the fixed point theorem and the index theory.

我们运用不动点定理和指标理论在适当的条件下得到了该类问题至少存在一个、两个或三个正解。

By using the fixed point index theorem, several sufficient conditions for the existence of at least one or infinte positive solutions are obtained.

利用不动点指数定理研究了一类二阶非线性常微分方程的三点边值问题正解的存在性问题，得到了至少存在一个或无穷多个正解的几个充分条件。

The present paper employs the cone theory, fixed point index theory, and Krasnoselskii fixed point theorem and ...

本文利用锥理论，不动点理论，Krasnoselskii不动点定理等研究了几类微分方程奇异边值问题解的情况，得到了一些新成果。

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

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

Lastly, the existence theorem of three positive solutions for the boundary value problem of second-order singular functional differential equation be established by applying the index theory of fixed points in a cone.

最后，我们应用锥上的不动点指标理论建立了二阶非线性奇异泛函微分方程边值问题的三个正解的存在性定理。

We establish an asymptotic Lipschitz homotopy invariance theorem for these K-homology groups and K-theory groups. We show that the asymptotic index maps are isomorphisms for the asymptotically scaleable spaces, which include Euclidean cones, simply connected complete Riemannian manifolds with nonpositive curvature.

我们证明了这些K-同调群和K-理论群具有渐近Lipschitz同伦不变性；对于渐近可标度的几何空间（包括欧氏锥、单连通非正曲率完备黎曼流形等），证明了渐近指标映射为同构。

In this paper, we proposed a new type multiplicative Knapsack public-Key cryptosystem, which is based on the index theorem.

本文基于指数原理，构造了一种新的乘积型背包体制。

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