1) UML statechart
U M L 状态图
2) L-M
L-M
3) State chart
状态图
1.
Research on the Transformation from State Chart to EFSM;
状态图到扩展有限状态机转换技术研究与实现
2.
Modeling object s behavior based on state chart;
基于状态图的对象行为建模
3.
According to the state set and state transformation set, the state chart is constructed, and then the appropriate test suite is generated.
根据状态集和状态转换集构造出状态图,从而生成相应的测试用例
4) State diagram
状态图
1.
Then,a State Diagram is constituted from the ASM diagram.
该方法根据电路的功能描述构造ASM图,然后将其转换为状态图,利用有限状态机的有关知识构造测试向量,最后通过软件仿真和实测验证说明测试向量的正确性。
2.
A method of mapping UML state diagram to Petri nets model was proposed,the mapping model was analyzed by illustrating and the correctness of the model was verified.
状态图作为UML动态描述机制的重要组成部分,同样存在这样的问题。
3.
0 sequence diagram and state diagram,the formal semantics of UML 2.
0顺序图和状态图语法和语法约束的基础上,采用可执行的线性时序逻辑语言XYZ/E定义其形式化语义,这样不仅便于UML2。
5) state graph
状态图
1.
By correlating the system s vulnerabilities and attacker s behaviors,attack state graph(ASG) was introduced,and its generating algorithm presented.
在提取目标系统及其弱点信息和攻击行为特征的基础上,模拟攻击者的入侵状态改变过程,生成攻击状态图,并给出其生成算法。
2.
By joining all cycles in the state graph of pure cycling register,a recursive algorithm for generating k-ary de Bruijn sequences is given in this paper.
通过合并纯轮换移位寄存器状态图中的所有圈,给出了生成k元de Bruijn序列的一个递归算法,不再采用“主圈并一个圈”的经典并圈法,而是利用了“主圈并一组共轭圈”的新方法,减少了选择桥状态的次数;同时,给出了新的选择桥状态的规则,简化了判断一个状态是否是桥状态的计算,从而加快了并圈的速度。
6) UML statechart
UML状态图
1.
Research and Implementation of the Protocol Conformance Testing System for Routing Protocol OSPF Based on UML Statechart;
基于UML状态图OSPF路由协议一致性测试系统研究与实现
2.
To solve these problems,an approach is given to the UML Statechart be time-extended,and an approach is proposed to formalize the time-extended UML statechart with "executable UML".
面向对象建模语言UML(Unified Modeling Language)已广泛用于嵌入式系统建模,但它在嵌入式实时系统建模时存在概念模型形式化复杂和状态图对时间约束方面的建模功能不强的问题,针对这些问题,提出一种对UML状态图进行时间扩展的方法,并提出利用“可执行UML”对带有时间扩展的UML状态图形式化的方法。
3.
To achieve the merit of two graphics tools,a method is proposed to transform the UML statechart to the EFSM.
将两种工具的优势相结合,提出了一种从UML状态图转为扩展有限状态机的方法,使之能采用传统的测试方法对类进行状态覆盖和数据流覆盖。
参考词条
补充资料：Fe-O 状态图
铁及其各级氧化物平衡组成与温度的关系图，它表明了铁及其各级氧化物稳定存在的条件，是冶金中常用的重要相图之一。图是一般公认较为完整的达肯(L. S.Darken)和格尔瑞(R. W. Gurry)所绘制的Fe-O 系相图。
铁的氧化物有Fe2O3、Fe3O4、FeO三种。前两种的理论含氧量分别为30.06％和27.64％。纯氧化亚铁FeO的理论含氧量为 22.28％，但实际存在的却是含氧量变动在 23.16～25.60％ 的非化学计量的(non-stoichiome-tric)氧化亚铁相，这种固溶体称为浮氏体（Wüstite）。它的铁与氧的原子比小于1,变化在0.95～0.87之间。浮氏体是NaCl型的立方点阵结构，铁正离子和氧负离子相间排列在点阵的节点上；但正离子节点未充满，即有铁的空位存在。为了维持电中性，必然有一部分正离子节点被三价铁离子占据。图中 JLQ线代表浮氏体含氧下限、HQ线代表其含氧上限。温度在570℃（Q点）以下，浮氏体不能稳定存在，而按下式分解：
4FeO─→Fe+Fe3O4
在570℃时，Fe、Fe3O4与浮氏体三相共存。
铁氧化物还原过程在570℃以下的转变顺序是：
Fe2O3Fe3O4
Fe(含氧饱和)～Fe在570℃以上的转变顺序是：
Fe2O3Fe3O4含氧上限的浮氏体～含氧下限的浮氏体Fe（含氧饱和）～Fe这种顺序，称为逐级转化（平衡）原则。
图中左上角的BB┡线是氧在铁液中的溶解度与绝对温度的关系曲线，可用下式表示：
氧在固态铁中的溶解度极小，从881～1527℃，约为2～82ppm，在图中未绘出。
铁的氧化物有Fe2O3、Fe3O4、FeO三种。前两种的理论含氧量分别为30.06％和27.64％。纯氧化亚铁FeO的理论含氧量为 22.28％，但实际存在的却是含氧量变动在 23.16～25.60％ 的非化学计量的(non-stoichiome-tric)氧化亚铁相，这种固溶体称为浮氏体（Wüstite）。它的铁与氧的原子比小于1,变化在0.95～0.87之间。浮氏体是NaCl型的立方点阵结构，铁正离子和氧负离子相间排列在点阵的节点上；但正离子节点未充满，即有铁的空位存在。为了维持电中性，必然有一部分正离子节点被三价铁离子占据。图中 JLQ线代表浮氏体含氧下限、HQ线代表其含氧上限。温度在570℃（Q点）以下，浮氏体不能稳定存在，而按下式分解：
在570℃时，Fe、Fe3O4与浮氏体三相共存。
铁氧化物还原过程在570℃以下的转变顺序是：
Fe2O3Fe3O4
Fe(含氧饱和)～Fe在570℃以上的转变顺序是：
Fe2O3Fe3O4含氧上限的浮氏体～含氧下限的浮氏体Fe（含氧饱和）～Fe这种顺序，称为逐级转化（平衡）原则。
图中左上角的BB┡线是氧在铁液中的溶解度与绝对温度的关系曲线，可用下式表示：
氧在固态铁中的溶解度极小，从881～1527℃，约为2～82ppm，在图中未绘出。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。