软件注入故障的跟踪及其响应分析研究

来源 :信息与电脑(理论版) | 被引量 : 1次 | 上传用户:aridan
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
随着计算机应用领域的日益广泛,计算机的可靠性问题越来越关键。为了保证容错机制在应用时能达到预期效果,必须要在系统应用之前对这些容错机制的有效性、可靠性进行验证。基于此,本文将基于PIN对目标程序进行软件注入故障,并进行跟踪及影响分析。
其他文献
为了实现基于智能相机的圆网印花自动对花系统,本文提出了基于均值漂移(MeanShift)算法的彩色印花图案分割技术和基于Harris角点检测的块匹配算法。将扩展形式的均值漂移算法用于印花图案的分割,实验证明该算法能对印花图像进行良好的分割。把已分割标准图像的各套色区域提取出来,采用Harris算子进行特征点检测,并以这些特征点为中心,选定标准匹配块,在处理好的实时采集的图像中找到最佳匹配块,计算对
期刊
数字合成X射线体层成像技术能利用有限角度下的投影数据重建物体任意断层的图像。在数字合成X射线体层成像重建算法研究中,模拟投影数据是重要的步骤,本文提出了一种基于GPU光线投射算法的数字合成X射线体层成像投影数据模拟方法。比较传统CPU模拟手段,GPU模拟方法计算速率快,且基于硬件支持的三线性插值能够得到更加接近实际的投影结果。本文采用传统CPU模拟方法和GPU模拟方法分别计算投影数据,对两种方法获
期刊
本文针对有限角度的投影数据的CT图像重建问题,提出了一种基于数据外插改进的ART算法。该算法的基本思想是运用已知角度的投影数据来补全未知角度的投影数据,再用ART算法进行图像重建。最后用模拟的投影数据进行了重建图像的数值实验。实验结果表明该算法不但提高了重建图像质量,同时也提高了图像迭代的收敛速度。
期刊
视频分析中的一个热点和难点是研究视频的语义,例如场景分类、视频检索、移动目标行为分析等。其中场景分类是视频语义研究中的一个基础问题。在对视频场景进行分割的基础上,通过分析场景多个颜色分量的统计直方图,发现大多数典型场景总有一个或者多个颜色分量的场均直方图具有独特性,即在某个场景中,其累计的平均直方图的形状是与特定场景相关的。提取高斯拟合后场均直方图各峰的峰高、峰位和峰宽等特征,利用最小二乘法,提出
期刊
科学计算可视化是发达国家20世纪80年代后期提出并发展起来的一个新的研究领域,它运用计算机图形学和图像处理技术,将三维数据转换为图形及图像在屏幕上显示出来并进行交互处理,主要包括面绘制和体绘制两种方法。光线投射算法是最经典的三维数据体绘制方法,图像质量较高,但计算时间较长,基于CUDA的编程技术利用GPU的多核并行运算功能可显著提高计算速度,实现大规模三维数据的实时可视化。
期刊
本文具体介绍了一种Feldkamp-type感兴趣区域锥束CT重建方法。首先,我们分析了算法的特点;继而利用锥束扫描模式存在的对称性的反投影优化性质进行算法优化;最后,通过Shepp-Logan数值模拟实验显示优化方法可有效提高图像重建的速度且几乎不影响图像质量。
期刊
颅骨是人体中最重要的组成部分之一,起着保护和支撑脑部组织的作用。现实中由于种种原因,许多人承受着颅骨缺损的痛苦,不仅影响外观,而且还可能导致脑组织损坏。如何有效地修复缺损的颅骨成了国际研究的热点。目前,医生主要是通过观察病人的CT影像确诊病人颅骨损坏情况,并通过手工制作修复体,这极大地依赖于医生的技术和经验。为了解决这一问题,本文利用交互技术——B样条曲线对CT数据中的某些具有代表性的层或逐层修复
期刊
X-CT成像系统中,当被检测物体中含有金属等高密度物质时,对投影数据重建后,重建图像中将出现放射状伪影或带状伪影。这些伪影严重影响了图像的质量,给人们的判断带来极大困难。金属伪影的校正已成为CT技术中的研究难点和热点。本文阐述了金属伪影产生的原因,就近些年出现的金属伪影校正方法进行归纳总结,并对金属伪影校正方法研究的前景进行讨论。
期刊
目的研究多层CT血管成像在80kV与100kV时采用非线性噪声滤过器对模型内的模拟内漏检出的影响。材料与方法制作主动脉碘内漏模型。采用80、100与
期刊
计算机三维图像的真实效果一直是三维图形工作者追求的目标,图像渲染的真实效果与光的关系很大,利用HDRI图像作为环境光贴图能给三维场景提供更真实的光照环境,为获取相片级的渲染图片提供可能性。
期刊