Neural Networks for Safety-Critical Applications - Challenges, Experiments and Perspectives

We propose a methodology for designing dependable Artificial Neural Networks (ANN) by extending the concepts of understandability, correctness, and validity that are crucial ingredients in existing certification standards. We apply the concept in a concrete case study in designing a high-way ANN-based motion predictor to guarantee safety properties such as impossibility for the ego vehicle to suggest moving to the right lane if there exists another vehicle on its right.Comment: Summary for activities conducted in the fortiss Eigenforschungsprojekt "TdpSW - Towards dependable and predictable SW for ML-based autonomous systems". All ANN-based motion predictors being formally analyzed are available in the source fil

Geology, Pb and S Isotope Geochemistry, and Genesis of the Na Bop-Pu Sap Lead-Zinc Deposit in the Cho Don area, Northeastern Vietnam

The Na Bop-Pu Sap Pb-Zn ore bodies represent a typical vein-type lead-zinc deposit situated in the Cho Don area and are currently being extracted for their lead and zinc resources. This deposit is characterized by its significant scale and quality and is considered one of the prominent lead-zinc deposits in the Cho Don area. Despite its significance, this deposit has not received adequate attention, resulting in limited knowledge of its geology, mineralization, and deposit genesis model. To address this knowledge gap, our study utilized several methodologies, including field surveying, ore mineral analysis under a microscope, and S and Pb isotopic geochemistry. By employing these approaches, we were able to obtain specific insights into the origin of mineralization and the deposit model. Our field survey suggests that the ore deposits are formed as Pb-Zn-bearing veins along Devonian shale, claystone, and limestone faults. Microscopic analyses of the veins reveal the presence of galena, sphalerite, chalcopyrite, pyrite, arsenopyrite, and pyrrhotite as ore minerals, and quartz, calcite, dolomite, and chalcedony as gangue minerals. Sulfur-isotope values (δ34SCDT) of galena 5.3 to 0.1‰ (average 2.8‰), sphalerite 6.8 to 2.5‰ (average 5.3‰), and pyrite 5.8 to 4.1‰ (average 4.9‰) indicate that the sulfide mineralization may be related to a deep source, possibly originating from magmatic activity in the region and contaminated by carbonate-bearing marine sedimentary rocks. Lead-isotope studies indicate a model age of 598-424 Ma for the lead reservoir, consistent with the possible presence of local source rocks containing sulfur. The lead and sulfur in the ore veins were probably contaminated by Devonian carbonate-bearing marine sedimentary rocks and leached from Neoproterozoic to Cambrian magmatic activity. The lead-zinc deposits in Na Bop-Pu Sap do not display any Mississippi valley-type (MVT) or Sedimentary exhalative (SEDEX) lead-zinc deposit characteristics, as they appear to be related to shear zone-hosted lead-zinc deposits

New Perspectives of the Communist Party of Vietnam on Religion and Some Issues Raised for Religious Policies in Vietnam Today

Vietnam is a country with diverse forms of beliefs and religions coexisting and developing. Nowadays, religions have made significant contributions to the construction of national solidarity, actively participating in and effectively contributing to activities in healthcare, education, and charity, and positively contributing to the overall development of the country. However, alongside the positive activities of religions, there are still many instances in society where some individuals exploit beliefs and religions for superstitious and divisive purposes, deceiving the people, and even undermining national solidarity. This article aims to explore the new viewpoint of the Communist Party of Vietnam on religion, evaluate the current situation of implementing religious policies, and propose some recommendations to improve religious policies according to the viewpoint of the 13th National Party Congress of the Communist Party of Vietnam in Vietnam today