首页 > 《中国科技人才》 > 2023年4期 > 基于形式化STPA的机务维修模块研究

基于形式化STPA的机务维修模块研究

打印

在线阅读下载PDF 导出详情

摘要摘要：信息化时代，机务维修工作的开展，需依靠自动化系统而进行。需全面完善安全管理理论体系，这样就可以降低飞机事故率，保障航空事业的发展。在本文的分析中，基于形式化STPA的机务维修模块设计进行分析，为相关维护工作的开展提供良好的参考，同时保障飞机可以实现稳定的飞行。

DOI pj0qznzw4y/7055575

作者陈晓禹

机构地区山东航空股份有限公司 250107

出处《中国科技人才》 2023年4期

关键词机务维修安全管理形式化STPA

分类 [][]

出版日期 2023年04月22日（中国Betway体育网页登陆平台首次上网日期，不代表论文的发表时间）

相关文献

1徐阳.基于B方法的UML类图形式化研究.船舶与海洋工程,2010-02.
2.哲学中的形式化.哲学理论,2011-04.
3孙元月.教学模式不能形式化.文化科学,2009-02.
4贾健;李瑞杰.实质故意形式化检讨.政治学,2017-05.
5卿显堂.副词“尽情”的形式化标志.汉语,2003-03.
6徐东红;齐勇;候迪;沈林峰;杜小智;王功震.基于MAS系统的动态web服务组合形式化建模研究.高等教育学,2008-03.
7admin.网络攻击过程的形式化描述方法研究.自动化与计算机技术,2019-03.
8王勇红;郑增国;项梅灵.基于自然推演下描述逻辑VL的形式化推理.教育学,2017-03.
9袁志斌.软件开发的形式化方法.通信与信息系统,2008-07.
10黄根生;蔡维丹.论述文篇章结构的形式化.产业经济,2011-02.

来源期刊

中国科技人才

中国科技人才

相关推荐

同分类资源更多

相关关键词

机务维修安全管理形式化STPA

返回顶部