查询词典 abelian extension

The operation and learning algorithms of fuzzy information neural networks are based on the level cut operation of fuzzy sets and the extension theorem of fuzzy sets.

神经模糊系统为以神经网络为工具实现模糊系统的方法。

An Extension on Differential Mean Value Theorem of Cauchy ;2. Infinitesimal in Cauchy ′s Cours d′ Analyse;3. This paper studies and analyzes the reasons and the background of Cauchy defined the residue concept,in which we have used the method of historic analysis and literature review.

采用历史分析和文献考证的方法，探讨和分析了柯西定义留数概念的原因及背景指明柯西从一些数学家的相关工作出发，在对C-R方程进行了讨论和分析之后，产生了他关于复积分问题的讨论。

The problem of stabilizing networked PI control systems with fuzzy logic compensation is studied by applying the extension of the Hermite-Biehler theorem to the quasi-polynomial stability problem.

该方法的优点是可利用现有的确定性系统的设计方法设计控制器，缺点是由于缓冲区将时滞都转化成最大时滞，降低了系统应有

In Chapter 4,we obtain the optimality for the quasi-score function 〓in a more general class of estimation functions〓,where〓and〓or〓This result is a extension of Gauss-Markov theorem of the linear model to the nonlin-eaar model.

在本章中，我们得到拟得分函数〓在一种较大的估计函数类〓中的最优性，其中〓而〓或〓于是，我们得到类似于线性模型中的Gauss-Markov定理和拟得分函数的拟Fisher信息上界及达到上界的充要条件：〓，其中〓为真实未知的得分函数，〓为模型均值。

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定理在多小波中扩展进行详细全面地证明，提出了一种基于等效标量滤波器组的提升格式构造多小波的实现框架和定理，并通过实例验证该方案的可行性。

Although the localic Urysohn lemma was proved by Papert in 1958 early, and then Dowker and Papert improved this proof, but the localic Tietze extension theorem, which is stronger in form and is more convenient to be used, has not been proved for more than thirty years.

虽然Locale形式的Urysohn引理早在1958年即已由Papert证明，9年后Dowker和Papert又对此证明加以改进，但形式上更强、更便于应用的Locale形式的Tietze扩张定理却三十余年未获证明。

The contents are the following:In chapter two, the existence and multiplicity results for the following equation of p-Laplacian type are obtained.For the elliptic quasilinear hemivariational inequality involving the p-Laplacian operator,in order to use the mountain pass theorem proving the existence result, the authors usually need to use the uniform convexity of the Sobolev space to prove the energy function satisfies the PS condition. But for the p-Laplacian type equation mentioned above, this method is no use. To overcome this difficulty, the potential function is assumed to be convex, then I prove the existence result and by using the extension of the Ricceri theorem, the multiplicity result for the problem is obtained.

在第二章我们首先考虑关于以下p-Laplacian型(p-Laplacian type)方程非平凡解及多解的存在性对于带有p-Laplacian算子的椭圆拟线性半边分不等式问题，为应用非光滑的山路引理证明解的存在性，在证明方程所对应的能量泛函满足非光滑的PS条件时，需利用Sobolev空间的一致凸性，但是对于具有更一般形式的算子的p-Laplacian型方程，不具备上述性质，在文中为克服这一困难，本人对位势泛函做了一致凸的假设，从而证明了解的存在性，并应用推广的Ricceri定理，证明了方程三个解的存在性。

Letг is a theory,if г has extensions,then the theorem of the theory г is the intersectionof its all extensions;if г has no extension,its theorem is the whole language.

由于非单调逻辑I中出现了一些与直觉相悖的情形，为此，D。

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