一种高效的小时延故障模拟方法

随着集成电路工艺尺寸不断缩小,电路规模不断增大,要得到很高的小时延故障覆盖率所需的测试向量越来越多,致使小时延故障模拟成本越来越高.为了降低模拟成本,提出一个高效的小时延故障模拟器.模拟方法中引入新的波形表达方式,按电路结构的拓扑顺序进行分级模拟,最后可得到每个故障的检测区间,并且应用时延故障概率分布来计算故障覆盖率.实验结果表明,此方法能大幅降低模拟时间和内存消耗.     

基于错误模式和模型检验的静态代码分析方法

为提高程序编写的正确率,减少软件开发和维护开销,提出一种基于错误模式和模型检验的静态代码分析方法。该方法将C语言程序常见的错误模式以CTL公式表示,形成可扩展的CTL公式库,生成待检测程序的控制流图(CFG)后,将CFG抽象并转化为等价的 Kripke结构,利用标号算法实现模型检验,由此验证程序的正确性。基于CoSy编译平台的实验结果表明,该方法能正确查找出程序中存在的错误模式,且具有良好的可扩展性。     

基于异常任务运行记录的WSN故障检测

针对传感器网络在资源受限部署后难以实施故障检测的问题,提出基于异常任务运行记录的故障检测方法。通过分析节点程序运行特征,建立节点行为状态模型,结合系统部署前的测试执行记录和卡方检验技术进行故障检测。实验结果表明,该方法与已有方法相比,能有效检测未知类型故障,且通信、存储和计算开销均较小。     

基于SCSI的存储系统评测平台设计与实现

为解决海量存储系统的容错性问题,定义SCSI磁盘I/O故障模型,设计并实现一种基于SCSI协议的存储系统评测平台。利用SCSI协议中间层提供的接口函数,截获SCSI上层命令,并将其修改为模拟多种故障注入。通过实验比较系统在故障前与故障中的应用级性能,结果表明,该评测平台对不同故障具有不同的容错能力,可以衡量不同存储系统的技术指标。     

基于反馈的可伸缩视频编码容错策略

为提高可伸缩视频编码(SVC)在易错传输环境下的解码质量,研究帧内宏块刷新和参考帧选择2种容错技术,根据视频空间分层下SVC的层间预测特性,提出2种改进策略并进行对比。测试结果表明,在码率控制的情况下,改进的参考帧选择策略传输后重建图像的平均亮度峰值信噪比较高,更适用于低码率的传输环境。     

基于STAF的故障注入自动化测试平台

为提高高端容错计算机故障注入自动化测试的执行效率,基于开源的自动化测试工具STAF,设计一个可集成多种故障注入工具的分布式自动化测试平台。论述分布式运行环境与平台软件架构,给出任务控制算法的流程,对故障注入模块进行分析。实验结果表明,该平台可提高测试任务的复用性,缩短测试时间。     

基于二部图的公共交通网络模型

利用现有方法对兰州市公共交通网络进行建模时,不能得到真实网络参数,或复杂度过高。为此,以二部图作为基本模型,将车次作为“上集”,站点作为“下集”,建立兰州市公共交通网络模型。计算并分析数据,验证其符合小世界特性和无标度网络,并利用 Laplacian特征值和最大连通子图相对值来分析网络的性能和连通情况。分析结果证明,该模型在减少网络存储空间的同时能保证计算结果的准确,且对其优化也较简单直观。     

含公用备件系统的可靠性研究与分析

针对微小卫星对可靠性、重量和体积的苛刻要求,提出一种公用备件与冷备份并存的系统设计方案。利用故障树基本理论和MonteCarlo仿真的方法对该系统的可靠性进行建模、分析和计算。结果表明,该方案保留了公用备件系统节省重量与体积的优点,同时能够保证该系统的可靠性在2年内与三机冷备份处于同一数量级。     

城市轨道交通电力监控系统的不足与未来展望

随着轨道交通的快速发展、运能负荷运日增长,电力设备故障也明显增加,网络化运营逐渐形成的趋势下,传统的电力监控系统采集精度低、综合监控程度不高,无法实现监控、预警及抢修处理的一体化,对于网络化运营的实现具有一定的局限性.展望未来的电力监控系统,可实现高精度的实时电力监控,达到及时发现预警,精确定位故障的目的,具备有效的应急方案,实现网络化安全运营.系统可采集高精度电流、电压、相位数据,通过专业算法对实时监控数据的计算和对比,产生预警信号;通过故障定位算法精确确定故障位置,生成故障事件,进行处理,全程监控事件处理过程,可实现实时建议指导;并且配备预案库及知识库,提供历史经验参考,快速有效的解决电力故障,恢复列车运营,实现高度集中的、可靠的网络化安全运营.     

基于混合粒子滤波的故障诊断方法

结合了模糊递归神经网络和粒子群算法,在此基础上改进粒子滤波的故障诊断方法．故障诊断作为智能控制的研究热点,其算法层出不穷．粒子滤波故障诊断作为基于解析模型的状态估计诊断方法的一种,一直在工业生产中起着重要的作用,但其自身的缺点也限制了它的进一步发展,保留粒子滤波的优势,提出一种基于混合算法的粒子滤波故障诊断方法,该方法不但一定程度上解决了权值退化的问题,而且改进了粒子群算法,并结合神经网络算法在啤酒发酵温控系统中形成了故障检测、预测和辨识为一体的故障诊断方法．