University Library, University of Illinois at Urbana-Champaign

University of Illinois I-Mark
Service
Creator
Subject
Repository
Showing 161–200 of 2,400,269 items
  • Verify CMOS inverter circuit model using thin variable technique
    Scholarship
    Creator
    Meng, Yu
    Description
    There has been progress in verification of nonlinear and hybrid systems in the recent years using algorithms that combine simulation data with model-based sensitivity analysis. These approaches only handle closed models, that is, models without inputs. The naïve introduction of models of input signals breaks these approaches, as typical inputs (fast sigmoids, discontinuous functions) for analog and mixed analog-signal circuits make the system highly sensitive and the number of needed simulations grow rapidly. In this thesis, we present a new technique for verifying nonlinear and hybrid circuit models with inputs. A key result in the thesis shows that once an input signal is fixed, the sensitivity analysis of the model can be performed much more precisely. Based on this observation, we extend a discrepancy-based verification algorithm and apply it to a suite of nonlinear and hybrid models of CMOS digital circuits under different input signals. The models are low-dimensional but involve highly nonlinear ODEs, with nearly hundreds of logarithmic and exponential terms, and therefore, have challenged existing verification approaches and tools. Our implementation of the new algorithm is able to verify these models; some of our experiments analyze the metastability of bistable circuits, which involve very sensitive ODEs. Our results not only demonstrate the feasibility of our approach, but also provided interesting insights like the close connection between metastability recovery time and sensitivity.
  • A framework for implementing interactive algorithms on distributed systems
    Scholarship
    Creator
    Mudaliar, Vikram
    Description
    In this thesis, we build a framework for implementing iterative algorithms by abstracting the code for node communication. This thesis explains the building of said framework using a distributed algorithm and introduces the tools and methods used. First an algorithm was implemented and tested out on a testbed of 15 Raspberry pi’s. After the desired functionality was met, we proceeded with abstracting the code so that similar iterative algorithms could reuse the parts of the code that dealt with internode communication and communication link setup. This work is funded in part by the National Science Foundation.
  • A History of the Department of General Engineering 1868-1995
    Scholarship
    Creator
    • Engineering Publications Office
    • Jerry S. Dobrovolny, P.E.
    Description
    This history is in two parts. The first will cover the period from 1868 to 1945. The material is based on the "History of the College of Engineering of the University of Illinois 1868-1945" written by Ira O. Baker, CE '74 and Everett E. King. Also included are items given orally to the writer by his senior colleagues. The material covered since 1945 is based on the personal knowledge and records of the writer who holds a BS in general engineering.
  • Integral Abutment Bridges under Thermal Loading: Field Monitoring and Analysis
    Scholarship
    Creator
    • Riddle, Joseph, K.
    • An, Huayu
    • Svatora, Jeffrey, S.
    • Wright, Beth, A.
    • Fahnestock, Larry, A.
    • LaFave, James, M.
    • Jarrett, Matthew, W.
    • Brambila, Gabriela
    Description
    Integral abutment bridges (IABs) have gained popularity throughout the United States due to their low construction and maintenance costs. Previous research on IABs has been heavily focused on substructure performance, leaving a need for better understanding of IAB superstructure behavior and interdependent effects. This report presents findings of a field monitoring program for two Illinois IABs (which supplements findings from a parametric study portion of the overall project that are summarized in a previous volume). The field monitoring program included collecting data about (i) global bridge movements; (ii) pile, deck, girder, and approach-slab strains; and (iii) rotations at different abutment interfaces. Field results have been compared to finite-element models of each bridge in order to provide further insight into IAB behavior. Field monitoring results corroborated that IAB longitudinal expansion and contraction is somewhat less than theoretical free expansion and contraction, and is influenced by bridge skew as well. Significant girder stresses were observed, particularly at the girder bottom flange, which should be considered in design. Pile strain values indicate there is likely some reserve pile-deformation capacity typically available.
  • QR factorization over tunable processor grids
    Scholarship
    Creator
    Hutter, Edward
    Description
    The increasing complexity of modern computer architectures has greatly influenced algorithm design. Algorithm performance on these architectures is now determined by the movement of data. Therefore, modern algorithms should prioritize minimizing communication. In this work, we present a new parallel QR factorization algorithm solved over a tunable processor grid in a distributed memory environment. The processor grid can be tuned between one and three dimensions, resulting in tradeoffs in the asymptotic costs of synchronization, horizontal bandwidth, flop count, and memory footprint. This parallel algorithm is the first to efficiently extend the Cholesky-QR2 algorithm to matrices with an arbitrary number of rows and columns. Along its critical path of execution on P processors, our tunable algorithm improves upon the horizontal bandwidth cost of the existing Cholesky-QR2 algorithm by up to a factor of c^2 when solved over a c x d x c processor grid subject to P = c^2 d and E[1,P^1/3]. The costs attained by our algorithm are asymptotically equivalent to state-of-the-art QR factorization algorithms that have yet to be implemented. We argue that ours achieves better practicality and flexibility while still attaining minimal communication.
  • Stereo matching with temporal consistency using an upright pinhole model
    Scholarship
    Creator
    Jiang, Yibo
    Description
    Stereo vision, as a subfield of computer vision, has been researched for over 20 years. However, most research efforts have been devoted to single-frame estimation. With the rising interest in autonomous vehicles, more attention should be paid to temporal consistency within stereo matching as depth matching in this case will be used in a video context. In this thesis, temporal consistency in stereo vision will be studied in an effort to reduce time or increase accuracy by utilizing a simple upright camera model. The camera model is used for disparity prediction, which also serves as initialization for different stereo matching frameworks such as local methods and belief propagation. In particular, this thesis proposes a new algorithm based on this model and sped-up patchMatch belief propagation (SPM-BF). The results have demonstrated that the proposed method can reduce computation and convergence time.
  • Accelerating an efficient implementation of MLFMA with hererogeneous computing
    Scholarship
    Creator
    Ren, Wei
    Description
    This thesis investigates possible optimization on an efficient implementation of the multilevel fast multipole algorithm (MLFMA), which is intended for solving integral equations for large problems. Though MLFMA is not inherently parallel due to its tree-like computational structure, if carefully optimized, it is suitable for parallelization as the throughput and computation power becomes higher on current GPU accelerators. By dividing problems into hierarchical multilevel groups, the MLFMA can be distributed to supercomputers like the Blue Waters, utilizing massive computing resources and balancing the workload. For solving large problems with stability and fast convergence rate, several different iterative solvers are written using PETSc (Portable, Extensible Toolkit for Scientific Computation) math library routines in the MLFMA and compared for performance. The use of GPU accelerators has also been implemented in CUDA C++ and showed great improvement on Blue Waters.
  • Technical overview of public XSEDE authentication services
    Scholarship
    Creator
    • Basney, Jim
    • Navarro, John-Paul
    • Liming, R Lee
    Description
    This is a technical overview of the public authentication services that XSEDE offers and the specific features each offers. This document offers more detail than is provided by the standard XSEDE documentation.
  • Prostate cancer diagnosis with deep learning
    Scholarship
    Creator
    Wang, Bangqi
    Description
    Prostate cancer is one of the most common cancers and the second leading cause of death among American men. However, prostate cancer diagnosis is one of the most urgent problems confronted by scientific research. Accurate prostate cancer diagnosis needs a great degree of medical knowledge and is usually based on experience. It is hard for ordinary men to diagnose prostate cancer by themselves. This project aims to eliminate the knowledge barrier and provide a precise and effective method using deep learning. This project uses a deep learning neural network to build a binary classifier for prostate needle biopsies from patients. The project enlarges the prostate cancer needle biopsies dataset using randomly cutting, builds the deep learning network binary classifier, and generates predictions for the biopsies. The classifier will assign a benign or malignant label to every biopsy with accuracy near 100%.
  • Strippable coal reserves of Illinois. part 2,
    Scholarship
    Creator
    Smith, William H.
    Description
    Two folded maps in pocket.
  • Subsurface geology and coal resources of the Pennsylvanian system in Douglas, Coles, and Cumberland Counties, Illinois.
    Scholarship
    Creator
    Clegg, Kenneth Edward.
    Description
    Cover title.
  • Classification of the Pennsylvanian rocks of Illinois as of 1956,
    Scholarship
    Creator
    • Siever, Raymond.
    • Wanless, Harold R. (Harold Rollin), 1899-1970.
    Description
    Bibliography: p. 13-14.
  • A Noise Model for Beacons in an IoT Environment
    Scholarship
    Creator
    Chowdhary, Shreyans
    Description
    Bluetooth low energy is an upcoming wireless technology used by prominent researches to build a reliable indoor localization technology. This paper focuses the reliability of using such Bluetooth devices in retail environments. We carry out a series of experiments in an academic setting to evaluate the probability of receiving a packet and translate it into a noise model. These experiments are carried out for a range of broadcasting power and advertising intervals to build a robust noise model. Our noise model indicates that the probability of hearing a packet falls sub-linearly with distance. Furthermore, we develop a formula to determine the probability of receiving a packet as a function of distance, beacon power and beacon frequency.
  • Removal of algae from waste stabilization pond effluents -- A state of the art
    Scholarship
    Creator
    • Evans, Ralph L.
    • Kothandaraman, Veerasamy
    Description
    Bibliography: p. 9.
  • Ground-water investigations for siting the superconducting super collider in northeastern Illinois
    Scholarship
    Creator
    • Visocky, A.P.
    • Schulmeister, Marcia K.
    Description
    Cover title.
  • Rainfall intensity - Frequency data for Champaign-Urbana, Illinois
    Scholarship
    Creator
    Huff, Floyd A.
    Description
    Cover title.
  • Ground-water levels and pumpage in the East St. Louis area, Illinois, 1978-1980
    Scholarship
    Creator
    • Richards, Susan S.
    • Collins, Mark A.
    Description
    Cover title.
  • Evaluation of use of polyphosphates in water industry
    Scholarship
    Creator
    Larson, Thurston Eric
    Description
    Reprinted from Journal American Water Works Association, v.49, no. 12, December, 1957.
  • Some idiosyncrasies of ground water
    Scholarship
    Creator
    Gerber, W.D.
    Description
    Reprint. Originally published: Journal of the American Water Works Association ; v. 22, no. 1 (January 1930).
  • Effects of channel dams on dissolved oxygen concentrations in northeastern Illinois streams
    Scholarship
    Creator
    • Evans, Ralph L.
    • Butts, Thomas A.
    Description
    Cover title.
  • Spatial and temporal correlation of precipitation in Illinois
    Scholarship
    Creator
    Huff, Floyd A.
    Description
    Cover title.
  • Supplement II to Bulletin 21
    Scholarship
    Creator
    • Edwards, Gail Phillips
    • Greenfield, Robert Edman
    • Buswell, Arthur M.
    • Gallaher, William Uren
    • McRoberts, Lewis Henry
    Description
    Enumeration continues from preceding title.
  • Chemical survey of the water supplies of Illinois: Preliminary report
    Scholarship
    Creator
    Palmer, Arthur William
    Description
    "Errata" on verso plate III.
  • Public ground-water supplies in Illinois
    Scholarship
    Creator
    Hanson, Ross Arnold
    Description
    Enumeration continues from preceding title.
  • The mineral content of Illinois waters
    Scholarship
    Creator
    • Udden, Johan August
    • Parr, Samuel Wilson
    • Palmer, George Thomas
    • Bartow, Edward
    Description
    At head of title: University of Illinois bulletin, vol. 6, September 15, 1908, no. 3.
  • Cost of municipal sewage treatment plants in Illinois
    Scholarship
    Creator
    • Evans, Ralph L.
    • Butts, Thomas A.
    Description
    Cover title.
  • Data on the ground waters of Lake County, Illinois
    Scholarship
    Creator
    • Buswell, Arthur M.
    • McClure, S.M.
    • Gerber, W.D.
    • Tarvin, D.
  • Ground-water levels and pumpage in the East St. Louis area, Illinois, 1981-1985
    Scholarship
    Creator
    Kohlhase, Robert C.
    Description
    Cover title.
  • Ground-water levels and pumpage in the Metro-East area, Illinois, 1986-1990
    Scholarship
    Creator
    • Schicht, Richard John
    • Buck, Andrew G.
    Description
    Includes bibliographical references (p. 33).
  • The shape of raindrops
    Scholarship
    Creator
    Jones, Douglas Milton Avery
    Description
    Reprinted from Journal of Meteorology, v. 16, no. 5, October, 1959.
  • Cost of reservoirs in Illinois
    Scholarship
    Creator
    • Dawes, Julius Henry
    • Wathne, Magne
  • Evaluations of Illinois weather modification projects of 1976-1980: A summary
    Scholarship
    Creator
    • Hsu, Chin Fei
    • Changnon, Stanley Alcide
    Description
    Cover title.
  • Effect of metal grating deck on drop-inlet spillway performance
    Scholarship
    Creator
    • Humphreys, H. W.
    • Sigurdsson, G.
  • The commissions and compositions of works for Benny Goodman and chamber ensemble: history, style and clarinet writing
    Scholarship
    Creator
    Shuler, Pamela
    Description
    Frequently referred to as the “King of Swing,” Benny Goodman (1909-1986) is well-known for his jazz clarinet playing. Yet Goodman should also be recognized as a classical clarinet player and for his role in contributing repertoire to the classical clarinet genre. A number of these works call for various arrangements of chamber ensembles. Béla Bartók’s Contrasts for Clarinet, Violin, and Piano, Alan Shulman’s Rendezvous for Clarinet and Strings, Morton Gould’s Benny’s Gig 8 Duos for Clarinet and Double Bass, and Allen Shawn’s Trio for Clarinet, Cello, and Piano are all a part of this category. To gain an understanding of how each of these works fit into both Goodman’s long career and the output of Bartók, Shulman, Gould, and Shawn, this thesis presents the history and circumstances leading up to the composition of each work. Each piece is compared with other works by the composers in order to discover what compositional style may have been adapted in writing for Goodman. Additional consideration is given to the popularity of each work in performances and recordings.
  • From paper to performance: Problems and solutions in operatic piano-vocal scores
    Scholarship
    Creator
    Bagby, Michael Joseph
    Description
    As a vocal coach and accompanist in operatic productions, I utilize piano-vocal scores regularly. The organization of piano-vocal scores within the Nineteenth-Century Italian operatic repertoire varies by publisher and editor in conveying the piano reduction as well as editorial markings. This dissertation reviews Figaro’s aria “Largo al factotum” from Rossini’s Il Barbiere di Siviglia and Nemorino’s aria “Una furtiva lagrima” from Donizetti’s L’Elisir d’Amore from a pianist’s point of view. Upon evaluating the orchestral likeness of an edition, pianists may seek an alternate rendering that better transmits the orchestral score into a reduction idiomatic to the piano. Relying on their knowledge, taste, ingenuity, and the 21st-century technology at their fingertips, editors and pianists alike may resolve complications ranging from page turns to instrumentation.
  • Studying geo-conflict and cooperation over time using media reports: A case study using temporal geographical maps
    Scholarship
    Creator
    Mishra, Shubhanshu
    Description
    Studying global conflict and cooperation between countries, can help us in understanding the evolution of their relationship overtime. In this work we use data from the GDELT (Global Database of Events, Language, and Tone) project, which identifies actors and actions from news stories all over the world. We use this dataset to identify the strength of verbal and material instances of cooperation and conflict between all pair of countries over time. We present a framework to visualize this temporal relationship using an interactive temporal geographical map framework. The framework allows its user to choose a country as a central context, and then play its relationship timeline with all the other countries. Some interesting patterns which we observe are: US war in Afghanistan and Iraq, killing of Osama bin laden. Furthermore, we observe that verbal cooperation between countries is a norm as reported in news stories. We believe these interactive visualizations can help public in understanding the regular relationships between countries, with an occasional conflict cases between a few countries. The work was presented at the following venues: * iSchool Research Showcase 2017 - https://ischool.illinois.edu/research/showcase * Illinois GIS Day (Runner-Up Research Quality) - http://gisday.illinois.edu/mapsandpostersWinners2017.html
  • Lithology of the sea-floor off Southern California
    Scholarship
    Creator
    Emery, Kenneth Orris
    Description
    Dissertation (Ph.D.)--University of Illinois at Urbana-Champaign, 1941.
  • The geology of the Moon Creek map-area, west-central Alberta
    Scholarship
    Creator
    Irish, Ernest James Wingett
    Description
    Dissertation (Ph.D.)--University of Illinois at Urbana-Champaign, 1949.
  • 2017 Illinois Sustainability Awards
    Scholarship
    Description
    The Illinois Sustainable Technology Center (ISTC) honored twenty-ftwo Illinois companies and organizations for their significant achievements in energy efficiency, waste reduction, pollution prevention and environmental programming. Since 1987, the Illinois Sustainable Technology Center, a division of the Prairie Research Institute at the University of Illinois at Urbana-Champaign, has presented Sustainability Awards to organizations in Illinois that have demonstrated a commitment to environmental excellence through outstanding and innovative sustainability practices. Any Illinois public or private organization is eligible to apply for an award. Winners are selected through a rigorous process of review and examination by ISTC technical assistance experts.
  • Donation Capabilities at Fort Benning, GA: U.S. Army Garrison Fort Benning
    Scholarship
    Creator
    Jones, Jaime
    Description
    The majority (64%) of the waste stream at Fort Benning is organic waste. Another 9% of the waste stream is non-recyclable municipal solid waste (MSW). These two categories of waste have high potential for diversion through donation. The rest of the waste stream is made up of recyclable materials. To decrease the organic waste, food donation programs at the installation's 25 dining facilities and single commissary should be implemented. To decrease the amount of non-recyclable MSW that is generated, donation programs should be implemented at the installations numerous training barracks and general purpose warehouses. The Columbus metropolitan statistical area has significant poverty. Census data indicates that poverty is concentrated in black women under the age of 18. There are numerous non-profit organizations that serve the area, and these organizations can be partnered with for donation programs. The road to creating successful donation programs at Fort Benning begins with identifying the correct buildings, and community partners, and using the guidance found in this document to take the necessary steps forward.