查询词典 built-up

Comrade chang yuan town in GuoRuDe during work, closely regarding the development and implementation of farmers' income, around with their investment, scale, the management specialization, led by business market, the government and the four modernizations "award for a prize" measures, make the rural land to cultivation experts, industrial structure adjustment of rural effectively, Through establishing with beautiful environment, high quality service, the preferential policies for the main content of "three-excellent a prize" measures, effectively built DuGuBa industrial park, increase the investment, to second and third industry is rapidly developing, the transfer of rural surplus labor force is.

郭汝德同志在昌元镇工作期间，紧紧围绕发展和围绕农民增收，提出实施了以投资业主化、种养规模化、管理专业化、经营市场化，政府以奖代补的"四化一奖"措施，使农村土地向种田能手集中，农村产业结构得到有效调整；通过制定以优美环境、优质服务、优惠政策为主要内容的"三优一奖"措施，有效地建起了杜家坝工业园区，加大了招商引资力度，使二、三产业得到迅速发展，农村剩余劳动力得到了转移。

On the base of Frege's study, Russell put forward the theory of types to settle Russell's paradox. On the base of non-set, Russell brought forward axiom of infinity and axiom of option as the premises and built a system. He tried to defined the non-negative integer in logic terms and derive the theorems of arithmetic from the laws of logic by deductive method.

罗素在弗雷格研究的基础上，提出逻辑类型论来解决罗素悖论，以非集合论理论为基础，以无穷公理和选择公理为前提，利用逻辑概念定义数学概念，并构造系统，通过逻辑演绎法从逻辑公理推导数学定理。

School is an institution built on the axiom that learning is the result of teaching.

学校是建立在学习是教学的结果这一理念基础上的机构。

Although axiomatic systems and proof method for temporal logic have found so far relatively few applications in the query language modeling of temporal database and that was proved by Gabbay, et al in 1994, the model of time axes still must be built axiomatically, which owns soundness and completeness and depicts the time axes in fine grain.

尽管在1994年，Gabbay等人论证了时态逻辑的公理化系统和证明论方法是不适合于时态数据库查询语言建模的，但是仍需要通过对时间轴的公理化建模，利用公理化系统的可靠和完全等性质对时间轴作"细精度"的语义刻画。

In this paper, an axiomatic system for the definition of degree of greyness of grey number is built based on discussion with two definitions of degree of greyness of grey number which have been put forward in the past.

基于对已有的几种灰数灰度定义的讨论，建立了灰数灰度定义的公理系统；以灰数灰度定义公理为准绳，由灰数产生的背景或论域及灰数取数域的测度构造出一种新的灰数灰度定义式。

Constructionalism Study Theory offers theoretical fundaments for the math education revolution, because that the modern math building itself is built on the basis of modern math fundaments of which the convergence axiomatic system is the representative.

建构主义学习理论为数学教育改革提供了理论基础，因为现代数学的大厦，本身就是在以集合论公理体系为代表的现代数学基础上建构起来的。

A two-dimensional axisymmetric finite element model of sampling tube and sediments is built.

建立了取样管与沉积物接触的二维轴对称有限元模型。

Our company has a good reputation in FAG Hongkong technology center.It's the sale window for better service for mainland clients built by Dingsheng axletree import Co.,Ltd.,has experience of decades.

公司与FAG香港技术中心建立了良好的信誉，是鼎盛轴承有限责任公司为了更好的服务于内地客户而建立的销售窗口，有着十几年的轴承销售经验。

The Aymara people have lived for thousands of years in the southern Andes. Long ago, their distant ancestors built monumental structures at a place called Tiwanaku, that they are now helping to excavate.

爱玛拉人在安地斯南部已经居住数千年，很久以前他们的祖先在提瓦那库建了个纪念碑，他们现在要把它挖掘出来。

Then in 1822 I was built as an Analytical Machine by Charles Babbage.

后来到1822年，查尔斯。巴比奇把我制成了一架分析机。

But we don't care about Battlegrounds.

但我们并不在乎沙场中的显露。

Ah! don't mention it, the butcher's shop is a horror.

啊！不用提了。提到肉，真是糟透了。