As a first step in understanding the chemistry of toxic elements in sludged soil, this thesis presents a comprehensive model of their chemistry in the digester. A review of the literature had shown that heavy metals were likely to be held in 3 pools: as precipitated and detrital mineral phases 'Particulate'; as complexes with the flocculated biomass 'Biofloc'; and as complexes in solution 'Soluble'. A simple pragmatic fractionation procedure has been offered to separate these 3 pools based on their physical properties in water. A mass-balance between the pools showed that the 'Particulate' fraction held only 5-16% of the heavy metals but contained them in the highest concentration. The 'Biofloc' held 82-94% of the heavy metals. The 'Particulate' material was subdivided by density separation and examined by a combination of analytical SEM and XRD. Thirty-four minerals were identified by XRD, many of which were detrital. Secondary precipitates on the surface of detrital minerals were revealed by the SEM; of these only the sulphides were found to contain detectable levels of heavy metals. Eleven minerals were identified in the 'Biofloc', of which most were clays. The fractionation scheme defined 2 fractions that could hold heavy metals by complexation. The 'Soluble' had a CEC of 8.8 meq/gm and the 'Biofloc' 4 meq/gm. Complexation by the heavy metals and a few other important cations was measured. A thermodynamic model was built which describes the possible solution species, mineral phases and complexation by the biomass in terms of a set of 33 primary components. This model was solved by computer for an 'average' sludge based on published analyses, and considered 313 solution species, 42 exchange reactions and 129 possible minerals. The predicted speciation was broadly in line with observations and suggested that the majority of the heavy metals separating with the 'Biofloc' would have been held as fine enmeshed sulphide precipitates. The model may be used with existing programs such as MINEQL and GEOCHEM. Preliminary studies have shown that with a few additions the model may be used to describe the heavy metals in sludged soil.

Volcanic rocks typically have only low to moderate arsenic concentrations, none-the-less, elevated levels of arsenic in ground waters have been associated with pyroclastic and volcaniclastic rocks and sediments in many parts of the world. The potential for arsenic leaching from these deposits is particularly problematic as they often comprise important water-bearing units in volcanic terrains. However, the role that chemical and mineralogical variations play in controlling the occurrence and mobility of arsenic from pyroclastic rocks is largely unexplored. This study uses chemical and X-ray diffraction data to characterize and classify 49 samples of ash-flow tuffs, and 11 samples of tuffaceous sediments. The samples exhibit a range of devitrification and chemical weathering. Total and partial digestion, and water extractions of samples are used to determine the total, environmentally available, and readily leachable fractions of arsenic present in all tuff samples. Leaching experiments were also performed with buffered solutions to determine the influence of elevated pH levels on arsenic mobility. The 49 tuff samples have a mean arsenic content of 7.5 mg kg-1, a geometric mean arsenic content of 4.8 mg kg-1, a median arsenic content of 5.2 mg kg-1, and a maximum arsenic concentration of 81 mg kg-1. The mean and median values are 2.8 - 4.4x the average crustal abundance of 1.7 mg kg-1 (Wedepohl, 1995), and consistent with previously reported values for volcanic glasses and felsic volcanic rocks (Onishi and Sandell, 1955; Wedepohl, 1995), although the maximum arsenic content is higher than previously reported (e.g., Casentini et al., 2010; Fiantis et al., 2010; Nobel et al., 2004). In addition, the arsenic concentrations of tuffs were found to be highly heterogenous, both between and within individual units, and in some cases, individual outcrops. Results of whole rock and leachate analyses indicate that there is no significant difference in the total arsenic content of tuffs as a result of devitrification or weathering, but both devitrified and weathered tuffs contain higher levels of environmentally available arsenic than unweathered glassy tuffs. Glassy tuffs did not produce any readily leachable arsenic, while individual devitrified and weathered tuffs both generated aqueous concentrations that exceeded regulatory limits after 18 hours. Leaching of weathered tuffs produced higher levels of arsenic at high (~9-11) pH than in tests conducted at circum-neutral pH. Devitrified and glassy tuffs showed no increase in leachable arsenic with increasing pH. The results of this study indicate that devitrification and weathering processes determine the host phases, degree of adsorption, and overall mobility of arsenic from ash-flow tuffs. Tuffs that have undergone different types of alteration are likely to have different host phases of arsenic, and different mechanisms that mobilize arsenic into the environment. Potential host phases and mobility mechanisms are discussed, and a conceptual model of arsenic behavior in ash-flow tuffs is proposed.

Little is actually known about the transcriptional regulation of spider silk as most studies have focused on the material properties of silks. We isolated and mapped the TuSp1 core promoter from the black widow spider, Latrodectus hesperus. Using a genomic DNA walking strategy, we have isolated an upstream segment (581 bp) of genomic DNA containing the promoter as well as the first exon of the TuSp1 gene. This upstream regulatory element was able to initiate transcription in insect cells when placed upstream the promoterless firefly luciferase reporter gene. Initiation of transcription was orientation dependent, as insertion of this upstream regulatory module in the reverse orientation led to inefficient transcriptional initiation. Only 170 bp of upstream sequence was required for strong transcriptional initiation, showing that core promoter resides within the first 170 bp of upstream 5' -flanking DNA. We also demonstrate the bHLH factor SGSF1 can repress gene transcription of the TuSp1 core promoter, implying SGSF I might participate in the transcriptional regulation of the TuSp1 gene in vivo.

L'utilisation d'AOP pour modéliser les préoccupations transverses ou non modulaire de CBSE assure une meilleure modularité et réutilisabilité des composants. Dans ce cadre, nous proposons une approche générique pour modéliser les aspects dans les modèles à composants. Nous modélisons un aspect par un wrapper sur une vue de système. Une vue décrit une configuration adéquate du système où tous les composants dans l'intérêt d'un aspect sont encapsulés dans le même composite. Pour la définition des vues, nous définissons un langage déclaratif VIL. Nous illustrons comment les vues sont mises en œuvre dans des modèles à composants (ex., Fractal), et nous fournissons un modèle formel pour l'analyse des interférences d'aspects. Les composants et les aspects sont modélisés par des automates et Uppaal est utilisé pour détecter les interférences. Pour la résolution d'interférences, nous fournissons un ensemble d'opérateurs de composition. Notre approche est illustrée par un exemple : l'accès wifi dans un aéroport. / Using AOP to model non-modular concerns in CBSE ensures better modularity and reusability of components. In this thesis, we provide a model independent approach for modeling aspects in component models. In the approach we model aspects as wrappers on views of component systems. A view describes an adequate component system configuration where all the components of interest of an aspect are encapsulated in the same composite.For declarative definition of views, we provide a declarative language VIL. We illustrate how views are implemented in component models(e.g., Fractal). We provide a formal framework for aspect interferences analysis. In the framework component systems and aspects are modeled as automata and Uppaal model checker is used for the detection of aspect interferences. For interferences resolution, we provide a set of composition operators as templates to be instantiated for any two arbitrary aspects. Our approach is illustrated with an airport wireless access example.

Araneoid spiders use specialized sets of abdominal silk glands to produce up to seven different types of silks, each with diverse functional properties. At the time of these studies, fibroin eDNA sequences that encode egg case silk had not been reported in the literature. This study used conventional nucleic acid-nucleic acid screening of a eDNA library to isolate a novel gene, named tubuliform spidroin 1 , from the black widow spider Latrodectus hesperus. TuSp 1 was demonstrated to be selectively expressed in the tubuliform gland (the gland suspected for egg case silk production), and examination of the amino acid sequence revealed highly homogeneous repeats (184 amino acid ensemble repeats), a characteristic feature of fibroin sequences. Analyses of the ensemble repeats within the amino acid sequence of TuSp 1 revealed the lack of long stretches of polyalanine and glycine-alanine sub-repeats, which are commonly found in minor ampullate and major ampullate silks. Polyserine blocks and short polyalanine stretches were highly represented in the TuSp 1 amino acid sequence. Our data support the assertion that TuSp 1 represents the main constituent within egg case silk. This supposition is supported by the observation that the amino acid composition of raw egg case silk was strikingly similar to the amino acid composition predicted from the translated TuSp1 eDNA. Two additional constituents identified in black widow egg case, egg case protein 1 (ECP-1) and egg case protein 2 (ECP-2), were also partially characterized in this study. Using immunohistochemical approaches, we demonstrate that ECPs predominantly localize to the exterior of the large diameter fibers of egg cases. Additionally, these studies revealed smaller amounts of ECPs localized to the interior portion of the fibers. Collectively, these results support TuSp1 as the predominant fibroin within egg sacs as well as reveal a structural role for the ECPs, providing clues regarding the supramolecular structure of egg case fibers.

Metabolic syndrome (MetS) and abdominal obesity (AbOb) increase the risk of developing cardiovascular disease and diabetes. Energy restriction (ER), highprotein (PRO) intake and high-intensity interval training (HIT) can independently improve MetS and AbOb. However, ER reduces metabolically active lean body mass (LBM) in addition to body fat (BF). Purpose: To determine the effects of a 16-wk ER diet with 2 levels of PRO (15% or 25% of energy), plus HIT, on MetS risk factors, AbOb, and body composition in women. Methods: Sedentary, premenopausal women (age=35±10y) with AbOb (waist circumference [WC] ≥80cm) were randomized to a 16-wk ER diet (-300kcals/d) with 15% (15PRO; n=17) or 25% (25PRO; n=18) of energy from PRO, plus 45min/d, 3d/wk HIT and 45min/d, 2d/wk continuous moderate-intensity exercise (CME) (-200kcals/d). Diet and physical activity (PA) were assessed using 4-d weighed food and PA records, respectively; diet and exercise compliance were assessed monthly with multiple-pass 24-h recalls and weekly tracking logs. Body weight (BW), WC, DXA-assessed body composition (BF [%], BF [kg], trunk fat [kg], and LBM [kg]), blood lipids (total cholesterol [TC], high-density lipoprotein cholesterol [HDL-C], low-density lipoprotein cholesterol [LDL-C], triglycerides [TG]), glycemic markers (fasting plasma glucose [FPG], insulin, and homeostatic model assessment for insulin resistance [HOMA-IR], beta cell function [HOMA-%β] and insulin sensitivity [HOMA-%S]) and resting blood pressure (BP) (systolic BP [SBP]; diastolic BP [DBP]) were assessed pre/post-intervention. Repeated measures analysis of variance and two sample t-tests were used at analyze the date. Results are reported as means±standard deviations. Results: There were significant time, but not group, differences in BW (-5.1±2.6kg, p=0.0141), WC (- 7.3±3.6cm, p<0.0001), TC (-18.1±17.4mg/dL, p<0.0001), LDL-C (12.2± 16.2mg/dL, p<0.0001), TG (-25.3±56.2mg/dL, p=0.0064), insulin (-2.1±4.2mg/dL, p=0.0048), HOMA-IR (-0.2±0.5, p=0.0062), HOMA-%β (-12.1±35.2%, p=0.0497), HOMA-%S (28.5±78.4%, p=0.0357), and SBP (-3±9mmHg, p=0.214). There were significant group x time differences in DBP (15PRO=-5±8mmHg, 25PRO=- 2±8mmHg; p=0.0024). There were no time or group differences in FPG or HDLC. There were significant time, but not group, effects on changes in BW (-5.1kg± 2.6, p<0.0001), BF (-3.3±1.6%, p<0.0001), and LBM (-0.6kg±1.5, p=0.0283). The 15PRO group lost more absolute whole BF (-5.2kg vs. -3.9kg, p=0.0355) and trunk fat (-3.1kg vs. -2.2kg) vs. the 25PRO group. Conclusion: Both diets significantly improved BW, AbOb, MetS risk factors, glycemic control, and BF (%); LBM (kg) loss was similar in both groups. Compared to the 15PRO diet had significantly greater absolute BF-kg and trunk fat-kg losses. Increased PRO intake did not improve AbOb or MetS risk beyond ER and HIT/CME. The impact of HIT/CME and the greater (-1.3kg) changes in BW in the 15PRO group may have contributed significantly to the changes in absolute BF and trunk fat. More research is needed to separate the impact of HIT/CME and weight loss from the impact of PRO during ER. / Graduation date: 2013 / Access restricted to the OSU Community at author's request from March 28, 2013 - March 28, 2014

Software components provide essential means to structure and organize software effectively. However, frequently, required component abstractions are not available in a programming language or system, or are not adequately combinable with each other. Invasive software composition (ISC) is a general approach to software composition that unifies component-like abstractions such as templates, aspects and macros. ISC is based on fragment composition, and composes programs and other software artifacts at the level of syntax trees. Therefore, a unifying fragment component model is related to the context-free grammar of a language to identify extension and variation points in syntax trees as well as valid component types. By doing so, fragment components can be composed by transformations at respective extension and variation points so that always valid composition results regarding the underlying context-free grammar are yielded. However, given a language’s context-free grammar, the composition result may still be incorrect. Context-sensitive constraints such as type constraints may be violated so that the program cannot be compiled and/or interpreted correctly. While a compiler can detect such errors after composition, it is difficult to relate them back to the original transformation step in the composition system, especially in the case of complex compositions with several hundreds of such steps. To tackle this problem, this thesis proposes well-formed ISC—an extension to ISC that uses reference attribute grammars (RAGs) to specify fragment component models and fragment contracts to guard compositions with context-sensitive constraints. Additionally, well-formed ISC provides composition strategies as a means to configure composition algorithms and handle interferences between composition steps. Developing ISC systems for complex languages such as programming languages is a complex undertaking. Composition-system developers need to supply or develop adequate language and parser specifications that can be processed by an ISC composition engine. Moreover, the specifications may need to be extended with rules for the intended composition abstractions. Current approaches to ISC require complete grammars to be able to compose fragments in the respective languages. Hence, the specifications need to be developed exhaustively before any component model can be supplied. To tackle this problem, this thesis introduces scalable ISC—a variant of ISC that uses island component models as a means to define component models for partially specified languages while still the whole language is supported. Additionally, a scalable workflow for agile composition-system development is proposed which supports a development of ISC systems in small increments using modular extensions. All theoretical concepts introduced in this thesis are implemented in the Skeletons and Application Templates framework SkAT. It supports “classic”, well-formed and scalable ISC by leveraging RAGs as its main specification and implementation language. Moreover, several composition systems based on SkAT are discussed, e.g., a well-formed composition system for Java and a C preprocessor-like macro language. In turn, those composition systems are used as composers in several example applications such as a library of parallel algorithmic skeletons.