算法正确性的英文

• correctness of algorithm

• "算法"英文翻译    algorithm
• "正确性"英文翻译    exactness; correctness; soun ...
• "正确性" 英文翻译 :    accuracy; correctness; justness; legitimacy; trueness; truth; validity; verecity
• "语法正确" 英文翻译 :    correct grammar
• "不正确性" 英文翻译 :    inaccuracy
• "部分正确性" 英文翻译 :    partial correctness
• "程序正确性" 英文翻译 :    program correctness
• "抽样正确性" 英文翻译 :    sampling accuracy
• "概率正确性" 英文翻译 :    probable correctness
• "估计正确性" 英文翻译 :    accuracy of estimation
• "计算正确性" 英文翻译 :    accuracy in computations
• "记忆正确性" 英文翻译 :    memory exactitude
• "经验正确性" 英文翻译 :    empirical validity
• "绝对正确性" 英文翻译 :    absolute correctness
• "可能正确性" 英文翻译 :    possible correctness
• "强正确性" 英文翻译 :    strong correctness
• "软件正确性" 英文翻译 :    correctness of software; software correctness
• "完全正确性" 英文翻译 :    total correctness
• "验证正确性" 英文翻译 :    proving correctness
• "语义正确性" 英文翻译 :    semantic correctness
• "正确性保持" 英文翻译 :    truth maintenance
• "正确性定理" 英文翻译 :    correctness theorem
• "正确性论据" 英文翻译 :    correctness argument
• "正确性确认" 英文翻译 :    validation validate validating; validation, validate, validating
• "正确性审计" 英文翻译 :    accuracy audit

• The last chapter shows two experiment systems to validate the double ccd photometry program , the first system primarily makes use of computer software tool to verify it , the second system proves the photometry ' s accuracy according to experiment data and error result , and brings up a prospect for next work
  第五章介绍了验证算法正确性的两个实验系统，第一个系统主要利用计算机软件工具对编制的算法dsp程序进行验证；第二个系统根据实验测量数据和误差结果对算法的计算精度进行验证，并提出下一步具体工作的展望。
• E3d r - tree takes into account the features of moving object data and takes advantage of new cost parameters . in particular , least - cost - first search algorithm is used in the insertion algorithm to find the overall best way to insert a new record in e3d r - tree . the proof of the vidility of the algorithm is given
  在e3dr - tree中,结合移动对象数据特征引入空白区域作为新的插入代价参数,同时,在插入算法中利用最小代价优先搜索算法确定全局最优插入路径,并给出算法正确性证明。
• Automatic docking is one of the most important actions for msr robot ’ s self - reconfiguration and is one of the technologys about the robot researching , because it supports almost all practical advantages of such robot . in this thesis , automatic docking system and the module structure are first analyzed ; for searching the reason why the actual docking system run unsteadily , some validate and test thing are done , such as docking algorithm test , sensor unit test , drive unit test , and so on
  自动对接是模块化自重构机器人完成自重构的一个基本步骤,也是这种机器人研究的关键技术之一,是模块化自重构机器人具有实际应用价值的基础。本文对自动对接系统结构进行了分析,为寻找实际对接系统工作不稳定的原因,做了一些验证与调试方面的工作,包括自动对接算法正确性与有效性的验证,串口电路设计,编写实时跟随对接模块运动的程序以及传感器建模程序等。