Population Protocols是一种受生物启发的计算模型,能够表示无线网络中数量庞大但计算能力弱的多组件间的交互,它为无线传感器网络提供了一种可计算推理的理论框架。将Population Protocol理论引入到RFID识别协议中,提出了RFID识别协议...Population Protocols是一种受生物启发的计算模型,能够表示无线网络中数量庞大但计算能力弱的多组件间的交互,它为无线传感器网络提供了一种可计算推理的理论框架。将Population Protocol理论引入到RFID识别协议中,提出了RFID识别协议系统模型验证框架;构建了标签与阅读器交互产生的状态变迁模型;最后用spin模型检测工具和LTL线性时序逻辑验证了弱公平条件下该模型的自稳定性,为分析与验证无线传感器网络中协议的正确性提供了一种行之有效的方法。展开更多
目的:观察沐舒坦在体外循环术后治疗中的应用。方法:1025例心脏直视手术患者根据体外循环术后是否使用沐舒坦将其分为两组:治疗组565例和对照组460例。治疗组术后使用沐舒坦治疗;对照组术后未使用沐舒坦治疗。观察两组术后的早期肺功能...目的:观察沐舒坦在体外循环术后治疗中的应用。方法:1025例心脏直视手术患者根据体外循环术后是否使用沐舒坦将其分为两组:治疗组565例和对照组460例。治疗组术后使用沐舒坦治疗;对照组术后未使用沐舒坦治疗。观察两组术后的早期肺功能,住院死亡率、肺部并发症发生率和平均住院时间情况。结果:治疗组拔除气管导管后3 d PaO2、PaCO2、PaO2/FiO2与对照组比较,差异均有统计学意义(P均<0.05),治疗组肺部感染、肺不张发生率较对照组低(P均<0.05),治疗组平均住院时间短于对照组(P<0.05)。结论:沐舒坦可有效改善体外循环手术后早期肺功能,防治肺部并发症,对缩短住院时间、加速患者康复有一定的作用。展开更多
文摘目的:观察沐舒坦在体外循环术后治疗中的应用。方法:1025例心脏直视手术患者根据体外循环术后是否使用沐舒坦将其分为两组:治疗组565例和对照组460例。治疗组术后使用沐舒坦治疗;对照组术后未使用沐舒坦治疗。观察两组术后的早期肺功能,住院死亡率、肺部并发症发生率和平均住院时间情况。结果:治疗组拔除气管导管后3 d PaO2、PaCO2、PaO2/FiO2与对照组比较,差异均有统计学意义(P均<0.05),治疗组肺部感染、肺不张发生率较对照组低(P均<0.05),治疗组平均住院时间短于对照组(P<0.05)。结论:沐舒坦可有效改善体外循环手术后早期肺功能,防治肺部并发症,对缩短住院时间、加速患者康复有一定的作用。