

 1
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
 实际上这里有个参数



















