简介:通过一个F(S)上的预序,提出了反向MP问题,多重反向MP问题以及反向MT问题,多重反向MT问题.在Lukasiewicz命题逻辑系统中讨论并得到了以上问题的解,说明了在某种意义下,这些解和反向三I算法的结果一致,从而在Lukasiewicz逻辑系统中实现了反向三I算法的形式化推理机制.
简介:研究了反向Cauchy积分不等式的加强和推广形式,并用构造性方法给出了直观证明。
简介:摘要目的分析总结双胎反向动脉灌注序列征(TRAP)的诊断、监测和治疗措施。方法回顾该孕妇孕前病史及本次妊娠过程。结果该孕妇于孕12+5周超声检查发现双胎其一胚胎停止发育,孕30周超声确诊为双胎一胎无心畸形,保守处理至孕33+4周因泵血胎羊水过多选择剖宫产术终止妊娠,分娩后新生儿无并发症。结论对于该类罕见TRAP病例,孕期需要严密超声随访,掌握终止妊娠时机。
简介:摘要:造成反向电量的原因比较复杂,用传统的方法判断异常反向电量用户,得到的结果比较模糊,而且结果的准确率也存在很大的争议。通过对某供电公司2012~2015年期间的异常反向电量表计的准确率进行分析,其准确度只有29%;由于异常反向电量表计的核实工作需要在现场进行,所以,势必需要消耗大量的人力和物力,而现场作业的准确率将会直接影响整体工作效率。反向电量表计在总表计数量中的占比较低,所以,传统方法造成的异常反向电量表计现象很难被发现,这样一来就会在很大程度上加剧供电企业的电量损失。鉴于此,本文立足于供电企业产生异常反向电量的原因,围绕新的管控模式展开如下探讨。
简介:摘要:光是自然界中的一个重要现象,我们的眼睛之所以可以看到自然界中的各种景象,都是因为我们的眼界可以接收到自然界中的各种物体反射的光,所以说光和人类的生活有着很紧密的联系。而光学实验也是高中物理实验中一个重要的实验,其中,光的干涉和衍射也是光学中的一个最基本的主题。从根本上面来说,光的干涉和衍射都是光波的相干迭加的结果。所以它们在原则上是没有区别的。但是它们二者所强调的侧重点是不一样的,光的干涉产生的是干涉条纹,强调光的直线传播,而光的衍射产生的是衍射条纹,强调光的非直线传播。运用matlab仿真模拟光的双缝干涉,单缝夫琅禾费衍射,双缝衍射和衍射光栅。在以后的光学教学中,也可以通过仿真模拟实验,方便学生掌握光的干涉与衍射的特点。