一种移动Ad Hoc网络可生存性模型建模及仿真验证方法 被引量：8

1

作者 魏昭 夏春和 +2 位作者 何冰 焦健 马心意 《计算机学报》 EI CSCD 北大核心 2013年第7期1465-1474,共10页

针对网络可生存性模型考虑因素不同、模型描述各异和实验环境概念不同所造成的彼此之间较难的可比性问题,文中提出了一种用于评判多种移动Ad Hoc网络可生存性模型的建模及其仿真验证方法.从可生存性定义出发,采用本体构建可生存性模型... 针对网络可生存性模型考虑因素不同、模型描述各异和实验环境概念不同所造成的彼此之间较难的可比性问题,文中提出了一种用于评判多种移动Ad Hoc网络可生存性模型的建模及其仿真验证方法.从可生存性定义出发,采用本体构建可生存性模型的高层描述,在此基础上研究了高层描述向低层仿真执行的转换技术,提出了基于攻击路径自动生成的防御仿真任务部署方法,并实现了可生存性模型的仿真验证.最终在面向战术环境的移动Ad Hoc网络中,通过对SAMNAR模型和群组恢复模型的建模验证说明了文中方法的有效性. 展开更多

关键词 防御仿真 攻击路径 可生存性模型 移动ADHOC网络 移动互联网

下载PDF 职称材料

电磁脉冲炸弹威胁下的舰艇生命力模型 被引量：5

2

作者 夏惠诚 郭传福 《火力与指挥控制》 CSCD 北大核心 2003年第4期5-7,共3页

电磁脉冲炸弹对舰艇产生严重威胁。通过分析电磁脉冲炸弹特殊的杀伤效应,根据电磁脉冲炸弹的杀伤特点和载体的落点分布建立了电磁脉冲炸弹对舰艇打击的易感性模型,根据舰艇对电磁防护的特点确定了易损性模型,从而推导出舰艇在电磁脉冲... 电磁脉冲炸弹对舰艇产生严重威胁。通过分析电磁脉冲炸弹特殊的杀伤效应,根据电磁脉冲炸弹的杀伤特点和载体的落点分布建立了电磁脉冲炸弹对舰艇打击的易感性模型,根据舰艇对电磁防护的特点确定了易损性模型,从而推导出舰艇在电磁脉冲炸弹打击下的生命力评估模型。通过模型可以看出,舰艇在电磁脉冲炸弹打击下的生命力与电磁脉冲炸弹自身的性能、载体的打击精度、到达目标的功率密度、脉冲对目标的覆盖面积及舰艇自身的防护措施有关。 展开更多

关键词 电磁脉冲炸弹 易感性 易损性 生命力模型

下载PDF 职称材料

基于半马尔可夫过程的虚拟网络生存性模型 被引量：5

3

作者 苏玉泽 孟相如 +1 位作者 康巧燕 韩晓阳 《科学技术与工程》 北大核心 2019年第24期260-267,共8页

针对虚拟网络生存性缺乏准确的定量描述,提出了一种基于半马尔可夫过程(semi-Markov process,SMP)的虚拟网络生存性模型。根据虚拟网络运行特征,重点引入虚拟网络重构状态以及认知状态,构建一种优化的虚拟网络状态转移图,并引入半马尔... 针对虚拟网络生存性缺乏准确的定量描述,提出了一种基于半马尔可夫过程(semi-Markov process,SMP)的虚拟网络生存性模型。根据虚拟网络运行特征,重点引入虚拟网络重构状态以及认知状态,构建一种优化的虚拟网络状态转移图,并引入半马尔可夫理论,建立虚拟网络状态转移概率方程,构建基于SMP的虚拟网络生存性模型,最后通过仿真实验验证了虚拟网络生存性对各参量的敏感度以及不同类型虚拟网络的生存性特点。仿真表明,降低网络部件发生故障的概率,提高虚拟网络攻击识别概率和虚拟网络重构成功概率可以显著提高虚拟网络生存性;在映射阶段进行资源备份可以显著增强军事虚拟网络生存性。 展开更多

关键词 虚拟网络 生存性模型 半马尔可夫过程 重构策略 认知状态

下载PDF 职称材料

基于随机Petri网的虚拟网可生存性模型研究 被引量：4

4

作者 赵靓 邹宏 张校辉 《通信学报》 EI CSCD 北大核心 2016年第3期71-78,共8页

针对在描述可重构服务承载网(RSCN)差异化服务需求时无法定量描述其安全属性的问题,提出了一种RSCN可生存性模型。模型基于随机Petri网构建,首先构建RSCN的非马尔可夫随机Petri网模型,再基于最常用的先到先服务(FCFS)故障修复策略得到... 针对在描述可重构服务承载网(RSCN)差异化服务需求时无法定量描述其安全属性的问题,提出了一种RSCN可生存性模型。模型基于随机Petri网构建,首先构建RSCN的非马尔可夫随机Petri网模型,再基于最常用的先到先服务(FCFS)故障修复策略得到系统状态可达图,通过引入补充变量建立系统状态概率方程,并最终求解得到该模型。通过仿真实验对该可生存性模型的有效性进行验证,仿真结果表明,理论模型计算结果与仿真结果拟合性较好,可用于描述基于FCFS故障修复策略的RSCN可生存性能。 展开更多

关键词 可重构服务承载网 可生存性模型 随机PETRI网

下载PDF 职称材料

一种基于马尔可夫链的车辆自组网可生存性模型

5

作者 谢波 肖晓强 +1 位作者 徐明 刘志强 《计算机应用》 CSCD 北大核心 2008年第10期2577-2579,2603,共4页

根据车辆自组网(VANET)的特点和实际应用,分析了VANET的可生存性要素,给出了VANET的可生存性定义,分析了VANET的服务、威胁与策略,提出了基于马尔可夫链的平均可生存性量化模型,并通过模拟验证了该模型的正确性。理论和模拟结果均表明,... 根据车辆自组网(VANET)的特点和实际应用,分析了VANET的可生存性要素,给出了VANET的可生存性定义,分析了VANET的服务、威胁与策略,提出了基于马尔可夫链的平均可生存性量化模型,并通过模拟验证了该模型的正确性。理论和模拟结果均表明,保证基本服务和防止严重威胁可以有效保障VANET的可生存性。 展开更多

关键词 车辆自组网 可生存性 可生存性模型

下载PDF 职称材料

基于攻击场景的信息系统生存性计算 被引量：1

6

作者 张乐君 王巍 +2 位作者 国林 杨武 杨永田 《计算机工程》 CAS CSCD 北大核心 2008年第6期137-139,142,共4页

介绍一种基于攻击场景的系统生存性量化评估方法。该方法基于网络系统的生存性,不仅和本身有关,还与系统所处的环境密切相关。通过攻击图确定攻击场景,给出网络系统生存性的量化公式,帮助管理员有效确定影响系统生存性的关键节点,通过... 介绍一种基于攻击场景的系统生存性量化评估方法。该方法基于网络系统的生存性,不仅和本身有关,还与系统所处的环境密切相关。通过攻击图确定攻击场景,给出网络系统生存性的量化公式,帮助管理员有效确定影响系统生存性的关键节点,通过试验验证了该方法的有效性。 展开更多

关键词 生存性模型 攻击场景 量化评估

下载PDF 职称材料

网络信息系统生存性层次化分析模型研究 被引量：2

7

作者 张乐君 王巍 +2 位作者 国林 杨武 杨永田 《小型微型计算机系统》 CSCD 北大核心 2008年第6期1117-1121,共5页

为了保障网络系统在面临攻击的时候能够稳定、可靠地提供服务,必须考虑网络系统自身的生存能力.分析影响网络系统生存性的首要因素是系统存在漏洞,而服务质量变化是系统生存性降低的外在表现形式.提出一种基于网络攻击图原理的层次化系... 为了保障网络系统在面临攻击的时候能够稳定、可靠地提供服务,必须考虑网络系统自身的生存能力.分析影响网络系统生存性的首要因素是系统存在漏洞,而服务质量变化是系统生存性降低的外在表现形式.提出一种基于网络攻击图原理的层次化系统可生存性量化评估模型,该模型根据系统中关键服务及其原子服务组件信息,进行漏洞探测,生成网络攻击图和攻击方案,并对系统进行基于真实环境下的生存性测试,记录攻击中和攻击后的服务质量变化.通过服务质量变化分析系统生存性的四个关键属性(3R+A),最终实现对整个网络系统的生存性量化分析,并通过实验验证了该模型的有效性和准确性. 展开更多

关键词 生存性模型 网络攻击图 服务质量

下载PDF 职称材料

基于生存模型的航路评估及在航路规划中的应用 被引量：1

8

作者 朱劼昊 李其勤 朱萸 《电子信息对抗技术》 北大核心 2022年第3期81-84,共4页

飞行器执行对地突防任务时,为了以最小代价突破敌防空武器系统,通常需要进行战前航路规划。战前航路规划的核心是航路评估。分析现有基于生存模型的航路评估方法与航路规划算法不适配问题,并针对存在的问题设计一种新的航路评估方法。... 飞行器执行对地突防任务时,为了以最小代价突破敌防空武器系统,通常需要进行战前航路规划。战前航路规划的核心是航路评估。分析现有基于生存模型的航路评估方法与航路规划算法不适配问题,并针对存在的问题设计一种新的航路评估方法。该方法具有物理概念清晰、数值特性好等优点。通过仿真实验验证新的航路评估方法的正确性和有效性,可成功应用于以提高生存率为目标的飞行器对地突防战前航路规划。 展开更多

关键词 生存模型 航路评估 航路规划

下载PDF 职称材料

面向移动Ad Hoc网络的可生存性模型建模及其仿真验证方法

9

作者 辛建军 《自动化与仪器仪表》 2016年第10期202-203,共2页

提出了一种面向移动Ad Hoc网络可生存性模型的建模验证方法,构建了MARC可生存性描述模型,详细分析了MARC模型中的Actor、Role、Coordinator及事件等概念,提出了基于攻击路径自动生成的防御仿真任务部署方法。仿真验证结果表明,该建模验... 提出了一种面向移动Ad Hoc网络可生存性模型的建模验证方法,构建了MARC可生存性描述模型,详细分析了MARC模型中的Actor、Role、Coordinator及事件等概念,提出了基于攻击路径自动生成的防御仿真任务部署方法。仿真验证结果表明,该建模验证方法构造出的MARC可生存性模型可实现从高层描述到低层仿真的自动转换。 展开更多

关键词 移动AD HOC网络 可生存性模型 建模方法 仿真验证

原文传递

基于SPN的信息系统生存性分析建模研究 被引量：4

10

作者 张乐君 国林 +3 位作者 张冰 杨武 王巍 杨永田 《计算机研究与发展》 EI CSCD 北大核心 2009年第6期1019-1027,共9页

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

关键词 信息系统 生存性 随机PETRI网 服务生存性 生存性分析模型

下载PDF 职称材料

雷达武器威胁下的飞行航路规划仿真研究 被引量：1

11

作者 李小兵 周新志 +1 位作者 赵成萍 宁芊 《计算机仿真》 北大核心 2018年第12期31-35,共5页

飞行平台在雷达武器威胁环境里执行任务时,需预先规划一条全局最优航路,从而达到保证飞行平台不被击落且能完成任务的目的。一般航路规划方法只从生存或任务单个方面进行航路规划,并未考虑在雷达武器威胁环境里飞行平台的生存状态或任... 飞行平台在雷达武器威胁环境里执行任务时,需预先规划一条全局最优航路,从而达到保证飞行平台不被击落且能完成任务的目的。一般航路规划方法只从生存或任务单个方面进行航路规划,并未考虑在雷达武器威胁环境里飞行平台的生存状态或任务完成状态的随机性,更重要的是未刻画状态之间的依赖关系,且状态固定不易扩展和适应新的环境。为了解决上述问题,提出了一种基于连续时间离散状态的马尔科夫链的生存任务模型,并设计了联合生存和任务的航路评估模型,保证了生存状态、任务状态以及威胁环境三方面的随机性和统一性。在此基础上使用一次指数平滑模型来改进的差分进化算法,实现了全局航路规划。仿真结果验证了生存任务模型与航路评估模型以及全局航路规划方法的可行性和有效性。 展开更多

关键词 航路规划 生存任务模型 雷达武器威胁 马尔科夫链 差分进化算法

下载PDF 职称材料