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

server/2024/9/20 7:24:26/ 标签: 系统工程, MBSE

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.ppmy.cn/server/104963.html

相关文章

【达梦数据库】锁超时的处理方法-错误码[-6407]

【达梦数据库】锁超时的处理方法-错误码[-6407] 链接: https://eco.dameng.com/document/dm/zh-cn/faq/faq-errorcode.html#[-6407]%20%E9%94%81%E8%B6%85%E6%97%B6

《AI办公类工具PPT系列之四——ChatPPT》

一.简介 官网:ChatPPT_AI一键对话生成PPT_智能排版美化-必优科技智能PPT ChatPPT是一款基于人工智能技术的PPT制作工具,它通过对话式AI创作,为用户提供快速生成和美化PPT的全流程服务。 二.功能介绍 1、一键生成PPT 主题输入:用户只需输入PPT的主题,ChatPPT即可根据主…

科技在日常生活中的革新

在科技日新月异的今天,‌我们的生活正经历着前所未有的变革。‌从智能家居到可穿戴设备,‌科技已经渗透到我们生活的每一个角落,‌深刻地影响着我们的生活方式和社会经济的发展。‌ 智能家居系统的出现,‌无疑是科技改变生活的典…

鸿蒙内核源码分析(原子操作篇) | 谁在为原子操作保驾护航

基本概念 在支持多任务的操作系统中,修改一块内存区域的数据需要“读取-修改-写入”三个步骤。然而同一内存区域的数据可能同时被多个任务访问,如果在修改数据的过程中被其他任务打断,就会造成该操作的执行结果无法预知。 使用开关中断的方…

SpringCache操作Redis

目录 (一)什么是SpringCache? (二)解决了什么问题? (三)如何使用SpringCache? (一)什么是SpringCache? SpringCache是一个由Spring提供的缓存框架&…

Git 版本控制操作

1. 版本回退 Git 能够管理⽂件的历史版本,这是版本控制器重要的能⼒。如果有⼀天你发现之前前的⼯作做的出现了很⼤的问题,需要在某个特定的历史版本重新开始,这个时候,就需要版本回退的功能了。 执⾏ git reset 命令⽤于回退版…

ACCESS 工具注入实战 凡诺靶场

简介 Access数据库注入攻击是一种常见的网络安全,通过注入SQL代码来获取未授权的数据访问权限。这种攻击利用了应用程序与数据库之间的交互漏洞,攻击者通过输入特定的SQL代码片段来操纵数据库查询,从而绕过应用程序的安全机制,获取…

Go Convey测试框架入门(go convey gomonkey)

Go Convey测试框架入门 介绍 GoConvey是一款针对Golang的测试框架,可以管理和运行测试用例,同时提供了丰富的断言函数,并支持很多 Web 界面特性。 Golang虽然自带了单元测试功能,并且在GoConvey框架诞生之前也出现了许多第三方测…

第132天:内网安全-横向移动Exchange服务有账户CVE漏洞无账户口令爆破

域控环境0day.org 通过网盘分享的文件:131-0day.org内网域环境镜像文件 链接: https://pan.baidu.com/s/1rf_gHVJSNG8PEsiSr7DFSw?pwdr5jc 提取码: r5jc 给win7设置一张nat网卡,其他各个主机都设置为vm2 案例一: 域横向移动-内网服务-Exchan…

[kaggle竞赛] 毒蘑菇的二元预测

毒蘑菇的二元预测 您提供了很多关于不同二元分类任务的资源和链接,看起来这些都是Kaggle竞赛中的参考资料和高分解决方案。为了帮助您更好地利用这些资源,这里是一些关键点的总结: Playground Season 4 Episode 8 主要关注的竞赛: 使用银行…

Java ArrayList和LinkedList

ArrayList ArrayList是Java中最常用的数据结构之一,它是一个动态数组的实现,允许你在程序中存储和管理一个可变大小的对象列表,我们可以添加或删除元素。 ArrayList 继承了 AbstractList ,并实现了 List 接口。 基本概念 Arra…

Git(面试篇)

目录 配置操作 全局配置 当前仓库配置 查看global配置 查看当前仓库配置 删除global配置 删除当前仓库配置 本地操作 查看变更情况 将当前目录及其子目录下所有变更都加入到暂存区 将仓库内所有变更都加入到暂存区 将指定文件添加到暂存区 比较工作区和暂存区的所有…

JavaScript学习文档(5):为什么需要函数、函数使用、函数传参、函数返回值、作用域、匿名函数、逻辑中断

目录 一、为什么需要函数 1、函数 2、说明 二、函数使用 1、函数的声明语法 2、函数名命名规范 3、函数调用语法 4、函数体 5、函数案例(数字求和) (1)计算1-100之间所有数字的和 三、函数传参 1、声明语法 2、调用语…

【Redis】Redis数据结构——List列表

List列表 命令lpushlpushxrpushrpushxlrangelpoprpoplindexlinsertllen 阻塞版本命令blpopbrpop 命令⼩结内部编码使用场景消息队列分频道的消息队列微博 Timeline 列表类型是⽤来存储多个有序的字符串,如图 2-19 所⽰,a、b、c、d、e 五个元素从左到右组…

Java 使用线程池和CountDownLatch分批插入或者更新数据

需求:在开发业务报表时,需要从MySQL数据库读取数据后进行操作,然后写入数据库,使用定时任务跑批。 分析:①兼顾性能,② MySQL没有Oracle那么方便、强大的存储过程。综上所述,使用线程池以分批提…

python dash框架 油气田可视化软件设计文档

V1.1:机器学习框架(神经网络) 时间范围优化 表格布局优化 添加前端设计元素布局 V1.0:基础布局和对应计算函数 要求 首先第一部分是通过神经网络预测天然气流量,其中输入开始时间和截止时间是为了显示这一段时间内的天然气流量预测结果 第二部分&…

前端实现首次访问,后续从本地访问

在前端实现将PDF文件下载到用户的本地磁盘&#xff0c;并在后续加载时使用本地文件&#xff0c;而不是重新从服务器下载&#xff0c;可以通过以下步骤实现&#xff1a; 1. **使用<a>标签的download属性**&#xff1a;当用户首次点击下载PDF时&#xff0c;通过<a>标…

私有仓库tomcat镜像构建

通过Tomcat安装包构建镜像 Dockerfile # 使用官方的OpenJDK镜像作为基础镜像 FROM xa-test.harbor.com:55555/idaas/openjdk:8u232 ENV CATALINA_HOME/usr/local/tomcat ENV PATH$CATALINA_HOME/bin:$PATH # 将Tomcat的压缩包复制到镜像中并解压到指定目录 COPY apache-tomcat…

Apollo9.0 PNC源码学习之Planning模块—— Lattice规划(六):横纵向运动轨迹评估

参考文章: (1)Apollo6.0代码Lattice算法详解——Part6:轨迹评估及碰撞检测对象构建 (2)自动驾驶规划理论与实践Lattice算法详解 0 前言 横纵向运动轨迹的评估,主要通过构建定点巡航和定点停车两个场景下,对纵向运动参考速度、加速度、加加速度的大小进行检验和过滤,然…

1.初识redis

文章目录 1.认识redis1.1 mysql和redis 对比1.2分布式系统1.2.1单机架构与分布式架构1.2.2数据库分离(应用服务器和存储服务器分离)与负载均衡1.2.3负载均衡器1.2.4 数据库读写分离1.2.5 数据库服务器引入缓存1.2.6数据库分库分表1.2.7 引入微服务 2.常见概念解释2.1 应用(Appl…