查询词典 converse theorem

By using cross-iteration technique and the Schauder fixed point theorem, the existence theorem of travelling wave solutions of this system is established.

针对反应项的不同单调性，引进交互迭代格式，利用Schauder不动点定理建立了行波解的存在性定理，并将所得结论应用到时滞竞争系统。

In chapter II,the preliminary knowledgefor accomplishing this research is presented,and the well-posed problem ofthe thin-plate flow of non-Newtonian viscous fluids is testified.By using themonotone operator theory and Schauder's fixed point theorem,the generalizedsolution's existence and uniqueness theorem for the thin-plate flow problem ofnon-Newtonian viscous fluids is obtained under reasonable conditions.

第二章给出了进行本项研究所需的一些预备知识，对非牛顿粘性流体薄板流问题广义解的适定性进行了研究，应用单调算子理论和不动点定理，在合理的条件下，证明了非牛顿粘性流体薄板流问题广义解的存在性，唯一性定理。

In Chapter 3 Firstly, the exponential stability in mean square and almost sure exponential stability for neutral stochstic neural networks with time-varying delay can be discussed by using the linear matrix inequality and the semimartingale convergence theorem; And our sufficient conditions are less conserative; Secondly, by utilizing the fixed point theorem, some sufficient and necessary conditions ensuring the asymp- totic stability in mean square for neutral stochastic neural networks with time-varying delays can be given.

第三章首先，利用线性矩阵不等式方法和半鞅收敛定理，考虑了一类具变时滞中立型随机神经网络的二阶矩指数稳定性和几乎必然指数稳定性，所得到的条件保守性要好；其次，采用不动点方法，给出了具变时滞中立型随机神经网络的二阶矩渐近稳定性的充要条件。

Then relative interior is introduced and an alternative theorem of generalized convex set-valued maps is established by using the separation theorem.

引进了相对内部，应用凸集分离定理建立了一个广义凸集值映射的择一性定理。

In the paper the separate theorem of convex set with weak topology σ(L ∞,L 1) is proved, and the topological characterization about No Free Lunch with Vanishing Risk Condition is given, from it, the equivalency between exist of equivalent martingale measures and NFLVR is proved, this is the first fundamental theorem of asset pricing.

资产定价的第一基本定理是数量金融学中核心的定理之一，本文证明了在 L∞的弱*拓扑σ(L∞，L1)中的凸集分离定理，并在此定理的基础上给出了没有无风险免费午餐的拓扑描述，证明了市场公平性与没有无风险免费午餐条件的等价性，从而重新证明了资产定价的第一基本定理。

The existence theorem of generalized weak efficient solutions with respect to variable, cone for a linear G〓teaux differentiable mapping is proved with set valued mapping fixed-point theorem and the relation between a vector optimization and a variational inequality problem. The existence of weak efficient solutions for multi-objective convex vector optimization is characterized.

建立映射在线性G〓teaux可微条件下关于可变锥的广义弱有效解的存在性及多目标凸向量优化问题在G〓teaux可微条件下弱有效解的特征，利用集值映射不动点定理及向量优化与变分不等式的关系证明线性G〓teaux可微锥凸映射关于可变锥的广义弱有效解的存在性定理。

In chapter 1, similarity and perturbations of nest subalgebras of factor von Neumann algebras are studied. A similarity theorem is given (see Theorem 1. 2. 3), and it is shown that similar nests in a factor von Neumann algebra are close.

第一章研究因子von Neumann代数中套的相似性和套子代数的摄动，获到一个相似定理（定理1.2.3），其几何意义是：因子von Neumann代数中相似的套聚拢在一起并可向外扩展。

Since Bloch's Theorem applies only to periodic potentials, and since unceasing random movements of atoms in a crystal disrupt periodicity, Bloch's Theorem is only an approximation, but it has proven to be a tremendously valuable approximation, without which most solid-state physics analysis would be intractable.

由于布洛赫定理仅对周期性势场的情况严格成立，而由于实际的晶体中不可避免的有各种缺陷或者原子相对于平衡位置的位移，所以布洛赫定理对于实际晶体来说只是一个近似。但是布洛赫定理对于固体物理的研究不可或缺。

Using two new methods, this paper prores one pertubation theorem on the finite Hilbert space of 2×2 operator matrices, and gereralizes this theorem to the infinite Hilbert space of selfadjoint operators.

给出了有限维Hilbert空间中2×2算子矩阵的数值域扰动定理的两种证明方法，并且将该定理推广到无限维Hilbert空间上的自伴算子。

First, a switching function is designed to guarantee that the movement of the system is asymptotically stable in the switching manifold. And the equation of the switching surface is given based on pole assignment theorem; Then a discrete robust adaptive quasi-sliding-mode tracking controller is presented by constructing the two adaptive gains, and the globally asymptotically stability of the system is proved based on the Lyapunov-Razumikhin stability theorem.

首先，利用广义系统的概念给出了系数矩阵为能控标准型的滑模面方程，并利用极点配置定理给出了能使系统稳定的滑模面；其次，构造了含有自适应律的离散趋近律，设计了能够使系统达到同步的变结构控制器，并利用Lyapunov稳定性定理，证明了系统的趋近运动的稳定性。

Nowadays, most of research are to build a transmutative Petri Nets through adding controlling place sets, controlling arc sets and controlling policy to the basic Petri Nets, while the Controlled Petri Nets could be used to argue many controlling theory problems conveniently and to induce many logically and physically supervisory and solve the Event Feedback Controlling Problems and State Feedback Controlling Problem in DEDS supervisory theory.

目前大多数的研究表现为在变形后的受控Petri网基础上，利用各种方法求得各种逻辑型、结构型控制器，解决DEDS监控理论中的事件反馈控制问题与状态反馈控制问题。

On one hand, there are discussions with the works council and union about extension of short time working up to the end of September.

一方面，有讨论，工程理事会和联盟关于延长工作时间短至9月底。