The scientific proof is the highest type of the rational proof. The mankind is looking for the best technology of the reasonable demonstration. What is a proof？. What is a scientific proof？. Philosophical investigat...The scientific proof is the highest type of the rational proof. The mankind is looking for the best technology of the reasonable demonstration. What is a proof？. What is a scientific proof？. Philosophical investigations of proofs have the long history. Philosophy is exploring physics, mathematics, astronomy, biology, history, and so on. Science demands strict proofs. Science uses the specific methods as the optimum technologies for the achievement of the truth. Strictness of the proof depends on the aim algorithm： the distribution of the functions between parts of the proof. The beginning stage, the middle parts, and the ending stage are the unit of the proof. Philosophy can make the correct model of the scientific proof only! Science and its methodology develop and the growth of knowledge has not the finish. The rational ideals improve continually. Science is looking for the criterion of the demonstrative strictness. The adaptation algorithm of the scientific method is the best technology for the achievement of the truth.展开更多
Based on the information theory,the performance of maneuvering target tracking can be improved by increasing the input information( observation vector).In this paper,the estimations of radial acceleration and radial v...Based on the information theory,the performance of maneuvering target tracking can be improved by increasing the input information( observation vector).In this paper,the estimations of radial acceleration and radial velocity obtained in the signal processing are introduced into the measurement vector by coordinate transformation.In order to solve the problem of high nonlinearity of the radial acceleration,radial velocity and the state vector,a new algorithm of multi-parameter sequential extended Kalman filter( MSEKF) is proposed.The tracking performance of this algorithm is tested and compared with the other tracking algorithms.It is shown that the proposed algorithm outperforms these algorithms in strong and weak maneuvering environments.展开更多
This article discusses the physical principles to be considered in a thermodynamic engineering solar system running under operational control algorithms designed to minimize entropy rates. The proposed plant is based ...This article discusses the physical principles to be considered in a thermodynamic engineering solar system running under operational control algorithms designed to minimize entropy rates. The proposed plant is based on scientific foundations established by thermodynamics and classical field theory, and empirical disciplines that deal with properties of chemical elements and with technologies of calorific capture from remote sources. The gauge principle was applied in theoretical formalization as an essential tool in the control background of the entropy rates involved. The industrial system presented was planned to recycle condensed matter within the scope of a solid waste management policy.展开更多
Efficient data visualization techniques are critical for many scientific applications. Centroidal Voronoi tessellation(CVT) based algorithms offer a convenient vehicle for performing image analysis,segmentation and co...Efficient data visualization techniques are critical for many scientific applications. Centroidal Voronoi tessellation(CVT) based algorithms offer a convenient vehicle for performing image analysis,segmentation and compression while allowing to optimize retained image quality with respect to a given metric.In experimental science with data counts following Poisson distributions,several CVT-based data tessellation algorithms have been recently developed.Although they surpass their predecessors in robustness and quality of reconstructed data,time consumption remains to be an issue due to heavy utilization of the slowly converging Lloyd iteration.This paper discusses one possible approach to accelerating data visualization algorithms.It relies on a multidimensional generalization of the optimization based multilevel algorithm for the numerical computation of the CVTs introduced in[1],where a rigorous proof of its uniform convergence has been presented in 1-dimensional setting.The multidimensional implementation employs barycentric coordinate based interpolation and maximal independent set coarsening procedures.It is shown that when coupled with bin accretion algorithm accounting for the discrete nature of the data,the algorithm outperforms Lloyd-based schemes and preserves uniform convergence with respect to the problem size.Although numerical demonstrations provided are limited to spectroscopy data analysis,the method has a context-independent setup and can potentially deliver significant speedup to other scientific and engineering applications.展开更多
This paper examines the effect on rates of achievement of the interaction of student gender and school socioeconomic status, using ordinary least squares and probit regressions. The data used is school achievement by ...This paper examines the effect on rates of achievement of the interaction of student gender and school socioeconomic status, using ordinary least squares and probit regressions. The data used is school achievement by students taking externally assessed accounting standards in their final year at New Zealand secondary schools, and covers the period 2004 to 2008. The paper concludes that the interaction of gender and school decile have a significant impact on achievement rates for Maori, Pacific Island and Asian girls relative to Maori, Pacific Island and Asian boys in low decile schools. A secondary contribution of this paper is to demonstrate that comparing the achievement of gender or socioeconomic status groups in isolation is insufficient when examining academic performance and evaluating subject curriculum. Interactions between variables need to be considered, whether they be gender and decile as this paper examines, or other variables not examined within this paper.展开更多
This paper aims to provide a brief introduction to recent advances in numerical algorithms and methods in the emerging computational geoscience filed with general simulation characteristics of modeling multiple chemic...This paper aims to provide a brief introduction to recent advances in numerical algorithms and methods in the emerging computational geoscience filed with general simulation characteristics of modeling multiple chemical and physical processes that take place in ore-generating systems within the Earth's crust. Due to significant differences between Earth systems and engineering systems, the existing numerical algorithms and methods, which are designed for simulating realistic problems in the engineering fields, may not be straightforwardly used to simulate ore-generating problems without significant improvements. Thus, extensive and systematic studies have been conducted, in recent years, to develop new numerical algorithms and methods for simulating different aspects of ore-generating problems. Not only can the outcomes of these studies provide new simulation tools for better understanding the controlled dynamic mechanisms that take place in ore-generating systems, but also they have enriched the research contents of computational mechanics in the broad sense.展开更多
Pelvic fractures are serious injuries. Death within 24 hours is most often a result of acute blood loss. The emergency management of these patients is challenging and controversial. The key issues in its management ar...Pelvic fractures are serious injuries. Death within 24 hours is most often a result of acute blood loss. The emergency management of these patients is challenging and controversial. The key issues in its management are identifying the site（s） of hemorrhage and then controlling the bleeding. Management of hemodynamically unstable patients with pelvic fracture requires a multidisciplinary team. The issues addressed in this management algorithm are diagnostic evaluation, damage controlresuscitation, indications for noninvasive pelvic stabilization, preperitoneal pelvic packing and the critical decisions concerning surgical options and angiography. This review article focuses on the recent body of knowledge on those determinations.展开更多
An advanced carbon dioxide retrieval algo- rithm for satellite observations has been developed at the Institute of Atmospheric Physics, Chinese Academy of Sciences. The algorithm is tested using Greenhouse gases Obser...An advanced carbon dioxide retrieval algo- rithm for satellite observations has been developed at the Institute of Atmospheric Physics, Chinese Academy of Sciences. The algorithm is tested using Greenhouse gases Observing SATellite （GOSAT） LIB data and validated using the Total Column Carbon Observing Network （TCCON） measurements. The retrieved XCO2 agrees well with TCCON measurements in a low bias of 0.15 ppmv and RMSE of 1.48 ppmv, and captured the seasonal vari- ation and increasing of XCO2 in Northern and Southern Hemisphere, respectively, as other measurements.展开更多
In recent years, locating total lightning at the VLF/LF band has become one of the most important directions in lightning detection. The Low-frequency E-field Detection Array(LFEDA) consisting of nine fast antennas wa...In recent years, locating total lightning at the VLF/LF band has become one of the most important directions in lightning detection. The Low-frequency E-field Detection Array(LFEDA) consisting of nine fast antennas was developed by the Chinese Academy of Meteorological Sciences in Guangzhou between 2014 and 2015. This paper documents the composition of the LFEDA and a lightning-locating algorithm that applies to the low-frequency electric field radiated by lightning pulse discharge events(LPDEs). Theoretical simulation and objective assessment of the accuracy and detection efficiency of LFEDA have been done using Monte Carlo simulation and artificial triggered lightning experiment, respectively. The former results show that having a station in the network with a comparatively long baseline improves both the horizontal location accuracy in the direction perpendicular to the baseline and the vertical location accuracy along the baseline. The latter results show that detection efficiencies for triggered lightning flashes and return strokes are 100% and 95%, respectively. The average planar location error for return strokes of triggered lightning flashes is 102 m. By locating LPDEs in thunderstorms, we find that LPDEs are consistent with convective regions as indicated by strong reflectivity columns, and present a reasonable distribution in the vertical direction.In addition, the LFEDA can reveal an image of lightning development through mapping the channels of lightning. Based on three-dimensional locations, the vertical propagation speed of the preliminary breakdown and the changing trend of the leader's speed in an intra-cloud and a cloud-to-ground flash are investigated. The research results show that the LFEDA has the capability for three-dimensional location of lightning, which provides a new technique for researching lightning development characteristics and thunderstorm electricity.展开更多
文摘The scientific proof is the highest type of the rational proof. The mankind is looking for the best technology of the reasonable demonstration. What is a proof？. What is a scientific proof？. Philosophical investigations of proofs have the long history. Philosophy is exploring physics, mathematics, astronomy, biology, history, and so on. Science demands strict proofs. Science uses the specific methods as the optimum technologies for the achievement of the truth. Strictness of the proof depends on the aim algorithm： the distribution of the functions between parts of the proof. The beginning stage, the middle parts, and the ending stage are the unit of the proof. Philosophy can make the correct model of the scientific proof only! Science and its methodology develop and the growth of knowledge has not the finish. The rational ideals improve continually. Science is looking for the criterion of the demonstrative strictness. The adaptation algorithm of the scientific method is the best technology for the achievement of the truth.
基金National Natural Science Foundations of China(Nos.61531020,61471383)
文摘Based on the information theory,the performance of maneuvering target tracking can be improved by increasing the input information( observation vector).In this paper,the estimations of radial acceleration and radial velocity obtained in the signal processing are introduced into the measurement vector by coordinate transformation.In order to solve the problem of high nonlinearity of the radial acceleration,radial velocity and the state vector,a new algorithm of multi-parameter sequential extended Kalman filter( MSEKF) is proposed.The tracking performance of this algorithm is tested and compared with the other tracking algorithms.It is shown that the proposed algorithm outperforms these algorithms in strong and weak maneuvering environments.
文摘This article discusses the physical principles to be considered in a thermodynamic engineering solar system running under operational control algorithms designed to minimize entropy rates. The proposed plant is based on scientific foundations established by thermodynamics and classical field theory, and empirical disciplines that deal with properties of chemical elements and with technologies of calorific capture from remote sources. The gauge principle was applied in theoretical formalization as an essential tool in the control background of the entropy rates involved. The industrial system presented was planned to recycle condensed matter within the scope of a solid waste management policy.
基金supported by the grants DMS 0405343 and DMR 0520425.
文摘Efficient data visualization techniques are critical for many scientific applications. Centroidal Voronoi tessellation(CVT) based algorithms offer a convenient vehicle for performing image analysis,segmentation and compression while allowing to optimize retained image quality with respect to a given metric.In experimental science with data counts following Poisson distributions,several CVT-based data tessellation algorithms have been recently developed.Although they surpass their predecessors in robustness and quality of reconstructed data,time consumption remains to be an issue due to heavy utilization of the slowly converging Lloyd iteration.This paper discusses one possible approach to accelerating data visualization algorithms.It relies on a multidimensional generalization of the optimization based multilevel algorithm for the numerical computation of the CVTs introduced in[1],where a rigorous proof of its uniform convergence has been presented in 1-dimensional setting.The multidimensional implementation employs barycentric coordinate based interpolation and maximal independent set coarsening procedures.It is shown that when coupled with bin accretion algorithm accounting for the discrete nature of the data,the algorithm outperforms Lloyd-based schemes and preserves uniform convergence with respect to the problem size.Although numerical demonstrations provided are limited to spectroscopy data analysis,the method has a context-independent setup and can potentially deliver significant speedup to other scientific and engineering applications.
文摘This paper examines the effect on rates of achievement of the interaction of student gender and school socioeconomic status, using ordinary least squares and probit regressions. The data used is school achievement by students taking externally assessed accounting standards in their final year at New Zealand secondary schools, and covers the period 2004 to 2008. The paper concludes that the interaction of gender and school decile have a significant impact on achievement rates for Maori, Pacific Island and Asian girls relative to Maori, Pacific Island and Asian boys in low decile schools. A secondary contribution of this paper is to demonstrate that comparing the achievement of gender or socioeconomic status groups in isolation is insufficient when examining academic performance and evaluating subject curriculum. Interactions between variables need to be considered, whether they be gender and decile as this paper examines, or other variables not examined within this paper.
基金supported by the National Natural Science Foundation of China(Grant Nos.11272359,10872219 and 10672190)
文摘This paper aims to provide a brief introduction to recent advances in numerical algorithms and methods in the emerging computational geoscience filed with general simulation characteristics of modeling multiple chemical and physical processes that take place in ore-generating systems within the Earth's crust. Due to significant differences between Earth systems and engineering systems, the existing numerical algorithms and methods, which are designed for simulating realistic problems in the engineering fields, may not be straightforwardly used to simulate ore-generating problems without significant improvements. Thus, extensive and systematic studies have been conducted, in recent years, to develop new numerical algorithms and methods for simulating different aspects of ore-generating problems. Not only can the outcomes of these studies provide new simulation tools for better understanding the controlled dynamic mechanisms that take place in ore-generating systems, but also they have enriched the research contents of computational mechanics in the broad sense.
文摘Pelvic fractures are serious injuries. Death within 24 hours is most often a result of acute blood loss. The emergency management of these patients is challenging and controversial. The key issues in its management are identifying the site（s） of hemorrhage and then controlling the bleeding. Management of hemodynamically unstable patients with pelvic fracture requires a multidisciplinary team. The issues addressed in this management algorithm are diagnostic evaluation, damage controlresuscitation, indications for noninvasive pelvic stabilization, preperitoneal pelvic packing and the critical decisions concerning surgical options and angiography. This review article focuses on the recent body of knowledge on those determinations.
基金supported by the Strategic Priority Research Program-Climate Change:Carbon Budget and Relevant Issues(XDA05040200)the National High-tech Research and Development Program(2011AA12A104)
文摘An advanced carbon dioxide retrieval algo- rithm for satellite observations has been developed at the Institute of Atmospheric Physics, Chinese Academy of Sciences. The algorithm is tested using Greenhouse gases Observing SATellite （GOSAT） LIB data and validated using the Total Column Carbon Observing Network （TCCON） measurements. The retrieved XCO2 agrees well with TCCON measurements in a low bias of 0.15 ppmv and RMSE of 1.48 ppmv, and captured the seasonal vari- ation and increasing of XCO2 in Northern and Southern Hemisphere, respectively, as other measurements.
基金supported by the National Natural Science Foundation of China(Grant Nos.41675005,91537290&41275008)the Basic Research Fund of Chinese Academy of Meteorological Sciences(Grant Nos.2016Z002&2015Z006)
文摘In recent years, locating total lightning at the VLF/LF band has become one of the most important directions in lightning detection. The Low-frequency E-field Detection Array(LFEDA) consisting of nine fast antennas was developed by the Chinese Academy of Meteorological Sciences in Guangzhou between 2014 and 2015. This paper documents the composition of the LFEDA and a lightning-locating algorithm that applies to the low-frequency electric field radiated by lightning pulse discharge events(LPDEs). Theoretical simulation and objective assessment of the accuracy and detection efficiency of LFEDA have been done using Monte Carlo simulation and artificial triggered lightning experiment, respectively. The former results show that having a station in the network with a comparatively long baseline improves both the horizontal location accuracy in the direction perpendicular to the baseline and the vertical location accuracy along the baseline. The latter results show that detection efficiencies for triggered lightning flashes and return strokes are 100% and 95%, respectively. The average planar location error for return strokes of triggered lightning flashes is 102 m. By locating LPDEs in thunderstorms, we find that LPDEs are consistent with convective regions as indicated by strong reflectivity columns, and present a reasonable distribution in the vertical direction.In addition, the LFEDA can reveal an image of lightning development through mapping the channels of lightning. Based on three-dimensional locations, the vertical propagation speed of the preliminary breakdown and the changing trend of the leader's speed in an intra-cloud and a cloud-to-ground flash are investigated. The research results show that the LFEDA has the capability for three-dimensional location of lightning, which provides a new technique for researching lightning development characteristics and thunderstorm electricity.
