演算

The research work discussed in this dissertation aims to image time-dependent 3-D distribution of ionospheric electron density, Ne, in the region to be recovered from the combination of ground-based GPS network measurements and GPS beacon observations obtained by a receiver on board of Low Earth Orbit satellite when the GPS satellite is occulted by the surface of the Earth as seen by the receiver.

比如，结合地基GPS与掩星观测的时变三维电离层层析成像数学上的重建公式尚未建立，由GPS地面台网观测和低轨卫星获得的掩星观测数据实现时变三维电离层层析的反演算法和计算机程序有待发展等等。

In the track permutation phase, a graph-based heuristic is proposed for permuting the routing tracks.

在轨道重新排列阶段，我们采用一个以图形为主的启发式演算法将所有绕线轨道重新排列。

This work proposes a Two-Phase Proportionating algorithm to tackle the above challenges.

在本论文中提出了一个两阶段比例演算法来解决上述的问题。

We've also done a lot of work to make sure the correct players are going for rebounds.

他们进行了深层的复杂数学演算，使得球的质量的感觉更好。

Contrast source inversion algorithm recasts the inversion problem as a minimization of a cost functional, thus an iterative sequence is formed to reconstruct the contrast sources and contrasts.

对比源反演算法将反演问题转化为求解成本泛函的极小值问题，从而形成重构对比源和对比度的迭代序列。

The new proposed scheme reorders the received vector according to the "reliability" of every received bit and decodes it from the most "reliable" received bit in the FEC process.

新提出的演算法依据每个所收到位元的&可靠性&将收到的讯息重新排列并从被认为最可靠的位元开始进行FEC解码。

In this module, these themes are revisited in a very specific computational context, that of shape grammars.

在这堂课里，这些主题在一种非常特定的演算脉络中，被以形态规则的方式被重新审视。

In this module, these themes are revisited in a very specific computational context, that of shape grammars.

在这堂课里，这些主题在一种非常特定的演算脉络中，被以形态规则的方式被重新省视。

Two complemented lattices L_1, L_2 are said to be of the same "type" if they have identical sets of tautologies.

一个具有最小元O及最大元I的格L，如果在其中又定义了一个单值的1元运算&′&能适合O′=I，I′'=O，则称L为一可补格，一个命题演算良构式A(设只含命题连接词A，V，～)，如果命它的变数在L中任意取值且将A，V，～分别解释为L中的运算∩，U，′时，A永远得到值I，则称A为L上的恒I式，当两个可补格L_1，L_2上的恒I式集相同时，称L_1，L_2为同型的，本文就是讨论可补格按同型关系分类的问题，所得结果如下：定理设有限可补格L_2适合条件：，存在一良构式A能使则任一可补格L_1与L_2同型的一个充分必要条件是：(A_1)。

Then, a simple but effective tracking algorithm is introduced to extract the object trajectories and object features.

接著，我们使用一个简单但有效的动态物件追踪演算法得到运动物件的轨迹与特徵。

The split between the two groups can hardly be papered over.

这两个团体间的分歧难以掩饰。

This approach not only encourages a greater number of responses, but minimizes the likelihood of stale groupthink.

这种做法不仅鼓励了更多的反应，而且减少跟风的可能性。