1) extended finite state machine
扩展有限状态机
1.
Fault detection based on extended finite state machine model
基于扩展有限状态机模型的故障检测
2.
An SoC interface protocol testbench based on the extended finite state machine(EFSM)and assertion was proposed.
为此,提出了一种基于扩展有限状态机(EFSM)和断言的SoC接口协议测试平台,该平台是一种自反馈测试平台,它不仅可以自动产生大量符合协议规范的测试激励矢量,而且可以通过对断言统计信息的反馈提供多种偏置选择,从而进一步提高验证的自动化水平。
3.
A method for testing protocols modeled by EFSM(extended finite state machine) was proposed,which can insure both the control flow and data flow to be covered by test sequences.
为确保测试序列对控制流和数据流的覆盖,提出了一种对以扩展有限状态机(extended finitestate machine,EFSM)为模型描述的协议进行测试的方法。
2) EFSM
扩展有限状态机
1.
Research on test sequence generation methods based on EFSM;
基于扩展有限状态机测试序列生成方法研究
2.
Research on the Transformation from State Chart to EFSM;
状态图到扩展有限状态机转换技术研究与实现
3.
Through the analysis of conformance testing text of substation communication protocol and FSM(Finite State Machine),a description method of substation communication protocol conformance test model based on EFSM(Extended Finite State Machine) is defin.
通过对变电站通信协议一致性测试文本和有限状态机(FSM)的分析,定义并提出了基于扩展有限状态机(EFSM)的变电站通信协议的一致性测试模型的描述方法。
3) DEFSM
动态扩展有限状态机
4) extended finite state machines
扩展的有限状态自动机
5) EFSM (Extended Finite State Machine)
EFSM(扩展有限状态机)
6) extended finite state machine (EFSM)
扩展有限状态机(EFSM)
补充资料：应力状态和应变状态
构件在受力时将同时产生应力与应变。构件内的应力不仅与点的位置有关，而且与截面的方位有关，应力状态理论是研究指定点处的方位不同截面上的应力之间的关系。应变状态理论则研究指定点处的不同方向的应变之间的关系。应力状态理论是强度计算的基础，而应变状态理论是实验分析的基础。
应力状态 如果已经确定了一点的三个相互垂直面上的应力，则该点处的应力状态即完全确定。因此在表达一点处的应力状态时，为方便起见，常将"点"视为边长为无穷小的正六面体，即所谓单元体，并且认为其各面上的应力均匀分布，平行面上的应力相等。单元体在最复杂的应力状态下的一般表达式如图1，诸面上共有9个应力分量。可以证明,无论一点处的应力状态如何复杂，最终都可用剪应力为零的三对相互垂直面上的正应力，即主应力表示。当三个正应力均不为零时，称该点处于三向应力状态。若只有两对面上的主应力不等于零，则称为二向应力状态或平面应力状态。若只有一对面上的主应力不为零，则称为单向应力状态。
应力圆 是分析应力状态的图解法。在已知一点处相互垂直的待定截面上应力的情况下，通过应力圆可求得该点处其他截面上的应力。应力圆也称莫尔圆。图2b即为图2a所示平面应力状态下表示垂直于xx平面的面上之应力与x、x截面上已知应力间关系的应力圆。利用它可求得：①任意 α面上的应力；②"最大"和"最小"正应力；③"最大"和"最小"剪应力。由应力圆上代表"最大"和"最小"正应力的A、B点可知，这些正应力所在截面上的剪应力为零，因而"最大"和"最小"正应力也就是该点处的主应力。
应变圆 也称应变莫尔圆，是分析应变状态的图解法，其原理与应力圆类似，但应变圆的纵坐标为负剪应变的一半，横坐标为线应变 ε。在已知一点处的线应变εx、εy与剪应变γxy时，即可作出应变圆，从而求得该点处主应变 ε1与ε2的大小及其方向。在实验分析的测试中常用各种形状的应变花测量（见材料力学实验）一点处三个方向的应变，例如用"直角"应变花可测得一点处的线应变ε0°、ε45°、ε90°。根据一点处三个方向的线应变也可利用应变圆求得该点处的主应变ε1与ε2。
广义胡克定律 当按材料在线弹性范围内工作时，一点处的应力状态与应变状态之间的关系由广义胡克定律表达。对于各向同性材料,弹性模量E、剪切弹性模量G、泊松比v均与方向无关，且线应变只与正应力σ有关，剪应变只与剪应力τ有关。三向应力状态下，各向同性材料的广义胡克定律为
τxy＝Gγxy
τyz＝Gγyz
τzx＝Gγzx平面应力状态(σz＝0， τyz＝0， γzx＝0)下的广义胡克定律应用最为普遍
单向应力状态下的胡克定律则为σ＝Eε。
应力状态 如果已经确定了一点的三个相互垂直面上的应力，则该点处的应力状态即完全确定。因此在表达一点处的应力状态时，为方便起见，常将"点"视为边长为无穷小的正六面体，即所谓单元体，并且认为其各面上的应力均匀分布，平行面上的应力相等。单元体在最复杂的应力状态下的一般表达式如图1，诸面上共有9个应力分量。可以证明,无论一点处的应力状态如何复杂，最终都可用剪应力为零的三对相互垂直面上的正应力，即主应力表示。当三个正应力均不为零时，称该点处于三向应力状态。若只有两对面上的主应力不等于零，则称为二向应力状态或平面应力状态。若只有一对面上的主应力不为零，则称为单向应力状态。
应力圆 是分析应力状态的图解法。在已知一点处相互垂直的待定截面上应力的情况下，通过应力圆可求得该点处其他截面上的应力。应力圆也称莫尔圆。图2b即为图2a所示平面应力状态下表示垂直于xx平面的面上之应力与x、x截面上已知应力间关系的应力圆。利用它可求得：①任意 α面上的应力；②"最大"和"最小"正应力；③"最大"和"最小"剪应力。由应力圆上代表"最大"和"最小"正应力的A、B点可知，这些正应力所在截面上的剪应力为零，因而"最大"和"最小"正应力也就是该点处的主应力。
应变圆 也称应变莫尔圆，是分析应变状态的图解法，其原理与应力圆类似，但应变圆的纵坐标为负剪应变的一半，横坐标为线应变 ε。在已知一点处的线应变εx、εy与剪应变γxy时，即可作出应变圆，从而求得该点处主应变 ε1与ε2的大小及其方向。在实验分析的测试中常用各种形状的应变花测量（见材料力学实验）一点处三个方向的应变，例如用"直角"应变花可测得一点处的线应变ε0°、ε45°、ε90°。根据一点处三个方向的线应变也可利用应变圆求得该点处的主应变ε1与ε2。
广义胡克定律 当按材料在线弹性范围内工作时，一点处的应力状态与应变状态之间的关系由广义胡克定律表达。对于各向同性材料,弹性模量E、剪切弹性模量G、泊松比v均与方向无关，且线应变只与正应力σ有关，剪应变只与剪应力τ有关。三向应力状态下，各向同性材料的广义胡克定律为
τxy＝Gγxy
τyz＝Gγyz
τzx＝Gγzx平面应力状态(σz＝0， τyz＝0， γzx＝0)下的广义胡克定律应用最为普遍
单向应力状态下的胡克定律则为σ＝Eε。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条