然后再想象一下在严格数学化的物理时代之前只身对抗各种显而易见的质疑的困难吧：如果地球转的这么快我们为什么没有被甩离地球？
Then imagine the difficulties of defending it against the obvious criticisms in an era before mathematically rigorous physics: why are we not flung from the Earth if it spins round so fast?
他给这一地图起了一个富于想象力而又很数学化的名字“社会图”，它是一个由节点和连接节点的线组成的数学模型，其中节点就是一个个的人而人与人的连线则代表他们的友谊。
The fancy mathematical name he has for this map is a “social graph”, a model of nodes and links in which nodes are people and connections are friendships.
关于经济学数学化的讨论有着广阔的社会历史文化背景。
The discussion on the mathematization of economics bears a broad social, historical and cultural background.
经济学数学化是指经济分析中越来越多地运用了数学工具和数学语言。
Mathematicization of economics refers to the increased application of mathematics in economic analysis.
当前我国经济研究中出现一种数学化倾向，引起了人们的关注。
At present day, there appears a phenomenon of mathematical tendency in economic research, which draws wide attention.
“数学现实”原则、“数学化”原则和“再创造”原则是弗赖登塔尔数学教学原则的核心。
The ideas of Virtual life of Math, Mathematization, and Recreation, are the core principals of the Math teaching and learning theory of Freudenthal.
结果爱因斯坦首次从理论和定量的角度对布朗运动进行了研究，这成为布朗运动理论数学化的起点。
Results Einstein first studied Brownian motion from the theoretical and quantitative point, and his work is the beginning of mathematical theory of Brownian motion.
在这篇论文中，我们将引入调和分析和正则化理论中的一些数学技巧来解决这些问题。
In this thesis, we introduce some mathematical techniques in harmonic analysis and the regularization theory to solve this problem.
随着吉文人高度智慧化，他们完成了形式复杂的数学体系，以预测亚格杜尔星轨道上奇异的卫星系运动。
As the Givin developed intellectually, they perfected complex forms of mathematics to help predict the bizarre moon system orbiting Yag'Dhul.
数字仿真方法将共轭曲面问题归结为数学规划问题，可以应用数字化手段直接描述共轭过程。
The method of numerical simulation converts the question of conjugate surfaces into the problem of mathematical programming. The conjugate process can be directly described by numerical simulation.
1869年查尔斯·梅雷作为数学算术化的革新者给出无理数的一个定义。
In 1869 Charles Meray, an apostle of the arithmetization of mathematics, gave a definition of the irrationals.
对交错钢桁架结构的侧移分析，采用连续化的数学模型和侧向抗剪刚度法。
The analysis of sidesways of staggered steel truss structure is discussed. The mathematical model of an equivalent continum is proposed and solved by the lateral shear rigidity method.
高等数学题目类型繁多，解题方法灵活多变，其中代换法不但能开拓灵活巧妙的解题思路，而且有化难为易、化繁为简之功效。
Due to the variable subjects and methods of solving problems in Higher Mathematics, substitution will not only flexibly develop the ways of problem solving, but also an effect of simplification.
他们的办公室坐落在数学研究所的现代化侧楼的租赁楼层中。
Their offices are housed in rented accommodation in a modernized wing of the Mathematics Institute.
副作用把验证程序正确的数学问题复杂化。
Side effects complicate the math required to prove program correctness.
在13岁学生的数学标准化考试中，除了德州、弗吉尼亚州和卡罗莱纳州，所有南部州的考分皆低于美国的平均水平。
On standardised maths tests, 13-year-olds score below the American average in every southern state except Texas, Virginia and the Carolinas.
在30个工业化国家中，美国在数学的排名为第25位，科学排名为第21位。
Out of 30 industrialized nations, America ranks 25th in math and 21st in science.
另外一些——比如说宇宙学——则对远离日常生活的一些事情做出假设，然后通过很高级的数学技巧加以抽象和理想化。
Others — cosmology, for example — make hypotheses that are more remote from everyday causes, and involve a high level of mathematical abstraction and idealization.
学习外语的学生，和只会讲一种语言的同学相比，更倾向于在标准化考试中取得更好的成绩，尤其是在数学、阅读和词汇这些范畴。
Students who study foreign languages tend to score better on standardised tests than their monolingual peers, particularly in the categories of maths, reading, and vocabulary.
那么美国的情况又如何呢？美国性别平等水平相对好一些，在各类标准化数学考试中，女生的平均成绩和男生差不多。
In the United States, which scored relatively high for gender equality, girls perform on average as well as boys on standardized math tests.
要使抽象的高等数学课程生动形象，应对形象化教学的手段进行研究，提高教学效果。
This article discusses how to make the abstract math course vivid. It draws the conclusion that the visualized teaching method should be studied to improve the teaching result.
复杂网络理论的最新研究成果，为网络化复杂软件系统的开发提供了新的数学基础。
Latest study outcomes on complex networks introduce a new mathematical foundation for the development of networked software system.
此模型的数学定义清晰，易于计算机实现，能够有效完成形态搜索的自动化。
This model has an explicit mathematical definition and can effectively implement the automation of shape search.
化归方法是数学解题中的一个重要方法。
Transformation method is one of the important ideas of solving mathematic problems.
对于输气干线的自动化设计和管理来说，用准确的数学模型描述离心压缩机的特性曲线至关重要。
It is very important to describe the performance curves of centrifugal compressor by mathematical model accurately for the automatization design and management of gas transmission trunk line.
教科书的情境化是小学数学教科书的突出特征。
The contextualization is a distinctive feature of mathematical textbooks in primary school.
介绍基于本体的半结构化数学文本知识获取方法以及获取后的知识管理问题。
In this paper, ontology-based mathematical knowledge acquisition from semi-structural mathematics text and management for the knowledge acquired are discussed.
介绍基于本体的半结构化数学文本知识获取方法以及获取后的知识管理问题。
In this paper, ontology-based mathematical knowledge acquisition from semi-structural mathematics text and management for the knowledge acquired are discussed.
应用推荐