Computer Engineering Commons^™

Vanadium Oxide Thin-Film Variable Resistor-Based Rf Switches, Kuanchang Pan, Weisong Wang, Eunsung Shin, Kelvin Freeman, Guru Subramanyam

Guru Subramanyam

Vanadium dioxide (VO2) is a unique phase change material (PCM) that possesses a metal-to-insulator transition property. Pristine VO2 has a negative temperature coefficient of resistance, and it undergoes an insulator-to-metal phase change at a transition temperature of 68°C. Such a property makes the VO2 thin-film-based variable resistor (varistor) a good candidate in reconfigurable electronics to be integrated with different RF devices such as inductors, varactors, and antennas. Series single-pole single-throw (SPST) switches with integrated VO2 thin films were designed, fabricated, and tested. The overall size of the device is 380 μm × 600 μm. The SPST switches were fabricated on …

A High Performance Ceramic-Polymer Separator For Lithium Batteries, Jitendra Kumar, Padmakar Kichambare, Amarendra K. Rai, Rabi Bhattacharya, Stanley J. Rodrigues, Guru Subramanyam

Guru Subramanyam

A three-layered (ceramic-polymer-ceramic) hybrid separator was prepared by coating ceramic electrolyte [lithium aluminum germanium phosphate (LAGP)] over both sides of polyethylene (PE) polymer membrane using electron beam physical vapor deposition (EB-PVD) technique. Ionic conductivities of membranes were evaluated after soaking PE and LAGP/PE/LAGP membranes in a 1 Molar (1M) lithium hexafluroarsenate (LiAsF6) electrolyte in ethylene carbonate (EC), dimethyl carbonate (DMC) and ethylmethyl carbonate (EMC) in volume ratio (1:1:1). Scanning electron microscopy (SEM) and X-ray diffraction (XRD) techniques were employed to evaluate morphology and structure of the separators before and after cycling performance tests to better understand structure-property correlation. As compared …

Industry-University Collaboration: A University Of Dayton Model, Guru Subramanyam

Guru Subramanyam

This paper introduces industry-university collaboration activities currently in place at the University of Dayton's School of Engineering. These collaborations are important to prepare industry-ready graduates who excel in technical, entrepreneurial, and leadership skills. One of the key curricular components is the industry-sponsored multidisciplinary projects. Industry involvement in advisory committee, strategic research partnerships, and other forms are discussed.

Can Declared Strategy Voting Be An Effective Instrument For Group Decision-Making?, Lorrie Cranor

Lorrie F Cranor

The goal of this research is to determine whether declared strategy voting can be an effective tool for group decision-making. Declared strategy voting is a novel group decision-making procedure in which preference is specified using voting strategies - first-order mathematical functions that specify a choice in terms of zero or more parameters. This research will focus on refining the declared strategy voting concept, developing an accessible implementation of declared strategy voting that can be used for mock elections, assessing the potential impacts of declared strategy voting, and evaluating the effectiveness of declared strategy voting for group decision-making. This proposal describes …

Design And Implementation Of A Practical Security-Conscious Electronic Polling System, Lorrie Cranor, Ron Cytron

Lorrie F Cranor

We present the design and implementation of Sensus, a practical, secure and private system for conducting surveys and elections over computer networks. Expanding on the work of Fujioka, Okamoto, and Ohta, Sensus uses blind signatures to ensure that only registered voters can vote and that each registered voter only votes once, while at the same time maintaining voters' privacy. Sensus allows voters to verify independently that their votes were counted correctly, and anonymously challenge the results should their votes be miscounted. We outline seven desirable properties of voting systems and show that Sensus satisfied these properties well, in some cases …

Adaptive Beam Director For A Tiled Fiber Array, Mikhail Vorontsov, Jim F. Riker, Ernst Polnau, Svetlana Lachinova, Venkata S. Rao Gudimetla

Mikhail Vorontsov

We present the concept development of a novel atmospheric compensation system based on adaptive tiled fiber array architecture operating with target-in-the-loop scenarios for directed beam applications. The adaptive tiled fiber array system is integrated with adaptive beam director (ABD). Wavefront control and sensing functions are performed directly on the beam director telescope primary mirror. The beam control of the adaptive tiled fiber array aims to compensate atmospheric turbulence-induced dynamic phase aberrations and results in a corresponding brightness increase on the illuminated extended object. The system is specifically designed for tiled fiber system architectures operating in strong intensity scintillation and speckle-modulation …

Characterization Of Atmospheric Turbulence Effects Over 149 Km Propagation Path Using Multi-Wavelength Laser Beacons, Mikhail Vorontsov, Gary W. Carhart, Venkata S. Rao Gudimetla, Thomas Weyrauch, Eric Stevenson, Svetlana Lachinova, Leonid A. Beresnev, Jony Jiang Liu, Karl Rehder, Jim F. Riker

Mikhail Vorontsov

We describe preliminary results of a set of laser beam propagation experiments performed over a long (149 km) near-horizontal propagation path between Mauna Loa (Hawaii Island) and Haleakala (Island of Maui) mountains in February 2010. The distinctive feature of the experimental campaign referred to here as the Coherent Multi-Beam Atmospheric Transceiver (COMBAT) experiments is that the measurements of the atmospheric-turbulence induced laser beam intensity scintillations at the receiver telescope aperture were obtained simultaneously using three laser sources (laser beacons) with different wavelengths (λ1 = 0.53 μm, λ2 = 1.06 μm, and λ3 = 1.55 μm). The presented experimental results on …

Comparison Of Turbulence-Induced Scintillations For Multi-Wavelength Laser Beacons Over Tactical (7 Km) And Long (149 Km) Atmospheric Propagation Paths, Mikhail Vorontsov, Venkata S. Rao Gudimetla, Gary W. Carhart, Thomas Weyrauch, Svetlana Lachinova, Ernst Polnau, Joseph Rierson, Leonid A. Beresnev, Jony Jiang Liu, Jim F. Riker

Mikhail Vorontsov

We report results of the experimental analysis of atmospheric effects on laser beam propagation over two distinctive propagation paths: a long-range (149 km) propagation path between Mauna Loa (Island of Hawaii) and Haleakala (Island of Maui) mountains, and a tactical-range (7 km) propagation path between the roof of the Dayton Veterans Administration Medical Center (VAMC) and the Intelligent Optics Laboratory (IOL/UD) located on the 5th floor of the University of Dayton College Park Center building. Both testbeds include three laser beacons operating at wavelengths 532 nm, 1064 nm, and 1550 nm and a set of identical optical receiver systems with …

Atmospheric Turbulence Compensation Of Point Source Images Using Asynchronous Stochastic Parallel Gradient Descent Technique On Amos 3.6 M Telescope, Mikhail Vorontsov, Jim F. Riker, Gary W. Carhart, Venkata S. Rao Gudimetla, Leonid A. Beresnev, Thomas Weyrauch

Mikhail Vorontsov

The Stochastic Parallel Gradient Descent Technique-based Adaptive Optics (SPGD-AO) system described in this presentation does not use a conventional wavefront sensor. It uses a metric signal collected by a single pixel detector placed behind a pinhole in the image plane to drive three deformable mirrors (DMs). The system is designed to compensate the image for turbulence effects. The theory behind this method is described in detail in [1]. However this technique, while widely simulated and tested in the laboratory, was not yet verified in astronomical field site experiments. During the month of May 2007, a series of experiments with SPGD-AO …

Pocket Deformable Mirror For Adaptive Optics Applications, Leonid A. Beresnev, Mikhail Vorontsov, Peter Wangsness

Mikhail Vorontsov

Adaptive/active optical elements are designed to improve optical system performance in the presence of phase aberrations. For atmospheric optics and astronomical applications, an ideal deformable mirror should have sufficient frequency bandwidth for compensation of fast changing wave front aberrations induced by either atmospheric turbulences or by turbulent air flows surrounding a flying object (air optical effects). In many applications, such as atmospheric target tracking, remote sensing from flying aircraft, boundary layer imaging, laser communication and laser beam projection over near horizontal propagation paths the phase aberration frequency bandwidth can exceed several kHz. These fast-changing aberrations are currently compensated using relatively …

Adaptive Optics Performance Over Long Horizontal Paths: Aperture Effects In Multi-Conjugate Adaptive Optical Systems, Miao Yu, Mikhail Vorontsov, Svetlana Lachinova, Jim F. Riker, Venkata S. Rao Gudimetla

Mikhail Vorontsov

We analyze various scenarios of the aperture effects in adaptive optical receiver-type systems when inhomogeneities of the wave propagation medium are distributed over long horizontal propagation path, or localized in a few thin layers remotely located from the receiver telescope pupil. Phase aberration compensation is performed using closed-loop control architectures based on phase conjugation and decoupled stochastic parallel gradient descent (DSPGD) control algorithms. Both receiver system aperture diffraction effects and the impact of wave-front corrector position on phase aberration compensation efficiency are analyzed for adaptive systems with single or multiple wave-front correctors.

An Intelligent Attitude Determination And Control System Concept For A Cubesat Class Spacecraft, Jeremy Straub

Jeremy Straub

An attitude determination and control system (ADCS) is used to orient a spacecraft for a wide variety of purposes (e.g., to keep a camera facing Earth or orient the spacecraft for propulsion system use). The proposed intelligent ADCS has several key features: first, it can be used in multiple modes, spanning from passive stabilization of two axes and unconstrained spin on a third to three-axis full active stabilization. It also includes electromagnetic components to ‘dump’ spin from the reaction wheels. Second, the ADCS utilizes an incorporated autonomous control algorithm to characterize the effect of actuation of the system components and, …

Software Metrics And Dashboard, Shilpika Shilpika, George K. Thiruvathukal, Saulo Aguiar, Konstantin Läufer, Nicholas J. Hayward

George K. Thiruvathukal

Software metrics are a critical tool which provide continuous insight to products and processes and help build reliable software in mission critical environments. Using software metrics we can perform calculations that help assess the effectiveness of the underlying software or process. The two types of metrics relevant to our work is complexity metrics and in-process metrics. Complexity metrics tend to focus on intrinsic code properties like code complexity. In-process metrics focus on a higher-level view of software quality, measuring information that can provide insight into the underlying software development process.

Our aim is to develop and evaluate a metrics dashboard …

Towards Real-Time, On-Board, Hardware-Supported Sensor And Software Health Management For Unmanned Aerial Systems, Johann M. Schumann, Kristin Y. Rozier, Thomas Reinbacher, Ole J. Mengshoel, Timmy Mbaya, Corey Ippolito

Ole J Mengshoel

Towards Synthesis Of Platform-Aware Attack-Resilient Control Systems: Extended Abstract, Miroslav Pajic, Nicola Bezzo, James Weimer, Rajeev Alur, Rahul Mangharam, Nathan Michael, George Pappas, Oleg Sokolsky, Paulo Tabuada, Stephanie Weirich, Insup Lee

Stephanie Weirich

No abstract provided.

Contracts Made Manifest, Michael Greenberg, Benjamin C. Pierce, Stephanie Weirich

Stephanie Weirich

Since Findler and Felleisen (Findler, R. B. & Felleisen, M. 2002) introduced higher-order contracts, many variants have been proposed. Broadly, these fall into two groups: some follow Findler and Felleisen (2002) in using latent contracts, purely dynamic checks that are transparent to the type system; others use manifest contracts, where refinement types record the most recent check that has been applied to each value. These two approaches are commonly assumed to be equivalent—different ways of implementing the same idea, one retaining a simple type system, and the other providing more static information. Our goal is to formalize and clarify this …

Combining Proofs And Programs In A Dependently Typed Language, Stephanie Weirich, Vilhelm Sjoberg, Chris Casinghino

Stephanie Weirich

Most dependently-typed programming languages either require that all expressions terminate (e.g. Coq, Agda, and Epigram), or allow infinite loops but are inconsistent when viewed as logics (e.g. Haskell, ATS, mega). Here, we combine these two approaches into a single dependently-typed core language. The language is composed of two fragments that share a common syntax and overlapping semantics: a logic that guarantees total correctness, and a call-by-value programming language that guarantees type safety but not termination. The two fragments may interact: logical expressions may be used as programs; the logic may soundly reason about potentially nonterminating programs; programs can require logical …

Programming Up To Congruence (Extended Version), Vilhelm Sjoberg, Stephanie Weirich

Stephanie Weirich

This paper presents the design of ZOMBIE, a dependently-typed programming language that uses an adaptation of a congruence closure algorithm for proof and type inference. This algorithm allows the type checker to automatically use equality assumptions from the context when reasoning about equality. Most dependently typed languages automatically use equalities that follow from -reduction during type checking; however, such reasoning is incompatible with congruence closure. In contrast, ZOMBIE does not use automatic -reduction because types may contain potentially diverging terms. Therefore ZOMBIE provides a unique opportunity to explore an alternative definition of equivalence in dependently typed language design. Our work …

Closed Type Families With Overlapping Equations (Extended Version), Richard A. Eisenberg, Dimitrios Vytiniotis, Simon Peyton Jones, Stephanie Weirich

Stephanie Weirich

Open, type-level functions are a recent innovation in Haskell that move Haskell towards the expressiveness of dependent types, while retaining the look and feel of a practical programming language. This paper shows how to increase expressiveness still further, by adding closed type functions whose equations may overlap, and may have non-linear patterns over an open type universe. Although practically useful and simple to implement, these features go beyond conventional dependent type theory in some respects, and have a subtle metatheory.

Performance Analysis Of A New Computer Aided Detection System For Identifying Lung Nodules On Chest Radiographs, Russell Hardie, Steven Rogers, Terry Wilson, Adam Rogers

Russell C. Hardie

A new computer aided detection (CAD) system is presented for the detection of pulmonary nodules on chest radiographs. Here, we present the details of the proposed algorithm and provide a performance analysis using a publicly available database to serve as a benchmark for future research efforts. All aspects of algorithm training were done using an independent dataset containing 167 chest radiographs with a total of 181 lung nodules. The publicly available test set was created by the Standard Digital Image Database Project Team of the Scientific Committee of the Japanese Society of Radiological Technology (JRST). The JRST dataset used here …

Scene-Based Nonuniformity Correction With Reduced Ghosting Using A Gated Lms Algorithm, Russell C. Hardie, Frank Orion Baxley, Brandon J. Brys, Patrick C. Hytla

Russell C. Hardie

In this paper, we present a scene-based nouniformity correction (NUC) method using a modified adaptive least mean square (LMS) algorithm with a novel gating operation on the updates. The gating is designed to significantly reduce ghosting artifacts produced by many scene-based NUC algorithms by halting updates when temporal variation is lacking. We define the algorithm and present a number of experimental results to demonstrate the efficacy of the proposed method in comparison to several previously published methods including other LMS and constant statistics based methods. The experimental results include simulated imagery and a real infrared image sequence. We show that …

Fast Super-Resolution With Affine Motion Using An Adaptive Wiener Filter And Its Application To Airborne Imaging, Russell C. Hardie, Kenneth J. Barnard, Raúl Ordóñez

Russell C. Hardie

Fast nonuniform interpolation based super-resolution (SR) has traditionally been limited to applications with translational interframe motion. This is in part because such methods are based on an underlying assumption that the warping and blurring components in the observation model commute. For translational motion this is the case, but it is not true in general. This presents a problem for applications such as airborne imaging where translation may be insufficient. Here we present a new Fourier domain analysis to show that, for many image systems, an affine warping model with limited zoom and shear approximately commutes with the point spread function …

Super-Resolution For Imagery From Integrated Microgrid Polarimeters, Russell C. Hardie, Daniel A. Lemaster, Bradley Michael Ratliff

Russell C. Hardie

Imagery from microgrid polarimeters is obtained by using a mosaic of pixel-wise micropolarizers on a focal plane array (FPA). Each distinct polarization image is obtained by subsampling the full FPA image. Thus, the effective pixel pitch for each polarization channel is increased and the sampling frequency is decreased. As a result, aliasing artifacts from such undersampling can corrupt the true polarization content of the scene. Here we present the first multi-channel multi-frame super-resolution (SR) algorithms designed specifically for the problem of image restoration in microgrid polarization imagers. These SR algorithms can be used to address aliasing and other degradations, without …

Adaptive Wiener Filter Super-Resolution Of Color Filter Array Images, Barry K. Karch, Russell C. Hardie

Russell C. Hardie

Digital color cameras using a single detector array with a Bayer color filter array (CFA) require interpolation or demosaicing to estimate missing color information and provide full-color images. However, demosaicing does not specifically address fundamental undersampling and aliasing inherent in typical camera designs. Fast non-uniform interpolation based super-resolution (SR) is an attractive approach to reduce or eliminate aliasing and its relatively low computational load is amenable to real-time applications. The adaptive Wiener filter (AWF) SR algorithm was initially developed for grayscale imaging and has not previously been applied to color SR demosaicing. Here, we develop a novel fast SR method …

Fast Super-Resolution Using An Adaptive Wiener Filter With Robustness To Local Motion, Russell C. Hardie, Kenneth J. Barnard

Russell C. Hardie

We present a new adaptive Wiener filter (AWF) super-resolution (SR) algorithm that employs a global background motion model but is also robust to limited local motion. The AWF relies on registration to populate a common high resolution (HR) grid with samples from several frames. A weighted sum of local samples is then used to perform nonuniform interpolation and image restoration simultaneously. To achieve accurate subpixel registration, we employ a global background motion model with relatively few parameters that can be estimated accurately. However, local motion may be present that includes moving objects, motion parallax, or other deviations from the background …

Joint Wavelet Transform Correlation With Separated Target And Reference Planes, Boon Yi Soon, Mohammad A. Karim, Russell C. Hardie, Mohammad S. Alam

Russell C. Hardie

In recent years, we realize the usefulness of feature extraction for optical correlator and hereby, we investigate the capability of Laplace operator in feature extraction of multiple targets. The first-order terms and the false alarm terms in the correlation output would be removed using electronic power spectrum subtraction technique. Most importantly, the entire magneto-optic SLM is completely utilized for displaying only targets in the input scene. A new cost efficient hardware implementation is proposed and aforementioned result of the proposed system is evaluated through computer simulation.

Fast Super-Resolution With Affine Motion Using An Adaptive Wiener Filter And Its Application To Airborne Imaging, Russell C. Hardie, Kenneth J. Barnard, Raúl Ordóñez

Raúl Ordóñez

Fast nonuniform interpolation based super-resolution (SR) has traditionally been limited to applications with translational interframe motion. This is in part because such methods are based on an underlying assumption that the warping and blurring components in the observation model commute. For translational motion this is the case, but it is not true in general. This presents a problem for applications such as airborne imaging where translation may be insufficient. Here we present a new Fourier domain analysis to show that, for many image systems, an affine warping model with limited zoom and shear approximately commutes with the point spread function …

Robust Super-Resolution By Fusion Of Interpolated Frames For Color And Grayscale Images, Barry K. Karch, Russell C. Hardie

Russell C. Hardie

Multi-frame super-resolution (SR) processing seeks to overcome undersampling issues that can lead to undesirable aliasing artifacts in imaging systems. A key factor in effective multi-frame SR is accurate subpixel inter-frame registration. Accurate registration is more difficult when frame-to-frame motion does not contain simple global translation and includes locally moving scene objects. SR processing is further complicated when the camera captures full color by using a Bayer color filter array (CFA). Various aspects of these SR challenges have been previously investigated. Fast SR algorithms tend to have difficulty accommodating complex motion and CFA sensors. Furthermore, methods that can tolerate these complexities …

A Collaborative Adaptive Wiener Filter For Multi-Frame Super-Resolution, Khaled Mohamed, Russell Hardie

Russell C. Hardie

Factors that can limit the effective resolution of an imaging system may include aliasing from under-sampling, blur from the optics and external factors, and sensor noise. Image restoration and super-resolution (SR) techniques can be used to improve image resolution. One SR method, developed recently, is the adaptive Wiener filter (AWF) SR algorithm. This is a multi-frame SR method that combines registered temporal frames through a joint nonuniform interpolation and restoration process to provide a high-resolution image estimate. Variations of this method have been demonstrated to be effective for multi-frame SR, as well demosaicing RGB and polarimetric imagery. While the AWF …

Impact Of Detector-Element Active-Area Shape And Fill Factor On Image Sampling, Restoration, And Super-Resolution, Russell C. Hardie, Douglas R. Droege, Alexander J. Dapore, Mark E. Greiner

Russell C. Hardie

In many undersampled imaging systems, spatial integration from the individual detector elements is the dominant component of the system point spread function (PSF). Conventional focal plane arrays (FPAs) utilize square detector elements with a nearly 100% fill factor, where fill factor is defined as the fraction of the detector element area that is active in light detection. A large fill factor is generally considered to be desirable because more photons are collected for a given pitch, and this leads to a higher signal-to-noise-ratio (SNR). However, the large active area works against super-resolution (SR) image restoration by acting as an additional …