查询词典 intersection theorems

By applying existence theorems of maximal elements for a family of GB-majorized mappings in a product space of G-convex spaces, some coincidence theorem, Fan-Browder type fixed point theorem and some existence theorems of solutions for a system of minimax inequalities are proved under noncompact setting of G-convex spaces.

通过应用G-凸空间的乘积空间内一族GB-优化映象的极大元的存在定理，在G-凸空间的非紧设置下证明了某些重合点定理，Fan-Browder型不动点定理和极小极大不等式组的解的存在性定理。

Main points of this paper are as follows:(1) to explain emphatically and to prove the Jukes-Cantor Model, Kimura Model and the relationships of them;(2) to construct and to prove, using EM algorithm, the theorems of estimating best branches of DNA sequences having censored data for Jukes-Cantor Model under the conditions of rooted tree and unrooted tree respectively;(3) to construct and to prove, using EM algorithm, another three theorems of estimating best parameters of DNA sequences having censored data for Kimura Model under the conditions of rooted tree and unrooted tree.

本论文的重点在于解释和证明Jukes-Cantor模型、Kimura模型及两模型之间的关系；运用EM算法构造并证明Jukes-Cantor模型下含缺损数据的DNA序列构建有根树的最佳分枝长度估计定理；运用EM算法构造并证明Kimura模型下含缺损数据的DNA序列构建有根树的最佳参数估计定理。

In this project, we study the theory of higher order differential equations in Banach spaces and related topics. We solve an open problem put forward by two American Mathematicians and two Italian Mathematicians concerning wave equations with generalized Weztzell boundary conditions, introduce an existence family of operators from a Banach space $Y$ to $X$ for the Cauchy problem for higher order differential equations in a Banach space $X$, establish a sufficient and necessary condition ensuring $ACP_n$ possesses an exponentially bounded existence family, as well as some basic results in a quite general setting about the existence and continuous dependence on initial data of the solutions of $ACP_n$ and $IACP_n$. We set up quite a few multiplicative and additive perturbation theorems for existence families governing a wide class of higher order differential equations, regularized cosine operator families, regularized semigroups, and solution operators of Volterra integral equations, obtain classical and strict solutions having optimal regularity for the inhomogeneous nonautonomous heat equations with generalized Wentzell boundary conditions, gain novel existence and uniqueness theorems,which extend essentially the existing results, for mild and classical solutions of nonlocal Cauchy problems for semilinear evolution equations, present a new theorem with regard to the boundary feedback stabilization of a hybrid system composed of a viscoelastic thin plate with one part of its edge clamped and the rest-free part attached to a visocelastic rigid body. Also we obtain many other research results.

在本研究中，我们对Banach空间中的高阶算子微分方程的理论以及相关理论进行了深入研究，解决了由美国和意大利的四位数学家联合提出的一个关于广义Wentzell边界条件下的波动方程适定性的公开问题，恰当地定义了Banach空间中的高阶算子微分方程Cauchy问题的算子存在族及唯一族，建立了齐次和非齐次高阶算子微分方程Cauchy问题适定性的判别定理，获得了关于高阶退化算子微分方程的算子存在族、正则余弦算子族、正则算子半群、Volterra积分方程解算子族的乘积扰动和混合扰动定理，得到了关于以依赖于时间的二阶微分算子为系数的一大类非自治热方程非齐次情形下的时变广义Wentzell动力边值问题的古典解、严格解的最大正则性结果，获得了半线性发展方程非局部Cauchy问题广义解和经典解存在唯一的判别条件，从实质上推广了现有的相关结果；得到了一部分边缘固定而另一部分附在一粘弹性刚体上的薄板构成的混合粘弹性系统的边界反馈稳定化的新稳定化定理，还建立了一系列其他研究结果。

This thesis explains basic financial innovation theorems including "circumventive innovation theorem","transaction cost innovation theorem" and " value chain theory ", etc and the relationship between these theorems and Internet banking; on the basis of analyzing the developing history and current situation of Internet banking business in foreign countries and in china, it points out the major problems existing in our Internet banking innovation, summarizes the experiences in foreign Internet banking which can be referential to our commercial banks, and gets to the conclusion that meeting customer's demands and keeping, maintaining, utilizing the customer relationship effectively are the key points in Internet banking innovation.

阐释了&规避管制理论&、&交易成本理论&、&价值链理论&等金融创新理论的基本内容及其与网络银行业务创新的关系；通过对国内外网络银行业务功能发展历程的简要回顾和对其业务创新现状的介绍，总结了国外发展网络银行业务过程中可供我国商业银行借鉴的经验，探讨了我国网络银行业务创新存在的主要问题，并认为满足客户需求，保持、维护并有效利用银行与客户间的关系是进行网络银行业务创新的关键所在。

Some of convergent theorems and convergent comparison theorems areproved,and some of examples illustrate that these kinds of preconditioned methods iseffective.

文中具体的数值例子可说明本章的两种预处理方法是有意义的。

Have students keep a notebook to record the postulates, theorems, and proofs of selected theorems shown in the video.

让学生们记录录像中的公设，定理及其证明。

PickThe mid-value theorems is a series of mean value theorems in general, is a powerful tool research function.

摘 要微分中值定理是1系列中值定理总称，是研究函数地有力工具。

In chapter 3, as the direct application of the resonance theorems what discussed in chapter 2, we estaiblish corresponding the resonance theorems in Menger probabilistic normed spaces and fuzzy normed spaces.

第三章 作为第二章中给出的共鸣定理的直接应用，建立Menger概率赋范空间和模糊赋范空间中相应的共鸣定理。

Therefore, special design is necessary to strengthen the adit and main tunnel intersection part, especially the side of the acute angle of intersection to guarantee the safety of the structure.

因此，需要对主隧道与横通道交叉部尤其是主隧道与横通道斜交的锐角一侧，给以特别的加强设计以保证结构安全。

Three intersection functions,such as adjacent node set,node-arc angle set and connected node set,were presented,and based on the shortest path method proposed by Dijkstra,a road guide sign model was built by using the intersection functions.

结合路网的拓扑结构，定义了用于确定指路标志的状态函数集，给出了3个描述路网拓扑特征的交叉口函数：邻近结点集、结点-弧段夹角集和连通结点集，基于Dijkstra最短路径的思想，运用交叉口函数建立了城镇指路标志的标识模型：以待标识城镇为中心，在城镇的影响区域内，通过向外搜索交叉口邻近结点集来确定指路标志的设置，并使每个结点上标识的路径都是最优的。

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