Higher Institute on Territorial Systems for Innovation
PORTO Publications Open Repository TOrinoNot a member yet
91193 research outputs found
Sort by
Inertial measurement system for swimming rehabilitation
No full textThe occurrence of light spinal diseases due to the low physical activity of daily life is continuously increasing. Recovering form these diseases requires specific and directed physical activity and can conveniently performed in swimming pools where the apparent weight reduction due to the water helps letting patients perform the relief movements. Unfortunately a way for easily assessing the correctness of the patient's movement is still missing and in most cases everything relies on the capabilities of the trainers, which must be continuously present. This paper describes an attempt to arrange a simple system suitable for a quasi on-line self assessing to the movement correctness. The proposed system is based on two inertial assemblies to be worn on the wrists and capable of sending data to a receiver installed at pool border. Data received from these small assemblies are processed to show the patients the symmetry of their movements, which is connected to the movement efficiency. The inertial assemblies are arranged by using a commercial miniaturized Inertial Measurement Unit, a Teensyduino board, and a μPanel WiFi transmitter which is able to send the data to the received during the swimming. The receiver process the data in-line so that, when the patients stop swimming to take a rest, they can be displayed to the patients as a self-assess of the just performed activity
Trattamenti in laser pulsato per la rimozione selettiva di prodotti di corrosione su manufatti metallici
No full text
The civil use of small Unmanned Aerial Systems (sUASs): operational and safety challenges
No full textPurpose - In the past decades, both civil and military applications of small unmanned aerial systems (sUASs) have been on the rise. The sUASs guarantee the performance of dangerous, dull, duly and dirty missions, according to the 4D rule. The purpose of this study is to describe some ethical, operational and safety challenges occur owing to the use of sUASs at over-crowded areas or in emergency scenarios. After an overview of the current sUAS regulations, some strategic configuration elements will be analysed to improve these systems and to define safe and inoffensive sUASs. Nevertheless, some problems have not been completely overcome. Design/methodology/approach - The unmanned vehicles are nowadays applied for different kinds of applications. Search and rescue (S&R) missions; terrain surveillance and monitoring after natural disasters, such as earthquakes and landslides; and transportation of medical equipment and cartography are some examples of the most renowned and important civil missions of sUAS. In all these scenarios, some challenges could be encountered. First, the use of sUASs could compromise the privacy of unaware citizens who are in the area of application. Moreover, even if the unmanned vehicle works according to national and international regulations, there are some hazards both for the ground operators and for the population, because these sUASs could impact the human body after a flight failure. Findings - In this paper, current principal regulations will be analysed, identifying some differences and discrepancies among them. Moreover, some considerations about the configuration elements are introduced to define the safe use of sUASs. Nevertheless, the privacy challenge is quite complicated to be overcome definitely. Originality/value - Considering some challenges related to th
Exploiting Boolean Satisfiability Solvers for High Performance Bit-Level Model Checking
No full textDigital systems are nowadays ubiquitous and often comprise an extremely high level of complexity. Guaranteeing the correct behavior of such systems has become an ever more pressing need for manufacturers. Correctness of digital systems can be addressed resorting to formal verification techniques such as model checking. A major issue of model checking techniques, however, is scalability. Recent performance advances in Boolean Satisfiability (SAT) solvers, brought about a leap in the scalability of those techniques. SAT-based model checking algorithms, however, still suffer from non-negligible applicability issues when confronted with the complexity of many industrial-scale designs. In this dissertation we present several approaches to improve performance and scalability of SAT-based model checking algorithms, focusing in particular on interpolation and IC3. Each of the presented approaches addresses scalability from a different perspective. The first approach focuses on the interaction between IC3 and the underlying SAT solver. IC3, in fact, proves to be highly sensitive to the way its SAT queries are handled. We propose and compare different strategies for SAT solvers management in IC3. The second approach consists of a novel interpolation-based algorithm that specifically targets the limited flexibility and incrementality of the original interpolation method. The proposed algorithm overcomes such limitations through the use of an incremental data structure for overapproximated reachability as well as techniques to better control the precision of the computed overapproximations. The third approach addresses interpolants compaction, proposing a novel SAT-based technique that relies on proof-based abstraction to achieve considerable compaction rates. Each of the proposed approaches was experimentally evaluated and proved to increase scalability of SAT-based model checking algorithms, in particular when considered in the context of portfolio-based model checking tools
METODI E CODIFICHE GRAFICHE PER IL RILIEVO DELLA VULNERABILITA' SISMICA ALLA SCALA ARCHITETTONICA E ALLA SCALA URBANA - METHODS AND GRAPHICAL CODES FOR THE SEISMIC VULNERABILITY SURVEY AT ARCHITECTURAL AND URBAN SCALE
No full textI recenti eventi sismici accaduti in Italia negli anni 1997, 2009, 2012 e 2016 hanno reso evidente la necessità di sviluppare e impiegare su larga scala strumenti di valutazione circa la vulnerabilità di popolazioni del territorio e del costruito. La ricerca presenta un metodo fondato sulla rappresentazione cartografica di mappe di rilievo in base alle quali risulta possibile compiere valutazioni riguardo la vulnerabilità delle aree urbane. L'esperienza condotta dimostra come il rilievo urbano, oltre ad essere occasione per la rappresentazione di livelli di analisi e di conoscenza del costruito, può assurgere al ruolo di strumento scientifico capace di indurre analisi conoscitive di secondo e più approfondito livello, attinenti cioè alla messa in relazione di diversi livelli di sapere, e divenire causa efficiente di una conoscenza di tipo derivato
