English translation for "算法正确性"

correctness of algorithm

Related Translations:

正确性的程序设计:  correctness oriented programming

boor算法:  de boor's algorithm

存取算法:  access algorithm

缓冲算法:  buffered algorithmbuffering algorithm

图解算法:  graph algorithm

算法规则:  algorithm rulealgorithmic rule

心动算法:  systolic algorithm

符号算法:  symbolic algorithms

随机算法:  random algorithms

归并算法:  merge algorithm

Example Sentences:

	1.	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程序进行验证；第二个系统根据实验测量数据和误差结果对算法的计算精度进行验证，并提出下一步具体工作的展望。
	2.	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中,结合移动对象数据特征引入空白区域作为新的插入代价参数,同时,在插入算法中利用最小代价优先搜索算法确定全局最优插入路径,并给出算法正确性证明。
	3.	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 自动对接是模块化自重构机器人完成自重构的一个基本步骤,也是这种机器人研究的关键技术之一,是模块化自重构机器人具有实际应用价值的基础。本文对自动对接系统结构进行了分析,为寻找实际对接系统工作不稳定的原因,做了一些验证与调试方面的工作,包括自动对接算法正确性与有效性的验证,串口电路设计,编写实时跟随对接模块运动的程序以及传感器建模程序等。

Similar Words：

"算法语言学" English translation, "算法语言与计算机操作" English translation, "算法语言与实践" English translation, "算法远程处理" English translation, "算法则" English translation, "算法证实" English translation, "算法执行时间" English translation, "算法状态机" English translation, "算法子程序" English translation, "算法字组" English translation