公式的

Based on paper [1] and [2], this paper gives two generating algorithms to calculate and output the special conjunctive normal forms and special disjunctive forms of given propositional formulas automatically and formally.

摘要在文[1]和文[2]的基础上，给出了命题逻辑中任一命题公式的主析取范式和主合取范式的自动生成算法，并实现了多个命题公式主范式的同时形式化输出。

We establish the relation of inversion formulas among generalized Radon transform with known weight functions, the exponential Radon transform and classical Radon transform, furthermore obtain approximate inversion formula of the exponential Radon transform, the idea of approach above is applied to contour reconstruction and is generalized to n-dimentional euclidean space case. We discuss the support theorem, range condition of the exponential Radon transform.

本文建立了带权广义Radon变换、指数型Radon变换与古典Radon变换反演公式的关系，从而得到指数型Radon变换的近似反演公式，并且应用这种思想方法于轮廓重构，并将这一结果推广到任意维欧氏空间的情形；讨论了指数型Radon变换的支集定理及值域条件。

In order to improve and simplify the solution, the relationship between frequency and cable tension was studied by conducting numerical iterative computation. Furthermore, the format of the existing formula for cable tension identification was investigated, and one set of practical formula for cable tension identification were proposed by employing numerical fitting method.

为提高精度及简化计算，通过分析迭代计算得到的反映频率与索力相关关系的曲线，和已有索力识别经验公式的形式特点，进行数值拟合，提出一组索力计算的实用公式。

So, the approximate calculating formula of parabola and the length of ellipse arc is developed by the method of finding experience formula from point of view of simplifying the calculating process and getting certain accura...

本文从既能简化计算又能达到一定精度的设想，通过找经验公式的方法给出了计算机抛物线及椭圆弧长的近似公式，并给出了常用区间上计算抛物线和椭圆弧长的一次式和二次式。

Then, in the viscous fields, based on reference enthalpy theory and semi-empirical formulas, using the boundary layer edge conditions and classic methods, calculated the heating rates and the temperature on the heads of projectile in different Mach number and different angle of attack.

在粘性主导区内，在理论与半经验公式的基础上，利用参考焓方法，将无粘数值求解得到的边界层外缘参数代入经典的热流计算公式，从而得到不同马赫数、不同攻角时弹丸头部的表面热流和温度。

The advantage of the algorithms is shown by numerical simulation for linear time invariant system.

对线性时不变问题仿真分析验证了所有的算法公式的正确性和算法本身的优良特性，对时变参数、非线性问题仿真分析说明了这些算法公式的有效性。

The method of seeking for the statistical parameters of Pearson Ⅲ distribution with maximal likelihood methodis recommended to ascertain the urban storm intensity formula .

本文根据极大似然法推求统计参数的理论，提出在推求城市暴雨强度公式时可以采用极大似然法计算皮尔逊Ⅲ型分布统计参数的方法，经推求浙江省暴雨强度公式的实践检验，证明该方法是可行的

An improved median rank function obtained by genetic algorithms is presented to reduce the errors of rank assessment.

在总结了威布尔分析方法中应用较为广泛的几种中位秩计算公式的基础上，利用遗传算法对其一般表达式中的待定参数进行优化，进而提出了改进型的中位秩计算公式。

A formula was proposed to explain the effects of secondary-scattering in the electron impact experiment, based on this formula, and the secondary-scattering coefficient as a function of the scattering angle was investigated.

在一定假设下利用公式解释了在电子碰撞实验中二次散射效应对实验测量的影响，并在此公式的基础上研究了对CO不同跃迁的二次散射系数随角度的变化关系。

Firstly, this thesis puts forward the theoretical formula of the Volume method to compute the flood submerging range; secondly, the discrete method is used to solve the numerical solution of this formula; finally, the model based on Volume method is achieved.

首先，本文提出了用"体积法"计算洪水淹没范围的理论公式，然后，通过离散的方法给出了该公式的数值解，从而最终推导得出了用"体积法"计算的数学模型。

Finally, according to market conditions and market products this article paper analyzes the trends in the development of camera technology, and designs a color night vision camera.

最后根据市场情况和市面上产品的情况分析了摄像机技术的发展趋势，并设计了一款彩色夜视摄像机。

Only person height weeds and the fierce looks stone idles were there.

只有半人深的荒草和龇牙咧嘴的神像。