应用函数

With the support of GIS , the minimal spanning tree theory of graph theory and 120 project theory can be applied to irrigation pipelines layout optimization .

建立以管道输水灌溉系统的年折算费用最小为目标函数的管径优化线性规划模型，并将内点法应用于线性优化模型的求解。

Moreover, a method minimizing both model fitting capabilities and generalization as the objective function is offered to choose the proper parameters of support vector regression and facilitate the application.

给出了一种以最小化支持向量回归的拟合能力和泛化能力为目标函数来选择支持向量回归机参数的方法，以方便该方法的工程应用。

This paper firstly reviews the history of Automated Theorem Proving and Mizar,then gives a description of methods of mechanical theorem proving and verification to mathematical proposition under Mizar system.Based on that basis,the paper has done some Mizar researches on mixed operation of quaternion,differentiati- on of special composite function and the application of Rolle\'s theorem.

本文首先介绍了定理机器证明和Mizar语言系统的发展历史，其次简单描述了Mizar系统下定理机器证明和校验数学命题的方法，在此基础上对四元数的混合运算，特殊复合函数的微分以及洛尔定理的应用等方面进行了Mizar实现。

The simulation results indicate that this modulated function is very good for gain narrowing compensation.

此调制函数在高功率超短脉冲激光系统中有良好的应用前景。

In the proof,the tools of the conditional moment generating function and the differentiation on a net for the study on strong limit theorems in the random selection system are applied.

在证明中采用了一种把网微分法与条件矩母函数相结合应用于随机选择系统强极限定理研究的一种途径。

The formula of the second order Doppler shift of simple cubic monatomic nanocrystalline particle is reduced by means of the Green's function.

应用格林函数理论，推导了简立方单原子纳米晶体颗粒的二次多普勒移动公式。

Using Pell equations on A,we give a new proof of the well-known fact that ifthe ideal class number of a real quadratic function field K = k equals to 1,thenD must be P or QR, where P,Q,R∈A are monic and irreducible ,and Q,R have odddegrees.

二我们应用A上的Pell方程这一初等方法重新证明一个已知的结果：实二次函数域K = k理想类数为1时， D只能为P或QR，其中P，Q，R∈A首一不可约且Q，R次数为奇数。

The monotone property of multivariate function proved that the maximum stress strength point exists on the inner surface of

应用多元函数单调性理论，证明了在三轴应力条件下管体中最大应力强度值出现在套管内壁。

The numerical calculation shows that differential curves of the weight distribution decrease monotonously with increasing the molecular weight.

我们所发展的二维分布转变成一维分布的算法及董函数拟合法亦可应用于其他共聚体系。

According to the three-components teleseismic records from portable digital seismic station deployed in Himalaya mountain chain region, the S-wave velocity structure beneath 46 teleseismic stations are investigated by using transform function method and SA technique. As reliable geophysics evidence, these results help us to understand the geodynamic process of Himalaya mountain region of Tibet.

利用流动数字地震台网提供的三分量地震波形记录，应用转换函数及快速模拟退火算法对喜马拉雅山脉地区46个地震站下的地壳横波速度结构进行了反演，为进一步揭示青藏高原喜马拉雅山脉地区的动力学演化过程提供了可靠的地球物理证据。

This one mode pays close attention to network credence foundation of the businessman very much.

这一模式非常关注商人的网络信用基础。

Cell morphology of bacterial ghost of Pasteurella multocida was observed by scanning electron microscopy and inactivation ratio was estimated by CFU analysi.

扫描电镜观察多杀性巴氏杆菌细菌幽灵和菌落形成单位评价遗传灭活率。