韩炜
- 作品数：16 被引量：82H指数：6
- 供职机构：西安航空计算技术研究所更多>>
- 发文基金：中国航空科学基金中国人民解放军总装备部预研基金国防科技技术预先研究基金更多>>
- 相关领域：自动化与计算机技术航空宇航科学技术电子电信更多>>
- 基于SOAR模型的武器目标分配系统设计与研究被引量：1
- 2020年
- 威胁评估是影响武器目标分配结果的重要因素,当前空战环境下,诸如速度、角度、高度、攻击距离等多种参数都会影响武器目标分配的结果,飞行员在考虑上述因素的同时,难以做出快速准确的决策。研究并提出一种基于SOAR智能认知模型构建的武器目标分配系统,通过将知识库与武器目标分配算法相结合,能够快速准确地给出目标分配方案,帮助飞行员更好地进行决策。最后进行了仿真计算,结果表明该系统的输出符合期望结果,并具有较好的实时性。
- 丁凡文鹏程韩炜
- 关键词：SOAR专家系统
- 具有自主版权的IP软核设计和建库技术
- 高德远樊晓桠张盛兵王党辉罗旻朱霞王迎春李树国臧宏伟雷金奎蔡坚韩炜
- 建立了具有全部自主知识版权的8031、86、286、387、i960、1750A、C25等系列微处理器及相应I/O芯片等共计20余种的IP软核库。应用已开发出的IP软核，完成了系统集成SoC的实现实例。如应用8031MC...
- 关键词：
- 关键词：微处理器系统集成
- 复杂器件应用验证的场景及技术考虑被引量：3
- 2022年
- 应用验证是通过被验证对象的执行,提升产品的成熟度,同时指导产品的应用。而基于成熟度模型,应用验证所选取场景的逼真度则成为重要的内容。通过相关研究,提出了复杂器件应用验证的任务执行、电气接口、环境自然、寿命质量、综合集成5种场景,可以完整、系统地对应用验证的场景进行梳理,同时指导验证用例的生成。针对应用验证实施所涉及的层次化分解技术、应用验证平台构建技术、可重构(配置)技术、统计分析技术等方面进行概要的论述。
- 韩炜李志刚陈思宇
- 关键词：模块化设计统计分析
- N版本编程技术的软件可靠性分析被引量：13
- 2003年
- 针对解决高可靠计算机系统所需要的N版本编程技术,本文提出了对其可靠性进行分析和评估的基本方法。还特别针对使用了N版本编程技术而残存的共性故障进行了详细的分析,对一般的工程实践具有理论指导意义。
- 韩炜臧红伟
- 关键词：软件可靠性分析软件工程计算机
- 非相似容错计算机系统设计及其验证技术研究
- 容错计算机可分为相似余度和非相似余度两种形式。相似余度计算机是将一个版本的软件拷贝到各个相同的计算机中，由于软件是同一个版本的拷贝，而版本中的软件故障又难以避免，所以软件复制的同时，也复制了软件中的故障。在某种触发条件下...
- 韩炜
- 关键词：容错计算机故障树马尔可夫过程
- 文献传递
- 四余度容错计算机系统结构及其可靠性分析被引量：15
- 2003年
- 在飞行控制系统中,飞行控制计算机起着核心作用,要求具有极高的可靠性,整个系统的失效率要求小于10-8/小时。为了满足此要求,飞控计算机系统一般采用余度技术。本文结合工程实践,讨论了一个高性能四余度容错计算机的系统结构,建立了考虑系统瞬态故障恢复和多故障处理能力的多阶马尔科夫可靠性模型,并给出了数学计算结果。
- 韩炜臧红伟谢克嘉
- 关键词：可靠性分析容错冗余度飞行控制系统
- 非相似余度计算机系统及其可靠性分析被引量：14
- 2008年
- 为了避免共性故障导致的严重后果,研究了非相似余度计算机系统结构,使用不同的、完全独立的设计组,使用不同的开发语言、不同的开发工具,并在不同的处理器上运行,达到避免共性故障,提高安全关键系统的任务可靠性目的,应用一种简化的马尔可夫模型对其进行了可靠性分析.试验结果表明,非相似余度计算机系统(DRCS)结构提高了系统可靠性,MTBF达到9 000 h以上.
- 臧红伟韩炜高德远
- 关键词：非相似余度容错计算机可靠性马尔可夫模型
- 容错软件可靠性故障树分析方法被引量：2
- 2002年
- 在关键的场合,要求使用容错软件技术(包括非相似设计技术和恢复块技术)实现高可靠计算机系统。对一个计算机系统的可靠性分析可以使用各种技术,而故障树方法是在工程上比较常用的一种技术。故障树技术应用于硬件系统是比较成熟的,而这里针对三余度非相似余度计算机,将故障树技术应用在这个系统上,并给出了最小割集,在每个底事件的可靠性评估之后,就可以评估出整个非相似余度计算机系统的可靠性。
- 韩炜臧红伟
- 关键词：容错软件故障树可靠性
- 非相似余度计算机系统及其可靠性分析被引量：7
- 2003年
- 在许多应用领域如民用运输机的飞行控制系统、铁路交通信号控制等,对计算机控制的可靠性都提出了极高的要求。本文详细介绍了一个非相似余度计算机系统(NVFT)结构,同时应用一种简化的马尔可夫模型对其可靠性进行了分析。
- 臧红伟韩炜
- 关键词：非相似余度容错计算机可靠性马尔可夫模型
- 故障注入器功能设计被引量：8
- 2001年
- 对于容错计算机的验证 ,必须模拟在系统运行出现故障的情况下 ,容错计算机对故障的检测、隔离和定位能力。所以 ,需要研究故障注入技术。故障注入是通过一定的方法 ,按照一定的控制 ,改变计算机内部硬件或软件的状态 ,使其出现预先定义的故障状态 ,由此触发容错计算机的故障逻辑 ,验证故障逻辑的功能和性能。
- 韩炜
- 关键词：计算机容错技术
