Introducing the nth-Order Features Adjoint Sensitivity Analysis Methodology for Nonlinear Systems (nth-FASAM-N): II. Illustrative Example

This work highlights the unparalleled efficiency of the “nth-Order Function/ Feature Adjoint Sensitivity Analysis Methodology for Nonlinear Systems” (nth-FASAM-N) by considering the well-known Nordheim-Fuchs reactor dynamics/safety model. This model describes a short-time self-limiting power excursion in a nuclear reactor system having a negative temperature coefficient in which a large amount of reactivity is suddenly inserted, either intentionally or by accident. This nonlinear paradigm model is sufficiently complex to model realistically self-limiting power excursions for short times yet admits closed-form exact expressions for the time-dependent neutron flux, temperature distribution and energy released during the transient power burst. The nth-FASAM-N methodology is compared to the extant “nth-Order Comprehensive Adjoint Sensitivity Analysis Methodology for Nonlinear Systems” (nth-CASAM-N) showing that: (i) the 1st-FASAM-N and the 1st-CASAM-N methodologies are equally efficient for computing the first-order sensitivities;each methodology requires a single large-scale computation for solving the “First-Level Adjoint Sensitivity System” (1st-LASS);(ii) the 2nd-FASAM-N methodology is considerably more efficient than the 2nd-CASAM-N methodology for computing the second-order sensitivities since the number of feature-functions is much smaller than the number of primary parameters;specifically for the Nordheim-Fuchs model, the 2nd-FASAM-N methodology requires 2 large-scale computations to obtain all of the exact expressions of the 28 distinct second-order response sensitivities with respect to the model parameters while the 2nd-CASAM-N methodology requires 7 large-scale computations for obtaining these 28 second-order sensitivities;(iii) the 3rd-FASAM-N methodology is even more efficient than the 3rd-CASAM-N methodology: only 2 large-scale computations are needed to obtain the exact expressions of the 84 distinct third-order response sensitivities with respect to the Nordheim-Fuchs model’s parameters when applying the 3rd-FASAM-N methodology, while the application of the 3rd-CASAM-N methodology requires at least 22 large-scale computations for computing the same 84 distinct third-order sensitivities. Together, the nth-FASAM-N and the nth-CASAM-N methodologies are the most practical methodologies for computing response sensitivities of any order comprehensively and accurately, overcoming the curse of dimensionality in sensitivity analysis.

Establishment of the Basic Theory of Fuze Safety Systems

Presents a series of new concepts and design ideas about the fuze safety system, establishing thereby a proposed theory and relevant mathematical descriptions. The basic the- ory indicates that any fuze safety system is a physical system comprising finite safety ele- ments each of which can independently affect the system's states, and the arming process is a dynamic one in which the extent of safety of the system changes only gradually. The theory and method can be used to analyse the arming process and to guide the development of fuze safety systems.

Study on Pork Quality and Safety Traceability System and Relevant Management Systems

It is the key to construct the traceability mechanism of quality responsibility for ensuring the quality and safety of animal products. In this study, after defining the concept of traceability system and analyzing its function mechanism, the design ideas of pork quality and safety traceability system based on bar code and Internet were put forward, including network structure, system process, business process and information identifica- tion. Then the relevant management systems were proposed.

Early faults prediction of running state of electromechanical systems and reconfigurable integration of series safety monitoring systems

Fault prediction technology of running state of electromechanical systems is one of the key technologies that ensure safe and reliable operation of electromechanical equipment in health state. For multiple types of modern, high-end and key electromechanical equipment, this paper will describe the early faults prediction method for multi-type electromechanical systems, which is favorable for predicting early faults of complex electromechanical systems in non-stationary, nonlinear, variable working conditions and long-time running state; the paper shall introduce the reconfigurable integration technology of series safety monitoring systems based on which the integrated development platform of series safety monitoring systems is built. This platform can adapt to integrated R&D of series safety monitoring systems characterized by high technology, multiple species and low volume. With the help of this platform, series safety monitoring systems were developed, and the Remote Network Security Monitoring Center for Facility Groups was built. Experimental research and engineering applications show that: this new fault prediction method has realized the development trend features extraction of typical electromechanical systems, multi-information fusion, intelligent information decision-making and so on, improving the processing accuracy, relevance and applicability of information; new reconfigurable integration technologies have improved the integration level and R&D efficiency of series safety monitoring systems as well as expanded the scope of application; the series safety monitoring systems developed based on reconfigurable integration platform has already played an important role in many aspects including ensuring safety operation of equipment, stabilizing product quality, optimizing running state, saving energy consumption, reducing environmental pollution, improving working conditions, carrying out scientific maintenance, advancing equipment utilization, saving maintenance charge and enhancing the level of information management.

Implementation and Evaluation of Local Dynamic Map in Safety Driving Systems

Cooperative safety driving systems using vehicle-to-vehicle and vehicle-to infrastructure communication are developed. Sensor data of vehicles and infrastructures are communicated in the cooperative safety driving system. LDM (Local Dynamic Map) is standardized by ETSI (European Telecommunications Standards Institute) to manage the vehicle sensor data and the map data. Implementations of LDM are reported on documents of ETSI, but there are no numerical results. The implementations of LDM are deployed the database management system. We think that the response time of the database becomes higher as the number of vehicles grows. In this paper, we have implemented and evaluated the LDM with the collision detection application.

Food Safety Traceability Systems in the Maritime Catering Logistics

This paper aims to explore food safety traceability in the onboard food and beverage operations on cruise ships through a case study approach. Semi-structured interviews were conducted with galley and foodservice staff. Additionally, a self-administered questionnaire was designed and distributed to logistics managers and employees of three Egyptian cruise companies. Results indicated that cruise ships in this study use paper-based and manually-entered (electronically stored) data traceability systems. Managing food safety by effective product recall, complying with legislation, and improving product quality are among the most important perceived benefits identified by foodservice staff. Maintaining a good reputation, ensuring food safety, reducing foodborne illnesses, suppliers' commitment to quality specifications, and maintaining guest confidence are considered the most important benefits from implementing a food traceability system. The results also depicted that the challenges managers face implementing or improving a food traceability system included high cost, absence of unified traceability standards between cruise companies and food suppliers, shortage of skilled staff, and lack of knowledge and satisfaction with current foodservice operation systems onboard cruise ships. Other findings elucidated that the critical success factors for implementing traceability included strict food traceability legislation, ensuring the adequacy and correctness of traceability information, adopting a food traceability system by the cruise company management, the standardization of food traceability information identification, and technology support for food traceability systems implementation from government. Other factors were reported of less importance. This research concluded the urgent need for more cooperation between cruise companies, food suppliers, and relevant governmental authorities to adopt food traceability systems and the need of authorizing and setting compulsory standards and regulations.

Combining Micro Technologies and Unmanned Systems to Support Public Safety and Homeland Security

Previously, the military establishment has been the primary developer and user of micro technologies associated with unmanned systems. As these technologies become available commercially, a need exists to integrate the use of the technology into local or regional public safety and homeland security incidents. The purpose of this presentation is to explain several key factors to consider when using micro technologies and unmanned systems in support of public safety and homeland security officials. Real time information is critical to the decision making process for public safety and homeland security officials to make assessments and quickly resolve crisis situations. Unmanned micro-vehicles and micro technologies are well suited to remotely observe, gather essential information, and immediately relay it to incident responders. These technologies can provide extremely important support during responses to hostage situations, hazardous environments, search and rescue, natural disasters, border patrol and many others. The true benefit is having remote resources providing real time support to incident responders. This paper discusses the use of several different types of micro-vehicle platforms in public safety scenarios and their use of associated technologies such as GPS （Global Positioning System） autopilot, communication, and sensor devices.

System Variables Design of Safety Analysis for Fast Reactors

This research aims to examine the risk in the technology design of fast breeder reactors while the development depends on safety considerations. The project explored the variables, which could affect positively the expected average fuel burn-up, breeding ratio, and decay heat removal. That is accomplished using features such as guard vessels and elevated pipe routing to prevent the cracked state of both core components and fuel cladding interface conditions. So, the cracked region of fuel was detected by thermal-hydraulic analysis. We used ZrFeCr alloys to estimating of the rise in fuel cladding and coolant that can be incorporated in the design ZrFeCr alloys to uniform corrosion in temperature and 10.3 Mpa pressure. Fast creep of the reactor vessel during the coolant heat-up transient is another issue to be considered corrosion resistance of structural material can be achieved by controlling oxygen content in steel alloy. In this trend, S4337 S5140 steels are wide and can be used in future fossil power plants because of their excellent high-temperature strength.

In-Silico Analysis &In-Vivo Results Concur on Glutathione Depletion in Glyphosate Resistant GMO Soy, Advancing a Systems Biology Framework for Safety Assessment of GMOs

This study advances previous efforts towards development of computational systems biology, in silico, methods for biosafety assessment of genetically modified organisms (GMOs). C1 metabolism is a critical molecular system in plants, fungi, and bacteria. In our previous research, critical molecular systems of C1 metabolism were identified and modeled using CytoSolve?, a platform for in silico analysis. In addition, multiple exogenous molecular systems affecting C1 metabolism such as oxidative stress, shikimic acid metabolism, glutathione biosynthesis, etc. were identified. Subsequent research expanded the C1 metabolism computational models to integrate oxidative stress, suggesting glutathione (GSH) depletion. Recent integration of data from the EPSPS genetic modification of Soy, also known as Roundup Ready Soy (RRS), with C1 metabolism predicts similar GSH depletion and HCHO accumulation in RRS. The research herein incorporates molecular systems of glutathione biosynthesis and glyphosate catabolism to expand the extant in silico models of C1 metabolism. The in silico results predict that Organic Soy will have a nearly 250% greater ratio of GSH and GSSG, a measure of glutathione levels, than in RRS that are glyphosate-treated glyphosate-resistant Soy versus the Organic Soy. These predictions also concur with in vivo greenhouse results. This concurrence suggests that these in silico models of C1 metabolism may provide a viable and validated platform for biosafety assessment of GMOs, and aid in selecting rational criteria for informing in vitro and in vivo efforts to more accurately decide in the problem formulation phase whose parameters need to be assessed so that conclusion on “substantial equivalence” or material difference of a GMO and its non-GMO counterpart can be drawn on a well-grounded basis.

One-piece coal mine mobile refuge chamber with safety structure and less sealing risk based on FEA

In order to reduce the risk of sealing and improve the structural strength for a coal mine mobile refuge chamber,a new type of one-piece model was designed.Mechanical and mathematical calculation performed an important role.Calculated according to statics and relevant contents,the structure had the same total volume as the traditional segmented structure,but had shorter length,wider width and greater height.Those prevented the structure from stress or deformation failure.Some reinforcing ribs with enough moments of inertia were welded in the external shell.Because of the one-piece structure,this refuge chamber reduced the risk of sealing which was a serious problem of segmented structure.Impact load with 300 ms duration and0.6 MPa over-pressure was settled.Explicit nonlinear dynamic analysis program was used to simulate the response of the refuge chamber.The maximum stress and the maximum displacement were obtained.The refuge chamber including blast airtight doors could meet the rigidity requirement.Weak parts of the chamber were the front and back end shell where bigger displacement values occurred than others.Thus,the calculation indicated that the refuge chamber could meet structural safety requirements.Based on the numerical analysis,suggestions were put forward for further resistance ability improvement.Only large inclined shaft with larger wellhead was suitable for this one-piece coal mine mobile refuge chamber.

Holistic Approach to Safety and Operational Stability: Analyzing VVER-1200 Reactor Dynamics in SGTR and AC Power Loss

VVER-1200 (Water-Water Energetic Reactor) represents a significant advancement in nuclear power generation, emphasizing the continuous analysis and enhancement of safety systems for reliable operation. The proposed study focuses on simulating combined scenarios involving steam generator tube rupture (SGTR) and AC power loss using core algorithms and models within personal computer transient analyzer (PCTRAN). Reactor kinetic equations, thermal-hydraulic balance, and safety system models are discussed to elucidate their role in simulating SGTR and AC power loss. Safety criteria, boundaries and initial conditions are outlined to provide a comprehensive understanding of the simulation framework. The analysis delves into dynamic behavior of VVER-1200, placing emphasis on thermal-hydraulic implications, essential reactor parameters, and radiation monitoring to facilitate impact evaluation. Continuous monitoring and maintenance of safety systems are underscored to ensure stable core cooling, particularly during proposed transient conditions. Through meticulous analysis and comparison with established benchmarks, this study contributes to bolstering the safety and reliability of VVER-1200 reactors by identifying vulnerabilities, assessing mitigation strategies, and refining emergency response protocols. Practical implications of this study offer a crucial understanding of reactor behavior, safety system performance, and emergency response strategies, thereby improving safety, optimizing operational practices, and reducing risks in nuclear reactor accidents.

Safety Evaluation Method of Evacuation Routes in Areas in Case of Earthquake Disasters Using Ant Optimization Algorithm and Geographic Information Systems

The present study aims to propose the method for the quantitative evaluation of safety concerning evacuation routes in case of earthquake disasters in urban areas using ACO （Ant Colony Optimization） algorithm and GIS （Geographic Information Systems）. Regarding the safety evaluation method, firstly, the similarity in safety was focused on while taking into consideration road blockage probability, and after classifying roads by means of the hierarchical cluster analysis, the congestion rates of evacuation routes using ACO simulations were estimated. Based on these results, the multiple evacuation routes extracted were visualized on digital maps by means of GIS, and its safety was evaluated. Furthermore, the selection of safe evacuation routes between evacuation sites, for cases when the possibility of large-scale evacuation after an earthquake disaster is high, is made possible. As the safety evaluation method is based on public information, by obtaining the same geographic information as the present study, it is effective in other areas regardless of whether the information is of the past and future. Therefore, in addition to spatial reproducibility, the safety evaluation method also has high temporal reproducibility. Because safety evaluations are conducted on evacuation routes based on quantified data, highly safe evacuation routes that are selected have been quantitatively evaluated, and thus serve as an effective indicator when selecting evacuation routes.

Comparison and Enlightenment of China's and EU's Food Safety Supervision Systems

Food is the paramount necessity of the people,and safety is most essential for food. Food safety is related to people's fundamental interests,affecting people's basic health. It is an important factor in promoting people's livelihood development and social progress. Compared with European countries and the United States in developed food safety supervision systems,the development of food safety supervision system in China is still relatively backward. As food safety supervision is not in place,food safety incidents have occurred in recent years,so that public's panic about food safety has intensified. It has a strong impact on social stability and the food economy. Thus,strengthening the construction of food safety supervision system is imperative. Since experiencing a series of food safety incidents,the EU has gradually improved its food safety supervision system and has developed the most comprehensive and mature food safety supervision system in the world. On the basis of sorting out the characteristics of EU's food safety supervision system,the development direction of China's food safety supervision system is proposed from four aspects: supervisor,legal system,law enforcement ability and safety standards.

Analyzing Effect of Demand Rate on Safety of Systems with Periodic Proof-tests

Quantitative safety assessment of safety systems plays an important role in decision making at all stages of system lifecycle, i.e., design, deployment and phase out. Most safety assessment methods consider only system parameters, such as configuration, hazard rate, coverage, repair rate, etc. along with periodic proof-tests （or inspection）. Not considering demand rate will give a pessimistic safety estimate for an application with low demand rate such as nuclear power plants, chemical plants, etc. In this paper, a basic model of IEC 61508 is used. The basic model is extended to incorporate process demand and behavior of electronic- and/or computer-based system following diagnosis or proof-test. A new safety index, probability of failure on actual demand （PFAD） based on extended model and demand rate is proposed. Periodic proof-test makes the model semi-Markovian, so a piece-wise continuous time Markov chain （CTMC） based method is used to derive mean state probabilities of elementary or aggregated state. Method to determine probability of failure on demand （PFD） （IEC 61508） and PFAD based on these state probabilities are described. In example, safety indices of PFD and PFAD are compared.

Design Pattern Representation for Safety-Critical Embedded Systems

Design Patterns, which give abstract solutions to commonly recurring design problems, have been widely used in the software and hardware domain. As non-functional requirements are an important aspect in the design of safety-critical embedded systems, this work focuses on the integration of non-functional implications in an existing design pattern concept. We propose a pattern representation for safety-critical embedded application design methods by including fields for the implications and side effects of the represented design pattern on the non-functional requirements of the overall systems. The considered requirements include safety, reliability, modifiability, cost, and execution time.

An Augmented Framework for Formal Analysis of Safety Critical Systems

This paper presents an augmented framework for analyzing Safety Critical Systems (SCSs) formally. Due to high risk of failure, development process of SCSs is required more attention. Model driven approaches are the one of ways to develop SCSs for accomplishing critical and complex function what SCSs are supposed to do. Two model driven approaches: Unified Modeling Language (UML) and Formal Methods are combined in proposed framework which enables the analysis, designing and testing safety properties of SCSs more rigorously in order to reduce the ambiguities and enhance the correctness and completeness of SCSs. A real time case study has been discussed in order to validate the proposed framework.

Concepts of Safety Critical Systems Unification Approach &Security Assurance Process

The security assurance of computer-based systems that rely on safety and security assurance, such as consistency, durability, efficiency and accessibility, require or need resources. This targets the System-of-Systems (SoS) problems with the exception of difficulties and concerns that apply similarly to subsystem interactions on a single system and system-as-component interactions on a large information system. This research addresses security and information assurance for safety-critical systems, where security and safety are addressed before going to actual implementation/development phase for component-based systems. For this purpose, require a conceptual idea or strategy that deals with the application logic security assurance issues. This may explore the vulnerability in single component or a reuse of specification in existing logic in component-based system. Keeping in view this situation, we have defined seven concepts of security assurance and security assurance design strategy for safety-critical systems.

Electrical Installation Safety Assessment of Buildings in Kumasi, Ghana

This study aims to evaluate the safety status of electrical installations in residential and commercial buildings within the Suame ECG strategic business unit, Ghana, focusing on compliance with international and Ghanaian wiring standards. The research assesses key factors influencing safety, including the certification of electricians, the quality of cable brands used, proper cable sizing, adherence to wiring color codes, the awareness and use of Residual Current Circuit Breakers (RCCBs), and the protection of earth electrodes. A descriptive research design was utilized, involving extensive field surveys and electrical installation audits. Data were collected using standardized tools and analyzed with SPSS software to evaluate the professional competencies of artisans and their adherence to safety standards. The findings indicate significant safety risks, with 69.7% of electricians lacking proper certification, leading to the widespread use of non-approved cable brands, improper cable sizing, and deviations from wiring color codes. Additionally, deficiencies were found in the awareness and use of RCCBs and the protection of earth electrodes. The study concludes with recommendations to enhance electrical safety, including mandatory certification for electricians, public awareness campaigns, regular inspections, and ongoing training and development programs. These measures are crucial for improving the overall safety and quality of electrical installations in the Suame area, Ghana.

Why Formal Methods Are Considered for Safety Critical Systems?

Formal methods are the mathematically techniques and tools which are used at early stages of software development lifecycle processes. The utter need of using formal methods in safety critical system leads to accuracy, consistency and correctness in proposed system. In safety critical real time application, requirements should be unambiguous and very accurate which can be achieved by using mathematical theorems. There is utter need to focus on the requirement phase which is the most critical phase of SDLC. This paper focuses on the use of Z notation for incorporating the accuracy, consistency, and eliminates ambiguity in safety critical system: Road Traffic Management System as a case study. The syntax, semantics, type checking and domain checking are further verified by using Z/EVES: a Z notation type checker tool.

Research on Technological Support System of Control and Management of Rural Tourism Safety

As the sources of overt and covert potential safety hazards were widespread, the safety control and management of rural tourism became more complicated and difficult, which required more for technological support of rural tourism safety management. Based on the latitude of technological support, from the perspective of management practice of rural tourism safety, through analysis on inner symbiosis of management and technological support of rural tourism safety, the paper had studied three parts of control and management system of rural tourism safety, which were rural tourism safety identification, rural tourism safety isolation and control, and rural tourism safety treatment and solution; and the connotation of technological support during safety management had been discussed from the three aspects. It hoped to serve as reference for tourism safety management and control, so as to promote healthy, stable and sustainable development of tourism.