Search results for "QA"
showing 10 items of 1014 documents
Un approccio semplificato per il calcolo del load flow nelle smart grids basato su misure distribuite in bassa tensione
2017
I sistemi di misura distribuiti sono alla base delle "smart distribution grids", ove la crescente presenza di generazione distribuita e sistemi di accumulo e la conseguente transizione verso sistemi attivi rendono necessarie funzionalità avanzate di monitoraggio, controllo e gestione delle reti. In tale contesto, un elemento essenziale è l'analisi dei flussi di potenza, che, com'è noto, può essere effettuata tramite algoritmi di load flow, noti il modello della rete e le potenze generate/assorbite nei vari nodi. Per la misura di tali grandezze sulla media tensione (MT), si possono utilizzare diversi strumenti (quali phasor measurement units, smart meters, power quality analyzers), che però …
Un metodo basato su misure distribuite in bassa tensione per il calcolo del load flow nelle smart grids
2016
Con la diffusione della generazione distribuita nei sistemi elettrici di distribuzione e la conseguente loro transizione verso reti attive, è diventato essenziale disporre di opportuni sistemi per il monitoraggio, il controllo e la gestione delle retistesse. In questo ambito, l'unità GMEE di Palermo, in collaborazione con l'ISSIA-CNR e la STMicroelectronics, da alcuni anni si occupa dello sviluppo di sistemi di misura e comunicazione per lo sviluppo delle "smart distribution grids". In particolare, per quanto riguarda il monitoraggio della rete, lo studio è stato focalizzato sull'analisi dei flussi di potenza, che, noti il modello della rete e le potenze generate o assorbite nei vari nodi, …
Agent-Based Model to Study and Quantify the Evolution Dynamics of Android Malware Infection
2014
[EN] In the last years the number of malware Apps that the users download to their devices has risen. In this paper, we propose an agentbased model to quantify the Android malware infection evolution, modeling the behavior of the users and the different markets where the users may download Apps. The model predicts the number of infected smartphones depending on the type of malware. Additionally, we will estimate the cost that the users should afford when the malware is in their devices. We will be able to analyze which part is more critical: the users, giving indiscriminate permissions to the Apps or not protecting their devices with antivirus software, or the Android platform, due to the v…
Products of snowflaked Euclidean lines are not minimal for looking down
2017
We show that products of snowflaked Euclidean lines are not minimal for looking down. This question was raised in Fractured fractals and broken dreams, Problem 11.17, by David and Semmes. The proof uses arguments developed by Le Donne, Li and Rajala to prove that the Heisenberg group is not minimal for looking down. By a method of shortcuts, we define a new distance $d$ such that the product of snowflaked Euclidean lines looks down on $(\mathbb R^N,d)$, but not vice versa.
Multiplicity results for a class of asymmetric weakly coupled systems of second order ordinary differential equations
2005
We prove the existence and multiplicity of solutions to a two-point boundary value problem associated to a weakly coupled system of asymmetric second-order equations. Applying a classical change of variables, we transform the initial problem into an equivalent problem whose solutions can be characterized by their nodal properties. The proof is developed in the framework of the shooting methods and it is based on some estimates on the rotation numbers associated to each component of the solutions to the equivalent system.
A Criterium for the Strict Positivity of the Density of the Law of a Poisson Process
2011
We translate in semigroup theory our result (Leandre, 1990) giving a necessary condition so that the law of a Markov process with jumps could have a strictly positive density. This result express, that we have to jump in a finite number of jumps in a "submersive" way from the starting point to the end point if the density of the jump process is strictly positive in . We use the Malliavin Calculus of Bismut type of (Leandre, (2008;2010)) translated in semi-group theory as a tool, and the interpretation in semi-group theory of some classical results of the stochastic analysis for Poisson process as, for instance, the formula giving the law of a compound Poisson process.
About Quotient Orders and Ordering Sequences
2017
Summary In preparation for the formalization in Mizar [4] of lotteries as given in [14], this article closes some gaps in the Mizar Mathematical Library (MML) regarding relational structures. The quotient order is introduced by the equivalence relation identifying two elements x, y of a preorder as equivalent if x ⩽ y and y ⩽ x. This concept is known (see e.g. chapter 5 of [19]) and was first introduced into the MML in [13] and that work is incorporated here. Furthermore given a set A, partition D of A and a finite-support function f : A → ℝ, a function Σ f : D → ℝ, Σ f (X)= ∑ x∈X f(x) can be defined as some kind of natural “restriction” from f to D. The first main result of this article ca…
Enumerative Aspects of the Gross-Siebert Program
2015
For the last decade, Mark Gross and Bernd Siebert have worked with a number of collaborators to push forward a program whose aim is an understanding of mirror symmetry. In this chapter, we’ll present certain elements of the “Gross-Siebert” program. We begin by sketching its main themes and goals. Next, we review the basic definitions and results of two main tools of the program, logarithmic and tropical geometry. These tools are then used to give tropical interpretations of certain enumerative invariants. We study in detail the tropical pencil of elliptic curves in a toric del Pezzo surface. We move on to a basic illustration of mirror symmetry, Gross’s tropical construction for \(\mathbb{P…
NeutroAlgebra is a Generalization of Partial Algebra
2020
In this paper we recall, improve, and extend several definitions, properties and applications of our previous 2019 research referred to NeutroAlgebras and AntiAlgebras (also called NeutroAlgebraic Structures and respectively AntiAlgebraic Structures). Let <A> be an item (concept, attribute, idea, proposition, theory, etc.). Through the process of neutrosphication, we split the nonempty space we work on into three regions {two opposite ones corresponding to <A> and <antiA>, and one corresponding to neutral (indeterminate) <neutA> (also denoted <neutroA>) between the opposites}, which may or may not be disjoint – depending on the application, but they are …
Derivations of quasi *-algebras
2004
The spatiality of derivations of quasi*-algebras is investigated by means of representation theory. Moreover, in view of physical applications, the spatiality of the limit of a family of spatial derivations is considered.