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

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.rhkb.cn/news/403798.html

如若内容造成侵权/违法违规/事实不符,请联系长河编程网进行投诉反馈email:809451989@qq.com,一经查实,立即删除!

相关文章

NCSN公式推导(一)

通过估计数据分布的梯度进行生成建模 Paper Title:Generative Modeling by Estimating Gradients of the Data Distribution Paper是斯坦福大学发表在NIPS 2019的工作 Paper地址 Abstract 我们引入了一种新的生成模型,其中样本通过朗之万动力学生成&…

Power Query抓取多页数据导入到Excel

原文链接 举例网站:http://vip.stock.finance.sina.com.cn/q/go.php/vLHBData/kind/ggtj/index.phtml?last5&p1 操作步骤 (版本为:Excel2010): Step-01:单击【Power Query】-【从Web】,…

日期类代码实现-C++

一、目标 通过前面对类和对象的介绍我们可以自己通过C代码初步实现一个简单的日期类。 实现的主要操作有: 1.日期类的构造函数 2.日期类的拷贝构造函数(在头文件中实现) 3.日期类的比较运算符重载 4.日期类的计算运算符重载 5.流插入运…

【Linux】 gdb-调试器初入门(简单版使用)

🔥系列文章:《Linux入门》 目录 一、背景 二、什么是GDB 🌷定义 🌷GDB调试工具---提供的帮助 三、GDB的安装教程-Ubuntu 🌷gdb的安装 四、哪类程序可被调试 🌷程序的发布方式 🌷Debug版…

Vscode——如何实现 Ctrl+鼠标左键 跳转函数内部的方法

一、对于Python代码 安装python插件即可实现 二、对于C/C代码 安装C/C插件即可实现

5.3 表结构设计与数据完整性

欢迎来到我的博客,很高兴能够在这里和您见面!欢迎订阅相关专栏: 工💗重💗hao💗:野老杂谈 ⭐️ 全网最全IT互联网公司面试宝典:收集整理全网各大IT互联网公司技术、项目、HR面试真题.…

Linux:开发工具(2)

一、Linux编译器-gcc/g使用 1.1 为什么我们可以用C/C做开发呢? 无论是在windows、还是Linux中,C的开发环境不仅仅指的是vs、gcc、g,更重要的是语言本身的头文件(函数的声明)和库文件(函数的实现&#xff0…

Cesium 实战 - 自定义纹理材质系列之 - 半球雷达效果(力场闪烁)

Cesium 实战 - 自定义纹理材质系列之 - 半球雷达效果(力场闪烁) 核心代码完整代码在线示例Cesium 给实体对象(Entity)提供了很多实用的样式,基本满足普通项目需求; 但是作为 WebGL 引擎,肯定不够丰富,尤其是动态效果样式。 对于实体对象(Entity),可以通过自定义材…

后端Web之数据库(以MySQL为例)

目录 1.概述 2.MySQL 3.DDL 4.DML 5.DQL 1.概述 对于我们自己写的一些小功能,数据一般存储在文件中,比如XML文件。而在实际项目中,数据都是存放在数据库中的。数据库(DataBase )是一个存储数据的集合&#xff0c…

OpenCv图像处理: 时域滤波与频域滤波

时域滤波: 空间域滤波的步骤一般如下: 1. 选择滤波器 选择一种低通滤波器,常见的包括: 均值滤波(平均滤波器)高斯滤波(Gaussian filter) 2. 定义滤波器核 根据选择的滤波器类型&…

【C++篇】迈入新世界的大门——初识C++(上篇)

文章目录 C发展历史C起源C版本更新C23小故事 C在工作领域的应用C参考网站及文档书籍编程语言排行榜C难度参考文档书籍参考文档参考书籍 C第一个程序命名空间为什么要使用namespacenamespace定义及规则命名空间使用 C输入&输出名字含义 缺省参数函数重载 C发展历史 C起源 …

VUE中出现Cannot find module ‘@/api/xxx.js‘ or its corresponding type declarations

在使用VSCode编写Vue程序时发现之前使用以下代码时却报出了错误 import {getEmployeeList} from /api/employee\ 保证文件地址正确且其中的方法也可以正常调用,只是报出了错误,该行代码上加入一个‘//ts-ignore’就可以解决。 修改后的代码 //ts-ig…

python基础篇(15):闭包

在函数嵌套的前提下&#xff0c;内部函数使用了外部函数的变量&#xff0c;并且外部函数返回了内部函数&#xff0c;我们把这个使用外部函数变量的内部函数称为闭包。 1 简单闭包 def outer(logo):def inner(msg):print(f"<{logo}>{msg}<{logo}>")retu…

苹果(ios)私钥证书和profile文件申请教程

苹果&#xff08;ios&#xff09;私钥证书&#xff0c;可以理解为p12后缀的苹果证书&#xff0c;我们在苹果开发者中心可以生成cer格式的证书&#xff0c;然后使用mac电脑或者第三方转换成p12后缀格式的私钥证书。 证书profile文件&#xff0c;又叫描述文件&#xff0c;这个文…

Android系统和开发--安全性和权限管理 SELinux 策略 安全架构

学习android权限知识 SElinux chmod -R 777 ./ setenforce 0 adb root su fastboot oem at-unlock-vboot adb disable-verity Android权限 Android系统是基于Linux内核构建的&#xff0c;因此它继承了Linux的权限管理机制。Android应用需要通过声明权限来访问系统的某些功能&…

融资融券利率和手续费详情,融资融券开通门槛50W资产必须沪深市值?

融资融券利率和手续费 融资融券就是可以向证券公司借钱借券来进行证券交易&#xff0c;实现杠杆操作。融资是向证券公司借款买入股票&#xff0c;而融券则是向证券公司借入股票并卖出。 融资融券的利率是浮动的、个性化的&#xff0c;但一般最低可以达到4.0%~5.0%&#xff0c…

Selenium + Python 自动化测试14(发送报告)

我们的目标是&#xff1a;按照这一套资料学习下来&#xff0c;大家可以独立完成自动化测试的任务。 上一篇我们讨论了使用HTMLTestRunner 生成HTML报告的方法。 本篇文章我们接着讲生成HTML报告是否可以自动邮件发送出去&#xff0c;提高我们测试报告的及时性&#xff0c;方便…

WordPress美化节日灯笼插件,适合春节的时候使用

源码介绍&#xff1a; WordPress美化节日灯笼插件&#xff0c;适合每年过年的时候安在网站上使用&#xff0c;这款插件可以备用着&#xff0c;一款WordPress节日灯笼美化插件&#xff0c;可以给网页自动加一个灯笼效果使用说明&#xff1a;到网站WP后台 - 插件 - 安装插件 - 上…

Java代码基础算法练习-乘阶求和-2024.08.18

对应的源代码可以在我的 Gitee 仓库中找到&#xff0c;欢迎star~ [Gitee 仓库](https://gitee.com/yukongji/java-basic-algorithm) 任务描述&#xff1a; 求Sn1!2!3!4!5!…n!之值&#xff0c;其中n是一个数字(n<10)。 解决思路&#xff1a; 输入: 读取用户输入的 n 值。检查…

Android:使用Gson常见问题(包含解决将Long型转化为科学计数法的问题)

一、解决将Long型转化为科学计数法的问题 1.1 场景 将一个对象转为Map类型时&#xff0c;调用Gson.fromJson发现&#xff0c;原来对象中的long类型的personId字段&#xff0c;被解析成了科学计数法&#xff0c;导致请求接口失败&#xff0c;报参数错误。 解决结果图 1.2、Exa…