论文部分内容阅读
本文通过对荣华二采区10<
AADL2TASM: a Verification and Analysis Tool for AADL Models
【摘 要】
：
本文通过对荣华二采区10
【机 构】
：
School of Computer Science and Engineering,Beihang University,Beijing 100191,China
【出 处】
：
东华大学学报（英文版）
【发表日期】
：
2012年1期
其他文献
Arsenic is a natural tasteless and odourless element,existing in the earth s crust at average levels of between two and five thousands micrograms per liter (par
Severe soil erosion is a serious environmental problem in China.In 1999 the Chinese government implemented the Grain-for-Green Program(herein referred to as the
In this paper,environmental scanning electron microscopy (ESEM) is applied to characterizing the mineral and element distribution of chromite ore processing res
Using a flow cytometer (FCM) onboard the R/V Xuelong during the 24th Chinese Antarctic cruise,picoplankton community structure and biomass in the surface water
The influence of macronitrogen (NO3- and NH4+) addition with Ulva pertusa on dissolved inorganic car
The influence of macronitrogen (NO3- and NH4+) addition with Ulva pertusa on dissolved inorganic carbon system in seawater was studied.The results indicate that
Sediment samples were collected from the heavily contaminated Haihe River to conduct static nutrient release experiments with tap water,and to evaluate the effe
A quantitative assessment method is proposed to sense the specific effects of atmospheric icing conditions on flight safety.A six degree-of-freedom computationa
This research work developed a model for the MIP riser reactor using the data collected from an industrial MIP unit.Based on analysis of flow patterns in the re
土壤水分、盐分时空变异强,是影响土壤光谱特征的两个重要因素.土壤水分与盐分之间的关系以及土壤水分、盐分与土壤光谱特征间的关系直接关系到利用遥感光谱信息监测土壤盐渍
Metabolism of polyphosphate-accumulating organisms(PAOs) in biological phosphorus removal process un
Lower temperature or polyphosphate limitation is the favorable condition to enrich polyphosphate-accumulating organisms (PAOs) or glycogen accumulating organism