Safety assessment of a novel marine multi-stress-tolerant yeast Meyerozyma guilliermondii GXDK6 according to phenotype and whole genome-sequencing analysis

The application of microorganisms as probiotics is limited due to lack of safety evaluation.Here,a novel multi-stress-tolerant yeast Meyerozyma guilliermondii GXDK6 with aroma-producing properties was identified from marine mangrove microorganisms.Its safety and probiotic properties were assessed in accordance with phenotype and whole-genome sequencing analysis.Results showed that the genes and phenotypic expression of related virulence,antibiotic resistance and retroelement were rarely found.Hyphal morphogenesis genes(SIT4,HOG1,SPA2,ERK1,ICL1,CST20,HSP104,TPS1,and RHO1)and phospholipase secretion gene(VPS4)were annotated.True hyphae and phospholipase were absent.Only one retroelement(Tad1-65_BG)was found.Major biogenic amines(BAs)encoding genes were absent,except for spermidine synthase(JA9_002594),spermine synthase(JA9_004690),and tyrosine decarboxylase(inx).The production of single BAs and total BAs was far below the food-defined thresholds.GXDK6 had no resistance to common antifungal drugs.Virulence enzymes,such as gelatinase,DNase,hemolytic,lecithinase,and thrombin were absent.Acute toxicity test with mice demonstrated that GXDK6 is safe.GXDK6 has a good reproduction ability in the simulation gastrointestinal tract.GXDK6 also has a strong antioxidant ability,β-glucosidase,and inulinase activity.To sum up,GXDK6 is considered as a safe probiotic for human consumption and food fermentation.

Using Markov Chain Based Estimation of Distribution Algorithm for Model-Based Safety Analysis of Graph Transformation

The ability to assess the reliability of safety-critical systems is one of the most crucial requirements in the design of modern safety-critical systems where even a minor failure can result in loss of life or irreparable damage to the environment.Model checking is an automatic technique that verifies or refutes system properties by exploring all reachable states(state space)of a model.In large and complex systems,it is probable that the state space explosion problem occurs.In exploring the state space of systems modeled by graph transformations,the rule applied on the current state specifies the rule that can perform on the next state.In other words,the allowed rule on the current state depends only on the applied rule on the previous state,not the ones on earlier states.This fact motivates us to use a Markov chain(MC)to capture this type of dependencies and applies the Estimation of Distribution Algorithm(EDA)to improve the quality of the MC.EDA is an evolutionary algorithm directing the search for the optimal solution by learning and sampling probabilistic models through the best individuals of a population at each generation.To show the effectiveness of the proposed approach,we implement it in GROOVE,an open source toolset for designing and model checking graph transformation systems.Experimental results confirm that the proposed approach has a high speed and accuracy in comparison with the existing meta-heuristic and evolutionary techniques in safety analysis of systems specified formally through graph transformations.

Analysis of Traffic Accidents Based on the Integration Model

To enhance the safety of road traffic operations,this paper proposed a model based on stacking integrated learning utilizing American road traffic accident statistics.Initially,the process involved data cleaning,transformation,and normalization.Subsequently,various classification models were constructed,including logistic regression,k-nearest neighbors,gradient boosting,decision trees,AdaBoost,and extra trees models.Evaluation metrics such as accuracy,precision,recall,F1 score,and Hamming loss were employed.Upon analysis,the passive-aggressive classifier model exhibited superior comprehensive indices compared to other models.Based on the model’s output results,an in-depth examination of the factors influencing traffic accidents was conducted.Additionally,measures and suggestions aimed at reducing the incidence of severe traffic accidents were presented.These findings served as a valuable reference for mitigating the occurrence of traffic accidents.

Formal management-specifying approach for model-based safety assessment

In the field of model-based system assessment,mathematical models are used to interpret the system behaviors.However,the industrial systems in this intelligent era will be more manageable.Various management operations will be dynamically set,and the system will be no longer static as it is initially designed.Thus,the static model generated by the traditional model-based safety assessment(MBSA)approach cannot be used to accurately assess the dependability.There mainly exists three problems.Complex:huge and complex behaviors make the modeling to be trivial manual;Dynamic:though there are thousands of states and transitions,the previous model must be resubmitted to assess whenever new management arrives;Unreusable:as for different systems,the model must be resubmitted by reconsidering both the management and the system itself at the same time though the management is the same.Motivated by solving the above problems,this research studies a formal management specifying approach with the advantages of agility modeling,dynamic modeling,and specification design that can be re-suable.Finally,three typical managements are specified in a series-parallel system as a demonstration to show the potential.

Analysis on Operational Safety and Efficiency of FAO System in Urban Rail Transit

This paper discusses two urgent problems that need to be solved in fully automatic operation(FAO)for urban rail transit.The first is the analysis of safety in FAO,while another is the analysis of efficiency in FAO.Firstly,this paper establishes an operational safety evaluation index system from the perspective of operation for the unique or typical risk sources of the FAO system,and uses the analytic hierarchy process(AHP)to evaluate the indicators,analyzes various factors that affect the safe operation of FAO,and provides safety management recommendations for FAO lines operation to maintain the FAO system specifically.Secondly,taking the Yanfang Line as an example,this paper uses OpenTrack software to analyze the efficiency of FAO operation,and conducts simulation calculations for key links such as the mainline tracking interval,train entry and exit,and return limit interval.The fault impact surface of the FAO trains is simulated and discussed to verify whether FAO can meet the long-term operation requirements of Yanfang Line.Finally,this paper compares the simulation data of FAO on the Yanfang Line with manual operation(MO)to verify the advantages of FAO and guide the engineering construction of subsequent fully automated driving lines.

基于Aspen Plus的Safety Analysis功能计算调节阀故障时的安全阀尺寸

安全阀作为化工生产中的最后一道安全屏障,其选型的准确与否直接关系到生产安全。目前国内大部分设计院计算安全阀时都是基于安全阀设计规范编辑Excel公式,代入手册中查得物性数据得到泄放量及泄放面积。由于安全阀计算涉及的工况、物性参数较多,且各个工况下使用的计算公式均不相同,使得安全阀的选型成为化工设计中的一个难点。通过工程经验总结,以调节阀故障工况为例,利用Aspen Plus软件自带的Safety Analysis功能计算安全阀的泄放量与泄放面积,并核算调节阀入口、出口管径,大幅提高了工作效率与准确性。

Analysis of Potential Causes of Safety Failure of New Energy Vehicle Power Batteries

The aim of this paper is to analyze the potential reasons for the safety failure of batteries for new-energy vehicles.Firstly,the importance and popularization of new energy batteries are introduced,and the importance of safety failure issues is drawn out.Then,the composition and working principle of the battery is explained in detail,which provides the basis for the subsequent analysis.Then,the potential impacts of factors such as overcharge and over-discharge,high and low temperature environments,internal faults,and external shocks and vibrations on the safety of the batteries are analyzed.Finally,some common safety measures and solutions are proposed to improve the safety of new energy batteries,in hopes of improving the safety of batteries for new-energy vehicle.

Ecological Safety Evaluation of Land Use in Ji'an City Based on the Principal Component Analysis

According to the ecological safety evaluation index data of land-use change in Ji'an City from 1999 to 2008,positive treatment on selected reverse indices is conducted by Reciprocal Method.Meanwhile,Index Method is used to standardize the selected indices,and Principal Component Analysis is applied by using year as a unit.FB is obtained,which is related with the ecological safety of land-use change from 1999 to 2008.According to the scientific,integrative,hierarchical,practical and dynamic principles,ecological safety evaluation index system of land-use change in Ji'an City is established.Principal Component Analysis and evaluation model are used to calculate four parameters,including the natural resources safety index of land use,the socio-economic safety indicators of land use,the eco-environmental safety index of land use,and the ecological safety degree of land use in Ji'an City.Result indicates that the ecological safety degree of land use in Ji'an City shows a slow upward trend as a whole.At the same time,ecological safety degree of land-use change is relatively low in Ji'an City with the safety value of 0.645,which is at a weak safety zone and needs further monitoring and maintenance.

Safety analysis of wheel brake system based on STAMP/STPA and Monte Carlo simulation

The wheel brake system safety is a complex problem which refers to its technical state, operating environment, human factors, etc., in aircraft landing taxiing process. Usually, professors consider system safety with traditional probability techniques based on the linear chain of events. However, it could not comprehensively analyze system safety problems, especially in operating environment, interaction of subsystems, and human factors. Thus,we consider system safety as a control problem based on the system-theoretic accident model, the processes(STAMP) model and the system theoretic process analysis(STPA) technique to compensate the deficiency of traditional techniques. Meanwhile,system safety simulation is considered as system control simulation, and Monte Carlo methods are used which consider the range of uncertain parameters and operation deviation to quantitatively study system safety influence factors in control simulation. Firstly,we construct the STAMP model and STPA feedback control loop of the wheel brake system based on the system functional requirement. Then four unsafe control actions are identified, and causes of them are analyzed. Finally, we construct the Monte Carlo simulation model to analyze different scenarios under disturbance. The results provide a basis for choosing corresponding process model variables in constructing the context table and show that appropriate brake strategies could prevent hazards in aircraft landing taxiing.

Emerging frontier technologies for food safety analysis and risk assessment

Access to security and safe food is a basic human necessity and essential for a sustainable world. To perform hi-end rood safety analysis and risk assessment with state of the art technologies is of utmost importance thereof. With applications as exemplified by microfiuidic immunoassay, aptasensor, direct analysis in real time, high resolution mass spectrometry, benchmark dose and chemical specific adjustment factor, this review presents frontier food safety analysis and risk assessment technologies, from which both food quality and public health will benefit undoubtedly in a foreseeable future.

NEW IDEAS AND METHODS ON GEOMECHANICAL SAFETY ANALYSIS OF TOXIC AND RADIOACTIVE WASTE REPOSITORIES IN SALT MINE

In view of the need for geomechanical safety analysis of repositories in salt rock, failure criteria,creep rupture criteria,material models,pillar design methods and criteria for the assessment of barrier efficiency as well as investigations of the interaction between hydraulics and mechanics for the case of uncontrolled flooded repositories are necessary. The introduction of damage mechanics and of the Hou/Lux material model including damages into geomechanical safety analysis of repositories in salt rock can reduce some previous deficits in knowledge and modelling. This article will be as a part of geotechnical assessment to introduce the Hou/Lux material model,a new concept of hydro-mechanical coupling and a pillar design method as well as criteria for the assessment of efficiency of geological barriers.

Aseismic safety analysis of a prestressed concrete containment vessel for CPR1000 nuclear power plant

Abstract： The containment vessel of a nuclear power plant is the last barrier to prevent nuclear reactor radiation. Aseismic safety analysis is the key to appropriate containment vessel design. A prestressed concrete containment vessel （PCCV） model with a semi-infinite elastic foundation and practical arrangement of tendons has been established to analyze the aseismic ability of the CPR1000 PCCV structure under seismic loads and internal pressure. A method to model the prestressing tendon and its interaction with concrete was proposed and the axial force of the prestressing tendons showed that the simulation was reasonable and accurate. The numerical results show that for the concrete structure, the location of the cylinder wall bottom around the equipment hatch and near the ring beam are critical locations with large principal stress. The concrete cracks occurred at the bottom of the PCCV cylinder wall under the peak earthquake motion of 0.50 g, however the PCCV was still basically in an elastic state. Furthermore, the concrete cracks occurred around the equipment hatch under the design internal pressure of 0.4MPa, but the steel liner was still in the elastic stage and its leak-proof function soundness was verified. The results provide the basis for analysis and design of containment vessels.

Static strength and crashworthiness analysis of a train cowcatcher at a running speed of 160 km/h

The cowcatcher is one of the unique devices at the front end of the train, which can remove obstacles on the track by crashing before the vehicle body to ensure the safety of the train. When a collision accident happens, the cowcatcher serves as the first energy-absorbing structure to dissipate and guide the collision energy. The design of the existing cowcatcher of multiple units generally focuses on the good ability to remove obstacles, while the secondary function, the crashworthiness of orderly deformation under collision, still needs further research. In this study, a finite element model of structural static load and collision analysis was established under standard EN 15227, with the cowcatcher for 160 km/h train as the prototype. Then the solution and simulation process was accomplished under the environment of ANSYS and LS-DYNA. The analysis results showed that the structural static strength of the current cowcatcher met the requirements of the standard EN 15227, and the longitudinal stiffness was evenly distributed. When removing the obstacles with low mass, the impact force was small and the structure would not produce obvious deformation;when removing the obstacles with large mass, the impact force was large and the shear fracture might occur at the connection of the cowcatcher.

Analysis of Toxicological Test Results of 580 Detergents

To evaluate the safety of detergents,the toxicological test results of 580 collected detergents were analyzed.The results showed that,in the acute oral toxicity test,94.4%and 5.6%of the samples were classified as non-toxic and toxic respectively.In skin irritation test,95.1%of the samples were mild irritation or below,and 4.9%were moderate irritation or above.In the vaginal mucosa irritation test,79.0%of the samples were very mild irritation or below,while 21.0%were mild irritation or above.In the acute inhalation toxicity test,the proportion of the samples classified as actually non-toxic and toxic were 87.9%and 12.1%respectively.In the eye irritation test,95.7%of the samples belonged to mild irritation or below,and 4.3%of the samples belonged to moderate irritation or above.The products at risk in category A,B and C products account for 6.3%,7.7%and 14.2%respectively.Of the 580 tested samples,90.9%were relatively safe,while 9.1%were at risk.These data showed that most of the tested samples meet the safety requirements for use.

Study of a Comprehensive Assessment Method for Coal Mine Safety Based on a Hierarchical Grey Analysis

Coal mine safety is a complex system, which is controlled by a number of interrelated factors and is difficult to estimate. This paper proposes an index system of safety assessment based on correlated factors involved in coal mining and a comprehensive evaluation model that combines the advantages of the AHP and a grey clustering method to guarantee the accuracy and objectivity of weight coefficients. First, we confirmed the weight of every index using the AHP, then did a general safety assessment by means of a grey clustering method. This model analyses the status of mining safety both qualitatively and quantitatively. It keeps management and technical groups informed of the situation of the coal production line in real time, which aids in making correct decisions based on practical safety issues. A case study in the application of the model is presented. The results show that the method is applicable and realistic with regard to the core of a coal mine's safety management. Consequently, the safe production of a mine and the awareness of advanced safe production management is accelerated.

Thermal safety boundary of lithium-ion battery at different state of charge

Thermal runaway(TR)is a critical issue hindering the large-scale application of lithium-ion batteries(LIBs).Understanding the thermal safety behavior of LIBs at the cell and module level under different state of charges(SOCs)has significant implications for reinforcing the thermal safety design of the lithium-ion battery module.This study first investigates the thermal safety boundary(TSB)correspondence at the cells and modules level under the guidance of a newly proposed concept,safe electric quantity boundary(SEQB).A reasonable thermal runaway propagation(TRP)judgment indicator,peak heat transfer power(PHTP),is proposed to predict whether TRP occurs.Moreover,a validated 3D model is used to quantitatively clarify the TSB at different SOCs from the perspective of PHTP,TR trigger temperature,SOC,and the full cycle life.Besides,three different TRP transfer modes are discovered.The interconversion relationship of three different TRP modes is investigated from the perspective of PHTP.This paper explores the TSB of LIBs under different SOCs at both cell and module levels for the first time,which has great significance in guiding the thermal safety design of battery systems.

Risk identification and safety assessment of human-computer interaction in integrated avionics based on STAMP

To solve the problem of risk identification and quantitative assessment for human-computer interaction(HCI)in complex avionics systems,an HCI safety analysis framework based on system-theoretical process analysis(STPA)and cognitive reliability and error analysis method(CREAM)is proposed.STPACREAM can identify unsafe control actions and find the causal path during the interaction of avionics systems and pilot with the help of formal verification tools automatically.The common performance conditions(CPC)of avionics systems in the aviation environment is established and a quantitative analysis of human failure is carried out.Taking the head-up display(HUD)system interaction process as an example,a case analysis is carried out,the layered safety control structure and formal model of the HUD interaction process are established.For the interactive behavior“Pilots approaching with HUD”,four unsafe control actions and35 causal scenarios are identified and the impact of common performance conditions at different levels on the pilot decision model are analyzed.The results show that HUD's HCI level gradually improves as the scores of CPC increase,and the quality of crew member cooperation and time sufficiency of the task is the key to its HCI.Through case analysis,it is shown that STPACREAM can quantitatively assess the hazards in HCI and identify the key factors that impact safety.

Comparison of renal safety of tenofovir and entecavir in patients with chronic hepatitis B: Systematic review with meta-analysis

BACKGROUND Recently, the American Association for the Study of Liver Disease suggested no preference between tenofovir(TDF) and entecavir(ETV) regarding potential long-term risks of renal complications. Over the years, renal safety has become a critical concern in nucleos(t)ide analog-treated patients due to the long-term use of these drugs. However, existing studies do not show significant differences in renal dysfunction between these two drugs. Further, there is a paucity of studies comparing the long-term renal effects of TDF and ETV.AIM To investigate the effects of TDF and ETV on renal function, we performed systematic review and meta-analysis.METHODS Two investigators independently searched the Cochrane Library, MEDLINE, and Embase databases for randomized controlled trials and nonrandomized studies(NRSs) using the keywords 'CHB', 'Tenofovir', and 'Entecavir', and additional references were obtained from the bibliographies of relevant articles published through December 2017. The quality of each study was assessed using the Newcastle-Ottawa scale and the Grading of Recommendations Assessment,Development and Evaluation criteria. The primary outcome was the change in serum creatinine level in the TDF and ETV groups at baseline, 6 mo, 12 mo and24 mo.RESULTSNine NRSs comprising 2263 participants met the inclusion criteria. Changes in creatinine levels were higher in the TDF group than in the ETV group at 6 mo[mean difference(MD) = 0.03 mg/dL;95%CI: 0.02-0.04;I2 = 0%], 12 mo(MD =0.05 mg/dL;95%CI: 0.02-0.08;I2 = 78%), and 24 mo(MD = 0.07 mg/dL;95%CI:0.01-0.13;I2 = 93%). The change in estimated glomerular filtration rate(eGFR) was significantly higher in the TDF group than in the ETV group at 6 mo[standardized mean difference(SMD),-0.22;95%Cl:-0.36--0.08;I2 = 0%], 12 mo(SMD =-0.24;95%Cl:-0.43--0.05;I2 = 50%), and 24 mo(-0.35;95%Cl:-0.61--0.09;I2= 67%).CONCLUSION TDF statistically significantly increased serum creatinine levels and decreased the eGFR in 6-24 mo compared to ETV, with moderate to low quality of evidence.However, the differences are negligible.

Statistical Safety Analysis of Maintenance Management Process of Excavator Units

Within this paper, the process of statistical safety analysis has been presented, which involves the following steps： formulation of basic principles of statistical safety analysis, initial events analysis, accident sceneries progress analysis, risk calculation, and risk calculation results analysis. On this basis, it has been concluded that the bucket wheel excavator SRs 1200×24/4×0（400 kW）＋VR safety criteria is the mechanism for the hoist of rotor＇s arrow failure modes, because in that case whole bucket wheel excavator failure would necessarily happen （excavator falling down on counterweight）. Therefore, excavator units statistical safety analysis is accomplished preventively to obtain its effective maintenance management.