数学分析

This dissertation provides a rigorous definition of Internet GIS based on analyzing lots of the latest theories and applications and thoroughly researching in the properties and problems of Internet GIS. The conception of Internet GIS including literal and mathematical description defines its computing model, application model and the relationship among software inscapes which are operation, data and flow, and so lays a solid foundation for theory research.

本文在分析了大量应用的基础上，综合当前计算机发展的最新动态，对于Internet GIS的特点和需要解决的问题作了深入和详细的研究，建立了Internet GIS的严格的定义，包括文字和数学描述，确定了其计算模型和应用模型以及软件构成三元组，即空间操作、空间数据、流动关系，以及它们之间的数学关系，为Internet GIS的理论研究奠定了基础。

The real shape of U tube was considered, and heat transfer model of underground vertical buried tube heat exchanger was built with math methods and numerical analysis software. The soil temperature distributions around the buried tube under different working conditions were solved by programming.

考虑U型管的实际形状，借助数学方法和数值分析软件，建立了地下垂直埋管换热器传热模型，并通过编程求解数学模型，得到了系统短期运行不同工况下埋管周围土壤的温度场分布情况。

Based on the theory of construction machinery, this paper establishes the mathematical model to forecast wheel loader tractive performance. By using relative software, it compares and analyzes calculated result and test result so as to validate the right and the science.

本文主要以工程机械理论为基础，建立轮式装载机牵引性能预测的数学模型，利用相关的性能预测软件，把软件计算的结果和试验结果加以对比、分析，从而验证数学模型的正确性和科学性。

After analyzing factors impacting the water hammer, the paper set up the water hammer mathematic model, apply character line method and ADINA software to solve model.

本文在分析影响水击因素的基础上，建立了水击效应的数学模型，并用特征线法以及ADINA有限元方法对水击数学模型进行了求解。

The statistic analysis is made for the vehicle type,bearings and axle temperature of vehicles with application of the sample data of predicting hot box.

利用预报热轴的样本数据对车辆的车型、轴承、轴温进行了统计分析，提出为了减少多报和误报，应区别对待C64系列、C80型等车辆和2位轴、4位轴的热轴判别数学模型，对能区分的C64系列、C80型等装配SKF轴承的车辆应建立单独的热轴判别数学模型，以提高热轴判别的准确率和兑现率。

Aformula which describes the transient process from beginning traveling waveto steadytraveling wave was deduced and the concept of initial traveling wave stagefirst was defined and its duration was given. It leads to a conclusion that reflectionfactor is a time dependent function, and variation range and reflection factor atdifferent stage were presented .Based on unified traveling wave theory andtransmission line model of reflective terminal with energy storage element , powerpolarity of initial traveling wave was analysed with both physical and mathematicalmethod.

通过理论推导得出从初始行波到稳态行波过渡过程的数学公式，统一了不同阶段的故障分量信号；定义了初始行波的概念，并指出了其持续时间的影响因素，针对末端含有储能元件系统，从物理和数学两方面剖析了初始行波的功率极性；通过分析提出反射系数是时变函数，给出了在不同暂态阶段行波反射系数的变化范围。

Based on the durability characteristics of prestressed concrete structures,the durability limit states of carbonation and chloride ion attack are defined,respectively.Durability predicting models on the basis of reliability mathematics and stochastic processes are constructed,and the pure theoretical formulae of failure probability of prestressed concrete structures are analyzed.

根据预应力混凝土结构的耐久性特点，分别定义了结构构件在碳化环境和氯离子侵蚀环境下的耐久性极限状态，建立了以可靠性数学和随机过程为理论基础的数学模型，并对耐久性失效概率进行了理论分析。

At last, fusing the modern information theory and technology, probability theory, random process theory and mathematics logic theory etc., synthetically applying various reliability information in each subsystem or unit of the long-range rocket gun system, this paper systematically evaluates the reliability of long-range rocket gun system, which provides quantitative reference for design finalization, production and application, and researching equipment reliability growth of the weapon system.

对远程火箭炮武器系统可靠性鉴定试验进行了理论分析与设计，对型号研制中有关可靠性试验结果进行了统计和综合研究；最后，融合现代信息理论与技术和概率论、随机过程理论、数学逻辑理论等数学方法，综合利用远程火箭炮各分系统或单体的各种可靠性信息，对远程火箭炮武器系统可靠性进行了系统评估，为远程火箭炮武器系统设计定型、生产与使用，开展装备的可靠性增长工作提供了定量依据。

At last, fusing the modern information theory and technology, probability theory, random process theory and mathematics logic theory etc., synthetically applying various reliability information in each subsystem or unit of the long-range rocket gun system, this paper systematically evaluates the reliability of long-range rocket gun system, which provides quantitative reference for design finalization, production and application, and researching equipment reliability growth ofthe weapon system.

对远程火箭炮武器系统可靠性鉴定试验进行了理论分析与设计，对型号研制中有关可靠性试验结果进行了统计和综合研究；最后，融合现代信息理论与技术和概率论、随机过程理论、数学逻辑理论等数学方法，综合利用远程火箭炮各分系统或单体的各种可靠性信息，对远程火箭炮武器系统可靠性进行了系统评估，为远程火箭炮武器系统设计定型、生产与使用，开展装备的可靠性增长工作提供了定量依据。

From the evolutions of thermal parameter of temperature factor,we have discussed relations between thermal parameter and the rotationally ellipsoid.

详细分析了晶体各向异性温度因子的求解过程和它的几种数学表达形式，从它的热参数的演化，讨论了它和三轴旋转椭球体的数学关

We have no common name for a mime of Sophron or Xenarchus and a Socratic Conversation; and we should still be without one even if the imitation in the two instances were in trimeters or elegiacs or some other kind of verse--though it is the way with people to tack on 'poet' to the name of a metre, and talk of elegiac-poets and epic-poets, thinking that they call them poets not by reason of the imitative nature of their work, but indiscriminately by reason of the metre they write in.

索夫农 、森那库斯和苏格拉底式的对话采用的模仿没有一个公共的名称；三音步诗、挽歌体或其他类型的诗的模仿也没有——人们把&诗人&这一名词和格律名称结合到一起，称之为挽歌体诗人或者史诗诗人，他们被称为诗人，似乎只是因为遵守格律写作，而非他们作品的模仿本质。

The relationship between communicative competence and grammar teaching should be that of the ends and the means.

交际能力和语法的关系应该是目标与途径的关系。