【摘 要】
：
传统的文档审查通常采用基于检查单的审查方法，该方法主要存在以下两个问题，一是检查单中记录的缺陷类型不全，容易导致审查时缺陷的遗漏；二是检查单中某些问题类型与文档间缺乏直接的映射关系，在使用检查单时效率不高。为解决上述问题，提出了一种基于文档对象失效模式分析的审查方法，将文档按结构分解为各种文档对象，并建立典型文档对象的失效模式数据库，在文档审查时，使用文档对象的失效模式数据库来与文档进行比对，从而
【机 构】
：
System Engineering Research Institute of CSSC, Beijing 100094
论文部分内容阅读
传统的文档审查通常采用基于检查单的审查方法，该方法主要存在以下两个问题，一是检查单中记录的缺陷类型不全，容易导致审查时缺陷的遗漏；二是检查单中某些问题类型与文档间缺乏直接的映射关系，在使用检查单时效率不高。为解决上述问题，提出了一种基于文档对象失效模式分析的审查方法，将文档按结构分解为各种文档对象，并建立典型文档对象的失效模式数据库，在文档审查时，使用文档对象的失效模式数据库来与文档进行比对，从而建立了文档与缺陷之间的映射关系，为使失效模式数据库更全面，引入了一种系统地分析失效模式的方法，即对象失效模式分析方法(Object-FMA)。在实际应用中，将该方法与传统的检查单方法进行了试验比较，结果表明基于Object-FMA的文档审查方法能够发现更多的文档缺陷，经审查人员反馈，该方法由于建立了文档与缺陷之间直接的映射关系，在使用时效率更高，从而验证了该方法的有效性。
其他文献
消除隐藏面(hidden surface,简称消隐)丢弃了看不见部分,保留了可见部分,这样,不仅可以加快图形的处理速度,同时不会减少图形逼真性与图形真实感性。本文介绍了GPU流水线结构并研究了基于GPU流水线的背面剔除算法的硬件实现,通过采取优化措施,处理速度得到大幅度提高。本文还用SystemVerilog语言行为建模搭建验证平台,对硬件模块进行验证,提高了硬件设计的准确性。
在SoC芯片设计中，由于芯片测试引脚数目的限制以及基于芯片性能的考虑，通常有一些端口不能进行测试复用的IP核将不可避免地被集成在SoC芯片当中。对于非测试复用IP核，由于其端口不能被直接连接到ATE设备的测试通道上，由此，对非复用IP核的测试将是对SoC芯片进行测试的一个重要挑战。在本文当中，我们分别提出了一种基于V93000测试仪对非复用ADC以及DAC IP核的测试方法。对于非复用ADC和DA
相变存储器(Phase Change Memory,PCM)由于其高密度、低漏电功耗、抗辐射、非易失性、可扩展性等优势受到学术界和工业界的广泛关注,但是它面临着寿命有限、电阻漂移等可靠性问题。提高相变存储器的寿命和缓解电阻漂移对于其实用化十分重要。本文介绍了相变存储器的故障模型,延长其寿命的四类主要方法以及电阻漂移缓解方法。
随着集成电路设计复杂度不断增加，硅前验证已经难以保证没有错误进入硅后芯片之中。而在硅后阶段调试多核处理器芯片，非确定性错误是面临的重大挑战之一。本文针对多核处理器中非确定性错误的调试技术进行综述和深入分析。首先，介绍了多核处理器调试硅后调试技术面临的困难，特别是非确定性错误带来的新挑战；然后，概括介绍了国内外在多核处理器硅后调试特别是针对非确定性错误调试的最新进展，分析了已有方法存在的问题；最后，
作为延续摩尔定律的候选技术，三维(3D)集成技术具有多工艺集成、高性能、低功耗、高带宽、低芯片尺寸等技术优势。基于过硅通孔(TSV)散热的3D集成技术难以克服散热性能差和高工作温度的技术挑战，最近提出的基于微通道液态制冷的3D集成技术能够有效而彻底地改善3D芯片的散热问题。本文先介绍2D集成技术对多核片上系统(MPSoC)性能设计的限制；再引出基于TSV散热的3D集成技术及其面临的技术挑战；最后给
随着集成电路设计和半导体工艺的发展，以及人们对计算需求的不断提高，处理器的结构也逐渐由单核、多核向众核演化。与此同时，单个多核处理器芯片的功耗也迅速上升。但限于片上供电及散热等因素的限制，功耗成为限制众核处理器性能提升的主要瓶颈。因此，如何在功耗受限的前提下充分发挥众核处理器的计算能力，即高效的能耗管理方法，是当下计算机体系结构设计的关键问题之一。现有的管理手段主要有动态电压频率调节、多线程技术及
平面裁剪是图形处理器(GPU)中不可缺少的部分。不同于视景体裁剪，用户可以任意指定最多6个不同平面对三维场景进行裁剪，以删除场景中不可见的物体，这一过程是在世界坐标系中完成的。本文根据Sutherland-Hodgman多边形裁剪算法，设计了并行结构的裁剪加速器，能够实现对简单图元点、线和三角形的剪裁。按照流水线处理的需要，对裁剪后的多边形进行装配。本文采用SystemVerilog作为建模和验证
本文对一款X86架构处理器的复杂指令在保护模式以及长模式下进行了功能验证。通过对X86架构处理器运行模式进行分析，搭建了进入保护模式以及长模式(长模式包括兼容模式及64bit模式)的模板，为指令集在这3种模式下进行功能验证奠定基础。基于对X86指令访存次数及访存难度的研究，将指令集分为一般指令、一般复杂指令与复杂指令，并对复杂指令：CALL FAR、JUMP FAR、RETURN FAR、INT和
在航空航天领域，大量安全关键的实时软件系统承担着数据采集、处理和分析任务，如何模拟各种故障数据，对实时软件系统进行充分测试一直是工程实践中的现实难题。本文根据实时软件系统输入数据源特征，定义了报文变异和数据变异两大类共14种输入数据变异算子，提出了一种基于变异的实时软件系统故障数据模拟架构，能够在系统、子系统、采集单元和传感器等多个层次上应用各种变异算子，系统地模拟生成故障数据，为软件测试提供各种
测试环境作为软件测试的载体和平台，是软件测试工作的主要支撑和重要保证。测试环境设计作为测试设计的一项重要内容，对于测试技术和方法的选择、后续测试执行工作及测试结果的充分性和可信性都具有十分重要的意义。本文在对软件运行环境分析的基础上，提出了信息系统软件测试环境设计和构建的基本思路和方法，并对测试环境差异性进行了分析，为测试环境构造提供了借鉴。