409 research outputs found

    Palaeobiology of Pliocene-Pleistocene shallow-water biocalcarenites (Northern Apennines, Italy) and their relationship with coeval sapropels

    Get PDF
    © The Author(s), 2020. This article is distributed under the terms of the Creative Commons Attribution License. The definitive version was published in Cau, S., Roveri, M., & Taviani, M. Palaeobiology of Pliocene-Pleistocene shallow-water biocalcarenites (Northern Apennines, Italy) and their relationship with coeval sapropels. Bollettino Della Societa Paleontologica Italiana, 59(1), (2020): 25-40, doi:10.4435/BSPI.2020.04.The interplay between carbonate and siliciclastic sediment production in shallow marine environments may result in the development of mixed depositional systems showing a cyclical arrangement of sedimentary facies. The palaeoenvironmental record associated with these cyclical facies changes is not always univocally correlated with eustatic oscillations, suggesting that other forcing processes have played an additional role. The Castell’Arquato Basin (CAB: Pliocene-Pleistocene, Northern Apennines, Italy) offers the opportunity to integrate the study of small and large-scale stratigraphic architectures with that of shell beds in shelf to deep-water successions. The analysis of diversity trends allows a first insight into the structure of CAB benthic communities associated with minor and major biocalcarenites. Biofacies types are identified through a multivariate analysis of a large quantitative database including shells of all molluscs, serpulids and brachiopods. The study shows that these bio-detrital deposits and their bracketing marine mudstones developed at inner-shelf settings and that taphonomic feedback played an important role in the stratigraphic distribution of biofacies. Benthic communities from shelly bottoms depend on the winnowing of fines by bottom currents, a factor that is not related to water depth in a simple manner. Heterogeneity of the seafloor is associated to high-diversity of communities of topset strata of major biocalcarenites. Communities living in siliciclastic bottoms depend on factors that are largely depth-dependant. The study confirms the correlation of major biocalcarenite cycles with coeval deep-water sapropels, supporting the hypothesis of a more effective role of high-amplitude climatic changes driven by orbital forcing. This affects the source-to-sink dynamics of the whole basin and the biological structuring processes of shelfal depositional settings and related ecosystems.Thanks to Stefano Dominici (Museo di Storia Naturale, Università di Firenze) for his review and editorial handling. Ronald Nalin (Loma Linda University, California, USA) and an anonymous reviewer are acknowledged for their constructive comments and suggestions that improved an early version of the paper. We thank Alessandro Freschi, Gianluca Raineri (Riserva Geologica del Piacenziano e dello Stirone) and Carlo Francou (Museo Geopaleontologico “G. Cortesi”, Castell’Arquato) for their assistance with sample collection. This is ISMAR CNR, Bologna, scientific contribution n. 1950

    Geologia dei Gessi di Brisighella e Rontana

    Get PDF
    L’area di Brisighella rappresenta un eccellente laboratorio naturale per comprendere la prima fase della crisi di salinità, lo straordinario evento geologico che nel Messiniano (Miocene superiore), tra 5.970.000 e 5.600.000 di anni fa, ha trasformato il bacino del Mediterraneo in una gigantesca salina inospitale per la maggior parte delle forme di vita. La crisi di salinità messiniana ha prodotto 16 strati di selenite della Vena del Gesso (Gessi Inferiori Primari) con cristalli lunghi fino a due metri che contengono fossilizzati al loro interno filamenti di cianobatteri. Appena terminata la deposizione del gesso l’area è stata coinvolta da importati eventi tettonici che hanno innescato enormi frane sottomarine provocando lo smembramento della formazione gessosa e la deposizione dei Gessi Inferiori Risedimentati. Abstract The Brisighella area is an excellent natural laboratory for understanding the first phase of the salinity crisis, the dramatic geological event that has turned the Mediterranean Sea into a giant salina inhospitable to most life forms during the Messinian (Upper Miocene), between 5.97 million and 5.6 million years ago. The Messinian salinity crisis has produced 16 layers of selenite Vena del Gesso (Primary Lower Gypsum) with crystals up to two meters tall containing fossilized filaments of cyanobacteria. As soon as the deposition of gypsum finished, the area has been affected by tectonic events that have triggered massive submarine landslides causing the dismantlement of the gypsum formation and the deposition of the Resedimented Lower Gypsum unit

    High-frequency cyclicity in the Mediterranean Messinian evaporites: evidence for solar-lunar climate forcing

    Get PDF
    The deposition of varved sedimentary sequences is usually controlled by climate conditions. The study of two Late Miocene evaporite successions (one halite and the other gypsum) consisting of annual varves has been carried out to reconstruct the paleoclimatic and paleoenvironmental conditions existing during the acme of the Messinian salinity crisis, ~ 6 Ma, when thick evaporite deposits accumulated on the floor of the Mediterranean basin. Spectral analyses of these varved evaporitic successions reveal significant periodicity peaks at around 3-5, 9, 11-13, 20-27 and 50-100 yr. A comparison with modern precipitation data in the western Mediterranean shows that during the acme of the Messinian salinity crisis the climate was not in a permanent evaporitic stage, but in a dynamic situation where evaporite deposition was controlled by quasi-periodic climate oscillations with similarity to modern analogs including Quasi-Biennial Oscillation, El Ni\~no Southern Oscillation, and decadal to secular lunar- and solar-induced cycles. Particularly we found a significant quasi-decadal oscillation with a prominent 9-year peak that is commonly found also in modern temperature records and is present in the contemporary Atlantic Multidecadal Oscillation (AMO) index and Pacific Decadal Oscillation (PDO) index. These cyclicities are common to both ancient and modern climate records because they can be associated with solar and solar-lunar tidal cycles.Comment: 13 pages, 10 figures, 1 Tabl

    Formalization and Validation of Safety-Critical Requirements

    Full text link
    The validation of requirements is a fundamental step in the development process of safety-critical systems. In safety critical applications such as aerospace, avionics and railways, the use of formal methods is of paramount importance both for requirements and for design validation. Nevertheless, while for the verification of the design, many formal techniques have been conceived and applied, the research on formal methods for requirements validation is not yet mature. The main obstacles are that, on the one hand, the correctness of requirements is not formally defined; on the other hand that the formalization and the validation of the requirements usually demands a strong involvement of domain experts. We report on a methodology and a series of techniques that we developed for the formalization and validation of high-level requirements for safety-critical applications. The main ingredients are a very expressive formal language and automatic satisfiability procedures. The language combines first-order, temporal, and hybrid logic. The satisfiability procedures are based on model checking and satisfiability modulo theory. We applied this technology within an industrial project to the validation of railways requirements

    From Informal Safety-Critical Requirements to Property-Driven Formal Validation

    Get PDF
    Most of the efforts in formal methods have historically been devoted to comparing a design against a set of requirements. The validation of the requirements themselves, however, has often been disregarded, and it can be considered a largely open problem, which poses several challenges. The first challenge is given by the fact that requirements are often written in natural language, and may thus contain a high degree of ambiguity. Despite the progresses in Natural Language Processing techniques, the task of understanding a set of requirements cannot be automatized, and must be carried out by domain experts, who are typically not familiar with formal languages. Furthermore, in order to retain a direct connection with the informal requirements, the formalization cannot follow standard model-based approaches. The second challenge lies in the formal validation of requirements. On one hand, it is not even clear which are the correctness criteria or the high-level properties that the requirements must fulfill. On the other hand, the expressivity of the language used in the formalization may go beyond the theoretical and/or practical capacity of state-of-the-art formal verification. In order to solve these issues, we propose a new methodology that comprises of a chain of steps, each supported by a specific tool. The main steps are the following. First, the informal requirements are split into basic fragments, which are classified into categories, and dependency and generalization relationships among them are identified. Second, the fragments are modeled using a visual language such as UML. The UML diagrams are both syntactically restricted (in order to guarantee a formal semantics), and enriched with a highly controlled natural language (to allow for modeling static and temporal constraints). Third, an automatic formal analysis phase iterates over the modeled requirements, by combining several, complementary techniques: checking consistency; verifying whether the requirements entail some desirable properties; verify whether the requirements are consistent with selected scenarios; diagnosing inconsistencies by identifying inconsistent cores; identifying vacuous requirements; constructing multiple explanations by enabling the fault-tree analysis related to particular fault models; verifying whether the specification is realizable

    Photocatalytic nanocomposites for the protection of European architectural heritage

    Get PDF
    In the field of stone protection, the introduction of inorganic nanoparticles, such as TiO2, ZnO, and Ag in polymeric blends can enhance the protective action of pristine treatments, as well as confer additional properties (photocatalytic, antifouling, and antibacterial). In the framework of the “Nano-Cathedral” European project, nanostructured photocatalytic protective treatments were formulated by using different TiO2 nanoparticles, solvents, and silane/siloxane systems in the blends. The results about the characterization and application of two promising nano-TiO2 based products applied on Apuan marble and Ajarte limestone are here reported, aiming at investigating the complex system “treatment/stone-substrate”. The nanocomposites show better performances when compared to a commercial reference siloxane based protective treatment, resulting in different performances once applied on different carbonatic substrates, with very low and high open porosity, confirming the necessity of correlating precisely the characteristics of the stone material to those of the protective formulations. In particular, the TiO2 photocatalytic behavior is strictly linked to the amount of available nanoparticles and to the active surface area. The alkyl silane oligomers of the water-based formulation have a good penetration into the microstructure of Ajarte limestone, whereas the solvent-based and small size monomeric formulation shows better results for Apuan marble, granting a good coverage of the pores. The encouraging results obtained so far in lab will be confirmed by monitoring tests aiming at assessing the effectiveness of the treatments applied in pilot sites of historical Gothic Cathedral

    The deep record of the Messinian salinity crisis: Evidence of a non-desiccated Mediterranean Sea

    Get PDF
    This research is focused on a complete reexamination of the evaporite facies present in all the cores that cut through the topmost deposits of the Messinian salinity crisis lying below the floor of the Mediterranean Sea (DSDP Legs 13 and 42A, ODP Legs 107 and 161). This review suggests that the uppermost evaporite units in both western and eastern deep Mediterranean basins consist mainly of clastic (gypsrudite, gypsarenite and gypsiltite) and fully subaqueous deposits (laminar gypsum, selenite and cumulate halite) that are partially affected by burial anhydritization and tectonic induced recrystallization. No unequivocal evidence of shallow water or even supratidal (sabkha) deposition is in evidence, suggesting that at the very last phase of the salinity crisis the Mediterranean Sea did not experience desiccation, but that deposition took place under permanent subaqueous conditions

    Biomimetic hydroxyapatite nanocrystals are an active carrier for Salmonella bacteriophages

    Get PDF
    open access articlePurpose: The use of bacteriophages represents a valid alternative to conventional antimicrobial treatments, overcoming the widespread bacterial antibiotic resistance phenomenon. In this work, we evaluated whether biomimetic hydroxyapatite (HA) nanocrystals are able to enhance some properties of bacteriophages. The final goal of this study was to demonstrate that biomimetic HA nanocrystals can be used for bacteriophage delivery in the context of bacterial infections, and contribute – at the same time – to enhance some of the biological properties of the same bacteriophages such as stability, preservation, antimicrobial activity, and so on. Materials and methods: Phage isolation and characterization were carried out by using Mitomycin C and following double-layer agar technique. The biomimetic HA water suspension was synthesized in order to obtain nanocrystals with plate-like morphology and nanometric dimensions. The interaction of phages with the HA was investigated by dynamic light scattering and Zeta potential analyses. The cytotoxicity and intracellular killing activities of the phage–HA complex were evaluated in human hepatocellular carcinoma HepG2 cells. The bacterial inhibition capacity of the complex was assessed on chicken minced meat samples infected with Salmonella Rissen. Results: Our data highlighted that the biomimetic HA nanocrystal–bacteriophage complex was more stable and more effective than phages alone in all tested experimental conditions. Conclusion: Our results evidenced the important contribution of biomimetic HA nanocrystals: they act as an excellent carrier for bacteriophage delivery and enhance its biological characteristics. This study confirmed the significant role of the mineral HA when it is complexed with biological entities like bacteriophages, as it has been shown for molecules such as lactoferrin

    The Messinian salinity crisis in Cyprus: a further step towards a new stratigraphic framework for Eastern Mediterranean

    Get PDF
    A revised stratigraphic framework for the Messinian succession of Cyprus is proposed demonstrating that the three-stage model for the Messinian salinity crisis recently established for the Western Mediterranean also applies to the Eastern Mediterranean, at least for its marginal basins. This analysis is based on a multidisciplinary study of the Messinian evaporites and associated deposits exposed in the Polemi, Pissouri, Maroni/Psematismenos and Mesaoria basins. Here, we document for the first time that the base of the unit usually referred to the 'Lower Evaporites' in Cyprus does not actually correspond to the onset of the Messinian salinity crisis. The basal surface of this unit rather corresponds to a regional-scale unconformity, locally associated with an angular discordance, and is related to the erosion and resedimentation of primary evaporites deposited during the first stage of the Messinian salinity crisis. This evidence suggests that the 'Lower Evaporites' of the southern basins of Cyprus actually belong to the second stage of the Messinian salinity crisis; they can be thus ascribed to the Resedimented Lower Gypsum unit that was deposited between 5.6 and 5.5\ua0Ma and is possibly coeval to the halite deposited in the northern Mesaoria basin. Primary, in situ evaporites of the first stage of the Messinian salinity crisis were not preserved in Cyprus basins. Conversely, shallow-water primary evaporites deposited during the third stage of the Messinian salinity crisis are well preserved; these deposits can be regarded as the equivalent of the Upper Gypsum of Sicily. Our study documents that the Messinian stratigraphy shows many similarities between the Western and Eastern Mediterranean marginal basins, implying a common and likely coeval development of the Messinian salinity crisis. This could be reflected also in intermediate and deep-water basins; we infer that the Lower Evaporites seismic unit in the deep Eastern Mediterranean basins could well be mainly composed of clastic evaporites and that its base could correspond to the Messinian erosional surface
    corecore