数学基础

According to the problems that are encountered in designing the mathematical knowledge representation language in NKI (national knowledge infrastructure) and after the discussion of ontological assumptions for mathematical objects, two kinds of formalisms for the representation of mathematical knowledge are provided. One is a description logic in which the range of an attribute can be a formula in some logical language; and another is a first order logic in which an ontology represented by the description logic is a part of the logical language.

根据在设计NKI(national knowledge infrastructure)的数学知识表示语言中遇到的问题，并在讨论了数学对象的本体论假设的基础上提出了两种数学知识的表示方法：一种是以一个逻辑语言上的公式为属性值域的描述逻辑；另一种是以描述逻辑描述的本体为逻辑语言的一部分的一阶逻辑。

Inequality proof of higher mathematics is a common problem, but also a mathematical problem solving mathematical analysis of the other.

不等式的证明是高等数学中一个常见的问题，而且也是数学分析解决其它数学问题的基础。

You can stitch all sorts of mathematical theorems onto these surfaces. The discovery of hyperbolic space ushered in the field of mathematics that is called non-Euclidean geometry.

在这表面上，你可以编织所有种类的数学定理；这双曲空间的发现开创了数学领域，就是所谓的非欧几里德几何；这实际上属於数学领域中广义相对论的基础。

The paper analyses material transportation problem and give the solvable methods; analyses delivery vehicle route problem, and then construct its corresponding mathematical model and present a heuristic algorithm based on C—W algorithm; analyses the optimum scheduling problem of trucks, and then construct its corresponding mathematical model and put forward a new algorithm; analyses the Postal Transportation Problem which will perhaps be used in supply chain of manufacturing system, and then construct its corresponding mathematical model and present an approximation algorithm.

分析了制造系统供应链中供需平衡、供需不平衡、有转运等各种情况下的物资调运问题，给出了求解方法；分析了制造系统供应链配送作业中的配送车辆路线问题，建立了相应的数学模型，提出了一种基于C-W算法的启发式算法，该算法较好地解决了有时间约束的配送问题；分析了制造系统供应链中的货运卡车优化调度问题，建立了相应的数学模型，提出了一种基于表上作业法的求解算法；分析了制造系统供应链中有潜在利用价值的邮政运输方式问题，在详细描述了该问题的基础上，建立了相应的数学模型，提出了一种近似求解算法，该算法较好地解决了邮政运输方式这样的多种物流、多种运输方式，有严格时限和众多外部约束的特大型、复杂、并行的交连系统的计划调度问题。

First introduced highway alignment's definition, the significance, the developing process and the CASIO series calculator in the highway surveying computation application; Using the traverse survey computation's two basic mathematical model (azimuth calculation, coordinate calculation), compile the corresponding procedure to solve echo the wire coordinate computation; With the aid in the mathematical model which three, four and so on leveling's field operations calculate, compiles the corresponding procedure to solve the road elevation survey computation; According to relaxes the circular curve principal point and the detail coordinate computation mathematical model, based on this programs the solution to relax the circular curve coordinate principal point and the detail coordinate computation, then further develops this procedure to use to calculate the circular curve principal point and the detail coordinate computation.

首先介绍了公路线路的定义、意义、发展过程和CASIO 系列计算器在公路测量计算的应用；利用导线测量计算的两种基本数学模型，编写相应的程序以解决附和导线坐标计算；借助于三、四等水准测量的外业计算的数学模型，编写相应的程序以解决公路高程测量的计算；根据缓和圆曲线主点及细部点的坐标计算的数学模型，在此基础上编程解决缓和圆曲线坐标主点及细部点坐标的计算，然后进一步开发此程序用以计算圆曲线主点及细部点的坐标计算。

After questionary,the circumstance of college students of science and engineering mastering the mathematical induction is obtained:many students knew how to use the mathematical induction,but they didn't know its logical basis and logical theory.

通过问卷调查，了解到理工科学生掌握数学归纳法的状况，绝大多数人会用数学归纳法，但他们不知道数学归纳法的逻辑基础和逻辑原理。

According to the definition of axis straightness error ,a mathematical model was developed to evaluate axis straightness error by way of least square method in the rectangular coordinates.

根据轴线直线度误差的定义，建立了在直角坐标采样时该项误差的最小二乘评定法数学模型，该模型的采样数据不需要等角度间隔采样；并用计算机进行仿真分析·结果表明，所建立的数学模型编程简单，计算出的轴线直线度误差值与真实情况的误差小于 10 -6μm·因此由本模型引入的误差可忽略不计·所建立的数学模型为研制形位误差虚拟测量系统提供了理论基础

The way on how to compute the optimal math＇s model is given and the survival condition of optimal root is discussed.

研究了一种特殊的订单生产——准时制下非核心企业的生产，分析了计划范围内的成本，并分别就各种成本给出求解公式，尤其在能力波动费用的求解上，引进了符号函数，解决了在任意单位时间段内能力累计的数学表达以及能力波动费用的数学求解，在以上基础上给出了最佳生产的数学模型，给出了求解方法，讨论了最优解的存在条件，最后，讨论了在APS中的应用前景。

The motor's dynamic model, which is generally employed for speed control and parameter estimation applications, is improved for the purpose of improving the parameter estimation accuracy by the assumption that the stator self inductance Ls is identical to the rotor self inductance Lr. The motor's dynamic response to a direct on line start is used to estimate the parameters.

详细给出了遗传算法应用于动态数学模型参数识别问题的一般步骤，在Kron动态数学模型基础上，假定定子自电感Ls和转子自电感Lr相等，利用异步电动机直接空载起动的特性，对异步电动机动态数学模型和简化模型的参数进行了识别，给出了识别参数及有关结果。

Based on the analysis of the connotation and extension of math self-controlling ability, and through means of quantitative and qualitative researches, we manage to design a questionnaire of our own to collect data, and then we have a quantitative analysis, and last we begin our qualitative analysis of structures, developing laws and regulating factors of self-controlling ability.

本论文在分析中学生数学学科自我监控能力内涵与外延的基础上，设计了定量化与定性化的研究，采用自编的中学生数学学科自我监控能力问卷收集数据，以数量化的证据为依据对中学生数学学科自我监控能力的结构、发展规律及其影响因素进行了定性分析。

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.

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