proof of algorithm英 [pruːf ɒv ˈælɡərɪðəm] 美 [pruːf əv ˈælɡərɪðəm] [计] 算法验证 |
proof of analog results英 美 [pruːf əv ˈænəˌlɔg rɪˈzʌlts] [计] 模拟结果验证 |
proof of program英 [pruːf ɒv ˈprəʊɡræm] 美 [pruːf əv ˈproʊɡræm] [计] 程序证明 |
proof of program correctness英 [pruːf ɒv ˈprəʊɡræm kəˈrektnəs] 美 [pruːf əv ˈproʊɡræm kəˈrektnəs] [计] 程序正确性证明 |
proof procedure英 [pruːf prəˈsiːdʒə(r)] 美 [pruːf prəˈsiːdʒər] [计] 验证过程, 证明过程 |
proof reading英 [pruːf ˈriːdɪŋ] 美 [pruːf ˈriːdɪŋ] [计] 校样, 校对 [经] 校对 |
proof reading program英 [pruːf ˈriːdɪŋ ˈprəʊɡræm] 美 [pruːf ˈriːdɪŋ ˈproʊɡræm] [计] 校对程序 |
proof rule英 [pruːf ruːl] 美 [pruːf ruːl] [计] 验证规则, 校对规则 |
proof scheme英 [pruːf skiːm] 美 [pruːf skiːm] [计] 验证电路, 验证方案 |
proof system英 [pruːf ˈsɪstəm] 美 [pruːf ˈsɪstəm] [计] 证明系统 |
proof tape英 [pruːf teɪp] 美 [pruːf teɪp] [计] 验证带 |
proof technique英 [pruːf tekˈniːk] 美 [pruːf tekˈniːk] [计] 验证技术, 验证方法 |
proof theory英 [pruːf ˈθɪəri] 美 [pruːf ˈθiːəri] [计] 验证理论 |
proof time英 [pruːf taɪm] 美 [pruːf taɪm] [计] 验证时间, 校对时间 |
proof translation英 [pruːf trænzˈleɪʃn] 美 [pruːf trænzˈleɪʃn] [计] 校对翻译 |
proofness英 美 [计] 验证, 证明 |
propagated error英 [ˈprɒpəɡeɪtɪd ˈerə(r)] 美 [ˈprɑːpəɡeɪtɪd ˈerər] [计] 延伸误差; 传播误差 |
propagating英 [ˈprɒpəɡeɪtɪŋ] 美 [ˈprɑːpəɡeɪtɪŋ] [计] 传播的, 繁殖的 |
propagating system英 [ˈprɒpəɡeɪtɪŋ ˈsɪstəm] 美 [ˈprɑːpəɡeɪtɪŋ ˈsɪstəm] [计] 繁殖系统 |
propagating terminal英 [ˈprɒpəɡeɪtɪŋ ˈtɜːmɪnl] 美 [ˈprɑːpəɡeɪtɪŋ ˈtɜːrmɪnl] [计] 扩展引出端 |
Propagating Zero-sided Lindemayer system英 美 [计] 繁殖的林氏无关系统 |
propagation anomaly英 美 [计] 传播异常现象 |
propagation blank英 美 [计] 传播空白 |
propagation coefficient英 美 [计] 传播系数 |
propagation condition英 美 [计] 传播条件 |
propagation control英 美 [计] 传播控制 |
propagation D-cube英 美 [计] 传播D立方 |
propagation delay英 美 [计] 传播延迟 |
propagation delay time英 美 [计] 传输时延; 传输延迟时间 |
propagation efficiency英 美 [计] 传播效率 |