We organize this paper in the following parts: we first define and analyze failure scenario graphs. We then describe algorithms for generating scenario graphs from finite models and measure the algorithms’performance.
本文主要的组织结构如下:首先定义了失败场景图,接着描述了根据有限模型生成场景图的两种算法并评测了它们的性能。
参考来源 - 基于模型检查的场景图和攻击图研究·2,447,543篇论文数据，部分数据来源于NoteExpress
These facts show that the finite models can not represent the wave propagation characteristics in the infinite domain foundations.
说明在弹性介质情况下，有限模型不能反映无限域中的波动特性。
Secondly, several relatively accurate three dimensional finite models of internal plate fixation for animal tibia fracture were established.
其次，比较精确地建立了兔子胫骨接骨板内固定骨折的三维有限元模型。
Business state machines - Models a business process as a finite set of states and event transitions.
业务状态机——将业务流程建模为有限的状态和事件转移集。
应用推荐