此次,在蒸、疏冷的管系设计中,与以往相比有较大变化,使结构更为合理,传热效果更佳。带疏水冷却器的回热加热器变工况特性研究
互联网摘选
在对复杂数据的处理过程中,“部分重复性”理论通过建立“中心函数”、“浮动域”和“正确度”指标,提供了一种分类优劣的评价标准。
互联网摘选
形式化证明把程序完全正确性问题归结为部分正确性和终止性的证明。
互联网摘选
而且,相比已有的出具证明编译器,该编译器可以处理更加复杂的程序性质,例如值相关的部分正确性。
互联网摘选
Burstall/Darlington提出的展开/叠卷方法是程序转换中简单而有效的一种方法,但该方法仅保持函数的部分正确性,而可能失去某些值上的终止性。
互联网摘选
本文把Brookes验证平行程序的思想应用于Hoare的通信顺序进程(CSP),提出了一组证明规则,以验证CSP程序的部分正确性。
互联网摘选
实验结果表明,经过算法处理的数据可以快速诊断出局部遮阴的光伏电池位置,证明了本文的故障检测算法的正确性。
互联网摘选
偏相关分析结果表明:认知方式的差异对英语自主听力学习成绩不但有直接的影响,而且还通过影响学习策略的使用对其施加间接影响。
互联网摘选
Partial correlation coefficients between four factors and yield are all positive.
4个因素与产量的偏相关系数均为正值。
互联网摘选
Excision of depressed cranial fracture Diagnosis: Skull Basilar Invagination with Partial Paraplegia
颅骨凹陷骨折切除术诊断:颅底凹陷症并不全瘫
互联网摘选
Dectection of TT DNA Virus ( TTV) and Partial Sequence Analyses in Hepatitis Patients
肝炎病人中不同基因型TTV的检出及序列分析
互联网摘选
Calculating Method of Bending Resistance for the Partial Depth Endplates Composite Connection
部分端板连接梁柱组合节点抗弯承载力计算
互联网摘选
如能求得它的完全积分,那么Whittaker方程的解可由解代数方程来得到。
互联网摘选
分离结晶作用和部分熔融作用,是控制玄武岩浆化学成分变异的两种主要方式。
互联网摘选
Region of Interest Image Coding Based on Partial Bitplanes Alternating Shift
基于部分位平面交替偏移的感兴趣区图像编码
互联网摘选
玄武岩同位素的比值不仅受玄武岩浆地幔源区本身的特征制约,还可能受地幔岩部分熔融程度的制约。
互联网摘选
Treatment of Biliary Cyst by Partial Jejunum ( Invagination Valve) Cholangio-Duodenostomy
间置空肠(套迭瓣膜)胆管十二指肠吻合术治疗胆管囊肿
互联网摘选
