[图解]片段16 ESS状态机图-SysMLEA建模住宅安全系统

news2024/11/15 11:55:24

1
00:00:00,220 --> 00:00:03,580
然后我们看初始这里

2
00:00:03,590 --> 00:00:09,500
有一个指向它的一个迁移的事件

3
00:00:09,710 --> 00:00:13,730
站点可用,这个实际上是错误的

4
00:00:14,020 --> 00:00:15,050
这不是事件

5
00:00:15,900 --> 00:00:18,630
初始状态指向某个

6
00:00:18,640 --> 00:00:20,900
初始只是一个标志

7
00:00:23,010 --> 00:00:24,410
一个缺省的标志

8
00:00:25,000 --> 00:00:26,840
刚才我们讲解的时候也说了

9
00:00:27,520 --> 00:00:31,150
它指向某个状态的中间不能有事件

10
00:00:32,160 --> 00:00:33,410
但是可以有什么

11
00:00:34,060 --> 00:00:35,090
可以有条件

12
00:00:37,830 --> 00:00:40,750
A条件满足,就默认是那个状态

13
00:00:41,150 --> 00:00:42,500
B条件满足那个状态可以

14
00:00:42,510 --> 00:00:43,540
但不能有事件

15
00:00:43,710 --> 00:00:44,820
实际上这个是错的

16
00:00:48,080 --> 00:00:50,310
所以这个地方你可以加个条件

17
00:00:50,320 --> 00:00:53,110
但这个条件本身又有问题

18
00:00:53,120 --> 00:00:54,150
你如果有了这个

19
00:00:54,520 --> 00:00:57,170
比如说,站点可得,可用

20
00:00:57,970 --> 00:01:00,670
这个条件指向这个

21
00:01:00,680 --> 00:01:01,710
那你还得回答

22
00:01:02,180 --> 00:01:04,780
站点不可用,是哪一个

23
00:01:05,900 --> 00:01:11,030
所以这个图本身,很多地方是欠考虑的

24
00:01:11,040 --> 00:01:14,230
包括第17章,整个都有这个问题

25
00:01:14,520 --> 00:01:19,360
我们细究下去就会发现很多这种问题

26
00:01:19,450 --> 00:01:22,710
可能作者本身,因为它是不同的作者写的

27
00:01:23,320 --> 00:01:25,870
作者本身的话对这方面可能不是很熟悉

28
00:01:27,950 --> 00:01:35,610
我觉得比第16章水平要稍微有差别

29
00:01:37,950 --> 00:01:45,740
我们把它改成条件

30
00:01:48,710 --> 00:01:50,530
画过来,迁移

31
00:01:51,890 --> 00:01:54,490
然后我们把条件写在这里

32
00:01:55,230 --> 00:01:57,700
站点可用

33
00:02:04,310 --> 00:02:08,580
这个也是一样

34
00:02:09,030 --> 00:02:10,980
这个也是,我们把它改成条件

35
00:02:11,610 --> 00:02:12,880
站点不可用

36
00:02:20,230 --> 00:02:22,930
不把它作为迁移的事件

37
00:02:24,280 --> 00:02:27,350
这样来,下一个

38
00:02:27,360 --> 00:02:29,510
这里,电源关

39
00:02:29,520 --> 00:02:33,190
发生开机的事件就指向这里

40
00:02:42,440 --> 00:02:51,150
事件写在这里,开机,还有什么

41
00:02:52,930 --> 00:02:55,200
断电中,指向它就不需要事件了

42
00:02:55,370 --> 00:02:57,000
就是说,这里面一旦做完了

43
00:02:57,210 --> 00:03:01,000
所以断电中里面肯定会有一些活动

44
00:03:01,290 --> 00:03:02,360
有一些do活动

45
00:03:03,240 --> 00:03:08,430
在这里面,同样,上电中做完了

46
00:03:08,440 --> 00:03:09,750
不需要任何事件

47
00:03:09,920 --> 00:03:13,370
直接就自己迁移到电源开

48
00:03:15,510 --> 00:03:16,520
而电源开这里

49
00:03:16,530 --> 00:03:17,690
发生一个什么

50
00:03:24,680 --> 00:03:32,930
关机的事件

51
00:03:33,890 --> 00:03:36,010
就进入断电中

52
00:03:36,420 --> 00:03:39,730
挪过来一点

53
00:03:44,090 --> 00:03:50,960
好,这个是第一个层面上的状态了

54
00:03:51,640 --> 00:03:53,310
接下来就要去搞这里面了

55
00:03:54,390 --> 00:03:56,830
首先我们来看

56
00:03:58,280 --> 00:04:00,350
分区怎么样来添加

57
00:04:00,560 --> 00:04:01,910
我们前面讲解

58
00:04:02,750 --> 00:04:05,350
也提到了分区的问题,怎么添加

59
00:04:06,030 --> 00:04:06,810
我们来看一下

1
00:00:00,880 --> 00:00:01,840
分区怎么加

2
00:00:02,370 --> 00:00:06,330
右键点要加分区的状态

3
00:00:07,040 --> 00:00:11,840
这里,定义并发的子状态

4
00:00:13,020 --> 00:00:18,450
这个地方,然后,这个是写分区的名字了

5
00:00:18,930 --> 00:00:20,370
我们看,我们这个叫什么

6
00:00:27,930 --> 00:00:30,810
我们这个,首先第一个叫电源管理

7
00:00:46,070 --> 00:00:47,090
再多定义几个

8
00:00:48,540 --> 00:00:49,660
激活-停用

9
00:00:56,230 --> 00:00:59,560
还有入侵者监控,火灾监控,故障监控

10
00:01:27,800 --> 00:01:28,110

11
00:01:31,000 --> 00:01:32,550
在这里,就5个分区了

12
00:01:33,940 --> 00:01:35,370
我们把它拉开一点

13
00:01:38,820 --> 00:01:39,580
下面也拉开

14
00:02:05,880 --> 00:02:11,000
好,我们看,首先,电源管理这里,有两个状态

15
00:02:11,210 --> 00:02:13,120
一个主电源,辅助电源

16
00:02:14,960 --> 00:02:17,090
当然这样的名字是不太合适的

17
00:02:17,750 --> 00:02:19,900
我们说前面讲那个名字的时候

18
00:02:19,910 --> 00:02:21,950
说是什么,形容词

19
00:02:21,960 --> 00:02:22,750
应该叫什么

20
00:02:23,710 --> 00:02:29,510
正在用主电源,或者主电源上线中

21
00:02:30,570 --> 00:02:33,050
或者辅助电源上线中

22
00:02:33,220 --> 00:02:41,820
主电源

23
00:02:41,830 --> 00:02:47,790
辅助电源

24
00:02:48,000 --> 00:02:50,620
辅电源

25
00:03:00,680 --> 00:03:05,570
然后它们中间就有选择辅电源

26
00:03:05,580 --> 00:03:06,450
选择主电源

27
00:03:15,250 --> 00:03:18,230
选择辅电源

28
00:03:34,810 --> 00:03:35,960
选择主电源

29
00:03:41,610 --> 00:03:46,310
然后它的缺省是主电源

30
00:03:47,950 --> 00:03:48,330
这里

31
00:04:00,700 --> 00:04:02,820
这是第一个分区了,我们看第二个分区

32
00:04:04,650 --> 00:04:05,760
激活-停用

33
00:04:07,560 --> 00:04:10,240
这个是已停用,已激活

34
00:04:11,720 --> 00:04:14,350
但这里你看,它这里有一个参数

35
00:04:15,740 --> 00:04:16,900
选择激活

36
00:04:16,910 --> 00:04:19,220
然后这里开,这里关

37
00:04:20,160 --> 00:04:24,450
它用的是一个中括号

38
00:04:24,580 --> 00:04:27,750
它应该是普通的括号,因为是参数

39
00:04:28,010 --> 00:04:32,710
中括号指的是警戒条件

40
00:04:34,040 --> 00:04:36,150
它这里不是警戒条件,应该是参数

41
00:04:36,160 --> 00:04:39,480
所以我们把它改一下

42
00:04:42,530 --> 00:04:45,160
这个,已停用

43
00:04:47,040 --> 00:04:47,680
往下一点

44
00:05:00,430 --> 00:05:01,340
已激活

45
00:05:06,970 --> 00:05:11,690
然后过来是选择激活

46
00:05:11,700 --> 00:05:21,250
实际上这里有个参数

本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若转载,请注明出处:http://www.coloradmin.cn/o/2055632.html

如若内容造成侵权/违法违规/事实不符,请联系多彩编程网进行投诉反馈,一经查实,立即删除!

相关文章

绝密!头部数字人源码厂商在数字人直播软件开发技术有哪些?

随着数字人直播的逐渐兴起,数字人直播软件开发也成为了众多有意向进军数字人行业的创业者们重点关注的对象,以数字人直播软件开发技术有哪些为代表的问题更是屡次冲上相关社群话题榜的前列,并引发多轮热议。 不过,就市场现状来看&…

TIM定时中断之定时器定时中断定时器外部时钟应用案例

文章目录 前言一、定时器定时中断应用案例1.1 应用案例简介1.2 电路接线图1.3 应用案例代码1.4 应用案例分析1.4.1 初始化定时器1.4.2 编写定时器中断函数 二、定时器外部时钟应用案例2.1 应用案例简介2.2 电路接线图2.3 应用案例代码2.4 应用案例分析 前言 提示:本…

详细分析 el-progress的基本知识以及用法(附Demo)

目录 前言1. 基本知识2. Demo3. 实战 前言 由于实战项目中有所引用,对此记录基本的知识点,并且以Demo的形式呈现 1. 基本知识 el-progress 是 Element Plus UI 库中的一个进度条组件,用于显示任务的完成情况 可以帮助用户了解某个操作或任…

企业迈向可持续发展的钥匙:ISO 50001能源管理体系认证的深远影响

在全球环保意识日益增强的背景下,企业如何在节能减排的道路上脱颖而出,成为行业标杆?ISO 50001能源管理体系认证无疑是企业迈向可持续发展的重要钥匙。这一认证不仅帮助企业优化能源管理,还在多个层面为企业带来了深远的积极影响。…

【JavaEE】Callable,Semaphore和CountDownLatch

🔥个人主页: 中草药 🔥专栏:【Java】登神长阶 史诗般的Java成神之路 一.Callable 在Java中,Callable接口是一个可以返回结果的异步任务执行方式。它与Runnable接口类似,都是描述一个“任务”,…

如何为列表元素分配序列号(Java Stream API 实战)

摘要: 本文将详细介绍如何在Java中使用Stream API对列表中的元素进行分组,并为每组元素分配一个唯一的序列号。通过一个具体的示例和测试案例,我们将演示这一技术如何简化数据处理,提高代码效率。 在Java编程中,我们经…

Linux-进程间关系与守护进程

一、进程组 1.1 什么是进程组 之前我们提到了进程的概念, 其实每一个进程除了有一个进程 ID(PID)之外 还属于一 个进程组。进程组是一个或者多个进程的集合, 一个进程组可以包含多个进程。 每一 个进程组也有一个唯一的进程组 ID(PGID), 并且…

阻抗控制中的dynamic movement primitives(DMP) model

在阻抗控制中,Dynamic Movement Primitives (DMP) 模型被用于实现一种高度灵活且可泛化的轨迹模仿学习方法。DMP模型由美国南加州大学(University of Southern California)的Stefan Schaal教授团队于2002年提出,它通过将动态系统建…

Linux命令之二

Linux命令之二 VI和VIM编辑器1、VIM的一般模式①、删除复制操作②、光标移动操作 2、VIM的编辑模式3、VIM的命令模式4、三种模式之间的切换关系 权限管理文件类型和权限的表示文件属性介绍chmod 改变文件权限chown 改变所有者 yum 安装软件命令 Linux命令速查平台 VI和VIM编辑器…

IOy系列BL196MQTT远程IO模块推动智能交通信号控制

在当今这个快速发展的时代,城市化进程加速推进,随之而来的是日益严重的交通拥堵问题。为了缓解这一状况,智能交通信号控制系统应运而生,成为解决城市交通问题的有效手段之一。 一、钡铼技术BL196模块简介 钡铼技术推出的IOy系列…

【SQL】商品销售

目录 题目 分析 代码 题目 表: Product ----------------------- | Column Name | Type | ----------------------- | product_id | int | | product_name | varchar | | unit_price | int | ----------------------- product_id 是该表的主键…

Redis与CAP定理—理解数据存储的权衡

一、概述 在分布式系统的设计中,理解CAP定理的重要性是不言而喻的。CAP定理指出,一个分布式系统不可能同时完全满足一致性(Consistency)、可用性(Availability)和分区容忍性(Partition Toleran…

OCR识别行驶证(阿里云和百度云)

OCR识别行驶证(阿里云和百度云) 一、使用场景 1、通过识别行驶证,获取相关汽车信息,替代手输 二、效果图 三、代码部分: 1、阿里云OCR 1.1、控制层 PostMapping("/ocrCard") public JSONObject ocrCard(RequestPart("fi…

开放式耳机哪种好用?开放式种草测评!

现在很多人都很喜欢用开放式耳机了,因为这种耳机非常的舒服,而且不会压迫我们的耳道,从而给到我们更健康的体验,但是现在开放式耳机的品牌越来越多,我们也越来越难选择,所以我们应该怎么样才能选到一款适合…

ado.net 操作sqlite

新建控制台项目 安装nuget包Microsoft.Data.Sqlite 数据库名字和链接 string dbName "test.db"; SqliteConnection? connection null; try {//创建链接connection new SqliteConnection($"Data Source{dbName}");//打开链接connection.Open(); } ca…

RK33568 android12 背景图片替换

文章目录 前言一、直接文件替换二、使用属性替换1.属性获取图片的代码分析2.设置图片路径前言 项目中,需要替换背景图片,要求是黑色的背景图片 修改前: 修改后: 一、直接文件替换 文件路径 device/rockchip/rk356x/overlay/frameworks/base/core/res/res/drawable-nod…

为什么要用数字化营销管理平台?

数字化营销管理平台是一种利用数字技术来整合和优化营销流程的工具。它能够帮助企业更高效地进行市场推广、客户关系管理以及销售活动。 一、主要功能 1.数据整合与分析 整合多渠道数据,包括网站流量、社交媒体互动、电子邮件营销反馈等。通过数据分析&#xff0…

Docker 存储空间不足无法导入加载镜像

问题:在载入镜像时,发现docker没有空间了 解决办法: 更改docker的存储路径 1.添加新的硬盘 docker info #查看docker的存储位置 df -Th #查看占用以及挂载情况 发现没有可用的剩余空间,我们可以添加一个新的硬盘 在l

EMC学习之接地与平面

1 不同信号地的放置 下图为数字地和射频地的两种放置方式,第一个布局方式射频电流必须要经过数字地才能返回电源GND上,而且射频地与数字地之间的间隙很小,所以更容易通过寄生电容来耦合噪声。第二个布局数字地与射频地没有重叠,平…

iOS 18 Beta 5:苹果的细腻之笔,绘制用户体验新画卷

在苹果的世界里,每一次系统更新都是对用户体验进行的一次精心雕琢。 随着iOS 18 Beta 5的上线,苹果带来了一系列令人耳目一新的功能,同时也在系统的每个细微之处展现了对完美的追求。 Safari浏览器的“干扰控制”功能 在今天信息充斥的数字…