基于Coq的RVWMO加载值公理形式化描述与推论证明

RISC-V内存一致性模型(RVWMO)规定了RISC-V多核系统的访存序约束,是RISC-V软硬件设计者共同遵守的重要规范,旨在为硬件设计提供灵活性的同时保证软件的易开发性。RISC-V指令集规范使用全局访存序、保留程序序以及三条公理(加载值公理、原子公理与进度保证公理)描述RVWMO。通过运用RVWMO的规则,可对多线程程序的访存序合法性进行判定,进而指导芯片设计、验证与软件开发。其中,加载值公理是最为复杂和难以运用的规则之一,是多个典型案例合法性判定的重要基础。然而,规范对于该公理的描述及案例讲解主要基于自然语言,缺乏清晰严格的形式化描述和推理过程,不利于读者理解和运用该公理。本文基于交互式定理辅助证明工具Coq,给出了RVWMO加载值公理的形式化描述以及相关引理、定理和推论的证明,对于理解运用RVWMO加载值公理和判定访存序的合法性具有重要意义。

食管癌患者术前PLT、白细胞数、NLR及PLR水平对预后的预测价值

目的探究术前血小板(PLT)、白细胞数、中性粒细胞与淋巴细胞比值(NLR)及外周血细胞与淋巴细胞比值(PLR)水平预测食管癌预后的价值。方法选取100例食管癌患者,于食管癌根治术前检测患者PLT、白细胞数、NLR及PLR水平。对患者进行为期2年的随访,根据患者预后分为复发组(36例)和未复发组(64例)。比较不同预后患者上述指标水平。多因素COX回归分析影响食管癌预后的因素。绘制ROC曲线评估PLT、白细胞数、NLR及PLR对食管癌患者预后的预测价值。结果复发组PLT水平明显低于未复发组(P<0.05),白细胞数、PLR、NLR明显高于未复发组(P<0.05)。多因素COX分析显示,NLR、PLT、PLR及白细胞数均为影响食管癌预后的因素(P<0.05)。绘制ROC曲线评估PLT、白细胞数、PLR、NLR预测食管癌患者预后的价值显示,单独检测时,NLR敏感度最高,PLT特异度最高,联合检测时敏感度、特异度最高。结论术前白细胞数、PLR、NLR、PLT水平与食管癌患者预后有关,四者联合检测预测食管癌预后的价值更高。

积极的无创-有创-无创序贯机械通气策略在胸腺切除术后肌无力危象中的应用

目的:探讨积极的无创-有创-无创序贯机械通气策略在胸腺切除术后肌无力危象中的应用价值。方法:回顾性分析胸腺瘤切除术后出现肌无力危象的19例患者的病例资料。其中观察组13例,采用积极的无创-有创-无创序贯机械通气策略;对照组6例,采用传统的单纯有创机械通气策略。记录治疗前后两组患者的动脉血pH、PaO2、PaCO2、HCO3-、心率(HR)、呼吸频率(RR)等指标及两组总机械通气时间和ICU监护时间。结果:(1)两组治疗前后患者的血气分析、RR和HR均有统计学差异(P<0.01)。(2)观察组在ICU监护时间、总机械通气时间均短于对照组(P<0.05),有统计学差异。(3)观察组3人未行气管插管即可满意地进行呼吸支持,对照组中1人行气管切开,其余患者均未再插管。结论:积极的无创-有创-无创机械通气策略能改善肌无力危象患者的呼吸状态,提供完善的呼吸支持,且较单纯有创机械通气可以缩短机械通气时间及ICU监护时间。

发泡胶对鼻咽癌调强放疗计划的剂量学影响

目的 探讨发泡胶对鼻咽癌调强放射治疗计划的剂量学影响。方法 首先测量发泡胶不同厚度对中心点剂量的影响。然后选取11例使用头颈肩热塑膜联合发泡胶进行体位固定的早期鼻咽癌患者,对每例患者勾画两种外轮廓,一种勾画人体正常皮肤外轮廓,另一种将发泡胶也勾画进人体外轮廓。分别设计两种不同皮肤外轮廓的调强计划,比较两种计划的靶区剂量、危及器官剂量和皮肤剂量。结果 将发泡胶加入外轮廓后,降低了鼻咽癌放疗计划的靶区剂量和危及器官的剂量,靶区最大剂量降低了0.56%~0.78%,靶区平均剂量分别降低了0.63%~0.90%。脊髓、视交叉、视神经等危及器官的最大剂量降低了0.2%~1.1%。颈后皮肤平均剂量增加0.8~6.0 Gy。结论 发泡胶的应用降低了鼻咽癌调强计划的靶区剂量和危及器官剂量,增加了皮肤剂量。

菠萝蛋白酶在饲料上的研究进展及应用前景

我国是菠萝的生产大国,产量常年位居世界前列。但是对菠萝的应用却比较局限,主要是用作水果供人们食用。而菠萝皮、菠萝冠以及菠萝茎叶中的有效成分——菠萝蛋白酶却被浪费。菠萝蛋白酶具有抗菌消炎和改善动物生长性能的作用,是一种潜在的抗生素替代物。然而,由于过高的制取成本及苛刻的保存条件等因素制约,限制了其在饲料工业上的应用。文章就菠萝蛋白酶的研究现状及应用所面临的问题进行阐述,并对其发展前景进行了展望。

妊娠期急性脂肪肝合并多脏器功能衰竭2例治疗

妊娠期急性脂肪肝（AFLP）是一种发生于妊娠晚期的严重合并症，主要特点是肝细胞脂肪微粒浸润，在短时间内大量快速脂肪变性；主要临床表现为肝功能急剧衰竭、进行性黄疸和凝血功能障碍，

心胸外科术后老年谵妄患者血清甲状腺激素水平变化及其临床意义

目的:探讨心胸外科术后老年患者谵妄的发生与其血清甲状腺激素水平之间的关系,并分析其与病情严重程度的相关性。方法:对45例心胸外科择期术后老年患者应用ICU意识混乱评价法(CAM-ICU)进行评定并分为谵妄组和非谵妄组,抽取每位患者术后第2日空腹外周血,用放射免疫分析法检测血清促甲状腺激素(TSH)、三碘甲状腺素原氨酸(T3)、甲状腺素(T4)、游离三碘甲状腺原氨酸(FT3)、游离甲状腺素(FT4),比较两组的差异。将发生术后谵妄的患者按照其APACHEⅡ评分分成轻重两组,并分析发生术后谵妄患者甲状腺激素水平与病情严重程度的关系。结果:谵妄组血T(3t=3.11,P<0.01)、FT(3t=2.51,P<0.05)水平明显低于非谵妄组,发生术后谵妄的患者中病情重度组T(3t=2.55,P<0.05)、FT(3t=2.46,P<0.05)水平明显低于病情轻度组。结论:心胸外科老年术后发生谵妄的患者存在低血T3、FT3水平,并与疾病严重程度有一定关联。

聚砜超滤膜的表面改性技术研究

研究了PSF超滤膜的优化改性工况,考察了投加TiO_2、SDBS、APS含量和pH对PSF超滤膜改性的影响。结果表明,PSF超滤膜的优化改性工况,TiO_2、APS、SDBS的质量浓度分别为0.40、0.80、5 g/L,pH为2.0。改性膜与原膜相比,其接触角由65.23°降至50.21°,截留率由53.20%升至84.31%,通量衰减率由75.32%降至44.51%,纯水通量恢复率由40.37%升至64.53%。纯水通量由594.5 L/(m^2·h)降至501.4 L/(m^2·h)。膜的亲水性、截留率和抗污染性能等指标均有明显改善,而聚苯胺复合层的加入使得传输阻力增加而导致纯水通量略有降低。

改性PSF超滤膜与混凝工艺组合处理赣江微污染水源水

制备了改性PSF超滤膜,研究了原膜、改性膜分别与混凝工艺组合处理赣江微污染水源水的处理效果。研究表明,组合工艺处理浊度时,两膜的处理效果都比较明显,PAC的加入量对其影响较小。对UV_（254）、氨氮进行处理时,改性膜的处理效果均比原膜好。加入40 mg/L的PAC时,两膜对UV_（254）的去除率达最大值,其中原膜为39.52%,改性膜为58.73%。在PAC的投入量由10 mg/L增至30 mg/L的过程中,两膜对氨氮的去除率均呈增长趋势,其中原膜由13.23%增至23.68%,改性膜由17.57%增至39.42%,继而增大PAC的加入量,去除效果无明显变化。PAC的加入量在10～30 mg/L时,原膜的极限超滤时间维持在70 min以上,改性膜的极限超滤时间维持在150 min以上。综合考虑出水水质和经济成本的影响,采用组合工艺处理赣江微污染水源水时PAC的加入量宜在30～40 mg/L范围内。

胸腹腔镜下Ivor-lewis手术治疗Siewert Ⅱ型食管胃交界部腺癌的临床疗效

目的探究胸腹腔镜下Ivor-lewis手术治疗Siewert Ⅱ型食管胃交界部腺癌(AEGⅡ)患者的临床疗效。方法选取2020年1月至2022年1月河南科技大学第一附属医院收治的120例AEGⅡ患者纳入研究,采用随机数表法分为开胸组(实施开放手术)和微创组(实施胸腹腔镜下Ivor-lewis手术)各60例。比较两组患者的手术相关指标、术后各时间视觉模拟量表(VAS)评分、手术前后细胞免疫功能[淋巴细胞CD3^(+)、CD4^(+)、CD8^(+)]、肿瘤标志物[抗原细胞角蛋白19片段抗原21-1(CYFRA21-1)、癌胚抗原(CEA)、糖类抗原199(CA199)],同时比较两组患者的并发症情况及术后1年复发情况。结果微创组患者的手术时间、清扫淋巴结数目分别为(239.58±42.35)min、(34.58±7.82)个,明显长(多)于开胸组的(195.46±40.37)min、(25.62±7.31)个,术中总出血量、胃管拔出时间和住院天数分别为(155.84±21.55)mL、(8.15±1.79)d、(12.29±2.15)d,明显少于开胸组的(194.72±25.74)m L、(10.39±1.84)d、(15.44±2.48)d,差异均有统计学意义(P<0.05);术后24 h、72 h,微创组患者的VAS评分分别为(5.94±1.24)分、(2.15±0.63)分,明显低于开胸组的(6.85±1.23)分、(3.44±0.74)分,差异均有统计学意义(P<0.05);微创组患者术后3 d的CD3^(+)、CD4^(+)水平分别为(49.57±2.98)%、(33.95±1.89)%,术后7 d分别为(53.29±3.17)%、(35.22±1.86)%,明显高于开胸组术后3 d的(46.38±3.21)%、(31.77±1.83)%和术后7 d的(51.83±2.95)%、(33.71±1.95)%,差异均有统计学意义(P<0.05);微创组患者术后3 d和7 d的CD8^(+)水平分别为(28.74±2.19)%、(26.92±1.49)%,明显低于开胸组的(30.25±2.04)%、(27.54±1.62)%,差异均有统计学意义(P<0.05);微创组患者术后6个月的CYFRA21-1、CEA、CA199水平分别为(2.38±0.26)ng/mL、(3.27±0.45)ng/mL、(27.83±2.19)U/mL,术后12个月分别为(2.45±0.32)ng/mL、(3.35±0.44)ng/mL、(28.57±2.21)U/mL,明显低于开胸组术后6个月的(2.53±0.29)ng/mL、(3.51±0.41)ng/mL、(29.01±1.98)U/mL和术后12个月的(2.60±0.35)ng/mL、(3.59±0.43)ng/mL、(29.54±2.29)U/mL,差异均有统计学意义(P<0.05);微创组患者术后并发症总发生率和术后1年复发率分别为8.33%、1.67%,略低于开胸组的18.33%、5.00%,但差异均无统计学意义(P>0.05)。结论胸腹腔镜下Ivor-lewis手术治疗AEGⅡ能优化手术指标,改善免疫功能,提高肿瘤细胞清除效果,减轻疼痛,促进术后早期快速恢复,抑制肿瘤细胞表达,均具有较好的短期疗效及安全性。

低氧条件下失血性休克家兔红细胞免疫功能和血液流变性的变化

本实验观察了低氧条件下失血性休克家兔的红细胞免疫功能和血液流变性变化.实验结果表明:急性低氧暴露下失血性休克时血液早期变粘变浓,血液流变性各指标均有增高,其中以全血粘度、红细胞聚集率和血小板聚集率增高尤为显著;而急性低氧暴露下失血性休克的早期红细胞C_3b受体活性显著降低,红细胞免疫复合物沉积显著增高.以上结果提示:低氧条件下失血性休克早期出现红细胞免疫功能和血液流变性的严重障碍.

低氧失血性休克早期红细胞免疫功能对红细胞流变性的影响

本实验观察了常氧及急性低氧条件下,失血性休克早期家兔红细胞免疫功能的变化与红细胞流变性的关系。与对照组比较,常氧休克组红细胞C_3b受体及红细胞免疫复合物花环率上升(p<0.01),红细胞聚集性和变形性降低;低氧休克组红细胞C_2b受体活性降低,红细胞免疫复合物花环率则升高;而红细胞聚集性加强,变形性降低。以上结果提示低氧条件下失血性休克时红细胞免疫功能的改变影响了红细胞的流变性。

脑卒中社区康复护理服务模式的研究

目的探索适合我国实际情况的脑卒中社区康复护理服务模式。方法分析本市脑卒中社区家庭康复现状,并提出社区康复模式建立的方法:成立脑卒中社区康复小组,建立医院与社区卫生服务中心网络管理系统和制订社区脑卒中康复服务内容。结果脑卒中社区康复护理服务模式的建立,使脑卒中患者从入院到回归家庭社区都有康复治疗组成员进行跟踪治疗随访,能得到及时、系统、有效的康复治疗。结论脑卒中社区康复护理服务模式的建立,保障了脑卒中患者康复治疗的连续性、规范性和有效性。

顺气活血汤联合β-七叶皂苷钠治疗胸部创伤致急性肺损伤疗效及对患者血清铁蛋白、超氧化物歧化酶和肺功能的影响

目的:探讨顺气活血汤联合β-七叶皂苷钠治疗胸部创伤致急性肺损伤疗效及血清铁蛋白、超氧化物歧化酶和肺功能的影响。方法:以胸部创伤致急性肺损伤114例患者作为研究对象,随机将其划分成治疗组和对照组,每组各57例。对照组给予β-七叶皂苷钠治疗,治疗组在对照组基础上配合顺气活血汤治疗。观察对比两组患者血气指标、血清铁蛋白水平、超氧化物歧化酶活性及肺功能指标。结果:两组治疗后SpO_2、PaO_2、PaCO_2/FiO_2水平均较治疗前出现显著升高(P<0.05),PaCO_2水平均较治疗前出现显著下降(P<0.05),且研究组SpO_2、PaO_2、PaCO_2、PaCO_2/FiO_2水平变化程度显著优于对照组(P<0.05)。两组治疗后血清铁蛋白水平均较治疗前出现显著下降(P<0.05),且研究组血清铁蛋白水平降低程度显著优于对照组(P<0.05)。两组治疗后超氧化物歧化酶活性均较治疗前出现显著升高(P<0.05),且研究组超氧化物歧化酶活性升高程度显著优于对照组(P<0.05)。两组治疗后肺功能指标均较治疗前出现显著改善(P<0.05),且研究组肺功能指标显著优于对照组(P<0.05)。结论:胸部创伤致急性肺损伤患者实施顺气活血汤配合β-七叶皂苷钠进行治疗,临床疗效较好,可显著改善患者血气指标,调节血清铁蛋白水平以及超氧化物歧化酶活性,改善肺功能。

MC-Ⅲ型多点晨检仪在直线加速器日常质量保证中的使用

目的 探析MC-Ⅲ型晨检仪在加速器日常质量控制和质量保证的应用。方法 使用晨检仪对加速器6 MV能量进行晨检,出束100 MU,并对记录数据进行回顾性分析。结果 使用晨检仪对加速器进行日常质量检测250次,剂量偏差最大为1.9%,平坦度最大比值为102.5%,对称性X方向、Y方向最大比值分别为101.5%、101.2%,光射野一致性最大偏差为1 mm。结论 MC-Ⅲ型多点晨检仪能较好地监测直线加速器性能参数的变化,可作为日常检测加速器基本剂量学性能稳定性的质量控制设备。

剑突下与侧胸入路胸腔镜手术治疗胸腺瘤效果的Meta分析

目的评价经剑突下入路胸腔镜(SPT)与侧胸入路胸腔镜(VAT)手术治疗胸腺瘤的临床效果。方法计算机检索PubMed、Embase、The Cochrance Library、中国知网(CNKI)、万方(WANGFANG)等数据库,获得SPT与VAT手术治疗胸腺瘤的临床研究,检索时限均为建库至2019年12月,采用RevMan 5.3软件对符合纳入标准的研究进行Meta分析。结果按照制定的纳入、排除标准,最终进入系统评价的文献共有17篇病例对照研究。包括SPT组623例,VAT组640例。Meta分析结果:与VAT手术治疗胸腺瘤病人相比,SPT组明显减少了手术时间(SMD=−1.67,95%CI:−2.78~−0.55,P=0.003)、术中出血量(SMD=−2.10,95%CI:−3.20~−1.01,P=0.0002)、术后引流量(SMD=−4.79,95%CI:−6.57~−3.01,P<0.00001)、引流管保留时间(SMD=−0.80,95%CI:−1.28~−0.31,P=0.001)、减轻术后疼痛(SMD=−1.44,95%CI:−1.72~−1.16,P<0.00001),缩短住院时间(SMD=−1.86,95%CI:−3.07~−0.64,P=0.003),差异有统计学意义。结论现有临床资料显示,与VAT手术相比,SPT手术切除是治疗胸腺瘤的更好选择,可以作为治疗常规手术方式。

关于薄板类零件加工工艺设计与研究

本文分析和设计了不锈钢材料薄板零件的加工工艺,主要研究了两套夹具在特种机床加工过程中产生的成本和生产周期差异。通过夹具设计可以解决薄板加工易变形的问题,有利于制定更加合理的加工工艺。本研究解决了同种材料,不需表面加工,厚度不一形状类似的垫片类零件的机械加工生产的问题,为类似零件的加工积累了宝贵经验。

中等医学专业学校康复治疗专业设置标准的构想

何为培养康复治疗士的最佳途径 ,是目前我国康复事业发展所面临的一大问题 ,广东省在此方面做出了探索。

冠状动脉旁路移植术后新发心房颤动的危险因素分析

目的:探讨冠状动脉旁路移植术(CABG)后新发心房颤动(AF)的危险因素。方法:收集2015-01至2016-05我院心脏外科602例CABG患者的临床资料,以CABG后1周内持续超过5 min的AF定义为术后新发AF。比较术后新发AF(AF组)和无新发AF(无AF组)患者围术期临床基线特征和外科手术参数,并应用Logistic单因素和多因素回归模型筛选术后新发AF的独立危险因素。结果:128例(21.3%)患者术后新发AF(AF组),474例(78.7%)患者无新发AF(无AF组)。AF组的左心室射血分数明显低于无AF组,左心室舒张末期内径和左心房内径明显高于无AF组(P均<0.05)。AF组的通气时间和重症监护室停留时间较无AF组延长,差异均有统计学意义(P均<0.05)。在校正年龄和性别后,Logistic多因素回归分析显示:NYHA心功能分级高(OR=1.597,P=0.007)和左心房内径大(OR=1.113,P=0.0001)是CABG后发生AF的独立危险因素。结论:心功能分级恶化和左心房内径增大是CABG后新发AF的独立危险因素。

介孔碳材料的制备研究进展

综述了介孔碳材料的制备方法,包括化学和物理活化法、软模板法、硬模板法,溶胶-凝胶法,对比分析了5种方法的优缺点;另外对制备过程中孔径结构、形貌的控制进行了讨论。通过杂原子的掺杂可以改善介孔碳材料的应用性能,因此对杂原子掺杂改性介孔碳材料进行了综述;并且总结了当前介孔碳材料的发展所面临的难点和问题。