当前位置：
首页
--
工业技术
--
自动化技术、计算机技术
--
计算技术、计算机技术
--
一般性问题
--
调整、测试、校验
基于贝叶斯网络的计算机硬件系统故障诊断研究
基于行为时序逻辑TLA的网络协议的描述与验证
基于多值可能性的模型检测器MvChecker的设计与实现
基于时间属性序列图的运行时验证技术研究
计算机主板故障诊断卡设计与实现
复杂计算机系统可用性评测技术研究
用于关键任务计算机可用性测评的事件注入系统实现
系统错误定位的形式化方法研究
Improving Availability with Fine-grained Failure Detection and Recovery
几类光互连网络的诊断性与容错性
云计算系统故障注入平台的研究与设计
分布式系统自适应故障检测技术研究
基于本体和规则的计算机故障诊断研究
基于可能性测度的时序逻辑性质研究
基于可能性测度的计算树逻辑与可能性互模拟
计算机硬件测试系统的设计与实现
线性空间理论在定理证明器HOL中的形式化
MapReduce故障恢复机制设计与实现
个人电脑量产化测试状态监控系统设计
计算机故障诊断仪的设计与实现
基于L4的高效可复用设备驱动模型的研究
基于事件注入的可信性评测工具的研究与实现
时延故障测试产生算法与IDDT测试实验研究
CC-NUMA计算机结点内部硬件含错处理研究
基于硬件性能监视的性能测试技术研究
嵌入式实时系统测试的充分性研究与实践
嵌入式覆盖测试工具GammaCP的设计与实现
基于模拟的高性能体系结构评测技术研究
符号模型检测的研究
电气工程师PDA检测与存储系统设计
基于事件注入的可靠性评测方法的设计与实现
CC-NUMA系统中Cache一致性协议模拟验证方法研究
基于FPGA的弹载计算机调试方法研究
面向自恢复的微重启技术研究
面向失效恢复的悔改方法研究
异构（CPU-GPU）计算机系统性能评测与优化技术研究
基于事例推理散热模组冲压件成本评估系统
基于全三维流场分析的微小型轴流风扇优化设计系统的设计实现
电脑风扇噪声主动降噪关键技术研究
[1]
