Digital Commons Network^™

Formal Modeling And Verification Methodologies For Quasi-Delay Insensitive Asynchronous Circuits, Ashiq Adnan Sakib

Electrical and Computer Engineering

Pre-Charge Half Buffers (PCHB) and NULL convention Logic (NCL) are two major commercially successful Quasi-Delay Insensitive (QDI) asynchronous paradigms, which are known for their low-power performance and inherent robustness. In industry, QDI circuits are synthesized from their synchronous counterparts using custom synthesis tools. Validation of the synthesized QDI implementation is a critical design prerequisite before fabrication. At present, validation schemes are mostly extensive simulation based that are good enough to detect shallow bugs, but may fail to detect corner-case bugs. Hence, development of formal verification methods for QDI circuits have been long desired. The very few formal verification methods that …

The Near-Peer Mathematical Mentoring Cycle: Studying The Impact Of Outreach On High School Students’ Attitudes Toward Mathematics, Aaron T. Wilson, Sergey Grigorian

School of Mathematical & Statistical Sciences Faculty Publications

College students may be seen as near-peers to high school students and high school students are often able to see themselves in the college students who are but one step ahead. This nearness in maturity and educational level may place college students in a particularly powerful position when it comes to reaching out to high school students to promote higher education in math and science. In this study college students gave dynamic mathematics outreach presentations, MathShows, to minority and low-income high school students in a mid-sized public school district on the U.S. border with Mexico. The study investigated the impacts …

On The Brink Of Extinction: The Fate Of The Pacific Northwest's Southern Resident Killer Whales, Sabrina Wilk

Pomona Senior Theses

The killer whales that roam the northeastern Pacific Ocean have been the objects of studies since the 1970s, making them the most well-studied population of orcas in the world. Three distinct ecotypes of killer whales (Orcinus orca), known as residents, transients, and offshores, share these waters. The ecotypes are morphologically and behaviorally distinct to the extent that some scientists consider them separate species, with residents eating salmon, transients specializing on marine mammals, and offshores preferring Pacific sleeper sharks and Pacific halibut. Resident populations have endeared themselves to the region's locals with their striking black and white markings and …

Tennessee Higher Education Fact Book 2017-2018, Tennessee. Higher Education Commission.

Higher Education Fact Book

No abstract provided.

When Archaeology Interacted With The Bible: A Study Of The Search For The City Of Raamses Of Exodus 1:11 In The Searcher's Socio Political Context, Georg Filippou

Master's Theses

The purpose of this thesis is twofold. First, I will research what a selected group of authors and scholars has stated regarding their search for the biblical city of Raamses. 3 This step will involve research of the motive of those researchers who attempted to match Raamses of Exod 1:11 with geographical locations in Egypt, to follow their search within the social and political context of these scholars. Second, based on these scholars’ research, I will attempt to discover what happened when Bible and archaeology interacted in the search for the city of Raamses.

The study begins with some pages …

The Effects Of A Ketone Body On Synaptic Transmission, Alexandra Elizabeth Stanback

Theses and Dissertations--Biology

The ketogenic diet is commonly used to control epilepsy, especially in cases when medications cannot. The diet typically consists of high fat, low carb, and adequate protein and produces a metabolite called acetoacetate. Seizure activity is characterized by glutamate excitotoxicity and therefore glutamate regulation is a point of research for control of these disorders. Acetoacetate is heavily implicated as the primary molecule responsible for decreasing glutamate in the synapse; it is believed that acetoacetate interferes with the transport of glutamate into the synaptic vesicles. The effects on synaptic transmission at glutamatergic synapses was studied in relation to the ketogenic diet …

Ccd Ubv Ri Photometry Of The Open Cluster Berkeley 8, Hi̇kmet Çakmak, Raul Michel, Yüksel Karataş

Turkish Journal of Physics

The poorly studied Berkeley 8 (Be 8) open cluster is analyzed from CCD U BV RI photometric data taken with the 0.90 m telescope at the Sierra Nevada Observatory. The Z = +0.008 PARSEC isochrone gave us a reddening of E(B-V) = 0.69 ± 0.03, a distance of 3410 ± 300 pc, and an age of 2.8 ± 0.2 Gyr. Its median Gaia DR2 distance, d = 3676 ± 810 pc, is in good agreement with our photometric distances, 3410-3620 pc within the uncertainties. The kinematic parameters of five likely members of Be 8 with the circular orbits, ecc = …

Ion-Atom Charge-Exchange Collisions And Their Effect On Plasma-Neutral Coupling, Anthony M. Destefano

Dissertations

The heliosphere is a cavity carved out of the interstellar medium by the supersonic outflow of solar wind (SW) from the Sun. The local interstellar medium (LISM) is partially ionized with the neutral particles penetrating the heliosphere unimpeded by the electric and magnetic (EM) fields. In order to model the heliosphere, both a magnetohydrodynamic (MHD) and a kinetic Boltzmann (or fluid) approach should be used to represent the plasma and neutral particles, respectively. Even though neutral particles are unaffected by EM fields, certain collisions that exchange charge between ions do occur called charge-exchange. This charge-exchange process, in the form of …

Counterfactuals With Latent Information, Dirk Bergemann, Benjamin Brooks, Stephen Morris

Cowles Foundation Discussion Papers

We describe a methodology for making counterfactual predictions when the information held by strategic agents is a latent parameter. The analyst observes behavior which is rationalized by a Bayesian model in which agents maximize expected utility given partial and differential information about payoff-relevant states of the world. A counterfactual prediction is desired about behavior in another strategic setting, under the hypothesis that the distribution of and agents’ information about the state are held fixed. When the data and the desired counterfactual prediction pertain to environments with finitely many states, players, and actions, there is a finite dimensional description of the …

Spatial Estimation Of Hydraulic Properties In Structured Soils At The Field Scale, Xi Zhang

Theses and Dissertations--Plant and Soil Sciences

Improving agricultural water management is important for conserving water during dry seasons, using limited water resources in the most efficient way, and minimizing environmental risks (e.g., leaching, surface runoff). The understanding of water movement in different zones of agricultural production fields is crucial to developing an effective irrigation strategy. This work centered on optimizing field water management by characterizing the spatial patterns of soil hydraulic properties. Soil hydraulic conductivity was measured across different zones in a farmer’s field, and its spatial variability was investigated by using geostatistical techniques. Since direct measurement of hydraulic conductivity is time-consuming and arduous, pedo-transfer functions …

Mathematical Programming Approach For The Design Of Satellite Power Systems, Allen Flath Iii

Theses and Dissertations--Electrical and Computer Engineering

Satellite power systems can be understood as islanded dc microgrids supplied by specialized and coordinated solar cell arrays augmented by electrochemical battery systems to handle high-power loads and periods of eclipse. The periodic availability of power, the limited capacity of batteries, and the dependence of all mission service on power consumption create a unique situation in which temporal power and energy scarcity exist. A multi-period model of an orbital satellite power system’s performance over a mission’s duration can be constructed. A modular power system architecture is used to characterize the system’s constraints. Using mathematical programming, an optimization problem can be …

Weld Penetration Identification Based On Convolutional Neural Network, Chao Li

Theses and Dissertations--Electrical and Computer Engineering

Weld joint penetration determination is the key factor in welding process control area. Not only has it directly affected the weld joint mechanical properties, like fatigue for example. It also requires much of human intelligence, which either complex modeling or rich of welding experience. Therefore, weld penetration status identification has become the obstacle for intelligent welding system. In this dissertation, an innovative method has been proposed to detect the weld joint penetration status using machine-learning algorithms.

A GTAW welding system is firstly built. Project a dot-structured laser pattern onto the weld pool surface during welding process, the reflected laser pattern …

Optimal Distribution Feeder Reconfiguration With Distributed Generation Using Intelligent Techniques, Ahmad Ghaweta

Theses and Dissertations--Electrical and Computer Engineering

Feeder reconfiguration is performed by changing the open/close status of two types of switches: normally open tie switches and normally closed sectionalizing switches. A whole feeder or part of a feeder may be served from another feeder by closing a tie switch linking the two while an appropriate sectionalizing switch must be opened to maintain the radial structure of the system. Feeder reconfiguration is mainly aiming to reduce the system overall power losses and improve voltage profile. In this dissertation, several approaches have been proposed to reconfigure the radial distribution networks including the potential impact of integrating Distributed Energy Resources …

Curricular Optimization: Solving For The Optimal Student Success Pathway, William G. Thompson-Arjona

Theses and Dissertations--Electrical and Computer Engineering

Considering the significant investment of higher education made by students and their families, graduating in a timely manner is of the utmost importance. Delay attributed to drop out or the retaking of a course adds cost and negatively affects a student’s academic progression. Considering this, it becomes paramount for institutions to focus on student success in relation to term scheduling.

Often overlooked, complexity of a course schedule may be one of the most important factors in whether or not a student successfully completes his or her degree. More often than not students entering an institution as a first time full …

Fast, Sparse Matrix Factorization And Matrix Algebra Via Random Sampling For Integral Equation Formulations In Electromagnetics, Owen Tanner Wilkerson

Theses and Dissertations--Electrical and Computer Engineering

Many systems designed by electrical & computer engineers rely on electromagnetic (EM) signals to transmit, receive, and extract either information or energy. In many cases, these systems are large and complex. Their accurate, cost-effective design requires high-fidelity computer modeling of the underlying EM field/material interaction problem in order to find a design with acceptable system performance. This modeling is accomplished by projecting the governing Maxwell equations onto finite dimensional subspaces, which results in a large matrix equation representation (Zx = b) of the EM problem. In the case of integral equation-based formulations of EM problems, the M-by-N system matrix, Z, …

Fault Location Techniques Using The Traveling Wave Method And The Discrete Wavelet Transform, Wesley Fluty

Theses and Dissertations--Electrical and Computer Engineering

Fault location within electric power systems is an important topic that helps reduce outage duration and increases reliability of the system. This paper explores the topic of fault location using traveling waves generated by fault conditions and the discrete wavelet transform used for time-frequency analysis. The single-ended and double-ended traveling wave methods are presented and evaluated on a single circuit and double circuit 500kV system modeled using MATLAB SIMULINK. Results are compared on the basis of wavelet used for analysis, sampling rate, and fault resistance.

A Compiler Target Model For Line Associative Registers, Paul S. Eberhart

Theses and Dissertations--Electrical and Computer Engineering

LARs (Line Associative Registers) are very wide tagged registers, used for both register-wide SWAR (SIMD Within a Register )operations and scalar operations on arbitrary fields. LARs include a large data field, type tags, source addresses, and a dirty bit, which allow them to not only replace both caches and registers in the conventional memory hierarchy, but improve on both their functions. This thesis details a LAR-based architecture, and describes the design of a compiler which can generate code for a LAR-based design. In particular, type conversion, alignment, and register allocation are discussed in detail.

Encouraging Discourse In High School Mathematics, Sarah Piper

Graduate Student Portfolios, Professional Papers, and Capstone Projects

The Common Core State Standards in Mathematics increased the emphasis on the skills of reasoning, justifying, and critiquing. Mathematics educators have struggled to meet this requirement, as it requires a distinct shift in classroom culture that both students and teachers find challenging. Visibly random groupings have been suggested as a way to effect a change in classroom norms, as students are asked to work with all members of the class. They thus learn to share their ideas as well as offer feedback on the thinking of other classroom participants. Students in three high school geometry classrooms were observed in an …

Second Wind, Anne A. Yoncha

Graduate Student Portfolios, Professional Papers, and Capstone Projects

Second Wind is a kinetic, responsive art installation which examines invisible processes taking place in and around a Ponderosa pine tree. Wind speed data, measured at 20', 25', 30', 35', and 40' in the canopy of a Ponderosa on the University of Montana campus, is translated into the gallery in real time using two Raspberry Pi single-board computers. This data determines the velocity of five fans in the gallery. Each fan interacts with a suspended vellum paper structure which moves more or less depending on wind speed. The vellum is painted with an ink made of fermented pine needles from …

Residential Fire Impacts On Richmond, Virginia: A Plan For Identifying And Educating Our Most Vulnerable Communities, Jennifer L. Tillett

Master of Urban and Regional Planning Capstone Projects

In 2017, 1.3 million fires in the U.S. caused 3,400 deaths, 14,600 injuries, and $23 billion in loss. Vulnerable populations are less resilient due to their lack of adequate access to financial, medical, and community resources as well as their propensity to reside in substandard housing. This plan studies the impacts of Richmond’s residential fires (2015-2017) on vulnerable communities within the city. Its purpose is to provide an understanding of where fires occurred in vulnerable communities and to recommend actions for prevention education.

The plan is divided into six sections: Introduction, Background, Methodology, Findings, Recommendations, and Implementation. A Social Vulnerability …

Exploring The Northwest Margin Of The High Plains Aquifer: Structure, Depositional History And Hydrogeology, Nebraska Geological Society Field Trip, Doug Hallum, Dennis O. Terry, Jr., Michael Leite, Jennifer Balmat

Conservation and Survey Division: Faculty and Staff Publications

The northwest portion of the High Plains Aquifer in Nebraska corresponds with the western Sandhills, Box Butte, Sioux and Dawes County tablelands, and the Nebraska Pine Ridge in northwest Nebraska. This field excursion will travel beyond the margins of the High Plains aquifer into the White River valley and onto the Oglala National Grasslands. These areas are not only rich in natural resources, but rich in history as well. While this excursion will explore earth history, depositional environments and a portion of the High Plains Aquifer, the authors encourage all attendees to take additional time to explore the cultural, military …

Radar Quantification, Temporal Analysis And Influence Of Atmospheric Conditions On A Roost Of American Robins (Turdus Migratorius) In Oklahoma, Matthew S. Van Den Broeke

Department of Earth and Atmospheric Sciences: Faculty Publications

Radar observations present a way to monitor large, mobile populations across long temporal scales, and are especially valuable when individual scatterers are challenging to count visually. The focus of this study is a large and relatively homogeneous wintertime roost of American Robins (Turdus migratorius) in central Oklahoma. Radar observations are used to estimate the roost population through winter 2010–2011, and the population time series is related to weather variables and radar beam propagation. Radar-estimated roost population gradually increased to an estimated peak of 1.5–2 million individuals from November 2010 to January 2011, and then decreased in a more …

Foreword For The Inaugural Issue, Dongming Guo, Yongfeng Lu

Department of Electrical and Computer Engineering: Faculty Publications

The International Journal of Extreme Manufacturing is a leading, worldwide scientific journal focused on the fields of extreme manufacturing. Published within it are the latest scientific and engineering achievements in related fields, as well as pioneering scientific, technological, and engineering innovations and developments.

Extraction Of Astaxanthin From Engineered Camelina Sativa Seed Using Ethanol-Modified Supercritical Carbon Dioxide, Liyang Xie, Edgar B. Cahoon, Yue Zhang, Ozan Ciftci

Department of Food Science and Technology: Faculty Publications

Natural astaxanthin, a high-value carotenoid that is currently extracted mainly from marine organisms, was extracted from engineered camelina seed using ethanol-modified supercritical carbon dioxide (SC-CO₂) for the first time, and compared with hexane and accelerated solvent extraction using hexane and ethanol. Response surface methodology (RSM) based on central composite rotatable design was employed to investigate the effect of pressure (30–45 MPa), temperature (40–60 °C), and ethanol concentration (10–35%, w/w). RSM-optimized conditions (41.6 MPa, 36.6 °C and 42.0% ethanol concentration) predicted the astaxanthin concentration as 437 μg/g oil, whereas the actual concentration was 421 ± 14 μg/g oil. Astaxanthin …

Higher-Order Overtone Thickness-Shear Vibrations Of Multilayered Thin-Film Acoustic Wave Resonators And Angular Rate Sensing, Hui Chen, Ji Wang, Jianke Du, Jiashi Yang

Department of Mechanical and Materials Engineering: Faculty Publications

We propose a new structure for piezoelectric gyroscopes. It is made from multilayered thin films of AlN or ZnO with alternating c-axes along the film thickness. It is shown theoretically that when such a film is electrically driven into higher-order overtone thickness-shear vibration in one of the two in-plane directions of the film and is rotating about the film normal, the Coriolis force due to the rotation causes a higher-order overtone thicknessshear vibration in a perpendicular direction with an electrical output that can be used to measure the angular rate of the rotation. Different from existing thickness-shear mode piezoelectric gyroscopes …

Associated Primes And Syzygies Of Linked Modules, Olgur Celikbas, Mohammad T. Dibaei, Mohsen Gheibi, Arash Sadeghi, Ryo Takahaski

Department of Mathematics: Faculty Publications

Motivated by the notion of geometrically linked ideals, we show that over a Gorenstein local ring R, if a Cohen-Macaulay R-module M of grade g is linked to an R-module N by a Gorenstein ideal c, such that AssR(M)\AssR(N) = ;, then M R N is isomorphic to direct sum of copies of R=a, where a is a Gorenstein ideal of R of grade g + 1. We give a criterion for the depth of a local ring (R;m; k) in terms of the homological dimensions of the modules linked to the syzygies of the residue eld k. As a …

Noncollinear Spin Structure In Fe3+Xco3−Xti2 (X = 0, 2, 3) From Neutron Diffraction, Haohan Wang, Balamurugan Balamurugan, Rabindra Pahari, Ralph Skomski, Yaohua Liu, Ashfia Huq, D. J. Sellmyer, Xiaoshan Xu

Xiaoshan Xu Papers

Neutron powder diffraction has been used to investigate the spin structure of the hard-magnetic alloy Fe_3+xCo_3−xTi₂ (x = 0, 2, 3). The materials are produced by rapid quenching from the melt, they possess a hexagonal crystal structure, and they are nanocrystalline with crystallite sizes D of the order of 40 nm. Projections of the magnetic moment onto both the crystalline c axis and the basal plane were observed. The corresponding misalignment angle exhibits a nonlinear decrease with x, which we explain as a micromagnetic effect caused by Fe-Co site disorder. The underlying physics is a …

A Game-Theoretic Approach To Share The Costs Of Cooperating Healthcare Networks, Jay M. Lightfoot

Journal of International Technology and Information Management

The growing demand for healthcare services combined with the disarray in the health insurance market in the United States has created a situation where rival health networks are aggressively competing by building duplicate health facilities and providing redundant services in localized geographic regions. Unfortunately, this strategy can reduce the quality of patient care and decrease profits (Kaissi & Charland, 2013). A solution to this problem is for health networks to cooperate and share healthcare equipment, facilities, and personnel. Toward that end, this paper presents a game-theoretic method that can share these costs in a fair, efficient, and repeatable manner.

Towards A Fault-Tolerant, Scheduling Methodology For Safety-Critical Certified Information Systems, Jian Lin

Journal of International Technology and Information Management

Today, many critical information systems have safety-critical and non-safety-critical functions executed on the same platform in order to reduce design and implementation costs. The set of safety-critical functionality is subject to certification requirements and the rest of the functionality does not need to be certified, or is certified to a lower level. The resulting mixed-criticality systems bring challenges in designing such systems, especially when the critical tasks are required to complete with a timing constraint. This paper studies a problem of scheduling a mixed-criticality system with fault tolerance. A fault-recovery technique called checkpointing is used where a program can go …

Agent-Based Modeling And Simulation Approaches In Stem Education Research, Shanna R. Simpson-Singleton, Xiangdong Che

Journal of International Technology and Information Management

The development of best practices that deliver quality STEM education to all students, while minimizing achievement gaps, have been solicited by several national agencies. ABMS is a feasible approach to provide insight into global behavior based upon the interactions amongst agents and environments. In this review, we systematically surveyed several modeling and simulation approaches and discussed their applications to the evaluation of relevant theories in STEM education. It was found that ABMS is optimal to simulate STEM education hypotheses, as ABMS will sensibly present emergent theories and causation in STEM education phenomena if the model is properly validated and calibrated.