Open Access. Powered by Scholars. Published by Universities.®

Physical Sciences and Mathematics Commons

Open Access. Powered by Scholars. Published by Universities.®

Articles 1 - 30 of 125

Full-Text Articles in Physical Sciences and Mathematics

Impact Of Weather Factors On Airport Arrival Rates: Application Of Machine Learning In Air Transportation, Robert W. Maxson, Dothang Truong, Woojin Choi Dec 2023

Impact Of Weather Factors On Airport Arrival Rates: Application Of Machine Learning In Air Transportation, Robert W. Maxson, Dothang Truong, Woojin Choi

Publications

Weather is responsible for approximately 70% of air transportation delays in the National Airspace System, and delays resulting from convective weather alone cost airlines and passengers millions of dollars each year due to delays that could be avoided. This research sought to establish relationships between environmental variables and airport efficiency estimates by data mining archived weather and airport performance data at ten geographically and climatologically different airports. Several meaningful relationships were discovered from six out of ten airports using various machine learning methods within an overarching data mining protocol, and the developed models were tested using historical data.


Hyper-Local Weather Predictions With The Enhanced General Urban Area Microclimate Predictions Tool, Kevin A. Adkins, William Becker, Sricharan Ayyalasomayajula, Steven Lavenstein, Kleoniki Vlachou, David Miller, Marc Compere, Avinash Muthu Krishnan, Nickolas Macchiarella Jun 2023

Hyper-Local Weather Predictions With The Enhanced General Urban Area Microclimate Predictions Tool, Kevin A. Adkins, William Becker, Sricharan Ayyalasomayajula, Steven Lavenstein, Kleoniki Vlachou, David Miller, Marc Compere, Avinash Muthu Krishnan, Nickolas Macchiarella

Publications

This paper presents enhancements to, and the demonstration of, the General Urban area Microclimate Predictions tool (GUMP), which is designed to provide hyper-local weather predictions by combining machine-learning (ML) models and computational fluid dynamic (CFD) simulations. For the further development and demonstration of GUMP, the Embry–Riddle Aeronautical University (ERAU) campus was used as a test environment. Local weather sensors provided data to train ML models, and CFD models of urban- and suburban-like areas of ERAU’s campus were created and iterated through with a wide assortment of inlet wind speed and direction combinations. ML weather sensor predictions were combined with best-fit …


The Evolution Of Ai On The Commercial Flight Deck: Finding Balance Between Efficiency And Safety While Maintaining The Integrity Of Operator Trust, Mark Miller, Sam Holley, Leila Halawi Jan 2023

The Evolution Of Ai On The Commercial Flight Deck: Finding Balance Between Efficiency And Safety While Maintaining The Integrity Of Operator Trust, Mark Miller, Sam Holley, Leila Halawi

Publications

As artificial intelligence (AI) seeks to improve modern society, the commercial aviation industry offers a significant opportunity. Although many parts of commercial aviation including maintenance, the ramp, and air traffic control show promise to integrate AI, the highly computerized digital flight deck (DFD) could be challenging. The researchers seek to understand what role AI could provide going forward by assessing AI evolution on the commercial flight deck over the past 50 years. A modified SHELL diagram is used to complete a Human Factors (HF) analysis of the early use for AI on the commercial flight deck through introduction of the …


Cooperative Deep Q -Learning Framework For Environments Providing Image Feedback, Krishnan Raghavan, Vignesh Narayanan, Sarangapani Jagannathan Jan 2023

Cooperative Deep Q -Learning Framework For Environments Providing Image Feedback, Krishnan Raghavan, Vignesh Narayanan, Sarangapani Jagannathan

Publications

In this article, we address two key challenges in deep reinforcement learning (DRL) setting, sample inefficiency, and slow learning, with a dual-neural network (NN)-driven learning approach. In the proposed approach, we use two deep NNs with independent initialization to robustly approximate the action-value function in the presence of image inputs. In particular, we develop a temporal difference (TD) error-driven learning (EDL) approach, where we introduce a set of linear transformations of the TD error to directly update the parameters of each layer in the deep NN. We demonstrate theoretically that the cost minimized by the EDL regime is an approximation …


Tutorial: Neuro-Symbolic Ai For Mental Healthcare, Kaushik Roy, Usha Lokala, Manas Gaur, Amit Sheth Oct 2022

Tutorial: Neuro-Symbolic Ai For Mental Healthcare, Kaushik Roy, Usha Lokala, Manas Gaur, Amit Sheth

Publications

Artificial Intelligence (AI) systems for mental healthcare (MHCare) have been ever-growing after realizing the importance of early interventions for patients with chronic mental health (MH) conditions. Social media (SocMedia) emerged as the go-to platform for supporting patients seeking MHCare. The creation of peer-support groups without social stigma has resulted in patients transitioning from clinical settings to SocMedia supported interactions for quick help. Researchers started exploring SocMedia content in search of cues that showcase correlation or causation between different MH conditions to design better interventional strategies. User-level Classification-based AI systems were designed to leverage diverse SocMedia data from various MH conditions, …


Learning To Automate Follow-Up Question Generation Using Process Knowledge For Depression Triage On Reddit Posts, Shrey Gupta, Anmol Agarwal, Manas Gaur, Kaushik Roy, Vignesh Narayanan, Ponnurangam Kumaraguru, Amit Sheth Oct 2022

Learning To Automate Follow-Up Question Generation Using Process Knowledge For Depression Triage On Reddit Posts, Shrey Gupta, Anmol Agarwal, Manas Gaur, Kaushik Roy, Vignesh Narayanan, Ponnurangam Kumaraguru, Amit Sheth

Publications

Conversational Agents (CAs) powered with deep language models (DLMs) have shown tremendous promise in the domain of mental health. Prominently, the CAs have been used to provide informational or therapeutic services (e.g., cognitive behavioral therapy) to patients. However, the utility of CAs to assist in mental health triaging has not been explored in the existing work as it requires a controlled generation of follow-up questions (FQs), which are often initiated and guided by the mental health professionals (MHPs) in clinical settings. In the context of `depression', our experiments show that DLMs coupled with process knowledge in a mental health questionnaire …


Rocket Measurements Of Electron Energy Spectra From Earth’S Photoelectron Production Layer, Aroh Barjatya, Shantanab Debchoudhury, Glyn A. Collinson, Alex Glocer, Dennis Chornay, Et Al. Aug 2022

Rocket Measurements Of Electron Energy Spectra From Earth’S Photoelectron Production Layer, Aroh Barjatya, Shantanab Debchoudhury, Glyn A. Collinson, Alex Glocer, Dennis Chornay, Et Al.

Publications

Photoelectrons are crucial to atmospheric physics. They heat the atmosphere, strengthen 28 planetary ambipolar electric fields, and enhance the outflow of ions to space. However, 29 there exist only a handful of measurements of their energy spectrum near the peak of 30 photoproduction. We present calibrated energy spectra of pristine photoelectrons at their 31 source by a prototype Dual Electrostatic Analyzer (DESA) instrument flown on July 11 32 2021 aboard the Dynamo-2 sounding rocket (NASA № 36.357). Photopeaks arising from 33 30.4nm He-II spectral line were observed throughout the flight above 120km. DESA also 34 successfully resolved the rarely observed …


Weatherization And Energy Security: A Review Of Recent Events In Ercot, Golbon Zakeri, Maria Hmaria Hernandez, Matthew Lackner, James Manwell Jan 2022

Weatherization And Energy Security: A Review Of Recent Events In Ercot, Golbon Zakeri, Maria Hmaria Hernandez, Matthew Lackner, James Manwell

Publications

Purpose of Review

This review addresses the question of energy security. With the transition of energy generation fleet to cleaner, more sustainable electricity production, energy security is a topic of increasing importance.

Recent Findings

Recent events in Texas brought the concept of energy security to the fore. In this review, we examine the makeup of electricity generation and the causes of the February 2021 blackout of Texas. We will investigate the cost/benefit of winterization in Texas and ask why this was not undertaken subsequent to a similar event in 2011.

Summary

We investigate the case of Texas blackout of February …


Data-Driven Decarbonization Of Residential Heating Systems: An Equity Perspective., John Wamburu, Emma Grazier, David Irwin, Christine Crago, Prashant Shenoy Jan 2022

Data-Driven Decarbonization Of Residential Heating Systems: An Equity Perspective., John Wamburu, Emma Grazier, David Irwin, Christine Crago, Prashant Shenoy

Publications

Since heating buildings using natural gas, propane and oil makes up a significant proportion of the aggregate carbon emissions every year, there is a strong interest in decarbonizing residential heating systems using new technologies such as electric heat pumps. In this poster, we conduct a data-driven optimization study to analyze the potential of replacing gas heating with electric heat pumps to reduce carbon emissions in a city-wide distribution grid. We seek to not only reduce the carbon footprint of residential heating, but also show how to do so equitably. Our results show that lower income homes have an energy usage …


Sustainable Computing - Without The Hot Air, Noman Bashir, David Irwin, Prashant Shenoy, Abel Souza Jan 2022

Sustainable Computing - Without The Hot Air, Noman Bashir, David Irwin, Prashant Shenoy, Abel Souza

Publications

The demand for computing is continuing to grow exponentially. This growth will translate to exponential growth in computing's energy consumption unless improvements in its energy-efficiency can outpace increases in its demand. Yet, after decades of research, further improving energy-efficiency is becoming increasingly challenging, as it is already highly optimized. As a result, at some point, increases in computing demand are likely to outpace increases in its energy-efficiency, potentially by a wide margin. Such exponential growth, if left unchecked, will position computing as a substantial contributor to global carbon emissions. While prominent technology companies have recognized the problem and sought to …


The Sustainability Of Decarbonizing The Grid: A Multi-Model Decision Analysis Applied To Mexico, Rodrigo Mercado Fernandez, Erin Baker Jan 2022

The Sustainability Of Decarbonizing The Grid: A Multi-Model Decision Analysis Applied To Mexico, Rodrigo Mercado Fernandez, Erin Baker

Publications

Mexico recognizes its vulnerability to the effects of climate change, including sea level rise, increasing average temperatures, more frequent extreme weather events and changes to the hydrological cycle. Because of these concerns Mexico has a vested interest in developing sustainable strategies for mitigating climate change as it develops its electricity grid. In this study, we use a set of sustainability criteria to evaluate a number of model-derived pathways for the electricity grid aimed at meeting Mexico's climate goals. We use a multi-step approach, combining pathways from multiple large scale global models with a detailed electricity model to leverage geographic information …


Reduced-Order Dynamic Modeling And Robust Nonlinear Control Of Fluid Flow Velocity Fields, Anu Kossery Jayaprakash, William Mackunis, Vladimir Golubev, Oksana Stalnov Dec 2021

Reduced-Order Dynamic Modeling And Robust Nonlinear Control Of Fluid Flow Velocity Fields, Anu Kossery Jayaprakash, William Mackunis, Vladimir Golubev, Oksana Stalnov

Publications

A robust nonlinear control method is developed for fluid flow velocity tracking, which formally addresses the inherent challenges in practical implementation of closed-loop active flow control systems. A key challenge being addressed here is flow control design to compensate for model parameter variations that can arise from actuator perturbations. The control design is based on a detailed reduced-order model of the actuated flow dynamics, which is rigorously derived to incorporate the inherent time-varying uncertainty in the both the model parameters and the actuator dynamics. To the best of the authors’ knowledge, this is the first robust nonlinear closed-loop active flow …


Aessa Young Professionals Forum Webinar “Technologies And Skills That Will Gearup The Aerospace Industry Post Pandemic” - A Global Perspective With An Emphasis On South Africa October 2021, Linda Vee Weiland Oct 2021

Aessa Young Professionals Forum Webinar “Technologies And Skills That Will Gearup The Aerospace Industry Post Pandemic” - A Global Perspective With An Emphasis On South Africa October 2021, Linda Vee Weiland

Publications

A webinar presentation for AeSSA Young Professionals.


Cross Domain Iw Threats To Sof Maritime Missions: Implications For U.S. Sof, Gary C. Kessler, Diane M. Zorri May 2021

Cross Domain Iw Threats To Sof Maritime Missions: Implications For U.S. Sof, Gary C. Kessler, Diane M. Zorri

Publications

As cyber vulnerabilities proliferate with the expansion of connected devices, wherein security is often forsaken for ease of use, Special Operations Forces (SOF) cannot escape the obvious, massive risk that they are assuming by incorporating emerging technologies into their toolkits. This is especially true in the maritime sector where SOF operates nearshore in littoral zones. As SOF—in support to the U.S. Navy— increasingly operate in these contested maritime environments, they will gradually encounter more hostile actors looking to exploit digital vulnerabilities. As such, this monograph comes at a perfect time as the world becomes more interconnected but also more vulnerable.


Investigating The Impacts Of Crash Prediction Models On Quantifying Safety Effectiveness Of Adaptive Signal Control Systems, Weimin Jin, Mashrur Chowdhury, Sakib Mahmud Khan, Patrick Gerard Feb 2021

Investigating The Impacts Of Crash Prediction Models On Quantifying Safety Effectiveness Of Adaptive Signal Control Systems, Weimin Jin, Mashrur Chowdhury, Sakib Mahmud Khan, Patrick Gerard

Publications

Introduction: Adaptive Signal Control System (ASCS) can improve both operational and safety benefits at signalized corridors. Methods: This paper develops a series of models accounting for model forms and possible predictors and implements these models in Empirical Bayes (EB) and Fully Bayesian (FB) frameworks for ASCS safety evaluation studies. Different models are validated in terms of the ability to reduce the potential bias and variance of prediction and improve the safety effectiveness estimation accuracy using real-world crash data from non-ASCS sites. This paper then develops the safety effectiveness of ASCS at six different corridors with a total of 65 signalized …


Parking Recommender System Privacy Preservation Through Anonymization And Differential Privacy, Yasir Saleem Shaikh, Mubashir Husain Rehmani, Noel Crespi, Roberto Minerva Feb 2021

Parking Recommender System Privacy Preservation Through Anonymization And Differential Privacy, Yasir Saleem Shaikh, Mubashir Husain Rehmani, Noel Crespi, Roberto Minerva

Publications

Recent advancements in the Internet of Things (IoT) have enabled the development of smart parking systems that use services of third-party parking recommender system to provide recommendations of personalized parking spot to users based on their past experience. However, the indiscriminate sharing of users’ data with an untrusted (or semitrusted) parking recommender system may breach the privacy because users’ behavior and mobility patterns could be inferred by analyzing their past history. Therefore, in this article, we present two solutions that preserve privacy of users in parking recommender systems while analyzing the past parking history using k-anonymity (anonymization) and differential privacy …


Reduced Multiplicative Complexity Discrete Cosine Transform (Dct) Circuitry, Sirani Kanchana Mututhanthrige Perera Jan 2021

Reduced Multiplicative Complexity Discrete Cosine Transform (Dct) Circuitry, Sirani Kanchana Mututhanthrige Perera

Publications

System and techniques for reduced multiplicative complex­ity discrete cosine transform (DCT) circuitry are described herein. An input data set can be received and, upon the input data set, a self-recursive DCT technique can be performed to produce a transformed data set. Here, the self-recursive DCT technique is based on a product of factors of a specified type of DCT technique. Recursive components of the technique are of the same DCT type as that of the DCT technique. The transformed data set can then be produced to a data con­sumer.


Semantics Of The Black-Box: Can Knowledge Graphs Help Make Deep Learning Systems More Interpretable And Explainable?, Manas Gaur, Keyur Faldu, Amit Sheth Jan 2021

Semantics Of The Black-Box: Can Knowledge Graphs Help Make Deep Learning Systems More Interpretable And Explainable?, Manas Gaur, Keyur Faldu, Amit Sheth

Publications

The recent series of innovations in deep learning (DL) have shown enormous potential to impact individuals and society, both positively and negatively. The DL models utilizing massive computing power and enormous datasets have significantly outperformed prior historical benchmarks on increasingly difficult, well-defined research tasks across technology domains such as computer vision, natural language processing, signal processing, and human-computer interactions. However, the Black-Box nature of DL models and their over-reliance on massive amounts of data condensed into labels and dense representations poses challenges for interpretability and explainability of the system. Furthermore, DLs have not yet been proven in their ability to …


Finite-Time State Estimation For An Inverted Pendulum Under Input-Multiplicative Uncertainty, Sergey V. Drakunov, William Mackunis, Anu Kossery Jayaprakash, Krishna Bhavithavya Kidambi, Mahmut Reyhanoglu Oct 2020

Finite-Time State Estimation For An Inverted Pendulum Under Input-Multiplicative Uncertainty, Sergey V. Drakunov, William Mackunis, Anu Kossery Jayaprakash, Krishna Bhavithavya Kidambi, Mahmut Reyhanoglu

Publications

A sliding mode observer is presented, which is rigorously proven to achieve finite-time state estimation of a dual-parallel underactuated (i.e., single-input multi-output) cart inverted pendulum system in the presence of parametric uncertainty. A salient feature of the proposed sliding mode observer design is that a rigorous analysis is provided, which proves finite-time estimation of the complete system state in the presence of input-multiplicative parametric uncertainty. The performance of the proposed observer design is demonstrated through numerical case studies using both sliding mode control (SMC)- and linear quadratic regulator (LQR)-based closed-loop control systems. The main contribution presented here is the rigorous …


Finite-Time State Estimation For An Inverted Pendulum Under Input-Multiplicative Uncertainty, William Mackunis, Sergey V. Drakunov, Anu Kossery Jayaprakash, Krishna Bhavithavya Kidambi, Mahmut Reyhanoglu Oct 2020

Finite-Time State Estimation For An Inverted Pendulum Under Input-Multiplicative Uncertainty, William Mackunis, Sergey V. Drakunov, Anu Kossery Jayaprakash, Krishna Bhavithavya Kidambi, Mahmut Reyhanoglu

Publications

A sliding mode observer is presented, which is rigorously proven to achieve finite-time state estimation of a dual-parallel underactuated (i.e., single-input multi-output) cart inverted pendulum system in the presence of parametric uncertainty. A salient feature of the proposed sliding mode observer design is that a rigorous analysis is provided, which proves finite-time estimation of the complete system state in the presence of input-multiplicative parametric uncertainty. The performance of the proposed observer design is demonstrated through numerical case studies using both sliding mode control (SMC)- and linear quadratic regulator (LQR)-based closed-loop control systems. The main contribution presented here is the rigorous …


Dynamics Of Discontinuities In Elastic Solids, Arkadi Berezovski, Mihhail Berezovski Jul 2020

Dynamics Of Discontinuities In Elastic Solids, Arkadi Berezovski, Mihhail Berezovski

Publications

The paper is devoted to evolving discontinuities in elastic solids. A discontinuity is represented as a singular set of material points. Evolution of a discontinuity is driven by the configurational force acting at such a set. The main attention is paid to the determination of the velocity of a propagating discontinuity. Martensitic phase transition fronts and brittle cracks are considered as representative examples.


A Low-Cost, Open Source Monitoring System For Collecting High Temporal Resolution Water Use Data On Magnetically Driven Residential Water Meters, Camilo J. Bastidas Pacheco, Jeffery S. Horsburgh, Robb J. Tracy Jun 2020

A Low-Cost, Open Source Monitoring System For Collecting High Temporal Resolution Water Use Data On Magnetically Driven Residential Water Meters, Camilo J. Bastidas Pacheco, Jeffery S. Horsburgh, Robb J. Tracy

Publications

We present a low-cost (≈$150) monitoring system for collecting high temporal resolution residential water use data without disrupting the operation of commonly available water meters. This system was designed for installation on top of analog, magnetically driven, positive displacement, residential water meters and can collect data at a variable time resolution interval. The system couples an Arduino Pro microcontroller board, a datalogging shield customized for this specific application, and a magnetometer sensor. The system was developed and calibrated at the Utah Water Research Laboratory and was deployed for testing on five single family residences in Logan and Providence, Utah, for …


Semi-Lagrangian Implicit Bhatnagar-Gross-Krook Collision Model For The Finite-Volume Discrete Boltzmann Method, Leitao Chen, Sauro Succi, Xiaofeng Cai, Laura Schaefer Jun 2020

Semi-Lagrangian Implicit Bhatnagar-Gross-Krook Collision Model For The Finite-Volume Discrete Boltzmann Method, Leitao Chen, Sauro Succi, Xiaofeng Cai, Laura Schaefer

Publications

In order to increase the accuracy of temporal solutions, reduce the computational cost of time marching, and improve the stability associated with collisions for the finite-volume discrete Boltzmann method, an advanced implicit Bhatnagar-Gross-Krook (BGK) collision model using a semi-Lagrangian approach is proposed in this paper. Unlike existing models, in which the implicit BGK collision is resolved either by a temporal extrapolation or by a variable transformation, the proposed model removes the implicitness by tracing the particle distribution functions (PDFs) back in time along their characteristic paths during the collision process. An interpolation scheme is needed to evaluate the PDFs at …


Empirical Models For Predicting Water And Heat Flow Properties Of Permafrost Soils, Michael T. O'Connor, M. Bayani Cardenas, Stephen B. Ferencz, Yue Wu, Bethany T. Neilson, Jingyi Chen, George W. Kling May 2020

Empirical Models For Predicting Water And Heat Flow Properties Of Permafrost Soils, Michael T. O'Connor, M. Bayani Cardenas, Stephen B. Ferencz, Yue Wu, Bethany T. Neilson, Jingyi Chen, George W. Kling

Publications

Warming and thawing in the Arctic are promoting biogeochemical processing and hydrologic transport in carbon‐rich permafrost and soils that transfer carbon to surface waters or the atmosphere. Hydrologic and biogeochemical impacts of thawing are challenging to predict with sparse information on arctic soil hydraulic and thermal properties. We developed empirical and statistical models of soil properties for three main strata in the shallow, seasonally thawed soils above permafrost in a study area of ~7,500 km2 in Alaska. The models show that soil vertical stratification and hydraulic properties are predictable based on vegetation cover and slope. We also show that …


Infusing Humanities In Stem Education: Student Opinions Of Disciplinary Connections In An Introductory Chemistry Course, Emily K. Faulconer, Beverly Wood, John C. Griffith Mar 2020

Infusing Humanities In Stem Education: Student Opinions Of Disciplinary Connections In An Introductory Chemistry Course, Emily K. Faulconer, Beverly Wood, John C. Griffith

Publications

The Next Generation Science Standards and other educational reforms support the formation of deep connections across the STEM disciplines. Integrated STEM is considered as a best practice by the educational communities of the disparate disciplines. However, the integration of non-STEM disciplines is understudied and generally limited to the integration of art (STEAM). Humanistic STEM blends the study of STEM with interest in and concern for human affairs, welfare, values, or culture. This study looks at an infusion of the humanities into an online chemistry course to see if there is an influence on student connection between course content and cross-disciplinary …


W-Gun: Whale Optimization For Energy And Delay-Centric Green Underwater Networks, Rajkumar Singh Rathore, Houbing Song, Suman Sangwan, Sukriti Mazumdar, Omprakash Kaiwartya, Kabita Adhikari, Rupak Kharel Mar 2020

W-Gun: Whale Optimization For Energy And Delay-Centric Green Underwater Networks, Rajkumar Singh Rathore, Houbing Song, Suman Sangwan, Sukriti Mazumdar, Omprakash Kaiwartya, Kabita Adhikari, Rupak Kharel

Publications

Underwater sensor networks (UWSNs) have witnessed significant R&D attention in both academia and industry due to their growing application domains, such as border security, freight via sea or river, natural petroleum production and the fishing industry. Considering the deep underwater-oriented access constraints, energy-centric communication for the lifetime maximization of tiny sensor nodes in UWSNs is one of the key research themes in this domain. Existing literature on green UWSNs are majorly adapted from the existing techniques in traditional wireless sensor network relying on geolocation and the quality of service-centric underwater relay node selection, without paying much attention to the dynamic …


Deal: Differentially Private Auction For Blockchain Based Microgrids Energy Trading, Muneeb Ul Hassan, Mubashir Husain Rehmani, Jinjun Chen Mar 2020

Deal: Differentially Private Auction For Blockchain Based Microgrids Energy Trading, Muneeb Ul Hassan, Mubashir Husain Rehmani, Jinjun Chen

Publications

Modern smart homes are being equipped with certain renewable energy resources that can produce their own electric energy. From time to time, these smart homes or microgrids are also capable of supplying energy to other houses, buildings, or energy grid in the time of available self-produced renewable energy. Therefore, researches have been carried out to develop optimal trading strategies, and many recent technologies are also being used in combination with microgrids. One such technology is blockchain, which works over decentralized distributed ledger. In this paper, we develop a blockchain based approach for microgrid energy auction. To make this auction more …


Differential Privacy Techniques For Cyber Physical Systems: A Survey, Muneeb Ul Hassan, Mubashir Husain Rehmani, Jinjun Chen Mar 2020

Differential Privacy Techniques For Cyber Physical Systems: A Survey, Muneeb Ul Hassan, Mubashir Husain Rehmani, Jinjun Chen

Publications

Modern cyber physical systems (CPSs) has widely being used in our daily lives because of development of information and communication technologies (ICT).With the provision of CPSs, the security and privacy threats associated to these systems are also increasing. Passive attacks are being used by intruders to get access to private information of CPSs. In order to make CPSs data more secure, certain privacy preservation strategies such as encryption, and k-anonymity have been presented in the past. However, with the advances in CPSs architecture, these techniques also need certain modifications. Meanwhile, differential privacy emerged as an efficient technique to protect CPSs …


Cache-Enabled In Cooperative Cognitive Radio Networks For Transmission Performance, Jiachen Yang, Houbing Song, Chaofan Ma, Jiabao Man, Huifang Xu, Gan Zheng Feb 2020

Cache-Enabled In Cooperative Cognitive Radio Networks For Transmission Performance, Jiachen Yang, Houbing Song, Chaofan Ma, Jiabao Man, Huifang Xu, Gan Zheng

Publications

The proliferation of mobile devices that support the acceleration of data services (especially smartphones) has resulted in a dramatic increase in mobile traffic. Mobile data also increased exponentially, already exceeding the throughput of the backhaul. To improve spectrum utilization and increase mobile network traffic, in combination with content caching, we study the cooperation between primary and secondary networks via content caching. We consider that the secondary base station assists the primary user by pre-caching some popular primary contents. Thus, the secondary base station can obtain more licensed bandwidth to serve its own user. We mainly focus on the time delay …


Coverage Guided Differential Adversarial Testing Of Deep Learning Systems, Jianmin Guo, Houbing Song, Yue Zhao, Yu Jiang Jan 2020

Coverage Guided Differential Adversarial Testing Of Deep Learning Systems, Jianmin Guo, Houbing Song, Yue Zhao, Yu Jiang

Publications

Deep learning is increasingly applied to safety-critical application domains such as autonomous cars and medical devices. It is of significant importance to ensure their reliability and robustness. In this paper, we propose DLFuzz, the coverage guided differential adversarial testing framework to guide deep learing systems exposing incorrect behaviors. DLFuzz keeps minutely mutating the input to maximize the neuron coverage and the prediction difference between the original input and the mutated input, without manual labeling effort or cross-referencing oracles from other systems with the same functionality. We also design multiple novel strategies for neuron selection to improve the neuron coverage. The …