查询词典 point of transition

Analysis is conducted on model checking for three valued logic formulae of modal transition system using existing model checking techniques. We reduce the three valued logic model checking problem for modal transition system to the two valued model checking problem under Kripke structure. This reduction is linear in the number of states, size of transition relations, and number of atomic propositional formulae in the new formed model compared with those in the original model. It does not increase the comple...

分析了现有的模型检验技术应用于模态转移系统的三值逻辑公式的模型检验中存在的问题·提出了把模态转移系统转换成Kripke结构的算法以及三值逻辑公式转换成2个二值逻辑的算法，经过转换后可用现有的模型检验技术进行模型检验·用该算法转换后，状态数、转移数和原子命题数目与原模型呈线性关系，没有增加模型检验的复杂度

Firstly, system model depicted by TSIOA is transformed into an USTGSS (untimed stable label transition graph of symbolic state) which does not contain abstract time delay transitions. Then, the testing methods based on LTS are used to the generate transition sequences from USTGSS according to structural coverage criteria. Finally, a process of constructing and executing the test cases is given, in which object functions of time delay variables are imported, and time delay variables used in the transition sequences are solved dynamically by linear programming techniques.

该方法首先将时间安全输入/输出自动机描述的系统模型转换为不含抽象时间延迟迁移的稳定符号状态迁移图(untimed stable transition graph of symbolic state，简称USTGSS)；然后采用基于标号迁移系统(labeled transition system，简称LTS)的测试方法来静态生成满足各种结构覆盖标准的包含时间延迟变量迁移动作序列；最后，给出了一个根据迁移动作序列构造和执行测试用例的过程，该过程引入了时间延迟变量目标函数，并采用线性约束求解方法动态求解迁移动作序列中的时间延迟变量。

We especially inspect the function of demographic transition to economic growth after analyses compositively the mainstream theory of economic growth. With the analytical framework of "demographic dividend" theory, we examined China's economic growth miracle from its openness and reformation, exposed the important action of demographic transition to China economic development, and validated the existence of "the first demographic dividend" in the process of China demographic transition.

本章在综合比较主流经济增长理论的基础上，重点探讨了经济增长中的人口因素，并利用&人口红利&理论的分析框架，对中国改革开放以来的所创造的经济增长奇迹进行剖析，揭示人口转变在中国经济发展中所起到的重要作用，验证中国人口转变过程中&第一人口红利&的存在性问题。

In the 1980s,developing countries realized the transition of politics one by one.The study on political development and political transition became the hot issue again. In the early 1990s,Russia began its political transition under delegative democracy which came from its political historical background and actual situation.

20世纪80年代，发展中国家相继实现了民主政治转型，政治发展、政治转型研究再度成为政治学界的热门课题。90年代初，俄罗斯走上了政治转型道路，特殊的历史背景和现实环境使之形成了独特的政治转型模式。

In this thesis, the crystal structure and phase transition behaviors of a andβforsterite (Mg2SiO4) at high temperature and high pressure were investigated by the first principle calculations and the quasi-harmonic Debye model. Variations of elastic properties, band structure, density of state, band gap ofαandβforsterite with pressure were calculated, and the effect ofα/βphase transition on these characters was analyzed. The effects of water on elastic modulus, sound velocity and band gap of forsterite were also simulated. Finally, the effect ofα/βphase transition and water on seismic discontinuity in earth was discussed.

通过第一性原理结合准简谐德拜模型研究了α和β镁橄榄石的高温高压结构及相变特征；计算了α和β镁橄榄石的弹性模量、波速、电子带结构、带隙等随压力的变化规律，并探讨了相变对这些性质的影响；研究了水对α镁橄榄石弹性模量、波速和带隙的影响；探讨了水对地幔中不连续层的作用以及矿物相变对过渡带波速不连续的作用。

Firstly,based on the B.Bowermans result about the rate of convergence in Cesaro sense of certain nonhomogeneous Markov chains which the transition matrices converge,we are to study a certain nonhomogenous Markov chains which the transition matrices average converge to a period strongly ergodic stochastic matrice,and control the average convergenc rate of transition matrices,then we get the rate of convergence in Cesaro sense about the nonhomogeneous Markov chains by used the character of norm and the character of nonhomogeneous Markov chains.It is an extension of a B.

首先在B.Bowerman等人研究转移矩阵列收敛的一类非齐次马氏链，其Cesaro平均收敛的收敛速度基础上，研究转移矩阵列平均收敛到一周期强遍历随机矩阵的一类非齐次马氏链，通过控制转移矩阵列平均收敛的收敛速度，利用矩阵范数的性质、非齐次马氏链的相关性质等，得到该非齐次马氏链转移矩阵Cesaro平均收敛的收敛速度，是B。

The results show that potassic salts prevent the transition of Ⅳ-Ⅲ effectively, while oxide, Cu(NO3)2,(NH4)2SO4 and MgSO4 prevent the transition of Ⅲ-Ⅱ, the composite of KCl and ZnO prevent the transition of Ⅳ-Ⅲ and Ⅲ-Ⅱ simultaneously.

结果表明，所采用的钾盐均可有效防止AN发生Ⅳ-Ⅲ相转变，氧化物、Cu(NO3)2、(NH4)2SO4等无机物可有效防止AN发生Ⅲ-Ⅱ相转变，KCl与ZnO的复配物可同时防止AN发生Ⅳ-Ⅲ及Ⅲ-Ⅱ的相转变。

For three different reaction paths leading to ortho, meta, para-chloropyridine, two transition states have been located by PM3 on each reaction path, while only one transition state by ab initio, however both methods give the same results: the energy of transition state and activation barrier on producing 2-chloropyridine are the lowest among three reaction paths, so 2-chloropyridine is obtained priorly, which agrees with the experimental results.

生成邻、间、对氯代吡啶三条不同反应途径PM3方法优化得到两个过渡态，而从头算方法中只优化得到一个过渡态。但两种方法的研究结果均表明：三条反应途径中生成2-氯吡啶的过渡态能量和活化能最低，因此反应优先生成2-氯吡啶，与实验结果一致。

Their were 1 transversion(site 100) and 1 coexistent site of transition and transversion(site 42),the others were all transition, which showed high ratio of transition to transversion.

所有多态位点中出现1处颠换(100位)，1处转换与颠换共存(42位)，其余均为转换，具有较高的转换偏倚。

The results suggest that the uranium content and 234U/238U ratio s in the sandstone of the redox transition zone are generally higher than those of the oxidation and reduction zones,while the Th/U ratios of the transition zon e are lower than those in sandstone of the oxidation zone and the reduction zone .234U/238U and 230Th/238U ratios in uran ium ore samples are in the range of their ratios in the redox transition zone.

研究表明，与氧化带、还原带相比，氧化-还原过渡带具有较高U含量和234U/238U比值，较低Th/U比值；矿石样品中的234U/238U、230Th/ 238U比值位于过渡带范围内，234U/238U比值偏高区往往是过渡带分布区。

You can do some assertiveness training.

你可以进行一些自信训练。

We were well on the path to making a rear-wheel-drive global platform," says Mays."

我们正致力于建立一个后轮驱动的平台，"Mays这样说道。"