In the Kaiping Coal field,mining of five coal seams,located within 80 m in the Kailuan Group,#5,#7,#8,#9 and#12 coal seam,is difficult due to small interburden thickness,concentrated stress distributions,high coal sea...In the Kaiping Coal field,mining of five coal seams,located within 80 m in the Kailuan Group,#5,#7,#8,#9 and#12 coal seam,is difficult due to small interburden thickness,concentrated stress distributions,high coal seam metamorphism,and complex geological conditions.By using the ZTR12 geological penetration radar(GPR)survey combined with borehole observations,the overburden caving due to mining of the five coals seams was measured.The development characteristics of full-cover rock fractures after mining were obtained from the GPR scan,which provides a measurement basis for the control of rock strata in close multiple coal seam mining.For the first time,it was found that the overburden caving pattern shows a periodic triangular caved characteristic.Furthermore,it is proposed that an upright triangular collapsed pile masonry and an inverted triangular with larger fragments piled up alternately appear in the lower gob.The research results show that the roof structure formed in the gob area can support the key overlying strata,which is beneficial to ensure the integrity and stability of the upper coal seams in multiple-seam mining of close coal seams.展开更多
In this paper, necessary and sufficient conditions for a closed range composition operator CФ on the general family of holomorphic function spaces F（p,q,s） and more generally on α-Besov type spaces F（p,αp-2,s） ...In this paper, necessary and sufficient conditions for a closed range composition operator CФ on the general family of holomorphic function spaces F（p,q,s） and more generally on α-Besov type spaces F（p,αp-2,s） are given. We give a Carleson measure characterization on F （p, αp - 2, s） spaces, then we indicate how Carleson measures can be used to characterize boundedness and compactness of CФ on F（p,q,s） and F（p,αp- 2,s） spaces.展开更多
The main purpose of this paper is to prove a collection of new fixed point theorems and existence theorems for the nonlinear operator equation F（x） = αx （α≥〉 1） for so-called 1-set weakly contractive operators...The main purpose of this paper is to prove a collection of new fixed point theorems and existence theorems for the nonlinear operator equation F（x） = αx （α≥〉 1） for so-called 1-set weakly contractive operators on unbounded domains in Banach spaces. We also introduce the concept of weakly semi-closed operator at the origin and obtain a series of new fixed point theorems and the existence theorems for the nonlinear operator equation F（x） = αx （α≥1） for such class of operators. As consequences, the main results general- ize and improve the relevant results, which are obtained by O＇Regan and A. Ben Amar and M. Mnif in 1998 and 2009 respectively. In addition, we get the famous fixed point theorems of Leray-Schauder, Altman, Petryshyn and Rothe type in the case of weakly sequentially continuous, 1-set weakly contractive （μ-nonexpansive） and weakly semi-closed operators at the origin and their generalizations. The main condition in our results is formulated in terms of axiomatic measures of weak compactness.展开更多
This article discusses some views on the relationship between carrying out and applying standards and precision design and the teaching of a course on interchangeability and measurement techniques. It points out that ...This article discusses some views on the relationship between carrying out and applying standards and precision design and the teaching of a course on interchangeability and measurement techniques. It points out that while emphasizing precision design, we should not underrate the significance of interchangeability and standardization. Although there are presently many teaching models available for such courses, each course should be designed separately to preserve its systematic character and integrality. As well, the development of students' abilities in precision design and the application of standards should be strengthened in experimental lessons within each course.展开更多
This study proposes a method for measuring the operational current of high temperature superconducting(HTS)non‐insulation(NI)closed‐loop coils,which operate in the steady persistent‐current‐mode(PCM).HTS NI closed...This study proposes a method for measuring the operational current of high temperature superconducting(HTS)non‐insulation(NI)closed‐loop coils,which operate in the steady persistent‐current‐mode(PCM).HTS NI closed‐loop coils are promising for many easily‐quenching direct‐current(DC)applications,where their performance is determined by magnetomotive forces,total number of turns,and dimensions.As the primary interface parameter in an application system,the operational current must be accurately and rapidly measured.Generally,this is achieved by dividing the measured magnetic field by the coil constant.However,even if the influence of the screening current induced field(SCIF)is not considered,existing methods for the coil constant may be disturbed by the performance and location of Hall sensors,or experience a long measuring period.Therefore,a relatively accurate and fast method is proposed in this study,which is based on adjusting the output current of the adjustable power supply and monitoring the coil voltage as an indicator.The proposed method was validated through experiments and simulations using an equivalent circuit model coupled with a finite element method(FEM)model,and its current accuracy can be equivalent to the resolution of the employed power supply.It was demonstrated that this method reduced the requirements for Hall sensor’s performance and location,and has a more reliable accuracy in contrast to the simulation method.Compared to the experimentally conventional method,the proposed method presents a significantly faster speed.The impact of the SCIF was considered and proven to be negligible for the tested pancake coils.Even for coils whose coil constant vibrates owing to the SCIF,this method can be adapted to directly measure various operational currents.Furthermore,it was demonstrated that the measurement error can be influenced by the current discrepancy among turns when the coil is not in the steady PCM,and a procedure for reducing this error was proposed.展开更多
The real-time measurement of welding temperature field by colorimetric method is described, and with the data acquired from it closed-loop control system of the parameters of temperature field is developed and tested....The real-time measurement of welding temperature field by colorimetric method is described, and with the data acquired from it closed-loop control system of the parameters of temperature field is developed and tested. Experimental results prove that it has high measurement speed (time of a field within 0.5 s) and good dynamic response quality. Weld penetration can be controlled satifactorily under unstable welding condition.展开更多
Abstract A closed-loop fault detection problem is investigated for the full-envelope flight vehicle with measurement delays, where the flight dynamics are modeled as a switched system with delayed feedback signals. Th...Abstract A closed-loop fault detection problem is investigated for the full-envelope flight vehicle with measurement delays, where the flight dynamics are modeled as a switched system with delayed feedback signals. The mode-dependent observer-based fault detection filters and state estimation feedback controllers are derived by considering the delays＇ impact on the control system and fault detection system simultaneously. Then, considering updating lags of the controllers/filters＇ switching signals which are introduced by the delayed measurement of altitude and Mach number, an asynchronous H analysis method is proposed and the system model is further augmented to be an asynchronously switched time-delay system. Also, the global stability and desired performance of the augmented system are guaranteed by combining the switched delay-dependent Lyapunov Krasovskii functional method with the average dwell time method （ADT）, and the delaydependent existing conditions for the controllers and fault detection filters are obtained in the form of the linear matrix inequalities （LMIs）, Finally, numerical example based on the hypersonic vehicles and highly maneuverable technology （HiMAT） vehicle is given to demonstrate the merits of the proposed method.展开更多
基金The research is supported by National Key R&D Program of China(No.2017YFC060300204)National Natural Science Foundation of China(No.52074293)+2 种基金Hebei Province Natural Science Foundation of China(No.E2020402041)Yue Qi Young Scholar Project,CUMTB and Yue Qi Distinguished Scholar Project(No.800015Z1138)China University of Mining&Technology,Beijing.
文摘In the Kaiping Coal field,mining of five coal seams,located within 80 m in the Kailuan Group,#5,#7,#8,#9 and#12 coal seam,is difficult due to small interburden thickness,concentrated stress distributions,high coal seam metamorphism,and complex geological conditions.By using the ZTR12 geological penetration radar(GPR)survey combined with borehole observations,the overburden caving due to mining of the five coals seams was measured.The development characteristics of full-cover rock fractures after mining were obtained from the GPR scan,which provides a measurement basis for the control of rock strata in close multiple coal seam mining.For the first time,it was found that the overburden caving pattern shows a periodic triangular caved characteristic.Furthermore,it is proposed that an upright triangular collapsed pile masonry and an inverted triangular with larger fragments piled up alternately appear in the lower gob.The research results show that the roof structure formed in the gob area can support the key overlying strata,which is beneficial to ensure the integrity and stability of the upper coal seams in multiple-seam mining of close coal seams.
文摘In this paper, necessary and sufficient conditions for a closed range composition operator CФ on the general family of holomorphic function spaces F（p,q,s） and more generally on α-Besov type spaces F（p,αp-2,s） are given. We give a Carleson measure characterization on F （p, αp - 2, s） spaces, then we indicate how Carleson measures can be used to characterize boundedness and compactness of CФ on F（p,q,s） and F（p,αp- 2,s） spaces.
基金Supported in part by the Foundation of Hanshan Normal University, China
文摘The main purpose of this paper is to prove a collection of new fixed point theorems and existence theorems for the nonlinear operator equation F（x） = αx （α≥〉 1） for so-called 1-set weakly contractive operators on unbounded domains in Banach spaces. We also introduce the concept of weakly semi-closed operator at the origin and obtain a series of new fixed point theorems and the existence theorems for the nonlinear operator equation F（x） = αx （α≥1） for such class of operators. As consequences, the main results general- ize and improve the relevant results, which are obtained by O＇Regan and A. Ben Amar and M. Mnif in 1998 and 2009 respectively. In addition, we get the famous fixed point theorems of Leray-Schauder, Altman, Petryshyn and Rothe type in the case of weakly sequentially continuous, 1-set weakly contractive （μ-nonexpansive） and weakly semi-closed operators at the origin and their generalizations. The main condition in our results is formulated in terms of axiomatic measures of weak compactness.
文摘This article discusses some views on the relationship between carrying out and applying standards and precision design and the teaching of a course on interchangeability and measurement techniques. It points out that while emphasizing precision design, we should not underrate the significance of interchangeability and standardization. Although there are presently many teaching models available for such courses, each course should be designed separately to preserve its systematic character and integrality. As well, the development of students' abilities in precision design and the application of standards should be strengthened in experimental lessons within each course.
基金supported by National Natural Science Foundation of China(NSFC)under project 51977130.
文摘This study proposes a method for measuring the operational current of high temperature superconducting(HTS)non‐insulation(NI)closed‐loop coils,which operate in the steady persistent‐current‐mode(PCM).HTS NI closed‐loop coils are promising for many easily‐quenching direct‐current(DC)applications,where their performance is determined by magnetomotive forces,total number of turns,and dimensions.As the primary interface parameter in an application system,the operational current must be accurately and rapidly measured.Generally,this is achieved by dividing the measured magnetic field by the coil constant.However,even if the influence of the screening current induced field(SCIF)is not considered,existing methods for the coil constant may be disturbed by the performance and location of Hall sensors,or experience a long measuring period.Therefore,a relatively accurate and fast method is proposed in this study,which is based on adjusting the output current of the adjustable power supply and monitoring the coil voltage as an indicator.The proposed method was validated through experiments and simulations using an equivalent circuit model coupled with a finite element method(FEM)model,and its current accuracy can be equivalent to the resolution of the employed power supply.It was demonstrated that this method reduced the requirements for Hall sensor’s performance and location,and has a more reliable accuracy in contrast to the simulation method.Compared to the experimentally conventional method,the proposed method presents a significantly faster speed.The impact of the SCIF was considered and proven to be negligible for the tested pancake coils.Even for coils whose coil constant vibrates owing to the SCIF,this method can be adapted to directly measure various operational currents.Furthermore,it was demonstrated that the measurement error can be influenced by the current discrepancy among turns when the coil is not in the steady PCM,and a procedure for reducing this error was proposed.
基金Project supported by the National Natural Science Foundation of China (Grant No. 59475064) and the Natural Science Foundation of Jiangxi Province.
文摘The real-time measurement of welding temperature field by colorimetric method is described, and with the data acquired from it closed-loop control system of the parameters of temperature field is developed and tested. Experimental results prove that it has high measurement speed (time of a field within 0.5 s) and good dynamic response quality. Weld penetration can be controlled satifactorily under unstable welding condition.
基金supported by the National Natural Science Foundation of China(Nos.61074027,61273083)
文摘Abstract A closed-loop fault detection problem is investigated for the full-envelope flight vehicle with measurement delays, where the flight dynamics are modeled as a switched system with delayed feedback signals. The mode-dependent observer-based fault detection filters and state estimation feedback controllers are derived by considering the delays＇ impact on the control system and fault detection system simultaneously. Then, considering updating lags of the controllers/filters＇ switching signals which are introduced by the delayed measurement of altitude and Mach number, an asynchronous H analysis method is proposed and the system model is further augmented to be an asynchronously switched time-delay system. Also, the global stability and desired performance of the augmented system are guaranteed by combining the switched delay-dependent Lyapunov Krasovskii functional method with the average dwell time method （ADT）, and the delaydependent existing conditions for the controllers and fault detection filters are obtained in the form of the linear matrix inequalities （LMIs）, Finally, numerical example based on the hypersonic vehicles and highly maneuverable technology （HiMAT） vehicle is given to demonstrate the merits of the proposed method.
