Engineering Dissertations and Theses: Recent submissions
Now showing items 801-820 of 1055
-
The Sudbury Mining District
(University of Kansas, 1906-06)In this paper will be given a brief history of the Sudbury Mining district and something of the geology and ore deposits of the same; also, a description of the mining and metallurgical methods used by the Canadian Copper ... -
ONE-DIMENSIONAL PSEUDO-HOMOGENEOUS PACKED BED REACTOR MODELING INCLUDING NO-CO KINETICS
(University of Kansas, 2011-08-31)The air pollution generated from mobile sources creates a large impact on the environment and on people's health. In order to meet the stringent emission regulations worldwide, aftertreatment devices are employed to reduce ... -
Type Directed Specification Refinement
(University of Kansas, 2011-08-31)Specification languages serve a fundamentally different purpose than general-purpose programming languages, and their type systems reflect these needs. Specification type systems must record and track more information for ... -
ACTIVE HIP ACTUATION FOR WALKING BIPED WITH PASSIVE OPTION
(University of Kansas, 2011-05-31)Biped robots are desired as the ideal solution over wheel vehicles when traversing over rough terrain due to the simplicity and efficiency when mimicking the natural and dynamic motion of a human gait. The Intelligent ... -
A Practical Framework for Configuration of Scheduling and Concurrency Control in Linux
(University of Kansas, 2011-08-31)There is a growing need for developers to be able to specify programming models for an application, in order to: increase efficiency, system reliability, system security, and to allow applications with different semantics ... -
Design and Performance Analysis of an Aeronautical Routing Protocol with Ground Station Updates
(University of Kansas, 2011-08-31)Aeronautical routing protocol (AeroRP) is a position-based routing protocol developed for highly dynamic airborne networks. It works in conjunction with the aeronautical network protocol (AeroNP). AeroRP is a multi-modal ... -
A Distributed, Architecture-Centric Approach to Computing Accurate Recommendations from Very Large and Sparse Datasets
(University of Kansas, 2011-08-31)The use of recommender systems is an emerging trend today, when user behavior information is abundant. There are many large datasets available for analysis because many businesses are interested in future user opinions. ... -
EVALUATING THE EFFECT OF PATTERN OF INFLATION AND DEFLATION AND CYCLE TIME ON THE PRESSURE RELIEVING CHARACTERISTIC OF A DYNAMIC SEAT CUSHION USING SEAT INTERFACE PRESSURE MEASUREMENTS
(University of Kansas, 2011-08-31)Ulceration due to pressure can occur in any individual who is restricted to a prolonged stay in a bed or a chair with no pressure relief. Intermittent pressure relief has been recommended as a means to lower the risk of ... -
Textural Analysis of a Fibronectin Network During Early Embryogenesis
(University of Kansas, 2011-07-31)Fibronectin is a major extracellular matrix molecular component that plays a critical role in embryonic cell motility and morphogenesis. During early development, the fibronectin molecular network is nearly ubiquitous in ... -
DAMPING ESTIMATION OF PLATES JOINED AT A POINT USING STATISTICAL ENERGY ANALYSIS
(University of Kansas, 2011-08-31)The loss factors and coupling loss factors of a 2-plate, coupled system were estimated using the Statistical Energy Analysis methodology. In particular the Power Input Method (P.I.M.) and the Transient Statistical Energy ... -
Evaluation of Fracture Toughness for Articular Cartilage and Hydrogels in Cartilage Tissue Engineering
(University of Kansas, 2011-08-31)Recently, biomaterials-based tissue engineering strategies such as hydrogels have offered great promising in repairing articular cartilage. Mechanical failure testing in outcome analyses is given the crucial clinical ... -
Integration of a 15-Element, VHF Bow-Tie Antenna Array into an Aerodynamic Fairing on a NASA P-3 Aircraft
(University of Kansas, 2011-06-16)Radar depth sounding and imaging of deep glaciers in Antarctica and Greenland yield results for better understanding a changing climate and improving glacier modeling. A 15-element, airborne antenna array with an increased ... -
Numerical Simulation of Enhanced Mixing in Scramjet Combustor Using Ramp, Tabs and Suction Collar
(University of Kansas, 2011-06-09)Numerical simulations of the scramjet combustor by using the commercial CFD code Fluent with the coupled implicit method with second-order accurate discretization have been obtained for the reacting flows with the parallel ... -
Micromechanical modeling of rough interface behavior
(University of Kansas, 2011-07-28)In this dissertation, the interface behavior of contacting rough surfaces was studied systematically based upon micromechanical modeling. Firstly, asperity contact mechanics was further developed. It was found that tangential ... -
Dynamic Ball & Socket Joint Force Simulator
(University of Kansas, 2011-07-26)The stability of an implant in the bone, one factor in joint replacement survival, is usually tested using biaxial fatigue loading. These loading protocols do not replicate physiological loading conditions. The Dynamic ... -
Modeling the High Plains Aquifer's Response to Land Use and Climate Change
(University of Kansas, 2011-06-14)The High Plains Aquifer is extremely important to the economic life of Kansas and the surrounding states, but water is being withdrawn from the aquifer much faster than it is being recharged. Due to the importance of ... -
Adenoviral Mediated Gene Delivery to Human Umbilical Cord Mesenchymal Stromal Cells for Inner Ear Hair Cell Differentiation
(University of Kansas, 2011-07-28)Hearing is one of our main sensory systems and having a hearing disorder, although not life threatening, can have a disturbing impact in an individual's quality of life. Approximately 49 million Americans suffer from some ... -
Benchmarking Wireless Network Protocols: Threat and Challenge Analysis of the AeroRP
(University of Kansas, 2011-06-24)To accommodate the unique conditions of mobile wireless networks, numerous protocols have been designed. Protocols are initially tested through simulation software, but often under non-realistic conditions, using simple ... -
HaskHOL: A Haskell Hosted Domain Specific Language for Higher-Order Logic Theorem Proving
(University of Kansas, 2011-01-01)HaskHOL is an implementation of a HOL theorem proving capability in Haskell. Motivated by a need to integrate theorem proving capabilities into a Haskell-based tool suite, HaskHOL began as a simple port of HOL Light to ...