Search Results: 1 - 10 of 100 matches for " "
All listed articles are free for downloading (OA Articles)
Page 1 /100
Display every page Item
冷备和温备系统的可靠度评估方法  [PDF]
系统工程理论与实践 , 2001,
Abstract: ?研究冷备和温备系统的可靠度评估问题,得出了系统可靠度的点估计、矩结构和置信下限.模拟研究和实际例子说明这种评估方法比较符合实际.
An index for Brouwer homeomorphisms and homotopy Brouwer theory  [PDF]
Frédéric Le Roux
Mathematics , 2014, DOI: 10.1017/etds.2015.56
Abstract: We use the homotopy Brouwer theory of Handel to define a Poincar{\'e} index between two orbits for an orientation preserving fixed point free homeomorphism of the plane. Furthermore, we prove that this index is almost additive.
A Hypercomputation in Brouwer's Constructivism  [PDF]
Rasoul Ramezanian
Computer Science , 2014,
Abstract: In contrast to other constructivist schools, for Brouwer, the notion of "constructive object" is not restricted to be presented as `words' in some finite alphabet of symbols, and choice sequences which are non-predetermined and unfinished objects are legitimate constructive objects. In this way, Brouwer's constructivism goes beyond Turing computability. Further, in 1999, the term hypercomputation was introduced by J. Copeland. Hypercomputation refers to models of computation which go beyond Church-Turing thesis. In this paper, we propose a hypercomputation called persistently evolutionary Turing machines based on Brouwer's notion of being constructive.
Conjugacy invariants for Brouwer mapping classes  [PDF]
Juliette Bavard
Mathematics , 2015,
Abstract: We give new tools for homotopy Brouwer theory. In particular, we describe a canonical reducing set (the set of "walls") which splits the plane into maximal translation areas and irreducible areas. We then focus on Brouwer mapping classes relatively to four orbits and describe them explicitly by adding to Handel's diagram and to the set of walls a "tangle", which is essentially an isotopy class of simple closed curves in the cylinder minus two points.
Three Brouwer fixed point theorems for homeomorphisms of the plane  [PDF]
Lucien Guillou
Mathematics , 2012,
Abstract: We prove three theorems giving fixed points for orientation preserving homeomorphisms of the plane following forgotten results of Brouwer.
An easily verifiable proof of the Brouwer fixed point theorem  [PDF]
Yukio Takeuchi,Tomonari Suzuki
Mathematics , 2011,
Abstract: We give a remarkably elementary proof of the Brouwer fixed point theorem. The proof is verifiable for most of the mathematicians.
超深天然气井的测试实践与分析——兼论一次性完井工艺  [PDF]
天然气工业 , 1989,
Abstract: ?本文通过一次性完井的理论分析与现场实践,对超深井试油测试技术方面的一些关健问题进行了较系统的研究和探讨.
An introduction to Handel's homotopy Brouwer theory  [PDF]
Frédéric Le Roux
Mathematics , 2012,
Abstract: Homotopy Brouwer theory is a tool to study the dynamics of surface homeomorphisms. We introduce and illustrate the main objects of homotopy Brouwer theory, and provide a proof of Handel's fixed point theorem. These are the notes of a mini-course held during the workshop "Superficies en Montevideo" in March 2012.
Brouwer Fixed Point Theorem in the General Case
Karol P k
Formalized Mathematics , 2011, DOI: 10.2478/v10037-011-0024-3
Abstract: In this article we prove the Brouwer fixed point theorem for an arbitrary convex compact subset of εn with a non empty interior. This article is based on [15].
Brouwer Fixed Point Theorem for Simplexes
Karol P k
Formalized Mathematics , 2011, DOI: 10.2478/v10037-011-0023-4
Abstract: In this article we prove the Brouwer fixed point theorem for an arbitrary simplex which is the convex hull of its n + 1 affinely indepedent vertices of εn. First we introduce the Lebesgue number, which for an arbitrary open cover of a compact metric space M is a positive real number so that any ball of about such radius must be completely contained in a member of the cover. Then we introduce the notion of a bounded simplicial complex and the diameter of a bounded simplicial complex. We also prove the estimation of diameter decrease which is connected with the barycentric subdivision. Finally, we prove the Brouwer fixed point theorem and compute the small inductive dimension of εn. This article is based on [16].
Page 1 /100
Display every page Item

Copyright © 2008-2017 Open Access Library. All rights reserved.