Stratigraphic study and analysis of the barchan dunefield of the Laguna coastal zone in Santa Catarina, Brazil

The association of several favorable factors has resulted in the development of a wide barchan dune field that stands out as a fundamental element in the coastal landscape of southern Santa Catarina state in Brazil. This original ecosystem is being destroyed and highly modified, due to urbanization. This work identifies and discusses its basic characteristics and analyzes the favorable factors for its preservation, in the foreseen of both a sustainable future and potential incomes from ecotourism. The knowledge of the geologic evolution allows to associate this transgressive Holocene dunes formation to more dissipative beach conditions. Spatial differences on morphodynamics are related to local and regional contrasts in the sediment budget, with an influence on gradients of wave attenuation in the inner shelf and consequently with influence in the level of coastal erosion. The link between relative sea level changes and coastal eolian sedimentation can be used to integrate coastal eolian systems to the sequence stratigraphy model. The main accumulation phase of eolian sediments would occur during the final transgressive and highstand systems tracts. Considering the global character of Quaternary relative sea level changes, the Laguna transgressive dune field should be correlated with similar eolian deposits developed along other parts of the Brazilian coast compatibles with the model of dunefield initiation during rising and highstand sea level phases.

Applying partial virtualization on ELF binaries through dynamic loaders

The technology of partial virtualization is a revolutionary approach to the world of virtualization. It lies directly in-between full system virtual machines (like QEMU or XEN) and application-related virtual machines (like the JVM or the CLR). The ViewOS project is the flagship of such technique, developed by the Virtual Square laboratory, created to provide an abstract view of the underlying system resources on a per-process basis and work against the principle of the Global View Assumption. Virtual Square provides several different methods to achieve partial virtualization within the ViewOS system, both at user and kernel levels. Each of these approaches have their own advantages and shortcomings. This paper provides an analysis of the different virtualization methods and problems related to both the generic and partial virtualization worlds. This paper is the result of an in-depth study and research for a new technology to be employed to provide partial virtualization based on ELF dynamic binaries. It starts with a mild analysis of currently available virtualization alternatives and then goes on describing the ViewOS system, highlighting its current shortcomings. The vloader project is then proposed as a possible solution to some of these inconveniences with a working proof of concept and examples to outline the potential of such new virtualization technique. By injecting specific code and libraries in the middle of the binary loading mechanism provided by the ELF standard, the vloader project can promote a streamlined and simplified approach to trace system calls. With the advantages outlined in the following paper, this method presents better performance and portability compared to the currently available ViewOS implementations. Furthermore, some of itsdisadvantages are also discussed, along with their possible solutions.

Messa a punto di metodi per la caratterizzazione meccanica in vitro di segmenti ossei

In the last decade, the mechanical characterization of bone segments has been seen as a fundamental key to understanding how the distribution of physiological loads works on the bone in everyday life, and the resulting structural deformations. Therefore, characterization allows to obtain the main load directions and, consequently, to observe the structural lamellae of the bone disposal, in order to recreate a prosthesis using artificial materials that behave naturally. This thesis will expose a modular system which provides the mechanical characterization of bone in vitro segment, with particular attention to vertebrae, as the current object of study and research in the lab where I did my thesis work. The system will be able to acquire and process all the appropriately conditioned signals of interest for the test, through dedicated hardware and software architecture, with high speed and high reliability. The aim of my thesis is to create a system that can be used as a versatile tool for experimentation and innovation for future tests of the mechanical characterization of biological components, allowing a quantitative and qualitative assessment of the deformation in analysis, regardless of anatomical regions of interest.