查询词典 transition formula entry

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 research to demand of International reserves,first, according to the affective character of demand to transition of International reserves, choosing the decision theory of Markov and dynamic transition equation as basic model, the paper has set up two transition methods--- stationary matrix and dynamic matrix, the later matrix has improved the sensitive reaction to time and velocity. Second, combining with knowledge of linear algebra, the paper has analyzed and testified the positive associated relation between transition matrix elements on main diagonal and the convergent speed of system, and explained why international reserves transition embodies the character under new situation and why the transition process can be accelerated by the strike of international idle money. Third,on the quantitative calculating to elements of transition matrix,referring to multiplication theory and decomposing-composing method of system, the paper has transformed main three-factor deciding confidence of international monetary into detail modulus by comparing analysis measure,now the matrix has been decided.

在国际储备的需求分析研究中，本文首先选择马尔可夫转移方程作为基础模型，根据需求对外汇储备结构的影响特点，提出非定常转移矩阵变换方法，拓展了马尔可夫变换对时间和速度的敏感性；结合线性代数知识，分析证明了定常转移矩阵的主对角线元素值的大小与系统的收敛速度的正向关联关系，并利用结论解释了国际货币新动向下外汇储备转换表现出的趋势特点以及国际游资冲击对国际货币结构变化的加速影响；在转移矩阵元素的量化计算上，本文参考乘数理论和系统分解合成原理，采用对比分析方法把影响国际货币信心的三大要素综合量化为转移偏好系数，然后根据转移偏好系数确定转移矩阵的元素值，其中还分别具体给出了定常转移矩阵和非定常转移矩阵的计算方法及在变换中的使用方法，从而不仅在定量分析上应证了定性分析结论，而且反映了随时间变化的美圆、欧元、日圆的比例结构均衡过程。

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

Then we introduced transition probability kernel for the hidden state process and the confederated process. In the deep research, we found that some similar parameters of state transition probability, observation symbol probability and initial state probability were involved in the transition probability kernel of the confederated process. So we can complete the training of traditional HMM parameters by training the transition probability kernel of the confederated process. To our surprised, we got the consistency of transition probability kernel of the confederated process. Meanwhile, we proved the rationality and reliability of the parameters estimation equations under the classical B-W algorithm.

然后对联合过程的转移概率核展开研究，我们根据过程的取值空间的不同，引入了隐状态空间和联合过程空间上的转移概率核，研究中发现在联合空间上的转移概率核包含了在一般的隐马氏模型的参数估计中的所有类似的三组参数(转移概率，观测概率和初始概率)，因此对传统的隐马氏模型的参数训练我们可以通过联合过程的转移概率核的训练来完成，更令我们惊奇的是联合过程的转移概率核还具有一致性；同时对于Baum提出的经典的B-W算法给出的关于模型的参数重估计公式，证明了它的合理性和可靠性，即模型经过重估计后的参数能够满足给定的单观测序列在模型下发生的概率是单调递增的。

Where two or more aerodromes are very close, for which there are stipulations for the same transition height, a uniform transition level may be used", shall be revised as:"The transition level refers to the lowest flight level above the transition height or transition altitude that may be used according to the provisions of the relevant aerodromes.

如两个或两个以上的机场相距很近，并已规定有相同过渡高，可以使用统一的过渡高度层&修改为&过渡高度层是指为有关机场规定的过渡高或者过渡高度以上可用的最低飞行高度层。

In Chapter 4, we not only give a new definition of fuzzy finite automata, of which the state transition accords with a compound fuzzy transition, but also present an important conclusion that the coarsest respecting compound fuzzy transition partition of states is same with the coarsest equivalent partition. In the discussion of coarsest partition, we give an algorithm respecting compound fuzzy transition which would be applied to get the coarsest respecting compound fuzzy transition partition.

第四章根据分明自动机的等价分类，通过重新定义模糊自动机识别过程，使得模糊自动机的识别过程与一个合成模糊变换一致，而且得到了尊重合成模糊变换的最粗分类即为状态集的最粗等价分类这一重要结论。

As research and extensive, gradually discovers that the seeastigmatism formula also have problems, that is, it has a data expression cannot and Visual feeling of one's eyes, so the match chromatology experts have implemented written by CMC (1 c) CIE94 seeastigmatism seeastigmatism formulas, the formulas as well as the latest CIEDE2000 seeastigmatism formula, where written by CMC (1 c) chromatic aberration formula in the textile industry is listed as a range of international and national standards. X-Rite ′?ˉs 528 integrates CIE LAB color difference equation, written by CMC (1 c) and the color difference formula, the formula CIE94 seeastigmatism seeastigmatism measurement shall be free to choose from.

随着查究的浮浅，忽然发掘该色差公式也有题目，即它的数据外达不克不及够和人眼的触觉感施相成婚，因此色彩教查究大师接踵推出了CMC(1∶c)色差公式、CIE94色差公式以及最新的CIEDE2000色差公式，其洋CMC(1∶c)色差公式在纺织行业被列为不国外和国度尺度。X-Rite 528集不败了CIE 1976 LAB色差公式、CMC(1∶c)色差公式和CIE94色差公式，在色差丈度时可以自由拔取。

In this paper, Newton iteration formula for computing normal depth and critical depth was put forward by mathematical transformation of uniform flow equation and critical flow equation of circular section tunnel. Then, the relationship between the corresponding central angle and the introduced parameters was analyzed. An approximate formula for angle was obtained according to optimal uniform approximation principle. Using this approximate formula as initial value of iteration formula, a direct formula for calculating normal depth and critical depth of circular section tunnel was established after its first iterative.

该文通过对圆形断面均匀流方程与临界流方程的数学变换，分别得到其正常水深与临界水深的牛顿迭代公式，同时，通过对正常水深与临界水深对应的中心角与引入参数之间关系的分析及数值计算，利用最优一致逼近原理分别得到了正常水深与临界水深对应中心角的近似计算式，并以此近似计算式为初值，用迭代方程进行一次迭代得到了圆形断面均匀流水深与临界流水深的直接计算公式。

The Total probability formula is an important formula in the probability theory , this text carries on several popularization to this formula, and until probability calculate, margin distribute calculate and foundation of recurrence formula application of carry on some discussions to formula this.

摘要全概率公式是概率论中的一个重要公式，本文对此公式进行若干推广，并对此公式在概率计算、边际分布计算以及递推公式的建立等方面的应用进行了一些探讨。

Take the goose meat as raw materials, make three different flavor goose sausages. Firstly, confirm the optimal formula of goose sausage of primary flavor through the single factor experiment. Then according to the above formula to develop cumin goose sausage and corn goose sausage. Finally we came to the conclusions that the best formula of goose sausage of primary flavor is 100kg goose muscle+2% soy protein+supplementary, the best formula of cumin goose sausage is 100kg goose muscle+2% soy protein+0.3% cumin+supplementary, the best formula of corn goose sausage is 100kg muscle+2% soy protein+12% sweet corn+supplementary.

研究利用鹅肉制作了3种不同风味的火腿肠，首先通过单因素试验确定原味鹅肉火腿肠的最优配方，然后根据原味鹅肉火腿肠的配方进一步开发研制孜然鹅肉火腿肠和玉米鹅肉火腿肠，最后得到原味鹅肉火腿肠的最佳配方为鹅瘦肉100kg+2%大豆蛋白+辅料、孜然鹅肉火腿肠的最佳配方为鹅瘦肉100kg+2%大豆蛋白+0.3%孜然粉+辅料、玉米鹅肉火腿肠的最佳配方为鹅瘦肉100kg+2%大豆蛋白+12%甜玉米+辅料。

Continuously improve the production mechanism, to provide customers with better quality products and services.

不断的完善生产机制，给客户提供更优质的产品及服务。

B:Yes, he was the very prize-winner in the court tennis ten years ago?

是的，他是十年前的世界网球冠军。