查询词典 constructive existence proof

The company researches, develops, and produces each kind of fire-proof safes, fire-proof file cabinets.

公司研发、产各种规格的防火保险箱防火文件柜。

It includes the functions of theft-proof and fire-proof,performing automatic detection and automatic dial.

智能化住宅防盗防火报警系统集防盗防火功能于一体，可实现自动检测与自动电话拨号报警。

Reproduction proof: A proof taken from type for subsequent reproduction.

复制用稿样：从活字版上压印所得的稿样，作随从的复制工序用。

S Proof Kennedy Half Dollar 2009 S Proof - struck with composition of 90% silver.

肯尼迪半美元-与90％的银成分。

When you select Proof of Delivery within the Tracking Details screen for a specific Tracking number, you will view a UPS Proof of Delivery that includes the same information provided in a standard UPS P.O.D. request.

当您在&包裹追踪详细信息&窗口中选择特定包裹追踪编码的递送证明时，您将看到 UPS递送证明，它包含的信息与在标准 UPS 递送证明请求中提供的信息相同。

In addition also introduced the differential theorem of mean in the proof equality and the inequality, the certificate equation root existence, asks the limit, to ask the approximate value, as well as aspect and so on research function condition should thus deepen to the differential theorem of mean understanding.

此外还介绍了微分中值定理在证明等式和不等式、证明方程根的存在性、求极限、求近似值，以及研究函数性态等方面的应用，从而加深对微分中值定理的理解。

This is ample proof of its existence value.

这充分证明它存在的价值。

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分岔的存在性，并研究了分岔周期解的渐近稳定性，得到了确定周期解的渐近稳定性、分岔方向、周期解的渐近形式的算法；用平均时延作为分岔参数，发现带强核的连续时延神经网络中存在着系统的状态由稳定变化到振荡现象，当继续增加平均时延参数时，又从振荡变为稳定这一特殊的动力学现象。

We give a brief proof of the existence theorem of Supremum and Infimum of a bounded set of fuzzy numbers given by Wu cong-xin and Wu chong in [30] . It is used to establish the monotone convergence theorem and the nest theorem of closed intervals on E〓,τ

给出了吴从忻、吴冲[30]得到的模糊数集的确界存在定理的一个简洁证明，并利用此定理在空间E〓，τ(l中建立了模糊数序列的单调收敛定理和闭区间套定理。

Butseems like the circularity is not that bad, at least itisthe proof of my existence.

不过这个轮回还是不错的，至少证明我真切地活着

Liapunov—Schmidt method is one of the most important method in the bifurcation theory.

Liapunov—Schmidt方法是分叉理论的最重要方法之一。

Be courteous -- even when people are most discourteous to you .

要有礼貌──即使当別人对你最不礼貌的时候。