符号模型判别系统的一种实用反例生成策略

描述一个在模型判别器中实现的实用的反例生成策略。该策略利用电路性质描述语言的特点 ,将所有的“反例”生成算法归结为三种基本的“正例”生成算法。

针对同步时序电路VHDL设计的有效模型判别器VERIS

介绍了一个针对同步时序电路 VHDL 设计的性质验证的解决方案——一个有效的符号模型判别器VERIS.该模型判别器利用同步时序电路设计的特点以及待验证性质的局部性 ,可显著地减少有限状态机 (FSM)的状态空间 ;大大地提高可达性分析和性质验证的速度 ;同时 ,实现了反例生成机制 .实验结果表明 ,与 Deharbe的模型判别器相比 。

早孕期超声规范化结构筛查在胎儿四肢畸形诊断中的应用

目的探究早孕期超声规范化结构筛查对胎儿四肢畸形诊断的意义。方法选取2014年3月至2017年8月在我院进行产检并分娩的8 420名孕妇,于孕早期对其进行超声规范化结构筛查,并于孕中期对初次超声检测正常的孕妇再次进行检查,同时对其进行随访,至孕妇分娩。记录孕早期超声诊断情况,并与孕中期检测情况及孕妇分娩后情况进行比较。结果孕早期共检测出四肢畸形胎儿17例,占全部胎儿的0.19%(17/9 025),且畸形类型以四肢短小为主,占全部畸形胎儿的47%(8/17),占全部胎儿的0.09%(8/9 025),且对孕早期检测结果健康的孕妇进行孕中期超声检查,1例胎儿存在多指,在孕妇进行分娩后,发现1例存在并指的胎儿,共出现2例漏诊,孕早期超声检测准确度为89%(17/19)。结论超声规范化结构筛查技术于孕早期对胎儿四肢畸形情况进行诊断,能够较为准确地对其畸形情况进行诊断,显著降低了畸形胎儿引产时间,对促进孕妇的恢复及提高新生儿质量等方面具有重要意义。

二维联合四维超声对妊娠期畸形胎儿的诊断价值

目的探讨应用二维联合四维超声诊断妊娠期畸形胎儿的临床价值。方法选取2014年2月至2017年2月产前超声筛查中晚期孕妇2 132例,所有孕妇均采用二维超声检查,二维超声检查高度怀疑畸形的胎儿采用二维联合四维超声检查,与随访引产或分娩后证实为畸形胎儿进行比较,分析二维超声与二维联合四维超声对畸形胎儿的畸形部位检出率。结果 2 132例孕妇中随访引产和分娩畸形胎儿证实为畸形部位85处,二维彩超检出畸形部位67处,误诊3处,检出率为75.29%,误诊率为3.53%,漏诊率为24.71%,二维联合四维超声检出畸形部位79处,未出现误诊,检出率为92.94%,漏诊率为7.06%,二维超声检查与二维联合四维超声检查对畸形胎儿的畸形部位检出率比较,差异有统计学意义(P<0.05)。结论与二维超声比较,二维联合四维超声检查能提高畸形胎儿畸形部位的检出率,有效降低漏诊率及误诊率。