国防科技技术预先研究基金(417010402)
- 作品数：6 被引量：26H指数：3
- 相关作者：魏振华乔永强彭俊杰洪炳熔蔡则苏更多>>
- 相关机构：哈尔滨工业大学中国航天科技集团公司第九研究院第七七一研究所中国航天科技集团更多>>
- 发文基金：国防科技技术预先研究基金国家自然科学基金更多>>
- 相关领域：自动化与计算机技术航空宇航科学技术更多>>
- 采用数据流图的故障模型生成算法及其应用被引量：4
- 2009年
- 为有效地解决系统级故障注入试验建模困难问题,提出语言级生成数据流图,并以此构造动态故障树的故障模型建立方法.通过对故障过程数据流分析,找出数据依赖关系并构造了故障模型生成算法.与其他方法比较,本算法具有动态性,提高了故障覆盖率,减少了系统开销,使故障注入试验更易实现.
- 王胜文张凤斌郑纬民
- 关键词：数据流图
- 基于偏差信息的星载计算机系统负载平衡算法的研究
- 2002年
- 相邻结点负载平衡算法具有计算简单、额外开销小的优点 ,但由于采用局部的观点平衡负载 ,限制了结点信息得到的范围 ,使得系统在某种情况下达不到全局平衡。本文提出了基于偏差信息的星载计算机系统负载平衡算法。它改变了结点传递的实际负载信息 ,使修改后的负载信息能体现出结点及其周边结点的负载形势 ,以此弥补了相邻结点负载平衡算法的不足 ,并将其应用在星载计算机系统上。首先 ,介绍了相邻结点负载平衡算法及其存在的不足 ;其次 ,描述了基于偏差信息的星载计算机系统负载平衡算法 ;最后 ,通过仿真实验 ,给出了这种算法同其它几种负载平衡算法的比较 ,并证明了它的正确性与可行性。
- 魏振华洪炳熔乔永强蔡则苏彭俊杰
- 关键词：星载计算机负载平衡
- 星载计算机系统瞬态过载不精确容错调度算法研究被引量：3
- 2007年
- 卫星在空间作业时经常需要容错处理大量复杂的任务,这将导致过载现象的发生,星载计算机系统将不能在期限内调度它们而产生调度失败。基于这种情况,提出了星载计算机系统瞬态过载不精确容错调度算法(OLIFTSA)。它采用不精确调度思想来完成过载情况下的调度,最终取得最大的调度精度。另外,提出星载计算机系统可靠性代价概念,它能量化容错调度所产生的开销,从而使本算法容错调度代价最小。仿真实验表明:OLIFT-SA算法可以在瞬态过载时,以最小的容错开销获得最大的任务执行精度。
- 魏振华柳长安周宏
- 关键词：星载计算机系统容错调度
- 嵌入式实时操作系统Nucleus中线程控制部件的实现方法被引量：16
- 2003年
- 随着嵌入式系统的飞速发展,Nucleus实时操作系统已成为嵌入式应用的潮流和方向。深入全面地探讨了Nucleus中线程控制的实现方法。首先,对Nucleus的内核进行了概述,并给出了各模块之间的联系;其次,阐述了Nucleus的任务调度算法、优先级表示及其计算方法;最后,讨论了Nucleus的中断实现和临界区的保护方法。
- 魏振华洪炳熔乔永强蔡则苏彭俊杰
- 关键词：嵌入式系统任务调度
- 星载系统单故障恢复策略研究
- 2005年
- 针对指令重试时难以合理选择重试时机和冗余资源问题,并根据星载系统的特点,提出了系统致命失效概率最小的单故障重试恢复策略.该策略以星载系统所有出现的故障均为单故障这一假设为前提,建立了指令重试时间与系统资源备份数及系统的致命失效概率间的关系.通过最小化系统的致命失效概率,可得出在系统资源备份一定时的最佳指令重试时间.同时,若系统存在最大致命失效概率,则可得到在最佳指令重试时系统所需的资源备份数.分析该策略可以发现,星载系统的致命失效概率随着系统的运行期的延长而增大,并且随着错误检测率的提高,星载系统的可靠性增加.
- 彭俊杰洪炳镕袁成军魏振华乔永强
- 关键词：星载系统可靠性故障恢复
- 基于实时操作系统VxWorks的CAN驱动设计与实现被引量：3
- 2006年
- 设备驱动设计是嵌入式系统开发的难点。针对本系统可靠性和实时性要求严格的特点,在详细分析VxW orks实时操作系统设备驱动机制的基础上,通过采用内核过程的方式实现了VxW orks下CAN设备驱动,达到了预期的目标。所给出的VxW orks下设备驱动设计的一般步骤为VxW orks其他设备驱动开发提供了参考。
- 徐美荣蔡铭董金祥
- 关键词：VXWORKS实时操作系统CAN总线
