谢文军
- 作品数：7 被引量：13H指数：2
- 供职机构：空军工程大学信息与导航学院更多>>
- 发文基金：国家自然科学基金中国航空科学基金陕西省工业科技攻关项目更多>>
- 相关领域：自动化与计算机技术更多>>
- 车联网中恶意软件传播过程建模与仿真研究
- 当前,车联网正面临恶意软件攻击的威胁。在充分考虑真实路网复杂环境因素的基础上,将其与恶意软件在一般网络中的传播模型有机结合,构建恶意软件在车联网上的传播模型,研究其传播过程,揭示恶意软件在车联网中的传播机理,为控制恶意软...
- 谢文军于振华韩林
- 关键词：车联网恶意软件非线性动力学
- 信息物理融合系统可信软件形式化建模与分析被引量：2
- 2014年
- 从多Agent系统的角度,以Petri网和π演算为语义基础,建立了一种信息物理融合系统(cyber-physical systems,CPS)可信软件形式化模型(high-confidence software formal model,HCSFM).HCSFM以Petri网形象地描述CPS可信软件静态结构模型及动态行为,用Petri网分析方法和支持工具对模型进行分析和验证;利用π演算刻画CPS可信软件中Agent的加入、退出、更新和体系结构重配置等动态演化机制,并研究Agent的演化策略及演化后CPS的一致性,确保动态演化后CPS软件能正常交互,从而为CPS软件设计提供可信保障.通过HCSFM在无人驾驶车辆编队CPS中的应用,表明HCSFM可以有效地对CPS可信软件进行建模和分析.
- 于振华蔡远利付晓谢文军徐海平
- 关键词：信息物理融合系统PETRI网Π演算
- 信息物理融合系统中恶意软件传播动力学研究被引量：4
- 2015年
- 针对恶意软件在信息物理融合系统(cyber-physical system,CPS)中的传播机理难以描述的问题,提出了一种自适应SIQRS(susceptible-infected-quarantined-recovered-susceptible)传播动力学模型。该模型采用节点隔离机制描述CPS的感知和控制能力,引入链路重连机制刻画CPS的自适应性,进一步分析了恶意软件在CPS中的传播规则,并依据平均场理论建立了相应的微分动力学方程。不同参数条件下的仿真结果表明:当感染率小于存在阈值时,恶意软件无法在CPS内传播;当感染率大于存在阈值且小于传播阈值时,CPS发生滞后分岔并出现双稳态现象;当感染率大于传播阈值时,CPS稳定在地方病平衡状态;当参数满足特定条件时,CPS会发生Hopf分岔。研究表明,所提模型能够准确刻画恶意软件在CPS中的传播机理。
- 谢文军付晓于振华韩林
- 关键词：信息物理融合系统恶意软件非线性动力学自适应性
- 车联网中恶意软件传播过程建模与仿真研究
- 当前，车联网正面临恶意软件攻击的威胁。在充分考虑真实路网复杂环境因素的基础上，将其与恶意软件在一般网络中的传播模型有机结合，构建恶意软件在车联网上的传播模型，研究其传播过程，揭示恶意软件在车联网中的传播机理，为控制恶意软...
- 谢文军于振华韩林
- 关键词：车联网恶意软件非线性动力学
- 车联网中恶意软件传播过程建模与仿真研究
- 当前,车联网正面临恶意软件攻击的威胁。在充分考虑真实路网复杂环境因素的基础上,将其与恶意软件在一般网络中的传播模型有机结合,构建恶意软件在车联网上的传播模型,研究其传播过程,揭示恶意软件在车联网中的传播机理,为控制恶意软...
- 谢文军于振华韩林
- 关键词：车联网恶意软件非线性动力学
- 文献传递
- 信息物理融合系统软件可信性演化动力学建模
- 2014年
- 信息物理融合系统(CPS)软件可信性建模是CPS可信软件开发过程中至关重要的一环,现有的形式化方法、软件验证技术并不适合对CPS软件可信性动态演化进行描述和分析。在深入分析CPS可信软件动态演化过程的基础上,结合非线性动力学的基本理论和方法,研究CPS软件可信性演化的动力学机制,对CPS软件在内外双重因素影响下的可信性演化过程进行建模,并分析其可信性演化规律,为CPS软件可信性研究提供了一种新手段。通过对一个工业控制领域中CPS软件的建模与分析,验证了该方法的可行性。
- 谢文军付晓于振华韩林
- 关键词：信息物理融合系统非线性动力学
- 信息物理融合系统中恶意软件传播与分岔控制策略被引量：9
- 2017年
- 针对恶意软件在信息物理融合系统中传播机理难以描述的问题,利用非线性动力学理论构建其传播动力学模型,并基于稳定性理论和Hopf分岔定理对该模型的复杂动力学行为进行分析.为了控制恶意软件传播所引发的Hopf分岔,根据分岔控制理论设计了一类结合参数调节法与状态反馈法的混合分岔控制策略,并深入研究控制参数对Hopf分岔点位置及极限环幅值的影响.数值仿真结果表明所设计的混合分岔控制策略不仅能够提前或推迟Hopf分岔点,而且可以改变极限环幅值大小,使信息物理融合系统产生预期的动力学行为,实现控制目的,从而有效降低恶意软件的危害.
- 于振华谢文军马志强欧阳洁
- 关键词：信息物理融合系统非线性动力学恶意软件HOPF分岔
