公式转换

匹配归结、回溯和cut控制等，并介绍了应用PROLOG程序将谓词公式转换为Horn子句的过程。

Backtracking and cut . Finally , we will illustrate the process of converting predicate calculus formula to Horn clauses using PROLOG program .

控制部分采用自顶向下的设计方法，对DDS控制字计算公式转换，有效的解决了浮点乘法运算等效成高精度的定点运算。

The part of system control is developed by adopting the top-down design way . The floating-point multiplication is equivalent to multiplication of fixed point by transforming the DDS instruction words formula .

本文阐述了利用UG软件的建模功能和机构分析功能生成－对渐开线齿轮，包括渐开线公式转换、表达式建立以及绘制步骤，并仿真其啮合过程。

This paper describes that a pair of involute gears is generated using model and mechanism functions of UG software , including transmission of involute formula , creation of expressions and drawing steps , and finally simulation of gearing .

介绍了将数学公式转换成MathML代码的方法，给出了基于MathML的网络数学课件的设计方案，解决了数学公式在网络上无法正确显示的问题。

The method of converting MathML code into mathematics formula is introduced , and a new solution based on metwork mathematics courseware of MathML is proposed , and the problem that the mathematics formula is unable to show correctly in the network is solved .

将求顶出零件尺寸所需的计算公式转换成程序代码，并封装成模块；

With calculating formula for the size of ejection parts transformed into programming code and encapsulated into module ;

表明了利用微波来测试应力的可能性，核心是将应力公式转换成电源电压单一变化的函数形式。

This suggests the possibility of utilizing microwaves in the field of stress detection . The core element of this method that the stress formulas were modified to the form of an uni-variable function of power voltage .

除此之外，其它关于时间针法之即时取穴或按时取穴方法不外乎是翻查书面表格，并藉由歌诀所透漏的数学概念逐次公式转换，于记忆上来说并不简单。

In addition , other methods about the the time acupuncture for immediate open acupoints on time is nothing more than check written form and table , and by the verses reveal the mathematical concept of successive conversion formula is not simple for the memory .

标准分数是将原始卷面分数经过某种数学公式转换后，扣除难度和区分度等客观因素影响而只考虑主观因素影响的一种相对分数。

Standard score is a relative score obtained from the test paper score through conversion according to a certain mathematical formula . The standard score is influenced by subjective factors only while free of the influence of such objective factors as the degree of difficulty and the degree of differentiation .

利用时态逻辑公式检验转换后的面向方面的Petri网模型的正确性，通过分析Petri网的执行序列来检验方面织入时机的合理性。●提出了基于着色Petri网的面向方面的建模技术。

The correctness of transformed aspect oriented Petri nets can be verified by temporal logical formulations . The validity of weaving time can be checked via the execution sequence of Petri nets . A technique of aspect oriented modeling based colored Petri nets is established .

据此，可建立相应的双语语料库，以已设计出的6个翻译公式为转换规则进行机器翻译。

As these dictions are identified as restricted register , bilingual corpora can , therefore , be set up with the 6 translation formulas as transfer rules for machine translation .

可采用本文提出的考虑转角的预应力侧向约束计算公式进行转换梁的初步设计，其结果是较为准确的，能满足工程设计的需要。

Preliminary designing prestressed concrete transfer beam using calculation formula of lateral restraint considering angle proposed in this paper can get accurate result and satisfy the requirements of engineering design .

引用矩形沉箱浮游稳定计算的相同原理，把扇形重心轴的惯性矩通过转轴公式的转换，再经数学证明，得到带箱格圆形沉箱浮游稳定计算的通用公式和计算方法。

Based on the same principle of floating stability calculation of rectangle caisson , the moment of inertia of gravity axis of the fan shape is transformed through coordinate transformation formula , and the general formula and calculation method of floating stability for cylinder caisson with partition walls are obtained .

水平均匀层状介质的视电阻率理论计算公式，可以转换成一种褶积滤波形式。

The theoretic formula of apparent resistivity in horizontal , uniform bedded medium can be transformed into a convolution filtering expression .

首先，利用Ito公式推导出机制转换环境下利润流的动力学方程。

Firstly , by using the Ito formula we obtain the dynamics of profit flow with regime switching .

利用简化的BURSA-WOLF公式进行GPS坐标转换及精度分析

GPS Coordinate Transform Using the Simplified Bursa - Wolf Formula and Its Accuracy Analysis

对适合圆柱坐标描述的问题，通过公式变化将其转换为能用PDE工具箱求解的形式。

Problems suitable for description with cylindrical coordinates are transformed into forms that are capable of solution with the PDE toolbox through formula variation .

本文通过在衢州地区利用简化的BURSA-WOLF空间模型公式进行GPS坐标转换，比较各个模型对转换精度的影响，得出一些有利于工程应用的结论和建议。

By using the simplified BURSA-WOLF spatial model formula for GPS coordinate transform in Quzhou district , the paper compared every model 's influences on the transform accuracy , and educed some conclusions and advices that would benefit engineering application .

并利用表间公式实现数据的转换和显示。

And using the formulas between tables to realize datas conversion and exhibition .

推导了结构的实际速度和谱速度之间的转换公式，基于该转换公式修正了功率等效方法下的附加阻尼比计算公式。

Then the transforming equality between actual and spectra velocity of structure is derived , based on which , the additional damping ratio equation is revised .

利用定向参数作为坐标转换参数，导出了在统一坐标系下点位坐标的计算公式，并对转换后的坐标进行了精度分析。

It used orientational parameters on coordinate conversion . Thus obtained the calculating formulas of point position in original coordinate system , the precision analysis formulas were also given .

该系统的主要特点是能够自动推导对齿轮刀具进行啮合分析所必需的各种公式，并将这些公式直接转换成FORTRAN语句，加上系统的各种计算模块，生成完整的数值计算程序。

Its outstanding features are that it can be used for automatically formulating analysis of the gear cutter engagement and automatically producing a FORTRAN program for numerical computation .

本文基于运动学原理对转换波DMO脉冲响应近似公式进行修正。从修正后的公式出发，利用转换波DMO的机理及傅利叶变换方法推导出本文的f-k域转换波真振幅DMO算法。

Based on the principle of kinematics the author revises the approximate formula of DMO pulse response and proposes a new algorithm to perform true-amplitude DMO for converted wave in f-k domain using the mechanism of DMO for converted wave and Fourier Transform .

利用简化的公式对某城市四等控制网的GPS观测成果进行坐标转换和精度分析，结果表明，两种公式具有不同的转换精度，适用不同的GPS测量及应用。

The GPS coordinate transformation and analyzing the coordinate precision based on simplified BURSA-WOLF formulas show different results .