元数学的

In the light of the complex, high-level and non-linear feature of the mathematical model which describe the transport of the coalbed methane, this paper study the fully-implicit solving method of the mathematical model in detail. Based on the complexity of the algebraic equations which are formed eventually, according to the alternating direction implicit difference pattern, this paper use the iterative method and the fully main element Gauss-Jordan eliminating method to solve equations, which is to use the iterative method to determine coefficient matrix and use the fully main element Gauss-Jordan method to solve th linear algebraic equation group, at the same time of studying the solving method of the mathematical model, according to the devising requirement of FORTRAN77 program structure, this paper draw up computer program and form the corresponding computer model, and verify the validity and reliability of the model in theory by operating the model.

重点研究了模型内、外边界及有关参数的处理，针对描述煤层甲烷运移的数学模型是一个复杂、高阶非线性数学模型的特点，详细研究了模型的全隐式求解方法，根据最后形成的代数方程组的复杂性，按交替方向隐式差分格式，采用迭代与全选主元高斯约当消去法相结合的方法求解方程：即确定系数矩阵采用迭代法，求解线性方程组时采用全选主元高斯约当消去法，在研究模型解法的同时按FORTRAN结构化程序设计的要求，编制计算机程序，形成相应的CBMRS计算机模型，并通过模型的运行从理论上证明了模型的正确性与可靠性。

Combining the teaching practice of analytical geometry, this article puts forward the implement strategy of instruction of mathematics study: penetrate the principle of mathematics study towards the students; instruct the students how to study; help the students form the better non-intellect factor; develop the student's original cognizance level; present the instruction of mathematics study ; raise the extent of students' participation ; keep the teaching and instruction in harmony and instruct the solution of students' query.

结合立体几何教学实践，本文提出了数学学法指导的实施策略：向学生渗透数学学习方法理念：对学生学习的各环节进行学习方法指导；对学生形成良好的非智力因素进行指导；发展学生的元认知水平；数学学法指导的基本方法；提高学生的智力参与程度；教学与学法指导和谐统一；对学生质疑问难的方法进行指导。

In view of the descriptive model of the existent form of substance : quasi-holographic metamathematics model, system theory, cybernetics and information theory are also unified.

基于物质存在形式，物质、能量与信息是统一的；基于物质存在形式的描述模型――准全息元数学模型，系统论、控制论与信息论也是统一的。

This paper extracted and analysed 11Math-Mophological Features such as Area, Perimeter, X-Length, Y-Length, Shape-Parameter, Lobation, Sphericity, Circularity, Roundness, Eccentricity and HoleNumber. Based on 40 species of insects which belonging to 8 Orders, 25 Families. And then ranks the accountability of 11 features each in insect identification while assessing their implication to insect taxonomy on levels of Order, Superfamily, Family and Species. More than those, also describes the kinship among the insects of various categories within the same level from the perspective of mathematical morphology through cluster analyses.

论文对隶属于8个目25科的40种昆虫利用计算机视觉技术进行了自动鉴别研究，从昆虫图像中提取和分析了这些昆虫的面积、周长、横轴长、纵轴长、形状参数、叶状性、球状性、圆形性、似圆度、偏心率、亮斑数等11项数学形态特征，并分别探讨了在目、总科、科及种分类阶元上这些数学特征在昆虫分类中的应用可能性和可靠性，利用聚类分析从数学形态学角度对所涉及到的同阶元昆虫类群的亲缘关系做了描述。

In the wet compression process the evaporation model of water droplets was established. Based on mentioned above multi elemental section constant pressure mathematical models for actual wet compression processes was established.

且在了解湿压缩过程中的液滴蒸发速率、蒸发时间等基本理论的基础上建立了湿压缩过程的等压微元段的实际湿压缩的数学模型。

This paper firstly reviews the history of Automated Theorem Proving and Mizar,then gives a description of methods of mechanical theorem proving and verification to mathematical proposition under Mizar system.Based on that basis,the paper has done some Mizar researches on mixed operation of quaternion,differentiati- on of special composite function and the application of Rolle\'s theorem.

本文首先介绍了定理机器证明和Mizar语言系统的发展历史，其次简单描述了Mizar系统下定理机器证明和校验数学命题的方法，在此基础上对四元数的混合运算，特殊复合函数的微分以及洛尔定理的应用等方面进行了Mizar实现。

The discovery of quaternion is an importance event in the history of math.

四元数的发现是数学史上的一个重大的事件。

The numerical calculations of quaternion matrices The quaternionic quantum mechanics is a new coming disciplines of physics, because of noncommutation of quaternions, some numerical calculation methods of quaternion and quaterinon matrices are complicated and tedious.

四元数矩阵的数值计算问题四元数量子力学是近十几年来才发展起来的一门新兴的物理学科，由于四元数乘法的不可交换性，使得四元数量子力学中的四元数数学理论基础，特别是有关四元数问题的数值计算方法很不完备。

Well, I'm no math expert but even subtracting $333 from $1,000 still leaves a tax increase of $667 per individual per year.

那么我不是数学专家，但即使扣除333元，从1000元的税仍有667元个人左右。

This article systematically discusses the relationship between mathematical metacognition and mathematical study of middle school student. And it reveals the importance of mathematical metacognition in the intelligence and ability cultivations of the student.

本文系统论述了数学元认知与中学生数学学习方面的关系，揭示了数学元认知在中学生的智力培养和能力培养的方面的重要作用。

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.

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