2024年8月25日
星期日
|
欢迎来到维普•公共文化服务平台
登录
|
进入后台
[
APP下载]
[
APP下载]
扫一扫,既下载
全民阅读
职业技能
专家智库
参考咨询
您的位置:
专家智库
>
>
王建莹
作品数:
13
被引量:111
H指数:7
供职机构:
哈尔滨工业大学计算机科学与技术学院计算机科学与工程系
更多>>
发文基金:
国家自然科学基金
更多>>
相关领域:
自动化与计算机技术
航空宇航科学技术
更多>>
合作作者
杨孝宗
哈尔滨工业大学计算机科学与技术...
孙峻朝
哈尔滨工业大学计算机科学与技术...
徐海智
中国科学技术大学研究生院
曲峰
哈尔滨工业大学
作品列表
供职机构
相关作者
所获基金
研究领域
题名
作者
机构
关键词
文摘
任意字段
作者
题名
机构
关键词
文摘
任意字段
在结果中检索
文献类型
11篇
期刊文章
1篇
学位论文
1篇
科技成果
领域
13篇
自动化与计算...
1篇
航空宇航科学...
主题
13篇
计算机
12篇
容错
7篇
计算机系
7篇
计算机系统
5篇
容错计算
5篇
容错计算机
4篇
容错计算机系...
3篇
容错机制
3篇
故障注入器
2篇
容错系统
2篇
可靠性
2篇
可靠性评估
1篇
硬件
1篇
宇宙
1篇
宇宙飞船
1篇
系统可靠性
1篇
系统可靠性评...
1篇
基于硬件
1篇
飞船
1篇
测评
机构
13篇
哈尔滨工业大...
1篇
中国科学技术...
作者
13篇
王建莹
10篇
杨孝宗
10篇
孙峻朝
1篇
徐海智
1篇
曲峰
传媒
2篇
计算机研究与...
2篇
计算机工程与...
1篇
宇航学报
1篇
电子学报
1篇
计算机学报
1篇
计算机工程与...
1篇
微电子学与计...
1篇
小型微型计算...
1篇
计算机工程与...
年份
3篇
2001
2篇
2000
6篇
1999
2篇
1998
共
13
条 记 录,以下是 1-10
全选
清除
导出
排序方式:
相关度排序
被引量排序
时效排序
故障和容错机制的层次模型
被引量:2
1999年
该文讨论了根据系统划分和功能两种不同角度建立的系统层次模型,在此基础上分析了这两种系统层次模型对建立故障模型和客借机制模型的指导作用。
孙峻朝
王建莹
杨孝宗
关键词:
容错机制
计算机系统
容错计算机系统可靠性评估中的覆盖率问题
1999年
覆盖率是容错系统设计和评估中的重要概念。该文介绍了采用行为分解技术建立和求解覆盖率模型的方法,总结了用故障注入技术估计覆盖率需要考虑的几个问题。以一个双机容错系统的评估为例,说明了这些方法在容错系统可靠性评估中的应用。
王建莹
孙峻朝
杨孝宗
关键词:
可靠性
容错计算机系统
FTT-1:一个基于硬件的故障注入器的设计与实现
被引量:7
1998年
故障注入是评价计算机系统可信性的一种重要的试验方法。构造故障注入器是故障注入研究中的一个重要组成部分。此文介绍了FTT-1,一个基于硬件的故障注入器的设计与实现。文章讨论了设计与实现硬件故障注入器的关键技术,并介绍了在FTT-1的实现中解决这些关键技术的方法。试验结果证明了FTT-1用于评价容错计算机系统可信性的有效性。
王建莹
孙峻朝
李运策
杨孝宗
关键词:
容错
计算机
硬件
故障注入器
容错机制的测试与评估技术
被引量:1
1999年
文章分析了容错机制在其评价过程中所表现出来的若干特征,进而从测试和评估两方面讨论了容错机制的评价技术。
孙峻朝
王建莹
杨孝宗
关键词:
计算机
容错
一种用于容错计算机系统整体验证的故障注入试验策略
被引量:8
2001年
故障注入是一种有效的用于容错计算机系统验证的技术 .分析了系统的层次分解模型在故障注入试验中的作用 .提出一种基于动态故障树的容错系统分解模型 MBDT,着重讨论利用这种模型产生故障注入试验属性集的方法 ,最终形成一种对容错计算机系统进行整体验证的故障注入试验策略 .这种试验策略已经应用于研制的硬件故障注入器 HFI- 3中 ,并对一个航天容错计算机进行了验证 。
王建莹
孙峻朝
杨孝宗
关键词:
容错系统
计算机
容错机制测评中的故障注入模型及应用算法
被引量:11
1999年
故障注入(FI)是一种有效的测试和评价容错机制(FTM)的方法, 可被普遍应用于容错计算机系统开发过程的各个阶段中. FI技术正确的和更广泛的应用依赖于对FI原理的一致理解. 文中首先详细讨论了FI的应用对象即FTM 在测评中所表现出来的若干特征, 在此基础上提出了六元组描述的FI模型, 并对各组成元的属性进行了深入分析. 同时, 作为FI模型的具体应用过程, 文中给出了FI独立试验算法(FI-IEA),
孙峻朝
王建莹
杨孝宗
关键词:
容错机制
计算机
用软件实现的故障注入工具评估错误检测机制
被引量:14
2000年
故障注入是容错计算机系统可靠性评估的重要手段 .本文介绍了软件实现的故障注入工具 SOBFI的设计和实现 .用 SOBFI对 RS6 0 0 0工作站的错误检测机制和两种软件实现的错误检测机制进行了试验评估 .结果表明 ,在非容错商用计算机系统中加入简单的软件实现的错误检测机制 ,也可以达到很高的错误检测覆盖率 .
王建莹
杨孝宗
徐海智
关键词:
容错
计算机
故障注入方法与工具的研究现状
被引量:66
2001年
本文将故障注入技术分为基于模拟的故障注入和基于物理的故障注入两类 ,并从应用方法和工具结构两方面介绍了该项技术的研究现状。
孙峻朝
王建莹
杨孝宗
面向容错系统验证的故障注入技术研究
目前在中国的航天、航空、国际等重要领域使用的计算机系统一般都为自行研制,而且大多为高可靠的容错计算机系统.故障注入技术作为一种容错计算机可靠性测评的重要方法,能够为容错计算机系统的研制提供重要的技术支持.该文对有关故障注...
王建莹
关键词:
容错计算机系统
容错系统
文献传递
计算机系统开发中的可信性评价概述
被引量:2
1998年
本文将高可信计算机系统的开发过程划分为需求、设计、实现和集成四个阶段,分别介绍各阶段中与可信性有关的任务及可信性评价技术的应用。
孙峻朝
王建莹
杨孝宗
关键词:
容错
计算机系统
全选
清除
导出
共2页
<
1
2
>
聚类工具
0
执行
隐藏
清空
用户登录
用户反馈
标题:
*标题长度不超过50
邮箱:
*
反馈意见:
反馈意见字数长度不超过255
验证码:
看不清楚?点击换一张