查询词典 constructive mathematics

To shorten the design period of control system of a satellite attitude control flywheel,and to verify the feasibility and effectiveness of design schemes,a control model based on a mathematics model for flywheels was established combined with acceleration techniques,reversal connection braking control and commutation control for the control system of flywheels.

为了缩短姿控飞轮控制系统的设计周期和快速验证设计方案的可行性及有效性，在分析姿控飞轮电机本体数学模型的基础上，结合该姿控飞轮控制系统所采用的加速控制、制动控制、换相控制，建立了姿控飞轮控制系统模型。

Chapter one involves a survey of the fundamental knowledge and achievement obtained by foregoers on the subjects for the purpose of the later parts in this dissertation, including the introduction of the history and development of mathematics mechanization, brief review of the history and status in quo of the fractional calculus and soliton theory.

第一章介绍了论文的基础知识以及前人工作的成果：包括介绍数学机械化的思想与应用的情况；回顾分数微积分的历史和所应用的领域；简单介绍孤立子研究的历史、发展与成果。

In that era of enormous optimism about what physics and mathematics could achieve, it seemed only a matter of time before science formalised everything.

在那个对物理和数学可实现前景抱有巨大乐观的时代，似乎科学铸就万物只是时间早晚问题。

"Formalists believed mathematics to be the manipulation of configurations of symbols according to prescribed rules, a "game" independent of any physical interpretation of the symbols."

形式主义相信数学是按照预先规定好的规则来操纵一些符号的配置，是与这些符号的任何物理解释无关的一种「游戏

"Formalists believed mathematics to be the manipulation of configurations of symbols according to prescribe d rules, a "game" independent of any physical interpretation of the symbols."

形式主义相信数学是按照预先规定好的规则来操纵一些符号的配置，是与这些符号的任何物理解释无关的一种「游戏

On the next rung up the ladder of difficult mathematics comes doing the same thing in four-dimensional space.

在这个困难的数学阶梯上取得下一个进展之前，得先在四维空间做同样的事情。

In practicing mathematics, there is an interesting method of teaching------making a jump and then picking the fruit off.

确切的说，在教学过程中，创新意识不是在学会中形成的，而是在&会学&的基础上形成的。

The main courses are political theory and foreign language, engineering mathematics, elasto-plastic mechanics, computer applications, fluid mechanics, seepage mechanics, numerical simulation of petroleum deposits, petroleum chemistry, recovery ratio theory, petroleum and natural gas exploration techniques, petroleum and natural gas well engineering, shaft engineering, natural gas engineering, petroleum deposit engineering, pipe engineering for petroleum transport, pipe engineering for gas transport, petroleum and gas transport, simulation of petroleum and gas pipes, natural gas liquefaction technique, management theory and energy economics.

研修的主要课程有：政治理论课、外语课、工程数学、弹塑性力学、计算机应用技术、高等流体力学、高等渗流力学、油藏数值模拟、油田化学、采收率原理、现代油气勘探技术、现代油气井工程、现代凿井工程、天然气工程、高等油藏工程、高等采油工程、高等输油管道工程、高等输气管工程、油气田采输系统、油气管道运行模拟、天然气液化技术、高等管理学基础、能源经济等。

It is Geologists aim for a long time to apply Mathematics theory and method in Geology.

数学理论和方法在地质中的应用，长期以来就是地质工作者所追求的目标。

This passage advances a teaching idea that math-experiments should be carried out in Senior-teaching on mathematics. I have done some research on math-experiments teaching with the software of 《the Geometers Sketchpad》.

本文提出了在高中数学教学中进行数学实验的教学观念，并以《几何画板》软件为载体进行数学实验教学的探索。

Given the language of section 102(2), the Supreme Court's rejection of substantive review under NEPA seems unjustifiable in principle

按照第102条的规定，最高法院否决《国家环境政策法》所规定的实质性复审在原则上似乎是不正当的。

ObjectiveTo explore the effect of variable hip abduction orthosis on children spastic cerebral palsy.

目的探讨髋关节矫形器在儿童痉挛型脑性瘫痪康复中的作用。