查询词典 transition state theory

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)的测试方法来静态生成满足各种结构覆盖标准的包含时间延迟变量迁移动作序列；最后，给出了一个根据迁移动作序列构造和执行测试用例的过程，该过程引入了时间延迟变量目标函数，并采用线性约束求解方法动态求解迁移动作序列中的时间延迟变量。

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.

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

As the supplement of the solidification theory, the melting tamperatures of nanocrystals, the glass transition temperatures of nanosized glasses, the ferromagnetic and ferroelectric transsition temperatures and the solid phase transition temperatures as well as the corresponding hysteresis of different materials are calculated and determined. The effect of the pressure on phase transition temperatures and the binary solution nanophase equilibrium diagram is constructed.

作为凝固理论的补充，计算和测定了纳米晶体的熔化温度，纳米玻璃的玻璃转变温度以及铁磁与铁电居里转变温度，纳米晶体的固态相变温度以及相关的动力学滞后，压力对相变温度的影响，二元无限互溶固溶体的纳米相图。

So, this dissertation discusses and analysis the following three issues : First, the theory and practice of the radical economic transition model, Shock Therapy; Second, the progress and evaluation of the economic transition of the Czech Republic; Third, the economic crises and opportunities following the economic transition in the Czech Republic.

因此，本文全篇主要探讨与分析下列三个问题：第一，经济转型模式中「震荡疗法」激进转型模式的理论与实务；第二，捷克共和国经济转型历程与成效评估；第三，捷克共和国经济转型后之危机与转机。

Both cases are acompanied by the light-emission from the transition from higher excited-state to lower excited-state, and the total superfluous band energy of nuclear system is released by means of excited element, and an energy level appears in the ground-state band, which signifies a quantum phase transition.

基于微观IBM理论，提出转动诱导出玻色子量子相变的一种可能途径：一旦原子核在受到高能激发或作快速旋转时，假如外界提供的能量足以使玻色子完成拆对顺排，则核处于集体相与单粒子态的共存相，其特征是出现较密集的能谱；假如能量不足以完成拆对或顺排，可能发生两种情况之一，当核旋转达到某个临界转动频率ω c时，或者一个高角动量的玻色子脱离"集体"而"游离"出来，或者发生一个高角动量的玻色子转变为一个低角动量的玻色子，核仍旧处于集体相；均会伴随出现光辐射，产生基态带的一条能级——相变信号。

The mutiple-input mutiput-output logic function of vertex in state transition graph represents output of related state and the single output logic function represents state transition condition; we use a 8-tuple NetList to represent the structure implement of the result of controller synthesis.

状态转换图顶点中的多输入多输出逻辑函数表示对应状态的输出，图中边上的单输出逻辑函数表示状态转移条件；用一个八元组NetList表示控制器综合结果的结构实现，八元组包括输入符号，输出符号，状态存储器的输入，输出网络，状态转换网络，状态存储器，状态存储器的输出和状态存储器的初始输出。

Oth BQ and PBQ induced a transition from state 2 to state 1 in dark-adapted cells whereas DBMIB caused a state 2 transition.

Q和PBQ可以诱导暗适应的蓝细菌从状态Ⅱ转入状态Ⅰ，而DBMIB诱导蓝细菌进入状态Ⅱ。

Secondly, we state the partial differential equation which satisfies state transition probability of the two-unit paralleled system, and proves that state transition probability satisfy the equation, and are their minimal nonnegative solutions.

第二，对两个不同型部件、一个修理设备组成的并联系统，其寿命和修理时间的分布函数的各种情况，给出了状态转移概率所满足的偏微分方程组，证明了状态转移概率满足的方程，并且是这些方程的最小非负解。

Secondly, we state the partial differential equation which satisfies state transition probability of the two-unit paralleled system, and proves that state transition probability satisfy the equation, and are their minimal nonnegative solutions.

第二，对两个不同型部件、一个修理设备组成的并联系统，其寿命和修理时间的分布函数的各种情况，给出了状态转移概率所满足的偏微分(来源：35ABC论68文网www.abclunwen.com)方程组，证明了状态转移概率满足的方程，并且是这些方程的最小非负解。

In order to distinguish these two types of transitions, a state recognition method is introduced. We firstly propose a variable contact set in which the contact points on the robot body are defined to represent the alternation of the contact states logically. Then, by predefining thresholds for the contact forces, the state transition can be well recognized.3 As another research topic, the local tracking control according to the pre-acquired state transition trajectories plays an important role in realizing the non-regular motion for the humanoid robot.

在状态转换识别方法上，本文提出了接触点集合的概念，对接触状态的变化进行逻辑上的表达；再结合接触点集合的变化情况，通过设定接触力阀值来实现对状态转换的识别。3根据给定的状态转换轨迹进行局部的跟踪控制，是本文实现类人机器人非规则运动的另一个重要研究内容。

Liapunov—Schmidt method is one of the most important method in the bifurcation theory.

Liapunov—Schmidt方法是分叉理论的最重要方法之一。

Be courteous -- even when people are most discourteous to you .

要有礼貌──即使当別人对你最不礼貌的时候。