Deadlock analysis of asynchronous sequential processes

In this thesis we present ad study an object-oriented language, characterized by two different types of objects, passive and active objects, of which we define the operational syntax and semantics. For this language we also define the type system, that will be used for the type checking and for the extraction of behavioral types, which are an abstract description of the behavior of the methods, used in deadlock analysis. Programs can manifest deadlock due to the errors of the programmer. To statically identify possible unintended behaviors we studied and implemented a technique for the analysis of deadlock based on behavioral types.

Use of isotopes for studying nitrogen processes in a wetland within the Venice Lagoon watershed

The present study is based on the use of isotopes for evaluating the efficiency of nutrients removal of a wetland, in particular nitrogen and nitrates, also between the different habitats present in the wetland. Nutrients like nitrogen and phosphorus, normally distributed as fertilizers, are among the principal causes of diffuse pollution. This is particularly important in the Adriatic Sea, which is frequently subjected to eutrophication phenomena. So it is very crucial requalification of wetland, in which there are naturally depurative processes such as denitrification and plant uptake, which allow the reduction of pollutant loads that flow in water bodies. In this study nutrient reduction is analyzed in the wetland of the Comuna drain, which waters flow in the Venice lagoon. Chemical and isotopical analyses were performed on samples of water, vegetation, soil and sediments taken in the wetlands of the Comuna drain in four different periods of the year and on data of nitrogen and phosphorus concentration obtained by the LASA of the University of Padova. Values of total nitrogen and nitrates were obtained in order to evaluate the reduction within the different systems of the wetland. Instead, the isotopic values of nitrogen and carbon were used to evaluate which process influence more nitrogen reduction and to understand the origin of the nutrient, if it is from fertilizers, waste water or sewage. To conclude, the most important process in the wetland of the Comuna drain is plant uptake, in facts the bigger percentage of nitrogen reduction was in the period of vegetative growth. So it is important the study of isotopes in plant tissues and water residence time, whose increase would allow a greater reduction of nutrients.

Processes influencing the nitrate concentration in an aquifer for drinking water production in Bremen-Nord - Northern Germany

Groundwater represents the most important raw material. Germany struggles to maintain the best water quality possible by providing advanced monitoring systems and legal measures to prevent further pollution. In areas involved in the intensive growing of plantations, one of the major contamination factors derives from nitrate. The aim of this master thesis is the characterisation of the Water Protection Area of Bremen (Germany). Denitrification is a natural process, representing the best means of natural reduction of the hazardous nitrate ion, which is dangerous both for human health and for the development of eutrophication. The study has been possible thanks to the collaboration with the University of Bremen, the Geological Service of Bremen (GDfB) and Peter Spiedt (Water Supply Company of Bremen). It will be defined whether nitrate amounts in the groundwater still overcome the threshold legally imposed, and state if the denitrification process takes place, thanks to new samples collected in 2015 and their integration with historical data. Gas samples have been gathered to test them with the “N2/Ar method”, which is able to estimate the denitrification rate quantitatively. Analyses stated the effective occurrence of the reaction, nevertheless showing that it only affects the chemical of the deep aquifers and not shallow ones. Temporal trends concentrations of nitrate have shown that no real improvement took place in the past years. It will be commented that despite the denitrification being responsible for an efficacious lowering in the nitrate ion, it needs reactive materials to take place. Since the latter are finite elements, it is not an endless process. It is thus believed that is clearly necessary to adopt a better attitude in order to maintain the best chemical qualities possible in such an important area, providing drinking water.

Supported metal nanoparticles for sustainable green catalytic processes

Preformed Au nanoparticles supported on activated carbon and TiO2 were synthesised by sol-immobilisation. Polyethylene glycol, polyvinyl pyrrolidone and polyvinyl alcohol were used as stabilisers for the gold nanoparticles at different polymer/Au wt/wt ratios for each polymer. The effect of polymer/Au wt/wt ratios was investigated on (i) the average nanoparticle size, (ii) catalytic activity for two reactions, 4-nitrophenol reduction and glucose oxidation to glucaric acid. 4-nitrophenol reduction is recognised as a model reaction for nanomaterial catalytic activity tests; glucose oxidation to glucaric acid is a reaction that is traditionally carried out with concentrated nitric acid, for which alternative reaction pathways are looked for in an effort to reduce its environmental impact. The catalysts were characterised from the nanoparticle synthesis by colloidal method by means of UV-vis spectroscopy and DLS analysis, to the immobilisation step by XRD and TEM. The effect of the polymer:Au wt/wt ratio on nanoparticle size depends on the polymer nature, and point out the need to optimise supported nanoparticle synthesis protocols in the future depending on the type of stabiliser. The catalytic tests revealed that the polymers interact with Au nanoparticles through different active sites. Activated carbon (AC) and TiO2 were compared as supports for Au nanoparticles stabilised by PVA at PVA/Au 0,65 wt/wt. AC-supported Au NPs were the most active for glucose oxidation while TiO2-stabilised Au NPs were five times more active in 4-nitrophenol reduction that AC-supported NPs. Hence support and stabiliser are important parameters that should be optimised in order to achieve high catalytic activity for a given reaction.