系统安全的危险性与可操作性研究的应用实例