数学化

As a mathematician, Russell is critical of arithmetization of mathematics theory underlying the basic of mathematics.

认为罗素形成数学逻辑主义思想的历史背景在于他对数学基础建立在数学理论的"算术化"的不满。

After achieving the solution of the mathematical model,a binomial productivity equation of gas-water well with two-phase flow in formation was derived in consideration of the influence of formation damage and non-Darcy effect,thus establishing the theory of transient inflow performance relationship curve of gas-water well.

文章基于质量守恒原理，建立了气水两相地层瞬态渗流的数学模型，通过定义气水两相拟压力函数，将渗流数学模型线性化，在获得数学模型解后，考虑地层损害和非达西效应的影响，推导出在地层中为水气两相渗流的气水同产井的二项式产能方程，从而建立了气水同产井瞬态流入动态关系曲线的理论。

Based on the higher mathematics method proved inequalities are summarized, and the proposed using the function extreme value and the monotonicity and concave and convex function sex, and mean value theorem, Taylor formula, integral these common higher mathematics method, combining with concrete examples of each kind of method to solve the problems for type, and the key problem of the specific steps, and points out that the inequality proof of higher mathematics method used properly, improve the difficult easy to ability to solve problems.

本文对不等式证明中的高等数学方法作了归纳总结，提出了利用函数的单调性，极值与最值，函数凹凸性，中值定理，泰勒公式，积分这些常用的高等数学方法，并结合具体实例阐述了每一种方法的适用类型、解决问题的关键和证明问题的具体步骤，指出在不等式证明中恰当地运用高等数学方法可以化难为易，提高解题能力。

The paper gives a brief introduction on theory and means of orebed digitaled and interrelated mining software in domestic and international. On the basis of systematic analysis and research on Jiayashan ore segment, with the mathematic-economic model software bag developed by our library, via the special software Surpac and Micrmine, on the need of the Lanping Pb-Zn mine, the mathematic-economic model of the deposit has been established in Lanping pb-zn mine Jiayashan ore segment. Correlative important technological and economic guide lines have been analyzed and studied. At last, some fruits have been achieved:(1) For the first time, the mathematic-economic model of Lanpingpb-zn mine has been established , digitated and visualed of all kinds of useful information on ore body have been realized.

本文在对矿床数字化的理论与方法及相关的国内外矿业软件综述基础上，通过对该矿床的架崖山矿段地质特征进行充分分析和研究，运用自行研制的大型"矿床数学-经济模型软件包"，以国外矿业软件Surpac和Micrmine为辅助，结合兰坪铅锌矿矿山的实际需求，建立了兰坪铅锌矿架崖山矿段矿床数学经济模型，并对相关的重要技术经济指标进行了分析与研究，最终取得了如下成果：(1)首次在兰坪铅锌矿架崖山矿段建立了矿床数学-经济模型，实现了矿体各有用信息的数字化和可视化。

The paper gives a brief introduction on theory and means of orebed digitaled and interrelated mining software in domestic and international. On the basis of systematic analysis and research on Jiayashan ore segment, with the mathematic-economic model software bag developed by our library, via the special software Surpac and Micrmine, on the need of the Lanping Pb-Zn mine, the mathematic-economic model of the deposit has been established in Lanping pb-zn mine Jiayashan ore segment. Correlative important technological and economic guide lines have been analyzed and studied. At last, some fruits have been achieved:(1) For the first time, the mathematic-economic model of Lanping pb-zn mine has been established , digitated and visualed of all kinds of useful information on ore body have been realized.

本文在对矿床数字化的理论与方法及相关的国内外矿业软件综述基础上，通过对该矿床的架崖山矿段地质特征进行充分分析和研究，运用自行研制的大型"矿床数学-经济模型软件包"，以国外矿业软件Surpac和Micrmine为辅助，结合兰坪铅锌矿矿山的实际需求，建立了兰坪铅锌矿架崖山矿段矿床数学经济模型，并对相关的重要技术经济指标进行了分析与研究，最终取得了如下成果：(1)首次在兰坪铅锌矿架崖山矿段建立了矿床数学-经济模型，实现了矿体各有用信息的数字化和可视化。

Then, we formulated the simultaneous differential equations and the car following theory which explain the urbanization motion track and these two kinds of process. The case study using the regression analysis to construct and verify the modal analyzes the regular pattern of urbanization and differences of development among twelve urban land readjustment areas in Tainan.

其次，提出具有数学意义的建地化、市街化基本原理，据此建立联立微分方程式，并且使用「跟车理论」的物理决定论类推说明市街化曲线模型，以把握市街化运动的具体法则；并以台南市12个重划区为实证地区，利用回归分析方法来进行模式校估及检定，俾利於分析市街化之规律性及各地区之发展差异。

In Russell's opinion, logic should be the foundation of mathematics. Then he put forward his topic that mathematics is the same as logic and it can be deoxidized to logic.

他认为，数学的基础应是逻辑，从而提出他的数学逻辑主义论题：数学与逻辑等同，全部数学可以化归为逻辑。

In Russells opinion, logic should be the foundation of mathematics. Then he put forward his topic that mathematics is the same as logic and it can be deoxidized to logic.

他认为，数学的基础应是逻辑，从而提出他的数学逻辑主义论题：数学与逻辑等同，全部数学可以化归为逻辑。

From the 13th to the 16th century, Liber Abaci affected the development of arithmetic mathematical, the revolution in business Mathematics, and the mathematics education in Europe.

十三世纪意大利数学家斐波那契的《计算之书》(Liber Abaci，1202初版、1228再版)是中世纪晚期欧洲重要的数学著作，在13到16世纪对欧洲算法化数学发展、商业数学革命、以及数学教育变革等方面产生了广泛的影响。

Based on the water environment spatial data mining and visualization method, the paper presents these main characteristics and innovations:①Measurement of contamination fluxes:A scene-based research strategy is proposed:measurement /water quality analysis→flow field simulation→contamination transformation rule→fluxes scene simulation→temporal-spatial rule analysis.②Serial numerical models of water environment in the Qiantang River:The controlled equations of the flow field model of the main river,united controlled equations of the main contamination fluxes and water quality prediction model at emergent time are set up.③GIS-based water quality and contamination fluxes decision-making assistance system:A water environment database has been set up;based on MapX and C#.net platform,a system has been developed to facilitate visual inquiry,decision-making and graphics export.

本文基于水环境空间数据挖掘与可视化的研究方法与体系，研究中的主要特色与创新点为：①河流污染物通量测算的技术与方法：提出了基于工况测量/水质分析→流场模拟→污染规律解析→通量情景模拟→时空规律分析的研究方案；②钱塘江水环境模拟系列数学模型：建立了钱塘江干流研究区域流场数学模型的控制方程、主要污染物通量模型的联合控制方程、突发污染事故水质预报模型的基本方程；③基于GIS的水质预报与污染物通量决策支持系统的研发：建立水环境时空数据库，基于MapX和C#。net平台进行系统的构建与开发，为研究的系列成果提供可视化的查询、决策与图形输出。

Singer Leona Lewis and former Led Zeppelin guitarist Jimmy Page emerged as the bus transformed into a grass-covered carnival float, and the pair combined for a rendition of "Whole Lotta Love".

歌手leona刘易斯和前率领的飞艇的吉他手吉米页出现巴士转化为基层所涵盖的嘉年华花车，和一双合并为一移交&整个lotta爱&。

This is Kate, and that's Erin.

这是凯特，那个是爱朗。