A more automated graphic user interface (GUI) test model, which is based on the event-flow graph, is proposed. In the model, a user interface automation API tool is first used to carry out reverse engineering for a GU...A more automated graphic user interface (GUI) test model, which is based on the event-flow graph, is proposed. In the model, a user interface automation API tool is first used to carry out reverse engineering for a GUI test sample so as to obtain the event-flow graph. Then two approaches are adopted to create GUI test sample cases. That is to say, an improved ant colony optimization (ACO) algorithm is employed to establish a sequence of testing cases in the course of the daily smoke test. The sequence goes through all object event points in the event-flow graph. On the other hand, the spanning tree obtained by deep breadth-first search (BFS) approach is utilized to obtain the testing cases from goal point to outset point in the course of the deep regression test. Finally, these cases are applied to test the new GUI. Moreover, according to the above-mentioned model, a corresponding prototype system based on Microsoft UI automation framework is developed, thus giving a more effective way to improve the GUI automation test in Windows OS.展开更多
The Sinus Iridum region, the first choice for China's"Lunar Exploration Project"is located at the center of the lunar LQ-4 area and is the site of Chang'e-3 (CE-3)'s soft landing. To make the scientific explora...The Sinus Iridum region, the first choice for China's"Lunar Exploration Project"is located at the center of the lunar LQ-4 area and is the site of Chang'e-3 (CE-3)'s soft landing. To make the scientific exploration of Chang'e-3 more targeted and scientific, and to obtain a better macro-level understanding of the geotectonic environment of the Sinus Iridum region, the tectonic elements in LQ-4 region have been studied and the typical structures were analyzed statistically using data from CE-1, Clementine, LRO and Lunar Prospector missions. Also, the mineral components and periods of mare basalt activities in the study area have been ascertained. The present study divides the tectonic units and establishes the major tectonic events and sequence of evolution in the study area based on morphology, mineral constituents, and tectonic element distribution.展开更多
Accompanied by the advent of current big data ages,the scales of real world optimization problems with many decisive design variables are becoming much larger.Up to date,how to develop new optimization algorithms for ...Accompanied by the advent of current big data ages,the scales of real world optimization problems with many decisive design variables are becoming much larger.Up to date,how to develop new optimization algorithms for these large scale problems and how to expand the scalability of existing optimization algorithms have posed further challenges in the domain of bio-inspired computation.So addressing these complex large scale problems to produce truly useful results is one of the presently hottest topics.As a branch of the swarm intelligence based algorithms,particle swarm optimization (PSO) for coping with large scale problems and its expansively diverse applications have been in rapid development over the last decade years.This reviewpaper mainly presents its recent achievements and trends,and also highlights the existing unsolved challenging problems and key issues with a huge impact in order to encourage further more research in both large scale PSO theories and their applications in the forthcoming years.展开更多
Maximum likelihood estimation is a method of estimating the parameters of a statistical model in statistics. It has been widely used in a good many multi-disciplines such as econometrics, data modelling in nuclear and...Maximum likelihood estimation is a method of estimating the parameters of a statistical model in statistics. It has been widely used in a good many multi-disciplines such as econometrics, data modelling in nuclear and particle physics, and geographical satellite image classification, and so forth. Over the past decade, although many conventional numerical approximation approaches have been most successfully developed to solve the problems of maximum likelihood parameter estimation, bio-inspired optimization techniques have shown promising performance and gained an incredible recognition as an attractive solution to such problems. This review paper attempts to offer a comprehensive perspective of conventional and bio-inspired optimization techniques in maximum likelihood parameter estimation so as to highlight the challenges and key issues and encourage the researches for further progress.展开更多
In the current education system in China,the English major is an important part of the education system.As the exchanges between China’s and foreign countries have deepened,the importance of English education has bec...In the current education system in China,the English major is an important part of the education system.As the exchanges between China’s and foreign countries have deepened,the importance of English education has become more prominent.Therefore,it is of great significance to improve students’ability to use spoken English.However,as far as the teaching model in China’s current universities and colleges is concerned,there are still many problems,and there is an urgent need for optimization and rectification.Based on this,this paper is based on the theory of constructivism,and deeply explores the solution to the problem of the current China’s English linguistics teaching model and hope this paper can provide a meaningful reference for China’s English education.展开更多
Several Cretaceous Carlin-like or hydrothermal gold deposits along the Garze-Litang suture zone and Early Cretaceous hydrothermal copper mineralization along the southeastern margin of the Songpan-Garze fold belt were...Several Cretaceous Carlin-like or hydrothermal gold deposits along the Garze-Litang suture zone and Early Cretaceous hydrothermal copper mineralization along the southeastern margin of the Songpan-Garze fold belt were presumed to have a magmatic heat source. However, no actual coeval mag- matic events nearby were discovered. Here, we report zircon SIMS U-Pb age, whole-rock geochemical and Sr-Nd isotopic data of the Xiqiu basalts in the southern end of the Yidun terrane, eastern Tibetan Plateau. New zircon U-Pb ages yield weighted mean ^206pb/^238U age of 117.7±1.6 Ma. The basalts are classified as calc-alkaline to alkaline and have relatively high MgO (4.77 wt.%-10.84 wt.%) and Mg number values (Mg^#=(100×Mg/(Mg+Fe^2+)); 45.35-67.28) and positive εNd(t) (t=118 Ma) values (+1.86 to +3.2), suggesting a OIB-like mantle source that is consistent with the normalized patterns of trace elements and rare earth elements (REEs). Geochemical data suggest that the primary basaltic magma was generated by low degree partial melting of a heterogeneous source of peridotite-dominated with a minor component of garnet- eclogite or pyroxenite and experienced olivine+clinopyroxene dominated fractional crystallization. The primary melt compositions calculated from the high MgO samples, in turn, suggest that the Xiqiu basalts were generated at 1.6-2.9 GPa with abnormally hot mantle potential temperatures from 1 465 to 1 540℃. The melting temperatures are similar to the abnormally hot mantle underneath the Colorado Plateau and hotter than the mid-ocean range basalt (MORB) mantle and normal intra-continental mantle. Combined with previous studies, the Cretaceous Xiqiu basalts allow us to reconstruct a tectonic and geodynamic evolution- ary model responsible for the Late Jurassic to Late Cretaceous geological records (magmatism, ore deposits and enhanced exhumation) in the Yidun terrane and southern Songpan-Garze fold belt.展开更多
文摘A more automated graphic user interface (GUI) test model, which is based on the event-flow graph, is proposed. In the model, a user interface automation API tool is first used to carry out reverse engineering for a GUI test sample so as to obtain the event-flow graph. Then two approaches are adopted to create GUI test sample cases. That is to say, an improved ant colony optimization (ACO) algorithm is employed to establish a sequence of testing cases in the course of the daily smoke test. The sequence goes through all object event points in the event-flow graph. On the other hand, the spanning tree obtained by deep breadth-first search (BFS) approach is utilized to obtain the testing cases from goal point to outset point in the course of the deep regression test. Finally, these cases are applied to test the new GUI. Moreover, according to the above-mentioned model, a corresponding prototype system based on Microsoft UI automation framework is developed, thus giving a more effective way to improve the GUI automation test in Windows OS.
基金the key project (No. 2009AA122201) under the 863 program sponsored by Ministry of Science & Technology that has funded our research
文摘The Sinus Iridum region, the first choice for China's"Lunar Exploration Project"is located at the center of the lunar LQ-4 area and is the site of Chang'e-3 (CE-3)'s soft landing. To make the scientific exploration of Chang'e-3 more targeted and scientific, and to obtain a better macro-level understanding of the geotectonic environment of the Sinus Iridum region, the tectonic elements in LQ-4 region have been studied and the typical structures were analyzed statistically using data from CE-1, Clementine, LRO and Lunar Prospector missions. Also, the mineral components and periods of mare basalt activities in the study area have been ascertained. The present study divides the tectonic units and establishes the major tectonic events and sequence of evolution in the study area based on morphology, mineral constituents, and tectonic element distribution.
文摘Accompanied by the advent of current big data ages,the scales of real world optimization problems with many decisive design variables are becoming much larger.Up to date,how to develop new optimization algorithms for these large scale problems and how to expand the scalability of existing optimization algorithms have posed further challenges in the domain of bio-inspired computation.So addressing these complex large scale problems to produce truly useful results is one of the presently hottest topics.As a branch of the swarm intelligence based algorithms,particle swarm optimization (PSO) for coping with large scale problems and its expansively diverse applications have been in rapid development over the last decade years.This reviewpaper mainly presents its recent achievements and trends,and also highlights the existing unsolved challenging problems and key issues with a huge impact in order to encourage further more research in both large scale PSO theories and their applications in the forthcoming years.
文摘Maximum likelihood estimation is a method of estimating the parameters of a statistical model in statistics. It has been widely used in a good many multi-disciplines such as econometrics, data modelling in nuclear and particle physics, and geographical satellite image classification, and so forth. Over the past decade, although many conventional numerical approximation approaches have been most successfully developed to solve the problems of maximum likelihood parameter estimation, bio-inspired optimization techniques have shown promising performance and gained an incredible recognition as an attractive solution to such problems. This review paper attempts to offer a comprehensive perspective of conventional and bio-inspired optimization techniques in maximum likelihood parameter estimation so as to highlight the challenges and key issues and encourage the researches for further progress.
文摘In the current education system in China,the English major is an important part of the education system.As the exchanges between China’s and foreign countries have deepened,the importance of English education has become more prominent.Therefore,it is of great significance to improve students’ability to use spoken English.However,as far as the teaching model in China’s current universities and colleges is concerned,there are still many problems,and there is an urgent need for optimization and rectification.Based on this,this paper is based on the theory of constructivism,and deeply explores the solution to the problem of the current China’s English linguistics teaching model and hope this paper can provide a meaningful reference for China’s English education.
基金supported by the National Natural Science Foundation of China (Nos. 41372212, 41672216, and 41702207)
文摘Several Cretaceous Carlin-like or hydrothermal gold deposits along the Garze-Litang suture zone and Early Cretaceous hydrothermal copper mineralization along the southeastern margin of the Songpan-Garze fold belt were presumed to have a magmatic heat source. However, no actual coeval mag- matic events nearby were discovered. Here, we report zircon SIMS U-Pb age, whole-rock geochemical and Sr-Nd isotopic data of the Xiqiu basalts in the southern end of the Yidun terrane, eastern Tibetan Plateau. New zircon U-Pb ages yield weighted mean ^206pb/^238U age of 117.7±1.6 Ma. The basalts are classified as calc-alkaline to alkaline and have relatively high MgO (4.77 wt.%-10.84 wt.%) and Mg number values (Mg^#=(100×Mg/(Mg+Fe^2+)); 45.35-67.28) and positive εNd(t) (t=118 Ma) values (+1.86 to +3.2), suggesting a OIB-like mantle source that is consistent with the normalized patterns of trace elements and rare earth elements (REEs). Geochemical data suggest that the primary basaltic magma was generated by low degree partial melting of a heterogeneous source of peridotite-dominated with a minor component of garnet- eclogite or pyroxenite and experienced olivine+clinopyroxene dominated fractional crystallization. The primary melt compositions calculated from the high MgO samples, in turn, suggest that the Xiqiu basalts were generated at 1.6-2.9 GPa with abnormally hot mantle potential temperatures from 1 465 to 1 540℃. The melting temperatures are similar to the abnormally hot mantle underneath the Colorado Plateau and hotter than the mid-ocean range basalt (MORB) mantle and normal intra-continental mantle. Combined with previous studies, the Cretaceous Xiqiu basalts allow us to reconstruct a tectonic and geodynamic evolution- ary model responsible for the Late Jurassic to Late Cretaceous geological records (magmatism, ore deposits and enhanced exhumation) in the Yidun terrane and southern Songpan-Garze fold belt.