Physical Sciences and Mathematics Commons^™

Volume Holographic Optical Elements, Ching-Cherng Sun, Partha P. Banerjee

Partha Banerjee

The final two papers are concerned with the analysis of novel holograms. Banerjee et al. investigate holographic recording and reconstruction for edge-lit holograms recorded in a 90-degree geometry. Various cases of recording and readout that incorporate propagational diffraction have been modeled. It is shown that the 90-degree geometry can result in beam shaping, as evidenced through preliminary experimental results with photorefractive lithium niobate. Nguyen et al. propose a new approach for designing computer-generated holograms. An artificial neural network is used to initiate the genetic algorithm so that the high computation cost of genetic algorithms for synthesizing holograms is significantly reduced …

Chemical Dynamics Of Aluminum Nanoparticles In Ammonium Nitrate And Ammonium Perchlorate Matrices: Enhanced Reactivity Of Organically Capped Aluminum, William K. Lewis, Barbara A. Harruff-Miller, Joseph R. Gord, Andrew T. Rosenberger, Thomas M. Sexton, Elena A. Guliants, Christopher E. Bunker

Elena A. Guliants

Aluminum nanoparticles have been a subject of active investigation in recent years because of their potential to enhance the energy content of energetic materials. The associated kinetics of the chemical reaction and energy release are, in many cases, governed by the properties of the passivation layer protecting the particle rather than those of the underlying metal core. The passivation layer of Al particles is typically an oxide shell several nanometers thick, but other possibilities are now available. We have previously developed synthesis routes to produce air-stable Al nanoparticles that are capped by oleic acid. In the present study, we examine …

Carbon Nanoparticles As Visible-Light Photocatalysts For Efficient Co2 Conversion And Beyond, Li Cao, Sushant Sahu, Parambath Anilkumar, Christopher E. Bunker, Juan Xu, K. A. Shiral Fernando, Ping Wang, Elena A. Guliants, Kenneth N. Tackett Ii, Ya-Ping Sun

Elena A. Guliants

Increasing atmospheric CO2 levels have generated much concern, driving the ongoing carbon sequestration effort. A compelling CO2 sequestration option is its photocatalytic conversion to hydrocarbons, for which the use of solar irradiation represents an ultimate solution. Here we report a new strategy of using surface-functionalized small carbon nanoparticles to harvest visible photons for subsequent charge separation on the particle surface in order to drive the efficient photocatalytic process. The aqueous solubility of the catalysts enables photoreduction under more desirable homogeneous reaction conditions. Beyond CO2 conversion, the nanoscale carbon-based photocatalysts are also useful for the photogeneration of H2 from water under …

Spatio-Spectral Sampling And Color Filter Array Design, Keigo Hirakawa, Patrick Wolfe

Keigo Hirakawa

Owing to the growing ubiquity of digital image acquisition and display, several factors must be considered when developing systems to meet future color image processing needs, including improved quality, increased throughput, and greater cost-effectiveness. In consumer still-camera and video applications, color images are typically obtained via a spatial subsampling procedure implemented as a color filter array (CFA), a physical construction whereby only a single component of the color space is measured at each pixel location. Substantial work in both industry and academia has been dedicated to post-processing this acquired raw image data as part of the so-called image processing pipeline, …

Platform-Specific Code Generation From Platform-Independent Timed Models, Baekgyu Kim, Lu Feng, Oleg Sokolsky, Insup Lee

Oleg Sokolsky

Many safety-critical real-time embedded systems need to meet stringent timing constraints such as preserving delay bounds between input and output events. In model-based development, a system is often implemented by using a code generator to automatically generate source code from system models, and integrating the generated source code with a platform. It is challenging to guarantee that the implemented systems preserve required timing constraints, because the timed behavior of the source code and the platform is closely intertwined. In this paper, we address this challenge by proposing a model transformation approach for the code generation. Our approach compensates the platform-processing …

From Requirements To Code: Model Based Development Of A Medical Cyber Physical System, Anitha Murugesan, Mats Heimdahl, Michael Whalen, Sanjai Rayadurgam, John Komp, Lian Duan, Baekgyu Kim, Oleg Sokolsky, Insup Lee

Oleg Sokolsky

The advanced use of technology in medical devices has improved the way health care is delivered to patients. Unfortunately, the increased complexity of modern medical devices poses challenges for development, assurance, and regulatory approval. In an e ort to improve the safety of advanced medical devices, organizations such as FDA have supported exploration of techniques to aid in the development and regulatory approval of such systems. In an ongoing research project, our aim is to provide effective development techniques and exemplars of system development artifacts that demonstrate state of the art development techniques.

In this paper we present an end-to-end …

Verified Ros-Based Deployment Of Platform-Independent Control Systems, Wenrui Meng, Junkil Park, Oleg Sokolsky, Stephanie Weirich, Insup Lee

Oleg Sokolsky

The paper considers the problem of model-based deployment of platform-independent control code on a specific platform. The approach is based on automatic generation of platform-specific glue code from an architectural model of the system. We present a tool, ROSGen, that generates the glue code based on a declarative specification of platform interfaces. Our implementation targets the popular Robot Operating System (ROS) platform. We demonstrate that the code generation process is amenable to formal verification. The code generator is implemented in Coq and relies on the infrastructure provided by the CompCert and VST tool. We prove that the generated code always …

Verified Ros-Based Deployment Of Platform-Independent Control Systems, Wenrui Meng, Junkil Park, Oleg Sokolsky, Stephanie Weirich, Insup Lee

Oleg Sokolsky

The paper considers the problem of model-based deployment of platform-independent control code on a specific platform. The approach is based on automatic generation of platform-specific glue code from an architectural model of the system. We present a tool, ROSGen, that generates the glue code based on a declarative specification of platform interfaces. Our implementation targets the popular Robot Operating System (ROS) platform. We demonstrate that the code generation process is amenable to formal verification. The code generator is implemented in Coq and relies on the infrastructure provided by the CompCert and VST tool. We prove that the generated code always …

Automatic Verification Of Linear Controller Software, Miroslav Pajic, Junkil Park, Insup Lee, George Pappas, Oleg Sokolsky

Oleg Sokolsky

We consider the problem of verification of software implementations of linear time-invariant controllers. Commonly, different implementations use different representations of the controller’s state, for example due to optimizations in a third-party code generator. To accommodate this variation, we exploit input-output controller specification captured by the controller’s transfer function and show how to automatically verify correctness of C code controller implementations using a Frama-C/Why3/Z3 toolchain. Scalability of the approach is evaluated using randomly generated controller specifications of realistic size.

From Requirements To Code: Model Based Development Of A Medical Cyber Physical System, Anitha Murugesan, Mats Heimdahl, Michael Whalen, Sanjai Rayadurgam, John Komp, Lian Duan, Baekgyu Kim, Oleg Sokolsky, Insup Lee

Oleg Sokolsky

The advanced use of technology in medical devices has improved the way health care is delivered to patients. Unfortunately, the increased complexity of modern medical devices poses challenges for development, assurance, and regulatory approval. In an e ort to improve the safety of advanced medical devices, organizations such as FDA have supported exploration of techniques to aid in the development and regulatory approval of such systems. In an ongoing research project, our aim is to provide effective development techniques and exemplars of system development artifacts that demonstrate state of the art development techniques.

In this paper we present an end-to-end …

Platform-Specific Code Generation From Platform-Independent Timed Models, Baekgyu Kim, Lu Feng, Oleg Sokolsky, Insup Lee

Oleg Sokolsky

Many safety-critical real-time embedded systems need to meet stringent timing constraints such as preserving delay bounds between input and output events. In model-based development, a system is often implemented by using a code generator to automatically generate source code from system models, and integrating the generated source code with a platform. It is challenging to guarantee that the implemented systems preserve required timing constraints, because the timed behavior of the source code and the platform is closely intertwined. In this paper, we address this challenge by proposing a model transformation approach for the code generation. Our approach compensates the platform-processing …

A Data-Driven Behavior Modeling And Analysis Framework For Diabetic Patients On Insulin Pumps, Sanjian Chen, Lu Feng, Michael Rickels, Amy Peleckis, Oleg Sokolsky, Insup Lee

Oleg Sokolsky

About 30%-40% of Type 1 Diabetes (T1D) patients in the United States use insulin pumps. Current insulin infusion systems require users to manually input meal carb count and approve or modify the system-suggested meal insulin dose. Users can give correction insulin boluses at any time. Since meal carbohydrates and insulin are the two main driving forces of the glucose physiology, the user-specific eating and pump-using behavior has a great impact on the quality of glycemic control.

In this paper, we propose an “Eat, Trust, and Correct” (ETC) framework to model the T1D insulin pump users’ behavior. We use machine learning …

A Virtual Environment For Enterprise Engineering Education, Can Saygin, Benjamin Dow, Raymond Kluczny, Majdi Najm, Scott Grasman

Dow Scott

Several resources highlight the need to effectively use modern technology to gain more productive and rewarding undergraduate science, mathematics, engineering, and technology education. In addition to the growth of information technology, the importance of hands-on practice and active learning has been highlighted in various resources. These factors, coupled with inadequate and insufficient real-world experiences in undergraduate education, have become a major reason for under-qualified and under-employed graduates. This paper discusses the creation of the University of Missouri Virtual Enterprise, which provides context for development of learning modules for enterprise engineering education. This approach will improve the undergraduate education experience by …

Patient-Centered Appointment Scheduling Using Agent-Based Simulation, Tammy Toscos, Ayten Turkcan, Brad Doebbeling

Tammy R Toscos

Enhanced access and continuity are key components of patient-centered care. Existing studies show that several interventions such as providing same day appointments, walk-in services, after-hours care, and group appointments, have been used to redesign the healthcare systems for improved access to primary care. However, an intervention focusing on a single component of care delivery (i.e. improving access to acute care) might have a negative impact other components of the system (i.e. reduced continuity of care for chronic patients). Therefore, primary care clinics should consider implementing multiple interventions tailored for their patient population needs. We collected rapid ethnography and observations to …

Applying A Novel Combination Of Techniques To Develop A Predictive Model For Diabetes Complications, Mohsen Sangi, Khin Than Win, Farid Shirvani, Mohammad-Reza Namazi-Rad, Nagesh Shukla

Nagesh Shukla

No abstract provided.

The Rapid Formation Of Functional Monolayers On Silicon Under Mild Conditions, Simone Ciampi, Erwann Luais, Michael James, Moinul Choudhury, Nadim Darwish, J Gooding

Michael C James

We report on an exceedingly mild chemical functionalization of hydrogen-terminated Si(100) with unactivated and unprotected bifunctional α,ω-dialkynes. Monolayer formation occurs rapidly in the dark, and at room temperature, from dilute solutions of an aromatic-conjugated acetylene. The method addresses the poor reactivity of p-type substrates under mild conditions. We suggest the importance of several factors, including an optimal orientation for electron transfer between the adsorbate and the Si surface, conjugation of the acetylenic function with a π-system, as well as the choice of a solvent system that favors electron transfer and screens Coulombic interactions between surface holes and electrons. The passivated …

An Integrated Centrifugo-Opto-Microfluidic Platform For Arraying, Analysis, Identification And Manipulation Of Individual Cells, Robert Burger, D Kurzbuch, Robert Gorkin Iii, Gregor Kijanka, Macdara Glynn, C Mcdonagh, Jens Ducree

Robert Gorkin III

In this work we present a centrifugal microfluidic system enabling highly efficient collective trapping and alignment of particles such as microbeads and cells, their multi-colour fluorescent detection and subsequent manipulation by optical tweezers. We demonstrate array-based capture and imaging followed by "cherry-picking" of individual particles, first for fluorescently labelled polystyrene (PS) beads and then for cells. Different cell lines are discriminated based on intracellular as well as surface-based markers.

Optical Sensing System Based On Wireless Paired Emitter Detector Diode Device And Ionogels For Lab-On-A-Disc Water Quality Analysis, Monika Czugala, Robert Gorkin Iii, Thomas Phelan, Jennifer Gaughran, Vincenzo Curto, Jens Ducree, Dermot Diamond, Fernando Benito-Lopez

Robert Gorkin III

This work describes the first use of a wireless paired emitter detector diode device (PEDD) as an optical sensor for water quality monitoring in a lab-on-a-disc device. The microfluidic platform, based on an ionogel sensing area combined with a low-cost optical sensor, is applied for quantitative pH and qualitative turbidity monitoring of water samples at point-of-need. The autonomous capabilities of the PEDD system, combined with the portability and wireless communication of the full device, provide the flexibility needed for on-site water testing. Water samples from local fresh and brackish sources were successfully analysed using the device, showing very good correlation …

Design And Fabrication Of A Cop-Based Microfluidic Chip: Chronoamperometric Detection Of Troponin T, Llibertat Abad, Francisco Javier Del Campo, Francesc Xavier Munoz, Luis J Fernandez, Daniel Calavia, Gloria Colom, Juan P Salvador, Maria Pilar Marco, Vanessa Escamilla-Gomez, Berta Esteban-Fernandez De Avila, Susana Campuzano, Maria Pedrero, Jose M Pingarron, Neus Godino, Robert Gorkin Iii, Jens Ducree

Robert Gorkin III

This work demonstrates the design and fabrication of an all cyclo-olefin polymer based microfluidic device capable of capturing magnetic beads and performing electrochemical detection in a series of gold electrodes. The size of chip is of a microscope slide and features six independent measuring cells formultianalyte detection purposes. The aim of this work is to show that rapid prototyping techniques can be instrumental in the development of novel bioassays, particularly in clinical diagnosis applications. We show the successful determination of troponin-T, a cardiac disease marker, in the clinically relevant range of 0.05–1.0 ng/mL. This methodology achieves a detection limit of …

Fabricating Electrodes For Amperometric Detection In Hybrid Paper/Polymer Lab-On-A-Chip Devices, Neus Godino, Robert Gorkin Iii, Ken Bourke, Jens Ducree

Robert Gorkin III

We present a novel, low-resource fabrication and assembly method for creating disposable amperometric detectors in hybrid paper-polymer devices. Currently, mere paper-based microfluidics is far from being able to achieve the same level of process control and integration as state-of-the-art microfluidic devices made of polymers. To overcome this limitation, in this work both substrate types are synergistically combined through a hybrid, multi-component/multi-material system assembly. Using established inkjet wax printing, we transform the paper into a profoundly hydrophobic substrate in order to create carbon electrodes which are simply patterned from carbon inks via custom made adhesive stencils. By virtue of the compressibility …

Centrifugo-Pneumatic Valving Utilizing Dissolvable Films, Robert Gorkin Iii, Charles Nwankire, Jennifer Gaughran, Xin Zhang, Gerard Donohoe, Martha Rook, Richard O'Kennedy, Jens Ducree

Robert Gorkin III

In this article we introduce a novel technology that utilizes specialized water dissolvable thin films for valving in centrifugal microfluidic systems. In previous work (William Meathrel and Cathy Moritz, IVD Technologies, 2007), dissolvable films (DFs) have been assembled in laminar flow devices to form efficient sacrificial valves where DFs simply open by direct contact with liquid. Here, we build on the original DF valving scheme to leverage sophisticated, merely rotationally actuated vapour barriers and flow control for enabling comprehensive assay integration with low-complexity instrumentation on "lab-on-a-disc" platforms. The advanced sacrificial valving function is achieved by creating an inverted gas-liquid stack …

Centrifugal Automation Of A Triglyceride Bioassay On A Low-Cost Hybrid Paper-Polymer Device, Neus Godino, Elizaveta Vereshchagina, Robert Gorkin Iii, Jens Ducree

Robert Gorkin III

We present a novel paper-polymer hybrid construct for the simple automation of fundamental microfluidic operations in a lab-on-a-disc platform. The novel design, we term a paper siphon, consists of chromatographic paper strips embedded along a siphon microchannel. The paper siphon relies on two main interplaying forces to create unique valving and liquid-sampling methods in centrifugal microfluidics. At sufficiently low speeds, the inherent wicking of the paper overcomes the rotationally induced centrifugal force to drive liquids towards inwards positions of the disc. At elevated speeds, the dominant centrifugal force will extract liquid from the siphon paper strip towards the edge of …

Centrifugal Microfluidics For Cell Analysis, Robert Burger, Daniel Kirby, Macdara Glynn, Charles E Nwankire, Mary O'Sullivan, Jonathan Siegrist, David Kinahan, Gerson Aguirre, Gregor Kijanka, Robert Gorkin Iii, Jens Ducree

Robert Gorkin III

Over the past two decades, centrifugal microfluidic systems have successfully demonstrated their capability for robust, high-performance liquid handling to enable modular, multipurpose lab-on-a-chip platforms for a wide range of lifescience applications. Beyond the handling of homogeneous liquids, the unique, rotationally controlled centrifugal actuation has proven to be specifically advantageous for performing cell and particle handling and assays. In this review we discuss technologies to implement two important steps for cell handling, namely separation and capturing/counting.

Partition-Based Weighted Sum Filters For Image Restoration, Kenneth Barner, Ahmad Sarhan, Russell Hardie

Russell C. Hardie

We develop the concept of partitioning the observation space to build a general class of filters referred to as partition-based weighted sum (PWS) filters. In the general framework, each observation vector is mapped to one of M partitions comprising the observation space, and each partition has an associatedfiltering function. We focus on partitioning the observation space utilizing vector quantization and restrict the filtering function within each partition to be linear. In this formulation, a weighted sum of the observation samples forms the estimate, where the weights are allowed to be unique within eachpartition. The partitions are selected and weights tuned …

Session D-4: Coolhub.Imsa: Collaborative Innovation In Action, Carl Heine, James Gerry

Carl Heine

Transform STEM teaching and learning with CoolHub.IMSA, a free virtual platform where youth and adults collaborate on projects they create. Explore the site through the eyes of project members and discover powerful ways to collaborate, innovate and network for learning.

Multiple Fault Diagnosis Using Psycho-Clonal Algorithms, Nagesh Shukla, P. Prakash

Nagesh Shukla

No abstract provided.

Video Feature — Banned Books And The Stuart Rose Collection, Robert Brecha, Una Cadegan, John Inglis, Paul Morman

Paul J. Morman

A faculty panel discussion in two sessions:

Session 1:
The Index: Una Cadegan (history) looks at the current scholarship on the Index of Forbidden Books.
Galileo: Robert Brecha (physics) highlights the banning of Galileo and observational science.

Session 2:
Thomas Aquinas: John Inglis (philosophy) speaks on the banning of Thomas Aquinas's Summa Theologica, the most important book in Catholic intellectual tradition.
Descartes and the Index of Forbidden Books: Paul Morman (history, Distinguished Service Professor) highlights the book by Descartes that he was not allowed to study while a student at UD in the 1960s.

Video Feature — Banned Books And The Stuart Rose Collection, Robert Brecha, Una Cadegan, John Inglis, Paul Morman

John A. Inglis

A faculty panel discussion in two sessions:

Session 1:
The Index: Una Cadegan (history) looks at the current scholarship on the Index of Forbidden Books.
Galileo: Robert Brecha (physics) highlights the banning of Galileo and observational science.

Session 2:
Thomas Aquinas: John Inglis (philosophy) speaks on the banning of Thomas Aquinas's Summa Theologica, the most important book in Catholic intellectual tradition.
Descartes and the Index of Forbidden Books: Paul Morman (history, Distinguished Service Professor) highlights the book by Descartes that he was not allowed to study while a student at UD in the 1960s.

Video Feature — Banned Books And The Stuart Rose Collection, Robert Brecha, Una Cadegan, John Inglis, Paul Morman

Robert J. Brecha

A faculty panel discussion in two sessions:

Session 1:
The Index: Una Cadegan (history) looks at the current scholarship on the Index of Forbidden Books.
Galileo: Robert Brecha (physics) highlights the banning of Galileo and observational science.

Session 2:
Thomas Aquinas: John Inglis (philosophy) speaks on the banning of Thomas Aquinas's Summa Theologica, the most important book in Catholic intellectual tradition.
Descartes and the Index of Forbidden Books: Paul Morman (history, Distinguished Service Professor) highlights the book by Descartes that he was not allowed to study while a student at UD in the 1960s.

Quantitative Analysis Of Structure And Bandgap Changes In Graphene Oxide Nanoribbons During Thermal Annealing, Yu Zhu, Xianyu Li, Qinjia Cai, Zhengzong Sun, Gilberto Casillas, Miguel Jose-Yacaman, Rafael Verduzco, James Tour

Yu Zhu

Graphene oxide nanoribbons (GONRs) are wide bandgap semiconductors that can be reduced to metallic graphene nanoribbons. The transformation of GONRs from their semiconductive to the metallic state by annealing has attracted significant interest due to its simplicity. However, the detailed process by which GONRs transform from widebandgap semiconductors to semimetals with a near zero bandgap is unclear. As a result, precise control of the bandgap between these two states is not currently achievable. Here, we quantitatively examine the removal of oxygen-containing groups and changes in the bandgap during thermal annealing of GONRs. X-ray photoelectron spectroscopy measurements show the progressive removal …