Lamprophyre as the Source of Zircon in the Veneto Region, Italy

Discrete zircons, up to 9 mm in length, occur in alluvial deposits from the Veneto area. They are likely derived from the disaggregation of lamprophyric rocks belonging to a regional, pervasive dyke-swarm. Zircon and REE phases occur in both alkaline lamprophyres and connate calcite-bearing felsic lithics and their debris in lamprophyre breccia. We present 36 new complete U–Pb and trace element analyses of zircons and associated inclusions. We used a statistical approach on a larger dataset using new and literature data to evaluate the confidence figure to give an estimation of age of zircons. Inclusions suggest a genetic link with an S–CO2–ZrO–BaO–SrO–CaO-rich fluid/melt possibly associated with carbonate-rich alkaline parental magma and a metasomatised mantle source. This paper confirms the importance of calcite–syenite and lamprophyre genetic link and zircon magmatic origin, in contrast with hydrothermal and metamorphic zircons. U–Pb dating by LA-ICP-MS provides time constrains (40.5–48.4 Ma, Lutetian), consistent with the age of the alkaline magmatic event. Trace element data indicate a link to anorogenic magmatism associated with mantle upwelling. Complex zoning is highlighted by cathodoluminescence images. The Veneto zircons are helpful for regional geological information and may have commercial potential as a critical resource for green technologies.

Lithofacies and ichnofacies of turbidite deposits, West Java, Indonesia

This study focuses on the analysis of sedimentary facies and ichnogenus variations to determine the palaeogeographic setting of turbidite deposits that are clearly exposed in the surroundings of Majalengka area, West Java, Indonesia. Lithofacies variation in turbidite deposits, identified from detailed stratigraphic sections, were visually presented as a composite log and indicated a thickening and coarsening pattern due to a regressive event. Trace fossils exposed in all stratigraphic levels consist of Thalassinoides, Chondrites, Cruziana and Planolites. They are commonly found in a series of thin to medium bedded fine grained turbiditic sandstones intercalated with shales. Hereinafter, the integration analysis in between sedimentology and ichnology data, the sediment shed into the basin in the submarine channelized related to slope system. Such findings cast no doubt as to whether integrated sedimentary facies and ichnofacies analysis can be viewed as precise methods for sedimentary basin interpretation, in which external parameter, for example magmatic processes, also are considered to play a role.

A LTS Approach to Control in Event-B

In Event-B, people need to use control variables to constrain the order of events, which is a time-consuming and error-prone process. This paper presents a method of combining labeled transition system and iUML-B to complete the behavior modeling of system, which is more convenient and practical for engineers who are accustomed to using the automaton to build a system behavior model. First, we use labeled transition system to establish the behavior model of the system. Then we simulate and verify the event traces of the labeled transition system behavior model. Finally, we convert labeled transition system model into iUML-B state machine and use it to generate the corresponding control flow model. We use Abrial’s bounded retransmission protocol to demonstrate the practicality of our approach. The simulation results show that the system behavior model generated by the iUML-B state machine has the same event trace as the corresponding labeled transition system model.