从“错误诊断”到“弥补教学”——以“等半径磁聚焦法”为例

在高三复习课教学中,如何做到有的放矢,让课堂教学高效精准,是一线教师重点关注的话题之一。这需要基于认知心理学,对学生在解题过程中出现的典型错误进行认知诊断,然后通过交流与研讨,精准地确定教学目标,提炼解题方法,并借助“形同”问题设计针对性的弥补教学。

基于有限状态机的错误诊断算法

基于有限状态机的协议的一致性测试问题已经得到了广泛的研究。在检测到错误后,如何诊断错误是一个很重要的问题。该文在有限状态机模型和单个错误的假设下,提出了一种新的错误诊断算法,该算法利用已经确定正确的转换信息以及可疑转换的下一个输入/输出对的头状态集合等信息来高效地诊断单个错误。文中给出了与已有的错误诊断算法的比较结果,并且用一个具体的实例来详细描述本文提出的算法。

被动测试中的错误诊断算法

介绍了被动测试的有限状态机模型、错误模型和错误检测算法,给出了单个错误的诊断算法并分析了其时间复杂度,将所提出的算法推广到对多个错误的诊断,以在路由协议OSPF(OpenShortestPathFirst)的接口有限状态机上做的模拟实验为例来说明算法的有效性.

基于UIO测试序列的错误诊断算法

唯一输入输出(UniqueInputOutput)测试序列是协议测试中常用的一种测试序列,在一个已有的错误诊断算法基础上,结合UIO测试序列的一些特点,该文提出了一种应用于UIO测试序列的错误诊断算法。该算法充分利用了UIO测试序列给出的判定消息,及测试结果中可能的错误转换后的输入/输出消息,从而能高效完全地诊断单个错误。最后用实验数据给出了该文算法和原始算法之间的比较结果。

基于有限状态机的被动测试错误诊断

针对被动测试错误诊断算法只能推测出被测系统可能存在错误却无法准确定位错误的问题,提出了一种逐步定位系统实现错误的层次递进的方法.先利用测试序列的输入输出信息并结合错误模型生成初始诊断错误集合,再依据测试套上下文使用错误检测算法对该集合进行筛选,最后经连续观察或结合主动测试进行错误区分.实例验证结果表明,所提方法能够对绝大多数有单个实现错误的有限状态机模型进行错误定位.

30例宫角妊娠彩色多普勒超声诊断及误诊分析

目的探讨彩色多普勒超声(CDFI)在宫角妊娠诊断中的价值,以提高彩色多普勒超声对宫角妊娠的诊断水平。方法回顾性分析我院收治并经宫腔镜或手术后病理证实的30例宫角妊娠患者的声像图表现及术前超声诊断资料。结果声像图表现为孕囊型(11例),包块型(19例)。术前超声诊断符合率73.3%(22/30),其中2例2～7 d后随诊演变为宫内妊娠;4例误诊为输卵管间质部妊娠;1例误诊为子宫肌瘤并宫内可疑早孕;1例误诊为滋养细胞疾病。结论彩色多普勒超声对宫角妊娠具有重要的诊断价值,目前超声仍是诊断宫角妊娠的主要手段之一。

基于局部错误诊断的动态协议一致性测试方法

为提高测试结果的可靠性和错误覆盖率,在动态协议一致性测试过程中引入局部错误诊断机制,提出了一种新的动态测试方法,并在确定有限状态机模型下分析其原理及正确性.新的测试方法充分利用了测试过程产生的动态信息对待选测试序列进行排选,有效避免了对局部错误位置的错误判断.同时,提出了一种基于错误子列的局部错误诊断方式,突破了单一错误假设的局限,更具实用价值.实验结果表明,该测试方法可以有效地避免由于局部错误而造成的测试结果可靠性的降低,具有更好的错误覆盖率.

结合逻辑模拟和布尔可满足性的设计错误诊断方法

在集成电路设计验证与调试过程中,逻辑错误诊断工具通常会给出一定数量的候选错误区域,然后通过特定的算法尽可能多地减少候选区域,以方便错误的准确定位。在此提出一种结合模拟与布尔可满足性(SAT)的错误诊断方法,用于提高错误诊断准确性。该方法首先使用模拟方法对候选的错误区域逐一进行判断,对于不能由模拟方法判别的候选区域,使用基于SAT的形式化方法进一步判断。针对ISCAS′85电路的实验结果表明,该方法具有较高的错误诊断准确性和效率。

利用滑模观测器实现基于模型的错误诊断

对非线性对象部分参数不能确定的问题 ,给出了检测其运动偏差的方法。根据基于模型的方法 ,首先用滑模观测器讨论了有Lipschitz非线性的运动系统的鲁棒性观测问题 。

一种SLR(1)分析器中错误诊断恢复机制的建立方法

本文给出了一种SLR(1)分析器中错误诊断恢复机制的建立方法。加入错误诊断恢复机制后,可使SLR(1)分析器在语法分析中出现错误时,能及时报告错误并尽快从错误中恢复过来。

ITS中基于知识库的错误诊断模型的研究

传统的远程教学系统一般只提供在线考试来检测教学效果,而缺乏有效的错误诊断功能。文章提出了一种基于知识库的错误诊断模型及其诊断算法,能够准确地探测定位到错误知识点,目的是在学生做题出错时给出错误原因分析,并把定位的相关知识点信息反馈给教学模块以便及时地动态调整教学策略。

基于布尔可满足性的电路设计错误诊断算法

提出了一种组合电路设计错误诊断算法,该算法结合传统基于模拟的方法和可满足性问题求解技术,在不依赖于故障模型的条件下实现对电路逻辑错误的诊断定位.提出了基于布尔可满足性的增量式电路诊断方法,通过对可满足解依据电路结构信息筛选分级,提高了多错误诊断定位的分辨率和准确性;并提出多项启发式方法,避免了大量不必要的操作,使算法在时间和内存上保持有效性.实验结果表明,利用形式验证的技术来导向模拟的过程,抓住了高复杂度的多错误定位问题的特征,提高了电路错误诊断的效率.

宫角妊娠破裂的超声诊断及误诊分析

[目的]分析宫角妊娠破裂的超声声像图特征及误诊原因。[方法]收集21例宫角妊娠破裂患者,回顾性分析其临床资料与超声诊断资料,所有病例均经手术及病理证实。[结果]经临床和病理分析证实,术前超声诊断符合率57%,误诊率43%,声像图分为妊娠囊型、混合肿块型。[结论]超声检查可以对宫角妊娠破裂的部位、病灶大小、形态、宫壁连续性、妊娠囊内胚胎的情况、周围脏器的关系、腹腔有无积液进行判断,是诊断宫角妊娠破裂的主要检查方法。

含错误诊断恢复机制的SLR(1)分析器的构造

文章以SLR(1)分析器为例介绍了2种错误诊断恢复机制的构造方法。加入错误诊断恢复机制后,可使SLR(1)分析器在语法分析中出现错误时,能及时报告错误并尽快从错误中恢复过来。

一种改进的基于SAT的多错误诊断算法

改进了一种组合电路设计错误诊断DED(Design Error Diagnosis)算法。它使用多可满足性问题(SAT)求解技术,通过对布尔可满足解计数来实现对多个逻辑错误的诊断定位。改进了电路诊断架构,新架构的合取范式表述所使用的变量和子句数目大为减少;通过多种启发式方法,避免了不必要的操作,使算法在时间和内存上保持有效性。

一种改进的通信有限状态机的错误诊断方法

目前对于通信状态机的研究已经很广泛,但对于通信状态机的错误诊断方法的研究不多,已有的问题模型都是输出错误和转换错误。为了更好地将错误诊断与实际相结合,本文在一般的通信有限状态机模型上,新增了一种不可执行的情况,并在传统的问题模型中新增一种转换未执行错误的问题模型。在假设单个错误的情况下,提出了一整套新的错误诊断算法,算法通过分析症状信息进行分步检测,并利用可疑转换下一步输入输出和用例的转换序列等信息来定位出单个错误。最后,文中给出一个实例,详细描述了算法的诊断过程。

基于动态聚类的有限状态机多错误诊断

为了解决多错误诊断时枚举数量过大的问题,提出一种基于动态聚类分析的方法.首先,按照是否具有相同的初始症状冲突集对失败用例进行聚类,并计算初始症状冲突集及其转换的可疑度;然后,按照可疑度的大小枚举可能发生错误的转换组合,在枚举过程中进行再次聚类;最后,用测试集验证错误可能,生成错误诊断集.实验结果表明,该方法可以有效减少错误枚举数量,提高诊断效率.

基于符号模拟的电路中错误诊断方法研究

错误诊断是在逻辑芯片中预测潜在错误点的过程。为了快速有效地诊断电路中的错误,提出一种将符号模拟技术应用到基于区域模型的错误诊断法上的新思想,具体方法是通过对要诊断的电路进行区域划分,然后利用符号模拟方法依据两种测量标准对各个区域候选者进行可疑度的等级排序,从而对电路中所含错误进行判断。可疑度越高的区域,其作为错误候选者的可能性越大。该方法利用符号模拟技术,不需要对向量空间进行穷尽的列举,因而在空间和时间上是有效的。

Authorware多媒体CAI课件中产生式错误诊断环节的实现

基于AI基本理论,利用Authorware的特殊编程功能,实现在交互式多媒体CAI课件中引入在线产生式错误诊断环节的方法。文章结合实例介绍了组成产生式错误诊断系统的三个主要部分的功能原理、工作过程及其实现方式和步骤等内容,探讨了Authorware的编程方式在人工智能方面的应用。

初中生数学运算错误诊断分析——以苏科版教材七年级下教学内容为例

苏科版七年级下第八章为《幂的运算》,第九章为《从面积到乘法公式》,这两章内容主要是运算教学.由于一次期中考试内容考到第九章中的乘法公式而不包含因式分解,笔者针对此次考试中的计算部分命制了一份计算题专项练习卷供学生练习（见附录）,批改时发现学生存在大量运算错误,故而对这些错误进行原因诊断,以期在后续教学中扬长避短,提高学生的运算能力.