From linear temporal logic and limit-deterministic Büchi automata to deterministic parity automata

Controller synthesis for general linear temporal logic (LTL) objectives is a challenging task. The standard approach involves translating the LTL objective into a deterministic parity automaton (DPA) by means of the Safra-Piterman construction. One of the challenges is the size of the DPA, which often grows very fast in practice, and can reach double exponential size in the length of the LTL formula. In this paper, we describe a single exponential translation from limit-deterministic Büchi automata (LDBA) to DPA and show that it can be concatenated with a recent efficient translations from LTL to LDBA to yield a double exponential, ‘Safraless’ LTL-to-DPA construction. We also report on an implementation and a comparison with other LTL-to-DPA translations on several sets of formulas from the literature.

     

Effect of backwashing on perchlorate removal in fixed bed biofilm reactors

The influence of backwashing on biological perchlorate reduction was evaluated in two laboratory scale fixed bed biofilm reactors using 1- or 3-mm glass beads as support media. Influent perchlorate concentrations were 50 microg/L and acetate was added as the electron donor at a concentration of 2 mg C/L. Perchlorate removal was evaluated at various influent dissolved oxygen (DO) concentrations. Complete perchlorate removal was achieved with an influent DO concentration of 1mg/L resulting in bulk phase DO concentrations below the detection limit of 0.01 mg/L. The influence of increasing influent DO concentrations for 12 h periods was evaluated before and after individual backwash events. Partial perchlorate removal was achieved with an influent DO concentration of 3.5 mg/L before a strong backwash (bulk phase DO concentrations of approximately 0.2mg/L), while no perchlorate removal was observed after the strong backwash at the same influent DO level (bulk phase DO concentrations of approximately 0.8 mg/L). The immediate effect of backwashing depended on influent DO concentrations. With influent DO concentrations of 1 mg/L, strong backwashing resulted in a brief (<12 h) increase of effluent perchlorate concentrations up to 20 microg/L; more pronounced effects were observed with influent DO concentrations of 3mg/L. Daily weak backwashing had a small and, over time, decreasing negative influence on perchlorate reduction, while daily strong backwashing ultimately resulted in the breakdown of perchlorate removal with influent DO concentrations of 3 mg/L.     

Chemisorption of oxygen onto activated carbon can enhance the stability of biological perchlorate reduction in fixed bed biofilm reactors

Fixed bed biofilm reactors with granular activated carbon (GAC) or glass beads as support media were used to evaluate the influence of short-term (12h) and long-term (23 days) increases of influent dissolved oxygen (DO) concentrations on biological perchlorate removal. The goal was to evaluate the extent by which chemisorption of oxygen to GAC can enhance the stability of biological perchlorate reduction. Baseline influent concentrations were 50 microg/L of perchlorate, 2 mg/L of acetate as C, and 1mg/L of DO. Perchlorate removal in the glass bead reactor seized immediately after increasing influent DO concentrations from 1 to 4 mg/L since glass beads have no sorptive capacity. In the biologically active carbon (BAC) reactor, chemisorption of oxygen to GAC removed a substantial fraction of the influent DO, and perchlorate removal was maintained during short-term increases of influent DO levels up to 8 mg/L. During long-term exposure to influent DO concentrations of 8.5mg/L, effluent perchlorate and DO concentrations increased slowly. Subsequent exposure of the BAC reactor bed to low DO concentrations partially regenerated the capacity for oxygen chemisorption. Microbial analyses indicated similar microbial communities in both reactors, which confirmed that the differences in reactor performance during dynamic loading conditions could be attributed to the sorptive properties of GAC. Using a sorptive biofilm support medium can enhance biological perchlorate removal under dynamic loading conditions.     

Anaerobic codigestion of municipal solid waste and biosolids under various mixing conditions--II: Microbial population dynamics

Microbial population dynamics were evaluated in anaerobic codigesters treating municipal solid waste and sewage sludge. Ribosomal RNA based oligonucleotide probes were used to characterize changes in population abundance of syntrophic volatile fatty acid degrading bacteria and methanogens. Changes in community structure were linked to traditional performance parameters during the recovery of previously unstable codigesters induced by a reduction in mixing levels. Methanosarcina spp. were the most abundant aceticlastic methanogens in unstable codigesters with high acetate concentrations, while Methanosaeta concilii was dominant in stable systems with low levels of acetate. Growth of Syntrophobacter wolinii was enhanced during stabilization of a codigester with a well-developed population of Methanobacteriaceae, possibly because the presence of adequate numbers of these hydrogenotrophic methanogens encouraged the syntrophic oxidation of propionate. Mesophilic saturated fatty acid beta-oxidizing syntrophs were most abundant in previously unstable codigesters. One minimally mixed reactor became unstable after switching to continuously mixed conditions. After the switch, total archaeal abundance decreased sharply, though Methanobacteriaceae and Methanosarcina spp. levels increased as the fermentation became unbalanced. Based on the results presented here, mixing appears to inhibit the syntrophic oxidation of volatile fatty acids, possibly by disrupting the spatial juxtaposition of syntrophic bacteria and their methanogenic partners.     

A dynamic and complex monochloramine stress response in Escherichia coli revealed by transcriptome analysis

Despite the widespread use of monochloramine in drinking water treatment, there is surprisingly little information about its mode of action. In this study, DNA microarrays were used to investigate the global gene expression of Escherichia coli cells exposed to sub-lethal concentrations of monochloramine, with a focus on temporal dynamics. Genes induced by monochloramine were associated with several stress response functions, including oxidative stress, DNA repair, multidrug efflux, biofilm formation, antibiotic resistance, and cell wall repair. The diversity of functional associations supports a model of monochloramine action involving multiple cellular targets including cell membranes, nucleic acids, and proteins. These data suggest that E. coli responds to monochloramine exposure by activating diverse defense responses rather than a single antioxidant system and the exposure may also induce biofilm formation. The induction of multidrug efflux pumps and specific antibiotic resistance genes further suggests that exposure to monochloramine may contribute to reduced susceptibility to some antibiotics.     

Simultaneous removal of nitrate and arsenic from drinking water sources utilizing a fixed-bed bioreactor system

A novel bioreactor system, consisting of two biologically active carbon (BAC) reactors in series, was developed for the simultaneous removal of nitrate and arsenic from a synthetic groundwater supplemented with acetic acid. A mixed biofilm microbial community that developed on the BAC was capable of utilizing dissolved oxygen, nitrate, arsenate, and sulfate as the electron acceptors. Nitrate was removed from a concentration of approximately 50 mg/L in the influent to below the detection limit of 0.2 mg/L. Biologically generated sulfides resulted in the precipitation of the iron sulfides mackinawite and greigite, which concomitantly removed arsenic from an influent concentration of approximately 200 ug/L to below 20 ug/L through arsenic sulfide precipitation and surface precipitation on iron sulfides. This study showed for the first time that arsenic and nitrate can be simultaneously removed from drinking water sources utilizing a bioreactor system.     

Clinical evaluation of a posterior composite 10-year report

OBJECTIVE: To determine if the long-term use of continuously infused intrathecal baclofen (ITB) over a 1-year period will control spastic-dystonic hypertonia in patients with traumatic brain injury (TBI). SETTING: Tertiary care outpatient and inpatient rehabilitation center directly attached to a university hospital. SUBJECTS: Persons with TBI and intractable spasticity and dystonia for more than 6 months' duration recruited in a consecutive manner. DESIGN: TBI patients were admitted to the study after screening via a bolus injection of either intrathecal normal saline or 50 microg of baclofen. Data for Ashworth rigidity scores, spasm scores, and deep tendon reflex scores were collected for both the upper extremities (UE) and lower extremities (LE). Patients whose LE Ashworth scores decreased an average of 2 points were then offered implantation of a computer-controlled pump for continuous ITB. Changes over time were assessed statistically via Friedman's analysis for ordinal data and ANOVA for linear data. Differences between set points in time were also assessed via Wilcoxon signed rank. DATA SET: Seventeen patients (average age 29+/-11 yrs) with spasticity and/or dystonia treated over 1 year via a computer-controllable intrathecal delivery system for the delivery of ITB. RESULTS: After 1 year of continuous ITB treatment the average LE Ashworth score decreased from 3.5+/-1.3 (SD) to 1.7+/-0.9 (p < .0001), spasm score from 1.8+/-1.3 to 0.2+/-0.5 (p< .0001), and reflex score from 2.5+/-1.1 to 0.1+/-0.3 (p < .0001). The average UE Ashworth score decreased from 2.9+/-1.5 to 1.6+/-1.0 (p < .0001), spasm score from 1.2+/-1.5 to 0.2+/-0.6 (p < 0.0001), and reflex score from 2.2+/-0.5 to 1.0+/-0.8 (p < .0001). The average ITB dose required to attain these effects at 1 year was 302 microg continuously infused per day. CONCLUSION: Continuous intrathecal infusion of baclofen is capable of maintaining a reduction in spasticity and dystonia in both the upper and lower extremities of TBI patients.     

Accurate prediction of the volume inversion impact on undoped Double Gate MOSFET capacitances

This paper demonstrates the capability of our previously published undoped Double‐Gate (DG) MOSFET explicit and analytical compact model to also forecast the effect of the volume inversion (VI) on the intrinsic capacitances. For that purpose, we present simulation results for these capacitances. We show now that the model presents an accurate dependence on the silicon layer thickness, consistent with two‐dimensional numerical simulations, for both thin and thick silicon films. As opposed to our previous work, here we test the capacitance model for three different film thicknesses and also show that the transition from VI regime to dual gate behaviour is well simulated. We demonstrate in this paper that even if the current drive and transconductance are enhanced in VI regime, our results show that intrinsic capacitances are higher as well, which may limit the high‐speed (delay time) behaviour of DG MOSFETs under VI regime. The good agreement between the numerical simulations and our model shows the high potential of our complete DG MOSFET model. Copyright © 2010 John Wiley & Sons, Ltd.