Application and validation of a new biotic index using data from several water systems

Protozoans of Lake Donghu were collected from five stations using the PFU method. The sampling was conducted for one year and two times a month. The aim of this research was to test the applicability of a new protozoa biotic index, species pollution value (SPV) and community pollution value (CPV), established by the authors using data from the River Hanjiang. Each station's CPV was calculated from the SPV and the correlation analysis between the CPV and the comprehensive chemical index of stations I, II, III showed a significant correlation between them. The pollution status of the five stations was correctly evaluated by the CPV. These results suggested that the biotic index could be applied in water systems other than the River Hanjiang. The SPV of some protozoa species in Lake Donghu, not observed in the River Hanjiang were established. In order to further test the applicability of the biotic index, protozoan and chemistry data from the Rivers Torrente Stirone and Parma of Italy were used. The results showed that the CPV for the two rivers had a close relationship with the chemical water quality, which indicated that the biotic index could be applied in other parts of the world for the monitoring and estimating of water quality. Since the results of testing and verifying the biotic index in some other water systems in China were also satisfactory, this indicated that the biotic index has an extensive suitability for freshwater ecosystems. As long as more than 50% of the species in a sample have a SPV, the CPV calculated from the SPV is reliable for monitoring and evaluating water quality.

Development and validation of a simple mineral dust source inventory suitable for modelling in North Central China

IEECAS SKLLQG

Numerical simulation and validation of ocean waves measured by an Along-Track Interferometric Synthetic Aperture Radar

A new nonlinear integral transform of ocean wave spectra into Along-Track Interferometric Synthetic Aperture Radar (ATI-SAR) image spectra is described. ATI-SAR phase image spectra are calculated for various sea states and radar configurations based on the nonlinear integral transform. The numerical simulations show that the slant range to velocity ratio (R/V), significant wave height to ocean wavelength ratio (H-s/lambda), the baseline (2B) and incident angle (theta) affect ATI-SAR imaging. The ATI-SAR imaging theory is validated by means of Two X-band, HH-polarized ATI-SAR phase images of ocean waves and eight C-band, HH-polarized ATI-SAR phase image spectra of ocean waves. It is shown that ATI-SAR phase image spectra are in agreement with those calculated by forward mapping in situ directional wave spectra collected simultaneously with available ATI-SAR observations. ATI-SAR spectral correlation coefficients between observed and simulated are greater than 0.6 and are not sensitive to the degree of nonlinearity. However, the ATI-SAR phase image spectral turns towards the range direction, even if the real ocean wave direction is 30 degrees. It is also shown that the ATI-SAR imaging mechanism is significantly affected by the degree of velocity bunching nonlinearity, especially for high values of R/V and H-s/lambda.

Formal specification and refinement of a safe train control function

Motivated by the design and development challenges of the BART case study, an approach for developing and analyzing a formal model for reactive systems is presented. The approach makes use of a domain specific language for specifying control algorithms able to satisfy competing properties such as safety and optimality. The domain language, called SPC, offers several key abstractions such as the state, the profile, and the constraint to facilitate problem specification. Using a high-level program transformation system such as HATS being developed at the University of Nebraska at Omaha, specifications in this modelling language can be transformed to ML code. The resulting executable specification can be further refined by applying generic transformations to the abstractions provided by the domain language. Problem dependent transformations utilizing the domain specific knowledge and properties may also be applied. The result is a significantly more efficient implementation which can be used for simulation and gaining deeper insight into design decisions and various control policies. The correctness of transformations can be established using a rewrite-rule based induction theorem prover Rewrite Rule Laboratory developed at the University of New Mexico.

Effects of Ionizing Radiation on Three-Dimensional Human Vessel Models: Differential Effects According to Radiation Quality and Cellular Development

Little is known about the effects of space radiation on the human body. There are a number of potential chronic and acute effects, and one major target for noncarcinogenic effects is the human vasculature. Cellular stress, inflammatory response, and other radiation effects on endothelial cells may affect vascular function. This study was aimed at understanding the effects of space ionizing radiation on the formation and maintenance of capillary-like blood vessels. We used a 3D human vessel model created with human endothelial cells in a gel matrix to assess the effects of low-LET protons and high-LET iron ions. Iron ions were more damaging and caused significant reduction in the length of intact vessels in both developing and mature vessels at a dose of 80 cGy. Protons had no effect on mature vessels up to a dose of 3.2 Gy but did inhibit vessel formation at 80 cGy. Comparison with gamma radiation showed that photons had even less effect, although, as with protons, developing vessels were more sensitive. Apoptosis assays showed that inhibition of vessel development or deterioration of mature vessels was not due to cell death by apoptosis even in the case of iron ions. These are the first data to show the effects of radiation with varying linear energy transfer on a human vessel model. (C) 2011 In Radiation Research Society