讨论了影响飞机作战生存性的主要因素，建立了生存概率模型。
Factors that effect the combat survivability of aircraft are discussed. And the model of survival probability is constructed.
第一种方法建立基于数据流的图模型，通过图的连通性计算生存性。
In the first method, a graph-based model is built through analyzing system dataflow, and the survivability is computed with the graph connectivity.
基于不同的冗余技术对网络系统进行分类并分别建立随机数学模型，提出了基于不同应用需求的可生存性的定量评估方法。
Network systems are sorted according to the redundancy techniques adapted and corresponding stochastic models are constructed, survivability based on different application requirement are evaluated.
通过对模型的形式化证明，模型的应用示例，以及与传统访问控制模型的对比，证实了TTC模型在增强可生存性方面的价值。
The value of TTC for enhancing survivability is attested by formal proving, application demonstration and comparing with traditional access control models.
通过对模型的形式化证明，模型的应用示例，以及与传统访问控制模型的对比，证实了TTC模型在增强可生存性方面的价值。
The value of TTC for enhancing survivability is attested by formal proving, application demonstration and comparing with traditional access control models.
应用推荐