Physical Sciences and Mathematics Commons^™

Integration Over Curves And Surfaces Defined By The Closest Point Mapping, Catherine Kublik, Richard Tsai

Mathematics Faculty Publications

We propose a new formulation for integrating over smooth curves and surfaces that are described by their closest point mappings. Our method is designed for curves and surfaces that are not defined by any explicit parameterization and is intended to be used in combination with level set techniques. However, contrary to the common practice with level set methods, the volume integrals derived from our formulation coincide exactly with the surface or line integrals that one wishes to compute. We study various aspects of this formulation and provide a geometric interpretation of this formulation in terms of the singular values of …

Identity‐Based Schemes For A Secured Big Data And Cloud Ict Framework In Smart Grid System, Feng Ye, Yi Qian, Rose Qingyang Hu

Electrical and Computer Engineering Faculty Publications

Smart grid is an intelligent cyber physical system (CPS). The CPS generates a massive amount of data for efficient grid operation. In this paper, a big data‐driven, cloud‐based information and communication technology (ICT) framework for smart grid CPS is proposed. The proposed ICT framework deploys hybrid cloud servers to enhance scalability and reliability of smart grid communication infrastructure. Because the data in the ICT framework contains much privacy of customers and important data for automated controlling, the security of data transmission must be ensured. In order to secure the communications over the Internet in the system, identity‐based schemes are proposed …

Effects Of Cell Cycle Noise On Excitable Gene Circuits, Alan Veliz-Cuba, Chinmaya Gupta, Matthew R. Bennett, Krešimir Josić, William Ott

Mathematics Faculty Publications

We assess the impact of cell cycle noise on gene circuit dynamics. For bistable genetic switches and excitable circuits, we find that transitions between metastable states most likely occur just after cell division and that this concentration effect intensifies in the presence of transcriptional delay. We explain this concentration effect with a three-states stochastic model. For genetic oscillators, we quantify the temporal correlations between daughter cells induced by cell division. Temporal correlations must be captured properly in order to accurately quantify noise sources within gene networks.

Convolutions And Green’S Functions For Two Families Of Boundary Value Problems For Fractional Differential Equations, Paul W. Eloe, Jeffrey T. Neugebauer

Mathematics Faculty Publications

We consider families of two-point boundary value problems for fractional differential equations where the fractional derivative is assumed to be the Riemann-Liouville fractional derivative. The problems considered are such that appropriate differential operators commute and the problems can be constructed as nested boundary value problems for lower order fractional differential equations. Green's functions are then constructed as convolutions of lower order Green's functions. Comparison theorems are known for the Green's functions for the lower order problems and so, we obtain analogous comparison theorems for the two families of higher order equations considered here. We also pose a related open question …

Perspectives On The Development Of A Local Food System: The Case Of Dayton, Ohio, Diana Cuy Castellanos, John C. Jones, Joanne Christaldi, Katherine A. Liutkus

Health and Sport Science Faculty Publications

Multiple sectors play vital roles in a community’s development and maintenance of a sustainable local food system. This study explored the perceptions of twenty-two representatives from the civil society, public, and private sectors in Dayton, Ohio, about the development of the region’s local food system. The researchers employed grounded theory methodology for data collection and analysis. Core themes from the participants of each sector group emerged from the data and areas of convergence and divergence among groups were reported.

Future Changes In Mean And Extreme Monsoon Precipitation In The Middle And Lower Yangtze River Basin, China, In The Cmip5 Models, Yanjuan Wu, Shuang-Ye Wu, Jiahong Wen, Felipe Tagle, Ming Xu, Jianguo Tan

Geology Faculty Publications

In this study, the potential future changes of mean and extreme precipitation in the middle and lower Yangtze River basin (MLYRB), eastern China, are assessed using the models of phase 5 of the Coupled Model Intercomparison Project (CMIP5). Historical model simulations are first compared with observations in order to evaluate model performance. In general, the models simulate the precipitation mean and frequency better than the precipitation intensity and extremes, but still have difficulty capturing precipitation patterns over complex terrains. They tend to overestimate precipitation mean, frequency, and intensity while underestimating the extremes. After correcting for model biases, the spatial variation …

The Tribology And Chemistry Of Phosphorus Containing Lubricant Additives, David W. Johnson

Chemistry Faculty Publications

Phosphate esters, thiophosphate esters and metal thiophosphates have been used as lubricant additives for over 50 years. Recently, phosphorus‐containing ionic liquids have emerged as a new class of lubricant additives. While the use of phosphorus compounds has been extensive, a detailed knowledge of how they work has been a much more recent development. In this chapter, the use of phosphate esters, thiophosphate esters, metal thiophosphates and phosphorus‐containing ionic liquids as antiwear or extreme pressure additives is discussed. The primary emphasis will be on how they form a protective film, which is both durable and reduces friction. The first part of …

Github: An Introduction, Craig A. Boman

Roesch Library Staff Presentations

Tech startups have been using version control software to maximize their collaborative technology projects since their inception, but what more can librarians do to leverage this suite of tools? In this presentation, we will briefly describe how version control apps like Github may drastically improve technology collaborations in your library, specifically ILS web refreshes. After the Github introduction, those who participated in the pre-conference "hackathon" session will discuss their projects and talk about the successes and challenges they encountered.

Anisoplanatic Electromagnetic Image Propagation Through Narrow Or Extended Phase Turbulence Using Altitude-Dependent Structure Parameter, Monish Ranjan Chatterjee, Ali Mohamed

Electrical and Computer Engineering Faculty Publications

The effects of turbulence on anisoplanatic imaging are often modeled through the use of a sequence of phase screens distributed along the optical path. We implement the split-step wave algorithm to examine turbulence-corrupted images.

Examination Of The Nonlinear Dynamics And Possible Chaos Encryption In A Zeroth-Order Acousto-Optic Bragg Modulator With Feedback, Fares S. Almehmadi, Monish Ranjan Chatterjee

Electrical and Computer Engineering Faculty Publications

Zeroth-order chaos modulation in a Bragg cell is examined such that tracking problems due to spatial deflections of the first-order AO beam at the receiver may be avoided by switching to the undeviated zeroth-order beam.

Negative Index In Chiral Metamaterials Under Conductive Loss And First-Order Material Dispersion Using Lorentzian, Condon And Drude Models, Monish Ranjan Chatterjee, Tarig A. Algadey

Electrical and Computer Engineering Faculty Publications

Emergence of negative index (NIM) in chiral materials with conductive loss using standard dispersive models is reported. Positive and negative phase and group indices are realized as expected for NIM behavior for sidebands with opposite polarities.

Nonlinear Dynamics, Bifurcation Maps, Signal Encryption And Decryption Using Acousto-Optic Chaos Under A Variable Aperture Illumination, Monish Ranjan Chatterjee, Suman Chaparala

Electrical and Computer Engineering Faculty Publications

Bragg cell nonlinear dynamics and bifurcation properties under first-order feedback with variable aperture are examined. Chaotic encryption and recovery of low-bandwidth signals, and optimal performance are evaluated for fixed and variable apertures.

Mining Mixed-Initiative Dialogs, Saverio Perugini

Computer Science Faculty Publications

Human-computer dialogs are an important vehicle through which to produce a rich and compelling form of human-computer interaction. We view the specification of a human-computer dialog as a set of sequences of progressive interactions between a user and a computer system, and mine partially ordered sets, which correspond to mixing dialog initiative, embedded in these sets of sequences—a process we refer to as dialog mining—because partially ordered sets can be advantageously exploited to reduce the control complexity of a dialog implementation. Our mining losslessly compresses the specification of a dialog. We describe our mining algorithm and report the results of …

Marim: Mobile Augmented Reality For Interactive Manuals, Tam Nguyen, Dorothy Tan, Bilal Mirza, Jose Sepulveda

Computer Science Faculty Publications

In this work, we present a practical system which uses mobile devices for interactive manuals. In particular, there are two modes provided in the system, namely, expert/trainer and trainee modes. Given the expert/trainer editor, experts design the step-by-step interactive manuals. For each step, the experts capture the images by using phones/tablets and provide visual instructions such as interest regions, text, and action animations. In the trainee mode, the system utilizes the existing object detection and tracking algorithms to identify the step scene and retrieve the respective instruction to be displayed on the mobile device. The trainee then follows the displayed …

Identification Of Control Targets In Boolean Molecular Network Models Via Computational Algebra, David Murrugarra, Alan Veliz-Cuba, Boris Aguilar, Reinhard Laubenbacher

Mathematics Faculty Publications

Many problems in biomedicine and other areas of the life sciences can be characterized as control problems, with the goal of finding strategies to change a disease or otherwise undesirable state of a biological system into another, more desirable, state through an intervention, such as a drug or other therapeutic treatment. The identification of such strategies is typically based on a mathematical model of the process to be altered through targeted control inputs. This paper focuses on processes at the molecular level that determine the state of an individual cell, involving signaling or gene regulation. The mathematical model type considered …

Possible Recent Warming Hiatus On The Northwestern Tibetan Plateau Derived From Ice Core Records, Wenling An, Shugui Hou, Wangbin Zhang, Shuang-Ye Wu, Hao Xu, Hongxi Pang, Yetang Wang, Yaping Liu

Geology Faculty Publications

Many studies have reported enhanced warming trend on the Tibetan Plateau (TP), even during the warming hiatus period. However, most of these studies are based on instrumental data largely collected from the eastern TP, whereas the temperature trend over the extensive northwestern TP remains uncertain due to few meteorological stations. Here we combined the stable isotopic δ¹⁸O record of an ice core recovered in 2012 from the Chongce glacier with the δ¹⁸O records of two other ice cores (i.e., Muztagata and Zangser Kangri) in the same region to establish a regional temperature series for the northwestern …

Lubricants For Turbine Engines, David W. Johnson

Chemistry Faculty Publications

The lubricant systems used in turbine engine applications are discussed with respect to the particular problems associated with aircraft applications. After initially describing the relevant specifications, the typical basestocks are described along with some common degradation schemes. The additive systems, including antioxidants, anti-foaming agents, and anti-wear additives needed to achieve the typical specifications, are described along with their mechanism of action and degradation mechanisms. The methods used for the monitoring of lubricant health, including in-line and offline methods, are also discussed. Finally, future changes in specifications, basestocks, and additives are discussed with respect to new, high-performance bearing materials.

A Clean Energy Utility For Multifamily Housing In A Deregulated Energy Market, Ata Raziei, Kevin P. Hallinan, Robert J. Brecha

Physics Faculty Publications

Energy efficiency and renewable energy (EERE) investment in multifamily residences in the United States has not kept pace with investment in resident-owned facilities. Split incentives, where owners cannot benefit economically from energy cost savings for residences and resident investment in EERE is not feasible, have posed a significant barrier. A clean energy utility is posited to circumvent this barrier. This utility would be responsible for power purchase from the grid, ideally as a real-time purchase agent from the grid manager; investment in energy efficiency and renewable energy; and demand management through control of water heating, as well as supply-side management …

Chiral Light Intrinsically Couples To Extrinsic/Pseudo-Chiral Metasurfaces Made Of Tilted Gold Nanowires, Alessandro Belardini, Marco Centini, Grigore Leahu, David C. Hooper, Roberto Li Voti, Eugenio Fazio, Joseph W. Haus, Andrew Sarangan, Ventsislav K. Valev, Concita Sibilia

Electro-Optics and Photonics Faculty Publications

Extrinsic or pseudo-chiral (meta)surfaces have an achiral structure, yet they can give rise to circular dichroism when the experiment itself becomes chiral. Although these surfaces are known to yield differences in reflected and transmitted circularly polarized light, the exact mechanism of the interaction has never been directly demonstrated. Here we present a comprehensive linear and nonlinear optical investigation of a metasurface composed of tilted gold nanowires. In the linear regime, we directly demonstrate the selective absorption of circularly polarised light depending on the orientation of the metasurface. In the nonlinear regime, we demonstrate for the first time how second harmonic …

Leveraging Static Analysis Tools For Improving Usability Of Memory Error Sanitization Compilers, Rigel Gjomemo, Phu Huu Phung, Edmund Ballou, Kedar S. Namjoshi, V. N. Venkatakrishnan, Lenore Zuck

Computer Science Faculty Publications

Memory errors such as buffer overruns are notorious security vulnerabilities. There has been considerable interest in having a compiler to ensure the safety of compiled code either through static verification or through instrumented runtime checks. While certifying compilation has shown much promise, it has not been practical, leaving code instrumentation as the next best strategy for compilation. We term such compilers Memory Error Sanitization Compilers (MESCs). MESCs are available as part of GCC, LLVM and MSVC suites. Due to practical limitations, MESCs typically apply instrumentation indiscriminately to every memory access, and are consequently prohibitively expensive and practical to only small …

Theorems On Boundedness Of Solutions To Stochastic Delay Differential Equations, Youssef Raffoul, Dan Ren

Mathematics Faculty Publications

In this report, we provide general theorems about boundedness or bounded in probability of solutions to nonlinear delay stochastic differential systems. Our analysis is based on the successful construction of suitable Lyapunov functionals. We offer several examples as application of our theorems.

Optimal Control Analysis Of Ebola Disease With Control Strategies Of Quarantine And Vaccination, Muhammad Dure Ahmad, Muhammad Usman, Adnan Khan, Mudassar Imran

Mathematics Faculty Publications

The 2014 Ebola epidemic is the largest in history, affecting multiple countries in West Africa. Some isolated cases were also observed in other regions of the world.

Simulation Model Of An Automatic Commercial Ice Machine, Haithem Murgham, David Myszka, Vijay Bahel, Rajan Rajendran, Kurt Knapke, Suresh Shivashankar, Kyaw Wynn

Mechanical and Aerospace Engineering Faculty Publications

Automatic commercial ice-making machines that produce a batch of cube ice at regular intervals are known as “cubers." Such machines are commonly used in food service, food preservation, hotel, and health service industries. The machines are typically rated for the weight of ice produced over a 24-hour period at ambient air temperatures of 90°F and water inlet temperature of 70°F.

These cubers typically utilize an air-cooled, vapor-compression cycle to freeze circulating water flowing over an evaporator grid. Once a sufficient amount ice is formed, a valve switches to enable a harvest mode, where the compressor’s discharge gas is routed into …

Analysis Of Various Classification Techniques For Computer Aided Detection System Of Pulmonary Nodules In Ct, Barath Narayanan Narayanan, Russell C. Hardie, Temesguen Messay

Electrical and Computer Engineering Faculty Publications

Lung cancer is the leading cause of cancer death in the United States. It usually exhibits its presence with the formation of pulmonary nodules. Nodules are round or oval-shaped growth present in the lung. Computed Tomography (CT) scans are used by radiologists to detect such nodules. Computer Aided Detection (CAD) of such nodules would aid in providing a second opinion to the radiologists and would be of valuable help in lung cancer screening. In this research, we study various feature selection methods for the CAD system framework proposed in FlyerScan. Algorithmic steps of FlyerScan include (i) local contrast enhancement (ii) …

Recursive Non-Local Means Filter For Video Denoising With Poisson-Gaussian Noise, Redha A. Almahdi, Russell C. Hardie

Electrical and Computer Engineering Faculty Publications

In this paper, we describe a new recursive Non-Local means (RNLM) algorithm for video denoising that has been developed by the current authors. Furthermore, we extend this work by incorporating a Poisson-Gaussian noise model. Our new RNLM method provides a computationally efficient means for video denoising, and yields improved performance compared with the single frame NLM and BM3D benchmarks methods. Non-Local means (NLM) based methods of denoising have been applied successfully in various image and video sequence denoising applications. However, direct extension of this method from 2D to 3D for video processing can be computationally demanding. The RNLM approach takes …

Upper And Lower Solution Method For Boundary Value Problems At Resonance, Samerah Al Mosa, Paul W. Eloe

Mathematics Faculty Publications

We consider two simple boundary value problems at resonance for an ordinary differential equation. Employing a shift argument, a regular fixed point operator is constructed. We employ the monotone method coupled with a method of upper and lower solutions and obtain sufficient conditions for the existence of solutions of boundary value problems at resonance for nonlinear boundary value problems. Three applications are presented in which explicit upper solutions and lower solutions are exhibited for the first boundary value problem. Two applications are presented for the second boundary value problem. Of interest, the upper and lower solutions are easily and explicitly …

Phase Gradient Algorithm Method For 3-D Holographic Ladar Imaging, Jason W. Stafford, Bradley D. Duncan, David J. Rabb

Electro-Optics and Photonics Faculty Publications

3-D holographic ladar uses digital holography with frequency diversity to add the ability to resolve targets in range. A key challenge is that since individual frequency samples are not recorded simultaneously, differential phase aberrations may exist between them making it difficult to achieve range compression. We describe steps specific to this modality so that phase gradient algorithms (PGA) can be applied to 3-D holographic ladar data for phase corrections across multiple temporal frequency samples. Substantial improvement of range compression is demonstrated with a laboratory experiment where our modified PGA technique is applied. Additionally, the PGA estimator is demonstrated to be …

Math Department Newsletter, 2016, University Of Dayton. Department Of Mathematics

Department of Mathematics Newsletters

No abstract provided.

A Language-Based Model For Specifying And Staging Mixed-Initiative Dialogs, Saverio Perugini, Joshua W. Buck

Computer Science Faculty Publications

Specifying and implementing flexible human-computer dialogs, such as those used in kiosks, is complex because of the numerous and varied directions in which each user might steer a dialog. The objective of this research is to improve dialog specification and implementation. To do so we developed a model for specifying and staging mixed-initiative dialogs. The model involves a dialog authoring notation, based on concepts from programming languages, for specifying a variety of unsolicited reporting, mixed-initiative dialogs in a concise representation that serves as a design for dialog implementation. Guided by this foundation, we built a dialog staging engine which operationalizes …

Uniform Stability In Nonlinear Infinite Delay Volterra Integro-Differential Equations Using Lyapunov Functionals, Youssef Raffoul, Habib Rai

Mathematics Faculty Publications

In [10] the first author used Lyapunov functionals and studied the exponential stability of the zero solution of nite delay Volterra Integro-dierential equation. In this paper, we use modified version of the Lyapunov functional that were used in [10] to obtain criterion for the stability of the zero solution of the infinite delay nonlinear Volterra integro-dierential equation

x′(t) = Px(t) + ^t∫ _−∞ C(t, s)g(x(s))ds.