当前位置: 首页 > news >正文

[图解]SysML和EA建模住宅安全系统-14-黑盒系统规约

1
00:00:02,320 --> 00:00:07,610
接下来,我们看下一步指定黑盒系统需求

2
00:00:08,790 --> 00:00:10,490
就是说,把这个系统

3
00:00:11,880 --> 00:00:15,810
我们的目标系统,ESS,看成黑盒

4
00:00:18,030 --> 00:00:22,850
然后从外部来观察它有什么行为

5
00:00:22,860 --> 00:00:23,850
有什么特征

6
00:00:24,530 --> 00:00:27,860
系统的外部可观察行为和物理特征

7
00:00:30,010 --> 00:00:32,440
也就是说,就变成这个系统的属性

8
00:00:34,260 --> 00:00:35,230
还有行为

9
00:00:38,140 --> 00:00:41,800
我们来看,它是图18.19

10
00:00:41,970 --> 00:00:43,120
前面我们见过了

11
00:00:43,130 --> 00:00:47,100
但是刚才是和内部块图对比的

12
00:00:48,150 --> 00:00:49,960
现在我们再来仔细看一下

13
00:00:49,970 --> 00:00:52,790
这个图18.19,ESS黑盒规约

14
00:00:53,040 --> 00:00:58,160
这是一个BDD。块定义图

15
00:00:59,280 --> 00:01:01,880
放在2-结构这个包里面

16
00:01:02,250 --> 00:01:03,520
这是图的名字了

17
00:01:03,530 --> 00:01:05,480
ESS黑盒规约,就是这个了

18
00:01:06,910 --> 00:01:11,370
里面实际上就是一个block

19
00:01:12,340 --> 00:01:13,050
就一个block

20
00:01:13,960 --> 00:01:18,820
ESS,然后这里分了很多栏

21
00:01:19,610 --> 00:01:25,540
很多分栏,有引用,值,类元操作,代理端口

22
00:01:26,550 --> 00:01:27,670
当然不止这么多分栏

23
00:01:27,680 --> 00:01:32,510
就是说,它有哪些这些内容

24
00:01:33,160 --> 00:01:36,030
如果该分栏有相关内容

25
00:01:36,480 --> 00:01:39,240
那么在分栏上就会出现这些东西

26
00:01:39,250 --> 00:01:40,960
没有的话,它会隐藏起来

27
00:01:45,250 --> 00:01:46,000
引用是什么

28
00:01:46,290 --> 00:01:51,520
相当于我们面向对象建模的时候

29
00:01:51,530 --> 00:01:54,560
引用关联

30
00:01:55,130 --> 00:01:56,820
一会我们操作的时候可以看到

31
00:01:57,920 --> 00:02:00,910
值就是跟引用相对的了

32
00:02:02,080 --> 00:02:06,680
引用是说我拥有你的一个标识

33
00:02:08,560 --> 00:02:10,840
但是你这独立于我,在外面

34
00:02:11,090 --> 00:02:14,880
值就是你是我的一个值

35
00:02:15,090 --> 00:02:16,360
类元的行为

36
00:02:16,670 --> 00:02:20,840
ESS运营的状态

37
00:02:21,090 --> 00:02:21,720
一个状态机(的构造型)

38
00:02:21,730 --> 00:02:26,050
操作相当于系统的功能需求

39
00:02:26,060 --> 00:02:28,410
系统的行为,系统做什么

40
00:02:28,420 --> 00:02:29,170
系统做什么

41
00:02:30,950 --> 00:02:33,540
就是我们需求写的系统做什么

42
00:02:34,340 --> 00:02:36,540
代理端口,我们上一个图的时候

43
00:02:36,550 --> 00:02:41,560
我们说了,ESS上面的一些端口

44
00:02:43,840 --> 00:02:44,990
这里有一些构造型

1
00:00:00,910 --> 00:00:03,610
我们看这几个构造型,这个store

2
00:00:03,900 --> 00:00:06,400
就是存储的意思

3
00:00:07,370 --> 00:00:10,440
就表示这些是必须存储的内容

4
00:00:11,350 --> 00:00:12,660
包括数据

5
00:00:12,670 --> 00:00:14,940
包括能量、质量

6
00:00:16,820 --> 00:00:19,300
下面这里有个mop

7
00:00:19,470 --> 00:00:21,470
就是measures of

8
00:00:21,760 --> 00:00:22,520
performance

9
00:00:24,080 --> 00:00:26,510
性能的度量

10
00:00:26,720 --> 00:00:29,630
实际上就是性能和质量特征

11
00:00:30,940 --> 00:00:33,720
它是通过一些值来表达的

12
00:00:33,930 --> 00:00:36,240
这个值就是我们定义的

13
00:00:36,250 --> 00:00:38,000
之前我们定义的值类型

14
00:00:40,760 --> 00:00:48,520
下面这个一样的,这样下来

15
00:00:50,440 --> 00:00:52,910
这两个要标一下

16
00:00:54,130 --> 00:00:54,800
构造型

17
00:00:56,940 --> 00:00:59,090
下面我们就来画一下这个图

相关文章:

[图解]SysML和EA建模住宅安全系统-14-黑盒系统规约

1 00:00:02,320 --> 00:00:07,610 接下来,我们看下一步指定黑盒系统需求 2 00:00:08,790 --> 00:00:10,490 就是说,把这个系统 3 00:00:11,880 --> 00:00:15,810 我们的目标系统,ESS,看成黑盒 4 00:00:18,030 --> …...

frp内网穿透xtcp安全点对点p2p部署记录打洞失败解决方法

环境 一、有公网IP、nas主机(需要穿透里面的服务)、安卓手机、frps-0.58.1、frpc-0.59.0(群晖NAS套件)、安卓版frpc-0.56.0 二、两端frpc必须要有一端nat网络类型不是非对称nat 开始 有公网的主机上配置frps.toml bindPort 7000nas主机端frpc.toml配…...

C++基础篇(2)

目录 前言 1.缺省参数 2.函数重载 2.1函数重载的基本规则 ​编辑2.2注意事项 2.3 重载解析(Overload Resolution)--补充内容 3.引用 3.1引用的概念和定义 3.2引用的特性 3.3引用的使用 3.4const引用 4.指针和引用的关系 结束语 前言 上节小编…...

c++ primer plus 第16章string 类和标准模板库,16.1.3 使用字符串

c primer plus 第16章string 类和标准模板库,16.1.3 使用字符串 c primer plus 第16章string 类和标准模板库,16.1.3 使用字符串 文章目录 c primer plus 第16章string 类和标准模板库,16.1.3 使用字符串16.1.3 使用字符串程序清单16.3 hangman.cpp 16.1.3 使用字符串 现在&a…...

使用mybatis的statementHander拦截器监控表和字段并发送钉钉消息

新建mybatis的statementHander拦截器拦截器 类 面试题&#xff1a; 2.实现 解析Sql时引入JSqlParser JSqlParser 是一个 SQL 语句解析器。 它将 SQL转换为可遍历的 Java 类层次结构。 <dependency><groupId>com.github.jsqlparser</groupId><artifac…...

信贷系统——基础信贷概念

摘要 信贷是金融领域中的一个重要概念,指的是金融机构(如银行、信用合作社等)向个人、企业或政府提供资金的过程。在信贷过程中,金融机构向借款人提供资金,借款人则承诺在未来的某个时间点按照约定的条件和利率偿还借款。这种借款通常是在合同中明确约定的,包括贷款金额、…...

分页查询及其拓展应用案例

分页查询 分页查询是处理大量数据时常用的技术&#xff0c;通过分页可以将数据分成多个小部分&#xff0c;方便用户逐页查看。SQLAlchemy 提供了简单易用的方法来实现分页查询。 本篇我们也会在最终实现这样的分页效果&#xff1a; 1. 什么是分页查询 分页查询是将查询结果按照…...

【UE5.1】NPC人工智能——02 NPC移动到指定位置

效果 步骤 1. 新建一个蓝图&#xff0c;父类选择“AI控制器” 这里命名为“BP_NPC_AIController”&#xff0c;表示专门用于控制NPC的AI控制器 2. 找到我们之前创建的所有NPC的父类“BP_NPC” 打开“BP_NPC”&#xff0c;在类默认值中&#xff0c;将“AI控制器类”一项设置为“…...

有关电力电子技术的一些相关仿真和分析:⑤交-直-交全桥逆变+全波整流结构电路(MATLAB/Siumlink仿真)

全桥逆变+全波整流结构 参数:Vin=500V, Vo=200V, T=2:1:1, RL=10Ω, fs=100kHz, L=1mH, C=100uF (1)给定输入电压,输出电压和主电路参数,仿真研究电路工作原理,分析工作时序; (2)调节负载电阻,实现电流连续和断续,并仿真验证; (3)调节占空比,分析占空比与电…...

记录一次Android推流、录像踩坑过程

背景&#xff1a; 按照需求&#xff0c;需要支持APP在手机息屏时进行推流、录像。 技术要点&#xff1a; 1、手机在息屏时能够打开camera获取预览数据 2、获取预览数据时进行编码以及合成视频 一、息屏时获取camera预览数据&#xff1a; ①Camera.setPreviewDisplay(SurfaceH…...

VsCode 与远程服务器 ssh免密登录

首先配置信息 加入下列信息 Host qb-zn HostName 8.1xxx.2xx.3xx User root ForwardAgent yes Port 22 IdentityFile ~/.ssh/id_rsa 找到自己的公钥&#xff0c;不带pub是私钥&#xff0c;打死都不能给别人。复制公钥 拿到公钥后&#xff0c;来到远程服务器 vim ~/.ss…...

7/13 - 7/15

vo.setId(rs.getLong("id"))什么意思&#xff1f; vo.setId(rs.getLong("id")); 这行代码是在Java中使用ResultSet对象&#xff08;通常用于从数据库中检索数据&#xff09;获取一个名为"id"的列&#xff0c;并将其作为long类型设置为一个对象…...

烟雾监测与太阳能源:实验装置在其中的作用

太阳光在烟雾中的散射效应研究实验装置是一款模拟阳光透过烟雾环境的设备。此装置能帮助探究阳光在烟雾中的传播特性、散射特性及其对阳光的影响。 该装置主要包括光源单元、烟雾发生装置、光学组件、以及系统。光源单元负责产生类似于太阳光的光线&#xff0c;通常选用高亮度的…...

QT下,如何获取控制台输入

最近工作中为了测试某个模块&#xff0c;需要把原先输入模块部分&#xff0c;改成控制台输入来方便测试。在QT中&#xff0c;我们可以使用 QTextStream 类来读取用户的输入来达到目的。下面是一个简单的例子&#xff1a; #include <QCoreApplication> #include <QTex…...

mybatis动态传入参数 pgsql 日期 Interval ,day,minute

mybatis动态传入参数 pgsql 日期 Interval 在navicat中&#xff0c;标准写法 SELECT * FROM test WHERE time > (NOW() - INTERVAL 5 day)在mybatis中&#xff0c;错误写法 SELECT * FROM test WHERE time > (NOW() - INTERVAL#{numbers,jdbcTypeINTEGER} day)报错内…...

常见CSS属性

常见CSS属性。 1. display: 定义&#xff1a;display 属性控制元素如何渲染在文档流中&#xff0c;影响了元素是否占用空间、位置及盒子模型的行为。 使用说明&#xff1a;它可以设置为如block, inline, inline-block, flex, grid, none等值&#xff0c;用于决定元素显示模式…...

WSL-Ubuntu20.04训练环境配置

1.YOLOv8训练环境配置 训练环境配置的话就仍然以YOLOv8为例&#xff0c;来说明如何配置深度学习训练环境。这部分内容比较简单&#xff0c;主要是安装miniAnaconda以及安装torch和torchvision. 首先是miniAnaconda的安装(参考官网的教程Miniconda — Anaconda )&#xff0c;执行…...

运维检查:mysql表自增id是否快要用完

数据库表中最大自增ID用完会报错。判断是否接近或达到自增ID类型的最大值&#xff1a;‌ 对于MySQL中的自增ID&#xff0c;‌如果使用的是int类型&#xff0c;‌其无符号&#xff08;‌unsigned&#xff09;‌的最大值可以达到2^32 - 1&#xff0c;‌即4294967295。‌如果使用的…...

深入理解FFmpeg--libavformat接口使用(一)

libavformat&#xff08;lavf&#xff09;是一个用于处理各种媒体容器格式的库。它的主要两个目的是去复用&#xff08;即将媒体文件拆分为组件流&#xff09;和复用的反向过程&#xff08;以指定的容器格式写入提供的数据&#xff09;。它还有一个I/O模块&#xff0c;支持多种…...

坚持日更的意义何在?

概述 日更&#xff0c;就是每天更新一次或一篇文章。 坚持日更&#xff0c;就是坚持每天更新一次或一篇文章。 这里用了坚持&#xff0c;实际上不是恰当的表述&#xff0c;正确的感觉应该是让日更当作习惯&#xff0c;然后&#xff0c;让自己习惯每天去更新一篇文章。 日更…...

【大模型RAG】拍照搜题技术架构速览:三层管道、两级检索、兜底大模型

摘要 拍照搜题系统采用“三层管道&#xff08;多模态 OCR → 语义检索 → 答案渲染&#xff09;、两级检索&#xff08;倒排 BM25 向量 HNSW&#xff09;并以大语言模型兜底”的整体框架&#xff1a; 多模态 OCR 层 将题目图片经过超分、去噪、倾斜校正后&#xff0c;分别用…...

第19节 Node.js Express 框架

Express 是一个为Node.js设计的web开发框架&#xff0c;它基于nodejs平台。 Express 简介 Express是一个简洁而灵活的node.js Web应用框架, 提供了一系列强大特性帮助你创建各种Web应用&#xff0c;和丰富的HTTP工具。 使用Express可以快速地搭建一个完整功能的网站。 Expre…...

[10-3]软件I2C读写MPU6050 江协科技学习笔记(16个知识点)

1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16...

python如何将word的doc另存为docx

将 DOCX 文件另存为 DOCX 格式&#xff08;Python 实现&#xff09; 在 Python 中&#xff0c;你可以使用 python-docx 库来操作 Word 文档。不过需要注意的是&#xff0c;.doc 是旧的 Word 格式&#xff0c;而 .docx 是新的基于 XML 的格式。python-docx 只能处理 .docx 格式…...

根据万维钢·精英日课6的内容,使用AI(2025)可以参考以下方法:

根据万维钢精英日课6的内容&#xff0c;使用AI&#xff08;2025&#xff09;可以参考以下方法&#xff1a; 四个洞见 模型已经比人聪明&#xff1a;以ChatGPT o3为代表的AI非常强大&#xff0c;能运用高级理论解释道理、引用最新学术论文&#xff0c;生成对顶尖科学家都有用的…...

通过 Ansible 在 Windows 2022 上安装 IIS Web 服务器

拓扑结构 这是一个用于通过 Ansible 部署 IIS Web 服务器的实验室拓扑。 前提条件&#xff1a; 在被管理的节点上安装WinRm 准备一张自签名的证书 开放防火墙入站tcp 5985 5986端口 准备自签名证书 PS C:\Users\azureuser> $cert New-SelfSignedCertificate -DnsName &…...

Leetcode33( 搜索旋转排序数组)

题目表述 整数数组 nums 按升序排列&#xff0c;数组中的值 互不相同 。 在传递给函数之前&#xff0c;nums 在预先未知的某个下标 k&#xff08;0 < k < nums.length&#xff09;上进行了 旋转&#xff0c;使数组变为 [nums[k], nums[k1], …, nums[n-1], nums[0], nu…...

【Veristand】Veristand环境安装教程-Linux RT / Windows

首先声明&#xff0c;此教程是针对Simulink编译模型并导入Veristand中编写的&#xff0c;同时需要注意的是老用户编译可能用的是Veristand Model Framework&#xff0c;那个是历史版本&#xff0c;且NI不会再维护&#xff0c;新版本编译支持为VeriStand Model Generation Suppo…...

【51单片机】4. 模块化编程与LCD1602Debug

1. 什么是模块化编程 传统编程会将所有函数放在main.c中&#xff0c;如果使用的模块多&#xff0c;一个文件内会有很多代码&#xff0c;不利于组织和管理 模块化编程则是将各个模块的代码放在不同的.c文件里&#xff0c;在.h文件里提供外部可调用函数声明&#xff0c;其他.c文…...

跨平台商品数据接口的标准化与规范化发展路径:淘宝京东拼多多的最新实践

在电商行业蓬勃发展的当下&#xff0c;多平台运营已成为众多商家的必然选择。然而&#xff0c;不同电商平台在商品数据接口方面存在差异&#xff0c;导致商家在跨平台运营时面临诸多挑战&#xff0c;如数据对接困难、运营效率低下、用户体验不一致等。跨平台商品数据接口的标准…...