词语繁体：證明算法
词语读音：zhèng míng suàn fǎ
首字拼音：Zheng
词语拼音：zheng ming suan fa
词语简拼：ZMSF
词语结构：ABCD式词语
词语字数：四字词语
证明算法(algorithm of proof)一种算法.指可用于证明某些命题的成立与否的算法.有些命题的真假是可以通过一个算法来判断的.例如，命题演算中，命题的真假即可通过一个算法机械地判定.
【证的意思】：证（證） zhèng（ㄓㄥˋ） （一）、用人物、事实来表明或断定：证明。保证。证实。作证。对证。论证 详情>
【明的意思】：明 míng（ㄇ一ㄥˊ） （一）、亮，与“暗”相对：明亮。明媚。明净。明鉴（ａ．明镜；ｂ．指可为借鉴 详情>
【算的意思】：算 suàn（ㄙㄨㄢˋ） （一）、核计，计数：算草。算盘。算式。算账。算术。算计（ａ．算数目；ｂ．考 详情>
【法的意思】：法 fǎ（ㄈㄚˇ） （一）、体现统治阶段的意志，国家制定和颁布的公民必须遵守的行为规则：法办。法典。 详情>
• 实验证明算法是可行并且有效的。
• 实验证明算法具有较强的鲁棒性。
• 并证明算法的全局收敛性和超线性收敛性。
• 同时给出组合反演的机械化证明算法及实现。
• 同时利用仿真数据对于整个成像系统的精度进行了测定,对成像前后图像误差的统计特性进行了分析,结果证明算法具有一定的适用性和准确度。
友情链接：姓名测试