查询词典 equational

Yang Yuanqing is being accepted when interviewing, express, after Beijing Olympic Games, associate will put main attention point on regional sports match, associate to had begun to participate in NBA, F now motion of 1 equational racing bicycle became medium.

杨元庆在接受采访时表示，北京奥运会后，联想将把主要的关注点放在区域性的体育赛事上，现在联想已经开始参与到NBA、F1方程式赛车运动中了。

The near future, perfect and spatio-temporal as equational as Chinese Asia international is surpassed publicly reach collaboration formally, both sides will take the match of top class racing bicycle that is full of speed and passion for players hand in hand.

近期，完美时空与中国亚洲方程式国际公开赛正式达成合作，双方将携手为玩家们带去充满速度和激情的顶级赛车赛事。

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基本定理，找出了线性秩统计量渐近性的一个充要条件。

Namely Guo Re dies, ceng Xinying can share first 39.9 billion yuan, other bequest again the children with Guo is equational.

也就是郭若死亡，曾馨莹可先分得399亿元，其他遗产再与郭的子女均分。

As a graphical framework for formally describing interactive system, basic graph can represent processes and the interaction between processes in two ways: one is graphical representation, where a graph corresponds to a process and reduction in a graph corresponds to interaction between processes; the other is using term algebra consisting a set of terms and an equational theory on terms.

基本图是一种描述并发交互系统的形式化方法，它具有描述简洁、清晰和直观的特点。在基本图中，进程以及进程间的交互行为，既可以用图表示方法(其中一个图对应一个进程，图之间的归约对应进程之间的交互行为)，又可以用项代数来表示。

Every place has distinct profitable opportunity, when the resource of person arteries and veins with be accumulated certain in place when us, can share a few can make money, the project that can popularize continuously again, website of a place, if sheet relies on him to popularize, rate does not say slow, it is difficult also to make money, accordingly, my individual sees what project make money namely, take a website, the netizen that looks for a few stations is collective operation, implementation interest is equational, such netizens can gain money, the enthusiasm of promotion is very tall, if your project is good, cooperative person is more, the speed of promotion is wider also.

每个地方都有不同的赚钱机会，当我们在当地积累到一定的人脉资源时，可以共享一些能赚钱，又能持续推广的项目，一个地方网站，要是单靠自己去推广，速度慢不说，赚钱也难，因此，我个人就是看到什么项目赚钱，就拿到网站上，找一些本站的网友共同运营，实现利益均分，这样网友能赚到钱，推广的积极性非常高，如果你的项目好，合作的人越多，推广的速度也越广。

The match collects appliance to have entirely " Chinese core "(engine and gear-box have own intellectual property) native land equational racing bicycle, the plan runs 4-6 station every year in the Asia.

赛事全部采用具有"中国芯"（发动机和变速箱具有自主知识产权）的本土方程式赛车，计划每年在亚洲举办4-6站。

Proving theorems in Coq is an interactive process: some decision procedures automate equational reasoning or Presburger arithmetic, for example, but most of the proofs consist in sequences of "tactics" entered by the user to guide Coq in resolving proof obligations.

在Coq中的证明定理是一个交互过程：比如部分判定过程可以自动完成等式推论或者Presburger算法，不过，更多的证明则是由用户输入用以指导Coq完成证明任务的tactics序列。

At first, it analyses the visibility processing of complex scene, including: spatial partition technology BSP, quadtree, octree and equational octree which can optimize scene, category of quick visibility estimation algorithm in the 3D scene, portal which can accelerate rendering, level of detail and mesh simplification based on quadric error metrics used to simply models in 3D scene.

首先分析了复杂场景的可视化处理，包括优化场景渲染的空间剖分技术：BSP树、四叉树、八叉树、均分八叉树；其次是三维场景快速可见性判断算法的分类，可加速渲染的入口技术；最后是用于三维场景中模型简化的两个算法：层次细节模型简化技术和基于视点的二次误差度量网格简化。

The solidify response that used Kissinger equation and Crane formula computation to fix a system is kinetic the model is equational, on this foundation, forecasted this kinds of conduit below isothermal condition to use oxygen of frit knot annulus the solidify responses of coating is characteristic, construction of preservative to the conduit henceforth coating provided academic reference.

并采用Kissinger方程和Crane公式计算确定了体系的固化反应动力学模型方程式，在此基础上，猜测了等温条件下该种管道用熔结环氧粉末涂料的固化反应特性，对今后的管道防腐涂层施工提供了理论参考。

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.

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