Search

Safety-critical systems, such as the railway signal system, are subject to potentially high costs from failures, including loss of life and property damage. The use of new technology, including communication-based train control (CBTC) systems with software and computers, has changed the types of accidents that occur. Software-related issues and dysfunctional interactions between system components controlled by the software are increasingly the cause of incidents. Developing a "safe" safety-critical system requires accurate and complete safety requirements, which are the foundation of system development. Traditional hazard analysis techniques are insufficient for identifying the causes of accidents in modern railway signaling systems. Systems-Theoretic Process Analysis (STPA) is a powerful new hazard analysis method designed to address these limitations. Building upon this foundation, a hierarchical approach to safety requirement development has been further developed. This approach combines STPA analysis with a hierarchical modeling approach to establish traceability links from safety requirements to specific architectures, refine and allocate system-level safety requirements to relevant subsystems, and abstract safety requirements at higher hierarchical levels to enable easy changes to lower-level implementations. This paper employs the aforementioned methodology within the context of the CBTC system, thereby enhancing risk management and hazard analysis, enabling early insights, and facilitating the generation of safety requirements of CBTC System., Competing Interests: The authors declare the following financial interests/personal relationships which may be considered as potential competing interests: Zuxi Chen reports financial support was provided by Fujian Province Department of Science and Technology. Xiaoyong Wang reports financial support was provided by Shanghai Province Department of Science and Technology. Meng Mei reports financial support was provided by 10.13039/501100002855Ministry of Science and Technology of the People's Republic of China. If there are other authors, they declare that they have no known competing financial interests or personal relationships that could have appeared to influence the work reported in this paper., (© 2024 The Author(s).)

The wide use and high polarity of nitrobenzene compounds (NBCs) have caused a concern for their residues in daily beverages. Herein, the covalent organic frameworks (COFs) with abundant carboxyl were ingeniously designed by introducing a novel modulator, and further developed as solid phase microextraction (SPME) coatings. Due to the enhanced polar interaction, the extraction efficiencies of modified COF for NBCs were sharply increased. After coupling the high-performance SPME fiber with gas chromatograph-mass spectrometry (GC-MS), an ultrasensitive analytical method was developed, with a wide linear range (0.50-5000 ng/L), and low limits of detection (0.15-3.0 ng/L). More importantly, the method was highly feasible and practical, leading to the precise determinations of trace NBCs from variously matrix-complicated samples. This work provides a viable and efficacious approach for the extraction and analysis of polar pollutants form complicated matrices, and is of great significance for mild COF modification and its extended applications in analytical chemistry., Competing Interests: Declaration of Competing Interest The authors declare that they have no known competing financial interests or personal relationships that could have appeared to influence the work reported in this paper., (Copyright © 2023 Elsevier Ltd. All rights reserved.)

Objective: Guided bone regeneration with titanium mesh is a commonly used bone augmentation technique. However, deformation and sliding may occur during the installation of titanium mesh, which may lead to poor accuracy of bone augmentation. This article presented three cases, which describe a tooth-supported titanium mesh bending and positioning module aiming to improve the precision of bone augmentation., Clinical Considerations: After designing the ideal bone increment volume digitally, print out the difference bone module between the ideal and existing bone mass and one or two wings. The wings are supported by the adjacent teeth to show the ideal bone mass in the patients' mouth. Finally, the titanium mesh is bent and installed in the ideal position by the module., Conclusions: A favorable outcome has been preliminarily confirmed in these cases, the average vertical bone gain was 4.16 mm and the average horizontal gain was 7.48 mm after 6 months. Using the module in the treatment of patients with bone augmentation can effectively improve the accuracy, the maximum deviation was 1.5 mm and the mean was 0.6 mm., Clinical Significance: This study improves the bone augmentation technology with titanium mesh. The titanium mesh is fixed in the ideal position, which facilitates subsequent implantation and denture repair., (© 2023 Wiley Periodicals LLC.)