检索结果-南通市图书馆

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

在线全文

学校读者我要写书评

暂无评论

Journal of Systems Engineering and Electronics 2018年第6期29卷 1327-1339页

作者： HU Jianbo ZHENG Lei XU Shukui Equipment Management and Unmanned Aerial Vehicle Engineering College Air Force Engineering UniversityXi’an 710051China The 28th Research Institute of China Electronic Technology Group Corporation Nanjing 210000China

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.

关键词： safety analysis landing taxiing system-theoretic accident model and processes(STAMP) model and system theoretic process analysis(STPA)(STAMP/STPA) feedback control loop Monte Carlo simulation

DFCluster:An efficient algorithm to mine maximal differential biclusters for single pilot operations task synthesis safety analysis

在线全文

学校读者我要写书评

暂无评论

Chinese Journal of Aeronautics 2022年第5期35卷 400-418页

作者： Yong CHEN Yue LUO Miao WANG Kelin ZHONG Gang XIAO Guoqing WANG School of Aeronautics and Astronautics Shanghai Jiao Tong UniversityShanghai 200240China Commercial Aircraft Corporation of China Ltd.Shanghai 200436China China COMAC Shanghai Aircraft Design and Research Institute Shanghai 201210China

With the continuous advancement of the avionics system,crew members are correspondingly reduced,and Single Pilot Operations(SPO)has attracted widespread attention from *** meet the flight requirements in SPO mode,it is necessary to further strengthen air-ground coordination system integration,but at the same time,there will be some safety issues caused by resource integration,function fusion,and task *** at the safety problems caused by task synthesis,an efficient differential bicluster mining algorithm--DFCluster algorithm is proposed in this paper to discover potential hazardous elements or propagation mechanisms through mining the resource-function *** mine efficiently,several pruning techniques are designed for generating maximal biclusters without candidate *** experimental results show that the DFCluster algorithm is more efficient than the existing differential biclustering algorithms under different scales of artificial datasets and public ***,a typical flight scenario is designed based on SPO air-ground collaborative system architecture,and combined with our proposed DFCluster algorithm for task synthesis safety *** on the mining results,the SPO airground collaborative system architecture is modified,which ultimately improves the safety of the SPO system.

关键词： Differential bicluster Flight scenario design safety analysis Single pilot operations Task synthesis

Using Markov Chain Based Estimation of Distribution Algorithm for Model-Based safety analysis of Graph Transformation

在线全文

学校读者我要写书评

暂无评论

Journal of Computer Science & Technology 2021年第4期36卷 839-855页

作者： Einollah Pira Faculty of Information Technology and Computer Engineering Azarbaijan Shahid Madani University Tabriz ***Iran

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 *** checking is an automatic technique that verifies or refutes system properties by exploring all reachable states(state space)of a *** large and complex systems,it is probable that the state space explosion problem *** 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 *** other words,the allowed rule on the current state depends only on the applied rule on the previous state,not the ones on earlier *** 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 *** 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 *** show the effectiveness of the proposed approach,we implement it in GROOVE,an open source toolset for designing and model checking graph transformation *** 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.

关键词： safety analysis model checking Markov chain estimation of distribution algorithm graph transformation system

Systematic safety analysis Method for Power Generating Equipment

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Journal of Shanghai Jiaotong university(Science) 2015年第4期20卷 508-512页

作者：张伟侯悦民 Department of Mechanical Engineering Tsinghua University School of Mechatronic Engineering Beijing Information Science and Technology University

A systematic safety analysis method is presented to guide the whole analysis process starting with safety analysis requirement and ending with technical and economical evaluation of the knowledge model and the arrangement of sensors. The method consists of five phases, including data acquisition on factual evidence and collecting design, manufacturing, and installation data of equipment; establishing knowledge model; measurable analysis and selection of sensors as well cost evaluation; knowledge description; and overall evaluation. The proposed method is used for safety analysis of hydraulic power generating units and the analysis results validate the method very well.

关键词： safety analysis systematic method cognition model technical-physical effects fault diagnosis

A Logic-Based safety analysis Algorithm for Discretionary Access Control

在线全文

学校读者我要写书评

暂无评论

Wuhan University Journal of Natural Sciences 2012年第6期17卷 531-538页

作者： YAN Xuexiong WANG Qingxian ZHU Junhu XI Qi National Digital Switching System Engineering and Technological R&D Center Zhengzhou 450002HenanChina

For the issue of the discretionary access control（DAC） model safety analysis,a logic method is *** method takes the GD model as the classic DAC model and Prolog as the basic language to describe system states and state transfer rules.A general program based on this logic method is proposed for DAC safety analysis,but this program may never be terminal for some safety analysis *** safety analysis algorithm is achieved by simplifying the general program according to the property of the DAC model state transfer *** safety analysis algorithm is easier to understand and implement than the previous algorithms and its time complexity is O（N＋M＋T）,in which N,M,and T are the numbers of the rights with copy flag,the policies for right transferring,and the policies for right permitting,respectively.

关键词： discretionary access control(DAC) safety analysis logic state transfer

safety analysis of Accident Scenarios for the HTR-10

在线全文

学校读者我要写书评

暂无评论

Tsinghua Science and Technology 1996年第1期1卷 27-31页

作者：高祖瑛蒋志强李宝琰王春云 Institute of Nuclear Energy Technology. Tsinghua University. Beijing 100084

HTR-10 is a 10MW high temperature gas-cooled test reactor (HTR-10). It has inherent safety features common to the new generation of advanced reactors, i. e. the reactor automatically shuts down because of the negative temperature reactivity coefficients and the decay heat is passively removed from the reactor to the environment. A thorough accident safety analysis of HTR-10 was carried out, after establishing safety criteria and classifying the accident scenarios. analysis results of the design basis accidents and the beyond design basis accidents are provided in this paper. It is demonstrated that HTR-10 has excellent inherent safety features.

关键词： safety analysis thermal-hydraulic calculation accident

safety analysis of Cryogenic Loading System Based on Knowledge Graph

在线全文

学校读者我要写书评

暂无评论

Safety Analysis of Cryogenic Loading System Based on Knowled...

CAUSALITY DIAGRAM BASED safety analysis OF MICRO TURBOJET ENGINE

第40届中国控制会议

作者： Yunling Liu Yi Chai Wenyi Lin Xinyi Li Key Laboratory of complex system safety and control Ministry of Education College of AutomationChongqing University

Aiming at the problem that it is difficult to realize the traditional way of establishing mechanism model and then analyzing the safety of cryogenic loading system,this paper proposes to build a "system-subsystem-equipment" functional hierarchy model to simplify the difficulty of safety *** order to solve the problems of scattered research results of system safety analysis and difficult knowledge sharing,this paper uses knowledge graph to integrate knowledge related to filling accidents,establishes ontology model of cryogenic loading system based on OWL,realizes the association among accident,evaluation index,monitoring data and other ontologies,and uses SWRL to establish the corresponding relationship among class,instance and *** safety knowledge ontology and SWRL rules are put into the rule engine for reasoning and mining the hidden ***,an example of the actuator subsystem in cryogenic loading system is *** results show that the method can solve the problems of knowledge representation difficulty,lack of automatic semantic reasoning,poor reusability and sharing in cryogenic loading system.

关键词： knowledge graph SWRL rules safety analysis filling accidents

来源： cnki会议评论

在线全文

cnki会议

学校读者我要写书评

暂无评论

Transactions of Nanjing University of Aeronautics and Astronautics 2011年第3期28卷 262-268页

作者：丁水汀鲍梦瑶北京航空航天大学能源与动力工程学院

An improved safety analysis based on the causality diagram for the complex system of micro aero-engines is *** study is examined by using the causality diagram in analytical failure cases due to rupture or pentration in the receiver of micro turbojet engine casing,and the comparisons are also made with the results from the traditional fault tree *** results show two main advantages：（1）Quantitative analysis which is more reliable for the failure analysis in jet engines can be produced by the causality diagram analysis;（2）Graphical representation of causality diagram is easier to apply in real test cases and more effective for the safety assessment.

关键词： micro turbojet engines safety analysis causality diagram fault tree analysis failure

Research advance in safety analysis methods for high concrete dam

在线全文

学校读者我要写书评

暂无评论

Science China Technological Sciences 2007年第S1期 62-78页

作者： REN QingWen?, XU LanYu & WAN YunHui College of Civil Engineering, Hohai University, Nanjing, 210098, China

High tensile stresses occurred in high concrete dams and in their foundation lead to the growing importance of their safety with the increase of concrete dam height. Without any exiting specification or successful experiences of concrete dams up to 300 m at home and abroad for reference, experts feel obliged to figure out how to perform safety analysis on high concrete dam. This paper involves the main contents and mechanical features of the safety analysis on high concrete dam and shows the current state and progress of the analysis methods. For the insufficiency and problems existing in normative methods, study on modern numerical method such as finite element method must be strengthened to find out the stress control criterion which is in accordance with the methods. Two aspects of the safety analysis of high dam—— local damage from material level and integral destruction from structure level——should be considered. For the local damage, we should consider the non-homogeneity of material and strengthen the research of meso-damage mechanics. While for integral destruction of the system of high dam and its foundation, a study on non-strength theory should receive enough concerns. Further, attention should be paid to the research on the failure modes and criterions of high concrete dam failure analysis and safety evaluation, and the effect of uncertainty and classification of safety should be considered too.

关键词： high concrete dam safety analysis local damage integral destruction