期刊文献+
共找到23,765篇文章
< 1 2 250 >
每页显示 20 50 100
Influence of initial check, information exchange, final accuracy check, reaction information nursing on the psychology of elderly with lung cancer 被引量:2
1
作者 Cui Jiang Jing Ma +1 位作者 Wen He Hai-Ying Zhang 《World Journal of Clinical Cases》 SCIE 2024年第4期737-745,共9页
BACKGROUND As one of the fatal diseases with high incidence,lung cancer has seriously endangered public health and safety.Elderly patients usually have poor self-care and are more likely to show a series of psychologi... BACKGROUND As one of the fatal diseases with high incidence,lung cancer has seriously endangered public health and safety.Elderly patients usually have poor self-care and are more likely to show a series of psychological problems.AIM To investigate the effectiveness of the initial check,information exchange,final accuracy check,reaction(IIFAR)information care model on the mental health status of elderly patients with lung cancer.METHODS This study is a single-centre study.We randomly recruited 60 elderly patients with lung cancer who attended our hospital from January 2021 to January 2022.These elderly patients with lung cancer were randomly divided into two groups,with the control group taking the conventional propaganda and education and the observation group taking the IIFAR information care model based on the conventional care protocol.The differences in psychological distress,anxiety and depression,life quality,fatigue,and the locus of control in psychology were compared between these two groups,and the causes of psychological distress were analyzed.RESULTS After the intervention,Distress Thermometer,Hospital Anxiety and Depression Scale(HADS)for anxiety and the HADS for depression,Revised Piper’s Fatigue Scale,and Chance Health Locus of Control scores were lower in the observation group compared to the pre-intervention period in the same group and were significantly lower in the observation group compared to those of the control group(P<0.05).After the intervention,Quality of Life Questionnaire Core 30(QLQ-C30),Internal Health Locus of Control,and Powerful Others Health Locus of Control scores were significantly higher in the observation and the control groups compared to the pre-intervention period in their same group,and QLQ-C30 scores were significantly higher in the observation group compared to those of the control group(P<0.05).CONCLUSION The IIFAR information care model can help elderly patients with lung cancer by reducing their anxiety and depression,psychological distress,and fatigue,improving their tendencies on the locus of control in psychology,and enhancing their life qualities. 展开更多
关键词 Initial check information exchange final accuracy check reaction information care model Lung cancer Mental health
下载PDF
Computation Tree Logic Model Checking of Multi-Agent Systems Based on Fuzzy Epistemic Interpreted Systems
2
作者 Xia Li Zhanyou Ma +3 位作者 Zhibao Mian Ziyuan Liu Ruiqi Huang Nana He 《Computers, Materials & Continua》 SCIE EI 2024年第3期4129-4152,共24页
Model checking is an automated formal verification method to verify whether epistemic multi-agent systems adhere to property specifications.Although there is an extensive literature on qualitative properties such as s... Model checking is an automated formal verification method to verify whether epistemic multi-agent systems adhere to property specifications.Although there is an extensive literature on qualitative properties such as safety and liveness,there is still a lack of quantitative and uncertain property verifications for these systems.In uncertain environments,agents must make judicious decisions based on subjective epistemic.To verify epistemic and measurable properties in multi-agent systems,this paper extends fuzzy computation tree logic by introducing epistemic modalities and proposing a new Fuzzy Computation Tree Logic of Knowledge(FCTLK).We represent fuzzy multi-agent systems as distributed knowledge bases with fuzzy epistemic interpreted systems.In addition,we provide a transformation algorithm from fuzzy epistemic interpreted systems to fuzzy Kripke structures,as well as transformation rules from FCTLK formulas to Fuzzy Computation Tree Logic(FCTL)formulas.Accordingly,we transform the FCTLK model checking problem into the FCTL model checking.This enables the verification of FCTLK formulas by using the fuzzy model checking algorithm of FCTL without additional computational overheads.Finally,we present correctness proofs and complexity analyses of the proposed algorithms.Additionally,we further illustrate the practical application of our approach through an example of a train control system. 展开更多
关键词 Model checking multi-agent systems fuzzy epistemic interpreted systems fuzzy computation tree logic transformation algorithm
下载PDF
导学互动整合式教学模式对重症监护室住培医师Check-list量表评分及满意度的影响
3
作者 金科 许红阳 王秋卉 《中国卫生产业》 2024年第15期33-36,共4页
目的探讨导学互动整合式教学模式对重症监护室住院医师规范化培训(简称住培)医师Check-list量表评分及满意度的影响。方法选取2022年1月—2023年12月南京医科大学附属无锡人民医院重症监护室的60名住培医师为研究对象,根据不同的教学模... 目的探讨导学互动整合式教学模式对重症监护室住院医师规范化培训(简称住培)医师Check-list量表评分及满意度的影响。方法选取2022年1月—2023年12月南京医科大学附属无锡人民医院重症监护室的60名住培医师为研究对象,根据不同的教学模式分为传统组(n=30,采用传统教学方式)和导学组(n=30,采用导学互动整合式教学方式)。比较两组住培医师的Check-list量表评分、考核成绩、教学满意度。结果出科时,导学组的Check-list量表(询问医学面谈技能、体格检查、人文/职业素养、整体临床能力)评分均高于传统组,理论考核、技能考核、病例分析成绩均高于传统组,差异有统计学意义(P均<0.05)。导学组的教学满意度为93.33%(28/30),高于传统组的73.33%(22/30),差异有统计学意义(χ^(2)=4.320,P<0.05)。结论导学互动整合式教学在重症监护室住培医师临床能力的教学培养中能明显提高医师的知识掌握程度,促进教学质量的提升和满意度的提高。 展开更多
关键词 导学互动整合式教学 重症监护室 住院医师规范化培训 check-list量表 满意度
下载PDF
Arc CHECK在乳腺癌螺旋断层放疗计划剂量验证中的应用 被引量:9
4
作者 张晋建 黎静 +7 位作者 文婷 叶柳清 李志强 侯友贤 贾峻嵩 陈静 王彦 钟毓 《中国医学物理学杂志》 CSCD 2015年第2期244-247,共4页
目的:探讨Arc CHECK旋转调强剂量验证系统在乳腺癌螺旋断层放疗(Helical Tomotherapy,HT)计划剂量验证中的应用可行性。方法:将20例乳腺癌HT计划移植到Arc CHECK系统进行调强放射治疗(Intensity Modulated Radiotherapy,IMRT)计划剂量验... 目的:探讨Arc CHECK旋转调强剂量验证系统在乳腺癌螺旋断层放疗(Helical Tomotherapy,HT)计划剂量验证中的应用可行性。方法:将20例乳腺癌HT计划移植到Arc CHECK系统进行调强放射治疗(Intensity Modulated Radiotherapy,IMRT)计划剂量验证,得到的验证结果与HT计划在其模体中计算获得的平面剂量分布进行比较。剂量验证结果分析采用Gamma分析法,并采用多种标准进行评估。结果:20例乳腺癌病例在阈值水平(Threshold,TH)为10%,3%/3 mm、3%/4 mm、3%/5 mm的γ通过率超过90%的病例数分别占总例数的40%、55%、80%;TH水平为15%,3%/3 mm、3%/4 mm、3%/5 mm的γ通过率超过90%的比例分别为40%、55%、85%,TH水平为20%,3%/3 mm、3%/4mm、3%/5 mm的γ通过率超过90%的比例分别为40%、60%、85%。当评估标准为5%/5 mm时,γ通过率超过90%的比例为100%。靶区剂量均匀性指数(HI),瘤床的同步追量,靶区边界内缩至皮缘下及淋巴结情况对γ通过率无影响(P>0.05)。模体中心偏离x负方向大于4 cm的11例病例中,仅有2例验证结果达到3%/3 mm(TH=10),比例为18%;模体中心偏离x正方向大于4 cm的9例病例中,有6例验证结果达到3%/3 mm(TH=10),比例为66.7%。结论:Arc CHECK旋转调强验证系统可用于乳腺癌HT计划剂量验证,有效地简化了HT剂量验证的流程,但验证模体中心与机器等中心偏移关系对验证通过率的影响仍需配合第三方验证系统作进一步研究。 展开更多
关键词 乳腺癌 螺旋断层放射治疗 旋转调强剂量验证 ARC check
下载PDF
非晶硅电子射野影像系统与ArcCHECK在直肠癌容积旋转调强剂量验证中的应用 被引量:9
5
作者 黎旦 宾石珍 +3 位作者 程品晶 单冬勇 成树林 张俊俊 《中国医学物理学杂志》 CSCD 2016年第7期674-677,共4页
目的:比较非晶硅电子射野影像系统(a-Si EPID)与旋转照射剂量验证仪器(Arc CHECK)在直肠癌容积旋转调强(VMAT)剂量验证中的应用。方法:随机选取20例直肠癌VMAT病例,分别设计a-Si EPID与Arc CHECK的验证计划,并在UNIQUE加速器上进行验证... 目的:比较非晶硅电子射野影像系统(a-Si EPID)与旋转照射剂量验证仪器(Arc CHECK)在直肠癌容积旋转调强(VMAT)剂量验证中的应用。方法:随机选取20例直肠癌VMAT病例,分别设计a-Si EPID与Arc CHECK的验证计划,并在UNIQUE加速器上进行验证。采用γ分析方法(3 mm,3%)比较两种不同验证工具的相对剂量与绝对剂量通过率、X和Y方向的profile。结果:Arc CHECK的绝对剂量通过率为(97.73±1.98)%,相对剂量通过率为(96.96±2.34)%;aSi EPID的绝对剂量通过率为(97.58±1.88)%,相对剂量通过率为(98.13±1.47)%。X、Y方向的profile理论值与实测值很相近,理论剂量分布图与实测计算剂量分布图在高低剂量点分布上重合度较高。结论:Arc CHECK和a-Si EPID的验证结果在剂量学上没有明显差异,两者在直肠癌VMAT剂量验证中都是可行的,但a-Si EPID操作简单、使用方便、显示剂量即时,可以更便捷地进行VMAT剂量验证。 展开更多
关键词 直肠癌 非晶硅电子射野影像系统 ARC check 容积旋转调强 剂量验证
下载PDF
淤地坝与check dam的差异及其英文译法 被引量:3
6
作者 信忠保 蔡强国 +8 位作者 宁堆虎 刘宝元 余新晓 雷廷武 张科利 张光辉 方海燕 孙莉英 和继军 《中国水土保持科学》 CSCD 北大核心 2022年第3期102-108,共7页
淤地坝是黄土高原重要水土流失治理工程措施,对减少入黄泥沙、增加耕地面积发挥了重要作用。关于淤地坝英文翻译,普遍采用check dam,然而其并不能真实反映黄土高原水土保持工程建设实际情况,因此,笔者从目的、功能、尺寸等方面,系统对... 淤地坝是黄土高原重要水土流失治理工程措施,对减少入黄泥沙、增加耕地面积发挥了重要作用。关于淤地坝英文翻译,普遍采用check dam,然而其并不能真实反映黄土高原水土保持工程建设实际情况,因此,笔者从目的、功能、尺寸等方面,系统对比黄土高原淤地坝与国外check dam的差异。在此基础上,建议采用淤地坝汉语拼音“Yudiba dam”表达这类大量分布在黄土高原可在拦截泥沙、减少沟道侵蚀、增加耕地面积的水土保持工程措施,从而明确其与国外check dam的区分。 展开更多
关键词 Yudiba dam check dam 侵蚀 泥沙 黄土高原 黄河中游
下载PDF
基于CHECK方式联锁系统的设计与实现 被引量:1
7
作者 陈永生 钟建娟 徐金祥 《铁道学报》 EI CAS CSCD 北大核心 2001年第3期13-17,共5页
针对城市轨道交通包括地铁、轻轨等信号系统的特点 ,研制了 CHECK方式的列车运行控制系统 [1 ]。CHECK方式列车自动控制系统包括 CHECK方式调度监督系统 ,CHECK方式闭塞系统和 CHECK方式联锁系统。本文详细分析 CHECK方式联锁系统的基... 针对城市轨道交通包括地铁、轻轨等信号系统的特点 ,研制了 CHECK方式的列车运行控制系统 [1 ]。CHECK方式列车自动控制系统包括 CHECK方式调度监督系统 ,CHECK方式闭塞系统和 CHECK方式联锁系统。本文详细分析 CHECK方式联锁系统的基本原理 。 展开更多
关键词 check方式 联锁系统 列车自动控制 闭塞系统
下载PDF
基于SHEL模型的check list表管理在新型冠状病毒核酸标本采集不良事件防范管理中的应用 被引量:10
8
作者 汤婷 许珊珊 刘琼 《护理学报》 北大核心 2021年第14期55-59,共5页
目的评价编制的check list表在新型冠状病毒核酸咽拭子标本采集不良事件防范管理中的应用效果。方法以SHEL模型为指导,通过专家函询,制定出核酸咽拭子标本采集过程中有潜在风险的不良事件防范check list表,采用跟班督查、现场提问、问... 目的评价编制的check list表在新型冠状病毒核酸咽拭子标本采集不良事件防范管理中的应用效果。方法以SHEL模型为指导,通过专家函询,制定出核酸咽拭子标本采集过程中有潜在风险的不良事件防范check list表,采用跟班督查、现场提问、问卷星考核等方式逐条进行整改,评价整改前3个月和整改后3个月不良事件发生率、咽拭子标本采集合格率、核酸检验人员对护理工作满意度的差异。结果采用check list表进行核查、追踪、整改后,不良事件发生率从0.13%下降至0.02%,标本采集合格率从88.55%提高到93.37%,整改前后比较差异有统计学意义(P<0.001),检验科人员对护理工作的满意度有很大提高。结论以SHEL模型为指导的check list表制定,能为护理不良事件的防范管理提供全面的指导,有利于提高护理质量,值得推广应用。 展开更多
关键词 核酸标本采集 SHEL模型 核查单 check list 不良事件防范
下载PDF
基于Reef Check调查的涠洲岛珊瑚礁生态状况评价 被引量:13
9
作者 陈刚 赵美霞 +2 位作者 刘斌 张春华 梁群 《热带地理》 2016年第1期66-71,共6页
采用Reef Check(珊瑚礁健康调查法)和珊瑚礁生态系统健康指标因素分析法,对广西北海涠洲岛珊瑚礁健康状况进行评价。Reef Check调查从2001―2012年共进行了11 a,调查区为涠洲岛的竹蔗簝、公山、牛背坑3个地点,调查项目包括鱼类、无脊椎... 采用Reef Check(珊瑚礁健康调查法)和珊瑚礁生态系统健康指标因素分析法,对广西北海涠洲岛珊瑚礁健康状况进行评价。Reef Check调查从2001―2012年共进行了11 a,调查区为涠洲岛的竹蔗簝、公山、牛背坑3个地点,调查项目包括鱼类、无脊椎动物、珊瑚礁底质。调查结果表明:涠洲岛周边不同区域的珊瑚礁生态状况有较大差异,在竹蔗簝和牛背坑调查区的珊瑚礁覆盖率较为稳定;而在公山调查区,则发现珊瑚在2002年间出现了大面积死亡的情况,至今尚未恢复。利用珊瑚礁生态系统健康指标因素分析法对涠洲岛珊瑚礁健康状况进行评价,结果表明:竹蔗簝和牛背坑的珊瑚礁健康状态相似,都属于一般,其中牛背坑略好,而公山的珊瑚礁健康状态较差。 展开更多
关键词 珊瑚礁 生态系统 珊瑚礁健康调查法 涠洲岛
下载PDF
ArcCHECK用于VMAT计划剂量的验证 被引量:10
10
作者 鄢佳文 高靖琰 +1 位作者 刘旭红 柏晗 《医疗装备》 2017年第5期26-27,共2页
目的研究Arc CHECK验证系统用于VMAT计划剂量验证的通过率。方法随机选取临床头颈部肿瘤、乳腺癌、宫颈癌的VMAT治疗患者各30例,将通过临床剂量要求的计划传至MOSAIQ网络系统进行网络排程,同时将各计划剂量移植到Arc CHECK模体中进行重... 目的研究Arc CHECK验证系统用于VMAT计划剂量验证的通过率。方法随机选取临床头颈部肿瘤、乳腺癌、宫颈癌的VMAT治疗患者各30例,将通过临床剂量要求的计划传至MOSAIQ网络系统进行网络排程,同时将各计划剂量移植到Arc CHECK模体中进行重新计算得到模体中剂量分布。分析在阈值水平(TH)为10%时,Gamma方法 3%/3 mm的情况下的计划验证通过率。结果在阈值水平(TH)为10%时,Gamma分析方法 3%/3 mm,不同病种下的VMAT计划的相对剂量通过率平均值都在95%以上,绝对剂量的平均通过率在93%以上。结论 Arc CHECK三维验证系统能满足临床VMAT计划剂量验证要求,而且在验证中无须将机架角度等归零,计划验证的准确性更好。 展开更多
关键词 容积调强放射治疗 ARC check验证系统 剂量验证
下载PDF
Check list表单在ICU连续性血液净化患者上机管理中的应用 被引量:7
11
作者 胡海平 《齐鲁护理杂志》 2017年第7期117-118,共2页
目的:探讨Check list表单在ICU连续性血液净化患者上机管理中的应用效果。方法:选择2015年1~6月行床旁连续性血液净化50例患者作为对照组,采用传统流程;将7~12月行床旁连续性血液净化治疗66例患者为观察组,使用check list表单进行用物... 目的:探讨Check list表单在ICU连续性血液净化患者上机管理中的应用效果。方法:选择2015年1~6月行床旁连续性血液净化50例患者作为对照组,采用传统流程;将7~12月行床旁连续性血液净化治疗66例患者为观察组,使用check list表单进行用物准备、管路安装及上机过程的管理。比较两组行血液净化时用物准备和管路安装时间、正确率,上机过程规范流程执行率,医生对护理工作的满意度的差异。结果:观察组较对照组用物准备和管路安装时间明显缩短、正确率明显上升,提高了规范操作的依从性(P<0.01),医生对护理工作的满意度观察组明显高于对照组(P<0.01)。结论:床旁连续性血液净化过程中使用check list表单,缩短了护士用物准备和管路安装的时间,提高了工作效率,减少了安全隐患,保证了患者的安全,提高了规范上机操作流程的依从性,提高医生对护理工作的满意度。 展开更多
关键词 连续性血液净化 check list表单 重症医学科
下载PDF
My Life Check在冠心病患者健康生活方式干预中的应用 被引量:1
12
作者 吴巧玉 叶志弘 王菲玲 《护理与康复》 2017年第5期448-450,共3页
目的探讨美国心脏协会的My Life Check在线评估系统对冠心病患者健康生活方式干预的影响以及其在心脏健康指数评价中的应用效果。方法将心内科随诊的121例冠心病患者用随机数字表分成两组,观察组63例、对照组58例,两组均使用My Life Ch... 目的探讨美国心脏协会的My Life Check在线评估系统对冠心病患者健康生活方式干预的影响以及其在心脏健康指数评价中的应用效果。方法将心内科随诊的121例冠心病患者用随机数字表分成两组,观察组63例、对照组58例,两组均使用My Life Check其中的Life’s simple 7调查表进行心脏健康调查,观察组根据My Life Check给出的相应健康生活方式指导措施进行干预,对照组常规宣教,并于1个月后对两组患者再次进行心脏健康指数评估。结果观察组及对照组干预后心脏健康指数均明显高于干预前(P<0.05),但干预后观察组较对照组心脏健康指数改善更明显(P<0.05)。结论 My Life Check评估干预能有效改善冠心病患者的健康生活方式。 展开更多
关键词 冠心病 MY LIFE check 生活方式 心脏健康指数
下载PDF
层厚对使用CT/SIM Check模体联合iQA软件检测CT模拟机的影响
13
作者 时飞跃 程龙 +3 位作者 王敏 秦伟 赵环宇 魏晓为 《中国医疗设备》 2023年第7期17-22,共6页
目的探讨层厚大小对使用CT/SIM Check模体联合iQA软件检测放疗CT模拟机数据结果的影响。方法对1台西门子Sensation Open CT模拟机,使用6种放疗扫描协议扫描1套CT/SIM Check模体,扫描完成后重建1.5、2、3、4和5 mm共5种层厚的CT图像序列... 目的探讨层厚大小对使用CT/SIM Check模体联合iQA软件检测放疗CT模拟机数据结果的影响。方法对1台西门子Sensation Open CT模拟机,使用6种放疗扫描协议扫描1套CT/SIM Check模体,扫描完成后重建1.5、2、3、4和5 mm共5种层厚的CT图像序列。使用iQA软件对这些CT图像序列进行自动分析并生成报表,对报表上的质控数据结果进行分析和比较。结果通过对报表数据进行分析,得到了6种扫描协议和5种层厚情形下22种参数的质控数据,对5种不同层厚的数据计算得到了相应的四分位数间距值。由数据结果可见,HU均一性和插件4内标准差的数据随层厚的增加而减小;扫描中心纵向坐标的数值随层厚的增加有下降的趋势;线宽比-灵敏度截面的数据随层厚的增加而变大。结论使用CT/SIM Check模体联合iQA软件检测CT模拟机,层厚对HU均一性、插件4内标准差、扫描中心纵向坐标和线宽比-灵敏度截面的质控数据结果有较大影响,对其他参数的数据也有不同程度的影响。本研究为物理师使用CT/SIM Check模体联合iQA软件检测放疗CT模拟机的质控工作,提供了有益的数据参考。 展开更多
关键词 CT模拟机 质控 CT/SIM check模体 iQA软件 层厚
下载PDF
NX模型验证机制Check-mate综述 被引量:5
14
作者 花锋 周临震 刘德仿 《机械制造与自动化》 2008年第5期119-122,共4页
产品验证是对产品数据文件进行检查的机制,通过验证可以发现产品数据文件中存在的问题。对NX Check-mate的构成与功能进行了综述,介绍了具有代表性的模型验证功能,阐述了各个功能模块的特点。Check-mate作为一流产品验证功能的集成者,... 产品验证是对产品数据文件进行检查的机制,通过验证可以发现产品数据文件中存在的问题。对NX Check-mate的构成与功能进行了综述,介绍了具有代表性的模型验证功能,阐述了各个功能模块的特点。Check-mate作为一流产品验证功能的集成者,对保证产品数据文件品质,提高产品数据文件所包含知识有效性具有重要意义。 展开更多
关键词 产品验证 UG NX check-mate 知识工程 知识融接
下载PDF
Checkmate2用于放射治疗加速器输出剂量检测的可行性 被引量:1
15
作者 于浪 杨波 +7 位作者 孙玉亮 孙显松 王欣海 李文博 姜斐 李楠 邱杰 张福泉 《协和医学杂志》 2016年第1期33-36,共4页
目的探讨Checkmate 2作为日检工具用于放射治疗加速器输出剂量检测的可行性。方法按照国际原子能机构(International Atomic Energy Agency,IAEA)第277号报告建议方法刻度Varian 2300CD加速器的两档光子线6、15 MV及五档电子线6、9、12... 目的探讨Checkmate 2作为日检工具用于放射治疗加速器输出剂量检测的可行性。方法按照国际原子能机构(International Atomic Energy Agency,IAEA)第277号报告建议方法刻度Varian 2300CD加速器的两档光子线6、15 MV及五档电子线6、9、12、16、20 Me V,每日分别使用指型电离室和Checkmate 2测量各档能量100 MU的输出量,得出各自剂量偏差,最大允许偏差为±2%。分别实测环境温度气压值和读取Checkmate 2温度气压显示值,计算温度气压修正因子。连续进行3个月工作日共66次测量,比较每日各档能量测量值以及温度气压修正准确性。结果各档能量的电子线及X射线的Checkmate 2与指型电离室测量结果均满足绝对剂量偏差不超过2%的标准,且两者比较差异均无统计学意义(P>0.05)。实测及Checkmate 2测量得出的平均温度气压修正因子分别为1.032±0.007和1.033±0.007,两者差异无统计学意义(P=0.452);相关性分析显示两者呈正相关(r=0.92,P=0.000)。结论 Checkmate 2可真实反映加速器剂量输出的大体趋势,且测量工作耗时短、操作简便,是直线加速器晨检剂量输出检测的良好工具。 展开更多
关键词 加速器 晨检 输出剂量 checkmate 2
下载PDF
Completeness of bounded model checking temporal logic of knowledge
16
作者 刘志锋 葛云 +1 位作者 章东 周从华 《Journal of Southeast University(English Edition)》 EI CAS 2010年第3期399-405,共7页
In order to find the completeness threshold which offers a practical method of making bounded model checking complete, the over-approximation for the complete threshold is presented. First, a linear logic of knowledge... In order to find the completeness threshold which offers a practical method of making bounded model checking complete, the over-approximation for the complete threshold is presented. First, a linear logic of knowledge is introduced into the past tense operator, and then a new temporal epistemic logic LTLKP is obtained, so that LTLKP can naturally and precisely describe the system's reliability. Secondly, a set of prior algorithms are designed to calculate the maximal reachable depth and the length of the longest of loop free paths in the structure based on the graph structure theory. Finally, some theorems are proposed to show how to approximate the complete threshold with the diameter and recurrence diameter. The proposed work resolves the completeness threshold problem so that the completeness of bounded model checking can be guaranteed. 展开更多
关键词 bounded model checking temporal logics of knowledge multi-agent system
下载PDF
基于PLC的CHECK方式闭塞子系统研究
17
作者 郭秀清 《铁道学报》 EI CAS CSCD 北大核心 2004年第2期72-77,共6页
针对城市轨道交通信号系统的特点,研制了CHECK方式的列车运行自动控制系统[1]。CHECK方式列车运行自动控制系统由CHECK方式列车检知子系统、CHECK方式调度监督子系统、CHECK方式闭塞子系统和CHECK方式联锁子系统组成。本文在阐述闭塞系... 针对城市轨道交通信号系统的特点,研制了CHECK方式的列车运行自动控制系统[1]。CHECK方式列车运行自动控制系统由CHECK方式列车检知子系统、CHECK方式调度监督子系统、CHECK方式闭塞子系统和CHECK方式联锁子系统组成。本文在阐述闭塞系统原理的基础上,应用PLC实现原系统(上海轨道明珠线过渡信号系统)中的闭塞逻辑模块,提出了一种基于PLC的CHECK方式闭塞子系统。最后就其安全性、可靠性进行了讨论。 展开更多
关键词 PLC check方式 闭塞系统 安全性 可靠性
下载PDF
An Example of Machine Vision Applied in Printing Quality Checking——Research on the Checking of Printing Quality by Image Processing 被引量:5
18
作者 唐万有 王文凤 《微计算机信息》 北大核心 2008年第6期45-47,共3页
The traditional printing checking method always uses printing control strips,but the results are not very well in repeatability and stability. In this paper,the checking methods for printing quality basing on image ar... The traditional printing checking method always uses printing control strips,but the results are not very well in repeatability and stability. In this paper,the checking methods for printing quality basing on image are taken as research objects. On the base of the traditional checking methods of printing quality,combining the method and theory of digital image processing with printing theory in the new domain of image quality checking,it constitute the checking system of printing quality by image processing,and expound the theory design and the model of this system. This is an application of machine vision. It uses the high resolution industrial CCD(Charge Coupled Device) colorful camera. It can display the real-time photographs on the monitor,and input the video signal to the image gathering card,and then the image data transmits through the computer PCI bus to the memory. At the same time,the system carries on processing and data analysis. This method is proved by experiments. The experiments are mainly about the data conversion of image and ink limit show of printing. 展开更多
关键词 机器视觉 印刷质量检测 图像处理 数据转换 墨量显示
下载PDF
Reef Check方法在三亚珊瑚礁区域的应用结果分析 被引量:3
19
作者 陈刚 《南海研究与开发》 2002年第2期17-21,共5页
在介绍Reef Check调查方法的基础上,首次在中国运用Reef Check方法对海南省三亚大东海区域的珊瑚礁进行了调查,并分析其珊瑚礁生物群落的基本结构、珊瑚礁地质类型及分布等方面的状况以及所反映的区域性生境特征,指出了Reef Check调... 在介绍Reef Check调查方法的基础上,首次在中国运用Reef Check方法对海南省三亚大东海区域的珊瑚礁进行了调查,并分析其珊瑚礁生物群落的基本结构、珊瑚礁地质类型及分布等方面的状况以及所反映的区域性生境特征,指出了Reef Check调查方法的良好应用性。 展开更多
关键词 REEF check方法 海南 珊瑚礁 生物群落 地质类型 分布
下载PDF
上一页 1 2 250 下一页 到第
使用帮助 返回顶部