查询词典 proof of existence

Algorithm application of neural networks.Ⅲ Implementation of neuro-computers. The main contribution of the dissertation can be summarized as follows: 1 Hopf bifurcation of three kind of neural networks are discussed in detail, including type of discrete time delay, type of time delay with weak kernel and strong kernel as well as the proof of existence of bifurcation. Other problems such as asymptotic stability of bifurcation periodic solution, algorithm of determining the bifurcation direction, asymptotic stability and style of periodic solution are also studied. The average time delay is chosen as the bifurcation parameter, phenomena pertinent to system states of the continuous time delay network with strong kernel evolving from stable to oscillating, then back to stable again are observed.

论文的主要创新之处可以归纳如下： 1）针对目前国内外对神经网络的分岔研究较少的情况，论文中详细讨论了带离散时延神经网络、带弱核的连续时延神经网络、带连续分布时延且具有强核的神经网络的Hopf分岔现象，从理论上证明了Hopf分岔的存在性，并研究了分岔周期解的渐近稳定性，得到了确定周期解的渐近稳定性、分岔方向、周期解的渐近形式的算法；用平均时延作为分岔参数，发现带强核的连续时延神经网络中存在着系统的状态由稳定变化到振荡现象，当继续增加平均时延参数时，又从振荡变为稳定这一特殊的动力学现象。

Furthermore, the proof of correctness of CalcCycleTime is also the proof of the existence of cycle time, the existence of generalized eigenvectors, and the duality theorem.

本论文中给出的CalcCycleTime算法的正确性证明同时是周时存在性、广义特征向量存在性和对偶定理的证明。

With a definite standard of proof, provided that the weight of proof met the standard, the factum probandum is to be proved and the burden of proof of parties is discharged, then the judge can regard the existence of the facts as the basis of judgment.

在一定的证明标准下，一旦证据的证明力达到这一标准，就认为待证事实得到了证明，即当事人卸除证明负担，法官可以该事实的存在作为裁判的依据。

For the first time, in [3] the authors discussed the inequalities of B-B and by using them the authors give a proof of the existence and uniqueness of the generalized solution for magnetostatic field problem with zero boundary value. By using the inequalities of B--H in, in[-5,6] the authors give a proof of the existence and uniqueness of the generalized solutions for 3-D magnetostatic field Neumann problem and 2-D magnetic field first boundary value initial problem.

前人已讨论了B—H间的几个基本不式，并由之证明了三维静磁场带零边值问题广义解的存在与唯一性，作者也曾利用给出的B—H间的不式证明了三维静磁场Neumann问题和二维时变场第一边值初值问题广义解的存在与唯一性。

This thesis presents some research on nonlinear damping Sine-Gordon beam equation and give the proof of existence and uniqueness under The details will go as follows.

本文对物理学中提出的一类具非线性阻尼的Sine-Gordon型梁方程进行了研究，给出了该方程解的存在唯一性。

Proof of existence of such Mahatma's, as portrayed by her, has never been found.

从来没有发现她所描述的这种圣人存在的证明。

In chapter 2 we shall give the proof of existence and uniqueness of solution to thestudied problem.

第二章给出具有薄层的抛物型方程等值面边值问题解的存在性与唯一性。

But not one editor had given that proof of existence.

但是没有一个编辑证明有那种可能性。

Of course, with the large scale, the proof of existence will also become muchmore difficult. That needs further study and exploration.

当然，随着规模的变大，存在性证明的困难性也会增强，这需要我们进一步的研究和探讨。

The chemist Dalton first gave a proof of the existence of atoms and the engineer Sadi Carnot first gave a proof of the Second Law of Thermodynamics.

化学家道尔顿最先证明了原子的存在，工程师萨迪。卡诺第一个证明了热力学第二定律。

Means the parent directory, so this command means to execute "toolchain.sh," which is in the current directory.

代表父目录，所以这个命令就是执行当前目录下的"toolchain.sh"。

Yes,In fact,I'm on our city ream.

是的。事实上我是我们市队的。