The fixed points of set-valued operators satisfying a condition of monotonicitytype in s-uniformly smooth Banach spaces are approximated by recursive averagingprocess in the present paper.
In this paper, a new extrapolation economy cascadic multigrid method is proposed to solve the image restoration model. The new method combines the new extrapolation formula and quadratic interpolation to design a nonl...In this paper, a new extrapolation economy cascadic multigrid method is proposed to solve the image restoration model. The new method combines the new extrapolation formula and quadratic interpolation to design a nonlinear prolongation operator, which provides more accurate initial values for the fine grid level. An edge preserving denoising operator is constructed to remove noise and preserve image edges. The local smoothing operator reduces the influence of staircase effect. The experiment results show that the new method not only improves the computational efficiency but also ensures good recovery quality.展开更多
The metallurgical properties of cold bound pellet were tested and analysed, and the behaviour and characters of reduction in the shaft were further investigated on the basis of analysis. The experimental results indic...The metallurgical properties of cold bound pellet were tested and analysed, and the behaviour and characters of reduction in the shaft were further investigated on the basis of analysis. The experimental results indicated that the metallurgical properties of cold bound pellet could satisfy the demands of the shaft direct reduction. The reduction of ferrous oxide with gas was taken as the domination. The reduction ratio of ferrous oxide with fixed carbon increased with the raising of temperature, and most part of the carbon remained in metallized pellet. The shaft could be smoothly operated to obtain rather higher constant utilization.展开更多
We show that the scattering operator carries a band in H^s (R^n)×H^(s-1)(R^n) into H^s (R^n)× H^(s-1)(R^n) for the sinh-Gordon equation and an analogous result also holds true for the nonlinear Schrdinger eq...We show that the scattering operator carries a band in H^s (R^n)×H^(s-1)(R^n) into H^s (R^n)× H^(s-1)(R^n) for the sinh-Gordon equation and an analogous result also holds true for the nonlinear Schrdinger equation with an exponential nonlinearity, where s≥n/2 is arbitrary and n≥2. Therefore, the scattering operators are infinitely smooth for the above two equations.展开更多
The operation rules and methods for heavy-haul trains were studied and summarized according to the characteristics of the Daqin Railway,such as a large traffic volume,a high density and high-speed and difficult-to-ope...The operation rules and methods for heavy-haul trains were studied and summarized according to the characteristics of the Daqin Railway,such as a large traffic volume,a high density and high-speed and difficult-to-operate heavy-haul trains.Combined with traction calculation and operation experience,these can be quantificationally decomposed into an evaluation standard for the smooth modularized operation of heavy-haul trains that can be recognized by computers.A train operation guidance system was designed to collect locomotive drivers’operation data,display the actual operation and standard curves in real time and give voice prompts and violation-operation alarms for safety-critical operation.In addition,software for operation analysis and evaluation was developed according to the quantified smooth operation standard.The smooth operation of heavy-haul trains was evaluated and statistically analysed through a comparative analysis of the actual operation records.Moreover,a train impact force detection device capable of monitoring the three-dimensional impact force of heavy-haul trains in real time was developed.Meanwhile,the evaluation standard for smooth operation was verified and optimized by real-time monitoring of the impact force of heavy-haul trains.Finally,on the basis of the above studies,a complete closed-loop management scheme for the smooth operation of heavy-haul trains was constructed,and the objectives of optimizing train operation strategy,standardizing drivers’operations and ensuring the smooth operation of trains were realized through application.展开更多
To find a way of loads analysis from operational flight data for advanced aircraft,maneuver identification and standardization jobs are conducted in this paper. For thousands of sorties from one aircraft, after studyi...To find a way of loads analysis from operational flight data for advanced aircraft,maneuver identification and standardization jobs are conducted in this paper. For thousands of sorties from one aircraft, after studying the flight attitude when performing actions, the start and end time of the maneuvers can be determined. According to those time points, various types of maneuvers during the flight are extracted in the form of multi-parameters time histories. By analyzing the numerical range and curve shape of those parameters, a characteristic data library is established to model all types of maneuvers. Based on this library, a computer procedure using pattern-recognition theory is programmed to conduct automatic maneuver identification with high accuracy. In that way, operational loads are classified according to maneuver type. For a group of identified maneuvers of the same type, after the processes of time normalization, trace shifting, as well as averaging and smoothing, the idealization standard time history of each maneuver type is established.Finally, the typical load statuses are determined successfully based on standard maneuvers. The proposed method of maneuver identification and standardization is able to derive operational loads effectively, and might be applied to monitoring loads in Individual Aircraft Tracking Program（IATP）.展开更多
文摘The fixed points of set-valued operators satisfying a condition of monotonicitytype in s-uniformly smooth Banach spaces are approximated by recursive averagingprocess in the present paper.
文摘In this paper, a new extrapolation economy cascadic multigrid method is proposed to solve the image restoration model. The new method combines the new extrapolation formula and quadratic interpolation to design a nonlinear prolongation operator, which provides more accurate initial values for the fine grid level. An edge preserving denoising operator is constructed to remove noise and preserve image edges. The local smoothing operator reduces the influence of staircase effect. The experiment results show that the new method not only improves the computational efficiency but also ensures good recovery quality.
文摘The metallurgical properties of cold bound pellet were tested and analysed, and the behaviour and characters of reduction in the shaft were further investigated on the basis of analysis. The experimental results indicated that the metallurgical properties of cold bound pellet could satisfy the demands of the shaft direct reduction. The reduction of ferrous oxide with gas was taken as the domination. The reduction ratio of ferrous oxide with fixed carbon increased with the raising of temperature, and most part of the carbon remained in metallized pellet. The shaft could be smoothly operated to obtain rather higher constant utilization.
基金Supported by the National Natural Science Foundation of China. Grant 19901007.
文摘We show that the scattering operator carries a band in H^s (R^n)×H^(s-1)(R^n) into H^s (R^n)× H^(s-1)(R^n) for the sinh-Gordon equation and an analogous result also holds true for the nonlinear Schrdinger equation with an exponential nonlinearity, where s≥n/2 is arbitrary and n≥2. Therefore, the scattering operators are infinitely smooth for the above two equations.
基金Project of Science and Technology Research and Development Plan of China Railway Taiyuan Bureau Group Co.,Ltd.(A2019J05).
文摘The operation rules and methods for heavy-haul trains were studied and summarized according to the characteristics of the Daqin Railway,such as a large traffic volume,a high density and high-speed and difficult-to-operate heavy-haul trains.Combined with traction calculation and operation experience,these can be quantificationally decomposed into an evaluation standard for the smooth modularized operation of heavy-haul trains that can be recognized by computers.A train operation guidance system was designed to collect locomotive drivers’operation data,display the actual operation and standard curves in real time and give voice prompts and violation-operation alarms for safety-critical operation.In addition,software for operation analysis and evaluation was developed according to the quantified smooth operation standard.The smooth operation of heavy-haul trains was evaluated and statistically analysed through a comparative analysis of the actual operation records.Moreover,a train impact force detection device capable of monitoring the three-dimensional impact force of heavy-haul trains in real time was developed.Meanwhile,the evaluation standard for smooth operation was verified and optimized by real-time monitoring of the impact force of heavy-haul trains.Finally,on the basis of the above studies,a complete closed-loop management scheme for the smooth operation of heavy-haul trains was constructed,and the objectives of optimizing train operation strategy,standardizing drivers’operations and ensuring the smooth operation of trains were realized through application.
文摘To find a way of loads analysis from operational flight data for advanced aircraft,maneuver identification and standardization jobs are conducted in this paper. For thousands of sorties from one aircraft, after studying the flight attitude when performing actions, the start and end time of the maneuvers can be determined. According to those time points, various types of maneuvers during the flight are extracted in the form of multi-parameters time histories. By analyzing the numerical range and curve shape of those parameters, a characteristic data library is established to model all types of maneuvers. Based on this library, a computer procedure using pattern-recognition theory is programmed to conduct automatic maneuver identification with high accuracy. In that way, operational loads are classified according to maneuver type. For a group of identified maneuvers of the same type, after the processes of time normalization, trace shifting, as well as averaging and smoothing, the idealization standard time history of each maneuver type is established.Finally, the typical load statuses are determined successfully based on standard maneuvers. The proposed method of maneuver identification and standardization is able to derive operational loads effectively, and might be applied to monitoring loads in Individual Aircraft Tracking Program（IATP）.
