基于时序约束建模的自动精化和组合工具

为提供更优质的使用Event-B形式化方法建模混合系统的工具,根据混合系统的时序约束建模方法,其能够很好刻画混合系统建模中的时间相关性质并且支持精化和组合,提出基于它的自动筛选、精化和组合的方法。开发对应的自动精化和组合的工具链,工具链包含模型检测、自动精化和组合、模型证明等一系列功能并拥有用户友好的界面。给出一个使用工具的案例介绍和应用此工具。

外周血血小板计数 血小板分布宽度 血小板平均体积及Th1/Th2细胞比值与支气管哮喘合并感染患儿病情变化的关系

目的探讨外周血血小板计数(PLT)、血小板分布宽度(PDW)、血小板平均体积(MPV)及Th1/Th2细胞比值与支气管哮喘合并感染患儿病情变化的关系。方法选取2017年1月-2018年5月该院确诊的140例支气管哮喘患儿为研究对象,其中66例合并感染(感染组),74例为单纯的支气管哮喘患儿(哮喘组)。对比两组患儿的外周血PLT、PDW、MPV、Th1/Th2水平;并分析感染组在治疗前后上述指标的变化;采用简单线性相关分析法分析PLT、PDW、MPV、Th1/Th2水平与临床肺部感染评分(CPIS)的相关性。结果治疗前,感染组患儿的PLT、PDW、Th2水平显著高于哮喘组(P<0.05),MPV、Th1/Th2水平低于哮喘组(P<0.05);治疗后,感染组患儿的PLT、PDW、Th2水平及CPIS评分较治疗前显著降低(P<0.05),MPV、Th1/Th2水平较治疗前显著升高(P<0.05);在抗感染治疗前,感染组患儿的PLT、PDW与CPIS评分呈显著正相关(P<0.05),Th1/Th2水平与CPIS评分呈显著负相关(P<0.05),MPV测定值与CPIS评分无明显相关性(P>0.05)。结论监测支气管哮喘合并感染患儿PLT、PDW、MPV及Th1/Th2水平变化对于评估肺部感染程度、指导临床治疗均具有一定的价值。

超声骨密度检测对婴幼儿维生素D缺乏性佝偻病的早期诊断效能

目的分析超声骨密度检测对婴幼儿维生素D缺乏性佝偻病的早期诊断效能。方法选择2017年9月—2018年2月舟山市妇幼保健院和舟山医院门诊收治的122例婴幼儿为研究对象,以临床体征和血清25-羟维生素D<27.5 nmol/L作为维生素D缺乏性佝偻病的诊断标准,分为正常组和佝偻病组,比较两组婴幼儿骨密度Z值及骨碱性磷酸酶(BALP)水平,通过绘制受试者工作特征曲线(ROC曲线)确定骨密度Z值及BALP水平诊断婴幼儿维生素D缺乏性佝偻病的临界值,并计算灵敏度、特异度、符合率、约登指数及曲线下面积(AUC)等诊断效能参数。结果122例婴幼儿中,正常组92例,佝偻病组30例。佝偻病组婴幼儿骨密度Z值和BALP水平分别为(-2.43±0.42)和(269.82±25.32)U/L,正常组婴幼儿骨密度Z值和BALP水平分别为(-0.66±1.04)和(186.84±77.97)U/L,佝偻病组婴幼儿骨密度Z值明显低于正常组,BALP水平明显高于正常组,差异均有统计学意义(t=9.106,P=0.000;t=8.874,P=0.000)。骨密度Z值预测婴幼儿维生素D缺乏性佝偻病的灵敏度、特异度、符合率、约登指数、阳性预测值及AUC分别为0.867、0.793、0.803、0.660、0.578及0.914,均明显高于BALP(0.733、0.696、0.705、0.429、0.440及0.783)。结论超声骨密度检测对婴幼儿维生素D缺乏性佝偻病具有良好的早期预测价值,操作简便、价格较低、无创快捷,适用于婴幼儿维生素D缺乏性佝偻病的早期筛查。