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.展开更多
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.展开更多
基金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.
文摘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.
