下模

In this paper, we describe the history of Mizar system and the method to use theMizar system. Then we give the definition of quaternion numbers, module, algebrastructre etc, and then we prove its properties.

本文首先介绍了Miza(来源：ABC论文61网www.abclunwen.com)r系统的计算机操作原理和使用方法，给出了在Mizar语言系统下四元数、四元数的运算、共轭、内积、模等代数结构理论的证明，所做结论都通过了Mizar系统的验证，发表在波兰的《Formalized Mathematics》杂志上，并被收录到MML数据库中。

The modal parameters of the suspension system and frame structure were obtained.

试验结果表明，在试验条件下，用环境激励的方法能够得到铁道车辆悬挂系统和车体结构的各阶模态参数。

Additionally, the modal logic system K1 was formed, which can be proved to be a complete system under MR0 semantics.

其次，构建了模态系统K1，证明了在MR0代数语义下该系统是完备的。

There are two types: Dropdown and Modal.

有两种类型：下拉式和模态。

In chapter 4, a new modal reanalysis method for topological modifications of general finite element system is presented.

本文的第四章提出了有限元系统下拓扑修改的一种模态重分析方法。

We conclude that normalized cubic Gauss sums which modular is primes in arithmetic progressions are uniformly distributed around the circle and we get that there is no rule like quadratic Gauss sums.

并由此得出，模为算术级数中素数的正规化三次高斯和在单位圆周上是一致分布的。因此，在三次情况下不存在类似二次高斯和的判别准则。

So, polymer melt filling flow behaviors in microscale in special microscale effectswere researched, and distributions of temperature, pressure and velocity, etc. were gained. Onthis basis, numerical simulations were carried out and molding process experiments werestudied, all of which are momentously theoretical and practical significance on optimizationdesign of micro injection mold and on improving the quality of micro plastic part.

因此，对微尺度下熔体充模流动行为尤其对微尺度效应进行深入研究，获得微小型腔内熔体的温度、压力及速度场，在此基础上进行数值模拟与成型工艺试验，对设计优化微注塑模具、合理设置成型工艺参数和提高微塑件质量都具有重要的理论意义和实用价值。

Feature and use: It tests melt flow rate of high polymer under mucosity flow state.It was expressed by MFR or MVR.It suits for testing polycarbonate,FI plastic and nylon under higher melt temperature. It suits for testing polyethylene、polystyrene、polypropylene、ABS colophony and polyformaldehyde colophony under lower melt temperature.

特点及用途：熔体流动速率仪是用来测定各种高聚物在粘流状态时的熔体流动速率，在一定的温度和负荷下，熔体每10min通过标准口模的质量或体积，用MFR或MVR来表示，它既适用于熔融温度较高的聚碳酸脂、聚芳砜、氟塑料、尼龙等工程塑料，也适用于聚乙烯、聚苯乙烯、聚丙烯、ABS树脂、聚甲醛树脂等熔融温度较低的塑料测试，广泛应用于塑料生产、塑料制品、石油化工等行业及有关院校、科研单位和商检部门。

Equivalent linear method based on multiple reflection theory is used in the analysis, the shear wave velocity is calculated from empirical equation got from ground investigation, the dynamic characteristic of soi is taken from the laboratory test and is revised to simulate the liquefaction at the surface.

计算方法采用建立于重复反射理论上的等价线形化法，根据地层探查资料建立了推求地层剪切波速的经验公式，上体的动力作有下变形模量随应力水平的变化规律采用试验曲线。

For plates with same thickness and material constants but different aspect ratios, we have studied how the distance from the nodal line of the first bending mode to plate center and the size of transducer affect the depths and locations of the first dips in mid frequency ranges of the plates' SPL spectra.

讨论在振动板厚度、材料常数固定不变的情形下，藉由改变振动板长？i比及激振器尺寸，来找出第一个弯曲模态图中节线到振动板中心距离与中音谷声压落差值、位置之间的关系。

By the time of its fall, most of the prisoners were writers who had written against the corruptions of the government.

到它被攻陷的时候，里面多数的犯人是写了反对政府贪污文章的作家。

The most obvious variation to ovum morphological character was that the color was changed from light green to sepiaceous in embryonic development, and all the ovums were almost hatched after 96h.

在胚胎发育过程中卵的形态特征最明显的变化是颜色从淡绿到深褐色，卵在发育96h后卵基本全部孵化。