错误检测

摘要： 单粒子翻转引起的静默数据损坏(SDC)错误是影响嵌入式系统可靠性的关键因素.针对SDC错误难以检测的问题,本文提出了一种基于AdaBoost的SDC错误检测方法.方法首先将物理空间中的单粒子多位翻转映射到单一指令中,并建立故障模型;然后根据故障模型对目标程序进行故障注入以获取故障注入仿真实验结果,使用AdaBoost算法训练指令SDC脆弱性模型;最后根据模型预测结果对目标程序进行粒度可配置的指令冗余以达到检测SDC错误的目的.实验结果表明,与现有方法相比,本文提出的利用AdaBoost的SDC错误检测方法有着较高的检测率和较低的时空开销.

摘要： 知识图谱因为其链接结构和强大的互联能力,成为大数据时代最有效的表达方式之一,但大规模的信息时刻都在更新,从而导致知识图谱的真实、准确、时效的特质很难维持,有些信息随着时间的推移会变得过时。现有大部分研究主要停留在对已有的知识图谱的补全中,但这种补全方法并未考虑到数据源的准确性和时效性问题,从而导致以知识图谱为基础的后续研究的准确性降低。还有部分研究仅仅通过匹配已知的过时三元组,在知识库中找出并加以替换,这种方法只能覆盖一小部分信息,对于大型的知识图谱并不适用。为了解决以上问题,论文提出了一种基于知识嵌入的关系检错和知识补全方法。该方法分为关系检错和知识补全两个阶段。经证明,论文提出的方法可以有效检测出过时关系并加以知识补全,在一定程度上减少了手动检错的人力与时间,并且提高了知识图谱的知识完备性。

摘要： 针对武器装备在总装测试中出现的接口时序不匹配,现有测试方法不能实现长期连续自动测试的问题,提出基于层次有向图的时序一致性测试方法.该方法首先通过建立接口时序的层次有向图模型实现标准时序描述,然后利用错误检测算法实现异常时序的检测和定位.实验结果表明,该方法能够对通信周期内单个逻辑性错误的异常时序实现准确检测,对不收敛的异常时序能实现完全检测,适用于单个错误的异常时序检测.

摘要： 针对传统视频图像数据传输过程中,视频数据错误检测及抗攻击能力弱的缺点,本文采用了Hash及非对称加密两重加密方法,将待处理视频图像数据进行加密,既保证了Hash散列值的安全,也保证了原始视频数据的安全,实现了视频传输过程中发送、接收双方数据完整性及不可抵赖性.并且,该思想可应用于其它多端用户之间数据交互的安全应用场景,具有较好的普适性.

摘要： [目的]解决知识库中存在的噪声数据问题,对基于置信学习的知识库错误检测方法进行探索.[方法]利用TransE模型对知识库三元组进行向量表示,通过多层感知机模型进行错误检测识别,然后利用置信学习对样本集进行清洗,并通过多轮迭代训练,降低噪声数据对模型的影响.[结果]所提方法在DBpedia数据集上,最优F1值达到0.7364,优于对照组方法.[局限]实验数据集中的噪声数据由人工产生,与真实噪声数据分布有一定差异,在更大规模知识库上的通用性有待考证.[结论]探索了基于置信学习的知识库错误检测方法,通过置信学习降低了噪声数据的影响,从而在知识库错误检测任务中有较好性能.

摘要： 消息队列异步通信信号错误检测过程中会受到白噪声、高斯噪声等因素干扰,导致信号错误检测概率极高,严重会使异步通信信号不能正常运输,于是提出一种基于自适应变异的消息队列异步通信错误检测方法.通过分析自适应变异特征消息队列异步通信流程,根据输入消息队列异步通信信号扩频码、周期、幅值以及相位等方法判断出输出异步通信错误信号,并通过定时同步、无线噪声以及多址干扰等存在的错误情况分析,将得出的错误问题进行修正,完成消息队列异步通信错误检测.实验结果表明,所提方法操作简便、错误概率极低,异步通信错误检测能力极强.

摘要： 随着软件回归测试规模的不断增大和成本的不断增加,测试用例集约简对于提高软件的回归测试效率显得愈发重要.在选取测试用例子集时,需考虑该子集的代表性和多样性,并采用一个有效的算法来求解.针对该测试用例集约简问题,文中提出了一种基于次模函数最大化的算法SubTSR.尽管引入的离散优化问题是NP-hard问题,但文中利用其目标函数的次模性,采用启发式贪心搜索,求得有近似度保证的次优解.在15个数据集上对SubTSR算法与其他测试用例集约简算法展开实验,针对平均错误检出率、错误检测损失率、首次错误检出位等指标,尝试改变LDA处理中的主题个数以及衡量测试用例相似度的距离,以验证SubTSR算法的有效性.实验结果表明,SubTSR算法在错误检出性能上较其他算法有着较大提升,且在多个数据集上的表现保持相对稳定.在主题个数变化引起文本表示变化时,采用曼哈顿距离的SubTSR算法的性能相较其他算法仍能保持相对稳定.

摘要： 在太空辐射环境中,计算机系统中的硬件部分如寄存器和存储设备中存储的数据会因单粒子效应而发生改变,可能导致程序正常执行但输出结果不正确,引发数据流错误.针对在程序级数据流错误的检测率不高并且开销大的问题,面向程序级代码,本文提出了一种基于深度学习的数据流错误检测方法DEDDL,可智能识别关键变量.进一步针对分析结果,提出了数据流错误检测算法DAIA,可自动添加具有复算冗余和有检测功能的语句,实时检测程序的数据流错误.实验结果表明,本文提出的方法,在取得较高错误检测率的同时,相对于已有的数据流错误检测算法拥有较低的时空开销;并具有独立于具体编译器,便于实施,快速部署等优点.

摘要： 【目的】解决知识库中存在的噪声数据问题,对基于置信学习的知识库错误检测方法进行探索。【方法】利用TransE模型对知识库三元组进行向量表示,通过多层感知机模型进行错误检测识别,然后利用置信学习对样本集进行清洗,并通过多轮迭代训练,降低噪声数据对模型的影响。【结果】所提方法在DBpedia数据集上,最优F1值达到0.7364,优于对照组方法。【局限】实验数据集中的噪声数据由人工产生,与真实噪声数据分布有一定差异,在更大规模知识库上的通用性有待考证。【结论】探索了基于置信学习的知识库错误检测方法,通过置信学习降低了噪声数据的影响,从而在知识库错误检测任务中有较好性能。

摘要： AFL作为模糊测试领域最具有代表性的工具,使用至今已发现大量软件的内存漏洞。实验表明,AFL超过60%的变异操作不会产生任何新路径,这些变异都是无效的变异。文章对AFL种子变异策略进行分析,研究并提出了一种变异策略的优化算法。该算法通过在确定性变异阶段记录种子文件的有效字节数组,在随机性变异阶段判断要变异的字节是否为有效字节来进行选择性的变异。根据所提出的算法对AFL进行了优化,实验验证了该种子变异优化算法的有效性。

摘要： 关注MPI并行程序的运行时错误检测,提出了一种基于冗余进程的检错方法REDReP,能够检测MPI并行程序在运行过程中由于硬件故障导致的数据错误.介绍了REDReP的基本思想,讨论了一些关键问题,最后给出了实验结果,表明REDReP具有较低的检错开销.

摘要： 本文针对于现在的分布式系统或网络中的错误检测和诊断问题，提出将依赖关系矩阵演化为依赖关系树，并且研究出了基于此依赖关系树的适应性探测算法，来解决错误检测和诊断问题。依赖关系树可以有效的组织探测过程所需的各个测试，并且能反映出目标节点和探测测试之间的关系。因此它可以根据当前系统的状况为错误检测和诊断提供选择测试集合的依据。我们提出的基于此依赖关系树的探测算法是一种适应性的优化的探测方法，可以极大的降低错误检测对网络负载所造成的影响。

摘要： 在高速大容量包交换系统中,为了避免大量的信息丢失和繁琐的重传,系统的可靠性非常重要.我们针对基于Crossbar结构的多平面包交换提出了一种并发错误检测机制.该检测机制能够迅速地检测单个错误而不会增加交换系统的传输负担.

摘要： 并行程序测试中,测试输入和线程交互时序是影响并行错误检测的两个关键因素,论文以缩减并行错误检测的输入空间为目标,给出一种基于变异测试的测试用例最小化算法.首先对并行程序进行研究,选取与并行错误密切相关的9个变异算子并以此为基础为待测程序生成多种变异体;采用JPF作为线程调度工具来执行测试用例,根据变异评分与平均时间成本进行对测试用例进行排序,在优化后的测试用例集中选取检测能力不重复的测试用例,从而得到面向并行错误检测的最小测试用例集.实验结果证明,该方法能有效减小测试用例集规模,并大幅缩短运行时间,从而提高并行程序测试效率.

摘要： Ad-hoc同步在多线程程序中非常常见.和phtread 库中的正规同步语句不同( 比如pthread_cond_wait),Ad-hoc 同步会隐含地引入happen-before 关系.对于很多错误检测工具来说,这种隐含的happen-before 关系难以被检测,正是这个问题影响着这些错误检测软件的正确性.在本文中提出一种有效地检测ad-hoc 同步的方法,此方法包含编译时分析和运行时分析两个部分.这个检测工具可以和其他的错误检测工具以及程序推理工具结合使用.由于错误检测工具和程序推理工具都极大地依赖于对程序中happen-before 关系的分析.工具可以作为它们的前端,大大增加它们的准确性.从实验结果来看,检测ad-hoc 同步的方法能够检测出程序中绝大部分的ad-hoc 同步,同时误报很低.

摘要： 模型检测技术应用于操作系统中具有复杂接口的模块还存在检测模型难以建立的问题。本文提出了一种Linux内核调度器的模型系统，包括以Linux内核调度器触发条件为基础构建的调度器外围环境模型，和将Linux调度器C源代码直接转化为Promela描述的调度器模型。实验中构建了Linux2．6．11进程调度器的检测模型，并在Spin中实现了对模型系统的模拟仿真和错误检测。结果表明，文中提出的模型系统有效地解决了针对具有复杂接口的操作系统内核模块建立检测模型的问题。

摘要： 两个指向同一内存空间的指针变量之间具有别名关系。应用程序中内存泄漏、指针变量解引用等错误的检测需要别名分析的支持。指针变量的指向关系分析可以准确地确定变量间的别名关系。流敏感的指针指向分析充分考虑了程序的控制结构、程序的执行路径对应用程序中的别名关系的影响。文中提出的扩展的指针指向关系表示方法记录了指针变量所指向的内存空间的及其特性，有效的支持了动态内存管理错误的检测。

摘要： 确保可逆电路的正确性与可靠性,电路错误检测是必不可少的。多余门错误模型还未被深入研究。针对可逆逻辑电路单个多余门错误,本文为检测所有的错误可能而生成了完备的检测向量集合。本文先是提出了多余门错误模型,然后分析了多余门错误性质,并指出了针对可逆逻辑电路单个多余门错误的检测向量集是否完备的充要条件。随后本文给出了可逆逻辑电路单个多余门错误的完备检测集的生成算法,并对标准电路做了模拟,再将结果与传统方法作比较。对于大型电路,可大大减少应检测的输入输出对,缩短了针对多余门错误的电路检测所花费的时间。

摘要： 目前生产的PCB主要为高层和高密度互连(HDI),CAM制作动作繁锁，需要注意的事项多而杂，出现问题需要找出问题产生的根源，在关键节点找出问题产生的根本所在，建立有效的检测模块，把重要项目一一列举用程序串连起来，形成一个全面的检测系统。确保工程制作数据只要通过检测系统的检测就是正确的。从而杜绝因所列举项目的错误而产生制板报废。达到一劳永逸的解决问题。这就需要利用科学的、系统的、逻辑的思维模式分析及解决问题。建立解决同类问题的方案及完善的检测系统，从而永久性的杜绝问题的再次产生。此检测系统是在不断的维护与更新中，随着产品结构的变化而相应的增加实用性的功能模块。主要从预防及问题产生后加入杜绝问题再次发生的有效方案相应编写模块，及时更新检测系统。只有这样当一个问题产生一次，后序永不再次出现，问题才能彻底的解决。最理想的境界为只要通过此系统的检测即可输出相应的工具，发放到生产线做板，能确保不会产生因工程设计的原因使制板品质不良或产品报废。

摘要： 目前生产的PCB主要为高层和高密度互连(HDI),CAM制作动作繁锁，需要注意的事项多而杂，出现问题需要找出问题产生的根源，在关键节点找出问题产生的根本所在，建立有效的检测模块，把重要项目一一列举用程序串连起来，形成一个全面的检测系统。确保工程制作数据只要通过检测系统的检测就是正确的。从而杜绝因所列举项目的错误而产生制板报废。达到一劳永逸的解决问题。这就需要利用科学的、系统的、逻辑的思维模式分析及解决问题。建立解决同类问题的方案及完善的检测系统，从而永久性的杜绝问题的再次产生。此检测系统是在不断的维护与更新中，随着产品结构的变化而相应的增加实用性的功能模块。主要从预防及问题产生后加入杜绝问题再次发生的有效方案相应编写模块，及时更新检测系统。只有这样当一个问题产生一次，后序永不再次出现，问题才能彻底的解决。最理想的境界为只要通过此系统的检测即可输出相应的工具，发放到生产线做板，能确保不会产生因工程设计的原因使制板品质不良或产品报废。

摘要： 提供一种能够检测显影隙分离错误的成像设备和检测显影隙分离错误的方法。根据示例的方法，在成像设备的光电导体上形成测试图案；通过传感器从控制使显影辊运动的调节构件的操作使得显影辊从分离位置运动到显影位置时检测转印到中间转印带的测试图案，在分离位置显影辊与光电导体间隔开以使显影隙分离，在显影位置处显影辊与光电导体接触以形成显影隙；以及基于检测到的测试图案确定是否发生显影隙分离错误。

摘要： 提供一种能够检测显影隙分离错误的成像设备和检测显影隙分离错误的方法。根据示例的方法，在成像设备的光电导体上形成测试图案；通过传感器从控制使显影辊运动的调节构件的操作使得显影辊从分离位置运动到显影位置时检测转印到中间转印带的测试图案，在分离位置显影辊与光电导体间隔开以使显影隙从光电导体分离，在显影位置处显影辊与光电导体接触以形成显影隙；以及基于检测到的测试图案确定是否发生显影隙分离错误。

摘要： 本发明提供错误检测装置和错误校正/错误检测解码装置以及方法，该错误检测方法，将规定位长的数据串视为多项式，对该数据串添加错误检测码，使得以错误检测码生成用的多项式(生成多项式)除该多项式剩余为0，输入添加错误检测码后的数据串，对该输入数据中有无错误进行检测，该错误检测方法包括：预先计算使与各个位位置对应的多项式除以所述生成多项式时的剩余值，并保存于存储器的步骤；与输入数据串一同，输入表示各数据的正规的位位置的位位置信息的步骤；利用存储器求取输入数据串中不是0的数据的与正规的位位置对应的剩余值，对求得的各剩余值，位对应地进行加法运算的步骤；以及在加法运算结果在全部的位为0时判定输入数据串不存在错误，在此之外的情况下判定存在错误的步骤。

摘要： 本发明公开了一种固态硬盘读错误检测装置及不可纠读错误原因的检测方法，根据导致不可纠读错误的不同原因选择不同的处理策略，从而保证了Flash Page的使用寿命最大化、进而提高SSD的使用寿命。

摘要： 本发明公开了一种基于生成域的数据包错误检测方法及错误检测装置。该数据包错误检测方法包括传输前在数据包的前后区域均插入生成域块，且位于前区域的生成域块插入位置同位于后区域的生成域块插入位置对称，形成前生成域块和后生成域块；接收插入有生成域块的数据包，并检测前生成域块的平均误码率和后生成域的平均误码率；根据前、后生成域的平均误码率及前后生成域的平均误码率比特差值比确定数据包错误类型。在传输的数据中，通过在待传输的数据中插入生成域，接收传输数据，并检测前、后生成域块中平均误码率和前后生成域块中平均误码率的比特差值比，根据这两个量确定数据传输过程中错误类型，实现错误类型的判断。

摘要： 在输入错误检测装置(100)中，挑选部(108)挑选在用自然语言记述信息系统的规格的系统规格说明书(117)、及用自然语言记述作为向分析信息系统的分析装置的输入信息的分析装置输入信息(111)和作为来自分析装置的输出信息的分析装置输出信息(112)中的至少任意一个的解析对象文件(116)中共同地出现的单词群。学习部(109)学习系统规格说明书(117)和解析对象文件(116)的各个中的、属于由挑选部(108)挑选的单词群的个别的单词的语义。检测部(110)通过检测系统规格说明书(117)与解析对象文件(116)之间的、由学习部(109)学习的语义的变化，从而确定包含于解析对象文件(116)的、由于分析装置输入信息(111)的输入错误引起的单词的错误。

摘要： 本发明提供错误检测装置和错误校正/错误检测解码装置以及方法，该错误检测方法，将规定位长的数据串视为多项式，对该数据串添加错误检测码，使得以错误检测码生成用的多项式(生成多项式)除该多项式剩余为0，输入添加错误检测码后的数据串，对该输入数据中有无错误进行检测，该错误检测方法包括：预先计算使与各个位位置对应的多项式除以所述生成多项式时的剩余值，并保存于存储器的步骤；与输入数据串一同，输入表示各数据的正规的位位置的位位置信息的步骤；利用存储器求取输入数据串中不是0的数据的与正规的位位置对应的剩余值，对求得的各剩余值，位对应地进行加法运算的步骤；以及在加法运算结果在全部的位为0时判定输入数据串不存在错误，在此之外的情况下判定存在错误的步骤。

摘要： 本发明涉及一种频率锁定错误检测电路，包括比较单元和控制单元。比较单元用于对共模电压信号与第一参考电压信号和第二参考电压信号进行比较，以产生比较结果，其中共模电压信号对应由时序控制器输出的差动信号对。控制单元用于依据比较结果，决定是否重设耦接时序控制器的时钟数据恢复电路。本发明实施例的频率锁定错误检测电路可以检测时钟数据恢复电路锁定的频率是否错误，并在检测到频率锁定错误时重设时钟数据恢复电路，避免因频率锁定错误而产生的错误的恢复时钟信号和恢复数据信号。

摘要： 错误检测系统包含控制电路以及第一错误检测电路耦接于该控制电路以检测输入数据的错误。该控制电路控制该第一错误检测电路使用第一设定来在第一时间区间内检测该错误，控制该第一错误检测电路使用第二设定来在该第一时间区间之后的第二时间区间检测该错误，以及控制该第一错误检测电路在对应于该第一设定以及该第二设定的检测完成后产生对应于该第一设定以及该第二设定的第一检测结果。

摘要： 本实用新型涉及检测图像数据中错误的系统、够检测错误的成像系统和车辆成像系统中的错误检测的设备。检测图像数据中的错误的系统包括：像素阵列，包括多个像素；图像处理单元，耦接至像素阵列以接收像素生成的第一像素数据和第二像素数据，包括：错误检测电路，被配置成接收像素数据，其中错误检测电路检测并生成错误状态；并且其中图像处理单元响应于错误状态；嵌入式系统，耦接至图像处理单元以接收来自图像处理单元的输出数据；以及外围系统，耦接至并响应于嵌入式系统。本实用新型解决的一个技术问题是防止车辆由于有错误的图像数据而按照与实际环境不符的方式操作，实现的一个技术效果是提供用于成像系统中错误检测的设备。