Automatically modeling, simulating and explaining physical systems

This paper presents an interactive framework for constructing models from high-level specifications of real physical systems, deriving low-level simulations from the constructed models and then generating explanations of the simulated behavior to help engineers interpret and control the real physical systems. To demonstrate our method, we show an example of modeling river networks, which are eco-environmental engineering systems, to provide a computer-based solution to problems of simulating and controlling concentrations of water quality constituents in river networks[1].     

Assessing Optimal Digital Elevation Model Selection for Active River Area Delineation Across Broad Regions

Water Resources Management - The Active River Area (ARA) is a spatial approach for identifying the extent of functional riparian area. Given known limitations in terms of input elevation data...     

A frequency-aware and energy-saving strategy based on DVFS for Spark

The Journal of Supercomputing - With the fast growth of big data applications, it has brought about a huge increase in the energy consumption for big data processing in Cloud data centers. In this...     

A central crack of mode III in a rectangular sheet with fixed edges

This paper discusses the general solution, by use of the Fourier transform and Fourier series, of the stress intensity factor in a rectangular sheet containing a central crack of mode III, where its boundary is constrained, but its crack surface is subjected to an arbitrary anti-plane load. As examples of numerical computing, consider three circumstances: (1) the boundary parallel to a central crack is fixed; (2) the boundary perpendicular to a central crack is fixed; (3) all of the boundaries around a central crack are fixed but the crack surface is subjected to a constant load.En faisant appel à une transformation de Fourier et aux séries de Fourier, on discute dans cet article de la solution générale au facteur d'intensité de contraintes existant dans une tôle rectangulaire comportant une fissure centrale de mode III, lorsque les bords sont fixés mais que la surface de la fissure est soumise à une charge antiplanaire arbitraire. Comme exemple de calcul numérique, on envisage trois cas distincts:

Predicting phase equilibrium,phase transformation,and microstructure evolution in titanium alloys

Phase transformation and microstructural evolution in commercial titanium alloys are extremely complex. Traditional models that characterize microstructural features by average values without capturing the anisotropy and spatially varying aspects may not be sufficient to quantitatively define the microstructure and hence to allow for establishing a robust microstructure-property relationship. This article discusses recent efforts in integrating thermodynamic modeling and phase-field simulation to develop computational tools for quantitative prediction of phase equilibrium and spatiotemporal evolution of microstructures during thermal processing that account explicitly for precipitate morphology, spatial arrangement, and anisotropy. The rendering of the predictive capabilities of the phase-field models as fast-acting design tools through the development of constitutive equations is also demonstrated. For more information, contact Y.-Z. Wang, Department of Materials Science & Engineering, Ohio State University, 2041 College Road, Columbus, OH 43221, USA; (614) 292-0682; fax (614) 292-1537; e-mail wang.363@osu.edu.     

Effect of supports on the redox performance of pyrite cinder in chemical looping combustion

Chemical looping combustion (CLC) is a clean and efficient flame-free combustion technology,which combust the fuels by lattice oxygen from a solid oxygen carrier with inherent CO2 capture.The develop-ment of oxygen carriers with low cost and high redox performance is crucial to the whole efficiency of CLC process.As the solid by-product from the sulfuric acid production,pyrite cinder presented excellent redox performance as an oxygen carrier in CLC process.The main components in pyrite cinder are Fe2O3,CaSO4,Al2O3 and SiO2 in which Fe2O3 is the active component to provide lattice oxygen.In order to sys-tematic investigate the functions of supports (CaSO4,Al2O3 and SiO2) in pyrite cinder,three oxygen car-riers (Fe2O3-CaSO4,Fe2O3-Al2O3 and Fe2O3-SiO2) were prepared and evaluated in this study.The results showed that Fe2O3-CaSO4 displayed high redox activity and cycling stability in the multiple redox cycles.However,both Fe2O3-Al2O3 and Fe2O3-SiO2 experienced serious deactivation during redox reactions.It indicated that the inert Fe-Si solid solution (Fe2SiO4) was formed in the spent Fe2O3-SiO2 sample,which decreased the oxygen carrying capacity of this sample.The XPS results showed that the oxygen species on the surface of Fe2O3-CaSO4 could be fully recovered after the 20 redox cycles.It can be concluded that CaSO4 is the key to the high redox activity and cycling stability of pyrite cinder.     

在Fe-Al-C系统中合成优质Ⅱa型宝石级金刚石单晶

和优质Ib型宝石级金刚石单晶生长相比，作为当今高温高压晶体生长的一种高精尖技术，优质1／a型宝石级金刚石单晶对合成技术提出了更高更苛刻的要求：枢研究从晶体的生长速度出发，发现一开始阶段（大约几个小时）的晶体生长速度对优质宝石级金刚石单晶的后期生长争关重要。埘Fe-Al-C系统（Al含量不大于2．5wt％）来说，采用多品种法将晶体开始阶段的晶体生长速度由1．5mg／h降至0．5mg／h后，对生长过程中金属包裹体的进入有了明显的抑制作用，晶体的质量有了很大提高。从晶体中包裹体的存任形式来看，为了获得优质Ⅱa型宝石级金刚石单晶，在触媒中人为地添加除氮剂给晶体生长过程中的排杂过程带来了很大的难度：为了更好的实现排杂，必须很好的处理晶体表面的径向平铺生长速度和晶体轴向的堆积生长速度之间的火系。     

LD7铝合金时效工艺的研究

通过试验系统地研究了ＬＤ７铝合金的单级和两级时效工艺。结果表明，与传统的单级时效相比，两级时效在不降低室温强度，硬度的前提下，可显著提高合金的电导率及高温性能。     

稳定态二氧化氯杀菌剂的制备及应用

稳定态二氧化氯(C1O2)是一新型杀菌消毒剂，具有高效、广谱、安全的特性，适用范围广，不产生对人体有害物质。介绍了稳定态ClO2的性质、检测、制备条件及其在有关领域的应用。