Engineering Commons^™

The Effect Of Abductor Muscle And Anterior-Posterior Hip Contact Load Simulation On The In-Vitro Primary Stability Of A Cementless Hip Stem, Youngbae Park, Carolyne Albert, Yong-San Yoon, Göran Fernlund, Hanspeter Frei, Thomas R. Oxland

Biomedical Engineering Faculty Research and Publications

Background

In-vitro mechanical tests are commonly performed to assess pre-clinically the effect of implant design on the stability of hip endoprostheses. There is no standard protocol for these tests, and the forces applied vary between studies. This study examines the effect of the abductor force with and without application of the anterior-posterior hip contact force in the in-vitro assessment of cementless hip implant stability.

Methods

Cementless stems (VerSys Fiber Metal) were implanted in twelve composite femurs which were divided into two groups: group 1 (N = 6) was loaded with the hip contact force only, whereas group 2 (N = …

On Coalgebras Over Algebras, Adriana Balan, Alexander Kurz

Engineering Faculty Articles and Research

We extend Barr’s well-known characterization of the final coalgebra of a Set-endofunctor as the completion of its initial algebra to the Eilenberg-Moore category of algebras for a Set-monad M for functors arising as liftings. As an application we introduce the notion of commuting pair of endofunctors with respect to the monad M and show that under reasonable assumptions, the final coalgebra of one of the endofunctors involved can be obtained as the free algebra generated by the initial algebra of the other endofunctor.

Families Of Symmetries As Efficient Models Of Resource Binding, Vincenzo Ciancia, Alexander Kurz, Ugo Montanari

Engineering Faculty Articles and Research

Calculi that feature resource-allocating constructs (e.g. the pi-calculus or the fusion calculus) require special kinds of models. The best-known ones are presheaves and nominal sets. But named sets have the advantage of being finite in a wide range of cases where the other two are infinite. The three models are equivalent. Finiteness of named sets is strictly related to the notion of finite support in nominal sets and the corresponding presheaves. We show that named sets are generalisd by the categorical model of families, that is, free coproduct completions, indexed by symmetries, and explain how locality of interfaces gives good …

On Universal Algebra Over Nominal Sets, Alexander Kurz, Daniela Petrişan

Engineering Faculty Articles and Research

We investigate universal algebra over the category Nom of nominal sets. Using the fact that Nom is a full re ective subcategory of a monadic category, we obtain an HSP-like theorem for algebras over nominal sets. We isolate a `uniform' fragment of our equational logic, which corresponds to the nominal logics present in the literature. We give semantically invariant translations of theories for nominal algebra and NEL into `uniform' theories and systematically prove HSP theorems for models of these theories.

Bitopological Duality For Distributive Lattices And Heyting Algebras, Guram Bezhanishvili, Nick Bezhanishvili, David Gabelaia, Alexander Kurz

Engineering Faculty Articles and Research

We introduce pairwise Stone spaces as a natural bitopological generalization of Stone spaces—the duals of Boolean algebras—and show that they are exactly the bitopological duals of bounded distributive lattices. The category PStone of pairwise Stone spaces is isomorphic to the category Spec of spectral spaces and to the category Pries of Priestley spaces. In fact, the isomorphism of Spec and Pries is most naturally seen through PStone by first establishing that Pries is isomorphic to PStone, and then showing that PStone is isomorphic to Spec. We provide the bitopological and spectral descriptions of many algebraic concepts important for the study …

Algebraic Theories Over Nominal Sets, Alexander Kurz, Daniela Petrişan, Jiří Velebil

Engineering Faculty Articles and Research

We investigate the foundations of a theory of algebraic data types with variable binding inside classical universal algebra. In the first part, a category-theoretic study of monads over the nominal sets of Gabbay and Pitts leads us to introduce new notions of finitary based monads and uniform monads. In a second part we spell out these notions in the language of universal algebra, show how to recover the logics of Gabbay-Mathijssen and Clouston-Pitts, and apply classical results from universal algebra.

Optimal Excitation Controllers, And Location And Sizing Of Energy Storage For All-Electric Ship Power System, Chuan Yan

Doctoral Dissertations

"The Navy's future all-electric ship power system is based on the integrated power system (IPS) architecture consisting of power generation, propulsion systems, hydrodynamics, and DC zonal electric distribution system (DC-ZEDS). To improve the power quality, optimal excitation systems, and optimal location and sizing of energy storage modules (ESMs) are studied. In this dissertation, clonal selection algorithm (CSA) based controller design is firstly introduced. CSA based controller design shows better exploitation ability with relatively long search time when compared to a particle swarm optimization (PSO) based design. Furthermore, 'optimal' small population PSO (SPPSO) based excitation controller is introduced. Parameter sensitivity analysis …

High Temperature Tolerant Optical Fiber Inline Microsensors By Laser Fabrication, Tao Wei

Doctoral Dissertations

"Fiber sensors are particularly attractive for harsh environment defined by high temperature, high pressure, corrosive/erosive, and strong electromagnetic interference, where conventional electronic sensors do not have a chance to survive. However, the key issue has been the robustness of the sensor probe (not the fiber itself) mostly due to the problems stemmed from the traditional assembly based approaches used to construct fiber optic sensors. For example, at high temperatures (e.g., above 500°C), the thermal expansion coefficient mismatch between different composited parts has a high chance to lead to sensors' malfunction by breaking the sensor as a result of the excessive …

Ultracapacitor Character Analysis And Its Application In Unified Power Quality Conditioner As Energy Storage System, Xiaomeng Li

Doctoral Dissertations

"This dissertation focuses on the Ultracapacitor (UCAP) character analysis and its application in Unified Power Quality Conditioner (UPQC) as an Energy Storage System (ESS) for improved UPQC performance. It includes three parts as described below. The first part is Paper I. The UCAP is a popular choice for the ESS because of its distinct characters. In the application UCAP's transient behavior need to be studied for design purpose. Usually these transient characters are not shown in the product data sheet. In this paper UCAP frequency analysis is performed, and based on the test data the equivalent model of the UCAP …

Scaled Experimental Study On Excavation Of Lunar Regolith With Rakes/Rippers And Flat Blade, Masafumi Iai

Doctoral Dissertations

"As humanity's activities expand to the Moon, Mars, and other extra-terrestrial bodies, it will be necessary to use local resources rather than bringing everything from the Earth. This concept is called In-Situ Resource Utilization (ISRU), which starts with excavation and earthmoving. The present study focuses on loosening and moving of the lunar regolith by a ripper (or rake) and a wide blade with consideration of gravel content. After characterizing the lunar regolith and two of its simulants (JSC-1A and FJS-1), the relationship between the excavation energy and different conditions, namely gravel content, relative density, and tine spacing on a rake, …

Characterization Of Diamond Thin Films And Related Materials, Travis K. Mckindra

Doctoral Dissertations

"Thin carbon films including sputtered deposited graphite and CO₂ laser-assisted combustion-flame deposited graphite and diamond thin films were characterized using optical and electron microscopy, X-ray diffraction and micro-Raman spectroscopy. Amorphous carbon thin films were deposited by DC magnetron sputtering using Ar/O₂ gases. The film morphology changed with the oxygen content. The deposition rate decreased as the amount of oxygen increased due to oxygen reacting with the growing film. The use of oxygen in the working gas enhanced the crystalline nature of the films. Graphite was deposited on WC substrates by a CO₂ laser-assisted O₂/C₂H₂ combustion-flame method. Two distinct microstructural areas …

Sensor Data-Based Decision Making, Ahmet Soylemezoglu

Doctoral Dissertations

"Increasing globalization and growing industrial system complexity has amplified the interest in the use of information provided by sensors as a means of improving overall manufacturing system performance and maintainability. However, utilization of sensors can only be effective if the real-time data can be integrated into the necessary business processes, such as production planning, scheduling and execution systems. This integration requires the development of intelligent decision making models that can effectively process the sensor data into information and suggest appropriate actions. To be able to improve the performance of a system, the health of the system also needs to be …

Phase Equilibria In Iron Phosphate System, Liying Zhang

Doctoral Dissertations

"The main objectives of this research were to synthesize iron phosphate compounds, study phase equilibria in the iron phosphate system, focusing on the glass forming area, and investigate glass formability and properties based on the liquidus regions. Twelve iron phosphate compounds were successfully prepared and studied in terms of liquidus temperature or decomposition behavior. The liquidus surface of the Fe₃PO₇- Fe(PO₃)₃ system was re-determined and found to be significantly different from that originally presented by Wentrup in 1935. Eutectic points exist at 58.0 mole% Fe₂O₃ (1070⁰C), 42.7 mole% Fe₂O₃ (925°C), and 37.0 mole% Fe₂O₃ (907°C). The latter two eutectic points …

Robust Frequency-Domain Turbo Equalization For Multiple-Input Multiple-Output (Mimo) Wireless Communications, Jian Zhang

Doctoral Dissertations

"This dissertation investigates single carrier frequency-domain equalization (SC-FDE) with multiple-input multiple-output (MIMO) channels for radio frequency (RF) and underwater acoustic (UWA) wireless communications. It consists of five papers, selected from a total of 13 publications. Each paper focuses on a specific technical challenge of the SC-FDE MIMO system. The first paper proposes an improved frequency-domain channel estimation method based on interpolation to track fast time-varying fading channels using a small amount of training symbols in a large data block. The second paper addresses the carrier frequency offset (CFO) problem using a new group-wise phase estimation and compensation algorithm to combat …

Effects Of Optimized And Sub-Optimum Two Degree Of Freedom Lining Tolerances On Modeled Inlet Acoustic Attenuation And Normal Incidence Impedance Measurement At Elevated Temperatures, David R. Burd

Doctoral Dissertations

"This work first investigates the effect of manufacturing tolerances on realized attenuation for two degree-of-freedom linings with the use of lining models and finite element duct propagation codes. Acoustic linings were created for two turbofan engines that optimize attenuation at takeoff/sideline and approach conditions. Lining physical and geometric parameters were set, which best meet the optimum impedance requirements at two target frequencies. Similar linings were created to investigate sub-optimum designs. Variations of these parameters representing realistic manufacturing tolerances were used to systematically examine the effect on installed impedance and predicted attenuation. Attenuation at sideline and approach conditions was found to …

Factors Controlling Ductility In Ultrafine Grain Aluminum Alloys Under Monotonic And Cyclic Loading, Partha Sarathi De

Doctoral Dissertations

"Ultrafine grained (UFG) Al processed by severe plastic deformation (SPD) methods are characterized by high strength and a limited uniform ductility. Friction stir processing (FSP), an offshoot of friction stir welding has emerged as a new technique to produce UFG alloys. FSP-UFG Al alloys show a distinctly different behavior with higher uniform elongation and improved high cycle fatigue life as compared to other SPD processed variants. The objective of this work was to study the microstructural basis for such mechanical behavior in FSP-UFG Al alloys.

To study the mechanical behavior of FSP Al alloys, a subsize bending fatigue and uniaxial …

Experimental And Computational Investigations Of Hydrogen Safety, Dispersion And Combustion For Transportation Applications, Shravan K. Vudumu

Doctoral Dissertations

"Hydrogen is an energy carrier that can be produced from a variety of sources, offering one of the viable solutions to the increasing demands for clean and sustainable energy. Compared to the conventional fuels, hydrogen has distinct properties that need to be properly accounted for during its safer storage and delivery as well as more efficient and cleaner utilization. The broader objective of this study is to contribute to the scientific knowledge necessary to overcome key technical barriers to the widespread implementation of hydrogen in transportation applications. Specifically, lower flammability limit of hydrogen is first measured with an enhanced experimental …

Molecular Simulation Of The Infrared Absorption Cross Section And Thermophysical Properties Of A Polyatomic Fluid, Zhi Liang

Doctoral Dissertations

"The work presented in this dissertation aims at ab initio calculations of the infrared absorption cross section, heat capacity, self-diffusion coefficient, shear viscosity and thermal conductivity of a polyatomic fluid with the aid of statistical mechanics. The simulation is firstly focused on calculating single-molecule properties such as molecular structure, vibrational energy eigen values and transition dipole moments using an efficient method based on the density functional theory. Based on these ab initio results, the infrared absorption cross sections are determined by the Fermi's Golden rule, and the thermophysical properties are determined from molecular dynamics simulations. Using carbon dioxide as an …

Theoretical Expression Of Compressibility Behaviour Of Warp Knitted Spacer Fabrics, Fatemeh Mokhtari, Mahnaz Shamshirsaz, Masoud Latifi, Mohammad Maroufi

Faculty of Engineering and Information Sciences - Papers: Part B

Nowadays, 3-D spacer fabrics characteristics become a highly interested concept for textile researchers. These products have extensive application in automobile, locomotive, aerospace, building and other industries. Several techniques could be applied to produce spacer fabrics using woven, weft and warp knitting technology. Warp knitting is the most commonly used technology for production of spacer fabrics. Spacer fabrics present special characteristics compared to conventional textiles due to their wonderful porous 3-D structures. The compression resistance is a distinct feature beneficial for the structural stability of spacer fabrics, and it is proper to fulfil permanent or instant loading and recovery requirements.

The …

An Adaptive Control Strategy For Dstatcom Applications In An Electric Ship Power System, Pinaki Mitra, Ganesh K. Venayagamoorthy

Electrical and Computer Engineering Faculty Research & Creative Works

Distribution static compensator (DSTATCOM) is a shunt compensation device that is generally used to solve power quality problems in distribution systems. In an all-electric ship power system, power quality issues arise due to high-energy demand loads such as pulse loads. This paper presents the application of a DSTATCOM to improve the power quality in a ship power system during and after pulse loads. The control strategy of the DSTATCOM plays an important role in maintaining the voltage at the point of common coupling. A novel adaptive control strategy for the DSTATCOM based on artificial immune system (AIS) is presented in …