Search results for "processing"
showing 10 items of 8572 documents
An Energy Blockchain, a Use Case on Tendermint
2018
The recent advances in distributed energy systems require new models for exchanging energy among prosumers in microgrids. The blockchain technology promises to solve the digital issues related to distributed systems without a trusted authority and to allow quick and secure energy transactions, which are verified and cryptographically protected. Transactions are approved and subsequently recorded on all the machines participating in the blockchain. This work demonstrates how users, which are nodes of the energy and digital networks, exchange energy supported by a customized blockchain based on Tendermint. We focus on the procedures for generating blocks and defining data structures for stori…
Comparison between two different cardiovascular models during a hemorrhagic shock scenario
2020
Hemorrhagic shock is a form of hypovolemic shock determined by rapid and large loss of intravascular blood volume and represents the first cause of death in the world, whether on the battlefield or in civilian traumatology. For this, the ability to prevent hemorrhagic shock remains one of the greatest challenges in the medical and engineering fields. The use of mathematical models of the cardiocirculatory system has improved the capacity, on one hand, to predict the risk of hemorrhagic shock and, on the other, to determine efficient treatment strategies. In this paper, a comparison between two mathematical models that simulate several hemorrhagic scenarios is presented. The models considere…
Additional file 5 of MGFM: a novel tool for detection of tissue and cell specific marker genes from microarray gene expression data
2015
Primer sequences. This file includes the list of all primer sequences used by PCR. (55.7KB PDF)
Convergence Analysis of Distributed Set-Valued Information Systems
2016
This paper focuses on the convergence of information in distributed systems of agents communicating over a network. The information on which the convergence is sought is not rep- resented by real numbers, as often in the literature, rather by sets. The dynamics of the evolution of information across the net- work is accordingly described by set-valued iterative maps. While the study of convergence of set-valued iterative maps is highly complex in general, this paper focuses on Boolean maps, which are comprised of arbitrary combinations of unions, intersections, and complements of sets. For these important class of systems, we provide tools to study both global and local convergence. A distr…
Some Features of Modeling Ultrasound Propagation in Non-Destructive Control of Metal Structures Based on the Magnetostrictive Effect
2023
A method and mathematical models of direct and inverse problems of ultrasonic testing and diagnostics of complex metal structures for defects were developed and tested. A prototype of a system for magnetostrictive control of elements of the objects under study was manufactured and experimentally tested. Mathematical simulation of ultrasonic testing processes using MATLAB and the COMSOL Multiphysics software environment was carried out. The adequacy of the mathematical models was verified by the results of their comparison with real physical experiments. Information support and a methodology that implements it was developed, which ensure the functioning of the control facilities for these ob…
Geometry control of the junction between two fractal curves
2012
International audience; The general objective of our work is to create a geometric modeller based on iterative processes. With this objective in mind, we have to provide tools that work with fractal objects in the same manner as with objects of classical topology. In this article we focus on the constructing of an intermediate curve between two other curves defined by different iterative construction processes. A similar problem often arises with subdivision surfaces, when the goal is to connect two surfaces with different subdivision masks. We start by dealing with curves, willing to later generalise our approach to surfaces. We formalise the problem with the Boundary Controlled Iterated F…
Image difference detection under varying illumination based on vector space and correlations
2012
Abstract We propose two methods to detect differences in images independently of local changes of intensity. The methods are based on calculating geometrical operators when images are considered as vectors. Operators can be expressed in terms of correlations for the possibility of optical implementations. The methods are invariant to changes of the form af ( x , y ) + b , where a and b are arbitrary unknown parameters that may vary over the image f ( x , y ). Computer simulations show that the method works well when the illumination model is satisfied. Results from real images taken with a web camera show the robustness of the method.
Fast 3D Ray Tracing for Indoor Coverage Solutions
2016
Optimal wireless indoor network planning requires huge number of iterations and evaluations of indoor coverage for each antenna location until an optimal solution is reached. Consequently, accurate and scalable calculation of power strength for indoor scenarios becomes necessary. The contribution in this paper is to reduce the complexity of 3D ray tracing for deterministic indoor power prediction. In order to achieve that while preserving the accuracy, image theory with feasible reflection volume as preprocessing approach is introduced. This proposed algorithm stores the image, its feasible reflection volume and valid area of receiving points. Significant complexity reduction is achieved by…
Learning-based multiresolution transforms with application to image compression
2013
In Harten's framework, multiresolution transforms are defined by predicting finer resolution levels of information from coarser ones using an operator, called prediction operator, and defining details (or wavelet coefficients) that are the difference between the exact and predicted values. In this paper we use tools of statistical learning in order to design a more accurate prediction operator in this framework based on a training sample, resulting in multiresolution decompositions with enhanced sparsity. In the case of images, we incorporate edge detection techniques in the design of the prediction operator in order to avoid Gibbs phenomenon. Numerical tests are presented showing that the …
A LDR image expansion method for displaying on HDR screen
2013
International audience