Engineering Commons^™

Fabrication Of Integrated Optofluidic Circuits In Chalcogenide Glass Using Femtosecond Laser Direct Writing, Troy P. Anderson

Electronic Theses and Dissertations

Femtosecond laser direct writing (FLDW) is a versatile process that uses focused femtosecond pulses to modify the physical structure of a material, which can result in a shift of optical properties such as the linear and nonlinear refractive index. If the photon energy of the femtosecond pulses lies below the material bandgap, nonlinear absorption rather than linear absorption becomes the dominant mechanism of energy transfer to the material. In this manner, a focused femtosecond pulse train can be used to fabricate functional features such as optical waveguides, diffractive optical elements, or micro-fluidic elements within the volume of a transparent medium. …

Nonlinear Absorption And Free Carrier Recombination In Direct Gap Semiconductors, Peter D. Olszak

Electronic Theses and Dissertations

Nonlinear absorption of Indium Antimonide (InSb) has been studied for many years, yet due to the complexity of absorption mechanisms and experimental difficulties in the infrared, this is still a subject of research. Although measurements have been made in the past, a consistent model that worked for both picosecond and nanosecond pulse widths had not been demonstrated. In this project, temperature dependent two-photon (2PA) and free carrier absorption (FCA) spectra of InSb are measured using femtosecond, picosecond, and nanosecond IR sources. The 2PA spectrum is measured at room temperature with femtosecond pulses, and the temperature dependence of 2PA and FCA …

Super-Resolution Using Adaptive Wiener Filters, Russell C. Hardie

Electrical and Computer Engineering Faculty Publications

The spatial sampling rate of an imaging system is determined by the spacing of the detectors in the focal plane array (FPA). The spatial frequencies present in the image on the focal plane are band-limited by the optics. This is due to diffraction through a finite aperture. To guarantee that there will be no aliasing during image acquisiton, the Nyquist criterion dictates that the sampling rate must be greater than twice the cut-off frequency of the optics. However, optical designs involve a number of trade-offs and typical imaging systems are designed with some level of aliasing. We will refer to …

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.

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 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.

Kentucky Water Resources Research Institute Annual Technical Report Fy 2009, Kentucky Water Resources Research Institute, University Of Kentucky

KWRRI Annual Technical Reports (USGS’s 104b Grant Program)

The 2009 Annual Technical Report for Kentucky consolidates reporting requirements of the Section 104(b) base grant award into a single document that includes: 1) a synopsis of each research project conducted with grant funds during the period, 2) citations for related publications, reports, and presentations, 3) a description of information transfer activities, 4) a summary of student support during the reporting period, and 5) notable awards and achievements during the year.

The Journal Of Undergraduate Research: Volume 08

The Journal of Undergraduate Research

This is the complete issue of the South Dakota State University Journal of Undergraduate Research, Volume 8.

State Variable Distributed-Parameter Representation Of Transmission Line For Transient Simulations, Mehmet Sali̇h Mami̇ş, Asim Kaygusuz, Muhammet Köksal

Turkish Journal of Electrical Engineering and Computer Sciences

In this paper, a distributed-parameter state variable approach is used to calculate transients on transmission lines based on the concept of travelling waves. The method of characteristics for lossless line is used and the state equations are derived for the system. These equations are converted to a set of difference equations using the trapezoidal rule of integration and solved in time domain using LU decomposition. Single- and multi-phase transmission lines with various linear and non-linear terminations are considered in the illustrative examples. State-space modeling of transposed lines using modal decomposition is introduced and the effects caused by lumped parameter approximation …

The Role Of Energy Storage With Renewable Electricity Generation, Paul Denholm, Erik Ela, Brendan Kirby, Michael Milligan

Publications (E)

Renewable energy sources, such as wind and solar, have vast potential to reduce dependence on fossil fuels and greenhouse gas emissions in the electric sector. Climate change concerns, state initiatives including renewable portfolio standards, and consumer efforts are resulting in increased deployments of both technologies. Both solar photovoltaics (PV) and wind energy have variable and uncertain (sometimes referred to as “intermittent”) output, which are unlike the dispatchable sources used for the majority of electricity generation in the United States. The variability of these sources has led to concerns regarding the reliability of an electric grid that derives a large fraction …

2008 Solar Technologies Market Report, U.S. Department Of Energy

Publications (E)

This report focuses on the U.S. solar electricity market, including photovoltaic (PV) and concentrating solar power (CSP) technologies. The report provides an overview of global and U.S. installation trends. It also presents production and shipment data, material and supply chain issues, and solar industry employment trends. It also presents cost, price, and performance trends; and discusses policy and market drivers such as recently passed federal legislation, state and local policies, and developments in project financing. The final chapter provides data on private investment trends and near-term market forecasts.

Analysis Of Hybrid Hydrogen Systems: Final Report, J. Dean, R. Braun, D. Munoz, M. Penev, C. Kinchin

Publications (E)

This project examined biomass pathways for hydrogen production and how they can be hybridized to support renewable electricity generation. The project considered many potential hybrid systems before narrowing the focus to two. The systems were studied in detail for process feasibility and economic performance. The best-performing system was estimated to produce hydrogen at a cost ($1.67/kg) within range of the Department of Energy target for central biomass-derived hydrogen production, while also providing value-added energy services to the electric grid.

Nrel: A Year In Clean Energy Innovations: A Review Of Nrel's Feature Stories, National Renewable Energy Laboratory

Publications (E)

The National Renewable Energy Laboratory (NREL) is the nation’s primary laboratory for renewable energy and energy efficiency research and development.

NREL’s mission and strategy are focused on advancing the U.S. Department of Energy’s and our nation’s energy goals. The laboratory’s scientists and researchers support critical market objectives to accelerate research from scientific innovations to market-viable alternative energy solutions. At the core of this strategic direction are NREL’s research and technology development competencies. These areas span from understanding renewable resources for energy, to the conversion of these resources to renewable electricity and fuels, and ultimately to the use of renewable electricity …

Wind Powering America: Fy09 Activities Summary, National Renewable Energy Laboratory

Publications (E)

The Wind Powering America FY09 Activities Summary reflects the accomplishments of state Wind Working Groups, WPA programs at the National Renewable Energy Laboratory, and partner organizations.

Electro-Optic And Magneto-Dielectric Properties Of Multifunctional Nitride And Oxide Materials, Ambesh Dixit

Wayne State University Dissertations

ABSTRACT

Materials that simultaneously exhibit different physical properties provide a rich area of research leading to the development of new devices. For example, materials having a strong coupling between charge and spin degrees of freedom are essential to realizing a new class of devices referred to generally as spintronics. However, these multifunctional systems pose new scientific challenges in understanding the origin and mechanisms for cross-control of different functionalities. The core of this Ph.D. dissertation deals with multifunctional nitride and oxide compound semiconductors as well as multiferroic magnetic oxide systems by investigating structural, optical, electrical, magnetic, magnetodielectric and magnetoelectric properties.

Thin …

Applying Geographic Information Systems To Support Strategic Environmental Assessment: Opportunities And Limitations In The Context Of Irish Land-Use Plans, Ainhoa Gonzalez, Alan Gilmer, Ronan Foley, John Sweeney, John Fry

Articles

The strengthening of spatial database infrastructures, further promoted by the INSPIRE Directive adopted in 2007, has led to an increased use of spatial data in planning and decision-making. Given that land-use plans are intrinsically spatial, such evidence and approaches can significantly benefit plan-making. A spatial framework could especially support the specific Strategic Environmental Assessment (SEA) aspects of the plan-making process. Spatial tools such as Geographic Information Systems (GIS) are particularly well-placed to support the environmental integration sought in SEA by providing evidence through the spatial assessment of multiple environmental datasets. Moreover, GIS bring the opportunity to augment conventional assessment techniques …

An Approach Based On Particle Swarm Computation To Study The Nanoscale Dg Mosfet-Based Circuits, Fayacl Djeffal, Toufik Bendib, Redha Benzid, Abdelhamid Benhaya

Turkish Journal of Electrical Engineering and Computer Sciences

The analytical modeling of nanoscale Double-Gate MOSFETs (DG) requires generally several necessary simplifying assumptions to lead to compact expressions of current-voltage characteristics for nanoscale CMOS circuits design. Further, progress in the development, design and optimization of nanoscale devices necessarily require new theory and modeling tools in order to improve the accuracy and the computational time of circuits' simulators. In this paper, we propose a new particle swarm strategy to study the nanoscale CMOS circuits. The latter is based on the 2-D numerical Non-Equilibrium Green's Function (NEGF) simulation and a new extended long channel DG MOSFET compact model. Good agreement between …

Asynchronous Particle Swarm Optimization-Based Search With A Multi-Robot System: Simulation And Implementation On A Real Robotic System, Sali̇h Burak Akat, Veysel Gazi̇, Lino Marques

Turkish Journal of Electrical Engineering and Computer Sciences

In this article we consider a version of the Particle Swarm Optimization (PSO) algorithm which is appropriate for search tasks of multi-agent systems consisting of small robots with limited sensing capability. The proposed method adopts asynchronous mechanism for information exchange and position (way point) updates of the agents. Moreover, at each (information exchange) step the agents communicate with only a possibly different subset of the other agents leading to a dynamic neighborhood topology. We implement the algorithm using the Player/Stage realistic robot simulator as well as on real KheperaIII robots using experimentally collected realistic data of ethanol gas concentration. Simulation …

Program And Proceedings: Nebraska Academy Of Sciences 1880–2010, 130th Anniversary Year, One Hundred-Twentieth Annual Meeting

Nebraska Academy of Sciences: Programs and Proceedings

Program

Aeronautics and Space Science

Chemistry and Physics

Collegiate Academy: Biology

Collegiate Academy: Chemistry and Physics

Biological and Medical Sciences

Chemistry and Physics

History and Philosophy of Science

Nebraska Wesleyan University Health and Sciences Graduate School Fair

Junior Academy, Senior High Competition/p>

Aeronautics and Space Science, Poster Session

Teaching of Science and Math

Maiben Memorial Lecture: Mark Greip, Department of Chemistry, University of Nebraska–Lincoln

Aeronautics

Anthropology

Junior Academy, Senior High Competition

Earth Science

Junior Academy, Junior High Competition

Electron Beam Lithography Throughput And Resolution Enhancement With Innovative Blanker Design, Junru Ruan

Legacy Theses & Dissertations (2009 - 2024)

Electron Beam Lithography (EBL) is one of the most important and most widely used methods for nano-fabrication. The primary advantage of electron beam lithography is its high resolution, and its ability to expose nanometer features without a mask. On the other hand, one of the key limitations of electron beam lithography is throughput. Slow blanking speed is one of the major bottlenecks for the system speed. In this dissertation, I will first review the prior literature of high speed blanking. Thorough theoretical and experimental studies are done on the existing designs. Physical models are built and analytical ray tracing is …

Quantum Dot Quantum Computation In Iii-V Type Semiconductor, Sanjay K. Prabhakar

Legacy Theses & Dissertations (2009 - 2024)

Among recent proposals for next-generation, non-charge-based logic is the notion that a single electron can be trapped and spin of the electron can be manipulated through the application of gate potentials. In the thesis, there are two major contributions of the manipulation of electron spin. In regard to the first contribution, we present numerical simulations of such a spin in single electron devices for realistic asymmetric potentials in electrostatically confined quantum dot. Using analytical and numerical techniques we show that breaking in-plane rotational symmetry of the confining potential by applied gate voltage leads to a significant effect on the tuning …

Investigation Of The Threshold Voltage Shift Effect Of La2o3 On Tin/Hfo2/La2o3/Sio2/Si Stacks, Ming Di

Legacy Theses & Dissertations (2009 - 2024)

The semiconductor industry continues to scale (shrink) transistor dimensions to both increase the number of transistors per integrated circuit and their speed. One important aspect of scaling is the need to decrease the equivalent oxide thickness of the transistor gate dielectric while minimizing leakage current. Traditional thin layer SiO2 or SiOxNy films have been replaced by higher dielectric constant film stacks Here we study one example, the HfO2/La2O3/SiO2 stack. This dissertation describes an investigation of the use of La2O3 to reduce the threshold voltage of TiN/HfO2/SiO2/Si stacks (high-k/metal gate stacks). A significant aspect of this study is the determination of …

Design And Development Of Highly Active, Nanoengineered, Platinum Based Core-Shell Electrodes For Proton Exchange Membrane Fuel Cells, Seth Louis Knupp

Legacy Theses & Dissertations (2009 - 2024)

Highly active nanoengineered core-shell electrocatalyst have a great potential to be used as fuel cell electrodes. They can alleviate problems related with commercial carbon supported platinum by simultaneously lowering cost while enhancing reaction kinetics and overall performance. More recently, use of nanoengineered core-shell electrode structures have showed their ability to enhance the stability and overall lifetime of the catalyst without sacrificing the electrode's performance. We studied the potential of using highly active core-shell nanoparticles supported on carbon nanomaterials as fuel cell electrodes.

A New Multi-Tier Adaptive Military Manet Security Protocol Using Hybrid Cryptography And Signcryption, Atti̇la A. Yavuz, Fati̇h Alagöz, Emi̇n Anarim

Turkish Journal of Electrical Engineering and Computer Sciences

Mobile Ad-hoc NETworks (MANETs) are expected to play an important role in tactical military networks by providing infrastructureless communication. However, maintaining secure and instant information sharing is a difficult task especially for highly dynamic military MANETs. To address this requirement, we propose a new multi-tier adaptive military MANET security protocol using hybrid cryptography and signcryption. In our protocol, we bring novelties to secure military MANET communication for three main points: Cryptographic methods used in MANETs, hybrid key management protocols and structural organization of the military MANETs. As a new approach, we use hybrid cryptography mechanisms and Elliptic Curve Pintsov-Vanstone Signature …

Determination Of Autoregressive Model Orders For Seizure Detection, Serap Aydin

Turkish Journal of Electrical Engineering and Computer Sciences

In the present study, a step-wise least square estimation algorithm (SLSA), implemented in a Matlab package called as ARfit, has been newly applied to clinical data for estimation of the accurate Auto-Regressive (AR) model orders of both normal and ictal EEG series where the power spectral density (PSD) estimations are provided by the Burg Method. The ARfit module is found to be usefull in comparison to a large variety of traditional methods such as Forward Prediction Error (FPE), Akaike's Information Criteria (AIC), Minimum Description Lenght (MDL), and Criterion of Autoregressive Transfer function (CAT) for EEG discrimination. According to tests, the …

Effect Of Transformer On Stochastic Estimation Of Voltage Sag Due To Faults In The Power System: A Pscad/Emtdc Simulation, Nita R. Patne, K. L. Thakre

Turkish Journal of Electrical Engineering and Computer Sciences

Voltage sags in the electric power system are mostly due to faults in the power system. Voltage sag is characterized by its magnitude (the retained voltage), phase-angle jump, unbalance in the sag in the three phases, and duration. Type of transformers in the electrical system is the important parameter influencing the characteristic of sag at the node where sensitive loads are connected. For sensitive loads it is necessary to estimate how many times in a year the voltage at their terminal will experience sag to avoid tripping of operation. In this paper the effect of transformer on stochastic estimation of …

Adaptive Hysteresis Band Control For Constant Switching Frequency In Dtc Induction Machine Drives, H. İbrahi̇m Okumuş, Mustafa Aktaş

Turkish Journal of Electrical Engineering and Computer Sciences

It is fairly well known that direct torque control (DTC) exhibits fast dynamic torque response, a property that originates in the fact that torque and flux is directly controlled by instantaneous space voltage vector, unlike field-oriented control. For this reason direct torque control gradually has been used in the field, eliciting quick response and high efficiency since its introduction in the mid-1980s. Conventional fixed band hysteresis control has several problems. One of these is variable switching frequency, which causes serious problems in DTC. In this paper, an adaptive hysteresis band control strategy is proposed, where the hysteresis band is controlled …

Improved Analytical Modulation Transfer Function For Image Intensified Charge Coupled Devices*, Nebi̇ Gül, Murat Efe

Turkish Journal of Electrical Engineering and Computer Sciences

The basic problem of simulation and modeling of Image Intensified Charge Coupled Device (ICCD) is the difference between the analytical Modulation Transfer Function (MTF) formulation used in the model and the experimentally obtained MTF. An investigation into the MTF of ICCD sub-components reveal that the MTF of the Image Intensifier Tube (IIT) is the main factor in this deviation. In this study, a regulation factor for the MTF of 3^{rd} generation IITs has been developed. A commonly used MTF formulation for IITs has been modified to include a regulation factor which has helped produce more precise MTF values for the …