期刊文献+
共找到161篇文章
< 1 2 9 >
每页显示 20 50 100
基层医院超声诊断误诊漏诊的相关因素分析 被引量:6
1
作者 董玉宏 《现代医用影像学》 2012年第4期242-243,共2页
目的:超声诊断已是临床及医学影像必不可少的学科之一,其诊断准确率是其它医学影像不可替代的,但同时我们也看到超声诊断仍然存在部分的误诊、漏诊现象,主要表现在超声仪器的因素、超声医师技术水平因素、工作量大而繁重、患者期望值过... 目的:超声诊断已是临床及医学影像必不可少的学科之一,其诊断准确率是其它医学影像不可替代的,但同时我们也看到超声诊断仍然存在部分的误诊、漏诊现象,主要表现在超声仪器的因素、超声医师技术水平因素、工作量大而繁重、患者期望值过高、超声诊断医疗风险规避等方面。 展开更多
关键词 超声诊断误诊漏诊
下载PDF
肺栓塞和肺梗死X线诊断误诊原因分析
2
作者 胡鑫年 《医学研究与教育》 CAS 1995年第2期5-26,共2页
1.肺栓塞与肺梗死,简言之:即是肺动脉或其分枝被凝固的血块,或非血栓性物质如妊娠羊水、长骨骨折的脂肪颗粒、瘤细胞或空气栓子所堵塞,而引起的病理生理过程.在国外占临床上常见致命性急性肺疾病的第三位,占猝死病因的50%.二尖瓣疾患... 1.肺栓塞与肺梗死,简言之:即是肺动脉或其分枝被凝固的血块,或非血栓性物质如妊娠羊水、长骨骨折的脂肪颗粒、瘤细胞或空气栓子所堵塞,而引起的病理生理过程.在国外占临床上常见致命性急性肺疾病的第三位,占猝死病因的50%.二尖瓣疾患、癌肿、心脏手术后、长期卧床、妊娠分娩,都是本病的诱发因素. 展开更多
关键词 肺栓塞 原因分析 肺梗死 诊断误诊 X线表现 肺动脉栓塞 胸腔积液 肺疾病 肺血管栓塞 长期卧床
下载PDF
从“错误诊断”到“弥补教学”——以“等半径磁聚焦法”为例
3
作者 顾声和 《物理教学探讨》 2024年第9期87-91,96,共6页
在高三复习课教学中,如何做到有的放矢,让课堂教学高效精准,是一线教师重点关注的话题之一。这需要基于认知心理学,对学生在解题过程中出现的典型错误进行认知诊断,然后通过交流与研讨,精准地确定教学目标,提炼解题方法,并借助“形同”... 在高三复习课教学中,如何做到有的放矢,让课堂教学高效精准,是一线教师重点关注的话题之一。这需要基于认知心理学,对学生在解题过程中出现的典型错误进行认知诊断,然后通过交流与研讨,精准地确定教学目标,提炼解题方法,并借助“形同”问题设计针对性的弥补教学。 展开更多
关键词 错误诊断 方法提炼 弥补教学 磁聚焦法
下载PDF
30例宫角妊娠彩色多普勒超声诊断及误诊分析 被引量:9
4
作者 张利霞 孙怀玉 +1 位作者 胡瑞玲 闫国珍 《中国医药导报》 CAS 2012年第9期94-95,115,共3页
目的探讨彩色多普勒超声(CDFI)在宫角妊娠诊断中的价值,以提高彩色多普勒超声对宫角妊娠的诊断水平。方法回顾性分析我院收治并经宫腔镜或手术后病理证实的30例宫角妊娠患者的声像图表现及术前超声诊断资料。结果声像图表现为孕囊型(11... 目的探讨彩色多普勒超声(CDFI)在宫角妊娠诊断中的价值,以提高彩色多普勒超声对宫角妊娠的诊断水平。方法回顾性分析我院收治并经宫腔镜或手术后病理证实的30例宫角妊娠患者的声像图表现及术前超声诊断资料。结果声像图表现为孕囊型(11例),包块型(19例)。术前超声诊断符合率73.3%(22/30),其中2例2~7 d后随诊演变为宫内妊娠;4例误诊为输卵管间质部妊娠;1例误诊为子宫肌瘤并宫内可疑早孕;1例误诊为滋养细胞疾病。结论彩色多普勒超声对宫角妊娠具有重要的诊断价值,目前超声仍是诊断宫角妊娠的主要手段之一。 展开更多
关键词 彩色多普勒超声 宫角妊娠 诊断误诊
下载PDF
被动测试中的错误诊断算法 被引量:4
5
作者 郭雄辉 赵保华 钱兰 《中国科学技术大学学报》 CAS CSCD 北大核心 2005年第3期385-391,338,共8页
介绍了被动测试的有限状态机模型、错误模型和错误检测算法,给出了单个错误的诊断算法并分析了其时间复杂度,将所提出的算法推广到对多个错误的诊断,以在路由协议OSPF(OpenShortestPathFirst)的接口有限状态机上做的模拟实验为例来说明... 介绍了被动测试的有限状态机模型、错误模型和错误检测算法,给出了单个错误的诊断算法并分析了其时间复杂度,将所提出的算法推广到对多个错误的诊断,以在路由协议OSPF(OpenShortestPathFirst)的接口有限状态机上做的模拟实验为例来说明算法的有效性. 展开更多
关键词 被动测试 错误诊断 有限状态机
下载PDF
基于有限状态机的错误诊断算法 被引量:3
6
作者 赵保华 钱兰 +1 位作者 周颢 郭雄辉 《电子与信息学报》 EI CSCD 北大核心 2006年第9期1679-1683,共5页
基于有限状态机的协议的一致性测试问题已经得到了广泛的研究。在检测到错误后,如何诊断错误是一个很重要的问题。该文在有限状态机模型和单个错误的假设下,提出了一种新的错误诊断算法,该算法利用已经确定正确的转换信息以及可疑转换... 基于有限状态机的协议的一致性测试问题已经得到了广泛的研究。在检测到错误后,如何诊断错误是一个很重要的问题。该文在有限状态机模型和单个错误的假设下,提出了一种新的错误诊断算法,该算法利用已经确定正确的转换信息以及可疑转换的下一个输入/输出对的头状态集合等信息来高效地诊断单个错误。文中给出了与已有的错误诊断算法的比较结果,并且用一个具体的实例来详细描述本文提出的算法。 展开更多
关键词 错误诊断 一致性测试 有限状态机
下载PDF
基于有限状态机的被动测试错误诊断 被引量:3
7
作者 赵保华 张炜 《西安交通大学学报》 EI CAS CSCD 北大核心 2006年第6期626-629,共4页
针对被动测试错误诊断算法只能推测出被测系统可能存在错误却无法准确定位错误的问题,提出了一种逐步定位系统实现错误的层次递进的方法.先利用测试序列的输入输出信息并结合错误模型生成初始诊断错误集合,再依据测试套上下文使用错误... 针对被动测试错误诊断算法只能推测出被测系统可能存在错误却无法准确定位错误的问题,提出了一种逐步定位系统实现错误的层次递进的方法.先利用测试序列的输入输出信息并结合错误模型生成初始诊断错误集合,再依据测试套上下文使用错误检测算法对该集合进行筛选,最后经连续观察或结合主动测试进行错误区分.实例验证结果表明,所提方法能够对绝大多数有单个实现错误的有限状态机模型进行错误定位. 展开更多
关键词 被动测试 错误诊断 错误区分
下载PDF
基于UIO测试序列的错误诊断算法 被引量:2
8
作者 赵保华 钱兰 郭雄辉 《电子与信息学报》 EI CSCD 北大核心 2006年第11期2152-2156,共5页
唯一输入输出(UniqueInputOutput)测试序列是协议测试中常用的一种测试序列,在一个已有的错误诊断算法基础上,结合UIO测试序列的一些特点,该文提出了一种应用于UIO测试序列的错误诊断算法。该算法充分利用了UIO测试序列给出的判定消息,... 唯一输入输出(UniqueInputOutput)测试序列是协议测试中常用的一种测试序列,在一个已有的错误诊断算法基础上,结合UIO测试序列的一些特点,该文提出了一种应用于UIO测试序列的错误诊断算法。该算法充分利用了UIO测试序列给出的判定消息,及测试结果中可能的错误转换后的输入/输出消息,从而能高效完全地诊断单个错误。最后用实验数据给出了该文算法和原始算法之间的比较结果。 展开更多
关键词 错误诊断 一致性测试 有限状态机 唯一输入输出
下载PDF
基于局部错误诊断的动态协议一致性测试方法
9
作者 林华辉 周颢 +1 位作者 潘全科 赵保华 《北京邮电大学学报》 EI CAS CSCD 北大核心 2007年第1期140-144,共5页
为提高测试结果的可靠性和错误覆盖率,在动态协议一致性测试过程中引入局部错误诊断机制,提出了一种新的动态测试方法,并在确定有限状态机模型下分析其原理及正确性.新的测试方法充分利用了测试过程产生的动态信息对待选测试序列进行排... 为提高测试结果的可靠性和错误覆盖率,在动态协议一致性测试过程中引入局部错误诊断机制,提出了一种新的动态测试方法,并在确定有限状态机模型下分析其原理及正确性.新的测试方法充分利用了测试过程产生的动态信息对待选测试序列进行排选,有效避免了对局部错误位置的错误判断.同时,提出了一种基于错误子列的局部错误诊断方式,突破了单一错误假设的局限,更具实用价值.实验结果表明,该测试方法可以有效地避免由于局部错误而造成的测试结果可靠性的降低,具有更好的错误覆盖率. 展开更多
关键词 动态测试方法 局部错误诊断 测试序列 错误子列
下载PDF
结合逻辑模拟和布尔可满足性的设计错误诊断方法
10
作者 曾松伟 李光辉 《现代电子技术》 2010年第6期22-25,37,共5页
在集成电路设计验证与调试过程中,逻辑错误诊断工具通常会给出一定数量的候选错误区域,然后通过特定的算法尽可能多地减少候选区域,以方便错误的准确定位。在此提出一种结合模拟与布尔可满足性(SAT)的错误诊断方法,用于提高错误诊断准... 在集成电路设计验证与调试过程中,逻辑错误诊断工具通常会给出一定数量的候选错误区域,然后通过特定的算法尽可能多地减少候选区域,以方便错误的准确定位。在此提出一种结合模拟与布尔可满足性(SAT)的错误诊断方法,用于提高错误诊断准确性。该方法首先使用模拟方法对候选的错误区域逐一进行判断,对于不能由模拟方法判别的候选区域,使用基于SAT的形式化方法进一步判断。针对ISCAS′85电路的实验结果表明,该方法具有较高的错误诊断准确性和效率。 展开更多
关键词 设计验证 错误诊断 布尔可满足性 逻辑模拟
下载PDF
利用滑模观测器实现基于模型的错误诊断
11
作者 于亦凡 常慧 《青岛大学学报(自然科学版)》 CAS 2002年第2期62-64,共3页
对非线性对象部分参数不能确定的问题 ,给出了检测其运动偏差的方法。根据基于模型的方法 ,首先用滑模观测器讨论了有Lipschitz非线性的运动系统的鲁棒性观测问题 。
关键词 错误诊断 偏差检测 滑模观测器 鲁棒性 非线性系统 水下载运工具
下载PDF
宫角妊娠破裂的超声诊断及误诊分析
12
作者 廖海珍 黄艳焦 廖倩雯 《广西中医药大学学报》 2017年第2期41-42,共2页
[目的]分析宫角妊娠破裂的超声声像图特征及误诊原因。[方法]收集21例宫角妊娠破裂患者,回顾性分析其临床资料与超声诊断资料,所有病例均经手术及病理证实。[结果]经临床和病理分析证实,术前超声诊断符合率57%,误诊率43%,声像图分为妊... [目的]分析宫角妊娠破裂的超声声像图特征及误诊原因。[方法]收集21例宫角妊娠破裂患者,回顾性分析其临床资料与超声诊断资料,所有病例均经手术及病理证实。[结果]经临床和病理分析证实,术前超声诊断符合率57%,误诊率43%,声像图分为妊娠囊型、混合肿块型。[结论]超声检查可以对宫角妊娠破裂的部位、病灶大小、形态、宫壁连续性、妊娠囊内胚胎的情况、周围脏器的关系、腹腔有无积液进行判断,是诊断宫角妊娠破裂的主要检查方法。 展开更多
关键词 宫角妊娠破裂 超声 诊断误诊分析
下载PDF
一种SLR(1)分析器中错误诊断恢复机制的建立方法
13
作者 罗海丽 《科技资讯》 2009年第2期128-129,共2页
本文给出了一种SLR(1)分析器中错误诊断恢复机制的建立方法。加入错误诊断恢复机制后,可使SLR(1)分析器在语法分析中出现错误时,能及时报告错误并尽快从错误中恢复过来。
关键词 SLR(1)分析器 错误诊断恢复机制 SLR(1)分析表
下载PDF
ITS中基于知识库的错误诊断模型的研究
14
作者 黎孟雄 《齐齐哈尔大学学报(自然科学版)》 2009年第5期32-36,共5页
传统的远程教学系统一般只提供在线考试来检测教学效果,而缺乏有效的错误诊断功能。文章提出了一种基于知识库的错误诊断模型及其诊断算法,能够准确地探测定位到错误知识点,目的是在学生做题出错时给出错误原因分析,并把定位的相关知识... 传统的远程教学系统一般只提供在线考试来检测教学效果,而缺乏有效的错误诊断功能。文章提出了一种基于知识库的错误诊断模型及其诊断算法,能够准确地探测定位到错误知识点,目的是在学生做题出错时给出错误原因分析,并把定位的相关知识点信息反馈给教学模块以便及时地动态调整教学策略。 展开更多
关键词 智能教学系统 知识库 错误诊断
下载PDF
基于布尔可满足性的电路设计错误诊断算法 被引量:2
15
作者 吴洋 唐璞山 《计算机辅助设计与图形学学报》 EI CSCD 北大核心 2006年第9期1383-1390,共8页
提出了一种组合电路设计错误诊断算法,该算法结合传统基于模拟的方法和可满足性问题求解技术,在不依赖于故障模型的条件下实现对电路逻辑错误的诊断定位.提出了基于布尔可满足性的增量式电路诊断方法,通过对可满足解依据电路结构信息筛... 提出了一种组合电路设计错误诊断算法,该算法结合传统基于模拟的方法和可满足性问题求解技术,在不依赖于故障模型的条件下实现对电路逻辑错误的诊断定位.提出了基于布尔可满足性的增量式电路诊断方法,通过对可满足解依据电路结构信息筛选分级,提高了多错误诊断定位的分辨率和准确性;并提出多项启发式方法,避免了大量不必要的操作,使算法在时间和内存上保持有效性.实验结果表明,利用形式验证的技术来导向模拟的过程,抓住了高复杂度的多错误定位问题的特征,提高了电路错误诊断的效率. 展开更多
关键词 设计错误诊断 布尔可满足性 电子设计自动化
下载PDF
含错误诊断恢复机制的SLR(1)分析器的构造
16
作者 罗海丽 《包钢科技》 2008年第5期56-58,共3页
文章以SLR(1)分析器为例介绍了2种错误诊断恢复机制的构造方法。加入错误诊断恢复机制后,可使SLR(1)分析器在语法分析中出现错误时,能及时报告错误并尽快从错误中恢复过来。
关键词 SLR(1)分析器 错误诊断恢复机制 SLR(1)分析表
下载PDF
一种改进的基于SAT的多错误诊断算法 被引量:1
17
作者 吴洋 唐璞山 《微电子学与计算机》 CSCD 北大核心 2007年第2期9-13,共5页
改进了一种组合电路设计错误诊断DED(Design Error Diagnosis)算法。它使用多可满足性问题(SAT)求解技术,通过对布尔可满足解计数来实现对多个逻辑错误的诊断定位。改进了电路诊断架构,新架构的合取范式表述所使用的变量和子句数目大为... 改进了一种组合电路设计错误诊断DED(Design Error Diagnosis)算法。它使用多可满足性问题(SAT)求解技术,通过对布尔可满足解计数来实现对多个逻辑错误的诊断定位。改进了电路诊断架构,新架构的合取范式表述所使用的变量和子句数目大为减少;通过多种启发式方法,避免了不必要的操作,使算法在时间和内存上保持有效性。 展开更多
关键词 设计错误诊断 布尔可满足性 电子设计自动化
下载PDF
基于动态聚类的有限状态机多错误诊断 被引量:3
18
作者 崔玲 张建标 《北京工业大学学报》 CAS CSCD 北大核心 2021年第6期607-615,共9页
为了解决多错误诊断时枚举数量过大的问题,提出一种基于动态聚类分析的方法.首先,按照是否具有相同的初始症状冲突集对失败用例进行聚类,并计算初始症状冲突集及其转换的可疑度;然后,按照可疑度的大小枚举可能发生错误的转换组合,在枚... 为了解决多错误诊断时枚举数量过大的问题,提出一种基于动态聚类分析的方法.首先,按照是否具有相同的初始症状冲突集对失败用例进行聚类,并计算初始症状冲突集及其转换的可疑度;然后,按照可疑度的大小枚举可能发生错误的转换组合,在枚举过程中进行再次聚类;最后,用测试集验证错误可能,生成错误诊断集.实验结果表明,该方法可以有效减少错误枚举数量,提高诊断效率. 展开更多
关键词 多错误诊断 动态聚类 初始症状 冲突集 错误诊断 诊断效率
下载PDF
一种改进的通信有限状态机的错误诊断方法 被引量:1
19
作者 贾家涛 曲明成 吴翔虎 《智能计算机与应用》 2016年第4期51-54,共4页
目前对于通信状态机的研究已经很广泛,但对于通信状态机的错误诊断方法的研究不多,已有的问题模型都是输出错误和转换错误。为了更好地将错误诊断与实际相结合,本文在一般的通信有限状态机模型上,新增了一种不可执行的情况,并在传统的... 目前对于通信状态机的研究已经很广泛,但对于通信状态机的错误诊断方法的研究不多,已有的问题模型都是输出错误和转换错误。为了更好地将错误诊断与实际相结合,本文在一般的通信有限状态机模型上,新增了一种不可执行的情况,并在传统的问题模型中新增一种转换未执行错误的问题模型。在假设单个错误的情况下,提出了一整套新的错误诊断算法,算法通过分析症状信息进行分步检测,并利用可疑转换下一步输入输出和用例的转换序列等信息来定位出单个错误。最后,文中给出一个实例,详细描述了算法的诊断过程。 展开更多
关键词 通信状态机 单个错误 错误诊断算法
下载PDF
基于符号模拟的电路中错误诊断方法研究
20
作者 齐芳 吴尽昭 《现代电子技术》 2009年第16期1-3,7,共4页
错误诊断是在逻辑芯片中预测潜在错误点的过程。为了快速有效地诊断电路中的错误,提出一种将符号模拟技术应用到基于区域模型的错误诊断法上的新思想,具体方法是通过对要诊断的电路进行区域划分,然后利用符号模拟方法依据两种测量标准... 错误诊断是在逻辑芯片中预测潜在错误点的过程。为了快速有效地诊断电路中的错误,提出一种将符号模拟技术应用到基于区域模型的错误诊断法上的新思想,具体方法是通过对要诊断的电路进行区域划分,然后利用符号模拟方法依据两种测量标准对各个区域候选者进行可疑度的等级排序,从而对电路中所含错误进行判断。可疑度越高的区域,其作为错误候选者的可能性越大。该方法利用符号模拟技术,不需要对向量空间进行穷尽的列举,因而在空间和时间上是有效的。 展开更多
关键词 区域模型 符号模拟 错误诊断 测量标准
下载PDF
上一页 1 2 9 下一页 到第
使用帮助 返回顶部