国家自然科学基金(69873013)
- 作品数：9 被引量：230H指数：7
- 相关作者：杨孝宗宋远骏李德毅孙峻朝王建莹更多>>
- 相关机构：哈尔滨工业大学总参谋部海军装备论证研究中心更多>>
- 发文基金：国家自然科学基金国家高技术研究发展计划更多>>
- 相关领域：自动化与计算机技术理学一般工业技术电子电信更多>>
- 多机多任务实时系统云调度策略被引量：36
- 2000年
- 采用云方法对多机实时系统任务的重要性和任务处理的适时性进行分析 ,实时计算被激活任务的价值及其在不同资源条件下的作业执行时间 ,提出一种兼顾任务价值和作业执行时间两方面因素的新的调度策略——云调度策略 ,有效地解决了任务优先级的判定和任务处理适时性问题 ,提高了系统资源利用效率、运行质量和系统整体效能 .仿真证明 ,此策略优于现在广泛采用的固定优先级和先到先处理调度策略 .
- 宋远骏杨孝宗李德毅崔东华
- 关键词：多处理机实时系统
- 一种用于容错计算机系统整体验证的故障注入试验策略被引量：8
- 2001年
- 故障注入是一种有效的用于容错计算机系统验证的技术 .分析了系统的层次分解模型在故障注入试验中的作用 .提出一种基于动态故障树的容错系统分解模型 MBDT,着重讨论利用这种模型产生故障注入试验属性集的方法 ,最终形成一种对容错计算机系统进行整体验证的故障注入试验策略 .这种试验策略已经应用于研制的硬件故障注入器 HFI- 3中 ,并对一个航天容错计算机进行了验证 。
- 王建莹孙峻朝杨孝宗
- 关键词：容错系统计算机
- 提高用任务重复的检查点方案的性能被引量：8
- 2000年
- 设置检查点是减少程序在故障条件下执行时间的一种常用技术 .将检查点与任务重复技术相结合 ,不仅能够完成有效的故障恢复 ,而且还能进行完善的故障检测 .上述系统的开销主要来自两方面 :其一是每个检查点的比较和保存开销 ,其二是因故障而引起的卷回 .本文利用增量检查点对Ziv和Bruck提出的方法进行了改进 ,改进后的方法不仅能够有效地减少比较、保存检查点的开销 ,而且还能够避免潜伏故障引起的卷回 .分析表明改进后的方法与Ziv和Bruck的方法相比表现出更好的性能 .
- 李凯原杨孝宗
- 关键词：容错检查点卷回恢复
- 基于非完备性测试的一种分布式计算机系统诊断算法的设计
- 2001年
- 利用现有的商用并行、分布式计算机系统本身所固有的冗余可以实现低成本的容错。为了提高整个分布式计算机系统的可靠性，将系统中的故障结点与正确结点隔离至关重要。文章提出了一个有效的分布式系统级故障诊断算法：在利用系统中各结点机有限的故障检测能力的基础上，将所有的故障结点从系统中隔离，并测试了该算法对系统性能的影响。
- 左德承杨孝宗高巍
- 关键词：分布式计算机系统故障诊断
- 电子产品可靠性的云模型评价方法被引量：89
- 2000年
- 传统的可靠性评价方法一般限定产品工作于一个或几个典型的不变的条件下 ,对工作条件可变的情况 ,目前尚缺少有效的方法 本文采用云模型 ,通过对定性的环境因素语言描述进行定量不确定转换 ,建立产品的环境适应性模型和工作条件模型 ,反映工作条件的改变对产品寿命的影响 ,并在此基础上 ,提出了考虑可变工作条件影响的电子产品可靠性评价方法 。
- 宋远骏李德毅杨孝宗崔东华
- 关键词：电子产品云模型环境适应性
- DRD──基于诊断的高可靠分布式计算机系统的设计
- 2001年
- 提出了一种基于Ｆａｉｌ－ｓｉｌｅｎｔ节点故障行为的高可靠分布式计算机系统，提出了减少上述系统节点故障检测延迟的两条有效途径：利用单机有限的故障检测能力和增加任务特征状态比较。利用节点故障的诊断技术，将系统中的故障节点与正确节点隔离．通过节点故障恢复和系统重构，以提高整个系统的可靠性。
- 左德承高巍杨孝宗
- 关键词：分布式计算机系统DRD容错
- 故障注入方法与工具的研究现状被引量：68
- 2001年
- 本文将故障注入技术分为基于模拟的故障注入和基于物理的故障注入两类 ,并从应用方法和工具结构两方面介绍了该项技术的研究现状。
- 孙峻朝王建莹杨孝宗
- 容错计算机系统可靠性评估工具:HFI-2故障注入器被引量：12
- 1999年
- 本文介绍一个容错计算机系统可靠性评估工具:HFI2故障注入器,描述该故障注入器的功能和结构并讨论一些关键技术,用实验验证了这一工具的有效性.
- 王建莹孙峻朝杨孝宗
- 关键词：容错可靠性评估计算机系统
- 考虑环境因素的计算机可靠性云模型评价被引量：26
- 2001年
- 计算机可靠性与其产品的环境适应能力和工作条件紧密相关 .对产品工作条件描述的模糊性 ,对环境适应能力描述的概略性 ,是考虑环境因素的可靠性评价最大的困难 .采用云模型将不确定的工作条件和概略性的环境适应能力描述映射为可细微变化的不同云滴 ,实现定性和定量的合理转换 ,并在此基础上 ,提出一种新的考虑环境因素影响的可靠性评价方法 。
- 宋远骏杨孝宗李德毅崔东华
- 关键词：云模型环境因素计算机
