通过研究一个具有代表性的UML/MARTE(unified modeling language/modeling and analysis of real time and embedded systems)模型向FIACRE(intermediate format for the architectures of embedded distributed components)形式模型的...通过研究一个具有代表性的UML/MARTE(unified modeling language/modeling and analysis of real time and embedded systems)模型向FIACRE(intermediate format for the architectures of embedded distributed components)形式模型的转换实例,探讨了异构模型之间在语义和语法层的相互转换问题.在语义层,通过模型转换技术构造语义映射规则,实现元语言之间的转换;在语法层,通过构造元模型的具体语法,反映元语言的语法规则,从而产生目标模型的程序实体.基于此实例研究,探讨了通用转换途径的相关框架和关键技术,并讨论了转换工作的优缺点和实用性.展开更多
The uncertainty of nuclide libraries in the analysis of the gamma spectra of low-and intermediate-level radioactive waste(LILW)using existing methods produces unstable results.To address this problem,a novel spectral ...The uncertainty of nuclide libraries in the analysis of the gamma spectra of low-and intermediate-level radioactive waste(LILW)using existing methods produces unstable results.To address this problem,a novel spectral analysis method is proposed in this study.In this method,overlapping peaks are located using a continuous wavelet transform.An improved quadratic convolution method is proposed to calculate the widths of the peaks and establish a fourth-order filter model to estimate the Compton edge baseline with the overlapping peaks.Combined with the adaptive sensitive nonlinear iterative peak,this method can effectively subtracts the background.Finally,a function describing the peak shape as a filter is used to deconvolve the energy spectrum to achieve accurate qualitative and quantitative analyses of the nuclide without the aid of a nuclide library.Gamma spectrum acquisition experiments for standard point sources of Cs-137 and Eu-152,a segmented gamma scanning experiment for a 200 L standard drum,and a Monte Carlo simulation experiment for triple overlapping peaks using the closest energy of three typical LILW nuclides(Sb-125,Sb-124,and Cs-134)are conducted.The results of the experiments indicate that(1)the novel method and gamma vision(GV)with an accurate nuclide library have the same spectral analysis capability,and the peak area calculation error is less than 4%;(2)compared with the GV,the analysis results of the novel method are more stable;(3)the novel method can be applied to the activity measurement of LILW,and the error of the activity reconstruction at the equivalent radius is 2.4%;and(4)The proposed novel method can quantitatively analyze all nuclides in LILW without a nuclide library.This novel method can improve the accuracy and precision of LILW measurements,provide key technical support for the reasonable disposal of LILW,and ensure the safety of humans and the environment.展开更多
The effect of intermediate stress(in situ tunnel axial)on a strainburst is studied with a threedimensional(3D)bonded block distinct element method(DEM).A series of simulations of strainbursts under true triaxial in si...The effect of intermediate stress(in situ tunnel axial)on a strainburst is studied with a threedimensional(3D)bonded block distinct element method(DEM).A series of simulations of strainbursts under true triaxial in situ stress conditions(i.e.high tangential stress,moderate intermediate stress and low radial stress)of near-boundary rock masses are performed.Compared with the experimental results,the DEM model is able to capture the stress-strain response,failure pattern and energy balance of strainbursts.The fracturing processes of strainbursts are also numerically reproduced.Numerical results show that,as the intermediate stress increases:(1)The peak strain of strainbursts increases,the yield stress increases,the rock strength increases linearly,and the ratio of yield stress to rock strength decreases,indicating that the precursory information on strainbursts is enhanced;(2)Tensile and shear cracks increase significantly,and slabbing and bending of rock plates are more pronounced;and(3)The stored elastic strain energy and dissipated energy increase linearly,whereas the kinetic energy of the ejected rock fragments increases approximately exponentially,implying an increase in strainburst intensity.By comparing the experimental and numerical results,the effect of intermediate stress on the rock strength of strainbursts is discussed in order to address three key issues.Then,the Mogi criterion is applied to construct new strength criteria for strainbursts by converting the one-face free true triaxial stress state of a strainburst to its equivalent true triaxial stress state.In summary,the effect of intermediate stress on strainbursts is a double-edged sword that can enhance the rock strength and the precursory information of a strainburst,but also increase its intensity.展开更多
文摘通过研究一个具有代表性的UML/MARTE(unified modeling language/modeling and analysis of real time and embedded systems)模型向FIACRE(intermediate format for the architectures of embedded distributed components)形式模型的转换实例,探讨了异构模型之间在语义和语法层的相互转换问题.在语义层,通过模型转换技术构造语义映射规则,实现元语言之间的转换;在语法层,通过构造元模型的具体语法,反映元语言的语法规则,从而产生目标模型的程序实体.基于此实例研究,探讨了通用转换途径的相关框架和关键技术,并讨论了转换工作的优缺点和实用性.
基金supported by the National Natural Science Foundation of China(Nos.12205190,11805121)the Science and Technology Commission of Shanghai Municipality(No.21ZR1435400).
文摘The uncertainty of nuclide libraries in the analysis of the gamma spectra of low-and intermediate-level radioactive waste(LILW)using existing methods produces unstable results.To address this problem,a novel spectral analysis method is proposed in this study.In this method,overlapping peaks are located using a continuous wavelet transform.An improved quadratic convolution method is proposed to calculate the widths of the peaks and establish a fourth-order filter model to estimate the Compton edge baseline with the overlapping peaks.Combined with the adaptive sensitive nonlinear iterative peak,this method can effectively subtracts the background.Finally,a function describing the peak shape as a filter is used to deconvolve the energy spectrum to achieve accurate qualitative and quantitative analyses of the nuclide without the aid of a nuclide library.Gamma spectrum acquisition experiments for standard point sources of Cs-137 and Eu-152,a segmented gamma scanning experiment for a 200 L standard drum,and a Monte Carlo simulation experiment for triple overlapping peaks using the closest energy of three typical LILW nuclides(Sb-125,Sb-124,and Cs-134)are conducted.The results of the experiments indicate that(1)the novel method and gamma vision(GV)with an accurate nuclide library have the same spectral analysis capability,and the peak area calculation error is less than 4%;(2)compared with the GV,the analysis results of the novel method are more stable;(3)the novel method can be applied to the activity measurement of LILW,and the error of the activity reconstruction at the equivalent radius is 2.4%;and(4)The proposed novel method can quantitatively analyze all nuclides in LILW without a nuclide library.This novel method can improve the accuracy and precision of LILW measurements,provide key technical support for the reasonable disposal of LILW,and ensure the safety of humans and the environment.
基金We acknowledge the funding support from the National Natural Science Foundation of China(Grant Nos.52009016 and 52179118)the Fundamental Research Funds for the Central Universities(Grant No.2022QN1032).
文摘The effect of intermediate stress(in situ tunnel axial)on a strainburst is studied with a threedimensional(3D)bonded block distinct element method(DEM).A series of simulations of strainbursts under true triaxial in situ stress conditions(i.e.high tangential stress,moderate intermediate stress and low radial stress)of near-boundary rock masses are performed.Compared with the experimental results,the DEM model is able to capture the stress-strain response,failure pattern and energy balance of strainbursts.The fracturing processes of strainbursts are also numerically reproduced.Numerical results show that,as the intermediate stress increases:(1)The peak strain of strainbursts increases,the yield stress increases,the rock strength increases linearly,and the ratio of yield stress to rock strength decreases,indicating that the precursory information on strainbursts is enhanced;(2)Tensile and shear cracks increase significantly,and slabbing and bending of rock plates are more pronounced;and(3)The stored elastic strain energy and dissipated energy increase linearly,whereas the kinetic energy of the ejected rock fragments increases approximately exponentially,implying an increase in strainburst intensity.By comparing the experimental and numerical results,the effect of intermediate stress on the rock strength of strainbursts is discussed in order to address three key issues.Then,the Mogi criterion is applied to construct new strength criteria for strainbursts by converting the one-face free true triaxial stress state of a strainburst to its equivalent true triaxial stress state.In summary,the effect of intermediate stress on strainbursts is a double-edged sword that can enhance the rock strength and the precursory information of a strainburst,but also increase its intensity.
