SOIL AND BIOSOLID NANO- AND MACRO-COLLOID PROPERTIES AND CONTAMINANT TRANSPORT BEHAVIOR

Despite indications that they are potential contaminant transport systems and threats to groundwater quality, very little effort has been invested in comparing contaminant transport behavior of natural environmental nanocolloids and their corresponding macrocolloid fractions in the presence of As, Se, Pb, and Cu contaminants. This study involved physico-chemical, mineralogical, stability and contaminant-transport characterizations of nano- (\u3c 100 nm) and macro-colloids (100-2000 nm) fractionated from three Kentucky soils and one biosolid waste. Particle size was investigated with SEM/TEM and dynamic light scattering. Surface reactivity was estimated using CEC and zeta potential. Mineralogical composition was determined by XRD, FTIR, and thermogravimetric analyses. Sorption isotherms assessed affinities for Cu2+, Pb2+, AsO3-, and SeO4-2 contaminants, while settling kinetics experiments of suspensions at 0, 2 and 10 mg/L contaminants determined stability and transportability potential. Undisturbed 18x30 cm KY Ashton Loam soil monoliths were also used for transport experiments, involving infusion of 50 mg L-1 colloid suspensions spiked with 2 mg L-1 mixed contaminant loads in unsaturated, steady state, unit gradient downward percolation experiments. Overall, nanocolloids exhibited greater stability over corresponding macrocolloids in the presence and absence of contaminants following specific mineralogy trends. Physicochemical characterizations indicated that extensive organic carbon surface coatings and higher Al/Fe:Si ratios may have induced higher stability in the nanocolloid fractions, in spite of some hindrance by nano-aggregation phenomena. In the transport experiments, nanocolloids eluted significantly higher concentrations of colloids, total, and colloid-bound metals than corresponding macrocolloids. Contaminant elutions varied by colloid type, mineralogy and contaminant, with the following sequences: soil-colloids\u3ebio-colloids, smectitic\u3emixed≥kaolinitic\u3ebiosolid, and Se\u3ePb/Cu≥As. Our findings demonstrate that even though they behave more like nano-aggregates rather than individual nano-particles, nanocolloids may exhibit significantly higher mobility and contaminant transport potential over great distances in subsoil environments than their corresponding macrocolloid fractions

Influence of Clay Mineralogy on Soil Dispersion Behavior and Water Quality

Currently, there is very little research available on nonpoint source pollution from rural watersheds. Government regulatory agencies are desperate for information regarding the causes of nonpoint source pollution, which includes the relationship between suspended soil particles and dispersion. Since soil dispersion is dependent on clay mineralogy, knowing the clay mineralogy of the soil in an area can help predict sediment loads entering the surrounding surface waters. This information is necessary to protect the resource value of our rivers, lakes, and estuaries, as well as to protect recreational activities such as fishing or hunting; but most importantly, this information is necessary to ensure the safety of our drinking water supply. Clay mineralogy and its influence on dispersion, as well as dispersion and its relation to water quality are the focus of this study. Soil mineralogy affects water quality in several ways: soil mineralogy determines the dispersivity of the clay portion of the soil and dispersive clays are likely to end up as suspended sediment in surface waters; weathering reactions contribute elements to water as dissolved load, and the sorption properties of clay minerals contribute to soils\u27 ability to filter and carry pollutants. Through the use of X-ray diffraction, dispersivity, atomic absorption spectrometry, cation exchange capacity, and petrographic microscopy, this study shows that the clay mineral fraction of a soil determines the dispersivity, and that dispersed clay minerals contribute excess nutrients and metals as nonpoint source pollutants to surface waters

Variation of the first Hilbert coefficients of parameters with a common integral closure

A problem posed by Wolmer V. Vasconcelos on the variation of the first Hilbert coefficients of parameter ideals with a common integral closure in a local ring is studied. Affirmative answers are given and counterexamples are explored as well

A Metric Encoding for Bounded Model Checking (extended version)

In Bounded Model Checking both the system model and the checked property are translated into a Boolean formula to be analyzed by a SAT-solver. We introduce a new encoding technique which is particularly optimized for managing quantitative future and past metric temporal operators, typically found in properties of hard real time systems. The encoding is simple and intuitive in principle, but it is made more complex by the presence, typical of the Bounded Model Checking technique, of backward and forward loops used to represent an ultimately periodic infinite domain by a finite structure. We report and comment on the new encoding technique and on an extensive set of experiments carried out to assess its feasibility and effectiveness

DSOL: a declarative approach to self-adaptive service orchestrations

Service oriented computing (SOC) has brought a simplification in the way distributed applications can be built. Mainstream approaches, however, failed to support dynamic, self-managed compositions that would empower even non-technical users to build their own orchestrations. Indeed, because of the changeable world in which they are embedded, service compositions must be able to adapt to changes that may happen at run-time. Unfortunately, mainstream SOC languages, like BPEL and BPMN, make it quite hard to develop such kind of self-adapting orchestrations. We claim that this is mostly due to the imperative programming paradigm they are based on. To overcome this limitation we propose a radically different, strongly declarative approach to model service orchestration, which is easier to use and results in more flexible and self-adapting orchestrations. An ad-hoc engine, leveraging well-known planning techniques, interprets such models to support dynamic service orchestration at run-time

Using Graph Transformation Systems to Specify and Verify Data Abstractions

This paper proposes an approach for the specification of the behavior of software components that implement data abstractions. By generalizing the approach of behavior models using graph transformation, we provide a concise specification for data abstractions that describes the relationship between the internal state, represented in a canonical form, and the observers of the component. Graph transformation also supports the generation of behavior models that are amenable to verification. To this end, we provide a translation approach into an LTL model on which we can express useful properties that can be model-checked with a SAT solver