1) State diagram
状态图
1.
Research of the EDFA Equipment Based on UML State Diagram
基于UML状态图的EDFA设备的研究
2.
Then,a State Diagram is constituted from the ASM diagram.
该方法根据电路的功能描述构造ASM图,然后将其转换为状态图,利用有限状态机的有关知识构造测试向量,最后通过软件仿真和实测验证说明测试向量的正确性。
3.
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动态描述机制的重要组成部分,同样存在这样的问题。
2) statechart
状态图
1.
Test UML Statechart Properties by Using Dynamic Description Logic;
采用动态描述逻辑实现UML状态图特性检测
2.
Identifying unexpected state transition paths in synthesized statecharts;
合成状态图中非预期状态转换路径的确认
3.
Analysis of Generating Statecharts Algorithms from Scenarios;
从Scenarios到状态图的算法分析
3) 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序列的一个递归算法,不再采用“主圈并一个圈”的经典并圈法,而是利用了“主圈并一组共轭圈”的新方法,减少了选择桥状态的次数;同时,给出了新的选择桥状态的规则,简化了判断一个状态是否是桥状态的计算,从而加快了并圈的速度。
4) 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.
根据状态集和状态转换集构造出状态图,从而生成相应的测试用例
5) statecharts
状态图
1.
An approach of automatically generating hierarchical statecharts;
一种层次状态图的自动生成方法
2.
This paper presents the restriction mechanism of concurrent states in statecharts,which resolves the problem of combinational explosion during the stage of constructing statecharts and creating test cases based on the theory of statecharts.
该文在状态图的基础上,提出了并发状态约束机制,以此解决了在构造状态模型和生成测试用例阶段状态空间的爆炸问题,同时也解决了生成可执行测试用例的问题。
3.
The UML statecharts describes some dynamic behavior of a system in its lifecycle.
UML已经是软件建模方面的标准语言,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，在图中未绘出。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条