Research of the EDFA Equipment Based on UML State Diagram
基于UML状态图的EDFA设备的研究
Then,a State Diagram is constituted from the ASM diagram.
该方法根据电路的功能描述构造ASM图,然后将其转换为状态图,利用有限状态机的有关知识构造测试向量,最后通过软件仿真和实测验证说明测试向量的正确性。
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动态描述机制的重要组成部分,同样存在这样的问题。
Test UML Statechart Properties by Using Dynamic Description Logic;
采用动态描述逻辑实现UML状态图特性检测
Identifying unexpected state transition paths in synthesized statecharts;
合成状态图中非预期状态转换路径的确认
Analysis of Generating Statecharts Algorithms from Scenarios;
从Scenarios到状态图的算法分析
By correlating the system s vulnerabilities and attacker s behaviors,attack state graph(ASG) was introduced,and its generating algorithm presented.
在提取目标系统及其弱点信息和攻击行为特征的基础上,模拟攻击者的入侵状态改变过程,生成攻击状态图,并给出其生成算法。
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序列的一个递归算法,不再采用“主圈并一个圈”的经典并圈法,而是利用了“主圈并一组共轭圈”的新方法,减少了选择桥状态的次数;同时,给出了新的选择桥状态的规则,简化了判断一个状态是否是桥状态的计算,从而加快了并圈的速度。
Research on the Transformation from State Chart to EFSM;
状态图到扩展有限状态机转换技术研究与实现
Modeling object s behavior based on state chart;
基于状态图的对象行为建模
According to the state set and state transformation set, the state chart is constructed, and then the appropriate test suite is generated.
根据状态集和状态转换集构造出状态图,从而生成相应的测试用例
An approach of automatically generating hierarchical statecharts;
一种层次状态图的自动生成方法
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.
该文在状态图的基础上,提出了并发状态约束机制,以此解决了在构造状态模型和生成测试用例阶段状态空间的爆炸问题,同时也解决了生成可执行测试用例的问题。
The UML statecharts describes some dynamic behavior of a system in its lifecycle.
UML已经是软件建模方面的标准语言,UML状态图描述系统在其生命周期中的动态行为。
Drag onto the page to add a composite state whose sub-states are stored on a separate Statechart diagram.
拖到绘图页后,可以添加其子状态存储在单独状态图中的复合状态。
Study on Formal Method in UML Sequence Diagram and Statechart;
UML顺序图和状态图的形式化方法研究
ANALYZING DEEPLY THE RPLE OF INTERACTIVE DIAGRAM AND STATE DIAGRAM ON IMPROVING CLASS DIAGRAM
深入剖析交互图与状态图对类图的完善作用
Adds an indicator of the substate last visited to the composite state or state region in your Statechart diagram.
在状态图中,将上次访问的子状态指示器添加到复合状态或状态区中。
A Statechart Verification Tool for Automotive Electronics-Smart Automata;
支持汽车电子的状态图验证工具—Smart Automata
Research on Model Checking UML Statecharts and Tool Implementation;
UML状态图模型检查技术及工具实现
Modeling and Verification of the Workflows Based on UML-Statecharts;
基于UML状态图的工作流建模与验证
Researches on Test Case Generation Methods Based on Statechart and Z;
基于状态图与Z的测试用例生成研究
There are several modifications of the dendritic design.
树枝状图样有几种变态。
state transition diagram of Markov chain
马尔可夫链状态转换图
The Relationships among State Parameters in Psychometric Chart;
焓湿图(i-d图)中各状态参数的关系
Drag onto the page to specify a state in your behavior diagram.
拖到绘图页后,可以指定行为图表中的状态。
Clicking on the butcon itself actuates the imperative indicated by the selected state.
如果单击图标按钮,就会切换图标按钮状态。
The following graphic shows the ETH informational box on the AP Status Page:
下图显示的是 AP 状态页中的 ETH 信息框:
The following graphic shows the DS1 maintenance state indicators:
下图显示的是 DS1 维护状态指示器:
The View State is invalid for this page and might be corrupted.
此页的视图状态无效,并且可能已损坏。
Select whether you want to automatically refresh the Server Status View.
选择是否自动刷新“服务器状态视图”。
A problem occurred when the wizard attempted to send a status report.
向导试图发送状态报告时发生错误。
CopyRight © 2020-2024 优校网[www.youxiaow.com]版权所有 All Rights Reserved. ICP备案号:浙ICP备2024058711号