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.展开更多
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.展开更多
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.展开更多
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.展开更多
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.展开更多
基金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.
基金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.
文摘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.
文摘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.
文摘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.
文摘目的对普通话噪声接受度追踪(tracking of noise tolerance,TNT)测试材料进行复测信度评估,并比较测试结果的平均可容忍噪声水平(average tolerable noise level,aTNL)与程序估算的TNL值(estimated tolerable noise level,eTNL)是否存在差异。方法对25例听力言语正常的成年受试者在测试当天先后进行两次普通话版TNT测试[分别为测试一(C1),测试二(C2)],13例于1周后进行复测[测试三(C3),言语材料主题同C2],三次测试的刺激声条件均为言语声0°,连续语谱噪声180°。通过比较C1与C2、C2与C3的TNT分数和aTNL值的相关性来分别评估普通话版TNT测试材料期内、期间测试的复测信度。结果25例受试者C1、C2的aTNL值分别为83.42±3.09、83.50±3.18 dB SPL,eTNL值分别为84.08±3.53、83.95±3.85 dB SPL;13例受试者C3的aTNL值和eTNL值分别为83.16±2.13、83.18±2.64 dB SPL。期内比较(C1与C2)、期间比较(C2与C3)的TNT分数差值的95%CI分别为2.36、2.75 dB,Pearson相关性分析显示期内(r=0.837,P<0.001)、期间(r=0.867,P<0.001)的复测信度良好。除C1的aTNL与eTNL存在统计学差异(P<0.05)之外,其余TNT测试的aTNL与eTNL均无统计学差异(均P>0.05),且90%以上的受试者可在1分钟内获得eTNL。结论普通话版TNT测试的复测信度良好,具有高可靠性、高效性。
