等轴的

Although axiomatic systems and proof method for temporal logic have found so far relatively few applications in the query language modeling of temporal database and that was proved by Gabbay, et al in 1994, the model of time axes still must be built axiomatically, which owns soundness and completeness and depicts the time axes in fine grain.

尽管在1994年，Gabbay等人论证了时态逻辑的公理化系统和证明论方法是不适合于时态数据库查询语言建模的，但是仍需要通过对时间轴的公理化建模，利用公理化系统的可靠和完全等性质对时间轴作"细精度"的语义刻画。

Under the high frequency vibrating action, the crystal grain formed on the surface of the crystal nucleus eradiation equipment would be broken and peeled off, thereby ejected to zinc molten pool continuously and served as crystal nucleus source of equiaxed grain during solidification.

结果表明，当一种带有冷却结构且进行高频振动的晶核发射器插入锌液内时，锌液在晶核发射器表面迅速形核且长大，在高频振动作用下表面形成的晶粒将被折断剥离，从而连续不断地弹射到锌液中，成为凝固过程中形成大量等轴晶的晶核来源；采用带有水冷和气冷结构的晶核发射器对锌液进行振动激发形核处理后，锌凝固组织中的等轴晶率可分别提高到65%和80%。

One undercooling criterion of equi-nucleation is derived from analysis of Gaussian distribution model of heterogeneous nucleation.

通过对高斯异质形核公式的研究，给出了等轴晶开始形核的过冷度判据，更为准确的描述柱状晶向等轴晶的转变过程。

It is formed from controllable slide block mounted in guideway, length-fixed drive rod capable of driving slide block and making it move in guideway, controllable telescopic shaft and mobile and turnable working table consisting of moving platform for mounting cutting tool and working table for mounting workpiece, and utilizes the drive rod, controllable telescopic shaft, moving platform, slide block and guideway to form the invented redundant drive plane parallel closed link mechanism with several functions of cutting, grinding, load-shifting and assembling, etc.

由安装在导轨中的可控滑块、驱动滑块在导轨中运动的定长驱动杆、可控的伸缩轴及安装切削刀具的动平台、安装工件的工作台构成的可移动和转动的工作台组成。并由驱动杆、可控伸缩轴、动平台、滑块、导轨构成冗余驱动平面并联闭链结构。该装置既具有切削、磨削、移载、装配等多种功能，又具有简单结构、大作业空间和刀具实现姿态能力，以及优先的加工方向等优点的并联机床新结构。

Although axiomatic systems and proof method for temporal logic have found so far relatively few applications in the query language modeling of temporal database and that was proved by Gabbay, et al in 1994, the model of time axes still must be built axiomatically, which owns soundness and completeness and depicts the time axes in fine grain.

尽管在1994年，Gabbay等人论证了时态逻辑的公理化系统和证明论方法是不适合于时态数据库查询语言建模的，但是仍需要通过对时间轴的公理化建模，利用公理化系统的可靠和完全等性质对时间轴作&细精度&的语义刻画。

The influences of Ce on the microstructure and mechanics performances of Ti-Fe-Mo-Mn-Nb-Zr alloys were studied and presented in this paper. The microstructure of no-Ce Ti-Fe-Mo-Mn-Nb-Zr alloy was thick, long and dendritic,and the microstructure of alloy was fined by Ce. With the increase in Ce wt%, the microstructure became equiaxial gradually.

研究了稀土 Ce对 Ti- Fe- Mo- Mn- Nb- Zr合金组织与力学性能影响，结果表明：不含 Ce的为粗大的长枝晶组织，加入 Ce后组织有所细化，并随 Ce量增加而逐渐等轴化，直至形成等轴晶；硬度方面随 Ce的加入有所降低；在 Ce含量较少时随 Ce的增加压缩强度也增加，但当 Ce含量增大一定量时，Ce增加降低了压缩强度。

Dense alloy coating without pore and inclusion is obtained which metallurgically bonded with steel but existing a few cracks. The results show that the cladding alloy coating is mainly composed of single-phase Fe3Al, and the microstructure is coarse equiaxed grain-groups that consist of large amount of fined slug like Fe3Al grains, between which some adjacent grains have the similar orientation.

试验获得了致密、无肉眼可见气孔、夹杂的合金层，合金层与基体间完全冶金结合，但存在裂纹现象；熔覆合金层主要由单相Fe3Al构成，覆层组织为粗大等轴状晶团，等轴状晶团由大量极细小的条状Fe3Al晶粒构成，一些相邻的条状晶粒之间具有基本一致的晶体学取向。

Spinel is a compound of magnesia and alumina(Al2O3) and is thus a magnesium aluminate(MgAl2O4), found as accessories in igneous rocks, in metamorphosed aluminous schists, in contact metamorphosed limestones and sometimes in high temperature iore veins.

尖晶石主要成分是氧化镁和氧化铝，结晶习性是等轴晶系漂亮的正八面体。镁被铁置换就是铁尖晶石，被锌置换就是锌尖晶石，铁完全置换镁形成磁铁矿，铬置换铁尖晶石形成铬铁矿，这些类质同相的等轴晶系都是八面体结晶的尖晶石族矿物。

The shaft is the CA6140 one of the important parts, the main role is to pass a belt and pulley transmission power, The main axis of the state to bear moment, torque and deformation and, therefore, prone to fatigue fracture easily transtensional, bending deformation.

而该轴也是CA6140中的重要零件之一，其的主要作用是通过皮带和带轮传递动力，该轴的主要工况是承受弯矩、扭矩和变形等，所以容易疲劳断裂，容易扭断、弯曲变形等。

The actual content includes:Ventilates the way the choice,the gross structure plan determination,the axis design and the examination computation,impeller''s design examines and examines the computation,guide vane''s design calculation,sparse class cover,diffuser and current collector design and choice,shell''s des ign,ventilator muffler design,electrical mac你好nery''s choice and fixed way design,components and so on shaft coupling,key and flange shaping examinations.

本次设计的内容是对JBT62轴流式透风机总体方案以及透风机总体结构设计，机械传动部分设计，对轴流风机工作原理，主要工况参数的意义的掌握。具体内容包孕：透风体式格局的选择，总体结构方案的确定，轴的设计以及校核计算，叶轮的设计以及校核计算，导叶的设计计算，疏流罩、扩散器以及集流器的设计以及选择，壳体的设计，透风机消声装置的设计，电机的选择以及固定体式格局的设计，联轴器、键以及法兰等零件的选型校核。

As she looked at Warrington's manly face, and dark, melancholy eyes, she had settled in her mind that he must have been the victim of an unhappy attachment.

每逢看到沃林顿那刚毅的脸，那乌黑、忧郁的眼睛，她便会相信，他一定作过不幸的爱情的受害者。

Maybe they'll disappear into a pothole.

也许他们将在壶穴里消失