-
A Versatile Wireless Network Protocol for Spectrum Sharing with Passive Radio Services
Authors:
Ashton Palacios,
Dinah Bronson,
Jon Backman,
Karl Warnick,
Philip Lundrigan
Abstract:
With the proliferation of wideband active services in bands shared with passive receivers for remote sensing and radio astronomy, new methods are needed for deconflicting active and passive users. We have developed a technique for active/passive user coordination that is compatible with essentially any existing wireless communications protocol. The passive user transmits an on-off keying modulated…
▽ More
With the proliferation of wideband active services in bands shared with passive receivers for remote sensing and radio astronomy, new methods are needed for deconflicting active and passive users. We have developed a technique for active/passive user coordination that is compatible with essentially any existing wireless communications protocol. The passive user transmits an on-off keying modulated signal that can be detected by active radios using simple channel power estimates. Using off-the-shelf WiFi and LoRa hardware and on a software defined radio implementation of LTE, we show that Dynamic Passive to Active Spectrum Sharing (DPASS) is effective on a wide range of frequencies and physical layer implementations. We validate the protocol using these three technologies by demonstrating that each device receives a DPASS packet and dynamically takes an appropriate spectrum coordination action, including shutting off transmissions or switching frequencies.
△ Less
Submitted 30 May, 2023;
originally announced May 2023.
-
Computer Vision-based Characterization of Large-scale Jet Flames using a Synthetic Infrared Image Generation Approach
Authors:
Carmina Pérez-Guerrero,
Jorge Francisco Ciprián-Sánchez,
Adriana Palacios,
Gilberto Ochoa-Ruiz,
Miguel Gonzalez-Mendoza,
Vahid Foroughi,
Elsa Pastor,
Gerardo Rodriguez-Hernandez
Abstract:
Among the different kinds of fire accidents that can occur during industrial activities that involve hazardous materials, jet fires are one of the lesser-known types. This is because they are often involved in a process that generates a sequence of other accidents of greater magnitude, known as domino effect. Flame im**ement usually causes domino effects, and jet fires present specific features…
▽ More
Among the different kinds of fire accidents that can occur during industrial activities that involve hazardous materials, jet fires are one of the lesser-known types. This is because they are often involved in a process that generates a sequence of other accidents of greater magnitude, known as domino effect. Flame im**ement usually causes domino effects, and jet fires present specific features that can significantly increase the probability of this happening. These features become relevant from a risk analysis perspective, making their proper characterization a crucial task. Deep Learning approaches have become extensively used for tasks such as jet fire characterization; however, these methods are heavily dependent on the amount of data and the quality of the labels. Data acquisition of jet fires involve expensive experiments, especially so if infrared imagery is used. Therefore, this paper proposes the use of Generative Adversarial Networks to produce plausible infrared images from visible ones, making experiments less expensive and allowing for other potential applications. The results suggest that it is possible to realistically replicate the results for experiments carried out using both visible and infrared cameras. The obtained results are compared with some previous experiments, and it is shown that similar results were obtained.
△ Less
Submitted 5 June, 2022;
originally announced June 2022.
-
Experimental Large-Scale Jet Flames' Geometrical Features Extraction for Risk Management Using Infrared Images and Deep Learning Segmentation Methods
Authors:
Carmina Pérez-Guerrero,
Adriana Palacios,
Gilberto Ochoa-Ruiz,
Christian Mata,
Joaquim Casal,
Miguel Gonzalez-Mendoza,
Luis Eduardo Falcón-Morales
Abstract:
Jet fires are relatively small and have the least severe effects among the diverse fire accidents that can occur in industrial plants; however, they are usually involved in a process known as the domino effect, that leads to more severe events, such as explosions or the initiation of another fire, making the analysis of such fires an important part of risk analysis. This research work explores the…
▽ More
Jet fires are relatively small and have the least severe effects among the diverse fire accidents that can occur in industrial plants; however, they are usually involved in a process known as the domino effect, that leads to more severe events, such as explosions or the initiation of another fire, making the analysis of such fires an important part of risk analysis. This research work explores the application of deep learning models in an alternative approach that uses the semantic segmentation of jet fires flames to extract main geometrical attributes, relevant for fire risk assessments. A comparison is made between traditional image processing methods and some state-of-the-art deep learning models. It is found that the best approach is a deep learning architecture known as UNet, along with its two improvements, Attention UNet and UNet++. The models are then used to segment a group of vertical jet flames of varying pipe outlet diameters to extract their main geometrical characteristics. Attention UNet obtained the best general performance in the approximation of both height and area of the flames, while also showing a statistically significant difference between it and UNet++. UNet obtained the best overall performance for the approximation of the lift-off distances; however, there is not enough data to prove a statistically significant difference between Attention UNet and UNet++. The only instance where UNet++ outperformed the other models, was while obtaining the lift-off distances of the jet flames with 0.01275 m pipe outlet diameter. In general, the explored models show good agreement between the experimental and predicted values for relatively large turbulent propane jet flames, released in sonic and subsonic regimes; thus, making these radiation zones segmentation models, a suitable approach for different jet flame risk management scenarios.
△ Less
Submitted 19 January, 2022;
originally announced January 2022.
-
Comparing Machine Learning based Segmentation Models on Jet Fire Radiation Zones
Authors:
Carmina Pérez-Guerrero,
Adriana Palacios,
Gilberto Ochoa-Ruiz,
Christian Mata,
Miguel Gonzalez-Mendoza,
Luis Eduardo Falcón-Morales
Abstract:
Risk assessment is relevant in any workplace, however there is a degree of unpredictability when dealing with flammable or hazardous materials so that detection of fire accidents by itself may not be enough. An example of this is the im**ement of jet fires, where the heat fluxes of the flame could reach nearby equipment and dramatically increase the probability of a domino effect with catastroph…
▽ More
Risk assessment is relevant in any workplace, however there is a degree of unpredictability when dealing with flammable or hazardous materials so that detection of fire accidents by itself may not be enough. An example of this is the im**ement of jet fires, where the heat fluxes of the flame could reach nearby equipment and dramatically increase the probability of a domino effect with catastrophic results. Because of this, the characterization of such fire accidents is important from a risk management point of view. One such characterization would be the segmentation of different radiation zones within the flame, so this paper presents an exploratory research regarding several traditional computer vision and Deep Learning segmentation approaches to solve this specific problem. A data set of propane jet fires is used to train and evaluate the different approaches and given the difference in the distribution of the zones and background of the images, different loss functions, that seek to alleviate data imbalance, are also explored. Additionally, different metrics are correlated to a manual ranking performed by experts to make an evaluation that closely resembles the expert's criteria. The Hausdorff Distance and Adjusted Random Index were the metrics with the highest correlation and the best results were obtained from the UNet architecture with a Weighted Cross-Entropy Loss. These results can be used in future research to extract more geometric information from the segmentation masks or could even be implemented on other types of fire accidents.
△ Less
Submitted 1 November, 2021; v1 submitted 7 July, 2021;
originally announced July 2021.
-
Comparing emotional states induced by 360$^{\circ}$ videos via head-mounted display and computer screen
Authors:
Jan-Niklas Voigt-Antons,
Eero Lehtonen,
Andres Pinilla Palacios,
Danish Ali,
Tanja Kojić,
Sebastian Möller
Abstract:
In recent years 360$^{\circ}$ videos have been becoming more popular. For traditional media presentations, e.g., on a computer screen, a wide range of assessment methods are available. Different constructs, such as perceived quality or the induced emotional state of viewers, can be reliably assessed by subjective scales. Many of the subjective methods have only been validated using stimuli present…
▽ More
In recent years 360$^{\circ}$ videos have been becoming more popular. For traditional media presentations, e.g., on a computer screen, a wide range of assessment methods are available. Different constructs, such as perceived quality or the induced emotional state of viewers, can be reliably assessed by subjective scales. Many of the subjective methods have only been validated using stimuli presented on a computer screen. This paper is using 360$^{\circ}$ videos to induce varying emotional states. Videos were presented 1) via a head-mounted display (HMD) and 2) via a traditional computer screen. Furthermore, participants were asked to rate their emotional state 1) in retrospect on the self-assessment manikin scale and 2) continuously on a 2-dimensional arousal-valence plane. In a repeated measures design, all participants (N = 18) used both presentation systems and both rating systems. Results indicate that there is a statistically significant difference in induced presence due to the presentation system. Furthermore, there was no statistically significant difference in ratings gathered with the two presentation systems. Finally, it was found that for arousal measures, a statistically significant difference could be found for the different rating methods, potentially indicating an underestimation of arousal ratings gathered in retrospect for screen presentation. In the future, rating methods such as a 2-dimensional arousal-valence plane could offer the advantage of enabling a reliable measurement of emotional states while being more embedded in the experience itself, enabling a more precise capturing of the emotional states.
△ Less
Submitted 3 April, 2020;
originally announced April 2020.
-
Bounded Symbolic Execution for Runtime Error Detection of Erlang Programs
Authors:
Emanuele De Angelis,
Fabio Fioravanti,
Adrián Palacios,
Alberto Pettorossi,
Maurizio Proietti
Abstract:
Dynamically typed languages, like Erlang, allow developers to quickly write programs without explicitly providing any type information on expressions or function definitions. However, this feature makes those languages less reliable than statically typed languages, where many runtime errors can be detected at compile time. In this paper, we present a preliminary work on a tool that, by using the w…
▽ More
Dynamically typed languages, like Erlang, allow developers to quickly write programs without explicitly providing any type information on expressions or function definitions. However, this feature makes those languages less reliable than statically typed languages, where many runtime errors can be detected at compile time. In this paper, we present a preliminary work on a tool that, by using the well-known techniques of metaprogramming and symbolic execution, can be used to perform bounded verification of Erlang programs. In particular, by using Constraint Logic Programming, we develop an interpreter that, given an Erlang program and a symbolic input for that program, returns answer constraints that represent sets of concrete data for which the Erlang program generates a runtime error.
△ Less
Submitted 13 September, 2018;
originally announced September 2018.
-
A Theory of Reversibility for Erlang
Authors:
Ivan Lanese,
Naoki Nishida,
Adrián Palacios,
Germán Vidal
Abstract:
In a reversible language, any forward computation can be undone by a finite sequence of backward steps. Reversible computing has been studied in the context of different programming languages and formalisms, where it has been used for testing and verification, among others. In this paper, we consider a subset of Erlang, a functional and concurrent programming language based on the actor model. We…
▽ More
In a reversible language, any forward computation can be undone by a finite sequence of backward steps. Reversible computing has been studied in the context of different programming languages and formalisms, where it has been used for testing and verification, among others. In this paper, we consider a subset of Erlang, a functional and concurrent programming language based on the actor model. We present a formal semantics for reversible computation in this language and prove its main properties, including its causal consistency. We also build on top of it a rollback operator that can be used to undo the actions of a process up to a given checkpoint.
△ Less
Submitted 19 June, 2018;
originally announced June 2018.
-
Reversible Computation in Term Rewriting
Authors:
Naoki Nishida,
Adrián Palacios,
Germán Vidal
Abstract:
Essentially, in a reversible programming language, for each forward computation from state $S$ to state $S'$, there exists a constructive method to go backwards from state $S'$ to state $S$. Besides its theoretical interest, reversible computation is a fundamental concept which is relevant in many different areas like cellular automata, bidirectional program transformation, or quantum computing, t…
▽ More
Essentially, in a reversible programming language, for each forward computation from state $S$ to state $S'$, there exists a constructive method to go backwards from state $S'$ to state $S$. Besides its theoretical interest, reversible computation is a fundamental concept which is relevant in many different areas like cellular automata, bidirectional program transformation, or quantum computing, to name a few.
In this work, we focus on term rewriting, a computation model that underlies most rule-based programming languages. In general, term rewriting is not reversible, even for injective functions; namely, given a rewrite step $t_1 \rightarrow t_2$, we do not always have a decidable method to get $t_1$ from $t_2$. Here, we introduce a conservative extension of term rewriting that becomes reversible. Furthermore, we also define two transformations, injectivization and inversion, to make a rewrite system reversible using standard term rewriting. We illustrate the usefulness of our transformations in the context of bidirectional program transformation.
△ Less
Submitted 8 October, 2017;
originally announced October 2017.
-
Towards Reversible Computation in Erlang
Authors:
Naoki Nishida,
Adrián Palacios,
Germán Vidal
Abstract:
In a reversible language, any forward computation can be undone by a finite sequence of backward steps. Reversible computing has been studied in the context of different programming languages and formalisms, where it has been used for debugging and for enforcing fault-tolerance, among others. In this paper, we consider a subset of Erlang, a concurrent language based on the actor model. We formally…
▽ More
In a reversible language, any forward computation can be undone by a finite sequence of backward steps. Reversible computing has been studied in the context of different programming languages and formalisms, where it has been used for debugging and for enforcing fault-tolerance, among others. In this paper, we consider a subset of Erlang, a concurrent language based on the actor model. We formally introduce a reversible semantics for this language. To the best of our knowledge, this is the first attempt to define a reversible semantics for Erlang.
△ Less
Submitted 19 August, 2016;
originally announced August 2016.