Proof of Location through a Blockchain Agnostic Smart Contract Language: Design and Evaluation over Algorand and Ethereum

Le applicazioni che offrono servizi sulla base della posizione degli utenti sono sempre più utilizzate, a partire dal navigatore fino ad arrivare ai sistemi di trasporto intelligenti (ITS) i quali permetteranno ai veicoli di comunicare tra loro. Alcune di questi servizi permettono perfino di ottenere qualche incentivo se l'utente visita o passa per determinate zone. Per esempio un negozio potrebbe offrire dei coupon alle persone che si trovano nei paraggi. Tuttavia, la posizione degli utenti è facilmente falsificabile, ed in quest'ultima tipologia di servizi, essi potrebbero ottenere gli incentivi in modo illecito, raggirando il sistema. Diviene quindi necessario implementare un'architettura in grado di impedire alle persone di falsificare la loro posizione. A tal fine, numerosi lavori sono stati proposti, i quali delegherebbero la realizzazione di "prove di luogo" a dei server centralizzati oppure collocherebbero degli access point in grado di rilasciare prove o certificati a quegli utenti che si trovano vicino. In questo lavoro di tesi abbiamo ideato un'architettura diversa da quelle dei lavori correlati, cercando di utilizzare le funzionalità offerte dalla tecnologia blockchain e dalla memorizzazione distribuita. In questo modo è stato possibile progettare una soluzione che fosse decentralizzata e trasparente, assicurando l'immutabilità dei dati mediante l'utilizzo della blockchain. Inoltre, verrà dettagliato un'idea di caso d'uso da realizzare utilizzando l'architettura da noi proposta, andando ad evidenziare i vantaggi che, potenzialmente, si potrebbero trarre da essa. Infine, abbiamo implementato parte del sistema in questione, misurando i tempi ed i costi richiesti dalle transazioni su alcune delle blockchain disponibili al giorno d'oggi, utilizzando le infrastrutture messe a disposizione da Ethereum, Polygon e Algorand.

Editorial reorganization of an alphabetically ordered collection of short stories: analysis of problems and hypothesis of possible solutions

This paper aims to show, analyze and solve the problems related to the translation of the book with meaning-bond alphabetically ordered chapter titles La vita non è in ordine alfabetico, by the Italian writer Andrea Bajani. The procedure is inevitable for a possible translation of the book, and it is necessary to have a preliminary pattern to follow. After translating the whole book, not only is a revision fundamental, but a restructure and reorganization of the collection may be required, hence, what this thesis offers is a scheme to start from, together with an analysis of the possible problems that may arise, and a useful method to find a solution.

Modelling, simulation and optimization of maintenance considerations on condition based maintenance

Globalization has increased the pressure on organizations and companies to operate in the most efficient and economic way. This tendency promotes that companies concentrate more and more on their core businesses, outsource less profitable departments and services to reduce costs. By contrast to earlier times, companies are highly specialized and have a low real net output ratio. For being able to provide the consumers with the right products, those companies have to collaborate with other suppliers and form large supply chains. An effect of large supply chains is the deficiency of high stocks and stockholding costs. This fact has lead to the rapid spread of Just-in-Time logistic concepts aimed minimizing stock by simultaneous high availability of products. Those concurring goals, minimizing stock by simultaneous high product availability, claim for high availability of the production systems in the way that an incoming order can immediately processed. Besides of design aspects and the quality of the production system, maintenance has a strong impact on production system availability. In the last decades, there has been many attempts to create maintenance models for availability optimization. Most of them concentrated on the availability aspect only without incorporating further aspects as logistics and profitability of the overall system. However, production system operator’s main intention is to optimize the profitability of the production system and not the availability of the production system. Thus, classic models, limited to represent and optimize maintenance strategies under the light of availability, fail. A novel approach, incorporating all financial impacting processes of and around a production system, is needed. The proposed model is subdivided into three parts, maintenance module, production module and connection module. This subdivision provides easy maintainability and simple extendability. Within those modules, all aspect of production process are modeled. Main part of the work lies in the extended maintenance and failure module that offers a representation of different maintenance strategies but also incorporates the effect of over-maintaining and failed maintenance (maintenance induced failures). Order release and seizing of the production system are modeled in the production part. Due to computational power limitation, it was not possible to run the simulation and the optimization with the fully developed production model. Thus, the production model was reduced to a black-box without higher degree of details.

Cadmium Telluride Magic-Sized Clusters and Superstructures

The aim of the present work is to gain new insights into the formation mechanism of CdTe magic-sized clusters (MSCs) at low temperatures, as well as on their evolution towards 1D and 2D nanostructures and assemblies thereof, under mild reaction conditions. The reaction system included toluene as solvent, octylamine as primary alkylamine, trioctylphosphine-Te as chalcogenide precursor and Cd(oleate)2 as metal precursor. UV-Vis absorption spectroscopy and transmission electron microscopy (TEM) were used to analyze samples containing concentrations of octylamine of 0.2, 0.8 and 2 M: well-defined, sharp absorption peaks were observed, with peaks maxima at 449, 417 and 373 nm respectively, and 1D structures with a string-like appearance were displayed in the TEM images. Investigating peaks growth, step-wise peaks shift to lower energies and reverse, step-wise peak shift to higher energies allowed to propose a model to describe the system, based on interconnected [CdTe]x cluster units originating an amine-capped, 1-dimensional, polymer-like structure, in which different degrees of electronic coupling between the clusters are held responsible for the different absorption transitions. The many parameters involved in the synthesis procedure were then investigated, starting from the Cd:Te ratio, the role of the amine, the use of different phosphine-Te and Cd precursors. The results allowed to gain important information of the reaction mechanism, as well as on the different behavior of the species featuring the sharp absorption peaks in each case. Using Cd(acetate)2 as metal precursor, 2D structures were found to evolve from the MSCs solutions over time, and their tendency to self-assemble was then analyzed employing two amines of different alkyl chain length, octylamine (C-8) and oleylamine (C-18). Their co-presence led to the formation of free-floating triangular nanosheets, which tend to readily aggregate if only octylamine is present in solution.