留言板

尊敬的读者、作者、审稿人, 关于本刊的投稿、审稿、编辑和出版的任何问题, 您可以本页添加留言。我们将尽快给您答复。谢谢您的支持!

姓名
邮箱
手机号码
标题
留言内容
验证码

应用Stateflow技术的安全性建模与仿真

王蓓 赵廷弟

王蓓, 赵廷弟. 应用Stateflow技术的安全性建模与仿真[J]. 北京航空航天大学学报, 2011, 37(11): 1415-1420.
引用本文: 王蓓, 赵廷弟. 应用Stateflow技术的安全性建模与仿真[J]. 北京航空航天大学学报, 2011, 37(11): 1415-1420.
Wang Bei, Zhao Tingdi. Safety simulation applying Stateflow technology[J]. Journal of Beijing University of Aeronautics and Astronautics, 2011, 37(11): 1415-1420. (in Chinese)
Citation: Wang Bei, Zhao Tingdi. Safety simulation applying Stateflow technology[J]. Journal of Beijing University of Aeronautics and Astronautics, 2011, 37(11): 1415-1420. (in Chinese)

应用Stateflow技术的安全性建模与仿真

基金项目: 国防预研资助项目(51319040201)
详细信息
  • 中图分类号: N 945

Safety simulation applying Stateflow technology

  • 摘要: 为了保障高风险系统的使用安全性,探索事故的运动规律与应急决策,提出了面向事故过程的安全性仿真方法,并结合有限状态机原理与Stateflow技术设计了建模方法与仿真机制,该方法能实现混合系统过程状态逻辑与连续机理的建模与仿真,仿真结果能反映事故发展过程中系统的状态-时间特性、人机交互特性以及过程机理,为应急决策提供定量的依据.最后,对某产品实例的事故过程进行了模型设计与仿真实验,验证了该仿真方法的有效性与合理性.

     

  • [1] 孙殿阁,孙佳,王淼,等.基于Bow-tie技术的民用机场安全风险分析应用研究[J].中国安全生产科学技术,2010,6(4):85-89 Sun Diange,Sun Jia,Wang Miao,et al.Application of the improved Bow-tie risk analysis technology in civil airport safety[J].Journal of Safety Science and Technology,2010,6(4):85-89(in Chinese) [2] 曾声奎,赵廷弟,张建国,等.系统可靠性设计分析教程[M].北京:北京航空航天大学出版社,2001:117-157 Zeng Shengkui,Zhao Tingdi,Zhang Jianguo,et al.System reliability design and analysis tutorial[M].Beijing:Beijing University of Aeronautics and Astronautics Press,2001:117-157(in Chinese) [3] 李堂经,王新阁,许卓然.基于蒙特卡洛仿真的动态故障树分析[J].兵工自动化,2010,29(3):42-46 Li Tangjing,Wang Xinge,Xu Zhuoran.Dynamic fault tree analysis based on Monte Carlo simulation[J].Ordnance Industry Automation,2010,29(3):42-46(in Chinese) [4] 马振宇.电网可靠性的蒙特卡洛仿真研究[J].电力系统保护与控制,2009,37(14):55-67 Ma Zhenyu.Research of Monte Carlo simulation for power system reliability assessment[J].Power System Protection and Control,2009,37(14):55-67(in Chinese) [5] Hachtel G D,Macii E,Pardo A,et al.Markovian analysis of large finite state machines[J].IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems,1996,15(12):1479-1493 [6] 孟海宁,齐勇,侯迪.基于非马尔可夫随机Petri网的软件再生建模与分析[J].计算机学报,2007,30(12):2212-2217 Meng Haining,Qi Yong,Hou Di.Modeling and analysis of software rejuvenation Based on non-Markovian stochastic Petri nets[J].Chinese Journal of Computers,2007,30(12):2212-2217(in Chinese) [7] 韩用明,吴相林,岳超源.基于SPN的软件过程模型及蒙特卡洛仿真[J].华中科技大学学报,2003,31(7):37-39 Han Yongming,Wu Xianglin,Yue Chaoyuan.Model of software process and Monte-Carlo simulation analysis based on SPN[J].Journal of Huazhong university of Science and Technology,2003,31(7):37-39(in Chinese) [8] Polic A,Hace A,Jezernik K.A recursive description of mixed time-and event-driven dynamic in mechatronic Systems[J].5th IEEE International Conference on Industrial Informatics,2007,19(11):293-298 [9] Williams J H.NAS system engineering manual[M].Version 3.1.Washington:FAA System Engineering Council,2006:4-6 [10] Rooney B D.Hybrid launch system vehicles,ground facilities and operations integration .AIAA 2006-7231,2006 [11] 张悦,王东风,韩璞,等.一类混杂系统的推广自动机模型及其仿真[J].系统仿真学报,2007,19(15):3546-3549 Zhang Yue,Wang Dongfeng,Han Pu,et al.Extended automata model and simulation for a class of hybrid systems[J].Journal of System Simulation,2007,19(15):3546-3549(in Chinese) [12] 黄永安,马路,刘慧敏.MATLAB 7.0/Simulink 6.0建模仿真开发与高级工程应用[M].北京:清华大学出版社,2005 Huang Yongan,Ma Lu,Liu Huimin.MATLAB 7.0/Simulink 6.0 modeling simulation and advanced engineering application[M].Beijing:Tsinghua University Press,2005(in Chinese) [13] 陈桂明,张明照,戚红雨,等.应用MATLAB建模与仿真[M].北京:科学出版社,2001 Chen Guiming,Zhang Mingzhao,Qi Hongyu,et al.Apply MATLAB to modeling and simulation[M].Beijing:Science Press,2001(in Chinese) [14] Barnard P A.Graphical techniques for aircraft dynamic model development .AIAA 2004-4808,2004 [15] The MathWorks Inc.Stateflow and Stateflow coder for use with Simulink[M].USA:The MathWorks Inc Copyright,2006
  • 加载中
计量
  • 文章访问数:  2398
  • HTML全文浏览量:  48
  • PDF下载量:  901
  • 被引次数: 0
出版历程
  • 收稿日期:  2010-07-20
  • 网络出版日期:  2011-11-30

目录

    /

    返回文章
    返回
    常见问答