王友俊
- 作品数：2 被引量：1H指数：1
- 供职机构：解放军信息工程大学更多>>
- 发文基金：国家高技术研究发展计划更多>>
- 相关领域：自动化与计算机技术更多>>
- 面向Cyber空间的任务建模方法
- 2016年
- 针对目前Cyber空间中任务与实体资源之间的关系难以刻画、任务执行过程中包含的逻辑关系难以描述的问题,提出一种面向Cyber空间的任务建模方法。首先,采用分层方法和图理论建立Cyber空间模型,描述Cyber空间结构和不同层次的实体资源及其交互关系。然后,定义Cyber空间任务及其作业组成,分析Cyber任务受到的实体约束、关系约束和完整性约束。最后,给出组成任务的作业之间存在的逻辑关系,用形式化的方法对Cyber任务执行关系进行描述。通过建立面向Cyber空间的典型军事任务模型,表明该方法能够完整描述任务执行过程中的逻辑关系,从而验证了该建模方法对Cyber任务描述的有效性。
- 王友俊赵耘田张红旗张传富杨超
- 关键词：形式化
- 基于超图的Cyber空间故障传播研究方法被引量：1
- 2016年
- 针对现有的基于相连链路联系的故障研究方法不能准确描述Cyber空间因资源发生故障而造成的影响这个问题,提出了一种从共享任务联系的角度分析资源故障传播与扩散问题的研究方法。其基本思想是利用Petri网建模方法描述Cyber空间中任务与资源的基本关系,基于超图理论构建任务-资源模型。定义了传播能力、传播系数、扩散系数等指标来刻画故障的传播与扩散过程,采用邻接矩阵分析并推导出了这些指标的量化方法,在此基础上给出了资源故障在网络中产生的影响力的函数,最后利用案例验证了资源的故障传播和扩散过程。
- 王友俊赵耘田张红旗张传富张传富
- 关键词：超图
