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.

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.