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