Many landslides in reservoir areas continuously deform under cyclic water level fluctuations due to reservoir operations. In this paper,a landslide model, developed for a typical colluvial landslide in the Three Gorge...Many landslides in reservoir areas continuously deform under cyclic water level fluctuations due to reservoir operations. In this paper,a landslide model, developed for a typical colluvial landslide in the Three Gorges Reservoir area, is used to study the effect of cyclic water level fluctuations on the landslide. Five cyclic water level fluctuations were implemented in the test, and the fluctuation rate in the last two fluctuations doubled over the first three fluctuations. The pore water pressure and lateral landslide profiles were obtained during the test. A measurement of the landslide soil loss was proposed to quantitatively evaluate the influence of water level fluctuations. The test results show that the first water level rising is most negative to the landslide among the five cycles. The fourth drawdown with a higher drawdown rate caused further large landslide deformation. An increase of the water level drawdown rate is much more unfavorable to the landslide than an increase of the water level rising rate. In addition, the landslide was found to have an adaptive ability to resist subsequent water level fluctuations after undergoing large deformation during a water level fluctuation. The landslide deformation and observations in the field were found to support the test results well.展开更多
In order to deal with the limitations during the register transfer level verification, a new functional verification method based on the random testing for the system-level of system-on-chip is proposed.The validity o...In order to deal with the limitations during the register transfer level verification, a new functional verification method based on the random testing for the system-level of system-on-chip is proposed.The validity of this method is proven theoretically.Specifically, testcases are generated according to many approaches of randomization.Moreover, the testbench for the system-level verification according to the proposed method is designed by using advanced modeling language.Therefore, under the circumstances that the testbench generates testcases quickly, the hardware/software co-simulation and co-verification can be implemented and the hardware/software partitioning planning can be evaluated easily.The comparison method is put to use in the evaluation approach of the testing validity.The evaluation result indicates that the efficiency of the partition testing is better than that of the random testing only when one or more subdomains are covered over with the area of errors, although the efficiency of the random testing is generally better than that of the partition testing.The experimental result indicates that this method has a good performance in the functional coverage and the cost of testing and can discover the functional errors as soon as possible.展开更多
Results are reported on a research for the radioactive level in the investigation region and the control region around the Xinjiang Nuclear Testing Site from 1982 to 1987. There are no significant differences on the l...Results are reported on a research for the radioactive level in the investigation region and the control region around the Xinjiang Nuclear Testing Site from 1982 to 1987. There are no significant differences on the land γ radiation level, nor in the radioactive level in the soil, food and water between the two regions. The distribution and transfer of 90Sr, 137Cs and Pu in various kinds of soil are also discussed. It is estimated that the effective dose equivalent of radiation, undergone by the residents around the Testing Site is only 2.9% of that of natural radiation taken yearly by people in normal areas.展开更多
In Belgium,the Boom clay was selected as a potential host formation for the disposal of high-level radioactive waste(HLW).To demonstrate the suitability of Boom clay for bearing thermal load induced by the HLW,a lar...In Belgium,the Boom clay was selected as a potential host formation for the disposal of high-level radioactive waste(HLW).To demonstrate the suitability of Boom clay for bearing thermal load induced by the HLW,a large-scale in-situ heater test,called PRACLAY heater test,will be conducted in the underground research laboratory(URL) in Mol.Owing to the limitations of the test(a short period of time compared with that considered in a real repository,different boundary conditions,etc.),the test is designed to simulate,in a conservative way,the most critical state and phenomena that could occur in the host rock.The PRACLAY gallery was excavated at the end of 2007;the heating phase will begin in 2010 and will last for at least 10 years.The PRACLAY gallery itself leaves an opportunity to study the possibilities of sealing a disposal drift in Boom clay and testing the feasibility of hydraulic cut-off of any preferential pathway to the main access gallery through the excavation damage zone(EDZ) and the lining with a seal in a horizontal drift(horizontal seal).Indeed,this is a generic problem for all deep geological disposal facilities for HLW.An annular seal made of compacted swelling bentonite will be installed in the front of the heated part of the PRACLAY gallery for these purposes.This paper provides detailed considerations on the thermo-hydro-mechanical(THM) boundary conditions for the design of the PRACLAY heater test and the seal test with the support of numerical calculations.It is believed that these important items considered in the PRACLAY heater test design also constitute key issues for the repository design.The outcome of the PRACLAY heater test will be an important milestone for the Belgian repository design.展开更多
Image segmentation is a key and fundamental problem in image processing,computer graphics,and computer vision.Level set based method for image segmentation is used widely for its topology flexibility and proper mathem...Image segmentation is a key and fundamental problem in image processing,computer graphics,and computer vision.Level set based method for image segmentation is used widely for its topology flexibility and proper mathematical formulation.However,poor performance of existing level set models on noisy images and weak boundary limit its application in image segmentation.In this paper,we present a region consistency constraint term to measure the regional consistency on both sides of the boundary,this term defines the boundary of the image within a range,and hence increases the stability of the level set model.The term can make existing level set models significantly improve the efficiency of the algorithms on segmenting images with noise and weak boundary.Furthermore,this constraint term can make edge-based level set model overcome the defect of sensitivity to the initial contour.The experimental results show that our algorithm is efficient for image segmentation and outperform the existing state-of-art methods regarding images with noise and weak boundary.展开更多
In this paper we propose an equation model of system-level fault diagnoses, and construct corresponding theory and algorithms. People can turn any PMC model on ex-test into an equivalent equation (or a system of equat...In this paper we propose an equation model of system-level fault diagnoses, and construct corresponding theory and algorithms. People can turn any PMC model on ex-test into an equivalent equation (or a system of equations), and find all consistent fault patterns based on the equation model. We can also find all fault patterns, in which the fault node numbers are less than or equal to t without supposing t-diagnosable. It is not impossible for all graphic models.展开更多
Accelerated life testing(ALT)has been widely used to obtain information about the product's life characteristics at normal conditions in a relatively short period of time.Two key issues with ALT are test design an...Accelerated life testing(ALT)has been widely used to obtain information about the product's life characteristics at normal conditions in a relatively short period of time.Two key issues with ALT are test design and data analysis.The test design of constant stress ALT was studied in this paper.The test design usually combines engineering experiences with optimization models.Such approaches are hard to be implemented by practitioners.A"pure"empirical approach was presented to address this issue.With the proposed approach,some of the decision variables are determined based on the results from the literature,some of the other variables are determined based on engineering analysis and /or judgment,and the remaining variables are determined based on the empirical relations developed in this paper.A real-world example is included to illustrate the appropriateness of the proposed approach.展开更多
The boundary scan architecture and its basic principle of board level built in test(BIT) technology are presented. A design for board level built in test and the method to implement test tool are brought forward.
The accurate control for the vehicle height and leveling adjustment system of an electronic air suspension(EAS) still is a challenging problem that has not been effectively solved in prior researches. This paper propo...The accurate control for the vehicle height and leveling adjustment system of an electronic air suspension(EAS) still is a challenging problem that has not been effectively solved in prior researches. This paper proposes a new adaptive controller to control the vehicle height and to adjust the roll and pitch angles of the vehicle body(leveling control) during the vehicle height adjustment procedures by an EAS system. A nonlinear mechanism model of the full?car vehicle height adjustment system is established to reflect the system dynamic behaviors and to derive the system optimal control law. To deal with the nonlinear characters in the vehicle height and leveling adjustment processes, the nonlinear system model is globally linearized through the state feedback method. On this basis, a fuzzy sliding mode controller(FSMC) is designed to improve the control accuracy of the vehicle height adjustment and to reduce the peak values of the roll and pitch angles of the vehicle body. To verify the effectiveness of the proposed control method more accurately, the full?car EAS system model programmed using AMESim is also given. Then, the co?simulation study of the FSMC performance can be conducted. Finally, actual vehicle tests are performed with a city bus, and the test results illustrate that the vehicle height adjustment performance is effectively guaranteed by the FSMC, and the peak values of the roll and pitch angles of the vehicle body during the vehicle height adjustment procedures are also reduced significantly. This research proposes an effective control methodology for the vehicle height and leveling adjustment system of an EAS, which provides a favorable control performance for the system.展开更多
Choosing appropriate statistical tests is crucial but deciding which tests to use can be challenging. Different tests suit different types of data and research questions, so it is important to choose the right one. Kn...Choosing appropriate statistical tests is crucial but deciding which tests to use can be challenging. Different tests suit different types of data and research questions, so it is important to choose the right one. Knowing how to select an appropriate test can lead to more accurate results. Invalid results and misleading conclusions may be drawn from a study if an incorrect statistical test is used. Therefore, to avoid these it is essential to understand the nature of the data, the research question, and the assumptions of the tests before selecting one. This is because there are a wide variety of tests available. This paper provides a step-by-step approach to selecting the right statistical test for any study, with an explanation of when it is appropriate to use it and relevant examples of each statistical test. Furthermore, this guide provides a comprehensive overview of the assumptions of each test and what to do if these assumptions are violated.展开更多
基金funded by the Key Program of National Natural Science Foundation of China (41630643)the National Key Research and Development Program of China (2017YFC1501302)the Fundamental Research Funds for the Central Universities, China University of Geosciences (Wuhan) (CUGCJ1701)
文摘Many landslides in reservoir areas continuously deform under cyclic water level fluctuations due to reservoir operations. In this paper,a landslide model, developed for a typical colluvial landslide in the Three Gorges Reservoir area, is used to study the effect of cyclic water level fluctuations on the landslide. Five cyclic water level fluctuations were implemented in the test, and the fluctuation rate in the last two fluctuations doubled over the first three fluctuations. The pore water pressure and lateral landslide profiles were obtained during the test. A measurement of the landslide soil loss was proposed to quantitatively evaluate the influence of water level fluctuations. The test results show that the first water level rising is most negative to the landslide among the five cycles. The fourth drawdown with a higher drawdown rate caused further large landslide deformation. An increase of the water level drawdown rate is much more unfavorable to the landslide than an increase of the water level rising rate. In addition, the landslide was found to have an adaptive ability to resist subsequent water level fluctuations after undergoing large deformation during a water level fluctuation. The landslide deformation and observations in the field were found to support the test results well.
基金supported by the National High Technology Research and Development Program of China (863 Program) (2002AA1Z1490)Specialized Research Fund for the Doctoral Program of Higher Education (20040486049)the University Cooperative Research Fund of Huawei Technology Co., Ltd
文摘In order to deal with the limitations during the register transfer level verification, a new functional verification method based on the random testing for the system-level of system-on-chip is proposed.The validity of this method is proven theoretically.Specifically, testcases are generated according to many approaches of randomization.Moreover, the testbench for the system-level verification according to the proposed method is designed by using advanced modeling language.Therefore, under the circumstances that the testbench generates testcases quickly, the hardware/software co-simulation and co-verification can be implemented and the hardware/software partitioning planning can be evaluated easily.The comparison method is put to use in the evaluation approach of the testing validity.The evaluation result indicates that the efficiency of the partition testing is better than that of the random testing only when one or more subdomains are covered over with the area of errors, although the efficiency of the random testing is generally better than that of the partition testing.The experimental result indicates that this method has a good performance in the functional coverage and the cost of testing and can discover the functional errors as soon as possible.
文摘Results are reported on a research for the radioactive level in the investigation region and the control region around the Xinjiang Nuclear Testing Site from 1982 to 1987. There are no significant differences on the land γ radiation level, nor in the radioactive level in the soil, food and water between the two regions. The distribution and transfer of 90Sr, 137Cs and Pu in various kinds of soil are also discussed. It is estimated that the effective dose equivalent of radiation, undergone by the residents around the Testing Site is only 2.9% of that of natural radiation taken yearly by people in normal areas.
文摘In Belgium,the Boom clay was selected as a potential host formation for the disposal of high-level radioactive waste(HLW).To demonstrate the suitability of Boom clay for bearing thermal load induced by the HLW,a large-scale in-situ heater test,called PRACLAY heater test,will be conducted in the underground research laboratory(URL) in Mol.Owing to the limitations of the test(a short period of time compared with that considered in a real repository,different boundary conditions,etc.),the test is designed to simulate,in a conservative way,the most critical state and phenomena that could occur in the host rock.The PRACLAY gallery was excavated at the end of 2007;the heating phase will begin in 2010 and will last for at least 10 years.The PRACLAY gallery itself leaves an opportunity to study the possibilities of sealing a disposal drift in Boom clay and testing the feasibility of hydraulic cut-off of any preferential pathway to the main access gallery through the excavation damage zone(EDZ) and the lining with a seal in a horizontal drift(horizontal seal).Indeed,this is a generic problem for all deep geological disposal facilities for HLW.An annular seal made of compacted swelling bentonite will be installed in the front of the heated part of the PRACLAY gallery for these purposes.This paper provides detailed considerations on the thermo-hydro-mechanical(THM) boundary conditions for the design of the PRACLAY heater test and the seal test with the support of numerical calculations.It is believed that these important items considered in the PRACLAY heater test design also constitute key issues for the repository design.The outcome of the PRACLAY heater test will be an important milestone for the Belgian repository design.
基金supported in part by the NSFC-Zhejiang Joint Fund of the Integration of Informatization and Industrialization(U1609218)NSFC(61772312,61373078,61772253)+1 种基金the Key Research and Development Project of Shandong Province(2017GGX10110)NSF of Shandong Province(ZR2016FM21,ZR2016FM13)
文摘Image segmentation is a key and fundamental problem in image processing,computer graphics,and computer vision.Level set based method for image segmentation is used widely for its topology flexibility and proper mathematical formulation.However,poor performance of existing level set models on noisy images and weak boundary limit its application in image segmentation.In this paper,we present a region consistency constraint term to measure the regional consistency on both sides of the boundary,this term defines the boundary of the image within a range,and hence increases the stability of the level set model.The term can make existing level set models significantly improve the efficiency of the algorithms on segmenting images with noise and weak boundary.Furthermore,this constraint term can make edge-based level set model overcome the defect of sensitivity to the initial contour.The experimental results show that our algorithm is efficient for image segmentation and outperform the existing state-of-art methods regarding images with noise and weak boundary.
基金Project supported by the National Natural Science Foundation of China! (No.69973016).
文摘In this paper we propose an equation model of system-level fault diagnoses, and construct corresponding theory and algorithms. People can turn any PMC model on ex-test into an equivalent equation (or a system of equations), and find all consistent fault patterns based on the equation model. We can also find all fault patterns, in which the fault node numbers are less than or equal to t without supposing t-diagnosable. It is not impossible for all graphic models.
基金National Natural Science Foundation of China(No.71371035)
文摘Accelerated life testing(ALT)has been widely used to obtain information about the product's life characteristics at normal conditions in a relatively short period of time.Two key issues with ALT are test design and data analysis.The test design of constant stress ALT was studied in this paper.The test design usually combines engineering experiences with optimization models.Such approaches are hard to be implemented by practitioners.A"pure"empirical approach was presented to address this issue.With the proposed approach,some of the decision variables are determined based on the results from the literature,some of the other variables are determined based on engineering analysis and /or judgment,and the remaining variables are determined based on the empirical relations developed in this paper.A real-world example is included to illustrate the appropriateness of the proposed approach.
文摘The boundary scan architecture and its basic principle of board level built in test(BIT) technology are presented. A design for board level built in test and the method to implement test tool are brought forward.
基金Supported by National Natural Science Foundation of China(Grant Nos.51375212,61601203)Priority Academic Program Development(PAPD)of Jiangsu Higher Education Institutions of China+1 种基金Key Research and Development Program of Jiangsu Province(BE2016149)Jiangsu Provincial Natural Science Foundation of China(BK20140555)
文摘The accurate control for the vehicle height and leveling adjustment system of an electronic air suspension(EAS) still is a challenging problem that has not been effectively solved in prior researches. This paper proposes a new adaptive controller to control the vehicle height and to adjust the roll and pitch angles of the vehicle body(leveling control) during the vehicle height adjustment procedures by an EAS system. A nonlinear mechanism model of the full?car vehicle height adjustment system is established to reflect the system dynamic behaviors and to derive the system optimal control law. To deal with the nonlinear characters in the vehicle height and leveling adjustment processes, the nonlinear system model is globally linearized through the state feedback method. On this basis, a fuzzy sliding mode controller(FSMC) is designed to improve the control accuracy of the vehicle height adjustment and to reduce the peak values of the roll and pitch angles of the vehicle body. To verify the effectiveness of the proposed control method more accurately, the full?car EAS system model programmed using AMESim is also given. Then, the co?simulation study of the FSMC performance can be conducted. Finally, actual vehicle tests are performed with a city bus, and the test results illustrate that the vehicle height adjustment performance is effectively guaranteed by the FSMC, and the peak values of the roll and pitch angles of the vehicle body during the vehicle height adjustment procedures are also reduced significantly. This research proposes an effective control methodology for the vehicle height and leveling adjustment system of an EAS, which provides a favorable control performance for the system.
文摘Choosing appropriate statistical tests is crucial but deciding which tests to use can be challenging. Different tests suit different types of data and research questions, so it is important to choose the right one. Knowing how to select an appropriate test can lead to more accurate results. Invalid results and misleading conclusions may be drawn from a study if an incorrect statistical test is used. Therefore, to avoid these it is essential to understand the nature of the data, the research question, and the assumptions of the tests before selecting one. This is because there are a wide variety of tests available. This paper provides a step-by-step approach to selecting the right statistical test for any study, with an explanation of when it is appropriate to use it and relevant examples of each statistical test. Furthermore, this guide provides a comprehensive overview of the assumptions of each test and what to do if these assumptions are violated.