3篇
您的检索式：作者名="Shaoting Ma"
|
|
|
题名
|
作者
|
年代
|
出处
|
被引量
|
| 1 | Complexity of software trustworthiness and its dynamical statistical analysis methods显示文摘Developing trusted softwares has become an important trend and a natural choice in the development of software technology and applications. At present,the method of measurement and assessment of software trustworthiness cannot guarantee safe and reliable operations of software systems completely and effectively. Based on the dynamical system study,this paper interprets the characteristics of behaviors of software systems and the basic scientific problems of software trustworthiness complexity,analyzes the characteristics of complexity of software trustworthiness,and proposes to study the software trustworthiness measurement in terms of the complexity of software trustworthiness. Using the dynamical statistical analysis methods,the paper advances an invariant-measure based assessment method of software trustworthiness by statistical indices,and hereby provides a dynamical criterion for the untrustworthiness of software systems. By an example,the feasibility of the proposed dynamical statistical analysis method in software trustworthiness measurement is demonstrated using numerical simulations and theoretical analysis. | ZHENG ZhiMing MA ShiLong LI Wei JIANG Xin WEI Wei MA LiLi TANG ShaoTing | 2009 | Science in China(Series F)2009，52，9： | 11 |
| 2 | Ultrahigh Temperature Metamorphic Record of Pelitic Granulites in the Huangtuyao Area of the Huai’an Complex,North China Craton显示文摘Pelitic granulite from the Huangtuyao area,occurrs in the Huai'an Complex,is located in the Trans-North China Orogen of the North China Craton.On the basis of petrolography,mineral component,and phase equilibrium modeling studies,the P-T conditions and mineral assemblages of pelitic granulites can be divided into four metamorphic stages:the prograde metamorphic stage M1 defined by the stable mineral assemblage of Grt1(garnet core)+Pl+Bt+Kfs+Qz+Rt,the peak pressure Pmax stage M2 indicated by Grt2(garnet mantle)+Kfs±(Ky)+Rt+Qz+Liq(melt),peak temperature Tmax stage M3 characterized by Grt3(garnet rim)+Sill+Pl+Kfs+Qz+Ilm+Liq,and retrograde stage M4 represented by Grt(in matrix)+Kfs+Sill+Bt+Pl+Qz+Ilm.By using the THERMOCALC V340,the P-T conditions are estimated at^13.8–14.1 kbar and^840–850℃at stage M2,and 7–7.2 kbar and 909–915℃for the Tmax stage M3,indicating an ultra-high temperature(UHT)metamorphic overprinting during decompression and heating process after high pressure granulite facies metamorphism.The mineral assemblages and their P-T conditions presented a clockwise P-T trajectory for the Huangtuyao pelitic granulites.The major metamorphic events at^1.95 and^1.88 Ga obtained by the zircon U-Pb dating suggest that pelitic granulites from the Huangtuyao area has undergone HP granulite metamorphism which probably occurred in the prograde metamorphism and related to the collision between the Ordos and the Yinshan blocks,and afterwards UHT metamorphism is related to crustal extension after continental-continental collision. | Shaoting Ma Xu-Ping Li Hao Liu Fanmei Kong Han Wang | 2019 | Journal of Earth Science2019，30，6： | 5 |
| 3 | High Elevation Energy and Water Balance:the Roles of Surface Albedo and Temperature显示文摘Observation and modeling of the coupled energy and water balance is the key to understand hydrospheric and cryospheric processes at high elevation.The paper summarizes the progress to address this aspect in relation with different earth system elements,from glaciers to wetlands.The energy budget of two glaciers,i.e.Xiao Dongkemadi and Parlung No.4,was studied by means of extended field measurements and a distributed model of the coupled energy and mass balance was developed and evaluated.The need for accurate characterization of surface albedo was further documented for the entire Qinghai Tibet Plateau by numerical experiments with Weather Research and Forecast(WRF)on the sensitivity of the atmospheric boundary layer to the parameterization of land surface processes.A new approach to the calibration of a coupled distributed watershed model of the energy and water balance was demonstrated by a case study on the Heihe River Basin in northwestern China.The assimilation of land surface temperature did lead to the retrieval of critical soil and vegetation properties as the soil permeability and the canopy resistance to the exchange of vapour and carbon dioxide.The retrievals of actual Evapo-Transpiration(ET)were generated by the ETMonitor system and evaluated against eddy covariance measurements at sites spread throughout Asia.As regards glacier response to climate variability,the combined findings based on satellite data and model experiments showed that the spatial variability of surface albedo and temperature is significant and controls both glacier mass balance and flow.Experiments with both atmospheric and hydrosphere-cryosphere models documented the need and advantages of using accurate retrievals of land surface albedo to capture lan-atmosphere interactions at high elevation. | Massimo MENENTI Li JIA Marco MANCINI Xin LI Francesca PELLICCIOTTI Kun YANG Jiancheng SHI Maria Jose ESCORIHUELA Chiara CORBARI Shaoting REN Chunfeng MA Chaolei ZHENG Lian LIU Thomas SHAW Baohong DING Wei YANG | 2020 | Journal of Geodesy and Geoinformation Science2020，3，4： | 3 |
您所在的机构暂未开通此部分的功能，请联系管理员