1) individual tracker
个体跟踪器
2) individual tracker
个体跟踪谓词
3) stellar tracker
星体跟踪器
1.
A celestial north-finder is designed based on a stellar tracker.
以星体跟踪器为基础,设计了一种天文找北系统。
4) star tracker
天体跟踪器
5) tracker
[英]['trækə(r)] [美]['trækɚ]
跟踪系统，跟踪器，跟踪仪
6) tracking / tracking differentiator
跟踪/跟踪微分器
补充资料：递归谓词
递归谓词
recursive predicate
递归谓词[recur咖e predica.e;pe叮pc”Bnu益即e八”-KaT] 在自然数上定义的一个谓词(Predicate)p(x、，…，工。)，使得在自然数上由条件 fl，如果P(x、，一、x.)为真， I{X，.’‘.X_，=悦 to，如果尸(x，，…，x。)为假定义的函数f是一个递归函数(recursive灿Iction). B.E.fl月HcKO撰杜小杨译
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条