焦健
- 作品数：88 被引量：227H指数：8
- 供职机构：北京航空航天大学更多>>
- 发文基金：国家自然科学基金国家高技术研究发展计划北京市教委科技计划面上项目更多>>
- 相关领域：自动化与计算机技术航空宇航科学技术文化科学自然科学总论更多>>
- 基于单星可靠度的星座可用性建模仿真
- 星座是由多颗卫星组成的复杂大系统,本文针对地面备份卫星的补网模式,在分析星座可用性的基础上,通过对单星可靠度和补网卫星发射周期对星座系统可用性的关系进行建模,最后仿真分析得出单星可靠度的变化对星座可用性的影响.
- 周山山焦健孙强
- 关键词：卫星星座建模仿真
- 文献传递
- 一种计算机网络对抗战术情报的生成模型
- 2013年
- 情报提供及时、完整、准确的对抗态势,使得作战的指挥决策者能顺利完成决策任务。情报生成是保证情报质量的关键,现有计算机网络对抗缺少独立的情报生成系统。基于着色Petri网,为计算机网络对抗的战术情报提出一种生成模型。明确计算机网络对抗的作用对象及情报外延,形式地定义情报生成活动及过程,在此基础上建立战术情报生成的CPN模型。该模型通过CPN Tool 2.2进行仿真和分析,验证了该模型提供的情报生成过程的计算可行性和有效性,为相应的软件系统设计提供依据。
- 姚珊李肖坚焦健魏晴夏春和
- 关键词：计算机网络对抗CPN模型
- 一种基于Petri网的虚拟机性能分析方法
- 2011年
- 虚拟机技术在缓冲区溢出防御方面有着重要的应用,虚拟机系统中加载器的不同设计方案直接影响虚拟机的运行效率。本文提出一种使用Petri网形式化建模的方法,对虚拟机所需要的加载方案实现形式化建模和评估。使用CPN-Tools工具进行验证结果显示,该方法可以有效地分析虚拟机模型的性质,实现各种加载方案的虚拟机系统的时间和空间量化比较。
- 焦健肖庆王超
- 关键词：PETRI网虚拟机加载器
- 计算机网络自组织利用研究
- 焦健
- 关键词：计算机网络对抗自组织体系结构情报
- 一种滑动交互触觉纹理信息测量平台
- 本发明涉及一种滑动交互触觉纹理信息测量平台，用于测量手指在纹理表面滑动交互过程中不同位置造成的摩擦力变化，包括交互力测量组件，用于测量手指在纹理表面滑动交互过程中的交互力；位移测量组件，用于测量手指在纹理表面滑动交互过程...
- 王党校焦健张玉茹郭兴伟
- 文献传递
- 基于面向产出教育理念的教学管理机制设计被引量：5
- 2019年
- 为提升工程教育专业人才培养质量,基于面向产出的教育理念,围绕课程教学目标评价、毕业要求达成度评价、专业培养目标评价、课程体系修订、毕业生跟踪反馈办法、行业与企业专家参与等关键问题,设计出相应的教学管理制度。由相关责任人定期负责实施,并将结果反馈给教学环节,构建出闭环的教学质量持续改进体系。
- 李卓张伟焦健
- 关键词：工程教育教学管理机制
- 面向装备使用安全的HAZOP方法被引量：6
- 2009年
- 为提高系统安全性,装备在研制生产过程中开展全面的安全性分析设计,提高固有安全性,但在装备使用安全方面仍存在不足。在分析化工领域广泛使用的HAZOP方法的基础上,针对装备系统安全性的特点,提出面向装备使用安全的HAZOP分析流程:查找装备使用操作过程中可能存在的偏差,并对偏差进行分析,确定原因和后果。实际装备分析证明该方法科学。
- 焦健王薇赵廷弟吴洋
- 关键词：HAZOP使用安全
- 一种舰载机着舰过程的安全监测方法
- 本发明涉及一种舰载机着舰过程的安全监测方法，属于安全监测技术领域。该方法包括以下步骤：对舰载机着舰过程进行危险与可操作性的定性分析得到危险因子；根据人、舰载机、环境间的多因素耦合关系，从所述危险因子中确定多个关键危险因子...
- 焦健魏梦巍赵廷弟
- 文献传递
- 基于有限状态机理论的卫星软错误传播过程建模与仿真方法
- 本发明公开了一种基于有限状态机理论的卫星软错误传播过程建模与仿真方法，属于卫星软错误传播建模与仿真技术领域。本发明是基于有限状态机理论，利用图形化工具Stateflow中的状态框图对卫星系统中受软错误影响的每个部件的失效...
- 焦健董洁夏宏青赵廷弟赵海涛郑晋军熊笑
- 文献传递
- 面向防火墙和IDS/IPS协同防御的策略冲突检测算法被引量：4
- 2015年
- 为应对分布式、复杂的网络攻击威胁,防火墙和IDS(Intrusion Detection System)/IPS(Intrusion Prevention System)协同防御的需求越来越迫切。由于IDS/IPS对入侵判断不确定等问题的存在,当防火墙策略和IDS/IPS策略中的规则对同样数据包执行的动作矛盾时,会产生冲突。冲突会导致允许非法访问或者阻断合法访问。通过研究面向防火墙和IDS/IPS协同防御的策略冲突检测算法。给出了防火墙策略和IDS/IPS策略的语义模型,实现了策略冲突的分类,设计基于OBDD(ordered binary decision diagram,有序决策二叉图)的策略冲突检测算法,在实际场景下验证了算法的正确性和可扩展性,并分析了冲突的分布比例。
- 邱松焦健张东阳
- 关键词：防火墙协同防御
