检索结果-南通市图书馆

在线全文

学校读者我要写书评

暂无评论

计算机辅助设计颈胸段半椎体切除术

中国矫形外科杂志 2024年第7期32卷 641-645页

作者：张锴高延征王红强邢帅张广泉胡巍然朱宇河南省人民医院脊柱脊髓外科河南郑州450003

[目的]介绍计算机辅助设计颈胸段半椎体切除术的手术技术和初步临床效果。[方法]2016年1月—2020年12月对14例先天性颈胸段半椎体畸形患者行计算机辅助设计颈胸段半椎体切除矫形术。术前使用Mimics软件行矫形设计并模拟矫形过程,术中采... 详细信息

[目的]介绍计算机辅助设计颈胸段半椎体切除术的手术技术和初步临床效果。[方法]2016年1月—2020年12月对14例先天性颈胸段半椎体畸形患者行计算机辅助设计颈胸段半椎体切除矫形术。术前使用Mimics软件行矫形设计并模拟矫形过程,术中采用神经电生理监测系统确保手术矫形的安全性,按照术前设计精准置入椎弓根螺钉、切除半椎体、钉-棒系统矫正侧凸畸形。术后佩戴支具,维持矫形效果。[结果]患者均顺利完成手术,未见严重血管、神经及脏器损伤等并发症。共置入140枚椎弓根螺钉,置钉准确率97.1%。平均随访(35.5±13.2)个月。与术前相比,末次随访时,颈胸段侧凸[(53.9±17.9)°,(11.5±2.5)°,P<0.001]、局部后凸Cobb角[(27.8±9.8)°,(10.7±1.6)°,P<0.001]均显著改善。末次随访时,斜颈角、T1倾斜角及锁骨角均较术前显著减少(P<0.05)。随访过程无矫形丢失、假关节形成、内固定松动、断裂等发生。[结论]计算机辅助设计颈胸段半椎体切除矫形术安全有效,可精准置入椎弓根螺钉并完整切除半椎体,提高手术效率。

关键词：颈胸椎半椎体计算机辅助设计椎弓根螺钉固定

Quadrant通道下腰椎间盘切除单边动态固定术治疗腰椎间盘突出症的疗效观察

在线全文

学校读者我要写书评

暂无评论

中国脊柱脊髓杂志 2022年第11期32卷 1010-1016页

作者：邢帅高延征王红强张广泉张锴河南省人民医院脊柱脊髓外科郑州市450003

目的:探讨Quadrant通道下腰椎间盘切除单边动态固定术治疗腰椎间盘突出症的临床效果。方法:回顾性分析2013年1月~2018年11月在我院行Quadrant通道下腰椎间盘切除单边动态固定术治疗的23例单节段腰椎间盘突出症患者,其中男13例,女10例;年... 详细信息

目的:探讨Quadrant通道下腰椎间盘切除单边动态固定术治疗腰椎间盘突出症的临床效果。方法:回顾性分析2013年1月~2018年11月在我院行Quadrant通道下腰椎间盘切除单边动态固定术治疗的23例单节段腰椎间盘突出症患者,其中男13例,女10例;年龄20~40岁(31.0±6.9岁)。术后均获随访,随访时间28~68个月(42.0±6.6个月)。记录手术时间、术中出血量、术后住院时间等资料;于术前及术后2d、末次随访时采用视觉模拟(visualan alogue scale,VAS)评分、Oswestry功能障碍指数(Oswestry disability index,ODI)、日本骨科协会(Japanese Orthopaedic Association,JOA)评分评估手术的临床效果;于术后2d、末次随访时行腰椎正侧位及动力位X线片检查,测量椎间隙高度、椎间活动度;术前及末次随访时行腰椎MRI检查,应用Pfirrmann分级评估手术节段及邻近节段椎间盘高度及信号变化,计算Pfirrmann分级改善率。结果:所有患者均顺利完成手术,手术时间82.5±11.6min,术中出血量58.8±9.5ml,术后住院时间3.1±0.4d。患者术后2d、末次随访时的ODI、JOA评分及VAS评分均较术前有明显改善(P0.05);术后2d手术节段活动度较术前明显改善(P<0.05)。末次随访时,手术节段Pfirrmann分级30.5%改善,56.5%无明显改变,13.0%退变加重;邻近节段8.7%改善,73.9%无明显改变,17.4%退变加重。随访期间无椎间盘突出复发,无螺钉松动、断裂、失效等相关并发症。结论:Quadrant通道辅助下腰椎间盘切除单边动态固定术治疗腰椎间盘突出症可获得良好的临床疗效,有效维持椎间隙高度,保留腰椎活动度。

关键词：腰椎间盘突出症 Quadrant通道辅助技术动态非融合固定系统

时间感知Web服务交互行为建模与失配检测方法研究

在线全文

学校读者我要写书评

暂无评论

电子学报 2011年第11期39卷 2568-2575页

作者：张广泉戎玫王昇苏州大学计算机科学与技术学院江苏苏州215006 中国科学院计算机科学国家重点实验室北京100190 暨南大学深圳旅游学院广东深圳518053

针对现有Web服务组合过程中存在时间感知力弱、服务利用率低、组合可靠性差等问题,通过将定量时间属性引入Web服务交互适配框架中,研究时间感知Web服务交互行为的形式化建模与交互行为失配的自动检测问题.提出了用于表达单个时间感知We... 详细信息

针对现有Web服务组合过程中存在时间感知力弱、服务利用率低、组合可靠性差等问题,通过将定量时间属性引入Web服务交互适配框架中,研究时间感知Web服务交互行为的形式化建模与交互行为失配的自动检测问题.提出了用于表达单个时间感知Web服务交互行为的时间服务协议(TSP)模型和用于表达多个时间感知Web服务并发组合的时间服务协议网络(TSPN)模型;将时间感知Web服务交互失配检测问题转化为TSP模型之间的兼容性判定问题,定义了从时间感知Web服务描述至TSP模型和从TSP模型至UPPAAL规约的映射规则,给出了TSP模型兼容性性质的CTL公式表示,基于模型检测工具UPPAAL实现时间感知Web服务交互失配的自动化检测,其检测结果作为下一步是否需要构造适配器的判断依据;最后通过实例分析进一步阐述了上述方法的可行性和有效性.

关键词：时间感知Web服务时间服务协议时间服务交互模型检测失配检测

牛痘疫苗接种家兔炎症皮肤提取物治疗脊柱内镜术后残存疼痛

在线全文

学校读者我要写书评

暂无评论

中国疼痛医学杂志 2022年第6期28卷 464-466页

作者：邢帅王红强高延征张锴杨光曹臣陈书连张广泉河南省人民医院郑州大学人民医院脊柱脊髓外科郑州450003

经皮椎间孔镜髓核摘除术(percutaneous transfo-raminal endoscopy discectomy,PTED)是治疗腰椎间盘突出症的常用方法,具有微创、手术时间短、恢复快、疗效确切等优势。对于病程时间较长或突出较重的病人而言,PTED术后仍存在残存疼痛等... 详细信息

经皮椎间孔镜髓核摘除术(percutaneous transfo-raminal endoscopy discectomy,PTED)是治疗腰椎间盘突出症的常用方法,具有微创、手术时间短、恢复快、疗效确切等优势。对于病程时间较长或突出较重的病人而言,PTED术后仍存在残存疼痛等症状,治疗方法包括应用口服或外用非甾体消炎镇痛药、局部理疗、神经阻滞治疗等[1~3],但其疗效值得商榷。牛痘疫苗接种家兔炎症皮肤提取物片(神经妥乐平neurotropin,NTP)具有镇痛、抑制炎症反应等作用[4~6]。

关键词：牛痘疫苗接种家兔炎症皮肤提取物神经妥乐平病程时间神经阻滞治疗经皮椎间孔镜髓核摘除术局部理疗脊柱内镜腰椎间盘突出症

在线全文

学校读者我要写书评

暂无评论

新时代应急协同现状及其发展趋势研究

中国应急管理 2022年第11期 36-49页

作者：李雪峰张广泉中央党校不详

党的二十大强调,推进国家安全体系和能力现代化要以新安全格局保障新发展格局,建立大安全大应急框架,完善公共安全体系。推进新时代应急协同治理是落实二十大精神、推进构建应急管理新格局的重大战略性课题。

关键词：国家安全体系安全格局公共安全体系应急管理应急协同发展趋势研究战略性课题新格局

"O"型臂导航系统辅助半椎体切除植骨融合内固定治疗颈胸段先天性半椎体畸形

在线全文

学校读者我要写书评

暂无评论

中华骨科杂志 2023年第6期43卷 351-358页

作者：邢帅高延征王红强张锴张广泉施新革朱宇河南省人民医院脊柱脊髓外科郑州450003

目的探讨"O"型臂导航系统辅助半椎体切除植骨融合内固定治疗颈胸段先天性半椎体畸形的临床疗效。方法回顾性收集2016年2月至2020年10月河南省人民医院收治的颈胸段半椎体畸形患者12例,男5例、女7例,年龄(9.4±2.6)岁(范围4~15岁)。术中... 详细信息

目的探讨"O"型臂导航系统辅助半椎体切除植骨融合内固定治疗颈胸段先天性半椎体畸形的临床疗效。方法回顾性收集2016年2月至2020年10月河南省人民医院收治的颈胸段半椎体畸形患者12例,男5例、女7例,年龄(9.4±2.6)岁(范围4~15岁)。术中采用神经监测系统确保手术矫形的安全性,采用"O"型臂导航系统辅助置入椎弓根螺钉,切除半椎体,矫形侧凸畸形。术后采用CT评估置钉准确性,术前、术后摄站立位脊柱全长正侧位X线片测量冠状面及矢状面Cobb角。末次随访时计算脊柱侧凸及后凸矫正率、内固定、双肩高度差及植骨融合情况。结果12例共置入椎弓根螺钉108枚,置钉准确率为96.3%(104/108)。随访时间(37.9±10.2)个月(范围24~61个月)。融合节段为(5.4±1.1)个(范围4~7个)。术后1周脊柱侧凸Cobb角矫正率为78.5%±3.2%,后凸Cobb角矫正率为70.1%±5.4%。术后1周及末次随访时侧凸、后凸角度及脊柱侧凸研究学会-22项问卷(Scoliosis Research Society-22,SRS-22)评分与术前比较差异均有统计学意义(P0.05)。至末次随访12例植骨均达EckⅠ级融合。术前双肩高度差(shoulder imbalance,SI)为(2.4±0.8)cm,术后1周为(1.0±0.6)cm,末次随访为(0.7±0.5)cm,差异有统计学意义(F=38.30,P<0.001)。术中及随访期间均未发生假关节形成、明显的矫正角度丢失、内固定松动及断裂。结论"O"型臂导航系统航辅助置钉矫形植骨融合固定联合半椎体切除治疗颈胸段半椎体畸形具有矫形效果好、放射暴露减少及并发症少等优点,可精准植入椎弓根螺钉和切除半椎体。

关键词：脊柱疾病颈椎胸椎手术导航系统

基于体系结构能耗建模的CPS软件可信性评估方法

在线全文

学校读者我要写书评

暂无评论

电子学报 2013年第11期41卷 2270-2275页

作者：张广泉张侃祝义周航苏州大学计算机科学与技术学院江苏苏州215006 南京大学计算机软件新技术国家重点实验室江苏南京210093 中国科学院软件研究所计算机科学国家重点实验室北京100190 江苏师范大学计算机科学与技术学院江苏徐州221116 南京航空航天大学民航学院江苏南京210016

信息物理融合系统(Cyber Physical Systems,CPS)是一种计算系统和物理环境紧密结合的网络化嵌入式系统,软件作为其重要的使能部件,如果在其设计阶段能够考虑能耗影响等问题,则能有效提高软件及系统的可信性.软件体系结构在设计阶段为构... 详细信息

信息物理融合系统(Cyber Physical Systems,CPS)是一种计算系统和物理环境紧密结合的网络化嵌入式系统,软件作为其重要的使能部件,如果在其设计阶段能够考虑能耗影响等问题,则能有效提高软件及系统的可信性.软件体系结构在设计阶段为构造软件的结构、行为和关键属性提供设计模型和指导,对CPS软件体系结构能耗进行建模,分析和评估能耗对CPS软件可信性的影响,可以在设计阶段发现其体系结构能耗设计缺陷,并重新设计软件体系结构,从而有效提高CPS软件可信性.基于此,首先基于能耗时间Petri网建立了CPS软件体系结构能耗模型,并分析了影响CPS软件可信性的能耗问题;针对这些问题,将分析得到的能耗数据作为建立可信性指标模型的基础,提出了基于能耗指标模型的CPS可信性评估方法;最后通过实例建模和分析,进一步说明该方法的有效性.

关键词：信息物理融合系统软件可信性评估可信性指标模型能耗建模

一种嵌入式实时系统软件能耗建模与分析的方法

在线全文

学校读者我要写书评

暂无评论

计算机研究与发展 2014年第4期51卷 848-855页

作者：祝义肖芳雄周航张广泉江苏师范大学计算机科学与技术学院江苏徐州221116 广西财经学院信息与统计学院南宁530003 南京航空航天大学民航学院南京210016 苏州大学计算机科学与技术学院江苏苏州215006

随着嵌入式实时系统低能耗研究的不断深入,软件能耗已经成为影响系统的主要因素,并朝着定量分析方向发展.针对嵌入式实时系统缺乏有效的软件能耗建模与分析的方法,提出一种基于进程代数的嵌入式实时系统软件能耗建模与分析的方法.通过... 详细信息

随着嵌入式实时系统低能耗研究的不断深入,软件能耗已经成为影响系统的主要因素,并朝着定量分析方向发展.针对嵌入式实时系统缺乏有效的软件能耗建模与分析的方法,提出一种基于进程代数的嵌入式实时系统软件能耗建模与分析的方法.通过在时间通信顺序进程上扩展价格信息得到价格时间通信顺序进程,将嵌入式实时系统指令的功耗映射成价格时间通信顺序进程的价格,利用价格时间通信顺序进程对嵌入式实时系统软件能耗建模并进行量化分析,提出的最优路径算法可以对建模结果进行指令功耗可满足性检查,并计算当前最低能耗可达路径.该方法可以从很大程度上提高嵌入式实时系统软件能耗计算和分析的准确性,计算结果有助于嵌入式实时系统软件能耗的量化分析和优化设计.

关键词：嵌入式实时系统软件能耗建模价格时间通信顺序进程

在线全文

学校读者我要写书评

暂无评论

模型检测新技术研究

计算机科学 2003年第5期30卷 102-104页

作者：戎玫张广泉暨南大学中旅学院深圳518053 苏州大学计算机科学与技术学院

Model checking is an algorithmic verification technique that checks automatically whether a given finitestate concurrent system satisfies its temporal specification. The main disadvantage of model checking is state spaceexplosion problem. In this paper, several important approaches have been proposed for dealing with the stateexplosion problem. Such approaches are symbolic, abstraction, partial-order reduction, compositional reasoning,etc. Then,a number of way are proposed for verifying real-time and hybrid systems using model checking. At last,several approaches combining model checking and other verification techniques or mathematical methods are consid-ered.

关键词：软件开发软件可靠性形式化方法原则软件系统演绎推理模型检测