-
Enhancing Adaptive Mixed-Criticality Scheduling with Deep Reinforcement Learning
Authors:
Bruno Mendes,
Pedro F. Souto,
Pedro C. Diniz
Abstract:
Adaptive Mixed-Criticality (AMC) is a fixed-priority preemptive scheduling algorithm for mixed-criticality hard real-time systems. It dominates many other scheduling algorithms for mixed-criticality systems, but does so at the cost of occasionally dropping jobs of less important/critical tasks, when low-priority jobs overrun their time budgets. In this paper we enhance AMC with a deep reinforcemen…
▽ More
Adaptive Mixed-Criticality (AMC) is a fixed-priority preemptive scheduling algorithm for mixed-criticality hard real-time systems. It dominates many other scheduling algorithms for mixed-criticality systems, but does so at the cost of occasionally dropping jobs of less important/critical tasks, when low-priority jobs overrun their time budgets. In this paper we enhance AMC with a deep reinforcement learning (DRL) approach based on a Deep-Q Network. The DRL agent is trained off-line, and at run-time adjusts the low-criticality budgets of tasks to avoid budget overruns, while ensuring that no job misses its deadline if it does not overrun its budget. We have implemented and evaluated this approach by simulating realistic workloads from the automotive domain. The results show that the agent is able to reduce budget overruns by at least up to 50%, even when the budget of each task is chosen based on sampling the distribution of its execution time. To the best of our knowledge, this is the first use of DRL in AMC reported in the literature.
△ Less
Submitted 1 November, 2024;
originally announced November 2024.
-
Hyperspectral acquisition with ScanImage at the single pixel level: Application to time domain coherent Raman imaging
Authors:
Samuel Metais,
Sisira Suresh,
Paulo Diniz,
Siddarth Shivkumar,
Randy Bartels,
Nicolas Forget,
Hervé Rigneault
Abstract:
We present a comprehensive strategy and its practical implementation using the commercial ScanImage software platform to perform hyperspectral point scanning microscopy when a fast time dependent signal varies at each pixel level. In the proposed acquisition scheme the scan along the X axis is slowed down while the data acquisition is maintained at high pace to enable the rapid acquisition of the…
▽ More
We present a comprehensive strategy and its practical implementation using the commercial ScanImage software platform to perform hyperspectral point scanning microscopy when a fast time dependent signal varies at each pixel level. In the proposed acquisition scheme the scan along the X axis is slowed down while the data acquisition is maintained at high pace to enable the rapid acquisition of the time dependent signal at each pixel level. The ScanImage generated raw 2D images have a very asymmetric aspect ratio between X and Y, the X axis encoding both for space and time acquisition. The results are X axis macro-pixel where the associated time depend signal is sampled therefore providing an hyperspectral information. We exemplified the proposed hyperspectral scheme in the context of time domain coherent Raman imaging where a pump pulse impulsively excites molecular vibrations that are subsequently probed by a time delayed probe pulse. In this case the time dependent signal is a fast acousto-optics delay line that can scan a delay of 4.5ps in 25$μ$s, at each pixel level. We this acquisition scheme we demonstrate ultra-fast hyperspectral vibrational imaging in the low frequency range [10$cm^{-1}$, 150 $cm^{-1}$] over a 500 $μm$ field of view in 14ms (7 frames/s). The proposed acquisition scheme can be readily extended to other applications requiring to acquired a fast evolving signal at each pixel level.
△ Less
Submitted 7 February, 2024;
originally announced February 2024.
-
Synthetic Waveform Generation for Satellite, HAPS, and 5G Base Station Positioning Reference Signal Using QuaDRiGa
Authors:
Hongzhao Zheng,
Mohamed Atia,
Halim Yanikomeroglu,
Paulo S. R. Diniz
Abstract:
Waveform generation is essential for studying signal propagation and channel characteristics, particularly for objects that are conceptualized but still need to be operational. We introduce a comprehensive guide on creating synthetic signals using channel and delay coefficients derived from the Quasi-Deterministic Radio Channel Generator (QuaDRiGa), which is recognized as a 3GPP-3D and 3GPP 38.901…
▽ More
Waveform generation is essential for studying signal propagation and channel characteristics, particularly for objects that are conceptualized but still need to be operational. We introduce a comprehensive guide on creating synthetic signals using channel and delay coefficients derived from the Quasi-Deterministic Radio Channel Generator (QuaDRiGa), which is recognized as a 3GPP-3D and 3GPP 38.901 reference implementation. The effectiveness of the proposed synthetic waveform generation method is validated through accurate estimation of code delay and Doppler shift. This validation is achieved using both the parallel code phase search technique and the conventional tracking method applied to satellites. As the method of integrating channel and delay coefficients to create synthetic waveforms is the same for satellite, HAPS, and gNB PRS, validating this method on synthetic satellite signals could potentially be extended to HAPS and gNB PRS as well. This study could significantly contribute to the field of heterogeneous navigation systems.
△ Less
Submitted 24 January, 2024;
originally announced January 2024.
-
Experimental apparatus for non-contact resistivity measurements of the rock core plug based on magnetic induction
Authors:
Pablo Diniz Batista,
Leduc Hermeto de Almeida Fauth,
Bernardo Coutinho Camilo dos Santos,
Willian Andrighetto Trevizan,
Maury Duarte Correia,
Jorlandio Francisco Felix
Abstract:
A new apparatus has been developed to measure the conductivity of rock samples. The probe, which consists of multi-coil transmitters and receivers doesn't require physical contact with the samples. The measurement is based on the induction principle. The measurement system is validated by using saline solutions and water-saturated sands of known conductivity. This work presents details of the deve…
▽ More
A new apparatus has been developed to measure the conductivity of rock samples. The probe, which consists of multi-coil transmitters and receivers doesn't require physical contact with the samples. The measurement is based on the induction principle. The measurement system is validated by using saline solutions and water-saturated sands of known conductivity. This work presents details of the development of a system of magnetic resistivity measurements by magnetic induction for petrophysical applications. The first application consists of measuring the resistivity of the core plug which is 0.038 m in diameter. Currently the system is operating properly at a frequency of 50 kHz with a current of up to 500 mA at 20 °C. During the study two types of samples were investigated: aqueous solutions with conductivities between 1 to 100 mS/cm and rocks. Several tests were carried out with the objective of investigating the performance of the instrument, such as the experiment to obtain sensitivity for the measurement system as a function of the current applied to the transmitter coil.
△ Less
Submitted 3 December, 2023;
originally announced December 2023.
-
Adversarial training with informed data selection
Authors:
Marcele O. K. Mendonça,
Javier Maroto,
Pascal Frossard,
Paulo S. R. Diniz
Abstract:
With the increasing amount of available data and advances in computing capabilities, deep neural networks (DNNs) have been successfully employed to solve challenging tasks in various areas, including healthcare, climate, and finance. Nevertheless, state-of-the-art DNNs are susceptible to quasi-imperceptible perturbed versions of the original images -- adversarial examples. These perturbations of t…
▽ More
With the increasing amount of available data and advances in computing capabilities, deep neural networks (DNNs) have been successfully employed to solve challenging tasks in various areas, including healthcare, climate, and finance. Nevertheless, state-of-the-art DNNs are susceptible to quasi-imperceptible perturbed versions of the original images -- adversarial examples. These perturbations of the network input can lead to disastrous implications in critical areas where wrong decisions can directly affect human lives. Adversarial training is the most efficient solution to defend the network against these malicious attacks. However, adversarial trained networks generally come with lower clean accuracy and higher computational complexity. This work proposes a data selection (DS) strategy to be applied in the mini-batch training. Based on the cross-entropy loss, the most relevant samples in the batch are selected to update the model parameters in the backpropagation. The simulation results show that a good compromise can be obtained regarding robustness and standard accuracy, whereas the computational complexity of the backpropagation pass is reduced.
△ Less
Submitted 7 January, 2023;
originally announced January 2023.
-
Do Proportionate Algorithms Exploit Sparsity?
Authors:
Markus V. S. Lima,
Gabriel S. Chaves,
Tadeu N. Ferreira,
Paulo S. R. Diniz
Abstract:
Adaptive filters exploiting sparsity have been a very active research field, among which the algorithms that follow the "proportional-update principle", the so-called proportionate-type algorithms, are very popular. Indeed, there are hundreds of works on proportionate-type algorithms and, therefore, their advantages are widely known. This paper addresses the unexplored drawbacks and limitations of…
▽ More
Adaptive filters exploiting sparsity have been a very active research field, among which the algorithms that follow the "proportional-update principle", the so-called proportionate-type algorithms, are very popular. Indeed, there are hundreds of works on proportionate-type algorithms and, therefore, their advantages are widely known. This paper addresses the unexplored drawbacks and limitations of using proportional updates and their practical impacts. Our findings include the theoretical justification for the poor performance of these algorithms in several sparse scenarios, and also when dealing with non-stationary and compressible systems. Simulation results corroborating the theory are presented.
△ Less
Submitted 15 August, 2021;
originally announced August 2021.
-
Intersymbol and Intercarrier Interference in OFDM Systems: Unified Formulation and Analysis
Authors:
Fernando Cruz-Roldán,
Wallace A. Martins,
Fausto García G.,
Marc Moonen,
Paulo S. R. Diniz
Abstract:
A new unified formulation for seven different orthogonal frequency-division multiplexing (OFDM) systems is presented. The proposed formulation relies on six parameters and encompasses conventional OFDM systems, with windowing in the transmitter and/or in the receiver, and also with a cyclic prefix (CP) or both a CP and cyclic suffix (CS). A new equivalent channel matrix that is useful for calculat…
▽ More
A new unified formulation for seven different orthogonal frequency-division multiplexing (OFDM) systems is presented. The proposed formulation relies on six parameters and encompasses conventional OFDM systems, with windowing in the transmitter and/or in the receiver, and also with a cyclic prefix (CP) or both a CP and cyclic suffix (CS). A new equivalent channel matrix that is useful for calculating both the received signal and the intersymbol and intercarrier interference power is defined and characterized. Unlike previous works, this new channel matrix formulates the channel convolution with no restrictions on the length of the channel impulse response. Moreover, it includes the overlap-and-add procedure performed in the transmitter of windowed OFDM systems. Furthermore, new theoretical expressions for the intersymbol and intercarrier interference and also for the signal-to-interference-plus-noise ratio are derived.
△ Less
Submitted 18 January, 2024; v1 submitted 8 December, 2020;
originally announced December 2020.
-
Efficiently Finding Higher-Order Mutants
Authors:
Chu-Pan Wong,
Jens Meinicke,
Leo Chen,
João P. Diniz,
Christian Kästner,
Eduardo Figueiredo
Abstract:
Higher-order mutation has the potential for improving major drawbacks of traditional first-order mutation, such as by simulating more realistic faults or improving test optimization techniques. Despite interest in studying promising higher-order mutants, such mutants are difficult to find due to the exponential search space of mutation combinations. State-of-the-art approaches rely on genetic sear…
▽ More
Higher-order mutation has the potential for improving major drawbacks of traditional first-order mutation, such as by simulating more realistic faults or improving test optimization techniques. Despite interest in studying promising higher-order mutants, such mutants are difficult to find due to the exponential search space of mutation combinations. State-of-the-art approaches rely on genetic search, which is often incomplete and expensive due to its stochastic nature. First, we propose a novel way of finding a complete set of higher-order mutants by using variational execution, a technique that can, in many cases, explore large search spaces completely and often efficiently. Second, we use the identified complete set of higher-order mutants to study their characteristics. Finally, we use the identified characteristics to design and evaluate a new search strategy, independent of variational execution, that is highly effective at finding higher-order mutants even in large code bases.
△ Less
Submitted 4 April, 2020;
originally announced April 2020.
-
Ground state and collective excitations of a dipolar Bose-Einstein condensate in a bubble trap
Authors:
Pedro de Castro Diniz,
Eduardo Amâncio Barbosa Oliveira,
Aristeu Rosendo Pontes Lima,
Emanuel Alves de Lima Henn
Abstract:
We consider the ground state and the low-lying excitations of dipolar Bose-Einstein condensates in a bubble trap, i.e., a shell-shaped spherically symmetric confining potential. By means of an appropriate Gaussian ansatz, we determine the ground-state properties in the case where the particles interact by means of both the isotropic and short-range contact and the anisotropic and long-range dipole…
▽ More
We consider the ground state and the low-lying excitations of dipolar Bose-Einstein condensates in a bubble trap, i.e., a shell-shaped spherically symmetric confining potential. By means of an appropriate Gaussian ansatz, we determine the ground-state properties in the case where the particles interact by means of both the isotropic and short-range contact and the anisotropic and long-range dipole-dipole potential in the thin-shell limit. Moreover, with the ground state at hand, we employ the sum-rule approach to study the monopole, the two-, the three-dimensional quadrupole as well as the dipole modes. We find situations in which neither the virial nor Kohn's theorem can be applied. On top of that, we demonstrate the existence of anisotropic particle density profiles, which are absent in the case with repulsive contact interaction only. These significant deviations from what one would typically expect are then traced back to both the anisotropic nature of the dipolar interaction and the novel topology introduced by the bubble trap.
△ Less
Submitted 8 November, 2019;
originally announced November 2019.
-
Intersymbol and Intercarrier Interference in OFDM Transmissions through Highly Dispersive Channels
Authors:
Wallace Alves Martins,
Fernando Cruz-Roldán,
Marc Moonen,
Paulo Sergio Ramirez Diniz
Abstract:
This work quantifies, for the first time, intersymbol and intercarrier interferences induced by very dispersive channels in OFDM systems. The resulting achievable data rate for \wam{suboptimal} OFDM transmissions is derived based on the computation of signal-to-interference-plus-noise ratio for arbitrary length finite duration channel impulse responses. Simulation results point to significant diff…
▽ More
This work quantifies, for the first time, intersymbol and intercarrier interferences induced by very dispersive channels in OFDM systems. The resulting achievable data rate for \wam{suboptimal} OFDM transmissions is derived based on the computation of signal-to-interference-plus-noise ratio for arbitrary length finite duration channel impulse responses. Simulation results point to significant differences between data rates obtained via conventional formulations, for which interferences are supposed to be limited to two or three blocks, versus the data rates considering the actual channel dispersion.
△ Less
Submitted 23 January, 2019;
originally announced January 2019.
-
Web of Science: showing a bug today that can mislead scientific research output's prediction
Authors:
Pablo Diniz Batista,
Igor Marques-Carneiro,
Leduc Hermeto de Almeida Fauth,
Marcia de Oliveira Reis Brandão
Abstract:
As it happened in all domains of human activities, economic issues and the increase of people working in scientific research have altered the way scientific production is evaluated so as the objectives of performing the evaluation. Introduced in 2005 by J. E. Hirsch as an indicator able to measure individual scientific output not only in terms of quantity, but also in terms of quality, h index has…
▽ More
As it happened in all domains of human activities, economic issues and the increase of people working in scientific research have altered the way scientific production is evaluated so as the objectives of performing the evaluation. Introduced in 2005 by J. E. Hirsch as an indicator able to measure individual scientific output not only in terms of quantity, but also in terms of quality, h index has spread throughout the world. In 2007, Hirsch proposed its adoption also as the best to predict future scientific achievement and, consequently, a useful guide for investments in research and for institutions when hiring members for their scientific staff. Since then, several authors have also been using the Thomson ISI Web of Science database to develop their proposals for evaluating research output. Here, using a software we have developed, we analyse more than 100 thousand articles and show that a subtle flaw in Web of Science can inflate the results of info collected, therefore compromising the exactness and, consequently, the effectiveness of Hirsch's proposal and its variations.
△ Less
Submitted 6 December, 2016; v1 submitted 4 November, 2016;
originally announced November 2016.
-
RedThreads: An Interface for Application-level Fault Detection/Correction through Adaptive Redundant Multithreading
Authors:
Saurabh Hukerikar,
Keita Teranishi,
Pedro C. Diniz,
Robert F. Lucas
Abstract:
In the presence of accelerated fault rates, which are projected to be the norm on future exascale systems, it will become increasingly difficult for high-performance computing (HPC) applications to accomplish useful computation. Due to the fault-oblivious nature of current HPC programming paradigms and execution environments, HPC applications are insufficiently equipped to deal with errors. We bel…
▽ More
In the presence of accelerated fault rates, which are projected to be the norm on future exascale systems, it will become increasingly difficult for high-performance computing (HPC) applications to accomplish useful computation. Due to the fault-oblivious nature of current HPC programming paradigms and execution environments, HPC applications are insufficiently equipped to deal with errors. We believe that HPC applications should be enabled with capabilities to actively search for and correct errors in their computations. The redundant multithreading (RMT) approach offers lightweight replicated execution streams of program instructions within the context of a single application process. However, the use of complete redundancy incurs significant overhead to the application performance.
In this paper we present RedThreads, an interface that provides application-level fault detection and correction based on RMT, but applies the thread-level redundancy adaptively. We describe the RedThreads syntax and semantics, and the supporting compiler infrastructure and runtime system. Our approach enables application programmers to scope the extent of redundant computation. Additionally, the runtime system permits the use of RMT to be dynamically enabled, or disabled, based on the resiliency needs of the application and the state of the system. Our experimental results demonstrate how adaptive RMT exploits programmer insight and runtime inference to dynamically navigate the trade-off space between an application's resilience coverage and the associated performance overhead of redundant computation.
△ Less
Submitted 17 January, 2017; v1 submitted 6 October, 2016;
originally announced October 2016.
-
An embedded measurement system for electrical characterization of EGFET as pH sensor
Authors:
Pablo Diniz Batista
Abstract:
This work presents the development of an electronic system for the electrical characterization of pH sensors based on the extended gate field effect transistor (EGFET). We designed an electronic circuit with a microcontroller (PIC15F14K50) as the main component in order to provide two programmable outputs voltage as well as circuits to measure electric current and voltages. The instrument performa…
▽ More
This work presents the development of an electronic system for the electrical characterization of pH sensors based on the extended gate field effect transistor (EGFET). We designed an electronic circuit with a microcontroller (PIC15F14K50) as the main component in order to provide two programmable outputs voltage as well as circuits to measure electric current and voltages. The instrument performance analyze was carried out using a glass electrode as a sensitive membrane for investigating the EGFET operation as pH sensor. The results show that the system is an alternative to commercial equipment for the electrical characterization of sensors based on field effect devices. In addition, some of the key features expected of this electronic module are: low cost, flexibility, portability and communication with a personal computer using a USB port.
△ Less
Submitted 14 October, 2013; v1 submitted 13 March, 2013;
originally announced March 2013.
-
Set-Membership Adaptive Algorithms based on Time-Varying Error Bounds for Interference Suppression
Authors:
Rodrigo C. de Lamare,
Paulo S. R. Diniz
Abstract:
This work presents set-membership adaptive algorithms based on time-varying error bounds for CDMA interference suppression. We introduce a modified family of set-membership adaptive algorithms for parameter estimation with time-varying error bounds. The algorithms considered include modified versions of the set-membership normalized least mean squares (SM-NLMS), the affine projection (SM-AP) and t…
▽ More
This work presents set-membership adaptive algorithms based on time-varying error bounds for CDMA interference suppression. We introduce a modified family of set-membership adaptive algorithms for parameter estimation with time-varying error bounds. The algorithms considered include modified versions of the set-membership normalized least mean squares (SM-NLMS), the affine projection (SM-AP) and the bounding ellipsoidal adaptive constrained (BEACON) recursive least-squares technique. The important issue of error bound specification is addressed in a new framework that takes into account parameter estimation dependency, multi-access and inter-symbol interference for DS-CDMA communications. An algorithm for tracking and estimating the interference power is proposed and analyzed. This algorithm is then incorporated into the proposed time-varying error bound mechanisms. Computer simulations show that the proposed algorithms are capable of outperforming previously reported techniques with a significantly lower number of parameter updates and a reduced risk of overbounding or underbounding.
△ Less
Submitted 1 January, 2013;
originally announced January 2013.
-
Blind Adaptive Interference Suppression Based on Set-Membership Constrained Constant-Modulus Algorithms with Time-Varying Bounds
Authors:
Rodrigo C. de Lamare,
Paulo S. R. Diniz
Abstract:
This work presents blind constrained constant modulus (CCM) adaptive algorithms based on the set-membership filtering (SMF) concept and incorporates dynamic bounds {for interference suppression} applications. We develop stochastic gradient and recursive least squares type algorithms based on the CCM design criterion in accordance with the specifications of the SMF concept. We also propose a blind…
▽ More
This work presents blind constrained constant modulus (CCM) adaptive algorithms based on the set-membership filtering (SMF) concept and incorporates dynamic bounds {for interference suppression} applications. We develop stochastic gradient and recursive least squares type algorithms based on the CCM design criterion in accordance with the specifications of the SMF concept. We also propose a blind framework that includes channel and amplitude estimators that take into account parameter estimation dependency, multiple access interference (MAI) and inter-symbol interference (ISI) to address the important issue of bound specification in multiuser communications. A convergence and tracking analysis of the proposed algorithms is carried out along with the development of analytical expressions to predict their performance. Simulations for a number of scenarios of interest with a DS-CDMA system show that the proposed algorithms outperform previously reported techniques with a smaller number of parameter updates and a reduced risk of overbounding or underbounding.
△ Less
Submitted 29 December, 2012;
originally announced December 2012.
-
A Register Allocation Algorithm in the Presence of Scalar Replacement for Fine-Grain Configurable Architectures
Authors:
Nastaran Baradaran,
Pedro C. Diniz
Abstract:
The aggressive application of scalar replacement to array references substantially reduces the number of memory operations at the expense of a possibly very large number of registers. In this paper we describe a register allocation algorithm that assigns registers to scalar replaced array references along the critical paths of a computation, in many cases exploiting the opportunity for concurren…
▽ More
The aggressive application of scalar replacement to array references substantially reduces the number of memory operations at the expense of a possibly very large number of registers. In this paper we describe a register allocation algorithm that assigns registers to scalar replaced array references along the critical paths of a computation, in many cases exploiting the opportunity for concurrent memory accesses. Experimental results, for a set of image/signal processing code kernels, reveal that the proposed algorithm leads to a substantial reduction of the number of execution cycles for the corresponding hardware implementation on a contemporary Field-Programmable-Gate-Array (FPGA) when compared to other greedy allocation algorithms, in some cases, using even fewer number of registers.
△ Less
Submitted 25 October, 2007;
originally announced October 2007.
-
Universal Behavior of a Research Productivity Index
Authors:
Pablo Diniz Batista,
Monica Guimaraes Campiteli,
Osame Kinouchi,
Alexandre Souto Martinez
Abstract:
Indexes that account for good representations of an individual's productivity are theme of major importance for the evaluation and comparison among researchers. Recently, a new index was proposed combining productivity with impact such that a researcher with index h has h papers with at least h citations. A drawback of this is the sensitivity to the research field. Here we propose a new index (h…
▽ More
Indexes that account for good representations of an individual's productivity are theme of major importance for the evaluation and comparison among researchers. Recently, a new index was proposed combining productivity with impact such that a researcher with index h has h papers with at least h citations. A drawback of this is the sensitivity to the research field. Here we propose a new index (hI) that accounts for the coauthorship effect. The statistics of h and hI are presented for Brazilian research. We have found a universal curve for different disciplines, allowing a comparison among scientists of different research areas.
△ Less
Submitted 14 October, 2005;
originally announced October 2005.
