Developed by Cornell researchers, the program deduced the natural laws without a shred of knowledge about physics or geometry.
这套程序由康奈尔大学的研究人员编制而成，在没有丝毫物理或几何知识帮助的情况下推断自然定律。
This paper introduces the navigation principle of the SINS firstly, the navigation algorithm on geographical coordinates is deduced, and then the simulation program is developed.
本文首先介绍了SINS的导航原理，推导了SINS在地理坐标系下的导航算法，并进行了相应的程序设计和仿真。
We designed the flight program for solid launch vehicles, resolved the control parameter of ascent trajectory with modified Newton iterative method, and deduced the iterative formula.
设计了固体运载火箭上升段飞行程序，应用修正牛顿迭代法求解上升段弹道控制参数，推导了迭代算法公式。
In this paper, Newton iterative formula based on deviations of dropping point is deduced and the iterative program is designed, an example is given.
推导了根据落点偏差求飞行程序角和发射方位角的牛顿迭代公式，设计了迭代算法，并给出了实际算例。
Via the construction of geometric model, calculation formula for the head of worm lathe tool has been deduced, which has simplified calculation program.
通过构建几何模型，推导出蜗杆车刀头部的计算公式，简化了计算程序。
In this paper, the mathematical relationship among parameter of tape transport system for home VCR is deduced in detail and, moreover, a computer program is worked out on the basis of this result.
本文用数学的方法详细推导了家用录象机走带系统各参数之间的关系，并依次编制了计算机程序。
In the execution of such a program, an input statement can be logically deduced from other statements in the program. Many artificial intelligence programs are written in such languages.
在这样一个程序的执行过程中，一条输入语句可以按照逻辑从程序中的其他语句推断出来。许多人工智能程序使用这种语言编写。
According to calculating equations of skew support continuous curved girder bridge that deduced in this paper, compiles a program and gives a case to validate its feasibility and veracity.
根据推导得到的斜支承曲线梁桥计算公式，编制程序并举例验证其可行性和准确性。
The general formulation is deduced, by which the simulation program for VASS NMR powder pattern is set up.
推导出普适公式，并据此建立VASSNMR粉末谱型的拟谱程序。
Using the binomial fitting method in MATLAB to program numerical calculation program, the analytical formulations between feed speed, width-radius ratio and width spread ratio were deduced.
使用MATLAB编写了数值计算程序，采用二项式拟合的数值方法，总结归纳出了进给速度和宽径比与宽展率之间的解析公式。
The basic principle of this method is introduced, the recurrence formula for the tangent of secants is deduced and the flow chart of the correspondent program is presented.
介绍了该方法的基本原理，导出了割线斜率的递推公式，并给出了具体的软件实现方法。
The basic principle of this method is introduced, the recurrence formula for the tangent of secants is deduced and the flow chart of the correspondent program is presented.
介绍了该方法的基本原理，导出了割线斜率的递推公式，并给出了具体的软件实现方法。
应用推荐