查询词典 atiyah singer index theorem

The exchange theorem of bases of closed regular fuzzy matroids is obtained with the help of "the exchange theorem of bases" of crisp matroids. Then,the relations between the fuzzy bases and the fuzzy circuits in closed regular fuzzy matroids are studied, and some necessary and sufficient conditions for some fuzzy independent set to be a fuzzy base; some fuzzy circuits from a fuzzy base, and some fuzzy bases from a fuzzy circuit are investigated.

根据传统拟阵的基交换定理，作者给出了闭正规模糊拟阵的基交换定理，得到了一系列结论，并在此基础上进一步研究了闭正规模糊拟阵的模糊基与模糊圈之间的关系，然后给出了闭正规模糊拟阵中某模糊独立集是模糊基、从一个模糊基得到一些模糊圈、以及从一个模糊圈得到一些模糊基的充要条件。

Then obtains the judgment theorem and existence theorem of the rational root of the integral coefficient polynomial.

进而得出整系数多项式的有理根的一个判定定理和根的存在定理。

Furthermore the existence theorem of periodic solutions was obtained by using Liapunov center theorem, and an example was presented to illustrate the results.

利用Liapunov中心定理，进一步得到了周期解的存在性定理，并举例说明结果的应用。

In addition, when the nonlinearities have the properties of mixed-monotonicity, the existence of a positive solution for difference equations is ob-tainded by using fixed point theorem in a cone or fixed point theorem of conic expansion and compression.

在最后一部分讨论了带有特征值的非线性二阶差分方程正解存在性问题，利用锥压缩与拉伸不动点定理及逼近性理论，在一定的假设条件下，得到了差分方程正解存在性。

The method includes a "Theorem of General Expansion" for a complicated network and a "Theorem of Minimizing Expansion" for a logical expression.

本文提出了复杂网络的"大展开定理"和逻辑表式的"最小化展开定理"，并简要地叙述了本文作者已发表在"继电器"杂志(1978年1、2期)上的"逻辑——概率变换"和"单幂变换"等法则。

By using the theorem on cone expansion and compression and a fixed point theorem on cone,this paper is concerned with the existence of positive solutions for some boundary value problem of singular nonliear semipositive second-order three-point boundary value problem,which improve many known results.

运用锥拉伸与压缩不动点定理研究非线性奇异半正二阶三点边值问题正解的存在性，推广了一些已知的结果。

We prove an extension of the representation theorem of the convex pricing rule. We also give the corresponding probabilistic repre-sentation theorem of the convex pricing rule in a financial market with convex constraints.

我们证明了凸价格算子相应的表示定理，并给出了在凸约束的金融市场下凸价格算子的一个概率表达式。

Automated geometric theorem proving, as a byproduct of the completion of geometric theorems, is further developed into automated quantitative description of geometric relations. The recovery of the geometric meaning of this quantitative description leads to a natural extension of the geometric theorem.

几何定理的机器证明作为几何定理完全化的副产品，被发展成几何定理的关系定量化，这种量化的几何还原就是几何定理的自然推广。

Through presentation and discussion of traditional wavelet construction with lifting scheme, the multiwavelet construction with lifting scheme is introduced. The extension of Vetterli-Herley theorem under multiwavelet condition is overall proved in detail. Based on equivalent scalar filters banks, a kind of multiwavelet construction with lifting scheme and corresponding theorem are proposed.

通过介绍基于提升格式构造传统小波的内容，引入基于提升格式构造多小波的研究，对Vetterli-Herley定理在多小波中扩展进行详细全面地证明，提出了一种基于等效标量滤波器组的提升格式构造多小波的实现框架和定理，并通过实例验证该方案的可行性。

Meantime, the Namioka-Bauer's and Wong's positive extension theorem are generalized to ordered locally convex spaces (see Theorem 5.1) and hence some new necessary and sufficient conditions of positive extension in ordered locally convex spaces are obtained

同时Namioka-Bauer 定理和 Wong定理也被推广到半序局部凸空间中(定理5.1)，从而得到了一些新的关于半序局部凸空间中正延拓的充分必要条件

Listen,point and check your answers.

听，指出并且检查你的答案。

Warming needle is one of effective treatment methods for knee arthralgia aggravated by cold,and it is simple,safety,so it should be developed in clinical acupuncture and moxibustion extensively.

但以本院科针灸门诊在2005年1月—2006年6月期间共收治膝痛患者100余例，经过临床的诊断后，其中施以温针治疗的48例，疗效显著，报道如下。1临床资料本组病例48