算法正确性 meaning in Chinese
correctness of algorithm
Examples
- 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
自动对接是模块化自重构机器人完成自重构的一个基本步骤,也是这种机器人研究的关键技术之一,是模块化自重构机器人具有实际应用价值的基础。本文对自动对接系统结构进行了分析,为寻找实际对接系统工作不稳定的原因,做了一些验证与调试方面的工作,包括自动对接算法正确性与有效性的验证,串口电路设计,编写实时跟随对接模块运动的程序以及传感器建模程序等。