POR与SANDA程序的测井算法与应用比较

POR程序和SANDA程序都是分析泥质砂岩的常用测井解释程序,它们之间既是一脉相承,又存在许多不同之处。本文主要从泥质含量与孔隙度计算原理及在实际解释中的应用等方面将这两种程序进行比较研究。

POR患者采用拮抗剂方案加用GH对子宫内膜容受性及妊娠结局的影响

目的:探讨拮抗剂方案联合生长激素(GH)注射对卵巢低反应(POR)患者子宫内膜容受性与妊娠结局的影响。方法:选取2014年11月至2016年5月在揭阳爱维艾夫医院生殖中心进行体外受精-胚胎移植(IVF-ET)卵巢低反应患者96例,按照随机数字表法平均分为试验组和对照组,对照组采用拮抗剂方案促排卵,试验组在对照组基础上加用生长激素促排卵,随访1年,观察两组患者治疗情况、子宫内膜容受性及妊娠结局。结果:(1)试验组Gn使用总量、Gn使用时间、GnRH-A使用时间均明显低于对照组(3995. 6±677. 8 vs 5256. 7±1003. 4,9. 8±2. 4 vs 13. 1±2. 7,6. 2±1. 3 vs 8. 1±2. 0),差异具有统计学意义(P <0. 05);(2)试验组HCG注射日E2水平、子宫内膜容积、子宫内膜厚度明显优于对照组(2114. 58±433. 24 vs 1214. 63±411. 88,5. 33±1. 26 vs 4. 29±1. 18,12. 14±1. 79 vs 10. 62±1. 45),内膜下血流A级例数明显高于对照组(31vs19),差异具有统计学意义(P <0. 05);(3)试验组在获卵数、MII卵子数、受精卵数、优质胚胎个数指标方面优于对照组,差异具有统计学意义(P <0. 05);但两组患者在胚胎种植率、临床妊娠率、流产率方面比较无统计学差异(P> 0. 05)。结论:在卵巢低反应患者中采用拮抗剂方案加用生长激素可以明显提高子宫内膜容受性,提高受精率,但对妊娠结局无改善作用。

基于偏序规约技术的网络程序JPF验证

为了减少网络程序模型检测过程中产生的系统状态数目,提出了一种架构感知偏序规约方案。针对目前模型检测器JPF内置的偏序规约机制不能够识别出线程启动时产生的冗余状态问题,设计了一种可应用于JPF的网络程序模型检测的解决方案。该方案通过消除线程启动时产生的冗余路径,有效减少了检测过程中产生的状态空间。实验结果表明,该方案能够有效消除对冗余状态的检测,减少了JPF对网络程序进行模型检测时产生的状态数。