摘要：面临复杂多变的海洋环境,水下检测系统的生存性问题,在设计阶段显得尤为突出。当水下监测系统遇到攻击、故障和事故时,生存性设计为系统服务仍满足用户需求提供了保障。根据应用环境中事件的概率分布和系统服务特性,水下监测系统的生存性量化为服务性能的数学期望。基于事件和系统状态的生存性模型利用状态转移矩阵模拟了生存性受事件影响的变化过程。通过对不同事件序列进行模型仿真,验证了模型的正确性及其对系统设计及生存性评估的重要作用。

摘要：为降低软件定义光网络对单控制器的依赖,并避免多控制器冲突,有效提升控制平面的生存性,该文提出基于最小点覆盖的控制平面生存性设计策略。该策略结合集中控制约束条件,以最小点覆盖理论为基础,建立可靠的分级管控模型,设定控制器的管控优先级:全局控制器具有最高管控优先级,对全网进行集中管控;本地控制器次之,只对本地业务进行集中管控;权威交换机的管控优先级最低,用于完成局部波长粒度的光层快速管控。在此基础上,基于跨层信息模型为控制信道路由和资源分配进行生存性冗余设计。仿真表明,该策略能够满足网络对控制时延的要求,使控制平面的故障概率降低了30%,有效提升了网络在恶劣环境下的生存性。

摘要：提出了一种应用概率模型检测技术进行分布式任务关键系统生存性的量化分析研究方法。该方法对攻击者和系统的交互行为进行精简抽象,在此基础上使用PRISM高级语言构造连续时间马尔可夫链系统概率模型。针对不同程度的攻击故障及系统服务水平,以连续随机逻辑建立系统生存性的形式化规约。借助概率模型检测工具PRISM对模型进行统计和验证,并图形化地表示出系统生存性的自动分析结果。理论分析和实验结果验证了上述方法的合理性和有效性,这些结果可在理论上指导可生存系统的设计和实现。

摘要：当水下监测系统遇到外部攻击、发生故障和事故时,生存性为系统仍保证基本服务提供了保障。为准确衡量此类系统的生存性,提出了它的生存性定义、计算方法和系统模型。生存性定义为在指定工作环境下,受事件影响的系统服务仍能达到用户要求的能力,表示为系统服务性能的数学期望。根据这种定义和计算方法能更准确地判别系统设计是否满足生存性标准。在基于多状态系统的生存性模型中,服务性能是各子系统状态的函数,与系统的结构函数有关。子系统状态的概率分布由系统的可靠性和安全性决定。最后通过实例说明了生存性模型的有效性。

摘要：本文推导出了ＳＤＨ／ＡＴＭ双向自愈环在链路失效、节点失效及链路节点混合失效三种模型情况下的网络生存性函数，从导出的网络生存性函数可以方便地求出生存率的均值、最坏生存率、ｒ百分比生存率及零生存率等单个生存性测度．同时对导出的生存性函数结果进行了分析，结果表明本文的分析方法符合实际情况，是切实可行的，为分析和设计高生存性通信网络提出了统一的可实现的方法．

摘要：利用非光滑分析,讨论线性控制系统多面体区域的生存性判别.对于有界多面体(利用有限点集的凸包来表示),其生存性判别只需检验其在极点处是否满足生存性条件,去掉了以往对输入集合为多面体的要求,这种生存性判别方法简便易行.最后利用所给出的生存性条件讨论了生存性设计.

摘要：生存性作为飞行器的一个重要的通用质量特性,对于飞行器在服役(作战)使用过程中保持其服役(作战)完整性,进而发挥其服役(作战)效能具有重要作用。首先从实际作战环境和作战链路出发,引入威胁有效性,提出了飞行器广义生存性的定义——飞行器在人为敌对环境中执行任务时能够生存的能力,给出了其主要的3个方面的决定因素:威胁有效性、目标敏感性、目标易损性,讨论了其基本特性:客观性、相对性、随机性、可控性。在此基础上,建立了飞行器广义生存性的表征模型和评估方法;提出了威胁有效性的定义,明确了其3方面的主要决定因素:威胁活动性、威胁完好性、威胁能力程度,提出了威胁活动性、威胁完好性的定义,给出了飞行器的目标敏感性的主要影响因素:目标探测性和目标规避性,并提出了目标探测性和规避性的定义。最后,提出了提高飞行器广义生存性的措施,并给出了某4型作战飞机广义生存性评估分析的示例。研究结论可以为飞行器的设计及服役(作战)使用提供参考。

摘要：网络生存性是高速通信网络的重要性能评估指标。该文定量分析了EPON(ethernetpassiveopticalnetwork)接入网的网络生存性,得到网络生存性与破坏强度之间的定量关系,为EPON接入网生存性的预测和评估提供了理论依据。并分析和比较了EPON接入网的在3种备份方式下的生存性,从理论上证明EPON接入网在覆盖范围相同的情况下使用节点光纤备份比使用树干光纤备份具有更好的生存性。在节点个数和分布相同的情况下,使用总线光纤备份则不仅节省光纤而且网络生存性最好。该研究结果可为EPON接入网的设计提供参考。

摘要：研究基于随机Petri网(SPN)的信息系统生存性分析建模方法.首先,将信息系统抽象为请求组件、通信组件、处理组件和存储组件4个部分;其次,将信息系统工作流程形式化描述和生存性分析建模相结合,并分别描述了通用信息系统、系统组件失效修复、串联并接、冗余以及具有可生存属性组件的随机Petri网建模方法.从而对系统形式化描述的同时对系统生存性能做了定性和定量分析;最后,仿真实验证明基于SPN建模方法分析信息系统生存性的有效性和准确性,并为可生存的信息系统设计提供理论基础和指导.

摘要：在介绍波分复用无源光接入网(WDMPON)的基础上,对WDMPON的生存性机制进行了分析,设计完成了两个具体可行的WDMPON系统保护方案。