状态图
- 欺骗攻击环境下网络信息安全漏洞深度挖掘方法
]提出基于协议状态图遍历的RTSP协议漏洞挖掘方法，利用协议状态间的约束关系和状态转移的关联关系构造协议状态图，并基于协议状态图进行深度遍历的方法，该方法减少了测试用例的生成，并提高了生成的有效性。但是该方法的网络信息安全漏洞挖掘效率较低，挖掘效果不佳。为此本文提出一种欺骗攻击环境下网络信息安全漏洞深度挖掘方法，该方法能够很好的对欺骗攻击环境下所产生的网络信息漏洞进行挖掘，且挖掘效率较高，效果良好。2 欺骗攻击环境分析2.1 信息分布形式系统数据信息的网络
自动化技术与应用 2022年7期2022-08-17
- 水电站IEC103通信软件的设计与实现
通过过程图或者状态图表示。图1A、1B为交互的状态图，图1C为动作序列示意图。本文主要讨论主站端的有限状态机的实现方式，文中只给出通信过程的发送端状态图，其他图可以类似思路实现。图1 交互过程状态图及序列图103规约工作在单点对多点的主从Polling（轮询）方式。正常工作时，主站依次轮询从站的2级用户数据，如果从站产生1级数据，通过上送的2级数据报文控制域中的ACD标志位[2]，请求主站查询1级数据。主站在接收到从站查询请求后可以马上发出再次1级数据召唤
水电站机电技术 2022年1期2022-02-10
- 航线网络优化方法研究
，调配，寻优，状态图1.引言随着民航业的不断发展，航空器数量增加但可用空域却无法进一步开拓，于是在数年前就提出了“自由飞”这个概念。但是为了保证安全运行，所有上天的航空器都必須接受管制员的“管制”。目前为止为了实现这个目标，可以从优化航线网络、加强导航技术与导航系统和数据传输系统等方式，下面就航线优化方面进行叙述，主要对基于GA寻优算法和航线调度优化管理进行研究。首先从一条航线的诞生开始分析，因为航空历史悠久，发展过程较长，所以目前为止已经产生的航线大都是
科学与生活 2021年23期2021-12-06
- 对具有多种组合状态的组装关系确定的组件产品视图提交的探讨
为内胆，组合状态图是将组件1 中的盖体去掉后与组件2 组合的状态。结合各视图及简要说明可知，该专利涉及的电热水壶为由多个构件相结合构成的一件产品，该产品具有烧水、熬煮等功能，属于一种多功能的产品，其多种功能通过各构件以不同的组合状态来实现。该专利中涉及两种组合状态，其中组件1 本身为实现一种功能的组合状态即组合状态1，使用状态图是组件1 中的两个把手打开一种状态图，组合状态图则是将组件1 中盖体去掉后与组件2 组合形成实现另一种功能的组合状态即组合状态2
专利代理 2021年2期2021-07-05
- 关于铁碳合金状态图讲解的几点建议
艺学》铁碳合金状态图的讲解在整个金属材料热处理工艺上非常重要，只要较好掌握了铁碳合金状态图，能详细分析各组织成分才能更好的指导生产实践，教师在讲解这一章节知识的时候一定要结合实践，引导学生思考铁碳成分多少对钢铁材料性能的影响，本文将结合多年教学实际谈一谈个人在教授过程的一些建议。关键词：金属工艺学铁碳合金状态图讲解建议。在生产实践中，我们会经常遇到选材和材料热处理等方面的问题，如果选材不当或热处理工艺等不合理，不仅会影响使用，严重的甚至还会造成经济损失或生
装备维修技术 2020年17期2020-12-28
- 加油站策略下的海上运输补给规划仿真研究
出库阵位”两个状态图。“确定补给顺序”状态图，负责确定接收舰的补给顺序，并分配接收舰的补给阵位，左弦或是右弦。“当前出库阵位”状态图，通过判断左右弦甲板的物资数量，物资数量少的进行出库这一判断规则，确定当前出库的物资是左弦补给物资或右弦补给物资。图2 “控制台”智能体状态图2.2 “补给左弦”、“补给右弦”智能体“补给左弦”、“补给右弦”智能体在功能上完全一致，为了便于仿真，将两者分别设立为单一智能体，下文统称为“补给”智能体，主要完成物资出库、物资运输活
火力与指挥控制 2020年11期2020-12-26
- 基于FluidSIM 的剪板机气动回路仿真分析
建立X-D 状态图剪板机工作的动作为送料—挡料—压料—剪切，每个动作分别由对应的气缸 A、B、C、D伸缩运动来完成，顺序为：气缸A 伸出—气缸B伸出—气缸 C 伸出—气缸 D 伸出—气缸 D 退回—气缸C 退回—气缸B 退回—气缸A 退回，数字“1”表示气缸活塞杆伸出，数字“0”表示气缸活塞杆缩回。用程序式表示则为：q→A1→B1→C1→D1→D0→C0→B0→A0其中q 代表手动启动信号，上述程序可以简化为：A1B1C1D1D0C0B0A0程序式中共有
机械工业标准化与质量 2020年10期2020-10-21
- 基于状态转移图的箭载软件时序控制测试用例生成方法
文应用环境，对状态图内容进行了一些扩展和自定义：在状态转移图中融入一些必要的测试信息；借鉴活动图的表达特点，使状态图能够表达具有原子性和瞬时性的软件功能；借鉴正则语言形式化特点，为状态图设置严格的语法约束，使状态图的语义满足全面性和一致性要求，以避免在测试需求分析过程引入错误。2.1 图元属性定义状态转移图的图元主要包括状态起点、状态节点、状态终点和状态转移连线，如图1所示[6-7]。状态起点为软件运行至该状态图上的初始状态节点；状态节点宏观上用于表示软件
计算机测量与控制 2020年8期2020-09-02
- 基于UML状态图测试用例生成的策略研究∗
UML图形中的状态图用以研究如何基于UML实现测试用例的自动生成。状态图主要是由状态和变迁组成的图，包括事件、状态、变迁三个部分。UML状态图是UML中对系统的动态行为进行建模的表示方法，它包括对反应型对象的行为建模。UML状态图能够直观地给出了特定对象可能进入的所有状态和触发状态转移的条件，以及对象的动作行为，通常表现为状态所经历的状态序列，也包含引起状态转移的事件，以及状态转移伴随的动作，它可以对一个对象的生命周期建模［1］。UML状态图其实就是代表一
计算机与数字工程 2020年2期2020-05-15
- 上库外突面板堆石坝的地震动力响应有限元分析探究
加速度反应分布状态图，加速度值最大为9.522 m/s2，放大常数2.47，加速度最大部位发生在坝体左岸轴线转折部位的坝顶及坝体右岸段坝身顶部；图2(b)是坝体整体顺河方向动力加速度反应分布状态图，加速度值最大为9.713 m/s2，放大常数2.52，加速度最大部位发生在坝体中间段临近左岸的坝顶处；图2(c)是坝体整体垂向动力加速度反应分布状态图，加速度值最大为6.141 m/s2，放大常数2.38，加速度最大部位发生在坝体右岸坝段的坝顶。在地震发生时，上
水利科技与经济 2019年12期2020-01-16
- 混凝土埋石重力坝深层抗滑有限元模拟研究
水位计算结果云状态图见图3-图8。图3 取自X方向的移位云状态图图4 取自Y方向的移位云状态图图5 总移位云状态图图6 取自X方向的应力云状态图图7 取自Y方向的应力云状态图图8 基于Mises 的应力云状态图1) 正常蓄水位工况移位分析：从图3可以看出，坝身上游侧的X向最大移位为1.5 mm，这缘于上游侧静水压和上游水体重量大量施加于坝面，在X方向上的分量较大，导致其X向的形变也较大。从图4可以看出，下向的最大移位出现在下游侧坝身，最大移位0.89 mm
水利科技与经济 2019年9期2019-10-22
- 基于状态图测试的迁移路径生成方法*
A），把UML状态图中的迁移关系、变量等作为启发式信息，搜索生成可执行的迁移路径。对算法的编码方式以及适应度函数进行设计，引入自适应算子以及模拟退火机制，实验结果验证了本文方法在生成迁移路径覆盖率和生成效率方面的有效性。2 研究背景2.1 相关概念为了解决装箱问题（bin packing problem，BPP），Falkenauer提出了分组遗传算法（grouping genetic algorithm，GGA）[3]。BPP是一个非确定性多项式难分组问
计算机与生活 2019年6期2019-06-19
- 多自主机器人协作及群体行为分析
究问题：（1）状态图是如何用于有效地描述大量机器人的？（2）我们可以在多大程度上对解决方案进行扩展，以在考虑分布式中止和避免死锁的情况下，保证群体机器人能够进行适当的协作。（3）我们可以在多大程度上对解决方案进行扩展，以在考虑任务目标（如区域覆盖范围、每个受保护地点的检测频率等）的情况下，保证群体机器人能够进行适当的协作。（4）我们可以在多大程度上对解决方案进行扩展，以在我们充分响应个体机器人的故障/碰撞和环境变化时，保证群体机器人能够进行适当的协作。（5
机器人产业 2019年1期2019-06-11
- 基于状态图的装载机自动变速控制
1挡.3 基于状态图的控制策略描述根据对装载机不同工况下工作情况的分析,使用传统的流程图方法编写软件并不可取.因为在装载机运行过程中,驾驶员根据作业工况的变化随时可能改变车辆的变速策略,改变策略后车辆将如何反应、进入什么状态以及进入各状态后该如何动作,此类问题用流程图并不能表示清楚[3].因此,需要采用基于状态图的编程方法编写软件.3.1 基于状态图的编程方法状态机(或称有限状态机,Finite State Machine)是用来描述对象在其生命周期内经历
中国工程机械学报 2019年1期2019-04-02
- 地铁接触网电弧闪光的视频检测方法
帧图像计算单帧状态图。提取每帧图像的灰度信息，对其进行相应计算得到单帧状态图，反映的是每帧图像各点的灰度信息。（4）针对每帧图像计算四帧状态图。四帧状态图由当前帧图像以及前三帧图像的单帧状态图计算得到，反映的是每帧图像中各点的变化情况。（5）根据四帧状态图判断闪光是否发生。若发生，则发送警报信号，并将发生电弧闪光的时间、地点通过有线或无线网络传递给后方控制台。同时，将捕捉到的电弧闪光的图像以及视频证据进行保存，以供后续查看。在测试时，使用闪光灯模拟真正的电
海峡科技与产业 2018年6期2018-12-18
- 基于向位妨碍的约束状态图模型及其拆卸序列
向位妨碍约束状态图模型1.1 三维向位妨碍区间定义1 在拆卸空间中，任一零部件i的拆卸方向为从零部件i中心发射的无数条射线Sni，如果存在零部件j对零部件i的拆卸移动方向产生阻碍，则称这种阻碍为零部件j对零部件i的向位妨碍，射线Sni形成的封闭曲线S1为可拆卸空间与不可拆卸空间的分界线，具体见图1。图1 三维向位妨碍示意图Fig.1 3D phase hinder diagram定义2 假设任一零部件j对零件i的向位妨碍射线形成一个三维锥体空间，其顶角用
中国机械工程 2018年21期2018-11-13
- 一种基于场景的装备软件测试用例设计方法研究
出软件使用场景状态图。4 基于场景的覆盖准则对于状态空间＜ S0，S，T ＞，设Si∈S且Ti∈T，对于所有的0 ≤ i≤（n-1），如果 Si→TiSi+1，则序列（S0，T0），（S1，T1），（S2，T2），…，（Sn-1，Tn-1），（Sn）称 为 路径。设P是路径的集合。场景覆盖准则一般有2种：状态覆盖、路径覆盖。状态覆盖State Coverage（SC）：当测试集生成的测试路径P，对于其中的状态Si，如果满足∑Si=S，则测试集满足状态覆盖。
舰船电子工程 2018年10期2018-10-23
- 基于WF StateMachine的UML状态图动态构建与测试
ine和UML状态图的基础上，研究从UML状态图到WF State Machine业务流程映射关系，选取UML中典型状态图，依据一定的命名转换规则，实现了从UML状态图分析设计到WF状态机业务过程可视化的构建，完成了动态测试。关键词：WF；State Machine；UML；状态图中图分类号：TP311.51 文献标识码：A1 引言（Introduction）Windows Workflow Foundation（WF）是微软推出的一个可扩展框架，提供了工
软件工程 2018年6期2018-09-26
- FSM与State模式在某试验台测控系统中的应用研究
中，其上锁试验状态图如图2所示。图2 上锁试验状态图根据系统要求，试验的开始状态为零位，最终状态回到零位或处于出错状态。试验被设置为自动进行，因而对外的接口表现均为Auto事件。在状态的切换中，会根据前一个状态与目标状态而执行相应动作；在某些状态迁移间，还涉及条件的判断，通常条件不满足直接进入出错状态。根据试验的状态图，可创建其状态模式的UML表示，如图3所示。图3 上锁实验State模式类图其中，ExperimentContext继承IAction接口，
机械制造与自动化 2018年4期2018-08-21
- 基于UML模型的测试用例自动生成综述
究了基于UML状态图的测试用例生成方法，该研究的主要贡献在于其定义了四种基于状态图的测试覆盖准则，并开发了第一个测试用例自动生成工具UMLTest。Kansomkea[5]等在文献中给出了一种基于建模工具Rational Rose的测试用例生成方法，该方法支持从UML状态图的规格说明中提取测试信息。Supaporn[6]等研究了如何将状态图转化为TFG的测试流图，从而依据测试序列生成测试场景的方法，但该方法没有提供测试数据的生成与组合方式。Hyungcho
现代计算机 2018年7期2018-04-24
- 状态图及状态表在软件建模中的适用场景分析
行状态建模时，状态图和状态表是两种常见手段[3-7]。如何选用这两种手段将关乎到设计思想的清晰表达以及模型的代码转化，目前在这方面鲜有分析。本文通过一个电梯模拟系统的验证，对这两种手段进行分析，探讨在不同场景下，状态图和状态表哪个更利于设计。形式化的有限状态机在模型上可定义为四元组：M ={S，S0，X，Transition}。S是一个对象的有限状态集合；S0∈S，是初始状态；X是对象的有限事件的集合；Transition：S*X→S是状态转移函数。2.1
信息记录材料 2018年4期2018-03-01
- 10BASE-T以太网物理介质连接单元的设计仿真
发送、接收功能状态图如图1所示。图1 全双工发送、接收功能状态图2.3 回环功能（在半双模式下工作）在半双工模式下，当MAU向TD电路发送曼彻斯特编码数据时，提供将曼彻斯特编码数据从DO传送到DI电路的能力。当MAU向TD电路发送数据，且没有收到RD电路上的RD_input信息时，MAU应当将DO电路上接收到的信号发送给DI电路以便向回环提供发送信号。在TD电路分组发送开始时，，从DO电路到DI电路响应时间不超过5 BT数据时间。此外，它是允许数据帧的第一
山西大同大学学报(自然科学版) 2017年5期2017-12-02
- MBSE在蒸发循环制冷系统设计中的应用
用于模型执行的状态图，描述系统的运行状态。以下仅以制冷用例进行描述，图1描述了制冷系统为了完成制冷功能所要执行的一系列活动与操作。图1 制冷用例主活动图2.2 建立时序图根据制冷系统制冷用例的活动图，建立制冷系统制冷用例时序图，下面仅以制冷系统制冷用例设置风速时序图为例进行说明。图2为制冷用例设置风速时序图（部分），该时序图将制冷系统与外部操作者（Pilot）的交互关系表示成一个二维图。纵向是时间轴，时间沿竖线向下延伸，横向代表操作者（Pilot）在设置风
河南科技 2017年7期2017-06-15
- 时序电路分析中状态表与状态图输出的合理描述
分析中状态表与状态图输出的合理描述王文虎(湖南文理学院电气与信息工程学院, 湖南常德, 415000)在现有各版本的数字电子技术教材中, 在时序电路分析中状态表与状态图的输出状态均存在着概念描述不清晰的现象。为了有助于时序电路的分析与理解, 本文完善了状态表的描述方法, 修改了状态图的绘制原则。补充与完善后的状态表与状态图在其输出的概念描述上更加直观与清晰。状态表; 状态图; 现态; 次态; 输出数字电子技术中的时序电路在结构上必然含有由触发器所组成的存储
湖南文理学院学报(自然科学版) 2017年1期2017-02-10
- 关于机械压缩式新概念制冷操作技巧
制冷“循环工质状态图”更正联合国编制的《制冷操作技巧培训手册》(简称《培训手册》)里的“制冷基本概念”和“循环程序图”；以“机械压缩式制冷基本概念”指导并开拓创新的压缩机在机械压缩式制冷机上的“匹配技巧”制成“匹配图”作为“机械压缩式制冷操作技巧”，代替《培训手册》里的保证制冷循环安全运行的自动控制器件，以期为落实联合国“臭氧行动计划”提供技术参考。机械压缩式制冷；基本概念；操作技巧；匹配；技术性能；技术故障单级机械压缩式制冷机(设备)即冷风机、去湿机、空
环境与可持续发展 2016年6期2016-12-12
- 基于UML建模的软件测试系统设计
案，通过UML状态图对软件模型进行构建，同时利用EFSM模型生成路径转换序列，借助Petri网的可覆盖性、可达性，将UML状态图转换为Petri网，再通过Petri网对上述转换的路径进行分析，从而消除了传统测试用例生成时存在的缺点，最后通过实验验证了该算法的严谨性和有效性。UML建模；软件测试；EFSM模型；Petri网；用例生成随着现代软件开发中UML建模工具的广泛应用，如何对基于UML建模的开发模型进行测试，成为提高软件开发质量的关键。而当前针对软件测
电子设计工程 2016年21期2016-11-21
- 基于攻防状态图模型的网络风险评估方法
6)基于攻防状态图模型的网络风险评估方法周未1张宏1李博涵2(1南京理工大学计算机科学与工程学院, 南京 210094)(2南京航空航天大学计算机科学与技术学院, 南京 211106)采用自底向上的分析方法,提出了一种层次化的网络安全风险评估框架.该框架将网络安全风险分为脆弱点安全风险和攻击安全风险2部分,按照网络的层次结构逐层评估计算机网络的安全风险.在此基础上,进一步引入攻防图脆弱点置信度概念来衡量脆弱点存在攻防状态图中的可信程度.综合考虑多种脆弱点
东南大学学报（自然科学版） 2016年4期2016-09-21
- 基于Fluid SIM的装载机液压系统建模与仿真
下降时液压系统状态图3) 铲斗悬浮时液压系统仿真过程铲斗悬浮时液压系统仿真过程如图6所示。图6 铲斗悬浮时液压系统状态图4) 铲斗上翻时液压系统仿真过程铲斗上翻时液压系统仿真过程如图7所示。图7 铲斗上翻时液压系统状态图5) 铲斗下翻时液压系统仿真过程铲斗下翻时液压系统仿真过程如图8所示。图8 铲斗下翻时液压系统状态图6) 铲斗举升和上翻复合运动时液压系统仿真过程铲斗举升和上翻复合运动时液压系统仿真过程如图9所示。图9 铲斗举升和上翻复合运动液压系统状态图
重庆理工大学学报(自然科学) 2016年8期2016-09-13
- 元模型层次的UML动态子图到Coq形式规范的转换
要包括序列图和状态图等，它们在描述系统的行为方面应用广泛，但是半形式化的语义使它们不能直接进行形式化验证。Coq是目前主流的交互式定理证明器，用形式化的Coq规范来描述UML动态子图模型，可以在此基础上进行对模型的属性进行验证等工作。基于现有工作，提出将UML动态子图模型转换为Coq形式规范的框架，在元模型层次给出状态图和序列图的转换规则，介绍算法和原型工具实现。这种元模型层次的转换方法，保证了转换前后的语法正确性，为进一步分析验证提供了基础。UML动态子
计算机应用与软件 2016年8期2016-09-08
- 高强高韧汽车传动轴管双道次W弯曲组合成型工艺的研究与设计
成型装置及钢带状态图图3 第2道次的具有“W”孔型的成型装置及钢带状态图如图4、图5、图6和图7所示，经过4道次水平辊大变形成型装置，即第3～6道次，对钢带进行中部弯曲，弯曲角由30°增大到82°，弯曲半径由471减小到172.3，使钢带逐步形成U型。图4 第3道次的水平辊大变形成型装置及钢带状态图图5 第4道次的水平辊大变形成型装置及钢带状态图图6 第5道次的水平辊大变形成型装置及钢带状态图图7 第6道次的水平辊大变形成型装置及钢带状态图如图8、图9和1
现代制造技术与装备 2016年7期2016-03-02
- 基于UML状态图的列控中心软件测试路径生成方法
6）基于UML状态图的列控中心软件测试路径生成方法王秀玄（西南交通大学 信息科学与技术学院， 成都 611756）针对列控中心测试，介绍了基于UML状态图的列控中心测试路径生成方法。根据列控中心需求规范建立UML状态图模型；采用改进的深度优先搜索算法（DFS）自动搜索有向图得到从初始节点到终止节点的所有路径集合，利用贪心算法构造超串合并测试需求；利用路径集合扩展测试需求集合，最终实现测试路径自动生成；以列控中心改变区间运行方向功能为例，给出测试路径生成方法
铁路计算机应用 2016年8期2016-02-16
- 基于VisualC#语言的柴油机臂距差数据处理系统
差值和曲轴轴线状态图，如图5 所示。图5 曲轴臂距差值和轴线状态图Fig.5 The diagram of crankshaft deflection and axis state从图5 可知，柴油机在热态时曲轴轴线状态如下:第Ⅳ和Ⅶ道主轴承位置最高，第Ⅱ道主轴承位置偏低;第1 缸、2 缸、5 缸和6 缸臂距差为“+”值，曲柄两端的主轴承较低，曲轴轴线呈踏腰形;3缸和4 缸臂距差为“-”值，曲柄两端的主轴承较高，曲轴轴线呈拱腰形;在第1 缸(0.095)的
舰船科学技术 2015年6期2015-12-19
- CdSe单晶生长技术研究
分物质p-T 状态图，图中分为气相、液相和固相三个相区，阴影区称为亚稳区［3］。当热力学条件处于亚稳区才能有新相形成，并不断使相界面向旧相推移，随之完成成核与晶体长大的过程。图1 单组分物质p-T状态图以气相法晶体生长为例进行说明。图2（a）中A点处于亚稳区内，在晶体生长动力学中也称为非均匀成核区，即只有在生长环境中有成核点时，才会实现晶体生长，此时如果在生长环境中引入籽晶，就可以实现单晶生长。因此，使生长状态处于亚稳态是气相法生长单晶的必要条件。处于气-
河南科技 2015年8期2015-08-09
- UML状态图在软件工程设计中的应用研究
类图、对象图、状态图、活动图、顺序图、协作图、构件图、部署图以及数据包图等等都是属于UML中的设计方法图[1-5]。1 状态图状态图是系统分析的一种重要工具，它通过建立类对象的生存周期模型来描述对象随时间变化的动态行为。系统分析员在对系统建模时，最先考虑的不是基于活动之间的控制流，而是基于状态之间的控制流，因为系统中对象的状态变化最容易发现和理解。它常用到的图符如表1所示：表1 UML状态图图符状态图和活动图都是用来描述对象的动态行为。状态图侧重于从行为的
微型电脑应用 2015年11期2015-07-25
- 基于UML状态图的软件系统测试用例生成方法
论了基于UML状态图生成测试用例的设计思路；然后给出了符合各种覆盖要求的测试用例生成方法；最后，利用Eclipse实现了整个系统。实验表明该系统能够根据用户要求生成不同类型的测试用例，从而降低了复杂软件系统测试用例的生成难度，并且从根本上提高了测试用例生成的有效性。关键词：统一建模语言；状态图；测试用例。中图分类号：TP311 文献标识码：A 文章编号：1009-3044（2015）12-0076-03随着软件技术的迅猛发展，软件已经成为社会各个行业中不可
电脑知识与技术 2015年12期2015-07-18
- 基于IAR visualSTATE的过欠压保护器设计
行。图3 总体状态图按键按下时，进入层次状态机整定态，内部状态见图4。内部有四个整定子状态:UnderSET、Under-ResumeSET、OverResumeSET和OverSET。欠压整定部分分析:进入欠压整定态，就立即定时Act_Timer-Start(272)，其中272=28+24。当32 ms的软定时器8超时，产生E_PulseTime1事件，同时会产生动作A_RelayControl(3)让继电器线圈失电;当1 min软定时器4超时，产生事
电气电子教学学报 2015年2期2015-07-04
- 基于STM32和CPLD的TFT－LCD显示控制器设计
2：清屏操作。状态图如图3所示。其中，WAddCnt为写屏操作完成标志。图3 清屏操作状态图Fig.3 State chart of screen clearing operation（2）单点写设定状态S1：等待数据稳定；S2：写单点操作，S3：寄存器清零操作。状态图如图4所示。图4 单点写操作状态图Fig.4 State chart of single point writing operation（3）多点写设定状态S1：等待数据稳定；S2：写起始点
液晶与显示 2015年3期2015-05-10
- 基于状态图的航天器测试用例设计
、马尔科夫链、状态图等，并就各类模型的适用系统类型进行了分析。由于航天器测试的原理是依靠遥测、遥控，对系统施加激励信号，获得其响应信号，通过对激励信号和响应信号进行分析得出测试结论［2］，故本文采取适用于描述复杂反应系统的状态图模型。文献［3-4］介绍了状态图理论以及Stateflow 平台下的状态图建模、仿真方法。对基于状态图测试的用例生成问题，刘攀［5］等人在原有的覆盖准则基础上提出了最小测试成本迁移覆盖算法，实现了无冗余测试序列的自动生成。然而，该算
航天器工程 2014年6期2014-12-28
- 几种常见BCD码在同步时序逻辑电路中的对比分析
辑功能建立原始状态图和原始状态表。2）状态化简。在保证满足逻辑功能要求的前提下，将等价状态（如果两个状态作为现态，其任何相同输入所产生的输出及建立的次态均完全相同，则这两个状态称为等价状态）合并为一个状态。3）状态分配，即对每个状态指定一个特定的二进制代码，称为状态分配或状态编码[2-3]。状态分配的任务就是在保证电路稳定工作的前提下寻求一种可靠性较好，电路结构最简单，且能自启动的最佳状态分配方案。不同的状态分配方案会导致不同的逻辑电路结构，结构简单的逻辑
电子设计工程 2014年3期2014-09-23
- 浅析基于UML的系统分析方法
随之建立类图。状态图用来描述一个指定对象的状态、事件和事件之间的活动。它用来描述系统的动态行为，大多数面向对象技术都用状态图表示单个对象在其生命周期中的行为。一个状态图包括一系列的状态以及状态之间的转移。将已有的状态图特殊化，便形成了活动图。活动图在系统分析和设计的过程中使用比较频繁,它既可用来描述类的动态行为,也可以描述事件内部的工作过程。虽然活动图是由状态图演变而来，但是它们分别表示了不同的意义。我们利用UML，举了简单的实例，对用于分析的图形工具做了
天津职业院校联合学报 2014年2期2014-09-20
- SysML 状态图合理性验证研究与实现
。SysML 状态图用于建立类对象在其生命期内的行为模型，尤其是当对象具有依赖于状态的行为。SysML 和UML 一样，为保持描述的清晰易懂，在给出自身语义说明的同时，采用半形式化的描述方法，使用自然语言表示约束和语义，力求实现形式化与易于理解之间的平衡。因此，SysML 本身缺乏分析和验证的手段，针对这一问题，本文对SysML 状态图进行拓展，使用SCXML(State Chart XML)［2］作为SysML 状态图的形式化描述语言并引用动作规约语言［
电子科技 2014年5期2014-03-13
- 从另一视角分析自动往返行车控制电路的工作状态
路为例讲解得到状态图的方法，电路见图1。1 继电器电路逻辑分析在继电器控制电路中各控制元件具有以下特性：按钮开关(无自锁)：开关状态只由按下、松开的动作决定，与作用前开关状态无关，无记忆功能。按钮开关(带自锁)：每按一次，触点通断交替一次；按下按钮后是通还是断跟上一次状态有关，它是一个T触发器。接触器、中间继电器等继电器：通电总是吸合，断电总是释放，与作用前状态无关。它无记忆功能，但通过它实现自锁、互锁时，其辅助触点对继电器(输出)又有控制作用，即出现了反
黑龙江生态工程职业学院学报 2013年4期2013-11-20
- 安全协议可视化建模和验证方法的分析与设计①
3)安全协议的状态图状态图体现了一个状态机，它由状态、事件、转换和活动组成.因为状态图能够完整地描述一个主体的动态行为，所以对UML模型进行检测的主要对象是状态图.1)发起者状态图.2)响应者状态图3)入侵者状态图4 UML模型的PROMELA语义转换安全协议UML模型在使用SPIN进行分析验证之前，需要对UML子集中的图在语义上进行形式化处理，下面将定义安全协议UML子集中的图在语义上向PROMELA语义转换的规则.4.1 类图的PROMELA语义规则
佳木斯大学学报（自然科学版） 2013年5期2013-09-27
- 基于Z规格的UML模型形式化转换及验证
集合和函数，将状态图所具有的性质及操作转化为相应状态和操作模式。当UML模型转化为Z规格说明结束时，通过Z规格说明定理证明器Z／EVES验证转化后得到的相应系统模型是否符合系统所需要满足的性质。1 UMLUML是一种定义简明、表达直接、功能也较为全面且适用性强的建模语言，目前已经成为软件建模常规标准。视图类型多样是其最大的特点，使得UML可以从多方面为目标系统进行描述。1.1 用例图用例图是UML中用来描述描述外部执行者所理解的系统功能，显示系统中的用例与
计算机工程与设计 2013年6期2013-09-08
- 松软破碎煤层综采放顶煤回采巷道布置优化
方向的围岩破坏状态图见图4。图4 距掘进工作面0.5 m时围岩破坏状态图由图4可以看出，巷道围岩的破坏面积与方式，顶板最大破坏深度为1 m，底板为1.2 m，两腰也为1.2 m。沿巷道掘进方向围岩的破坏状态图见图5。图5 沿巷道掘进方向围岩破坏状态图从图5可以看出，掘进工作面前方的煤体在掘进过程中也发生了破坏，破坏范围基本与两腰相似。3.2 沿底掘进沿底掘进时垂向与水平应力分布状态图分别见图6，图 7。图6 距掘进工作面0.5 m时的垂向应力分布图图7 距
山西焦煤科技 2013年5期2013-07-30
- 面向活动对象的可重构数控系统软件设计
arts，也称状态图）来表示并规划活动对象的行为。图2所示是一个简单的状态图，图中包含A、B、C、D 4个状态，处于某一状态意味着系统只响应所有允许输入的一个子集（如处于D状态只响应a输入和c输入），只产生可能响应的一个子集（转移到A状态或转移到B状态），并且改变状态也只是可能状态的一个子集（对于输入事件除了可以发生状态改变还可以有其他的输出）。C状态是一个父状态，包含A和B两个子状态，子状态可以继承父状态的响应（如在A状态遇到d输入会转移到D状态）。St
中国机械工程 2013年6期2013-07-25
- 电话网非法呼叫筛查模型研究及应用
下文和呼叫迁移状态图的概念，并基于UML定义了呼叫上下文和呼叫迁移状态图。呼叫信息上下文和呼叫迁移状态图是非法呼叫筛查模型总体结构中各种模型库内容以及筛查比对的基础。图2 非法呼叫筛查模型总体结构4.1 呼叫信息上下文4.1.1 呼叫信息上下文的作用呼叫信息上下文是一个或者一类完整呼叫过程中各类信息的形式化描述。呼叫信息上下文规定了非法呼叫模型研究中所需要的各种信息，描述了路由信息、业务信息、行为信息等。呼叫信息上下文将改变传统的基于信令消息描述呼叫的方式
电信科学 2013年2期2013-02-28
- 基于事件集的反应系统模型的验证
况下使用UML状态图验证已建模的反应系统。反应系统在这里认为是面向状态并对外部或内部行动做出反应，反应有可能产生状态或行为的变化，一个反应系统（事件驱动）的行为由一系列的状态、事件和行为集所规范。1 提出的验证技术1.1 假设假定正在考虑中的系统有多个合作的对象，这些对象通过事件相互联系。每个对象的动态行为都用UML状态图建模。这些对象在接收一个正确的外部或内部产生事件及相应的保护条件变为真实状态发生改变。要验证的属性用时态逻辑表示并由符号φ代表。验证过程
网络安全与数据管理 2012年8期2012-11-24
- 基于可编程计数器74LS161的循环码计数器设计
4LS161的状态图Fig.1 The state diagram of 4-bit binary up counter 74LS1612 基本原理及设计方法设4位循环码计数器的状态输出量为、、、，状态图如图2所示。图2 4位循环码计数器的状态图Fig.2 The state diagram of 4-bit cyclic code counter基于可编程计数器74LS161进行循环码计数器设计，用逻辑修改[4-5]的方法修改已有计数器的计数规律为循环码
电子设计工程 2012年3期2012-07-13
- 基于图论的电网并行输电断面快速搜索算法
分区，建立系统状态图；3) 在系统潮流状态图上，寻找与被操作线路（过载支路）有相同电源区或负荷区的输电断面。4.3.2 简化初始网络1) 消去权为零的节点。如图4-2所示，由于=0，因此与的功率始终相同，区分还是已不再重要，可以消去象这样的节点。2) 合并悬挂节点。如图4-3所示，的功率大小只取决于，不存在因其它线路开断而出现急剧增加的问题。因此，与可以合并成1个权值为+的新节点。4.3.3 建立系统状态图由于实际电力系统地域分布广泛，网络结构复杂庞大，仅
城市建设理论研究 2012年6期2012-04-10
- 利用UML的面向对象分析建模
序图、协作图、状态图等进行描述。构件视图主要显示代码组件的组织结构，由构件图构成。并发视图显示系统的并发性，可以采用状态图、顺序图、协作图、活动图等进行描述。部署视图用来显示系统的物理部署。2 需求分析建模制作一个软件需要经历计划、分析、设计、实现、测试、维护等几个阶段。而准确收集用户的需求，并进行合理的分析、整理，建立完整的需求分析模型是开发一个项目成败的关键。倘若错误地理解了用户的需求，并按此需求进行项目开发，必将造成客户需求与实际项目不符，这是开发者
常州信息职业技术学院学报 2011年5期2011-12-26
- 基于UML的电梯控制系统的分析与设计
作图、活动图和状态图。主要以状态图、顺序图来记录。3 UML在电梯控制系统中的应用3.1 电梯控制系统的静态分析设计3.1.1 用例模型根据乘客和电梯管理员两种角色来确定系统的用例，经过分析，得到如下的用例：按楼层的上行按钮、按楼层的下行按钮、按电梯内某搂层的按钮、按关门按钮、按开门按钮、锁住某层电梯锁、打开某层电梯锁。用例图如图1所示。图1 用例图3.1.2 类模型根据分析，可得到如下的类：如图2所示的类图。乘客类、管理员类、电梯类、电梯门类、楼层上行按
中国科技信息 2011年19期2011-10-27
- 电磁频谱感知教学实验系统的设计与实现
感知，建立信道状态图。CC2500芯片内部对信道的估计通过对RSSI和门限值进行比较来实现。一旦RSSI高于门限值，CC2500就认为信道忙，载波侦听输出引脚GDO2就会由低电平变为高电平。门限可以通过相应的寄存器进行配置，选择一个合适的门限值至关重要。本文综合考虑了发送功率、传输距离和数据速率等因素，通过测试调整确定了合适的门限。信道状态图建立好以后，根据感知顺序确定一个最佳空闲信道。最佳空闲信道找到后，发送方接着发送握手信息。在没有收到对方应答信号之前
电气电子教学学报 2011年5期2011-08-09
- 基于构架重用的虚拟操作训练领域仿真系统的研究
动态结构主要用状态图描述。类图是一种用类和类间关系进行系统描述的插图，是从静态方面表示的系统。类图是构成其它示意图的基础，如果没有类图，就不会有状态图或其它示意图。状态图用来描述生命周期中对象处于哪种状态、每种状态的行为以及哪种事件可以导致对象状态的变化。2.1 静态结构图对于系统的设计，最关键的问题就是将类定义在什么样的粒度。如果定义的粒度太小，系统构架需要管理的构件过多，将不利于系统构架的设计和促进系统的执行；另一方面，如果定义的粒度太大，软件重用的最
制造业自动化 2011年20期2011-07-03
- 基于场景的形式化测试模型生成方法
时间扩展UML状态图的语义，介绍了时间扩展UML状态图的混合时间Petri网模型的构造方法、混合时间Petri网模型测试用例生成方法.文献［5］给出了顺序图的形式化定义，并将其用于对类图以及状态图一致性的核对，但未将顺序图用于生成形式化测试模型的研究.文献［6］从UML2.0顺序图中得到与其对应的消息流通图，并通过遍历该图得到相应的测试序列.虽然这些方法可以从UML模型中直接产生测试用例，但是由于没有形式化推理工具的理论引导，因此，不能提供模型验证，缺乏严
上海大学学报（自然科学版） 2011年5期2011-01-31
- 基于Harel状态机的高校IP语音答疑系统设计
发，但是标准的状态图法也存在一些缺陷，当处理第一个呼叫时第二个呼叫进入的情况时传统的FSM需要计算第一个和第二个呼叫者所有可能的状态组合，这会导致我们通常所说的状态溢出等问题，针对这些问题可以使用带有IP语音控制的基于Harel扩展状态机及SCXML标记语言来解决。图1 带子状态和并发状态的复合状态图[1]2 Harel状态机及SCXML语言描述David Harel在他的论文“扩展状态图：解决复杂系统的可视化方法”中描述了扩展状态图，在增加了层次、并行、
制造业自动化 2011年3期2011-01-25
- 一种血压反馈控制系统的状态分析方法
达，因此－x的状态图是血压的另一种表达形式。2 材料与方法2.1 实验动物家兔6只，雌雄不拘，体重1.05～1.75 kg，由浙江大学医学院实验动物中心提供。2.2 药物和试剂配制2 mg/mL去甲肾上腺素(天津金耀氨基酸有限公司)，150 IU/mg肝素钠(华美生物工程公司)，2.5%乌拉坦，试剂均为国产分析纯。将2 mg/mL去甲肾上腺素溶液稀释成32.0 μg/0.1mL浓度的溶液，根据家兔体重，按0.1 mL/kg的剂量取量去甲肾上腺素溶液，用生理
中国生物医学工程学报 2010年2期2010-11-27
- 基于AndroMDA的实时系统代码生成技术研究
主要研究类图及状态图这两种UML图的转换规则，其中类图实现任务、中断和通信的静态结构，状态图实现任务或中断的动态行为。2.1 PSM元模型PSM元模型描述PSM的语义，它代表了PSM所属平台的核心概念和关键技术。实时系统的核心概念包括有可编程对象和可配置对象[3]。可编程对象是应用程序中产生动作的实体，并体现了信息转换的过程。在VxWorks平台中，可编程对象有任务(Task)、信号(Signal)、中断服务程序(ISR)和看门狗(Watchdog Tim
指挥控制与仿真 2010年6期2010-09-02
- 浅谈《金属材料与热处理》课程教学
讲授“铁碳合金状态图”时，应抓住钢的性能主要取决于它们的组织这一线索，重点讲解钢在缓慢冷却时的组织形成以及各种钢的组织中均有珠光体存在的内在联系。学生只要弄清珠光体的形成条件及性能，便可了解不同含碳量的组织差别和性能差别。二、要注意课程内容的前后呼应要充分注意课程内容前后联系紧密的特点，讲课内容前后呼应。例如，讲授“合金组织的基本类型——固溶体与金属化合物”时，可以铁碳合金为例，分析间隙固溶体和金属化合物。这样，为讲授铁碳合金打下基础，同时也与具体分析奥氏
职业·中旬 2009年9期2009-11-30