元函数

In order to circumvent this difficulty, a procedure has to be found which specifies the transition matrix as a function of its second argument

为了克服这个困难，必须寻求一种方法，能将转换矩阵规定为它的第二变元的函数。

DRBEM requires inversion of a matrix formed by approximation function, which makes this method inefficient for large problem.

在双互易边界元法中需要对由近似函数形成的矩阵求逆，这在计算大型的实际工程问题是很费时的。

The probability consistency function method of computing the evaluating index for elements of heat-supply network has been discussed by using maximal entropy principle.

探讨了应用最大熵原理求解热网元部件可靠度指标的概率密度函数的方法。

I mentioned earlier that a metafile is a collection of GDI function calls encoded in binary form.

我早先提到元文件是以二进制形式编码的 GDI 函数调用的集合。

In this paper, a real-valued-coding niche genetic algorithm modifying the binary-coding niche genetic algorithm (Goldberg and Richardson, 1987) is developed for searching global minimum value of a multiple-peak function efficiently.

本文修改Goldberg 与 Richardson(1987)提出之二位元编码利基遗传演算法，发展一实数编码利基遗传演算法以搜寻多峰多谷函数之全域最小值。

This invention relates to MIMO test method in a multi-user MIMO radio communication system including: estimating the channel matrixes of all users at the base station, computing an orthogonal projecting matrix M of the interference matrix of each user and transmitting M to each user periodically, receiving data sent by the base station at the user end and getting the orthogonal projecting matrix M from the received data, transforming the MIMO test of a desired user to the minimum value of a K-element secondary convex function, in which, K expresses the number of sending antennas and getting estimation of the test data by a ball test method.

一种多用户多输入多输出无线通信系统中的MIMO检测方法，包括步骤：在基站估计所有用户的信道矩阵；计算每个用户的干扰用户矩阵的正交投影矩阵M，并将每个用户的正交投影矩阵M定期发送给每个用户；在用户端接收基站发送的数据，并从接收的数据中得到正交投影矩阵M；利用正交投影矩阵M将期望用户的MIMO检测转化为K元二次凸函数的极小值，其中K表示对期望用户而言，发送天线的个数；利用球检测的方法，得到检测数据的估计。

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实现。

Based on the Green function technique,the authors have analyzed the effect of the decoupling approximation on treating the interelectronic correlations and then calculated the local moment,hybridization matrix element,and ground state energy of the one dimensional,symmetric,periodic Anderson model.

基于Green函数技术，作者首先分析了切断近似对处理一维对称周期Anderson模型中电子间关联的影响，然后计算了该模型的局域磁矩、杂化能量元和基态能量。

The parent element is divided into four sub-areas,and the natural coordinates of the vertices of the sub-areas and the shape functions are used to calculate the temperature at the vertices of corresponding sub-areas in real coordinate system.

首先把母元等分成4个子块，然后利用子块顶点的自然坐标和单元的形函数，求出实际单元中对应子块的顶点温度，利用子块顶点温度判断是否有等值线通过。

The Neumann boundary value prob-lem is firstly reduced into the equivalent natural boundary integral equation withthe kernel possessing 2nd-order singularity,and then the corresponding variationalproblem on the boundary is obtained.By applying Quak trigonometric wavelet basisBjsee(1.2.3as boundary elements and the method of expanding kernel functionto its Galerkin discretization,we obtain simple computational formulae of the en-tries in the stiffness matrix.

首先，我们将Neumann边值问题归化为等价的带有2阶强奇性核的自然边界积分方程，然后化为边界上相应的变分形式，以Hermite插值Quak三角小波基Bj见(1.2.3作为边界元并利用积分核函数展开法将其离散，得到了十分简单的刚度矩阵系数的计算公式，而且刚度矩阵具有十分简单的形式，它是分块循环对角阵。

On the other hand, the more important thing is because the urban housing is a kind of heterogeneity products.

另一方面，更重要的是由于城市住房是一种异质性产品。

Climate histogram is the fall that collects place measure calm value, cent serves as cross axle for a few equal interval, the area that the frequency that the value appears according to place is accumulated and becomes will be determined inside each interval, discharge the graph that rise with post, also be called histogram.

气候直方图是将所收集的降水量测定值，分为几个相等的区间作为横轴，并将各区间内所测定值依所出现的次数累积而成的面积，用柱子排起来的图形，也叫做柱状图。