Mechanism of Suppressing ASR Using Ground Reactive Sandstone Powders instead of Cement

In order to understand the effect of powders ground from reactive sandstone replacing cement on reducing or suppressing alkali-silica reaction（ASR）, and to identify the mechanism of suppressing ASR by this powders, mortar and paste containing reactive sandstone powders of four replacement levels ranging from 10wt% to 40wt% and four specific surfaces areas ranging from 210 m^2/kg to 860 m^2/kg were studied. The experimental results showed that incorporation of 40wt% reactive sandstone powders could suppress ASR effectively except for mortar containing reactive sandstone powders with specific surface area of 610 m^2/kg, which disagreed with the most results reported that the higher reactive powder specific surface area, the smaller ASR expansion. By means of fl ame photometry, Fourier transform infrared spectroscopy（FT-IR） and thermo gravimetric analysis（TG）, the mechanism of reactive sandstone powders on reducing or suppressing ASR was soluble alkalis type of reactive sandstone powders and the competition of liberating and bonding alkali of cement paste containing reactive sandstone powders,when the ability of alkali bonding was greater than the ability of alkali liberation, ASR caused by reactive sandstone was supressed effectively.

Changes in productivity and carbon storage of grasslands in china under future global warming scenarios of 1.5℃ and 2℃

Aims the impacts of future global warming of 1.5℃ and 2℃ on the productivity and carbon(c)storage of grasslands in china are not clear yet,although grasslands in china support~45 million agricultural populations and more than 238 million livestock populations,and are sensitive to global warming.Methods this study used a process-based terrestrial ecosystem model named ORcHIDEE to simulate c cycle of alpine meadows and temperate grasslands in china.this model was driven by high-resolution(0.5°×0.5°)climate of global specific warming levels(SWL)of 1.5℃ and 2℃(warmer than pre-industrial level),which is downscaled by Ec-EARtH3-HR v3.1 with sea surface temperature and sea-ice concentration as boundary conditions from IPSL-cM5-LR(low spatial resolution,2.5°×1.5°)Earth system model(ESM).Important Findingscompared with baseline(1971-2005),the mean annual air temperature over chinese grasslands increased by 2.5℃ and 3.7℃ under SWL1.5 and SWL2,respectively.the increase in temperature in the alpine meadow was higher than that in the temperate grassland under both SWL1.5 and SWL2.Precipitation was also shown an increasing trend under SWL2 over most of the chinese grasslands.Strong increases in gross primary productivity(GPP)were simulated in the chinese grasslands,and the mean annual GPP(GPP_(MA))increased by 19.32%and 43.62%under SWL1.5 and SWL2,respectively.the c storage increased by 0.64 Pg c and 1.37 Pg c under SWL1.5 and SWL2 for 50 years simulations.the GPP_(MA) was 0.67_(0.39)^(0.88)(0.82)(model mean_(min) ^(max) (this study)),0.85_(0.45)^(1.24)(0.97)and 0.94_(0.61)^(1.30)(1.17)Pg C year^(−1) under baseline,SWL1.5 and SWL2 modeled by four cMIP5 ESMs(phase 5 of the coupled Model Inter-comparison Project Earth System Models).In contrast,the mean annual net biome productivity was−18.55_(−40.37)^(4.47)(−3.61),18.65_(−2.03)^(64.03)(10.29)and 24.15_(8.38)^(38.77)(24.93)Tg C year^(−1) under base-line,SWL1.5 and SWL2 modeled by the four cMIP5 ESMs.Our results indicated that the chinese grasslands would have higher productivity than the baseline and can mitigate climate change through increased C sequestration under future global warming of 1.5℃ and 2℃ with the increase of precipitation and the global increase of atmospheric CO_(2) concentration.

Formal verification with HiLLS-specified models:A further step in multi-analysis modeling of complex systems

The multi-analysis modeling of a complex system is the act of building a family of models which allows to cover a large spectrum of analysis methods(such as simulation,formal methods,enactment,...)that can be performed to derive various properties of this system.The High-Level Language for Systems Specification(HiLLS)has recently been introduced as a graphical language for discrete event simulation,with potential for other types of analysis,like enactment for rapid system prototyping.HiLLS defines an automata language that also opens the way to formal verification.This paper provides the building blocks for such a feature.That way,a unique model can be used not only to perform both simulation and enactment experiments but also to allow the logical analysis of properties without running any experiment.Therefore,it saves from the effort of building three different analysis-specific models and the need to align them semantically.