通过给出具体的确定型图林机,证明了SBE的可满足性(SAT)问题在多项式时间内可解。
互联网摘选
刚果红法的结果表明,单用稳定剂时,二盐基硬脂酸铅、硬脂酸铅、硫醇锡T137的效果较为显著。
互联网摘选
60例经X线检查确诊为滑动型食管裂孔疝病人作胃镜观察食管-胃连接部的改变。
互联网摘选
系统的实验结果表明差分GPS接收机应用效果好,定位精度高,最重要的是降低了产品的成本。
互联网摘选
并证明ACTD与DNA磷酸基之间不存在静电作用。
互联网摘选
从理论上构造BLP公理的一种新的实施方法(ABLP方法),并给出该方法的正确性证明。
互联网摘选
Potential ability of prediction the advection fog by WRF model is proved to some extent.
WRF模式对平流雾的形势及物理量场的模拟是成功的,显示了WRF模式预报平流雾的潜在能力。
互联网摘选
通过对仿真结果进行对比分析,证实了QSS仿真的局限性和FHD仿真的适用性。
互联网摘选
但由于基因组大小不同、基因密度不一致以及微共线性保守性程度低,其在各自染色体位置上存在偏差。
互联网摘选
另外,样品透射电镜分析结果表明,基于声衰减原理的声波粒度仪较好地反映了纳米级碳酸钙悬浊液中颗粒粒度分布情况。
互联网摘选
其次,本文利用仿真软件OPNET,设计了协议的仿真模型,并结合VMF数据链仿真平台,对仿真模型的正确性进行了验证。
互联网摘选
Through analysis of the sequence, it is proved VSV N is highly conservative.
序列分析证明,VSV N基因高度保守。
互联网摘选
最后,将可变气门控制策略应用于4V发动机缸盖,试验结果表明,可变气门控制策略具有良好的适应性。
互联网摘选
Through analysis on the result, proved plan can be improvable to QoS at a certain extent.
通过对结果的分析,证明改进后的方案能在一定程度上改善切换时的QoS。
互联网摘选
经过野外宏观观测、室内显微分析及同位素年龄测定,基本厘定医巫闾山是一个白垩纪时形成的变质核杂岩。
互联网摘选
本文的目的就是要找到一种行之有效的方法,并利用自动沥青路面分析仪(AAPA)模拟试验验证这种方法的可行性。
互联网摘选
本文通过对K公司的实际案例进行分析探讨,证明了基于熵理论的精益改善方法及实施体系的可行性。
互联网摘选
讨论了样本空间有不同划分时全概公式和贝叶斯公式的应用方法,给出了样本空间有两种划分时全概公式和贝叶斯公式的证明。
互联网摘选
通过对双速通风机分别使用YD系列和YDT系列化电机的节能分析和计算,指出双速通风机使用YDT系列电机更科学、更合理,并达到了节能效果。
互联网摘选
