查询词典 constructive mathematics

Mathematics model of hysteresis loops and calculation formula of hysteresis energy for Masing and non-Masing material were established.

本文针对我国广泛使用的16MnR压力容器用钢焊接接头，从焊接接头材质和力学不均匀性的实际出发，首次分别系统地对焊缝、热影响区和母材进行了低周疲劳实验研究，求得各分区的循环滞回环及其特征参数，建立了Masing材料和非Masing材料的滞回环数学模型和滞回能计算公式。

Its historical process was a result of the effects of the mechanised character and the supposing method of Traditional Chinse mathematics.

一道数学问题最终成数学史上的华采篇章，故探明其演变源流、梳理其算法思想，无疑具有积极的意义。

In the early of 1996, lidar systems, respectively used for detecting Rayleigh scattering and Na resonance fluorescence, were successfully designed in Wuhan Institute of Physics and Mathematics. But the lidar system can operate only at one kind of wavelength every time due to lack of laser equipment, so it can detect either the mesosphere of 30～80km or the sodium layer of 80～110km at a time and cant detect both simultaneously.

武汉物理与数学研究所早在1996年就研制成功了瑞利激光雷达和钠共振荧光激光雷达，但有限的设备使得激光雷达系统每次仅能运行在一种激光波长下，每次只能探测30~80km的中层大气或80~110km的高空钠层，而不能同时探测两者，造成了探测数据在空间和时间上的不连续。

When proving the differential mid-value theorem,"Higher Mathematics" does know to make the auxiliary function ф in order to apply Rolle Theorem.

在证明微分中值定理时，《高等数学》作辅助函数ф的目的是为了应用罗尔定理。

The test is Culture Fair, i.e. it minimises the effect of cultural variables, such as language, mathematics, etc.

它是去除文化影响的，即它使人们所具有的文化因素对测试结果的影响最小。

He says in mathematics the minutest errors are not to be neglected .

他说在数学中，最微小的误差也不能忽略。

Otherwise, it also provides the design plans and mathematics modelings about the two projects above.

并且以此方法对上述的两个视觉导引系统进行了方案的设计和数学建模的论证。

A mathematics modelings of windows tracking is setted up, a integrated resolvent plan is provided, which can be used in the automatic guided system based on computer vision.

试验证明：本文的研究成果对视觉导引系统的导引速度和精度都有明显的提高，有较高的工程应用价值，对于基于计算机视觉的导引系统的进一步工程应用起到了推进作用。

We will introduce some definitions in the Mathematics Ecology and the mathematical theories and methods. Methods for studding the population ecology or the more ordinary ecology are by setting up the mathematical modelings. We will give the examples of the single population models and the population with interaction models.

简单介绍数学生态学中的一些常用的名词和研究问题所用的数学手段-通过数学建模的方法，将一个实际的生态问题量化为一个数学问题，给出常用的单种群增长的数学模型和具有种间关系的多种群数学模型。

The data that gets through a laboratory is in accordance with the data get through mathematics model, it prove analytical method of pressure mutation is valid, carried out to design the target of its beginning.

通过实验室得到的数据与数学模型得到数据进行对比，发现二者基本一致，本文提出的取样器保压性能的分析方法有效，实现了设计之初的目标。

Given the language of section 102(2), the Supreme Court's rejection of substantive review under NEPA seems unjustifiable in principle

按照第102条的规定，最高法院否决《国家环境政策法》所规定的实质性复审在原则上似乎是不正当的。

ObjectiveTo explore the effect of variable hip abduction orthosis on children spastic cerebral palsy.

目的探讨髋关节矫形器在儿童痉挛型脑性瘫痪康复中的作用。