函数说明

Because programs in haskell are pure functions, simple equational reasoning can be used to execute programs, to transform programs, to prove properties of programs, and even to derive programs directly from specifications of their behavior.

因为Haskell程序是纯函数，简单的等式证明能用于执行程序，转换程序，说明程序的属性，甚至直接从程序行为的规格说明中得到程序。

As examples, the results of the Hough functions associating to the migrating diurnal and semidiurnal tides are presented here to show the correctness in the structure of these functions.

这些结果说明这些函数具有正确的空间结构，与此同时还说明相关的本征值计算结果都达到了相当准确的水平。

It has been proven that the textural information can be used to classification by means of test.

本文首先分析了遥感影像分类方法和纹理提取方法的研究现状，接着对地统计学的基本原理进行了论述，在这一理论的基础上，对变差函数应用于遥感影像的纹理描述和提取进行了论证和实验说明；并就一些具体应用问题如计算窗口大小、计算方向和计算步长的选择等问题进行了讨论，提出了一种自适应的确定纹理计算窗口大小的方法；同时，在现有算法的基础上提出了一种新的纹理计算方法――加权变差函数法。

The constructing process of the algorithms itself indicate that they are brevity and have definite geometric meaning, scientific iterative terminal criterions and no strict requirement to function. Finally, some digital experimentation is presented to indicate the algorithms application in solving the problem of maximum of function, transcendental equation,integer programming and so on. The results indicate that the algorithms have more global and more adaptability compared to traditional algorithms and have more calculating efficiency and more scientific iterative terminal criterions compared to some present popular artificial intelligence algorithms.

算法的构造过程本身表明了该算法简单明了、几何意义明确、迭代终止准则科学、对函数的要求较低；最后举了几个数值试验的例子以说明该类算法在求函数的最值，解超越方程以及整数规划等问题中的应用；数值试验的结果标明该算法比单纯由"微分"思想演化而来的传统算法有更好的全局性和对问题的更广泛的适应性，比现在流行的一些人工智能方法有更高的运算效率和更适当的迭代中止准则。

At the same time, this paper believes that the communist society wouldnt be an unrealizable dream with the institution perfecting and the reducing difference between the goals of individual and society.

在证明新的企业规模函数的合理性的基础上，论文利用这一函数解释企业的变迁，说明制度的完善将降低交易费用，提高社会活动的效率，并且认为随着制度的完善、个人目标和社会目标的趋同，共产主义社会并非是遥不可及的梦想。

The results showed that the semivariogram of S.granarium was described by a spherical model,and indicated an aggregated special pattern ranging from 21 to 61cm. The semivariogram of Aphidius sp.could be also well described by spherical model, and indicated an aggregated spatial pattern ranging from 36 to 55cm.The amount and spatial distribution of Aphidius sp. w...

结果表明，不同时期麦二叉蚜种群的半变异函数曲线皆为球型，其空间格局为聚集型，变程在 2 1～6 1cm之间；蚜茧蜂种群的拟合半变异函数曲线也表现为球型，呈聚集空间格局，空间变程在 36～ 5 5cm之间，并与麦二叉蚜种群在数量和空间上有较强的追随关系，说明蚜茧蜂种群是麦二叉蚜种群的优势种天敌。

The simulation example of SMA-13 shows that real road surface texture has the nearly same fractal dimensions with corresponding FIF curve and the application of FIF method in erose curve simulation is feasible.

通过对分形插值函数构成算法和纵向压缩因子取值方法的研究，给出了基于分形插值函数的路断面构造模拟方法和MATLAB语言编制的模拟流程图；对SMA-13马歇尔试件断面构造的拟合分析表明，实际路面断面构造和分形插值曲线在精度范围内具有一致的分维数，说明分形插值方法对路面断面构造等不规则曲线的拟合具有良好的适用性。

Finally, taking these dates and using it as the functions of genetic program, and using the standard arithmetic operation as the terminals of GP. The object in this algorithm is the chiller consumption energy. Through the option of GP which contains 'crossover'、 'reproduce' and 'mutation' to iterant compute the population is composed of functions and the terminals of GP. Finally, we would find the consumption energy model of chiller.

利用此三参数作为基因规划法之终点端，再利用数学符号作为基因规划法之函数端，以实际之冰水主机耗电量作为目标，利用基因规划法之运算子作迭代运算，最终可得到足以说明此三参数与冰水主机耗电量之关系函数，即为冰水主机耗电模型。

For example, if a class does not specify any comparison functions, there will be no "Comparison functions" subclause .

例如，如果一个条款没有说明任何比较函数，就不会有&比较函数&的子条款。

This paper presents several control methods for BLDC motor, and describes their fundamental principles ,advantages and disadvantages in brief. The method of speed-independent function,based on a new flux linkage function,is explained in detail. This method makes it possible to detect the rotor position over a wide speed range from near zero to high speed.

本文介绍了几种无位置传感器无刷直流电动机的转子位置检测方法，并对它们的基本原理，优缺点作了简单的说明，详细地阐述了基于一种新磁链函数之上的与速度无关的位置函数控制方法，利用这种方法从零转速到高转速的宽速度范围内能检测到转子位置。

Singer Leona Lewis and former Led Zeppelin guitarist Jimmy Page emerged as the bus transformed into a grass-covered carnival float, and the pair combined for a rendition of "Whole Lotta Love".

歌手leona刘易斯和前率领的飞艇的吉他手吉米页出现巴士转化为基层所涵盖的嘉年华花车，和一双合并为一移交&整个lotta爱&。

This is Kate, and that's Erin.

这是凯特，那个是爱朗。