查询词典 reduction formula

At the same time , we discuss the determinism and nondeterminism of formula-clock automata and the closure propertied under Boolean operation of the language which is accepted by formula-clock automata. We also prove the expressive equivalence between the deterministic formula-clock automata and the nondeterministic formula-clock automata. This means that every nondeterministic formula-clock automata can be transformed to a deterministic formula-clock automata which exactly accept the timed language identified by the fomer.We also extend timed words to infiniteness and define the formula-clock Buchi automata and the formula-clock Muller automata. At last, we show its application in formal verification and modeling of real-time system.

然后讨论了公式时钟自动机的确定性和非确定性，公式时钟自动机识别的语言类在并、交、补运算下的封闭性；并证明了确定的公式时钟自动机和非确定的公式时钟自动机表达能力的等价性，这意味这每一个非确定的公式时钟自动机都能转换为一个与之识别相同时间语言的确定的公式时钟自动机；我们将时间字扩展为无穷的，从而定义了公式时钟Buchi自动机与公式时钟Muller自动机；最后给出了用它进行实时系统的形式化验证方面及对实时系统建模的应用。

With the raw material and the particle size of reducing agent narrowed, the percent reduction of strontia increases.(6) With the barbecuing pressure increasing, the percent reduction of strontia increases, after the certain value, the percent reduction of strontia decreases instead.(7) With reduction temperature increasing, the percent reduction of strontia increases.(8) The percent reduction of strontia is increasing with prolonging reduction time. In this experimental condition, it will become steady after 2.5h.

通过实验研究确定以SrCl_2-SrF_2-SrCO_3的纯锶盐体系作为电解质，实验中还采用了我们最新研制的熔盐电解监控仪对电解过程进行测量和系统的研究，得出以下结论：(1)增加电流强度，反电动势亦随之增加，而升高温度反电动势则有所降低；(2)随着电流密度的升高和电解时间的延长，电流效率逐渐增加，达到峰值后稳步下降；(3)延长电解时间，合金中锶的含量逐渐增加，最高可达18.1％；(4)开始电解后，反电动势逐渐增加，但向熔体中加入SrCO_3后，反电动势明显降低，因此认为在正常电解时是SrCO_3在分解。

In the paper,the transmission of designed roller oscillating tooth reduction gear adopts osci llating tooth gear drive without exception,one-stage reduction gear and two-stage reduction gear have joined through spline coupling band;The joining way of shock wave thellomble and oscillating tooth adopts the biserial bearing of without inner ring of needle bearing,and directly adopts bearing outer ring as shock wave thellomble;Center wheel of two-stage reduction gear and center wheel of two-stage reduction gear passes through taper thread,and center wheel is fixed;As soon as the flange of input end and center wheel of one-stage reduction gear,the flange of export end and center wheel of two-stage reduction gear makes monobloc structure.

本文预设的井下减速器的传动均采用活齿传动，一级减速器的输出轴和二级减速器的输入轴通过花键联轴套联接；激波环与活齿的毗连方式采用能蒙受较大载荷的无内圈双列滚针不锈钢管，且直接采用不锈钢管外圈作为激波环；一级减速器的中心轮和二级减速器的中心轮是通过锥螺纹毗连的，且中心轮固定；一级减速器的中心轮与输入端的法兰盘，二级减速器的中心轮与输出端的法兰盘均做成整体的结构。

In the paper,the transmission of designed roller oscillating tooth reduction gear adopts oscillating tooth gear drive without exception,one-stage reduction gear and two-stage reduction gear have joined through spline coupling band;The joining way of shock wave thimble and oscillating tooth adopts the biserial bearing of without inner ring of needle bearing,and directly adopts bearing outer ring as shock wave thimble;Center wheel of two-stage reduction gear and center wheel of two-stage reduction gear passes through taper thread,and center wheel is fixed;As soon as the flange of input end and center wheel of one-stage reduction gear,the flange of export end and center wheel of two-stage reduction gear makes monobloc structure.

本文设计的井下减速器的传动均采用活齿传动，一级减速器的输出轴和二级减速器的输入轴通过花键联轴套联接；激波环与活齿的连接方式采用能承受较大载荷的无内圈双列滚针中国财经圈，中国财经圈，且直接采用进口中国财经圈外圈作为激波环；一级减速器的中心轮和二级减速器的中心轮是通过锥螺纹连接的，且中心轮固定；一级减速器的中心轮与输入端的法兰盘，二级减速器的中心轮与输出端的法兰盘均做成整体的结构。

If by means of a prereduction MRI or after neurologic deterioration during closed reduction, the surgeon becomes aware of a fragment of disc material displaced into the spinal canal, then an anterior discectomy, open reduction, fusion, and plating becomes necessary.2,7,9 In approximately half of the cases, a closed reduction will be successful in reducing the dislocation before surgery.50 In the majority of the others, an intraoperative reduction performed after the discectomy and decompression will achieve anatomic reduction.9,51 For those patients in whom an anterior discectomy and decompression have not been successful in reducing the dislocation, then a supplemental posterior open reduction should be performed.52

假如借助MRI检查，或在闭合复位过程中神经症状进一步加重，外科医生意识到有椎间盘碎片突入了椎管，此时就需要前路椎间盘切除减压、开放复位和固定融合。大约有一半的病例手术以前能够通过闭合复位来成功的将脱位复原，剩下的病例则需要在术中将椎间盘切除减压来达到解剖复位。假如有病人经过前方的椎间盘切除和减压后仍然不能成功的还原脱位，则需要再行后方的开放复位术。

After rectifying the family structure, and educational level of parents, the influencing factor of adaptability was formula mainly; intensity of reaction was breastfeeding duration for 4-6 months and breast milk mainly; rhythmicity was breastfeeding duration for 7-9 months and formula only; activity level was both breast milk an formula milk equally and breastfeeding duration for 7-9 months; quality of mood was formula only and duration of breastfeeding for 7-9 months; approach-withdrawal was breast milk mainly and both breast milk and formula milk equally; distractibility was formula milk mainly.

校正家庭结构、父母亲受教育水平等因素后，适应度的影响因素是主要喂奶粉；反应强度的影响因素是母乳喂养持续时间4~6个月和主要喂母乳；规律性的影响因素是母乳喂养持续时间7~9个月和只喂奶粉；活动水平的影响因素是母乳与奶粉等量和母乳喂养持续时间7~9个月；情绪本质的影响因素是只喂奶粉和母乳喂养持续时间7~9个月；趋避性的影响因素是主要喂母乳和母乳与奶粉等量；注意分散的影响因素是主要喂奶粉。

In the one half part, according to the strontium nature, thermodynamic calculation of correlative reaction and the principle of the vacuum aluminothermy reduction process, with the laboratory findings of preparation strontium by vacuum aluminothermy reduction compared and analyzed in different parameter conditions, a variety of factors which effect the decomposition rate of SrCO_3 and the percent reduction of strontia are gotten out. The factors include that the decomposition rate of SrCO_3 is influenced by different addition and pressure. They also include that the percent reduction of strontia is influenced by excess coefficient of reducing agent aluminium powder, the particle size of raw material or reducing agent, the pressure of barbecuing, temperature and reduction time. According to those, we can draw the conclusion as follows:(1) Decomposition temperature of SrCO_3 is decreased by adding carbon and alumina in different degree.(2) With quantitative carbon added under the vacuum condition, the decomposition temperature of SrCO_3 is decreased obviously, which can fall 150℃ compared with atmospheric pressure.(3) In keeping 1150℃ of 2.5h, under the 5Pa vacuum condition, the decomposition rate of SrCO_3 nearly keeps in 99% steadily.

在前半部分的真空铝热还原法中，根据锶的性质、相关反应的热力学计算及真空铝热还原法原理，通过对不同参数条件下的真空铝热还原法生产金属锶的实验结果的分析比较，得出了影响SrCO_3的分解率和氧化锶的还原率的种种因素，具体因素包括不同添加剂、不同气压对SrCO_3分解率的影响，还原剂铝粉的过量系数、原料与还原剂的粒度、制团压力、温度和还原时间等对氧化锶还原率的影响，得出具体结论如下：(1)添加碳和Al_2O_3能不同程度的降低SrCO_3的分解温度；(2)真空条件下加入一定量的碳可显著降低SrCO_3的分解温度，比之常压下可降低150℃之多；(3)在1150℃恒温2.5h、真空度达到5Pa的条件下，SrCO_3的分解率几乎保持稳定在99％；(4)氧化锶的还原率随还原剂过量系数的增大而增大，但是趋势越来越小，当过量系数超过25％后，氧化锶的还原率几乎不再增加；(5)氧化锶的还原率随原料与还原剂的粒度的变细而增加；(6)氧化锶的还原率随制团压力的增加而增加，但超过一定值后，氧化锶的还原率反而会下降；(7)氧化锶的还原率随还原温度的升高而增加；(8)氧化锶的还原率随还原时间延长而增加，在本实验条件下，超过2.5h趋于稳定。

A new concept of turning line of reduction parameters and its determination method is put forward in this paper for analyzing the isopleth diagram showing the relationship between reduction degree and reduction parameters in reduction of compressed scale lump containing carbon, and the method of optimal selection for reduction parameters is obtaine

应用文章提出的还原参数界线概念及其确定方法对铁鳞配焦压块还原过程中反映还原参数与还原指标关系的等高线图进行分析，得出还原参数优化选择的具体方法。

The results show that Fe0.13[Co20Ni80]0.87 alloy fibers are characterized with thin diameters between 0.3 and 2.0 μm, with high aspect ratio, dense and smooth surfaces. The crystalline size of the alloy fibers are mainly influenced by the thermal reduction temperature and are in the range of 20 to 50 nm with a corresponding reduction temperature range of 300 to 700 ℃. The magnetic properties of the alloy fibers are largely affected by the carbon content and crystalline sizes of the alloy fibers. With increasing thermal reduction temperature, the coercivity decreases while the saturation magnetisation value of the alloy fibers dramatically increases at lower reduction temperatures. The alloy fibers prepared at reduction temperature of 700 ℃ have a saturation magnetisation value of 120 Am2/kg and a coercivity value of 10.4 kA/m, respectively.

结果表明：Fe0.13[Co20Ni80]0.87合金纤维的直径为0.3~2.0 μm，表面光滑、长径比大；组成合金纤维的晶粒大小与还原温度密切相关，当温度为300~700 ℃时，晶粒尺寸由约20 nm增加到约50 nm；该合金纤维显铁磁性，其矫顽力主要受合金中C含量及晶粒大小的影响，随制备温度的升高而降低；饱和磁化强度则主要与合金的组分相关，随还原温度的升高和合金纯度的提高而增大；经700 ℃热还原后，合金纤维的饱和磁化强度 m s为120 Am2/kg，矫顽力 H c为10.4 kA/m。

Compared to open surgery, patients in the study who underwent laparoscopic surgery experienced 80 percent reduction in the odds of respiratory tract infection, 69 percent reduction in bloodstream infection, 59 percent reduction in wound infection, 39 percent reduction in urinary tract infection and a 48 percent reduction in other types of nosocomial infections across hysterectomies, cholecystectomies and appendectomies.

同开放性手术相比，研究中行腹腔镜外科手术子宫切除术、胆囊切除术及阑尾切除术的病人呼吸道感染可能性降低80%，血流感染降低69%，伤口感染降低59%，泌尿道感染降低39%，其他院内感染降低48

They have quite a lot of work to do.

他们有许多工作要做。

Let us give you a more elaborate example of this process.

让我们给你这个过程的更多的详细例子。