The nitrate to ammonia and ceramic (NAC) process for the denitration and immobilization of low-level radioactive liquid waste (LLW)

Hazardous radioactive liquid waste is the legacy of more than 50 years of plutonium production associated with the United States' nuclear weapons program. It is estimated that more than 245,000 tons of nitrate wastes are stored at facilities such as the single-shell tanks (SST) at the Hanford Site in the state of Washington, and the Melton Valley storage tanks at Oak Ridge National Laboratory (ORNL) in Tennessee. In order to develop an innovative, new technology for the destruction and immobilization of nitrate-based radioactive liquid waste, the United State Department of Energy (DOE) initiated the research project which resulted in the technology known as the Nitrate to Ammonia and Ceramic (NAC) process. However, inasmuch as the nitrate anion is highly mobile and difficult to immobilize, especially in relatively porous cement-based grout which has been used to date as a method for the immobilization of liquid waste, it presents a major obstacle to environmental clean-up initiatives. Thus, in an effort to contribute to the existing body of knowledge and enhance the efficacy of the NAC process, this research involved the experimental measurement of the rheological and heat transfer behaviors of the NAC product slurry and the determination of the optimal operating parameters for the continuous NAC chemical reaction process. Test results indicate that the NAC product slurry exhibits a typical non-Newtonian flow behavior. Correlation equations for the slurry's rheological properties and heat transfer rate in a pipe flow have been developed; these should prove valuable in the design of a full-scale NAC processing plant. The 20-percent slurry exhibited a typical dilatant (shear thickening) behavior and was in the turbulent flow regime due to its lower viscosity. The 40-percent slurry exhibited a typical pseudoplastic (shear thinning) behavior and remained in the laminar flow regime throughout its experimental range. The reactions were found to be more efficient in the lower temperature range investigated. With respect to leachability, the experimental final NAC ceramic waste form is comparable to the final product of vitrification, the technology chosen by DOE to treat these wastes. As the NAC process has the potential of reducing the volume of nitrate-based radioactive liquid waste by as much as 70 percent, it not only promises to enhance environmental remediation efforts but also effect substantial cost savings. ^

Cascading ecological effects of low-level phosphorus enrichment in the Florida Everglades

Few studies have examined long-term ecological effects of sustained low-level nutrient enhancement on wetland biota. To determine sustained effects of phosphorus (P) addition on Everglades marshes we added P at low levels (5, 15, and 30 µg L-1 above ambient) for 5 yr to triplicate 100-m flow-through channels in pristine marsh. A cascade of ecological responses occurred in similar sequence among treatments. Although the rate of change increased with dosing level, treatments converged to similar enriched endpoints, characterized most notably by a doubling of plant biomass and elimination of native, calcareous periphyton mats. The full sequence of biological changes occurred without an increase in water total P concentration, which remained near ambient levels until Year 5. This study indicates that Everglades marshes have a near-zero assimilative capacity for P without a state change, that ecosystem responses to enrichment accumulate over time, and that downstream P transport mainly occurs through biota rather than the water column.

Ecological effects of low-level phosphorus additions on two plant communities in a neotropical freshwater wetland ecosystem

We conducted a low-level phosphorus (P) enrichment study in two oligotrophic freshwater wetland communities (wet prairies [WP] and sawgrass marsh [SAW]) of the neotropical Florida Everglades. The experiment included three P addition levels (0, 3.33, and 33.3 mg P m−2 month−1), added over 2 years, and used in situ mesocosms located in northeastern Everglades National Park, Fla., USA. The calcareous periphyton mat in both communities degraded quickly and was replaced by green algae. In the WP community, we observed significant increases in net aboveground primary production (NAPP) and belowground biomass. Aboveground live standing crop (ALSC) did not show a treatment effect, though, because stem turnover rates of Eleocharis spp., the dominant emergent macrophyte in this community, increased significantly. Eleocharis spp. leaf tissue P content decreased with P additions, causing higher C:P and N:P ratios in enriched versus unenriched plots. In the SAW community, NAPP, ALSC, and belowground biomass all increased significantly in response to P additions. Cladium jamaicense leaf turnover rates and tissue nutrient content did not show treatment effects. The two oligotrophic communities responded differentially to P enrichment. Periphyton which was more abundant in the WP community, appeared to act as a P buffer that delayed the response of other ecosystem components until after the periphyton mat had disappeared. Periphyton played a smaller role in controlling ecosystem dynamics and community structure in the SAW community. Our data suggested a reduced reliance on internal stores of P by emergent macrophytes in the WP that were exposed to P enrichment. Eleocharis spp. rapidly recycled P through more rapid aboveground turnover. In contrast, C. jamaicense stored added P by initially investing in belowground biomass, then shifting growth allocation to aboveground tissue without increasing leaf turnover rates. Our results suggest that calcareous wetland systems throughout the Caribbean, and oligotrophic ecosystems in general, respond rapidly to low-level additions of their limiting nutrient.

Stated versus observed performance levels in patients with chronic low back pain

This study examined the relationship between chronic low back pain (CLBP) patients' perceived (stated) levels of function and their measured (observed) performance in squatting and stair climbing activities as compared to healthy volunteers. Twenty patients with CLBP and 20 healthy subjects were asked through an interview to self-assess their ability to comfortably perform stair climbing and squatting as well as other tolerances. The subjects were then asked to perform the activities and their performance levels were recorded. Results of the t-tests and Analysis of Variance (ANOVA) procedures revealed that patients' estimate of squatting and stair climbing abilities as well as their demonstrated levels were significantly lower (p < 0.001) than those of the healthy subjects. There was a significant difference between groups in terms of the time required to perform squatting but not stair climbing. Both healthy subjects and patients with CLBP underestimated their physical capabilities. Findings indicate that the use of actual performance measurement combined with self-report of functional abilities is needed when assessing performance levels of both healthy as well as patients with CLBP.

Specific Increase in MDR1 Mediated Drug-Efflux in Human Brain Endothelial Cells following Co-Exposure to HIV-1 and Saquinavir

Persistence of HIV-1 reservoirs within the Central Nervous System (CNS) remains a significant challenge to the efficacy of potent anti-HIV-1 drugs. The primary human Brain Microvascular Endothelial Cells (HBMVEC) constitutes the Blood Brain Barrier (BBB) which interferes with anti-HIV drug delivery into the CNS. The ATP binding cassette (ABC) transporters expressed on HBMVEC can efflux HIV-1 protease inhibitors (HPI), enabling the persistence of HIV-1 in CNS. Constitutive low level expression of several ABC-transporters, such as MDR1 (a.k.a. P-gp) and MRPs are documented in HBMVEC. Although it is recognized that inflammatory cytokines and exposure to xenobiotic drug substrates (e.g HPI) can augment the expression of these transporters, it is not known whether concomitant exposure to virus and anti-retroviral drugs can increase drug-efflux functions in HBMVEC. Our in vitro studies showed that exposure of HBMVEC to HIV-1 significantly up-regulates both MDR1 gene expression and protein levels; however, no significant increases in either MRP-1 or MRP-2 were observed. Furthermore, calcein-AM dye-efflux assays using HBMVEC showed that, compared to virus exposure alone, the MDR1 mediated drug-efflux function was significantly induced following concomitant exposure to both HIV-1 and saquinavir (SQV). This increase in MDR1 mediated drug-efflux was further substantiated via increased intracellular retention of radiolabeled [3H-] SQV. The crucial role of MDR1 in 3H-SQV efflux from HBMVEC was further confirmed by using both a MDR1 specific blocker (PSC-833) and MDR1 specific siRNAs. Therefore, MDR1 specific drug-efflux function increases in HBMVEC following co-exposure to HIV-1 and SQV which can reduce the penetration of HPIs into the infected brain reservoirs of HIV-1. A targeted suppression of MDR1 in the BBB may thus provide a novel strategy to suppress residual viral replication in the CNS, by augmenting the therapeutic efficacy of HAART drugs.

Formal modeling and analysis techniques for high level Petri nets

Petri Nets are a formal, graphical and executable modeling technique for the specification and analysis of concurrent and distributed systems and have been widely applied in computer science and many other engineering disciplines. Low level Petri nets are simple and useful for modeling control flows but not powerful enough to define data and system functionality. High level Petri nets (HLPNs) have been developed to support data and functionality definitions, such as using complex structured data as tokens and algebraic expressions as transition formulas. Compared to low level Petri nets, HLPNs result in compact system models that are easier to be understood. Therefore, HLPNs are more useful in modeling complex systems. ^ There are two issues in using HLPNs—modeling and analysis. Modeling concerns the abstracting and representing the systems under consideration using HLPNs, and analysis deals with effective ways study the behaviors and properties of the resulting HLPN models. In this dissertation, several modeling and analysis techniques for HLPNs are studied, which are integrated into a framework that is supported by a tool. ^ For modeling, this framework integrates two formal languages: a type of HLPNs called Predicate Transition Net (PrT Net) is used to model a system's behavior and a first-order linear time temporal logic (FOLTL) to specify the system's properties. The main contribution of this dissertation with regard to modeling is to develop a software tool to support the formal modeling capabilities in this framework. ^ For analysis, this framework combines three complementary techniques, simulation, explicit state model checking and bounded model checking (BMC). Simulation is a straightforward and speedy method, but only covers some execution paths in a HLPN model. Explicit state model checking covers all the execution paths but suffers from the state explosion problem. BMC is a tradeoff as it provides a certain level of coverage while more efficient than explicit state model checking. The main contribution of this dissertation with regard to analysis is adapting BMC to analyze HLPN models and integrating the three complementary analysis techniques in a software tool to support the formal analysis capabilities in this framework. ^ The SAMTools developed for this framework in this dissertation integrates three tools: PIPE+ for HLPNs behavioral modeling and simulation, SAMAT for hierarchical structural modeling and property specification, and PIPE+Verifier for behavioral verification.^

Formal Modeling and Analysis Techniques for High Level Petri Nets

Petri Nets are a formal, graphical and executable modeling technique for the specification and analysis of concurrent and distributed systems and have been widely applied in computer science and many other engineering disciplines. Low level Petri nets are simple and useful for modeling control flows but not powerful enough to define data and system functionality. High level Petri nets (HLPNs) have been developed to support data and functionality definitions, such as using complex structured data as tokens and algebraic expressions as transition formulas. Compared to low level Petri nets, HLPNs result in compact system models that are easier to be understood. Therefore, HLPNs are more useful in modeling complex systems. There are two issues in using HLPNs - modeling and analysis. Modeling concerns the abstracting and representing the systems under consideration using HLPNs, and analysis deals with effective ways study the behaviors and properties of the resulting HLPN models. In this dissertation, several modeling and analysis techniques for HLPNs are studied, which are integrated into a framework that is supported by a tool. For modeling, this framework integrates two formal languages: a type of HLPNs called Predicate Transition Net (PrT Net) is used to model a system's behavior and a first-order linear time temporal logic (FOLTL) to specify the system's properties. The main contribution of this dissertation with regard to modeling is to develop a software tool to support the formal modeling capabilities in this framework. For analysis, this framework combines three complementary techniques, simulation, explicit state model checking and bounded model checking (BMC). Simulation is a straightforward and speedy method, but only covers some execution paths in a HLPN model. Explicit state model checking covers all the execution paths but suffers from the state explosion problem. BMC is a tradeoff as it provides a certain level of coverage while more efficient than explicit state model checking. The main contribution of this dissertation with regard to analysis is adapting BMC to analyze HLPN models and integrating the three complementary analysis techniques in a software tool to support the formal analysis capabilities in this framework. The SAMTools developed for this framework in this dissertation integrates three tools: PIPE+ for HLPNs behavioral modeling and simulation, SAMAT for hierarchical structural modeling and property specification, and PIPE+Verifier for behavioral verification.