查询词典 recursion theory

First the math theory of machining simulation is studied, and the set structure of NC machining simulation system whose components, including time, input, output and so on, are defined. Hereby we set up the hierarchy structure, the logical structure, the static model and the dynamic model of simulation system. The construction method of sweep entity of cutter and rotation parts is researched, and their differential geometry invariants are calculated. NC code is unscrambled, and the recursion division arithmetic of time segment is put forward, which is the driven data of the movement or rotation parts. The CLDATA should be interference-free. To examine if there is interference between cutter flank and the work piece, an arithmetic that discussed the existence of intersecting curve between them is put forward. To examine if there is interference between two turrets, an arithmetic that discussed the existence of intersection set between two polygons is put forward.

首先研究加工过程仿真的数学基础，然后定义数控加工仿真系统的集合结构及时间集、输入集、输出集等概念，建立加工仿真的层次结构和逻辑结构，阐述双刀车削仿真系统的静态模型和动态模型建立方法，分析刀具扫描体和旋转部件扫描体的建立方法及其微分几何性质；研究NC代码解读技术和双刀加工时间段递归子分划技术，为驱动各仿真单元作数据准备；通过讨论后刀面和工件表面交线的存在性判断刀具后刀面与工件间是否干涉，通过求多边形的交集判断刀架与刀架是否干涉。

The total reflection coefficient of this structure is then obtained through a recursion formula, which is derived by using electromagnetic field theory.

用波动方法推导了计算这一结构总反射系数的一个新的循环公式。

Based on the HJI inequality in Robust faults detection theory, the recursion formula was deduced.

在此基础上，使用鲁棒检测理论中的HJI不等式对运行故障进行了理论分析和推导，得出了用于进行故障检测的递推公式。

A modal theory and recursion RTCM algorithm for gratings of deep grooves and arbitrary profile.

大深度任意剖面形状光栅的模式理论和RTCM递推算法。

In the financial theory, BSDE is usually used in the study of economic theory such as recursion utility, differential utility and the pricing of contingent claim.

在金融理论中，递归效用、微分效用、未定权益定价等经济理论的研究都能用到BSDE理论。

On basis of recursion theory of deep optimization traversal, stimulated the logical graph of water project by visual programming technology, and applied it to the west water source project of Weihe valley.

运用图论中节点连接表法描述各水源之间的逻辑联系关系，探索了分析流域拓扑结构的基本思想；以深度优先遍历的递归理论为基础，采用可视化编程技术，用计算机模拟了与研究对象有水力联系的水源工程逻辑结构图，并以渭河流域西部水源工程为研究对象进行了实现。

The development of Montague's ideas can be divided into three stages: In the first stage (1955-1958), Montague was influenced by Frege, Russell, Carnap and Tarski, focusing on Mathematic Logic, Mathematical Foundation and Recursion Theory.

蒙太格思想的发展分为三个阶段：第一段（1955-1958）受弗雷格、罗素、卡尔纳普、塔斯基问题意识的支配，关注数理逻辑、数学基础、递归函数论等问题。

Thirdly,incorporated into A-stability theory of recursion schemes,the A-stability ofthe precise integration schemes with high(＞2)order precision is proved, not only implicitintegral schemes,but also explicit integral schemes.

通过讨论递推格式的A稳定性，证明了精细积分格式不仅具有A稳定的隐式积分格式，而且具有A稳定的显式积分格式，且其阶数都存在超过2的形式。

Thus chaos theory is, very generally, the study of forever changing complex systems based on mathematical concepts of recursion, whether in the form of a recursive process or a set of differential equations modeling a physical system.

通常混沌理论是研究建立在数学递归概念基础的上永远改变复杂系统，无论以回归过程形式或建立微分方程物理系统模型。

The atom structure model of Ni64Pd16Al20 amorphous alloy was set up by using molecular dynamics theory.

摘 要：根据分子动力学理论建立了非晶Ni64Pd16Al20的结构模型，利用Recursion方法计算了Ni64X16Al20系非晶及相应晶态的电子结构。

With Death guitarist Schuldiner adopting vocal duties, the band made a major impact on the scene.

随着死亡的吉他手Schuldiner接受主唱的职务，乐队在现实中树立了重要的影响。

But he could still end up breakfasting on Swiss-government issue muesli because all six are accused of nicking around 45 million pounds they should have paid to FIFA.

不过他最后仍有可能沦为瑞士政府&议事餐桌&上的一道早餐，因为这所有六个人都被指控把本应支付给国际足联的大约4500万英镑骗了个精光。