目的系统评价3D打印导航模板与计算机导航系统在椎弓根螺钉置入术中的临床疗效与安全性。方法系统检索中国知网、万方数据库和维普网、PubMed、Web of Science及The Cochrane Library数据库中有关3D打印导航模板与计算机导航系统在椎弓...目的系统评价3D打印导航模板与计算机导航系统在椎弓根螺钉置入术中的临床疗效与安全性。方法系统检索中国知网、万方数据库和维普网、PubMed、Web of Science及The Cochrane Library数据库中有关3D打印导航模板与计算机导航系统在椎弓根螺钉置入术中的临床对照试验文献,检索时间范围为建库至2022-11,由2名研究者分别根据纳入、排除标准进行文献筛选,并进一步对数据进行提取和质量评价,使用RevMan 5.3软件对所提取出的数据进行分析。结果共纳入7篇文献,包含3篇随机对照试验,其质量评价均为中等偏倚风险,4个回顾性研究,根据NOS量表进行评分,结果均>7分,为高质量文献;所纳入的文献共包含346例患者,其中3D打印组178例,计算机导航组168例。Meta分析显示,3D打印组和计算机导航组在手术时间(MD=-41.10,95%CI:-74.54~-7.67,P<0.05)、平均置钉(MD=-4.92,95%CI:-8.50~-1.35,P<0.05)和置钉准确率(RR=1.09,95%CI:1.04~1.15,P=0.001)上差异均有统计学意义,但两者的术中出血量(MD=-10.97,95%CI:-29.38~7.44,P=0.24)、术中透视次数(MD=0.81,95%CI:-0.85~2.46,P=0.34)、术后6个月的JOA评分(MD=0.10,95%CI:-0.50~0.70,P=0.73)和VAS评分(MD=-0.01,95%CI:-0.16~0.13,P=0.84)及术后并发症发生率(RR=0.81,95%CI:0.10~6.52,P=0.84)差异均无统计学意义。结论与计算机导航系统置钉相比,3D打印导航模板辅助置钉的手术时间和平均置钉时间更短,且置钉准确率更高,安全性更高。本次Meta分析纳入的文献数量且质量有限,未来仍需大样本、高质量、多中心的随机对照试验来证明分析结果的有效性。展开更多
中国列车控制系统(Chinese train control system,CTCS)作为一种安全苛求系统,使用前需要经过严格的安全分析和测试。对我国铁路客运干线主要采用的CTCS-3级列控系统而言,由于传统的安全分析方法主要关注单一场景,因而对其复合场景的安...中国列车控制系统(Chinese train control system,CTCS)作为一种安全苛求系统,使用前需要经过严格的安全分析和测试。对我国铁路客运干线主要采用的CTCS-3级列控系统而言,由于传统的安全分析方法主要关注单一场景,因而对其复合场景的安全性分析存在欠缺。此外,CTCS-3列控系统对控制时序有严格要求,现有安全分析方法难以有效解决该问题。为解决上述问题,采用基于系统理论的过程分析方法,以便更全面、更准确地分析CTCS-3级列控系统的安全性。首先,在分析CTCS-3级列控系统典型运营场景的基础上,提取由列控系统直接控车的运营场景,并建立分层控制结构模型;其次,结合时序逻辑辨识运营场景的不恰当控制行为,并将各场景中互不冲突的不恰当控制行为组合成复合场景;最后,对复合场景进行分析,辨识导致不恰当控制行为的控制缺陷。仿真结果表明:系统理论的过程分析方法可以实现对CTCS-3级列控系统复合场景功能的安全性分析。展开更多
本文给出CTCS-3级列控系统中组件控制行为的形式化定义,并针对控制行为的时序关系,提出控制行为时序逻辑。以此时序逻辑为基础,给出控制关系模型的形式化定义,使用控制关系模型对列控系统中的控制行为关系进行刻画。利用深度优先搜索的...本文给出CTCS-3级列控系统中组件控制行为的形式化定义,并针对控制行为的时序关系,提出控制行为时序逻辑。以此时序逻辑为基础,给出控制关系模型的形式化定义,使用控制关系模型对列控系统中的控制行为关系进行刻画。利用深度优先搜索的方式,对系统的控制关系模型进行分析,实现STPA(System-Theoretic Process Analysis)过程中不恰当控制行为的自动化辨识。以CTCS-3级列控系统的RBC交接场景为例,使用上述基于控制关系模型的STPA方法对列控系统的功能安全进行分析。分析过程表明利用形式化的控制关系模型扩展STPA的方法适用于CTCS-3级列控系统的功能安全分析。展开更多
文摘中国列车控制系统(Chinese train control system,CTCS)作为一种安全苛求系统,使用前需要经过严格的安全分析和测试。对我国铁路客运干线主要采用的CTCS-3级列控系统而言,由于传统的安全分析方法主要关注单一场景,因而对其复合场景的安全性分析存在欠缺。此外,CTCS-3列控系统对控制时序有严格要求,现有安全分析方法难以有效解决该问题。为解决上述问题,采用基于系统理论的过程分析方法,以便更全面、更准确地分析CTCS-3级列控系统的安全性。首先,在分析CTCS-3级列控系统典型运营场景的基础上,提取由列控系统直接控车的运营场景,并建立分层控制结构模型;其次,结合时序逻辑辨识运营场景的不恰当控制行为,并将各场景中互不冲突的不恰当控制行为组合成复合场景;最后,对复合场景进行分析,辨识导致不恰当控制行为的控制缺陷。仿真结果表明:系统理论的过程分析方法可以实现对CTCS-3级列控系统复合场景功能的安全性分析。
文摘本文给出CTCS-3级列控系统中组件控制行为的形式化定义,并针对控制行为的时序关系,提出控制行为时序逻辑。以此时序逻辑为基础,给出控制关系模型的形式化定义,使用控制关系模型对列控系统中的控制行为关系进行刻画。利用深度优先搜索的方式,对系统的控制关系模型进行分析,实现STPA(System-Theoretic Process Analysis)过程中不恰当控制行为的自动化辨识。以CTCS-3级列控系统的RBC交接场景为例,使用上述基于控制关系模型的STPA方法对列控系统的功能安全进行分析。分析过程表明利用形式化的控制关系模型扩展STPA的方法适用于CTCS-3级列控系统的功能安全分析。
