理学 >>> 数学 >>> 数理逻辑与数学基础 >>> 演绎逻辑学 证明论 递归论 模型论 公理集合论 数学基础 数理逻辑与数学基础其他学科
搜索结果: 1-8 共查到数理逻辑与数学基础 element X相关记录8条 . 查询时间(0.187 秒)
An unfitted interface penalty finite element method is proposed for the interface problems, in which Nitsche's method together with the ideas of merging elements and harmonic weighing fluxes are used,...
We present a direct proof of the consistency of the existence of a five element basis for the uncountable linear orders. Our argument is based on the approach of [9] and simplifies the original proof ...
Reversible computing is a concept re ecting physical reversibility. Until now several reversible systems have been investigated.
A posteriori estimates for mixed finite element discretizations of the Navier-Stokes equations are derived. We show that the task of estimating the error in the evolutionary Navier-Stokes equations ca...
We know that any element $X$ of the exceptional Jordan algebra $\gJ$ is transformed to a diagonal form by the compact exceptional Lie group $F_4$. However, its proof is used the method which is reduce...
We continue our study on variable order Arnold-Falk-Winther elements for 2D elasticity in context of both affine and parametric curvilinear elements. We present an $h$-stability result for affine ele...
A two-grid scheme based on mixed finite-element approximations to the incompressible Navier-Stokes equations is introduced and analyzed. In the first level the standard mixed finite-element approxima...
This article describes in detail a new method via the extension predictable algorithm of the matter-element model of parallel structure tuning the parameters of the extension PID controller. In compar...

中国研究生教育排行榜-

正在加载...

中国学术期刊排行榜-

正在加载...

世界大学科研机构排行榜-

正在加载...

中国大学排行榜-

正在加载...

人 物-

正在加载...

课 件-

正在加载...

视听资料-

正在加载...

研招资料 -

正在加载...

知识要闻-

正在加载...

国际动态-

正在加载...

会议中心-

正在加载...

学术指南-

正在加载...

学术站点-

正在加载...