Racing to hardware-validated simulation

Processor simulators rely on detailed timing models of the processor pipeline to evaluate performance. The diversity in real-world processor designs mandates building flexible simulators that expose parts of the underlying model to the user in the form of configurable parameters. Consequently, the accuracy of modeling a real processor relies on both the accuracy of the pipeline model itself, and the accuracy of adjusting the configuration parameters according to the modeled processor. Unfortunately, processor vendors publicly disclose only a subset of their design decisions, raising the probability of introducing specification inaccuracies when modeling these processors. Inaccurately tuning model parameters deviates the simulated processor from the actual one. In the worst case, using improper parameters may lead to imbalanced pipeline models compromising the simulation output. Therefore, simulation models should be hardware-validated before using them for performance evaluation. As processors increase in complexity and diversity, validating a simulator model against real hardware becomes increasingly more challenging and time-consuming. In this work, we propose a methodology for validating simulation models against real hardware. We create a framework that relies on micro-benchmarks to collect performance statistics on real hardware, and machine learning-based algorithms to fine-tune the unknown parameters based on the accumulated statistics. We overhaul the Sniper simulator to support the ARM AArch64 instruction-set architecture (ISA), and introduce two new timing models for ARM-based in-order and out-of-order cores. Using our proposed simulator validation framework, we tune the in-order and out-of-order models to match the performance of a real-world implementation of the Cortex-A53 and Cortex-A72 cores with an average error of 7% and 15%, respectively, across a set of SPEC CPU2017 benchmarks

Low cost multimedia sensor networks for obtaining lighting maps

In many applications, video streams, images, audio streams and scalar data are commonly used. In these fields, one of the most important magnitudes to be collected and controlled is the light intensity in different spots. So, it is extremely important to be able to deploy a network of light sensors which are usually integrated in a more general Wireless Multimedia Sensor Network (WMSN). Light control systems have increasing applications in many places like streets, roads, buildings, theaters, etc. In these situations having a dense grid of sensing spots significantly enhances measuring precision and control performance. When a great number of measuring spots are required, the cost of the sensor becomes a very important concern. In this paper the use of very low cost light sensors is proposed and it is shown how to overcome its limited performance by directionally correcting its results. A correction factor is derived for several lighting conditions. The proposed method is firstly applied to measure light in a single spot. Additionally a prototype of a sensor network is employed to draw the lighting map of a surface. Finally the sensor grid is employed to estimate the position and power of a set of light sources in a certain region of interest (street, building,…). These three applications have shown that using low cost sensors instead of luxmeters is a feasible approach to estimate illuminance levels in a room and to derive light sources maps. The obtained error measuring spots illuminance or estimating lamp emittances are quite acceptable in many practical applications.Telefonica Chair "Intelligence in Networks" of the University of Seville (Spain

On a Variational Method for Stiff Differential Equations Arising from Chemistry Kinetics

For the approximation of stiff systems of ODEs arising from chemistry kinetics, implicit integrators emerge as good candidates. This paper proposes a variational approach for this type of systems. In addition to introducing the technique, we present its most basic properties and test its numerical performance through some experiments. The main advantage with respect to other implicit methods is that our approach has a global convergence. The other approaches need to ensure convergence of the iterative scheme used to approximate the associated nonlinear equations that appear for the implicitness. Notice that these iterative methods, for these nonlinear equations, have bounded basins of attraction

Microstrip notch filters based on open interconnected split ring resonators (OISRRs)

An open interconnected split ring resonator (OISRR) is proposed for use in compact microstrip notch filters. This OISRR behaves as a shunt series L  C resonant circuit and allows a parallel connection with a microstrip line. This cell presents half the resonant frequency of the split ring resonator (SRR) and, therefore, is electrically very small. The measured results show a 3 dB stop-band bandwidth lower than 2 % with more than 10 dB insertion loss in the stop band. This OISRR can be useful in microwave communication systemsThis work was supported by of Spain and by FEDER (TEC2010-21520-C04-04/TCM)

Compact double notch coplanar and microstrip bandstop filters using metamaterial—inspired open ring resonators

Compact double notch coplanar and microstrip bandstop filters are described. They are based on a version of the open interconnected split ring resonator (OISRR) integrated in microstrip or coplanar waveguides. The OISRR introduces an RLC resonator connected in parallel with the propagating microstrip line. Therefore, this resonator can be modeled as a shunt circuit to ground, with the R, L and C elements connected in series. The consequence for the frequency response of the device is a notch band at the resonant frequency of the RLC shunt circuit. The number of notch bands can be controlled by adding more OISRRs, since each pair of rings can be modeled as a shunt circuit and therefore introduces an additional notch band. In this paper, we demonstrate that these additional rings can be introduced in a concentric way in the same cell, so the size of the device does not increase and a compact multi-notch bandstop response is achieved, with the same number of notch bands as pairs of concentric rings, plus an additional spurious band at a higher frequency.The authors gratefully acknowledge financial support from Agencia Estatal de Investigación (AEI) of Spain (grant no.: PID2019-103982RB-C42/AEI/10.13039/ 501100011033)

On new strategies to control the accuracy of WENO algorithms close to discontinuities

This paper is devoted to the construction and analysis of new nonlinear optimal weights for weighted ENO (WENO) interpolation capable of raising the order of accuracy close to discontinuities. The new nonlinear optimal weights are constructed using a strategy inspired by the original WENO algorithm, and they work very well for corner or jump singularities, leading to optimal theoretical accuracy. This is the first part of a series of two papers. In this first part we analyze the performance of the new algorithms proposed for univariate function approximation in the point values (interpolation problem). In the second part, we will extend the analysis to univariate function approximation in the cell averages (reconstruction problem). Our aim is twofold: to raise the order of accuracy of the WENO type interpolation schemes both near discontinuities and in the interval which contains the singularity. The first problem can be solved using the new nonlinear optimal weights, but the second one requires a new strategy that locates the position of the singularity inside the cell in order to attain adaption. This new strategy is inspired by the ENO-SR schemes proposed by Harten [J. Comput. Phys., 83 (1989), pp. 148--184]. Thus, we will introduce two different algorithms in the point values. The first one can deal with corner singularities and jump discontinuities for intervals not containing the singularity. The second algorithm can also deal with intervals containing corner singularities, as they can be detected from the point values, but jump discontinuities cannot, as the information of their position is lost during the discretization process. As mentioned before, the second part of this work will be devoted to the cell averages and, in this context, it will be possible to work with jump discontinuities as well.The work of the authors was supported by the Programa de Apoyo a la Investigatión de la Fundación Séneca-Agencia de Ciencia y Tecnología de la Región de Murcia 20928/PI/18, by the national research project MTM2015-64382-P (MINECO/FEDER), and by National Science Foundation grant DMS-1719410

Nonlinear model predictive control for thermal management in plug-in hybrid electric vehicles

© 2016 IEEE. Personal use of this material is permitted. Permission from IEEE must be obtained for all other uses, in any current or future media, including reprinting/republishing this material for advertising or promotional purposes, creating new collective works, for resale or redistribution to servers or lists, or reuse of any copyrighted component of this work in other works.A nonlinear model predictive control (NMPC) for the thermal management (TM) of Plug-in Hybrid Electric Vehicles (PHEVs) is presented. TM in PHEVs is crucial to ensure good components performance and durability in all possible climate scenarios. A drawback of accurate TM solutions is the higher electrical consumption due to the increasing number of low voltage (LV) actuators used in the cooling circuits. Hence, more complex control strategies are needed for minimizing components thermal stress and at the same time electrical consumption. In this context, NMPC arises as a powerful method for achieving multiple objectives in Multiple input- Multiple output systems. This paper proposes an NMPC for the TM of the High Voltage (HV) battery and the power electronics (PE) cooling circuit in a PHEV. It distinguishes itself from the previously NMPC reported methods in the automotive sector by the complexity of its controlled plant which is highly nonlinear and controlled by numerous variables. The implemented model of the plant, which is based on experimental data and multi- domain physical equations, has been validated using six different driving cycles logged in a real vehicle, obtaining a maximum error, in comparison with the real temperatures, of 2C. For one of the six cycles, an NMPC software-in-the loop (SIL) is presented, where the models inside the controller and for the controlled plant are the same. This simulation is compared to the finite-state machine-based strategy performed in the real vehicle. The results show that NMPC keeps the battery at healthier temperatures and in addition reduces the cooling electrical consumption by more than 5%. In terms of the objective function, an accumulated and weighted sum of the two goals, this improvement amounts 30%. Finally, the online SIL presented in this paper, suggests that the used optimizer is fast enough for a future implementation in the vehicle.Accepted versio

Esterification of Free Fatty Acids with Glycerol within the Biodiesel Production Framework

Companies in the field of the collection and treatment of waste cooking oils (WCO) for subsequent biodiesel production usually have to cope with high acidity oils, which cannot be directly transformed into fatty acid methyl esters due to soap production. Since glycerine is the main byproduct of biodiesel production, these high acidity oils could be esterified with the glycerine surplus to transform the free fatty acids (FFA) into triglycerides before performing the transesterification. In this work, commercial glycerol was esterified with commercial fatty acids and commercial fatty acid/lampante olive oil mixtures over tin (II) chloride. In the first set of experiments, the esterification of linoleic acid with glycerol excess from 20 to 80% molar over the stoichiometric was performed. From 20% glycerol excess, there was no improvement in FFA reduction. Using 20% glycerol excess, the performance of a biochar obtained from heavy metal-contaminated plant roots was compared to that of SnCl2. Then, the effect of the initial FFA content was assessed using different oleic acid/lampante olive oil mixtures. The results illustrated that glycerolysis was impeded at initial FFA contents lower than 10%. Finally, the glycerolysis of a WCO with 9.94% FFA was assayed, without success