摘要：聚醚醚酮(polyetheretherketone,PEEK)作为一种新型热塑性工程塑料具有良好的生物活性、弹性模量与人体皮质骨相近和射线可透性等优点,已广泛应用于医学领域。本文探讨使用3D打印个性化PEEK材料修复肩胛骨骨肿瘤切除术后骨缺损的安全性及临床疗效。2020年1月至2021年12月在云南省肿瘤医院采用肿瘤切除3D打印PEEK肩胛骨假体重建治疗肩胛骨肿瘤6例,男3例、女3例,年龄14~52岁,滑膜肉瘤1例、Ewing肉瘤1例、软骨肉瘤4例。术前通过CT数据设计、制作PEEK假体;术中在确保安全外科边界的前提下进行肿瘤切除用假体置换,其中全肩胛骨假体置换2例、部分肩胛骨假体置换4例。手术时间为90~170 min,出血量为100~400 ml。6例患者均获得随访,肿瘤无进展生存时间为16~28个月,未见肿瘤复发和转移,全部患者均无瘤生存。末次随访时,Constant-Murley肩关节评分最低为62分,最高为68分;日本骨科协会肩关节评分最低为63分,最高为78分。3D打印PEEK材料假体置换在肩胛骨肿瘤保肢治疗中具有一定的优势,其质量轻、适配好、安装相对简单、组织相容性较好,术后可以获得较好的肩关节外观及功能,有望成为肩胛骨肿瘤保肢治疗的选择方案之一。

摘要：目的探讨人工肱骨头假体的改进及其在保肢术中的应用方法及临床效果.方法2009年1月至2011年6月,昆明医学院第三附属医院采用改良的人工假体置换治疗肱骨近端肿瘤8例,其中男6例,女2例;年龄14～48岁,中位年龄19.1岁.按ISOLS功能评价标准,得分18～22分,平均20.5分;恶性肿瘤及骨巨细胞瘤术前行1周期新辅助化疗.结果6例病例,术中瘤段截除6～14 cm,平均10.3 cm.随访5～20个月,平均13.2个月.5例骨肉瘤患者中,4例患者存活至今,1例于术后5月死于多器官功能衰竭;1例多发性骨髓瘤患者化疗后全身病情稳定,局部未见复发;良性肿瘤2例未见局部复发.所有患者术后拍片检查显示:骨-假体连接处对合良好,骨痂状态稳定;假体均无松动和断裂发生,加长垫无移位.按ISOLS功能评价标准,术后得分22～27分,平均24.4分.结论人工肱骨头假体的应用在临床可获得良好的关节功能,对假体的改良有助于加强假体的稳定性.

摘要：目的探讨改良人工半膝关节假体在儿童骨肉瘤保肢术中的可行性,评估其近期临床疗效。方法 2016年4月至2018年6月收治于我科的5例膝关节周围骨肉瘤患儿,均经病理诊断为骨肉瘤,根据Enneking骨肿瘤外科分期,5例均为IIB期,术前均经过1~2个周期新辅助化疗后予以经过改良设计的人工半膝关节假体置换,术后继续规范化疗并定期对患者进行临床随访及影像学评估。根据国际保肢学会(International society of limb salvage,ISOLS)和膝关节活动度对膝关节功能评价。详细记录肿瘤学结果以及假体并发症。结果 5例患儿均顺利完成瘤段切除、改良半膝关节假体置换术,获随访9~33个月,平均16个月,有2例出现患肢短缩2 cm。截至末次随访时,ISOLS功能评分21~28分,平均23.6分,均为优,膝关节屈曲度70°~110°,平均92°。2例患儿出现轻度跛行、轻度局部疼痛。膝关节临床检查抽屉试验、侧方应力试验、轴移实验、反轴移实验均阴性,稳定性100%。结论该改良型人工半膝关节假体在儿童膝关节周围骨肉瘤的治疗中的近期随访临床疗效满意,为儿童膝关节周围骨肉瘤提供了一种更为合适的保肢方法。

摘要：在需求层级进行建模分析与验证是复杂安全关键软件开发过程中的核心关注点.本论文工作面向航空领域中典型安全关键软件的需求层级,提出了一种基于形式化模型检验技术的需求模型验证方法.首先分析了形式化需求模型(SCR)的建模工具(T-VEC)中所定义的递归结构形式的模型语法与语义,提出了一种对模型变量关系进行平展化的方法,将SCR表格关系模型转换为自动机状态迁移图,然后设计了从SCR模型到模型检验工具(nuXmv)的模型自动转换框架,并对模型转换规则给出了严格的定义证明;最后通过一个航空软件系统的需求实例展示了方法的有效性.