查询词典 theorems

In the study of the first problem, by using the fixed-point index theorems, we get the existence of boundary value problem in neither superlinear nor sublinear condition.

在第二种形式边值问题的研究中，主要利用Krasnoselskii不动点定理，得到了一些正解存在性定理及正解不存在性定理。

Some theorems and corollaries are presented for delay-independent stability and exponential-stability of linear time-delay systems.

本文利用Lyapunov稳定性理论和Razumikhin稳定性理论，研究了时滞系统的鲁棒稳定性及其鲁棒控制问题。

Bull; Then we'll take up theorems, lemmas, propositions, and corollaries and how to study the way the subject fits together.

回望一路跑来的方向，它以在那片黄色的海洋里留下了轨迹，刚刚经过的菜花还在不停地摇曳者。

Secondly we will show some important lemmas and theorems which are used in the proofs of the conclusions in the paper.

在本章中，讨论了在第二章中定义下的Wiener过程在加权线性组合下的增量有多大。

Then we give and prove some theorems and lemmas on potentialwell.

列举并证明了有关位势井的一些定理和引理。

This thesis is organized as follows. In Chapter 1, some necessary definitions and notations, the background and main result of this thesis are given; In Chapter 2, some auxiliary lemmas and theorems are obtained; In Chapter 3, the main result is proved.

本文第一章介绍了一些必要的概念与记号，问题的背景及本文主要结果；第二章给出了一些辅助引理及定理；第三章给出主要结果的证明。

Expressing the programming language as a set of postulates from which to derive theorems is very difficult.

表达程序设计语言很困难，如一组假定是从哪里得来的。

With the aid of the parser tree of L, the authors analyse some characteristics of words belonging to Adh, and prove iteration theorems for adherences of regular languages and context-free languages, thus solving the problem on syntactic structure for the adherence of corresponding languages.

语言附着的句法结构郭清泉（山东大学计算机科学系，济南250100）摘要本文研究语言L的附着Adh的句法结构，借助于L的语法分析树，我们分析了Adh的句法特征，提出并证明了正规语言和上下文无关语言附着的叠代定理，从而解决了这两类语言的附着的句法

The analytic technique which is first invented by professor Liu Wen is skillfully introduced to the study of strong limit theorems for Markov chain fields on trees by professor Liu Wen and his copartners. In this paper, the martingale technique is applied to continue the study in this respect.

刘文教授及其合作者把刘老师首创的分析方法巧妙的引入了树上马尔可夫链场的强极限定理的研究工作中，本论文应用鞅方法继续了这方面的研究工作。

If '' H '' is a subgroup of ''G'', the following useful theorems, stated without proof, hold for all cosets

如果 ''H''是''G''的子群，则下面陈述而不带证明的有用定理对所有陪集都成立

Through comparing with the results by simulation to study the effects of theprojectile"s final velocity, the angle of rotation and the ballistic trajectory"s migration withdifferent projectile"s rotating speeds, different target"s moving speeds and differentpenetration angles.

通过比较数值模拟的结果来研究不同弹头转速、目标速度、侵彻角对侵彻过程中弹头最终速度、翻转角度和弹道偏移的影响。

I love stationery and all the accoutrement of writing.

我爱文具以及所有的书写的工具装备。