查询词典 theorems

This thesis concerns convergence theorems and truncation error bounds for all kinds of continued fractions with applications to matrix function computation.

这扁论文讨论了各类连分式的收敛性与误差估计以及它在矩阵函数计算方面的一些应用。

He theorems of Turing tell us that certain problems cannot be solved

uring 的定理告诉我们某些问题是不能解决的。

The uniqueness problems of meromorphic functions involving multiple values have been discussed with Nevanlinna theory and a series of unicity theorems have been derived in the this paper.

用Nevanlinna理论对涉及重值时的亚纯函数唯一性问题进行了讨论，并得出了一系列唯一性定理，其中有些定理是对Nevanlinna R，仪洪勋，杨力，Ozawa M等人的几个定理的推广。

Direct and inverse theorems of approximation by this kind of operators are discussed, and the Jackson—type integral estimation of approximation and Steckin — Marchaud inequality of weak type of uniform approximation for these operators are obtained.

讨论了一元Bernstein型算子的逼近正逆定理，建立了该算子逼近的Jackson型积分估计式和一致逼近的弱Steckin-Marchaud型不等式。

For instance, we obtained the existence and uniqueness theorem and several judgement theorems on stability and instability for several types of nonlinear singular systems. Using Z-transformation, we estabilished the response formula of discrete singular systems with delay, and obtained the sufficient and necessary condition of rearchability.

如我们得到了某些非线性广义系统解的存在唯一性定理，及稳定与渐近稳定的判据；利用Z变换方法，得到了滞后离散广义系统的一般响应公式，进而得到了局部可达与局部能控的充要条件等。

This paper using complex analyis and functional analysis,studies spirallike mappings on unit ball in several complex variables,and obtains the growth and covering theorems about a kind of spirallike mappings with zero of higher order.

以复分析与泛函分析为工具，研究多复变数单位球上的螺形映照，给出了一类螺形映照的高阶零点形式的增长和掩盖定理。

By applying a Fan-Glicksberg type fixed point theorem for upper semicontinuous set-valued mappings with closed acyclic values and a maximum theorem,several existence theorems of weighted Nath-equilibria and Pareto equilibria for the constrained multiobjective games are proved in noncompact locally convex H-spaces.

应用局部凸H－空间内具有闭零调值的上半连续集值映象的Fan－Glicksberg型不动点定理和极大化定理，对无限最优化总理2和约束对策问题在没有线性结构的局部凸H－空间内证明了解的某些新的存在定理，这些定理改进和推广了最近文献中的许多重要结果。

In 1925, R. Nevanlinna established two fundamental theorems of meromorphic functions and the study of the value distribution theory of modern times started.

Nevanlinna建立了亚纯函数的两个基本定理，开始了值分布理论的近代研究。

First, the Lyapunov functional and variation of constants method are adopted to study the effect that Sigmoid function and the relation of resistance, capacitance and current in Hopfield neural networks have on the stability of networks. The stability criterion constructed by physics parameters is obtained. Thus how the constrained relation of physics parameters affects the stability of Hopfielf neural networks is clear. Based on the study above, the perturbation model of recurrent neural networks is constructed. And the theorems of the existence of solution of perturbation model are presented.

首先，采用Lyapunov泛函法和常数变易法研究Hopfield神经网络中给出的电阻、电容、电流之间的关系以及Sigmoid函数对网络稳定性的影响规律，得出仅由物理模型参数构成的稳定性判据，从而弄清物理模型参数约束关系对Hopfield神经网络稳定性所起的作用，在此基础上，构建了递归神经网络的扰动模型，并通过讨论扰动模型解的存在性问题，给出递归神经网络扰动模型解的存在性定理。

Fourier Series, Fundamental Theorems of Vector Calculus, Inverse Function

课程内容：实数系，Euclidean空间与距离空间，函数数列，函数级数，连续函数，可微

Neither the killing of Mr Zarqawi nor any breakthrough on the political front will stop the insurgency and the fratricidal murders in their tracks.

在对危险的南部地区访问时，他斥责什叶派民兵领导人对中央集权的挑衅行为。

In fact,I've got him on the satellite mobile right now.

实际上 我们已接通卫星可视电话了