查询词典 Moore

S. Moore brings to the role the same luminous demureness that colors her portrayal of an innocent, well-meaning Connecticut housewife whose world shatters in ''Far From Heaven.

oore刻画出了一位纯真，善良而孤独的家庭主妇。她的世界因"远离天堂"而完全破碎。Moore的表演更给这个角色平添了一份娴静与庄重，犹如黑暗里的夜明珠闪闪发亮。

In 1960's, the famous statist,named Moore, proved the asymptotic normality of one kind of linear order statistic. While Hajek gained the equational condition of the asymptotic normality of rank statistic.

早在二十世纪六十年代，Moore构造了一种较为一般的线性次序统计量，并证明了它的渐近正态性，而Hajek也得出了著名的Hajek基本定理，找出了线性秩统计量渐近性的一个充要条件。

The weighted Moore-Penrose inverse is a special generalized inverse which is an important basic tool in many branches of mathematics and has extensive applications in other fields such as economics, information processing, automatic control, etc. Recently, the study of generalized inverse of matrices associating with more general algebra such as ring, semiring and so on generalize the theory and methods of generalized inverse deeply and characterize the structure of algebra as well.

加权Moore-Penrose逆是一种特殊的广义逆，它不仅是许多数学分支的基本工具，而且在经济学、信息处理、自动控制等其他领域有着广泛的应用，近年来，结合环、半环等更一般的代数系统的矩阵广义逆的研究，不仅将广义逆的理论和方法作了更加深入的推广，而且也成了刻画代数结构的有力工具。

Dick Moore, Elkhart's mayor, has been so enthusiastic about federal support that some county officials harrumph that he sleeps in Obama pyjamas. Though the president obligingly promised $39m for a local unit of Navistar to make electric trucks, it will take time for the firm to scale up production and hire workers.

埃尔德哈特的市长Dick Moore，一直热情支持联邦政府，一些城市的官员埋怨他们被奥巴马蒙蔽了，虽然这个奥巴马总统亲切的承诺39百万美元用于Navistar当地的单位去制造电动车，它为公司扩大生产和雇佣工人，也需要一定的时间。

As the PAVN attack on Alpha Company diminished, Moore organized for another effort to rescue Herrick's lost platoon.

当北越军对Alpha连的攻击减少时，Moore开始组织另一次救援Herrick排的进攻。

Moore had ordered Captain Nadal to lend Bravo one of his platoons, in an effort to allow Herren to attempt to fight through to Herrick's position.

Moore上校命令Nadal上尉去带领Bravo连的一个排，任务是帮助Herren上尉试图打出一条血路通到Herrick排被围困的位置。

Making use of the elementary matrix form of stereohomology, this work presents a theoretical framework with the approximately axiomatized form in computer graphics especially the three dimensional reconstruction based on homogeneous coordinates, and the analytical forms of projection and reconstruction with generalized meaning have been obtained, in which the Moore-Penrose pseudo-inverse of the camera matrix is employed.

通过给出的中心投影和平行投影等的解析解，提出计算机图形学、尤其是三维重建方面，基于齐次坐标表象的公理化的理论框架，并由此得到采用Moore-Penrose广义逆的、具有较为一般意义的投影与重建过程的解析表达式。

The paper consists of six chapters. Chapter One is the theoretical background, we review the course of mechanical theorem proving and briefly introduce the main mechanical theorem prover of the last decade, Among them, we stress on the Boyer-Moore theorem prover and its throretical foundation a computational logic. In Chapter Two, we discuss two theorem proving tactics. One is the rippling-out tactic, which is a tactic for manipulating the induction conclusion to enable the induction hypothesis to be used in its proof, because it extremely restricts the search space, so it has high efficiency.

全文共分六章，第一章是理论背景知识，回顾了定理机器证明的历程，并对近十年来的主要定理证明器作了扼要的介绍，其中，着重介绍了计算逻辑及Boyer-Moore定理证明系统；第二章讨论了两种定理证明策略，一种是波动策略，它是一种在证明中通过处理归纳结论来激活归纳假设的策略，由于极大的限制了搜索空间，因此搜索效率高。

The research of this thesis focuses on spectral complements of operator matrices, the Moore-Penrose inverse and Drazin inverse of projections in a C~*-algebra, Weyl theorem and infimum and generalized infimum of quantum effects on a Hilbert space.

本文研究内容涉及Hilbert空间中算子矩阵的谱补、C~*代数上投影算子的Drazin逆及Moore-Penrose逆、Banach空间上算子的Browder定理和Weyl定理、Hilbert空间中量子效应的下确界和广义下确界四个方面的内容。

In chapter 3 we further analyze the Moore-Penrose inverse of Kronecker product of A and B and the linear least squares problems involving Kronecker product, then obtain normwise mixed and componentwise condition numbers and the upper bounds similarly.

在第三章中我们进一步在列满秩情形下，对A与的Kronecker积的Moore-Penrose逆和带Kronecker积的线性最小二乘问题做了分析，同样得出了范数型，混合型和分量型这三种条件数及其上界。

I am sure after a few weeks of adaptation and familiarization I will have no difficulty in functioning on a daily basis in an English speaking society or in participating fully in graduate studies.

在大学的三年的学习生活不仅给予我自身的充实，更重要的是磨练和培养了我较强的自觉能力和严谨，踏实的作风以及不怕困难的精神，对未来充满了信心！

As the first volcanoes erupted, one of the gases that bellowed out was steam.

在第一批火山喷发时，喷出的气体之一就是水蒸汽。