41199 research outputs found
Sort by
Sistemi di transitività nei gruppi finiti
Get PDFI sistemi di transitività, introdotti negli anni '50 da B.H. e H. Neumann, indicano in quanti modi un gruppo può essere descritto come quoziente di un gruppo libero . La tesi raccoglie i principali risultati riguardanti i sistemi di transitività di alcune classi di gruppi finiti (gruppi abeliani, gruppi nilpotenti, gruppi semplici) e dei gruppi profiniti
Internal mathematics for stochastic calculus: a tripos-theoretic approach
Get PDFWe approach the problem of understanding the logical aspects of stochastic calculus through topos theoretic methods. In particular, we construct a tripos which encodes a higher-order logic tailor-made for a specific probability space, which we call Scott tripos. Some internal features and constructions of the associated topos are discussed.
Furthermore, we study a family of adjoint modal operators arising from a filtration on a probability space. We explore whether these are related to modal operators in process logics (CTL*, PDL) and we give a negative answer
Una valutazione della suscettività di frana nei territori comunali di Vallada Agordina, San Tomaso Agordino e Cencenighe Agordino.
Get PDFCaratterizzazione idrogeologica della sorgente del Meschio in Savassa Alta, Vittorio Veneto, TV.
Get PDFScelta e dimensionamento di trasformatori amperometrici di protezione in applicazioni AT ed MT. Valutazione del comportamento in saturazione
Get PDFSviluppo di un tool di verifica delle condizioni funzionali dei trasformatori amperometrici (TA) di protezione, in applicazioni AT ed MT, ai fini dell'adeguatezza del complesso TA/relé di protezione/elementi ausiliari, nonchè la valutazione del comportamento complessivo del sistema con il TA in saturazione
Analysis and evaluation of harmonic distortion in industrial networks caused by HVAC air-conditioning systems
Get PDFThe topic of this research, conducted at Mitsubishi Electric Hydronics, in the form of an internship, it is the development of a simulation program for the calculation of the harmonic distortion of conditioning machines. The environment in which the simulation program will be implemented is the Neplan software. Well'study the machines in use and their electrical characteristics, focusing on the harmonic distortion that these generate when they are connected to the proprietary network
Mineral composition of fault rocks from the Koyna deep drilling project (India) = Composizione mineralogica di rocce di faglia nel progetto di perforazione profonda di Koyna (India).
Get PDFSviluppo di algoritmi di controllo di forza per robot collaborativi
Get PDFIn questa tesi vengono implementati algoritmi di controllo di forza sul robot collaborativo leggero Panda della Franka Emika. Risulta intuitivo implementare il controllo di impedenza, a causa della disponibilità dei segnali di coppia di ogni singolo giunto. La natura collaborativa del Panda, infatti, lo rende il perfetto candidato per applicazioni di questo genere. In particolare ci si focalizza sul controllo di impedenza e le sue varie componenti (forze elastiche e di attrito viscoso)
