在对复杂数据的处理过程中,“部分重复性”理论通过建立“中心函数”、“浮动域”和“正确度”指标,提供了一种分类优劣的评价标准。
互联网摘选
形式化证明把程序完全正确性问题归结为部分正确性和终止性的证明。
互联网摘选
而且,相比已有的出具证明编译器,该编译器可以处理更加复杂的程序性质,例如值相关的部分正确性。
互联网摘选
Burstall/Darlington提出的展开/叠卷方法是程序转换中简单而有效的一种方法,但该方法仅保持函数的部分正确性,而可能失去某些值上的终止性。
互联网摘选
本文把Brookes验证平行程序的思想应用于Hoare的通信顺序进程(CSP),提出了一组证明规则,以验证CSP程序的部分正确性。
互联网摘选
实验结果表明,经过算法处理的数据可以快速诊断出局部遮阴的光伏电池位置,证明了本文的故障检测算法的正确性。
互联网摘选
偏相关分析结果表明:认知方式的差异对英语自主听力学习成绩不但有直接的影响,而且还通过影响学习策略的使用对其施加间接影响。
互联网摘选
Partial correlation coefficients between four factors and yield are all positive.
4个因素与产量的偏相关系数均为正值。
互联网摘选
易位染色体在减数分裂中的配对形式以链状三价体(71.09%)为主,还有链状四价体(13.28%),完全配对的环状四价体占15.63%。
互联网摘选
利用发生函数方法及发生函数的XD算子,计算在赠券收集问题中收集全套赠券与收集任意张赠券的试验数的平均值与标准差。
互联网摘选
“正常业务过程中的买方”不包括通过大宗转让、或者为金钱债务提供担保或者为全部或部分清偿金钱债务而取得货物的人。
互联网摘选
与空拔相比较,在短芯棒拔制过程中,纵裂现象一般不会发生,由于钢管轴向应力在横截面上分布均匀,一般也不会出现以局部破坏形式出现的横裂现象。
互联网摘选
Shh抗体阻断组形成的牙宽度较小,牙冠形态不规则,只有一个明显的牙尖且牙尖高度较Shh-N体外诱导组和对照组明显变低。
互联网摘选
The Genetic Algorithm Based on Partial Ordering Relation for Multimodal Optimization
基于偏序关系的遗传算法求解多峰函数优化问题
互联网摘选
