Aiming at current domain name system (DNS), this paper has analyzed its work procedure and domain name resolution principle and pointed out the directions of optimizing performance.
针对当前域名系统，通过分析其工作过程和域名解析的原理，指出其性能优化的方向。
The high range resolution principle and Doppler performance is analyzed. The effect of velocity and acceleration on one-dimensional high range resolution is calculated through simulation.
分析其高距离分辨原理及多普勒性能，通过仿真，计算速度、加速度对一维距离高分辨的影响。
It discusses carefully the basic concepts and inference rule of the resolution principle. According to the discussion, resolution method is used to prove a mathematical theorem through a example.
对归结原理的基本概念与推理规则进行了讨论，并在此基础上通过实例探讨了归结推理方法在数学定理证明中的应用。
Aiming at current domain name system (DNS), this paper analyzes its work procedure and domain name resolution principle and discusses the optimizing performance.
针对当前域名系统，通过分析其域名解析的原理，指出其性能优化的方向。
Resolution Principle is an important means of automatic proving of theorem.
归结原理是定理自动证明的重要工具。
Resolution Principle is an important means of automatic proving of theorem.
归结原理是定理自动证明的重要工具。
应用推荐