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 …

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 …

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.

1891 Eruption Of Foerstner Volcano (Pantelleria, Sicily): Insights Into The Vent Structure Of Basaltic Balloon Eruptions, J. Kelly, S. Carey, K. Croff-Bell, C. Roman, M. Rosi, M. Marani, M. Pistolesi, E. Baker

Christopher N. Roman

AGU session number V21A-2750.

At The Tone, The Time Will Be... Unknown – A Perspective On The Evolution Of Time In Telecommunications, Robert Iannucci

Robert A Iannucci

No abstract provided.

A Pipeline For Structured Light Bathymetric Mapping, Gabrielle Inglis, Clara Smart, J. Vaughn, Chris Roman

Christopher N. Roman

This paper details a methodology for using structured light laser imaging to create high resolution bathymetric maps of the sea floor. The system includes a pair of stereo cameras and an inclined 532nm sheet laser mounted to a remotely operated vehicle (ROV). While a structured light system generally requires a single camera, a stereo vision set up is used here for in-situ calibration of the laser system geometry by triangulating points on the laser line. This allows for quick calibration at the survey site and does not require precise jigs or a controlled environment. A batch procedure to extract the …

International Ict Research Collaboration: Experiences And Recommendations, Erich Prem, Emma Barron, Arcot Desai Narasimhalu, Ian Morgan

Arcot Desai NARASIMHALU

This paper presents results of a study into the collaboration experiences of researchers. The focus is on long-distance collaboration in information and communication technologies (ICT) research and technology development, i.e. between the EU on the one side and Australia, Singapore or New Zealand on the other. The aim of the study was to provide useful recommendations for researchers who engage in international collaboration and to improve the quality of international co-operation projects. The emphasis here is on the views and experiences of Europe"s international partners. The paper analysis collaboration motives, challenges, co-operation types and provides recommendations for project initiation, networking, …

Lachesis: A Job Scheduler For The Cray T3e, Allen B. Downey

Allen B. Downey

This paper presents the design and implementation of Lachesis, a job scheduler for the Cray T3E. Lachesis was developed at the San Diego Supercomputer Center (SDSC) in an attempt to correct some problems with the scheduling system Cray provides with the T3E.

Low-Cost Stereo Vision On An Fpga, Chris A. Murphy, Daniel Lindquist, Ann Marie Rynning, Thomas Cecil, Sarah Leavitt, Mark L. Chang

Mark L. Chang

We present a low-cost stereo vision implementation suitable for use in autonomous vehicle applications and designed with agricultural applications in mind. This implementation utilizes the Census transform algorithm to calculate depth maps from a stereo pair of automotive-grade CMOS cameras. The final prototype utilizes commodity hardware, including a Xilinx Spartan-3 FPGA, to process 320times240 pixel images at greater than 150 frames per second and deliver them via a USB 2.0 interface.

Automated Least-Significant Bit Datapath Optimization For Fpgas, Mark L. Chang, Scott Hauck

Mark L. Chang

In this paper, we present a method for FPGA datapath precision optimization subject to user-defined area and error constraints. This work builds upon our previous research which presented a methodology for optimizing the dynamic range- the most significant bit position. In this work, we present an automated optimization technique for the least-significant bit position of circuit datapaths. We present results describing the effectiveness of our methods on typical signal and image processing kernels.

New Frontiers In Ocean Exploration: The 2010 And 2011 E/V Nautilus Field Seasons, K. Bell, R. Ballard, D. Coleman, C. Roman, M. Brennan

Christopher N. Roman

The Exploration Vessel NAUTILUS is creating a focus of international leadership for the development and integration of leading-edge technologies, educational programs, field operations, and public outreach programs for ocean exploration, in partnership with NOAA, National Geographic Society, Office of Naval Research, Sea Research Foundation and other sponsors. To do so, the program uses a complement of deep submergence vehicle systems and telepresence technologies to engage scientists, educators and the public, both at sea and ashore, allowing them to become integral members of the on-board exploration team. Two four-month field seasons were undertaken aboard NAUTILUS (2010-2011) to the Black, Aegean and …

An Air-Sea Flux Experiment For 2030, P. Cornillon, D. Farmer, C. Roman, I. Ginis, S. Grilli

Christopher N. Roman

In January 2011 the University of Rhode Island held a two day retreat for faculty and research scientists interested in where the field is going over the next 20 years. The retreat began with presentations detailing the current status and anticipated advances in genetics, nanotechnology, numerical modeling and robotics. Participants then outlined scientific problems that they expect will exist in 2030. This was followed by breakout sessions in which participants discussed experiments, based on anticipated technological advances, that might be undertaken in the 2030 time frame to address some of the identified problems. In this presentation we outline one of …

New Frontiers In Ocean Exploration: The 2011 E/V Nautilus Field Season, K. Bell, R. Ballard, D. Coleman, C. Roman, M. Brennan, T. Turanli, M. Duman, S. Carey, P. Nomikou, M. Marani, M. Rosi, J. Austin, M. Canals, J. Karson, L. Mayer, Y. Makovsky

Christopher N. Roman

In the summer of 2011, the Exploration Vessel NAUTILUS is undertaking a four-month expedition to the Black, Aegean and Mediterranean Seas, and North Atlantic Ocean. The primary goal of the NAUTILUS is to create a focus of international leadership for the development and integration of leading-edge technologies, educational programs, field operations, and public outreach programs for ocean exploration, in partnership with NOAA, National Geographic Society, Office of Naval Research, and other sponsors. To do so, the program uses a complement of deep submergence vehicle systems and “telepresence” technologies to engage scientists, educators and the public, both at sea and ashore, …

High Resolution Sea Floor Bathymetry Using High Frequency Multibeam Sonar And Structured Light Laser Imaging, C. Roman, G. Inglis, C. Smart, I. Vaughn, S. Carey

Christopher N. Roman

Detailed bathymetric maps of the sea floor with centimeter level resolution can be produced by underwater vehicles using multibeam sonars and structured light laser imaging. Over spatial scales up to tens of thousands of square meters it is possible to produce maps gridded to sub centimeter levels. This level of accuracy demands detailed treatments of the sensor relative data, the vehicle navigation data and the vehicle to sensor position and rotational offsets. The presented results will show comparisons between these two sensor modalities. Data have a been collected during recent field programs to the Kolumbo volcanic crater and the Southern …

Pre-Eruption Pressure, Temperature And Volatile Content Of Rhyolite Magma From The 1650 Ad Eruption Of Kolumbo Submarine Volcano, Greece, K. Cantner, S. Carey, H. Sigurdsson, G. Vougioukalakis, P. Nomikou, C. Roman, K. Bell, M. Alexandri

Christopher N. Roman

Biotite-bearing, crystal-poor rhyolite magma was the predominant magma type discharged during the 1650 AD explosive eruption of Kolumbo submarine volcano, Greece. The eruption produced thick sequences of pumice deposits (~100 m) in the upper crater walls of the volcano, but also led to the formation of extensive pumice rafts that were dispersed throughout the southern Aegean Sea, and subaerial tephra fallout as far east as Turkey. Preliminary estimates of pre-eruption volatile contents have been determined using the volatile-by-difference method on plagioclase-hosted melt inclusions and yield an average value of 6.0 wt.%. This corresponds to a pre-eruption storage pressure of 180 …

Constrained Stereo Correspondence For 3d Sea-Floor Reconstruction, Gabrielle Inglis, Chris Roman

Christopher N. Roman

No abstract provided.

Embedded Systems As Datacenters, Robert Iannucci

Robert A Iannucci

No abstract provided.

Investigation Of Stun Guns As Intentional Electromagnetic Interference (Emi) Sources, George H. Baker, Ryan C. Tuttle

George H Baker

Determined malefactors have demonstrated the use of common systems as effective weapons against civilian infrastructures, e.g. commercial jetliners used as kinetic weapons and cell phones used to trigger explosive devices. This undergraduate research project investigated the possibility of using readily available stun gun devices for electro-magnetic interference with or disruption of personal computers. At present, the system effects of high power electromagnetic sources are well recognized by world scientific and military communities. Former CIA Director John Deutch has said that, "the electron is the ultimate precision-guided weapon."1 There has been much research on the deleterious effects of pulsed voltages and …

High-Resolution Optical Imaging For Deep-Water Archaeology, Hanumant Singh, Christopher Roman, Oscar Pizarro, Brendan Foley, Ryan Eustice, Ali Can

Christopher N. Roman

No abstract provided.

Preliminary Model Tests For The Design Of A Gliding Deep Water Elevator, Christopher Roman, T. Gregory, E. Martin, A. Sanguinetti, J. Drummond

Christopher N. Roman

This paper presents progress on the design of a "smart elevator" to be used in conjunction with deep sea ROV operations. Deep sea elevators are gravity driven untethered platforms used to deliver and or return items from the sea floor. Elevators are used when items are too large or heavy to be handled by the ROV, or when the turn around time to recover and redeploy the ROV system for sample removal is prohibitive. Unfortunately, efficiency is complicated by the precision with which elevators can be landed at a specific location on the bottom and recovered on the surface because …

Design Of A Gas Tight Water Sampler For Auv Operations, Christopher Roman, R. Camilli

Christopher N. Roman

This paper presents the design and preliminary test results for a small gas tight water sampler intended to work on scientific AUVs. In recent years AUVs have developed into reliable platforms capable of carrying a wide variety of environmental sensors for in-situ chemical measurements. Physical sample collection however remains difficult, due to the combination of space, power and complexity constraints inherent in working with autonomous platforms. The AUV sampler is a small (12 cm times 85 cm) cylindrical package designed to collect eight 20 ml gas tight volumes of water, with each sample maintained at high pressure to depths of …