英语人>网络例句>高度定理 相关的搜索结果
网络例句

高度定理

与 高度定理 相关的网络例句 [注:此内容来源于网络,仅供参考]

By using the integral equation and the Schauder fixed point theorem, through considering the height of nonlinear term on some bounded set, a new existence theorem is established.

利用积分方程和Schauder不动点定理,通过考察非线性项在某些有界集合上的高度建立了一个新的存在定理。

In section one, we introduce some background of the topic, in section two we review some basic and recent results about the structure and hierarchies of the computably enumerable degrees which are closely related to our topic- the algebraic structure of the plus cupping Turing degrees, in section three, we outline the basic principles of the priority tree argument, one of the main frameworks and tools of theorem proving in computability theory, and in section four, we prove a new result concerning the algebraic structure of the plus cupping Turing degrees that there exist two computably enumerable degrees a, b such that a, b ? PC, and the join a V b of a and b is high.

度结合为0′。本篇论文分为4个部分:第一部分介绍了这个领域的一些背景知识;第二部分主要回顾了前人在研究可计算枚举度的结构和层谱时所取得的一些基本和最新结果,这些结果与我们的主题—加杯图灵度的代数结构密切相关;在第三部分中,我们概要的描述了优先树方法的基本原理,此方法是可计算性理论中定理证明的一个重要框架和工具;第四部分证明了一个加杯图灵度代数结构的新结果:存在两个可计算枚举度a,b,满足a,b∈PC,而且a和b的并a∨b是一个高度。

First theorem shows that the class of problems has at least one solution provided the integral of height function is appropriate.

第一个定理表明只要高度函数的积分是适当的,这类问题至少有一个解。

He also extended quasi-geostrophic non-acceleration theorem to primitive equation non-acceleration theorem.

他在国际上首创湿倾斜涡度发展理论和全型垂直涡度方程,成功地揭示青藏高原西南涡和夏季江淮流域的暴雨发展机理,揭示副热带高压形态变异的成因;证明创新的原始方程中的无加速定理以及大气运动的动力强迫和热力强迫的调配率;开展创新性气候动力研究,揭示中高纬和热带海气相互作用差异的机理及厄尔尼诺影响台风频率的机制,继承和发展了我国学者关于青藏高原对大气环流和天气气候影响的研究;在国际上首次把亚洲季风爆发分为三个阶段,证明由于中高纬度的强地转性和斜压性使其海气相互作用的特征与热带显著不同;首次用数值模式提出厄尔尼诺影响台风的机制,得到国际上的高度评价。

The existence of solution is studied for a class of second - order periodic boundary value problems with first applying Leray - Schauder fixed point theorem, two exislence theorems are established.

考察了一类非线性项含有一阶导数的二阶周期边值问题的解的存在性,其中非线性项是Carathèodory函数。通过构造非线性项的高度函数并且利用Leray-Schauder不动点定理建立了两个存在定理。

推荐网络例句

However, as the name(read-only memory)implies, CD disks cannot be written onorchanged in any way.

然而,正如其名字所指出的那样,CD盘不能写,也不能用任何方式改变其内容。

Galvanizes steel pallet is mainly export which suits standard packing of European Union, the North America. galvanizes steel pallet is suitable to heavy rack. Pallet surface can design plate type, corrugated and the gap form, satisfies the different requirements.

镀锌钢托盘多用于出口,替代木托盘,免薰蒸,符合欧盟、北美各国对出口货物包装材料的法令要求;喷涂钢托盘适用于重载上货架之用,托盘表面根据需要制作成平板状、波纹状及间隔形式,满足不同的使用要求。

A single payment file can be uploaded from an ERP system to effect all pan-China RMB payments and overseas payments in all currencies.

付款指令文件可从您的 ERP 系统上传到我们的电子银行系统来只是国内及对海外各种币种付款。