简介:摘要胎盘梗死早期临床症状不明显,产妇亦无特殊不适现象,因此临床诊断较困难。若未及时发现,造成胎儿宫内慢性缺氧,会导致胎儿宫内发育迟缓,胎儿存活率低,新生儿抢救。目前彩色多普勒超声是诊断、鉴别诊断的主要手段1。因此,早期发现胎盘梗死有助于降低围产期新生儿死亡或遗留后遗症。“胎盘梗死”值得临床关注。
简介:摘要伴随着移动互联网的发展,互联网的“连接和聚合”特性在各个领域中表现得更加淋漓尽致。总理提出的“互联网+”的概念,使得互联网更加深入地与各行业深度融合。在线学习就是“互联网+教育”的一种产物,是未来教育产业化发展的主要方式之一,在线学习包括大众用户的碎片化时间教育、远程教育及在线图书查阅等。通过对当前我国在线学习的市场环境、在线学习的市场容量以及在线学习用户数量、同时集合国外在线学习的发展历程。分析出我国在线学习的发展趋势。
简介:在软硬件系统的模型检验中经常需要检测系统模型和规约模型的行为之间的包含关系.为提高模型检验技术的自动化程度,提出一种针对有限状态机的仿真检验方法.首先在有限状态系统的基础上,提出系统及其外部行为的概念,然后定义了系统间的仿真关系,之后结合不动点定理,设计了和仿真关系定义相似的FP算子,这就把两个系统外部行为之间的包含关系转化为通过FP寻找组合系统间的最大不动点.如最大不动点存在,称系统模型满足规约属性.最后,通过等价关系给出一种对于无限状态系统转换成有限状态系统的方法,使得该方法可同样应用于无限状态系统.实例显示,该方法能够很好地满足模型检验的要求.