Searching and retrieving in content-based repositories of formal mathematical knowledge

In this thesis, the author presents a query language for an RDF (Resource Description Framework) database and discusses its applications in the context of the HELM project (the Hypertextual Electronic Library of Mathematics). This language aims at meeting the main requirements coming from the RDF community. in particular it includes: a human readable textual syntax and a machine-processable XML (Extensible Markup Language) syntax both for queries and for query results, a rigorously exposed formal semantics, a graph-oriented RDF data access model capable of exploring an entire RDF graph (including both RDF Models and RDF Schemata), a full set of Boolean operators to compose the query constraints, fully customizable and highly structured query results having a 4-dimensional geometry, some constructions taken from ordinary programming languages that simplify the formulation of complex queries. The HELM project aims at integrating the modern tools for the automation of formal reasoning with the most recent electronic publishing technologies, in order create and maintain a hypertextual, distributed virtual library of formal mathematical knowledge. In the spirit of the Semantic Web, the documents of this library include RDF metadata describing their structure and content in a machine-understandable form. Using the author's query engine, HELM exploits this information to implement some functionalities allowing the interactive and automatic retrieval of documents on the basis of content-aware requests that take into account the mathematical nature of these documents.

Data and behavioral contracts for web services

The recent trend in Web services is fostering a computing scenario where loosely coupled parties interact in a distributed and dynamic environment. Such interactions are sequences of xml messages and in order to assemble parties – either statically or dynamically – it is important to verify that the “contracts” of the parties are “compatible”. The Web Service Description Language (wsdl) is a standard used for describing one-way (asynchronous) and request/response (synchronous) interactions. Web Service Conversation Language extends wscl contracts by allowing the description of arbitrary, possibly cyclic sequences of exchanged messages between communicating parties. Unfortunately, neither wsdl nor wscl can effectively define a notion of compatibility, for the very simple reason that they do not provide any formal characterization of their contract languages. We define two contract languages for Web services. The first one is a data contract language and allow us to describe a Web service in terms of messages (xml documents) that can be sent or received. The second one is a behavioral contract language and allow us to give an abstract definition of the Web service conversation protocol. Both these languages are equipped with a sort of “sub-typing” relation and, therefore, they are suitable to be used for querying Web services repositories. In particular a query for a service compatible with a given contract may safely return services with “greater” contract.

Neutronics analyses for fast spectrum nuclear systems and scenario studies for advanced nuclear fuel cycles

The present PhD thesis summarizes the three-years study about the neutronic investigation of a new concept nuclear reactor aiming at the optimization and the sustainable management of nuclear fuel in a possible European scenario. A new generation nuclear reactor for the nuclear reinassance is indeed desired by the actual industrialized world, both for the solution of the energetic question arising from the continuously growing energy demand together with the corresponding reduction of oil availability, and the environment question for a sustainable energy source free from Long Lived Radioisotopes and therefore geological repositories. Among the Generation IV candidate typologies, the Lead Fast Reactor concept has been pursued, being the one top rated in sustainability. The European Lead-cooled SYstem (ELSY) has been at first investigated. The neutronic analysis of the ELSY core has been performed via deterministic analysis by means of the ERANOS code, in order to retrieve a stable configuration for the overall design of the reactor. Further analyses have been carried out by means of the Monte Carlo general purpose transport code MCNP, in order to check the former one and to define an exact model of the system. An innovative system of absorbers has been conceptualized and designed for both the reactivity compensation and regulation of the core due to cycle swing, as well as for safety in order to guarantee the cold shutdown of the system in case of accident. Aiming at the sustainability of nuclear energy, the steady-state nuclear equilibrium has been investigated and generalized into the definition of the ``extended'' equilibrium state. According to this, the Adiabatic Reactor Theory has been developed, together with a New Paradigm for Nuclear Power: in order to design a reactor that does not exchange with the environment anything valuable (thus the term ``adiabatic''), in the sense of both Plutonium and Minor Actinides, it is required indeed to revert the logical design scheme of nuclear cores, starting from the definition of the equilibrium composition of the fuel and submitting to the latter the whole core design. The New Paradigm has been applied then to the core design of an Adiabatic Lead Fast Reactor complying with the ELSY overall system layout. A complete core characterization has been done in order to asses criticality and power flattening; a preliminary evaluation of the main safety parameters has been also done to verify the viability of the system. Burn up calculations have been then performed in order to investigate the operating cycle for the Adiabatic Lead Fast Reactor; the fuel performances have been therefore extracted and inserted in a more general analysis for an European scenario. The present nuclear reactors fleet has been modeled and its evolution simulated by means of the COSI code in order to investigate the materials fluxes to be managed in the European region. Different plausible scenarios have been identified to forecast the evolution of the European nuclear energy production, including the one involving the introduction of Adiabatic Lead Fast Reactors, and compared to better analyze the advantages introduced by the adoption of new concept reactors. At last, since both ELSY and the ALFR represent new concept systems based upon innovative solutions, the neutronic design of a demonstrator reactor has been carried out: such a system is intended to prove the viability of technology to be implemented in the First-of-a-Kind industrial power plant, with the aim at attesting the general strategy to use, to the largest extent. It was chosen then to base the DEMO design upon a compromise between demonstration of developed technology and testing of emerging technology in order to significantly subserve the purpose of reducing uncertainties about construction and licensing, both validating ELSY/ALFR main features and performances, and to qualify numerical codes and tools.

Development of a method for plasma - induced combustion of intermediate to low-level radioactive waste

This work demonstrates that the plasma - induced combustion of intermediate to low-level radioactive waste is a suitable method for volume reduction and stabilization. Weaknesses of existing facilities can be overcome with novel developments. Plasma treatment of LILW has a high economical advantage by volume reduction for storage in final repositories.

Towards the conservation of vulnerable marine large predators: morphometric, molecular and microchemical variation of historical sawfish rostra from Mediterranean collections

Sawfishes (Chondrichthyes, Pristidae) are considered one of the most endangered families among elasmobranchs. Extensive efforts are required worldwide to gather solid information on historical and recent changes in the composition/range of species. In this study, we have implemented an integrative approach to characterize the species diversity and the abundance of historical rostra of sawfishes from museums and private collections of the Mediterranean area. The identification at the species level of 172 dried rostra was carried out through the integration of both traditional and geometric morphometric techniques with molecular tools, allowing the assessment of a robust methodical approach to discriminate species. In addition, we analysed 35 rostral teeth to clarify the past distribution of sawfish species considering the isotopic composition of oxygen and carbon. The morphometric, molecular, and geographical characterization of samples was accompanied by the preliminary evaluation of growth structures and the inspection of the strontium isotope composition in two teeth to unravel movement patterns of individuals across different salinities of water. Results were integrated with currently available data from public repositories and showed that the historical specimens belonged to four nominal species: Pristis zijsron (81), Anoxypristis cuspidata (39), P. pristis (30), and P. pectinata (22). An identification error of 5.41% emerged in the morphological distinction of rostra between juvenile individuals of P. pectinata and P. zijsron. The new approach of carbon and oxygen isotopes, implemented for the first time in these taxa, permitted the identification of the high-probability habitat preferences of these benthopelagic elasmobranchs in about 50% of the analysed specimens. Using this multidisciplinary approach, we successfully assigned the numerous museum rostra with lacking data to a given species and identified their candidate geographical origin, retrieving novel information and data for understanding the species distribution and ecology of past, sometimes locally/regionally extinct sawfish faunas.

Monitoring of Mediterranean marine benthic biodiversity through novel, standardized, and integrated approaches

Marine healthy ecosystems support life on Earth and human well-being thanks to their biodiversity, which is proven to decline mainly due to anthropogenic stressors. Monitoring how marine biodiversity changes trough space and time is needed to properly define and enroll effective actions towards habitat conservation and preservation. This is particularly needed in those areas that are very rich in species compared to their low surface extension and are characterized by strong anthropic pressures, such as the Mediterranean Sea. Subtidal rocky benthic Mediterranean habitats have a complex structural architecture, hosting a panoply of tiny organisms (cryptofauna) that inhabit crevices and caves, but that are still unknown. Different artificial standardized sampling structures (SSS) and methods have been developed and employed to characterize the cryptofauna, allowing for data replicability and comparability across regions. Organisms growing on these artificial structures can be identified coupling morphological taxonomy and DNA barcoding and metabarcoding. The metabarcoding allows for the identification of organisms in a bulk sample without morphological analysis, and it is based on comparing the genetic similarities of the assessed organisms with barcoding sequences present in online barcoding repositories. Nevertheless, barcoded species nowadays represent only a small portion of known species, and barcoding reference databases are not always curated and updated on a regular basis. In this Thesis I used an integrative approach to characterize benthic marine biodiversity, specifically coupling morphological and molecular techniques with the employment of SSS. Moreover, I upgraded the actual status of COI (cytochrome c oxidase subunit I) barcoding of marine metazoans, and I built a customized COI barcoding reference database for metabarcoding studies on temperate biogenic reefs. This work implemented the knowledge about diversity of Mediterranean marine communities, laying the groundworks for monitoring marine and environmental changes that will occur in the next future as consequences of anthropic and climate threats.