0计算机应用技术论文:一种基于模型的功能性危险源分析方法及应