查询词典 decomposition 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自动机；最后给出了用它进行实时系统的形式化验证方面及对实时系统建模的应用。

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趋于稳定。

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个月；趋避性的影响因素是主要喂母乳和母乳与奶粉等量；注意分散的影响因素是主要喂奶粉。

This paper overviews the various algorithms for least square collocation, discusses the matrix QR decomposition, derives the relationship between QR decomposition and generalized inverse matrix, and obtains least square inverse used for calculating matrix. In addition, the estimation formula for least square collocation by QR decomposition and its accuracy formula are derived. A case study is conducted using gravity anomaly test and calculation to demonstrate that the QR method is correct and valid in least-square collocation calculation.

分析了目前采用的最小二乘配置法解算方法，在讨论了矩阵的QR分解方法的基础上，推导得出了矩阵QR分解与广义逆矩阵的关系，得出了可以直接利用QR分解求解矩阵的最小二乘逆，并推导了应用QR分解求解最小二乘配置的估值计算公式和精度估算公式，最后通过重力异常实例进行了计算，得出矩阵的QR分解用于最小二乘配置解算的正确性和可行性。

Based on a formal analysis of lifting decomposition, the hierarchical structure concept of the decomposition set, as well as the lifting decomposition technique of the polyphase matrix' greatest mth-order common divisor, is proposed to conquer the difficulties in the practical computation of and the optimal search in the huge decomposition set.

本文在形式化分析Lifting分解原理的基础上，提出了分解集合的分级结构概念以及多相矩阵的m阶最大公因子Lifling分解技术，克服了分解集合求解问题的高复杂性所带来的实际计算与搜索困难；进一步地，从数值稳定性及计算代价两方面研究了分解的评价问题，设计出两种实用的分解稳定性准则；最后，结合分级结构技术提出一种最优分解算法。

The results show that the decalescence of catalyst bed affects the process of hydrogen peroxide catalytic decomposition greatly. If the catalyst bed is preheated or made up of materials with low thermal conductivity, that influence can be depressed. At the same time, the response characteristic of catalyst bed and the efficiency of catalytic decomposition can be improved. The low frequency pressure instability of catalyst bed occurs because of the coupling of catalytic decomposition and supplying. The decomposition plane pushes all the way through the catalyst bed during pressure oscillations, causing unreacted liquid hydrogen peroxide to be exhausted from the bed and leading to the appearance of liquid hydrogen peroxide channeling. Consequently, how to prevent or at least limit this channeling is the key to eliminate the pressure instability of catalyst bed. It was found that adding clapboard to the catalyst bed can depress the pressure instability efficiently.

结果表明催化剂床及催化剂的吸热对过氧化氢分解过程影响很大，对催化剂床进行预热或采用热导率低的材料制造催化剂床等措施，可以降低催化剂床壁面吸热对催化分解过程的影响，提高催化剂床的响应特性和催化分解效率；催化剂床的低频不稳定是催化分解过程与供应系统耦合产生的，催化剂床气体界面的波动过程中，液体过氧化氢穿透催化剂床形成过氧化氢液体通道，过氧化氢液体通道的产生和扩大是催化剂床不稳定的主要原因，也是消除催化剂床不稳定的关键，试验中在催化剂床内加入分流板成功地抑制了催化剂床的低频不稳定。

By applying these two tools,we mainly discuss the problems as follows:1 Perturbation identities for the generalized polar decomposition:By applying singular value decomposition, we study the perturbation bounds of the generalized polar decomposition under unitary invariant norms when A is perturbed by addition or multiplication,respectively and give our bounds in identities.2 A class of new unitary invariant metrics: This paper generalized a class of new unitarily invariant metrics and give the upper-bounds and lower-bounds by C-S decomposition.

利用这两个强有力的工具，本文主要讨论了如下问题：1 矩阵广义极分解的扰动等式：利用奇异值分解，本文分别讨论了加法扰动和乘法扰动下矩阵广义极分解在任意酉不变范数下的扰动界，并首次以恒等式的形式给出了酉极因子和半正定因子的扰动界。2 一类新的酉不变度量：本文推广了文[22] 中的结论，定义了一类新的酉不变度量。

The solvable Lie algebra is corresponding to a cascade decomposition of the system and the semisimple Lie algebra is corresponding to a qasi-parallel decomposition such that the system has a parallel form of a cascade decomposition and a qasi-parallel decomposition.

任一李代数都可分解为一可解李代数与一半单李代数的半直和，可解李代数对应于系统的级联分解，半单李代数对应的是系统的准平行分解，将二者合并起来，就得到一般李群下的非线性系统的结构分解，这是一级联形式与一准平行形式的并联形式分解。

In this article, several common matrix decomposition theory and its applications was put forward, such as triangular decomposition, QR decomposition, the full rank decomposition, SVD and so on.

本文给出了几种较常见的矩阵分解理论及其应用。如三角分解，QR分解，满秩分解，奇异值分解等。

To one quaternion matrix, according to its normal form, into which a quaternion matrix is transformed after decomposed, the types of decomposition of a quaternion matrix are divided into three large classes: diagonalized decomposition, triangular decomposition and triangular-diagonalized decomposition.

对单个四元数矩阵，以分解后的四元数矩阵的标准型作为分类的标准，将四元数矩阵的分解分为三大类：对角化分解、三角化分解、三角一对角化分解。

He tendered his resignation to the Prime Minister.

他向首相递了辞呈。不适合

International economy and trade,Nanking 210044

国际经济与贸易，南京 210044