Experimental analysis of soil and dust stabilizers for controlling displacement of contaminated soils by wind tunnel experiments

During the remediation of burial grounds at the US Department of Energy's (DOE's) Hanford Site in Washington State, the dispersion of contaminated soil particles and dust is an issue that is faced by site workers on a daily basis. This contamination problem is even more of a concern when one takes into account the semi-arid characteristics of the region where the site is located. To mitigate this problem, workers at the site use a variety of engineered methods to minimize the dispersion of contaminated soil and dust (i.e. use of water and/or suppression agents that stabilizes the soil prior to soil excavation, segregation, and removal activities). A primary contributor to the dispersion of contaminated soil and dust is wind soil erosion. The erosion process occurs when the wind speed exceeds a certain threshold value which depends on a number of factors including wind force loading, particle size, surface soil moisture, and the geometry of the soil. Thus under these circumstances, the mobility of contaminated soil and generation and dispersion of particulate matter are significantly influenced by these parameters. This dependence of soil and dust movement on threshold shear velocity, fixative dilution and/or application rates, soil moisture content, and soil geometry were studied for Hanford's sandy soil through a series of wind tunnel experiments, laboratory experiments and theoretical analysis. In addition, the behavior of plutonium (Pu) powder contamination in the soil was studied by introducing a Pu simulant (cerium oxide). The results showed that soil dispersion and PM10 concentrations decreased with increasing soil moisture. Also, it was shown that the mobility of the soil was affected by increasing wind velocity. It was demonstrated that the use of fixative products greatly decreased the amount of soil and PM10 concentrations when exposed to varying wind conditions. In addition, it was shown that geometry of the soil sample affected the velocity profile and calculation of roughness surface coefficient when comparing round and flat soil samples. Finally, threshold shear velocities were calculated for soil with flat surface and their dependency on surface soil moisture was demonstrated. A theoretical framework was developed to explain these dependencies.

Evaluation of wind-induced internal pressure in low-rise buildings: A multi scale experimental and numerical approach

Hurricane is one of the most destructive and costly natural hazard to the built environment and its impact on low-rise buildings, particularity, is beyond acceptable. The major objective of this research was to perform a parametric evaluation of internal pressure (IP) for wind-resistant design of low-rise buildings and wind-driven natural ventilation applications. For this purpose, a multi-scale experimental, i.e. full-scale at Wall of Wind (WoW) and small-scale at Boundary Layer Wind Tunnel (BLWT), and a Computational Fluid Dynamics (CFD) approach was adopted. This provided new capability to assess wind pressures realistically on internal volumes ranging from small spaces formed between roof tiles and its deck to attic to room partitions. Effects of sudden breaching, existing dominant openings on building envelopes as well as compartmentalization of building interior on the IP were systematically investigated. Results of this research indicated: (i) for sudden breaching of dominant openings, the transient overshooting response was lower than the subsequent steady state peak IP and internal volume correction for low-wind-speed testing facilities was necessary. For example a building without volume correction experienced a response four times faster and exhibited 30–40% lower mean and peak IP; (ii) for existing openings, vent openings uniformly distributed along the roof alleviated, whereas one sided openings aggravated the IP; (iii) larger dominant openings exhibited a higher IP on the building envelope, and an off-center opening on the wall exhibited (30–40%) higher IP than center located openings; (iv) compartmentalization amplified the intensity of IP and; (v) significant underneath pressure was measured for field tiles, warranting its consideration during net pressure evaluations. The study aimed at wind driven natural ventilation indicated: (i) the IP due to cross ventilation was 1.5 to 2.5 times higher for Ainlet/Aoutlet>1 compared to cases where Ainlet/Aoutlet<1, this in effect reduced the mixing of air inside the building and hence the ventilation effectiveness; (ii) the presence of multi-room partitioning increased the pressure differential and consequently the air exchange rate. Overall good agreement was found between the observed large-scale, small-scale and CFD based IP responses. Comparisons with ASCE 7-10 consistently demonstrated that the code underestimated peak positive and suction IP.

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.^

The Effects of the Use of Technology In Mathematics Instruction on Student Achievement

The purpose of this study was to examine the effects of the use of technology on students’ mathematics achievement, particularly the Florida Comprehensive Assessment Test (FCAT) mathematics results. Eleven schools within the Miami-Dade County Public School System participated in a pilot program on the use of Geometers Sketchpad (GSP). Three of these schools were randomly selected for this study. Each school sent a teacher to a summer in-service training program on how to use GSP to teach geometry. In each school, the GSP class and a traditional geometry class taught by the same teacher were the study participants. Students’ mathematics FCAT results were examined to determine if the GSP produced any effects. Students’ scores were compared based on assignment to the control or experimental group as well as gender and SES. SES measurements were based on whether students qualified for free lunch. The findings of the study revealed a significant difference in the FCAT mathematics scores of students who were taught geometry using GSP compared to those who used the traditional method. No significant differences existed between the FCAT mathematics scores of the students based on SES. Similarly, no significant differences existed between the FCAT scores based on gender. In conclusion, the use of technology (particularly GSP) is likely to boost students’ FCAT mathematics test scores. The findings also show that the use of GSP may be able to close known gender and SES related achievement gaps. The results of this study promote policy changes in the way geometry is taught to 10th grade students in Florida’s public schools.

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.

Weak strangeness changing semi-leptonic process

We have obtained total and differential cross sections for the strangeness changing charged current weak reaction ν L + p → Λ(Σ0) + L+ using standard dipole form factors, where L stands for an electron, muon, or tau lepton, and L + stands for an positron, anti-muon or anti-tau lepton. We calculated these reactions from near threshold few hundred MeV to 8 GeV of incoming neutrino energy and obtained the contributions of the various form factors to the total and differential cross sections. We did this in support of possible experiments which might be carried out by the MINERνA collaboration at Fermilab. The calculation is phenomenologically based and makes use of SU(3) relations to obtain the standard vector current form factors and data from Λ beta decay to obtain the axial current form factor. We also made estimates for the contributions of the pseudoscalar form factor and for the F E and FS form factors to the total and differential cross sections. We discuss our results and consider under what circumstances we might extract the various form factors. In particular we wish to test the SU(3) assumptions made in determining all the form factors over a range of q2 values. Recently new form factors were obtained from recoil proton measurements in electron-proton electromagnetic scattering at Jefferson Lab. We thus calculated the contributions of the individual form factors to the total and differential cross sections for this new set of form factors. We found that the differential and total cross sections for Λ production change only slightly between the two sets of form factors but that the differential and total cross sections change substantially for Σ 0 production. We discuss the possibility of distinguishing between the two cases for the experiments planned by the MINERνA Collaboration. We also undertook the calculation for the inverse reaction e − + p → Λ + νe for a polarized outgoing Λ which might be performed at Jefferson Lab, and provided additional analysis of the contributions of the individual form factors to the differential cross sections for this case. ^