搜索结果: 1-4 共查到“数理逻辑与数学基础 extension”相关记录4条 . 查询时间(0.258 秒)
The maximal linear extension theorem in second order arithmetic
maximal linear extension theorem second order arithmetic
2010/12/1
We show that the maximal linear extension theorem for well partial orders is equivalent over RCA0 to ATR0. Analogously, the maximal chain theorem for well partial orders is equivalent to ATR0 over RCA...
The Isometric Extension of the into Mapping from the Unit Sphere $S(l^\infty_{(2)})$ to $S(L^1(\mu))^1$
isometric mapping isometric extension
2007/12/12
This is the first paper to consider the isometric extension problem of an into-mapping between the unit spheres of two different types of spaces. We prove that, under some conditions, an into-isometri...
Matter-Element Modeling of Parallel Structure and Application about Extension PID Control System
Extension control system matter modeling parallel structure PID predictable algorithm
2007/12/11
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...
AN EXTENSION OF THE BINOMIAL THEOREM WITH APPLICATION TO STABILITY THEORY
Routh-Hurwitz Stability Schur-Cohn Stability Stability Theory Control Theory
2010/3/17
We show how it is possible to put different stability types such as Routh-Hurwitz and Schur-Cohn on common grounds by establishing direct links between them. In the process, we obtain natural and eleg...