为提高综掘巷道的掘进效率、改善支护工艺,设计一种用于综掘巷道迎头顶板支护的迈步式超前支护装备。通过对装备工作原理的分析,建立其三维模型。为检验装备的支护效果,设计了支护特性实验方案,构建实验平台,基于实验平台进行了双组支...为提高综掘巷道的掘进效率、改善支护工艺,设计一种用于综掘巷道迎头顶板支护的迈步式超前支护装备。通过对装备工作原理的分析,建立其三维模型。为检验装备的支护效果,设计了支护特性实验方案,构建实验平台,基于实验平台进行了双组支撑状态下的支护实验。实验结果表明：顶板上离固支边越远处动态位移变形量越大,接触力波动也越大;在双组支撑状态下,顶板变形量最大达到9 mm,接触力最大幅值达到5.84 k N,位置均为顶板纵向中线位置处,在被支护后,该位置最迟趋于稳定;在双组支撑状态下,顶板变形及接触力经历2~3 s波动后都将趋于平稳;超前支护装备对顶板的稳定性能起到良好的控制作用,能提高顶板的安全性,为后续产品研发及工业实验提供依据。展开更多
In this paper we consider extreme points and support points for compact subclasses of normalized biholomorphic mappings of the Euclidean unit ball Bn in Cn. We consider the class So（Bn） of biholomorphic mappings on ...In this paper we consider extreme points and support points for compact subclasses of normalized biholomorphic mappings of the Euclidean unit ball Bn in Cn. We consider the class So（Bn） of biholomorphic mappings on Bn which have parametric representation, i.e., they are the initial elements f（-, O） of a Loewner chain f（x,t） = etz ＋ ... such that {e-tf（.,t）}t≥o is a normal family on Bn. We show that if f（.,O） is an extreme point （respectively a support point） of So（Bn）, then e-t f（., t） is an extreme point of So（Bn） for t≥0 （respectively a support point of So（Bn） for t C [O, t0] and some to〉 0）. This is a generalization to the n-dimensional case of work due to Pell. Also, we prove analogous results for mappings which belong to So（Bn） and which are bounded in the norm by a fixed constant. We relate the study of this class to reachable sets in control theory generalizing work of Roth. Finally we consider extreme points and support points for biholomorphic mappings of Bn generated by using extension operators that preserve Loewner chains.展开更多
文摘为提高综掘巷道的掘进效率、改善支护工艺,设计一种用于综掘巷道迎头顶板支护的迈步式超前支护装备。通过对装备工作原理的分析,建立其三维模型。为检验装备的支护效果,设计了支护特性实验方案,构建实验平台,基于实验平台进行了双组支撑状态下的支护实验。实验结果表明：顶板上离固支边越远处动态位移变形量越大,接触力波动也越大;在双组支撑状态下,顶板变形量最大达到9 mm,接触力最大幅值达到5.84 k N,位置均为顶板纵向中线位置处,在被支护后,该位置最迟趋于稳定;在双组支撑状态下,顶板变形及接触力经历2~3 s波动后都将趋于平稳;超前支护装备对顶板的稳定性能起到良好的控制作用,能提高顶板的安全性,为后续产品研发及工业实验提供依据。
基金supported by the Natural Sciences and Engineering Research Council of Canada (Grant No. A9221)Grant-in-Aid for Scientific Research (C) from Japan Society for the Promotion of Science, 2011 (Grant No. 22540213)the Romanian Ministry of Education and Research, UEFISCSU-CNCSIS(Grants Nos. PN-II-ID 524/2007, 525/2007)
文摘In this paper we consider extreme points and support points for compact subclasses of normalized biholomorphic mappings of the Euclidean unit ball Bn in Cn. We consider the class So（Bn） of biholomorphic mappings on Bn which have parametric representation, i.e., they are the initial elements f（-, O） of a Loewner chain f（x,t） = etz ＋ ... such that {e-tf（.,t）}t≥o is a normal family on Bn. We show that if f（.,O） is an extreme point （respectively a support point） of So（Bn）, then e-t f（., t） is an extreme point of So（Bn） for t≥0 （respectively a support point of So（Bn） for t C [O, t0] and some to〉 0）. This is a generalization to the n-dimensional case of work due to Pell. Also, we prove analogous results for mappings which belong to So（Bn） and which are bounded in the norm by a fixed constant. We relate the study of this class to reachable sets in control theory generalizing work of Roth. Finally we consider extreme points and support points for biholomorphic mappings of Bn generated by using extension operators that preserve Loewner chains.
