# University Library, University of Illinois at Urbana-Champaign

##### Repository
Showing 41–80 of 2,600,720 items
• ##### INHS Reports, Winter 2010
Scholarship
Creator
Illinois Natural History Survey
Description
Interspecific Interactions between Invasive and Native Mosquitoes | Islands as Models for Biodiversity Studies | Can Riparian Forests Help Improve Stream communities in Illinois Agricultural Watersheds? | Ecosystem-scale Evaluation of Sound Bubble Barrier Technologies to Prevent Range Expansions of Asian Carps | Species Spotlight: Brown Recluse Spider | The Naturalist's Apprentice: Illinois Spiders
• ##### Facile Size-Controlled Synthesis of Fluorescent Carbon Nanoparticles with Size-Independent Optical Properties
Scholarship
Creator
• Singh, Jasleena
• Pan, Dipanjan
• Schwartz-Duval, Aaron Star
• Mistry, Neal
• Golk, Kelsey
• Srivastava, Indrajit
Description
Nanoparticle imaging probes and drug delivery systems have distinct advantages over free or diffusive delivery in that they can concentrate the imaging contrast agent and/or drug, elicit controlled release/degradation, and have a high surface area to volume ratio beneficial for attaching targeting ligands. The size of these nanoparticles affects delivery, retention, degradation rate, and sometimes the radiological properties of the particles. For many optically active nanoparticles (such as gold, silver, and quantum dots), the optical properties are directly dependent on the size and shape of the nanoparticles. While this provides a simplistic outlet for modifying the optical properties of those nanoparticles, it is limiting in that their applications are also dependent on morphology. In these works, we aim to determine if the optical properties of fluorescent carbon nanoparticles are dependent on size through variations in synthetic parameters. Fluorescent carbon nanoparticles with hydrodynamic diameters ranging from 10 – 500 nm were prepared through variations of sugar source, concentration of agave (as a sugar source) and incubation time. Through comparisons made between these nanoparticles, we found no change in the local absorbance maxima and refractive index, with < 5 nm shifting in fluorescence maxima location. We have observed that fluorescent carbon nanoparticles can be prepared within a large range of sizes (10 – 500 nm) without considerable shift in optical properties. Because of this observation, we can infer that the optical properties of fluorescent carbon nanoparticles are largely size independent.
• ##### The influence of early information on postsecondary affordability
Scholarship
Creator
Description
Misconceptions on affordability remain a barrier to postsecondary access for millions of potential students. When students recognize financial aid availability during secondary school years, they gain the capability to better establish a curricular path that aligns with postsecondary aspirations. This dissertation assesses the use of residency-based financial aid programs and parents’ college assets as methods to generate early information on postsecondary affordability. Following a three-paper format, the first paper develops a typology organizing the growing number of residency-based “Promise” programs around the country. The typology captures variations in the geographic scope for eligibility, supplementary qualifications, funding sources, value, and redeeming criteria to generate a description and list of comparable programs. Identifying program comparability is a necessary step for research examining program outcomes. The first paper uses a cluster analysis methodology to identify programs comparable based on the advertised operational characteristics. I find three distinctly different groups of residency-based financial aid programs, which I term state-based aid programs, institutionally funded programs, and community-sustained programs. The typology is extended to identify the specific operational characteristics for which residency-based, community-sustained financial aid programs differ. The second paper uses a unique institutional-level dataset and quasi-experimental Difference-in-Difference design to examine changes in college readiness, postsecondary outcomes, and curriculum decisions resulting from the residency-based, community-sustained Dell and Evelyn Carroll Scholarship. The award guarantees all Meridian High School students last-dollar funding for unmet need at Richland Community College. I find that information about Carroll Scholarship eligibility increases the college-readiness levels among high-achieving high school graduates who elect to enroll at Richland. After enrollment, all Carroll-eligible students register for, and earn, a statistically significant increased number of credit hours. I also find evidence that the Carroll Scholarship impacts student’s curriculum selection. The final paper uses a quantitative, quasi-experimental design of the nationally representative Education Longitudinal Study of 2002. Propensity Score Matching models are used to estimate different parents’ college asset savings strategies impacts the likelihood of a child enrolling in postsecondary education after completing high school. I find an enrollment association from parent’s postsecondary savings across different socioeconomic and sociodemographic groups. The models evaluate student responsiveness differences based on socioeconomics, race, and ethnicity, and control for secondary school academic achievement and the amount saved.
• ##### Physics of the helicon antenna on the prototype materials exposure experiment
Scholarship
Creator
Piotrowicz, Pawel A.
Description
Proto-MPEX has been operating in a high-density “helicon-mode” of operation. The helicon mode of operation is classified by an increase in target on-axis electron density (6e19 m^-3) and a decrease in electron temperature (2 – 3 eV) during a helicon pulse. This transition is observed when Deuterium gas is puffed into the device and is dependent on operating configurations. The Proto-MPEX helicon antenna is a quarter turn right handed helical twist antenna powered by RF at 13.56 MHz and > 110 kW of power. Establishing plasma densities and magnetic field strengths under the antenna that suppress non-resonant mode conversion to the slow-wave are thought to be responsible for operating in the "helicon-mode". Evidence for this phenomena to be responsible for the "helicon-mode" of operation is presented. The experimental results showing evidence of this phenomena are presented here. First, we present time-resolved measurements of an edge-to-core power transition during a "helicon-mode" plasma pulse in the form of infra-red camera imaging of a thin stainless steel target plate. The time-resolved images measure the two-dimensional distribution of power deposition in the helicon discharge. The discharge displays a mode transition characterized by a significant increase in the on-axis electron density and core power coupling, suppression of edge power coupling and the formation of a fast-wave radial normal mode. Although the self-consistent mechanism that drives this transition is not yet understood, the edge-to-core power transition displays characteristics that are consistent with the discharge entering a slow-wave anti-resonant regime. RF magnetic field measurements made across the plasma column, together with the power deposition results, provide direct evidence to support the suppression of the slow-wave in favour of core plasma production by the fast-wave in a light-ion helicon source. A full wave model of the helicon antenna has been made in the finite element analysis software, COMSOL Multiphysics, to investigate the wave fields produced and the power deposition inside the Proto-MPEX device. Core electron density and magnetic field under the helicon is scanned while tracking core power deposition. The peaks of core power deposition in this parameter space are then investigated and the propagating modes are analyzed. These areas of increased core power deposition are then identified as helicon normal modes that are predicted to decrease edge coupling of power and increase core power coupling by suppressing the non-resonant mode conversion of the fast-wave to the slow-wave in the periphery of the plasma.
• ##### Seismic Performance of Seat-Type Abutment Highway Bridges in Illinois
Scholarship
Creator
• Fahnestock, Larry A.
• Luo, Jie
• Kozak, Derek L.
• LaFave, James M.
Description
This study assesses the seismic performance of quasi-isolated highway bridges with seat-type abutments, validates the current IDOT design strategy, and provides recommendations for improving a bridge’s seismic behavior. To encompass common configurations of highway bridges with non-seismically designed bearing components employed as sacrificial connections between superstructures and substructures, a suite of prototype bridges with variations in span arrangement, girder type, skew angle, pier column height, and foundation soil condition were studied. Detailed three-dimensional nonlinear finite-element models were developed for the bridges, incorporating various critical structural components and geotechnical mechanisms. Multi-mode adaptive pushover analyses were conducted to investigate bridge response characteristics in terms of the force distribution among substructures, the sequence of limit state occurrences, the fusing of sacrificial connections, and the vulnerability of critical bridge components. Eigenvalue modal analyses were also performed in the elastic and inelastic deformation states to reveal modal response characteristics of the bridges. The study culminated in an extensive seismic performance assessment of quasi-isolated bridges, for which thousands of nonlinear dynamic time-history analyses were carried out. The bridges were subjected to a suite of site-specific earthquake ground motions, taking into account the site condition and the regional seismicity of Cairo, Illinois. Assessment results validated that the current quasi-isolation bridge design strategy is generally effective, and the majority of the studied prototype bridges are unlikely to fail in global collapse when subjected to horizontal earthquake ground motions with a 1,000-year return period in deep southern Illinois. Although most of the prototype bridges exhibited satisfactory seismic performance, the response of a small number of them demonstrated a risk of bearing unseating and severe pier column damage. With the aim of improving the seismic performance of these bridges, preliminary recommendations for calibrating the current design strategy were proposed, and their efficacy was demonstrated by comparative studies.
• ##### Tracking certificate misissuance in the wild
Scholarship
Creator
Wang, Zhengping
Description
Certificate Authorities (CAs) are responsible for delegating trust in the TLS Public Key Infrastructure (PKI). Unfortunately, there is a long history of CAs abusing this responsibility, either due to negligence or in some cases, falling victim to attacks. As a result, the PKI community has established standards that define the correctness of certificates and how a well managed CA should operate. In this work, we evaluate a systematic approach to identifying whether certificates issued by CAs are compliant with community standards. To this end, we present ZLint, a system that determines whether a certificate is not conformant to standards, i.e., misissued. We find that while misissuance has decreased over time, there is still a long tail of non-conformant CAs in the ecosystem. Further, our results show that certificate misissuance serves as a reasonable indicator for mismanagement and untrustworthiness, suggesting that CAs that misissue more frequently pose a greater threat to security of the PKI. Community efforts thus far to curb these threats have been moderately successful, but the lack of a systematic approach to identifying these problems lets some classes of problems slip through the cracks. We argue that an automated and systematic approach to measuring misissuance in the ecosystem is a necessary first step in solving the problems that lie ahead.
• ##### Navigating the PDF/A standard: a case study of theses in the University of Oxford’s institutional repository
Scholarship
Creator
Oates, Anna Irene
Description
The PDF/A (Portable Document Format–Archival) was established by the International Organization of Standardization as the ISO 19005 standard for long-term preservation of electronic documents. While the ISO requirements of a well-formed PDF/A ensure sustainability and easy recovery of content, the standard restricts some document features from being incorporated into a well-formed PDF/A. Non-conformances to the standard are found across electronic theses and dissertations, from non-Latin glyphs used in scientific and language papers to embedded content, such as images. A further complication for achieving ISO 19005 compliance is that, despite non-conformance to the ISO standard, validation tools do not always catch non-conformance errors in documents which claim to conform to PDF/A. While PDF/A is a logical solution for long-term preservation of electronic documents, the stringent standard prevents some content which is frequently used in academic research from conforming to the ISO 19005 standard. This thesis evaluates the PDF/A and its potential use as a preservation file format for electronic theses and dissertations.
• ##### Feeding peroxidized soybean oil to finishing pigs: Effects on performance, nutrient digestibility, carcass...
Scholarship
Creator
Overholt, Martin F.
Description
• ##### Food safety through fungal disease and mycotoxin mitigation on dairy farms: From field to feed and the rumen
Scholarship
Creator
Weatherly, Maegan Elizabeth
Description
• ##### Essays in debt sustainability and financial stability
Scholarship
Creator
Henao Arbelaez, Camila
Description
In chapter one, I construct a dynamic stochastic general equilibrium model of optimal default, in which the government optimally holds net debt and attachable assets. The model is novel as it allows for the possibility of debt to be enforced. This is a vast improvement upon previous models, which find that the optimal level of assets the sovereign chooses in the long run is zero. Here, asset savings have other roles different than consumption smoothing. They impact repayment incentives and borrowing costs. Whenever debt is enforceable through a fraction of assets that can be confiscated should the government default, equilibrium attachable asset holdings can be different than zero. I find that attachable asset holdings and attachability, increase debt sustainability, and further provide access to funds. The main mechanism by which this occurs is the endogenous interest rate. It is found to be decreasing in the attachability parameter, and increasing in the probability of redemption. I calibrate $\alpha$ to match observed attachable asset levels. Results indicate a ninefold increase in attachability from the late 1990s to 2010 (from $10\%$ to $93\%$); these results then allow me to match the observed rising trend in attachable asset holdings since the late 1990s. In synthesis, this paper argues that larger attachability—which can be interpreted as relentless litigation, severe threats of confiscation, and less favorable rulings toward sovereigns—explains the rise in the observed percentage of debt attached and attachable asset holdings. In chapter two, we ask if government financial assets help improve public debt sustainability. We assemble a comprehensive dataset on government assets using multiple sources and covering 110 advanced and emerging market economies since the 1980s. We then use this rich database to estimate the impact of assets on two key dimensions of debt sustainability: borrowing costs and the probability of debt distress. Government assets significantly reduce sovereign spreads and the probability of debt crises in emerging economies, but not in advanced economies; this effect varies with asset characteristics, notably liquidity. Assets also help discriminate among countries across the distribution of sovereign spreads, thus signaling information about emerging economies’ creditworthiness. Chapter three systematically documents the impact on output dynamics of an additional unit of debt-to-tax revenue, conditional on the occurrence of financial shocks. I examine whether banking crises are systematically different from other financial catastrophes (currency crises), and, most importantly, whether pre-crises fiscal buffers are particularly important whenever banking crises materialize. Lastly, the paper investigates post-crisis output dynamics considering pre-crisis debt-to-tax revenue, and examine whether the post-crisis dynamics are systematically different for emerging and developing economics than for advanced economies. Using panel data for 155 countries for the period of 1975-2011, I estimate a univariate autoregressive model in growth rates, and construct impulse response functions to display the relationship between debt-to-tax-revenue conditional on a financial crisis and output dynamics. Using three approaches to account for the endogeneity of crises and fiscal burden, I find that an additional unit of debt-to-tax revenue prior to a banking crisis is associated with larger output losses than when the same situation occurs prior to a currency crisis. Emerging and developing economies experience deeper losses than advanced countries; this is due not only to banking and currency crises, but because of marginal increases in the pre-crisis debt-to-tax-revenue ratios.
• ##### Closing yield gaps in South Asian wheat production (Bihar, India and Terai of Nepal)
Scholarship
Creator
Park, Alexander Guy
Description
• ##### Exploring photo elicitation to engage head start families of children with disabilities
Scholarship
Creator
Hile, Kimberly Ann
Description
The Individuals with Disabilities Education Act mandates that children with disabilities be provided with individualized supports to maximize their overall development and learning. Caregivers of children ages birth to 5 years play an integral role in determining what supports are most beneficial for the child and their family. Research related to family empowerment and capacity-building suggest that families facing multiple risk factors (e.g., presence of a disability, poverty, single parents, and low levels of maternal education) may experience feelings of powerlessness when asked by professionals to make decisions on behalf of their families. The purpose of this study was to identify effective ways to engage families experiencing multiple risk factors including caring for young children with disabilities, to work collaboratively with Head Start professionals when planning and implementing family-centered interventions. Specifically, collaborations between families and Head Start Family Service Workers and the potential utility for a particular strategy, “photo elicitation,” to empower families to share their personal stories as a pathway to building meaningful relationships was examined. A qualitative approach via thematic analysis was utilized. Findings from this study begin to address the need for identifying innovative strategies for building family capacity with Head Start families, specifically those caring for young children with disabilities.
• ##### The effects of zinc source and supplemental copper on growth performance, carcass characteristics, and morbidity and...
Scholarship
Creator
Schmitt, Rachel Loren
Description
• ##### Interfacial spallation/delamination properties of self-assembled monolayers
Scholarship
Creator
Zhang, Chen
Description
Self-assembled monolayers (SAMs) are short (nanometer-size) organic chains terminated by functional groups that can be selected to tailor the electrical, thermal and/or mechanical properties of interfaces. In this thesis, we investigate how the presence of SAMs affects the failure properties of gold film/silicon/fused silica substrate interfaces. In particular, we study how the presence of SAMs affects (i) the spallation strength and (ii) the fracture toughness of the interface. The modeling work summarized in this thesis is motivated by previous results of molecular dynamic (MD) simulations and laser-induced spallation/delamination tests to quantify the strength and toughness of SAM-enhanced interfaces. Though the results obtained from MD simulations and experimental observations yielded similar trends in comparing the contribution of various SAMs, their actual values were off by significant amounts. The research presented in this dissertation involves the development of continuum-level numerical models to analyze the dynamic spallation and delamination events to fill the gap between MD simulations and experimental results. In the first part of the thesis, a continuum-level study is performed to investigate the influence of surface roughness on the cohesive strength of the interface between a fused silica/SAM substrate and a transfer-printed gold film. We approximate the film as a deformable continuum interacting with a rough substrate of SAM. Using the cohesive law predicted by MD, spallation is simulated to evaluate the effective traction-separation characteristics for the rough SAM-gold interface. The separation attributes based on roughness parameters and material properties of gold film are observed. The dependence of the interfacial cohesive strength of SAM-enhanced interface on incorporating roughness and the thin film properties is studied. In the laser-induced delamination test, the interface fracture energy is computed by assuming all of the kinetic energy imparted into the weak adhesion layer of the film is converted into fracture energy. However, part of this effective interface fracture toughness is associated with plastic deformations in the film. To quantify the plasticity contribution to the effective fracture toughness of the SAM-enhanced interface, we perform an implicit finite element numerical analysis of the dynamic delamination event that incorporated both large deformation and plasticity effects. Cohesive elements whose failure law is derived from MD simulations are introduced along the interface to simulate the failure initiation and debonding process. The amount of dissipated plastic energy is quantified and the film profile is depicted depending on the properties of the thin film and the interfacial attributes. The model is validated with experimental measurements of the crack propagation length, profile of the debonded thin film, and interfacial fracture energy.
• ##### Creating a PCI express interconnect in the gem5 simulator
Scholarship
Creator
Srinivasan, Krishna Parasuram
Description
In this thesis, the objective was to implement a PCI (Peripheral Component Interconnect) Express interconnect in the gem5 architecture simulator. The interconnect was designed with the goal of aiding accurate modeling of PCI Express-based devices in gem5 in the future. The PCI Express interconnect that was created consisted of a root complex, PCI Express switch, as well as individual PCI Express links. Each of these created components can work independently, and can be easily integrated into the existing gem5 platforms for the ARM Instruction Set Architecture. The created PCI Express interconnect was evaluated against a real PCI Express interconnect present on an Intel Xeon server platform. The bandwidth offered by both interconnects was compared by reading data from storage devices using the Linux utility “dd”. The results indicate that the gem5 PCI Express interconnect can provide between 81% - 91.6% of the bandwidth of the real PCI Express interconnect. However, architectural differences between the gem5 and Intel Xeon platforms used, as well as unimplemented features of the PCI Express protocol in the gem5 PCI Express interconnect, necessitate more strenuous validation of the created PCI Express interconnect before reaching a definitive conclusion on its performance.
• ##### Nelson Oppen combination as a rewrite theory
Scholarship
Creator
Rodrigues, Nishant
Description
Solving Satisfiability Modulo Theories (SMT) problems in a key piece in automating tedious mathematical proofs. It involves deciding satisfiability of formulas of a decidable theory, which can often be reduced to solving systems of equalities and disequalities, in a variety of theories such as linear and non-linear real and integer arithmetic, arrays, uninterpreted and Boolean algebra. While solvers exist for many such theories or their subsets, it is common for interesting SMT problems to span multiple theories. SMT solvers typically use refinements of the Nelson-Oppen combination method, an algorithm for producing a solver for the quantifier free fragment of the combination of a number of such theories via cooperation between solvers of those theories, for this case. Here, we present the Nelson-Oppen algorithm adapted for an order-sorted setting as a rewriting logic theory. We implement this algorithm in the Maude System and instantiate it with the theories of real and integer matrices to demonstrate its use in automated theorem proving, and with hereditarily finite sets with reals to show its use with non-convex theories. This is done using both SMT solvers written in Maude itself via reflection (Variant-based satisfiability) and using external solvers (CVC4 and Yices). This work can be considered a first step towards building a rich ecosystem of cooperating SMT solvers in Maude, that modeling and automated theorem proving tools typically written using the Maude System can leverage.
• ##### Development of an ultraprecision shaping machine for manufacturing of Stavax lens molds
Scholarship
Creator
Moore, Jack
Description
The production of high-precision aspheric microlenses has become increasingly difficult due to an increase in the complexity of the profile, the decrease in the lens’ size, and the demand for tighter tolerances. Machines built to fabricate these lenses generally include several expensive components due to the stringent stiffness, resolution, and bandwidth requirements necessary for proper machining. This thesis deals with reducing the cost of production by building an ultraprecision shaping machine that is comprised of three reasonably priced custom made axes that meet the requirements needed for ultraprecision machining. These three axes are (1) a flexure-based, single DOF axis driven by a voice coil actuator, (2) an inchworm axis driven by an assembly of five piezoelectric actuators, and (3) a long range fast tool servo driven by a large piezoelectric actuator. These three axes were developed individually to meet a set of requirements determined necessary for the machining of a microlens mold array in Stavax, a stainless steel variant. Each axis was designed such that it would not fail due to fatigue failure, was capable of achieving a high resolution (< 10 nm), and had a high stiffness in the degrees of constraint (> 200 N/µm). The X-axis needed a range greater than 250 µm, the Y-axis needed a range greater than 3 mm, and the Z-axis needed a range greater than 35 µm. The X-axis needed to be capable of following a low frequency sine wave, while the Z-axis needed to be capable of following high frequency wave forms (200 Hz). Simulations were performed to determine if the designs would meet all the requirements set. All the designed axes have met the requirements, but only the X- and Y-axes have been manufactured for testing. Preliminary testing has shown that the X-axis has at least a stiffness of 60 N/µm in both the degrees of constraint. Movement in the parasitic directions while the axis was being actuated was also tested and showed that the only movement in the parasitic directions is when the X-axis crosses the zero point. Most likely, this is due to the electronics being used, which are also making it difficult to determine the full range of the axis and close the loop. Testing on the Y-axis has revealed that it has a stiffness of at least 125 N/µm in the direction of motion and stiffnesses between 60 N/µm and 100 N/µm in the degrees of constraint. The axis is capable of running at a speed of 150 µm/s, which is only limited by the amplifiers being used. Closed loop testing has shown that the axis is capable of 10 nm steps.
• ##### Second-harmonic generation-based Mueller matrix polarization analysis of collagen-rich tissues
Scholarship
Creator
Okoro, Chukwuemeka
Description
Quantitative assessment of the properties of fibrillar collagen in tissue can yield deeper insight into structure-function correlations of the cell and its surrounding matrix. Second-harmonic generation (SHG) microscopy is especially well-suited as an image acquisition technique, due to its specificity to the non-centrosymmetric structure of collagen, and inherent confocality which enables three-dimensional sectioning. SHG imaging can be undertaken in a quantifiable manner, or combined with other techniques that highlight desired properties. A powerful property for characterizing collagenous tissue microstructure is the Mueller matrix polarization response. Two polarimetric imaging approaches are demonstrated for robust Mueller matrix characterization of collagenous tissue. One approach, called the two-photon Mueller matrix second-harmonic generation (MMSHG) microscopy, involves the generalization of Mueller matrix to the case of two-photon excitation. This 4-by-9 two-photon Mueller matrix is extracted using second-harmonic generation microscopy and analyzed for quantitative collagen assessment. The matrix and associated degree-of-polarization parameter from different sample types and thicknesses are also investigated. It was observed that the polarization-dependent degree-of-polarization distribution shape changes and a model-based bimodal mean difference metric increases with sample thickness. The second polarization technique which we developed, called second-harmonic patterned polarization-analyzed reflection confocal (SPPARC) microscopy, uses the conventional linear polarimetry of confocal images, delineated with a second-harmonic mask. This latter approach, combining the metric richness of linear polarimetry with the specificity of SHG imaging, is used for assessing collagen, as well as non-collagenous regions, in porcine tendon and ligament. We observed differences in depolarization and circular degree-of-polarization parameters, that have potential for dfferentiating tissues in varying states. Next, we present the results of SPPARC microscopy and analysis of collagen on varying pathologies of breast tissues. Experiments were conducted on a breast tissue microarray having benign tissues (BT), malignant invasive lobular carcinoma (ILC), and benign stroma adjacent to the malignant tissues (called the benign adjacent tissue, or BAT). We observed that stroma in BAT and ILC exhibits the largest parameter differences, with collagen readings in ILC showing lower depolarization, lower diattenuation and higher linear degree-of-polarization values than stromal collagen in BAT. This result suggests that the optical properties of collagen change most in the vicinity of tumors. A similar trend is also exhibited in the non-collagenous extrafibrillar matrix plus cells (EFMC) region. We finally discuss additional work involving polarization modeling, setup optimization, and implementation of other decomposition techniques.
• ##### Stacks in Poisson geometry
Scholarship
Creator
Villatoro, Joel David
Description
This thesis is divided into four chapters. The first chapter discusses the relationship between stacks on a site and groupoids internal to the site. It includes a rigorous proof of the folklore result that there is an equivalence between the bicategory of internal groupoids and the bicategory of geometric stacks. The second chapter discusses standard concepts in the theory of geometric stacks, including Morita equivalence, stack symmetries, and some Morita invariants. The third chapter introduces a new site of Dirac structures and provides a rigorous answer to the question: What is the stack associated to a symplectic groupoid? The last chapter discusses a remarkable class of Poisson manifolds, called b-symplectic manifolds, giving a classification of them up to Morita equivalence and computing their Picard group.
• ##### Relyzer+: An open source tool for application-level soft error resiliency analysis
Scholarship
Creator
Ahmed, Khalique
Description
In the modern era of computing, processors are increasingly susceptible to soft errors. Current solutions in both hardware and software enable error detection and correction. Some of these errors, however, go unnoticed by detectors and manifest as silent data corruptions (SDCs) at the application level. Injecting errors into the system and evaluating the outcomes is one method to uncover SDC-causing errors and determine an application's overall resilience to soft errors. The number of possible locations that errors may appear in is large, therefore requiring many injection experiments. One resiliency analysis tool, Relyzer, addresses this issue by performing a comprehensive program analysis to create a small subset of the error injection experiments that can account for the entire application. The limitation of Relyzer is that current analysis can only be performed on one hardwarware instruction set architecture (ISA). Software is usually compiled to multiple ISAs in order to support users with varying hardware configurations. The primary contribution of this thesis is building Relyzer, an open source version of Relyzer implemented using the gem5 simulator. This enables the capability to analyze multiple ISAs and consequently support multiple hardware configurations in the long-term. Specifically, in this work, we develop support for x86. We also evaluate applications across ISAs by generating error resiliency profiles for both x86 and SPARC. After studying five workloads from different domains, we find that in general, application soft error resiliency varies based on the selection of the ISA. The percentage of static instructions that yield SDCs is, on average, 68\% for x86 and 60\% for SPARC, for the applications we studied. Furthermore, this work opens doors to future research in application-level soft error resiliency analysis.
• ##### Fatigue crack growth in hydrogen pipeline steels
Scholarship
Creator
Che, Ziwei
Description
Pipeline hydrogen transport and distribution are contemplated for hydrogen applications. Hydrogen introduction in the natural gas pipeline systems is also considered in the power to gas (P2G) approach to utilizing excess renewable energy when the supply exceeds the demand. It is well known that hydrogen embrittles all carbon steels used to manufacture pipelines and hence, safety and reliability of hydrogen transport requires that pipelines be assessed and tested against hydrogen embrittlement. The most severe embrittlement mechanism is hydrogen accelerated fatigue crack growth since it is well known that hydrogen can enhance fatigue crack growth rates by a factor of 10. In this thesis, the fatigue life of a line pipe manufactured with API steel is calculated by investigating the growth of a semi-elliptical crack on the inner diameter surface due to hydrogen pressure fluctuation. This behavior is compared with the life of the line pipe in an inert environment (e.g. natural gas or N2) under the same pressure fluctuations. The hydrogen or the inert environment pressure history is analyzed with the rainflow counting method and the crack depth calculations are carried out for a variety of API steels at load ratios for a given initial crack depth. The load ratio R equals where and are respectively the minimum and maximum stress intensity factors in a pressure cycle the crack experiences due to the pressure fluctuations. In particular for API X42 steel for which experimental data are available for calculations with greater load ratio, the fatigue life is calculated at load ratios and . The calculation of the stress intensity factor was done by using the closed form solution of Zahoor for which the validity range with regard to the crack and line pipe dimensions was established through comparisons with numerical calculations. The results demonstrate that hydrogen markedly accelerates crack growth and the initial crack depth has significant effect on the pipeline life.
• ##### Power-law liquid in high-temperature superconductors
Scholarship
Creator
Leong, Zhidong
Description
Inspired by recent photoemission measurements, we demonstrate that the normal state of cuprate superconductors can be described by a power-law liquid, a state of matter with a power-law self-energy $\Sigma^{\pr\pr}\sim(\omega^{2}+\pi^{2}T^{2})^{\alpha}$. The scaling exponent decreases from $\alpha\sim1$ in the overdoped Fermi-liquid state to $\alpha\lesssim\frac{1}{2}$ in the optimal and underdoped regime. We find that broad scale invariance of a power-law liquid leads to the cuprates' superconducting dome, vanishing Fermi velocity, and diverging effective mass. We propose that a power-law liquid can arise from the presence of a scale-invariant sector known as unparticles. To extend the power-law liquid framework to include the ubiquitous magnetic phases of high-$T_{c}$ superconductors, we study the local-itinerant dichotomy in iron pnictides. We show that an interplay between localized moments and itinerant electrons is needed to reproduce the spin excitations observed in inelastic neutron scattering experiments. These results further our understanding of the degrees of freedom in high-$T_{c}$ superconductors and will help formulate a consistent framework incorporating the physics of the antiferromagnetic, normal, and superconducting states.
• ##### A language independent debugger semantics based debugging in K
Scholarship
Creator
Saxena, Manasvi
Description
This works presents the K debugger - a language independent program debugger. The debugger is a part of the suite of tools that form the K framework. Conventional language dependent debuggers rely on an ad-hoc model of the underlying programming semantics, and may thus be incapable, or inaccurate in their ability to rectify a program’s behavior. The K debugger uses a different approach - it’s parametric over the K semantics of the programming language, which exposes accurate and subtle faults. The K debugger generalizes behaviors of conventional debuggers, providing users with a uniform interface that works across programming languages. Moreover, the K debugger is formal, performant and highly configurable, allowing it to adapt to the any programming language. This makes the K debugger a suitable replacement to traditional language specific debuggers.
• ##### Lion: Listen online. Using GraphQL as a mediator for data integration and ingestion
Scholarship
Creator
Tubbs, Dustyn James
Description
Data integration is the task of providing a unified view of multiple data sources. Thesesources can be, and are typically, heterogeneous in their data model, data query language (DQL), and data manipulation language (DML). In this thesis is described a system called”Listen Online”, or Lion for short. Lion utilizes the GraphQL specification to provide integration for querying of web services. Lion provides a general structure by which arbitrary mediators can be used within a query. Lastly, by building on top of open source libraries,Lion provides the open source community with components that enable it to function in the form of GraphQL servers, visual layout libraries, and query builders.
• ##### Geospatial analysis of residential mobility in media: Selling buildings and buying homes
Scholarship
Creator
Shakespeare, Rebecca
Description
Americans love media about house-hunting; by analyzing media representations of house-hunting, we can understand more about the reasons that people move and how media narratives reinforce particular ideas about housing. This data visualization contributes to literature highlighting how house-hunting media content, like HGTV, reinforces the idea of housing as a commodity. Using New Yorkers’ residential histories, derived from the text of Joyce Cohen’s weekly real estate column “The Hunt” from the New York Times in 2017, this shows two households’ similar experiences of housing as a commodity. Vertical lines represent the time that households spent living in a specific area and horizontal connectors indicate times that they moved. In the inset, specific events which impacted residential mobility are displayed at the times and locations the events occurred. Two of the fifty weekly columns analyzed included “building sold” as a reason for moving. These households’ demonstrate two ways that housing is treated as a commodity: first, as renters’ buildings are sold for profit; second, as renters buy housing as investments. This geographic visualization of stories, called geo-narrative, provides a spatially and temporally situated view of the intertwined experiences of residents in the same city. Source: The Hunt, weekly house-hunting column in the New York Times.
• ##### Marital status across the world
Scholarship
Creator
Worthington, Andrea
Description
The poster has a multidimensional diagram that represents material status across the world using radar graphs. Each graph has 5 points to represent age ranges from 15 to 65 +. The different sizes of pentagons represent population percentages. Furthermore, the different colored graphs represent male or female and if they are single or married. In addition, the single data also includes divorced and widowed people. This was done to simplify the data. As a result, the data shows the differences between countries and their marital status. The viewer sees how more people are married in Asia then in the United States. Additionally, female teenagers in India have a higher percentage of being married then teenagers in the United the States. In conclusion, the data shows how culture and location effects differences in marital status and creates curiosity into what factors effect why it is different.
• ##### 9 important facts about GIES courses in summer 2018
Scholarship
Creator
Cao, Yingying
Description
This infographic was made per the preliminary survey of online courses in summer 2018. It gives an overview of students’ basic information and their concerns about the courses. Instructors will know better about their students through this info-graphic and can make some adjustments to make the courses fit students better. It also gives a reference for our eLearning office. So we know what technical support to provide to make the learning environment more friendly for students. Thank you for my instructor, Norma who gave me many suggestions for this infographic. Thank you for the eLearning team that trust me and give me the data to do this research.
• ##### Chicago area background contaminants in wetland sediments and surface waters: Supporting the Calumet Wetlands...
Scholarship
Creator
• Chow, Teresa
• Bordson, Gary
• Bogner, William
• Wiedenmann, Luann
• Talbott, Jonathan
• Wilcoxon, Monte
• Piwani, Marvin
Description
The Illinois Department of Natural Resources funded a study at the lllinois Waste Management and Research Center and the Jllinois State Water Survey, to investigate background concentrations of toxic environmental contaminants in the south Chicago area. The study, funded through the Environmental Protection Trust Fund, was undertaken to provide background information on environmental contaminants in support of the Chicago Department of Environment's efforts to revitalize wetlands in the Calumet region of South Chicago. An important component of the revitalization effort is defining ecotoxicological risks in these environments. Criteria to minimize such risks have been developed by the Calumet Ecotox Protocol Technical Team (2005). Surface water and sediment background concentrations for the region's wetlands were identified as lacking. Eight ponds and lakes were sampled for surface waters and sediments. These samples were analyzed for a variety of toxic metal and organic constituents as well as a number of major constituents and other system properties. The water column was largely free of toxic constituents - median values for the measured parameters are provided for the surface waters. The sediment data was subjected to rigorous statistical assessment to generate defensible background concentrations for the region.
• ##### INHS Reports, December 1987
Scholarship
Creator
Illinois Natural History Survey
Description
Phyllophaga | Winter Populations of Bald Eagles in Illinois | Land Use/Cover and Stream Water Quality
• ##### INHS Reports, April 1988
Scholarship
Creator
Illinois Natural History Survey
Description
Mussel Die-offs of Biological or Chemical Origin? | Alkaline Hydrogen Peroxide-Treated Straws as Feeds for Crayfish | Plant Cell Response to Stress
• ##### INHS Reports, January 1986
Scholarship
Creator
Illinois Natural History Survey
Description
Mushrooms and Spring Fever | Pine Squirrels in Deciduous Forests | Conservation Tillage and Pesticides
• ##### INHS Reports, October 1986
Scholarship
Creator
Illinois Natural History Survey
Description
Seasonal Dynamics in Small Wetland Ponds | In Memoriam Philip Wayne Smith | Lead Poisoning in Waterfowl
• ##### Water Supply Planning: Middle Illinois Assessment of Water Resources for Water Supply-Final Report
Scholarship
Creator
• Kelly, Walton R.
• Zhang, Zhenxing
• Mannix, Devin H.
• Thomason, Jason F.
• Knapp, H. Vernon
• Dziegielewski, Benedykt
• Lian, Yanqing
• Abrams, Daniel B.
• Meyer, Scott C.
• ##### INHS Reports, June 1987
Scholarship
Creator
Illinois Natural History Survey
Description
Natural Resources Book Ready for Distribution | Mycology of Cypress Swamps | Biologic and Genetic Diversity of Illinois Plants
• ##### Illinois Fire Service Institute - 2009 Winter Fire School Flier
Scholarship
Creator
Illinois Fire Service Institute
Description
This marketing flier, produced in 2009, describes the information and courses offered during the Winter Fire School at the Illinois Fire Service Institute.
• ##### Osaka City University-University of Illinois Urbana-Champaign Symposium 2018 Itinerary
Scholarship
Creator
• Chang, Yuchia
• Liao, Tim F.
• ##### Osaka City University-University of Illinois Symposium 2015 Itinerary
Scholarship
Creator
• Wang, Yimin
• Oyler, Elizabeth
• ##### Cumulative yearly CO2 emission by country
Scholarship
Creator
Balaji, Divya
Description
NOTE: This is a Tableau visualization. The purpose of this visualization is to depict the cumulative growth in carbon dioxide emission levels over a 265-year period. Carbon dioxide is essential for life as it both absorbs and emits thermal radiation, which is integral to sustaining a habitable temperature for the planet. Since the Industrial Revolution, however, consumption of fossil fuels has increased at an alarming rate, disrupting the global carbon cycle and leading to a warming effect on the planet. There are numerous implications for global warming including extreme weather patterns, altered crop growth and disrupted sea levels. This entry provides a historical to present day perspective on how CO2 emissions have evolved to meet the demands of the growing population, and furthermore, how these emissions are distributed within the top ten biggest producers in the world. This diagram depicts the key drivers of carbon dioxide emission and holds the key to understanding possible avenues of mitigation of climate change. Sources: World Bank EDGAR - Emissions Database for Global Atmospheric Research
• ##### INHS Reports, March 1989
Scholarship
Creator
Illinois Natural History Survey
Description
Stephen A. Forbes Biological Station
• ##### Hamilton-Jacobi-Bellman equation for stochastic optimal control: Applications to spacecraft attitude control
Scholarship
Creator
Golpashin, Alen Envieh
Description
This study aims to address the problem of attitude control of spacecraft in presence of thrust uncertainty, which leads to stochastic accelerations. Spacecraft equipped with electric propulsion and other low thrust mechanisms, often experience random fluctuations in thrust. These stochastic processes arise from sources such as uncertain power supply output, varying propellant flow rate, faulty thrusters, etc. Mission requirements and mass/fuel limitations demand an optimal and proactive method of control to mitigate the thrust uncertainty and parasitic torque. Stabilizing stochastic optimal control of the satellite attitude dynamics is derived through formulation of the Hamilton-Jacobi-Bellman equation associated with a stochastic differential equation. The solution to the Hamilton-Jacobi-Bellman partial differential equation is approximated through the method of Al’brekht [1]. Extension of Albrekht method for a stochastic system was first presented in [2]; detailed derivations of linear and nonlinear stochastic control laws along with their analytical and numerical analyses are presented in this thesis. A planning method is then discussed to lower the error due to local nature of the control.