什么是系统工程（字幕）24

0
00:00:00,420 --> 00:00:03,293
也同样我们给它起个名字

1
00:00:03,293 --> 00:00:04,060
你看这里

2
00:00:04,810 --> 00:00:04,989

3
00:00:04,989 --> 00:00:05,887
这个a1

4
00:00:05,887 --> 00:00:06,605
那就a1

5
00:00:06,605 --> 00:00:08,580
大小我们也把它

6
00:00:10,730 --> 00:00:12,060
对照一下

7
00:00:12,340 --> 00:00:13,340
放大一点

8
00:00:13,870 --> 00:00:16,170
对吧，这样刚好是

9
00:00:17,030 --> 00:00:19,300
大小跟这个差不多

10
00:00:20,350 --> 00:00:20,950
这样

11
00:00:21,870 --> 00:00:24,040
然后这个就a1

12
00:00:29,650 --> 00:00:30,390

13
00:00:30,670 --> 00:00:31,330

14
00:00:31,810 --> 00:00:32,755
齐了吗

15
00:00:32,755 --> 00:00:33,070

16
00:00:33,070 --> 00:00:34,330
加热水

17
00:00:35,260 --> 00:00:35,449
好

18
00:00:35,449 --> 00:00:36,017
出来

19
00:00:36,017 --> 00:00:38,102
第二个也是一样

20
00:00:38,102 --> 00:00:38,860

21
00:00:39,140 --> 00:00:41,270
煮沸水这个一样的

22
00:00:42,230 --> 00:00:43,340
煮沸水

23
00:00:44,250 --> 00:00:44,960
这个

24
00:00:46,540 --> 00:00:47,730
几个参数

25
00:00:48,010 --> 00:00:48,960

26
00:00:49,240 --> 00:00:50,730
煮沸前的热

27
00:00:53,270 --> 00:00:56,023
然后，你看这输入

28
00:00:56,023 --> 00:00:57,400
输入，输入

29
00:00:58,110 --> 00:00:59,740
这个是输出

30
00:01:00,760 --> 00:01:02,186
输入两个

31
00:01:02,186 --> 00:01:04,469
一个是煮沸水的热

32
00:01:04,469 --> 00:01:07,037
一个是热的脏水

33
00:01:07,037 --> 00:01:07,608
对吧

34
00:01:07,608 --> 00:01:08,750
热的污水

35
00:01:14,880 --> 00:01:16,550
煮沸水

36
00:01:19,650 --> 00:01:20,530
热

37
00:01:26,960 --> 00:01:28,260
这个类型

38
00:01:29,390 --> 00:01:30,390
就是热

39
00:01:35,640 --> 00:01:36,616
进来

40
00:01:36,616 --> 00:01:38,080
然后呢

41
00:01:44,570 --> 00:01:46,630
热的污水

42
00:01:50,690 --> 00:01:51,800
类型

43
00:01:53,250 --> 00:01:54,970
H2O

44
00:02:01,450 --> 00:02:02,940
出去

45
00:02:03,300 --> 00:02:04,750
就是

46
00:02:05,110 --> 00:02:06,360
水蒸气了

47
00:02:06,360 --> 00:02:07,610
同样是水

48
00:02:07,610 --> 00:02:08,610
只不过是蒸汽

49
00:02:22,390 --> 00:02:25,310
蒸汽，水就不要了

50
00:02:43,650 --> 00:02:45,100
这个是输出

51
00:02:49,050 --> 00:02:50,501
这样弄好了

52
00:02:50,501 --> 00:02:52,920
那同样我们把它拖上去

53
00:02:53,470 --> 00:02:54,710
煮沸水

54
00:02:59,570 --> 00:03:00,630
所有

55
00:03:01,990 --> 00:03:02,296
好

56
00:03:02,296 --> 00:03:03,520
我们把那个

57
00:03:05,380 --> 00:03:07,380
放的一样大小

58
00:03:09,690 --> 00:03:13,020
位置，热在这里

59
00:03:13,300 --> 00:03:14,928
水在这里，对吧

60
00:03:14,928 --> 00:03:16,557
热在这个中间

61
00:03:16,557 --> 00:03:17,100
这里

62
00:03:17,380 --> 00:03:19,097
入的水在

63
00:03:19,097 --> 00:03:19,670
这里

64
00:03:20,150 --> 00:03:21,830
蒸汽在这里

65
00:03:22,620 --> 00:03:24,320
入的水这里

66
00:03:27,620 --> 00:03:28,390
对吧

67
00:03:31,340 --> 00:03:34,530
蒸汽这里，这两个还得往下走

68
00:03:34,530 --> 00:03:35,670
往下走一走

69
00:03:36,710 --> 00:03:37,900

70
00:03:38,180 --> 00:03:39,430
地方不够大

71
00:03:40,050 --> 00:03:41,100
往下挪

72
00:03:47,320 --> 00:03:47,744
好

73
00:03:47,744 --> 00:03:49,440
这个有了

74
00:03:51,600 --> 00:03:53,170
那下一个是

75
00:03:54,280 --> 00:03:56,280
冷凝蒸汽

76
00:03:56,800 --> 00:03:57,540
这个

77
00:03:58,390 --> 00:03:59,090

78
00:03:59,800 --> 00:04:02,040
冷凝蒸汽这里

79
00:04:02,720 --> 00:04:07,567
参数进来是蒸汽

80
00:04:07,567 --> 00:04:09,330
出去就是沸水和

81
00:04:10,130 --> 00:04:12,790
不是，废热和净水

82
00:04:13,100 --> 00:04:15,520
蒸汽废热

83
00:04:15,970 --> 00:04:17,110
净水

84
00:04:24,730 --> 00:04:26,655
那我们蒸汽统一

85
00:04:26,655 --> 00:04:28,100
改一下名字

86
00:04:28,380 --> 00:04:30,670
蒸汽统一一下

87
00:04:31,120 --> 00:04:34,610
参数改一下

88
00:04:38,540 --> 00:04:38,828

89
00:04:38,828 --> 00:04:39,980
这里

90
00:04:40,440 --> 00:04:41,640
蒸汽

91
00:04:51,170 --> 00:04:51,880
好

92
00:04:54,130 --> 00:04:55,440
蒸汽

93
00:04:56,780 --> 00:04:58,020
添加

94
00:05:00,730 --> 00:05:03,070
这个是进来

95
00:05:03,900 --> 00:05:05,000
是

96
00:05:05,620 --> 00:05:06,700
蒸汽

97
00:05:10,160 --> 00:05:10,960

98
00:05:16,740 --> 00:05:17,990
类型

99
00:05:26,820 --> 00:05:27,150
好

100
00:05:27,150 --> 00:05:29,460
再来一个，出去

101
00:05:31,770 --> 00:05:32,800
废热

102
00:05:35,990 --> 00:05:37,060
类型

103
00:05:39,360 --> 00:05:40,000
热

104
00:05:45,500 --> 00:05:46,920
出去

105
00:05:49,140 --> 00:05:50,697
还有出去的下一个

106
00:05:50,697 --> 00:05:53,190
就是净水了

107
00:05:55,060 --> 00:05:56,210
净水

108
00:06:01,600 --> 00:06:02,740
类型

109
00:06:03,760 --> 00:06:04,560
水

110
00:06:09,990 --> 00:06:10,850
出去的

111
00:06:14,510 --> 00:06:15,450
好

112
00:06:15,740 --> 00:06:18,200
那这是冷凝蒸汽

113
00:06:18,200 --> 00:06:20,660
这个同样拖上来

114
00:06:23,940 --> 00:06:25,080
所有

115
00:06:25,710 --> 00:06:26,036

116
00:06:26,036 --> 00:06:27,016
一样

117
00:06:27,016 --> 00:06:28,650
放到一样大

118
00:06:30,570 --> 00:06:31,150
然后呢

119
00:06:31,150 --> 00:06:32,310
我们看下位置

120
00:06:34,180 --> 00:06:38,125
进来，在这个，蒸汽进来

121
00:06:38,125 --> 00:06:40,886
废热，净水，是吧

122
00:06:40,886 --> 00:06:41,281

123
00:06:41,281 --> 00:06:42,070
蒸汽

124
00:06:44,530 --> 00:06:45,710
废热

125
00:06:53,670 --> 00:06:54,730
净水

126
00:07:01,690 --> 00:07:01,891
好

127
00:07:01,891 --> 00:07:03,501
我们来对齐一下

128
00:07:03,501 --> 00:07:04,910
这三个对齐一下

129
00:07:08,720 --> 00:07:10,310
这里也对齐

130
00:07:14,960 --> 00:07:16,530

131
00:07:17,490 --> 00:07:18,780

132
00:07:27,400 --> 00:07:28,280
好

133
00:07:28,560 --> 00:07:29,640
废热

134
00:07:32,040 --> 00:07:34,500
这两个还得再往上挪一点

135
00:07:45,250 --> 00:07:46,180
好

136
00:07:46,650 --> 00:07:47,590
这个有了

137
00:07:47,590 --> 00:07:48,530
接下来呢

138
00:07:49,690 --> 00:07:52,060
我们就要建立

139
00:07:54,130 --> 00:07:56,910
它们之间的对象流

140
00:07:56,910 --> 00:07:59,690
这些流实际上就是对象流

141
00:08:00,110 --> 00:08:00,740

142
00:08:02,680 --> 00:08:04,570
表示这些对象

143
00:08:05,450 --> 00:08:07,730
从这里流到

144
00:08:08,010 --> 00:08:08,529
这里来

145
00:08:08,529 --> 00:08:10,864
而且这个流进来的话

146
00:08:10,864 --> 00:08:13,200
这两个要是什么

0
00:00:00,230 --> 00:00:03,450
那下面我们就来画这个对象流

1
00:00:03,450 --> 00:00:05,060
那一个个对照着

2
00:00:06,730 --> 00:00:08,300
这个过来

3
00:00:10,510 --> 00:00:11,920
再往下挪一点

4
00:00:15,010 --> 00:00:15,810
好

5
00:00:17,110 --> 00:00:17,787
怎么画

6
00:00:17,787 --> 00:00:18,690
你看，这个

7
00:00:20,100 --> 00:00:21,170
过来

8
00:00:22,690 --> 00:00:23,710
对象流

9
00:00:26,710 --> 00:00:26,992

10
00:00:26,992 --> 00:00:27,840
就这样

11
00:00:28,920 --> 00:00:30,390
对吧，过来

12
00:00:30,810 --> 00:00:31,490
这个

13
00:00:31,850 --> 00:00:32,780
过来一点

14
00:00:34,420 --> 00:00:35,240
好

15
00:00:36,210 --> 00:00:37,280
下一个

16
00:00:37,560 --> 00:00:38,696
这个热进来

17
00:00:38,696 --> 00:00:40,060
这里有个这个

18
00:00:41,210 --> 00:00:45,760
黑杠这个，是分叉的意思

19
00:00:46,040 --> 00:00:47,220
分叉

20
00:00:51,980 --> 00:00:52,240

21
00:00:52,240 --> 00:00:54,060
注意一下分叉

22
00:00:54,060 --> 00:00:55,880
有的翻译叫分支

23
00:00:55,880 --> 00:00:57,700
分支意思是什么

24
00:00:57,700 --> 00:00:59,780
if else，if else

25
00:00:59,780 --> 00:01:00,300
那是只有一个

26
00:01:00,990 --> 00:01:06,435
只有一个分支能够成立的，分叉是什么

27
00:01:06,435 --> 00:01:07,672
是并发的

28
00:01:07,672 --> 00:01:09,900
这个也要，这个也要的

29
00:01:09,900 --> 00:01:11,632
所以应该是分叉

30
00:01:11,632 --> 00:01:12,870
不是分支

31
00:01:14,440 --> 00:01:15,270
这样进来

32
00:01:15,270 --> 00:01:17,140
然后这个再出去

33
00:01:17,140 --> 00:01:19,010
那我们来把它搞一下

34
00:01:20,610 --> 00:01:21,540
在这里

35
00:01:21,540 --> 00:01:22,470
fork这里

36
00:01:23,390 --> 00:01:26,200
放上一个这个垂直的

37
00:01:26,480 --> 00:01:27,170

38
00:01:30,100 --> 00:01:30,532
好

39
00:01:30,532 --> 00:01:31,830
然后呢

40
00:01:34,700 --> 00:01:36,360
这个画过来

41
00:01:36,640 --> 00:01:37,230

42
00:01:38,420 --> 00:01:41,390
然后这个再画上来

43
00:01:46,180 --> 00:01:46,456

44
00:01:46,456 --> 00:01:47,560
这个把它

45
00:01:47,960 --> 00:01:49,290
换成这种

46
00:01:50,920 --> 00:01:51,202

47
00:01:51,202 --> 00:01:53,460
但是你看这里面

48
00:01:54,190 --> 00:01:56,200
它是有一个这个

49
00:01:57,360 --> 00:01:59,690
圆滑的曲线这个

50
00:02:00,020 --> 00:02:00,870
我们

51
00:02:01,370 --> 00:02:02,590

52
00:02:07,900 --> 00:02:08,089

53
00:02:08,089 --> 00:02:10,173
你要是改变这个线的风格

54
00:02:10,173 --> 00:02:11,310
你可以在这里

55
00:02:12,910 --> 00:02:14,576
这里改

56
00:02:14,576 --> 00:02:15,290
这里改

57
00:02:17,410 --> 00:02:20,074
比如说，改成这样，对吧

58
00:02:20,074 --> 00:02:20,370

59
00:02:20,370 --> 00:02:21,850
这样也可以

60
00:02:22,130 --> 00:02:23,040
这个

61
00:02:23,870 --> 00:02:25,540
你看，这个就有一个

62
00:02:26,390 --> 00:02:29,840
比较圆滑的一个这样过来

63
00:02:30,880 --> 00:02:31,180
好

64
00:02:31,180 --> 00:02:32,980
另外一个分支

65
00:02:34,580 --> 00:02:34,985

66
00:02:34,985 --> 00:02:36,200
分叉

67
00:02:36,200 --> 00:02:37,010
过来

68
00:02:41,300 --> 00:02:41,580

69
00:02:41,580 --> 00:02:42,700
这个就

70
00:02:42,980 --> 00:02:45,220
直接对着到这里了

71
00:02:45,820 --> 00:02:47,100

72
00:02:47,530 --> 00:02:48,450
大一点

73
00:03:14,320 --> 00:03:15,200

74
00:03:15,500 --> 00:03:16,320

75
00:03:16,910 --> 00:03:19,790
水上面，热在下面

76
00:03:20,290 --> 00:03:20,690
好

77
00:03:20,690 --> 00:03:22,290
把它位置

78
00:03:23,180 --> 00:03:25,500

79
00:03:26,120 --> 00:03:26,800

80
00:03:27,430 --> 00:03:27,910

81
00:03:27,910 --> 00:03:28,390
好

82
00:03:28,390 --> 00:03:29,350
进来

83
00:03:30,310 --> 00:03:30,686

84
00:03:30,686 --> 00:03:31,440
有了

85
00:03:32,580 --> 00:03:33,048
好

86
00:03:33,048 --> 00:03:34,920
下一个是

87
00:03:35,420 --> 00:03:36,365
这个了

88
00:03:36,365 --> 00:03:38,967
热的污水怎么到这里

89
00:03:38,967 --> 00:03:39,440
这个

90
00:03:39,830 --> 00:03:41,130
画过来

91
00:03:46,250 --> 00:03:48,230
然后这个线呢，也是

92
00:03:50,020 --> 00:03:51,730
这么拐一下

93
00:03:53,310 --> 00:03:55,210
这么再拐一下

94
00:03:58,440 --> 00:04:00,070
热的污水

95
00:04:07,880 --> 00:04:08,530

96
00:04:08,880 --> 00:04:09,480

97
00:04:10,890 --> 00:04:11,262
好

98
00:04:11,262 --> 00:04:12,750
搞圆一点

99
00:04:17,760 --> 00:04:18,440

100
00:04:20,320 --> 00:04:20,601
好

101
00:04:20,601 --> 00:04:21,163
进来

102
00:04:21,163 --> 00:04:24,537
然后这个蒸汽出去到这里

103
00:04:24,537 --> 00:04:25,100
一样

104
00:04:49,450 --> 00:04:50,255

105
00:04:50,255 --> 00:04:51,060
好

106
00:04:52,770 --> 00:04:53,840
下一个

107
00:04:54,480 --> 00:04:59,978
废热就到外面，净水

108
00:04:59,978 --> 00:05:00,190

109
00:05:00,740 --> 00:05:01,805
一样

110
00:05:01,805 --> 00:05:03,580
废热到这里

111
00:05:04,710 --> 00:05:06,570
净水到这里

112
00:05:08,190 --> 00:05:09,610
对着过来

113
00:05:41,160 --> 00:05:41,885

114
00:05:41,885 --> 00:05:42,610
好

115
00:05:43,720 --> 00:05:45,306
还拐一个弯

116
00:05:45,306 --> 00:05:46,540
拐一个弯

117
00:05:48,100 --> 00:05:48,710

118
00:05:52,710 --> 00:05:52,912

119
00:05:52,912 --> 00:05:54,730
这拐一个弯

120
00:05:57,700 --> 00:05:58,470
好

121
00:06:01,490 --> 00:06:02,140

122
00:06:03,420 --> 00:06:04,395

123
00:06:04,395 --> 00:06:05,370
有了

124
00:06:05,950 --> 00:06:06,700
对吧

125
00:06:09,780 --> 00:06:09,973

126
00:06:09,973 --> 00:06:11,711
这两个没命名

127
00:06:11,711 --> 00:06:12,677
a2、a3那个

128
00:06:12,677 --> 00:06:13,450
a2

129
00:06:16,080 --> 00:06:17,120
a3

130
00:06:21,000 --> 00:06:22,727
这个要重新命名哦

131
00:06:22,727 --> 00:06:25,534
你要从这里拖上来的话

132
00:06:25,534 --> 00:06:28,558
你看，这个拖上来它是

133
00:06:28,558 --> 00:06:28,990
点错

134
00:06:29,320 --> 00:06:30,470
拖上来

135
00:06:30,470 --> 00:06:31,620
它没有

136
00:06:31,990 --> 00:06:33,614
它是一个方框

137
00:06:33,614 --> 00:06:34,310
是那个

138
00:06:34,590 --> 00:06:37,060
不能把之前那个

139
00:06:37,770 --> 00:06:39,384
这个实例拖上来

140
00:06:39,384 --> 00:06:41,200
之前我们在

141
00:06:41,590 --> 00:06:43,590
块定义图有个实例嘛

142
00:06:43,590 --> 00:06:44,701
那不行

143
00:06:44,701 --> 00:06:46,480
我们得把这个

144
00:06:46,920 --> 00:06:47,820
这个

145
00:06:49,510 --> 00:06:51,175
类元这个拖上来

146
00:06:51,175 --> 00:06:52,840
实例重新命名

147
00:06:54,070 --> 00:06:54,930
好

148
00:06:55,770 --> 00:06:56,603
还差什么

149
00:06:56,603 --> 00:06:57,020

150
00:06:58,040 --> 00:06:58,238

151
00:06:58,238 --> 00:06:59,426
还差控制流

152
00:06:59,426 --> 00:07:00,615
刚才是数据流

153
00:07:00,615 --> 00:07:02,200
现在是控制流了

154
00:07:03,000 --> 00:07:04,630
控制流这里

155
00:07:06,460 --> 00:07:07,830
起点

156
00:07:08,230 --> 00:07:09,242
终点，对吧

157
00:07:09,242 --> 00:07:09,495

158
00:07:09,495 --> 00:07:11,520
我们这个就好办了

159
00:07:12,940 --> 00:07:14,350
初始点

160
00:07:15,820 --> 00:07:16,430

161
00:07:16,910 --> 00:07:18,070
名字删掉

162
00:07:19,880 --> 00:07:21,128
然后呢

163
00:07:21,128 --> 00:07:21,960
终点

164
00:07:28,720 --> 00:07:29,800

165
00:07:31,970 --> 00:07:32,293
好

166
00:07:32,293 --> 00:07:33,910
我们把这个框

167
00:07:35,300 --> 00:07:36,850
把它先

168
00:07:37,340 --> 00:07:38,215
固定掉

169
00:07:38,215 --> 00:07:39,310
免得一会儿

170
00:07:46,420 --> 00:07:46,644

171
00:07:46,644 --> 00:07:48,215
这个还，这个点

172
00:07:48,215 --> 00:07:50,909
还要往这框还不能固定

173
00:07:50,909 --> 00:07:52,930
还要往下挪一下

174
00:07:53,210 --> 00:07:53,840

175
00:07:57,200 --> 00:07:58,600

176
00:07:59,510 --> 00:08:00,190

177
00:08:02,060 --> 00:08:04,435
所有的都往下挪一点

178
00:08:04,435 --> 00:08:07,047
这个往上的话它就画不了

179
00:08:07,047 --> 00:08:08,710
太靠上了

180
00:08:09,460 --> 00:08:09,867

181
00:08:09,867 --> 00:08:12,310
这个端口我也得往下挪才行

182
00:08:19,540 --> 00:08:20,410

183
00:08:21,690 --> 00:08:23,300
净水往下挪

184
00:08:24,360 --> 00:08:25,550
往下挪

185
00:08:31,250 --> 00:08:31,970
好

186
00:08:32,270 --> 00:08:33,280
齐了吗

187
00:08:36,750 --> 00:08:37,051

188
00:08:37,051 --> 00:08:38,560
这个到这里

189
00:08:42,020 --> 00:08:44,840
这样，这三个我们把它对齐一下

190
00:08:45,400 --> 00:08:47,250
把它间隔给

191
00:08:47,700 --> 00:08:49,150
平均一下

192
00:08:52,540 --> 00:08:53,220

193
00:08:53,880 --> 00:08:55,080
这样

194
00:08:55,740 --> 00:08:56,590

195
00:08:57,300 --> 00:08:58,720
画过来

196
00:08:59,160 --> 00:09:00,830
跟它一起

197
00:09:01,990 --> 00:09:03,200

198
00:09:05,940 --> 00:09:06,940
齐了吗

199
00:09:07,250 --> 00:09:08,870

200
00:09:12,060 --> 00:09:12,540

201
00:09:12,540 --> 00:09:13,020

202
00:09:14,210 --> 00:09:15,503

203
00:09:15,503 --> 00:09:15,826

204
00:09:15,826 --> 00:09:17,120

205
00:09:20,610 --> 00:09:21,140

206
00:09:21,140 --> 00:09:21,670
好

207
00:09:22,260 --> 00:09:22,518
好

208
00:09:22,518 --> 00:09:23,292
就这样

209
00:09:23,292 --> 00:09:24,840
然后这个

210
00:09:25,310 --> 00:09:26,020

211
00:09:26,020 --> 00:09:27,440
过来

212
00:09:27,770 --> 00:09:29,620
那么这个里面的话

213
00:09:30,320 --> 00:09:31,916
这是控制流了

214
00:09:31,916 --> 00:09:32,600
控制流

215
00:09:34,080 --> 00:09:38,404
那action之间是可以有控制流，这个实线这样下来的

216
00:09:38,404 --> 00:09:40,669
如果你在活动之间画

217
00:09:40,669 --> 00:09:43,140
它就没有这个实线，是虚线

218
00:09:51,070 --> 00:09:54,470
那同样我们把这几个再对齐一下

219
00:10:00,550 --> 00:10:00,926
好

220
00:10:00,926 --> 00:10:02,430
还有什么

221
00:10:03,560 --> 00:10:05,200

222
00:10:05,940 --> 00:10:06,933
齐了

223
00:10:06,933 --> 00:10:09,170
那最后一个就这个了

224
00:10:11,550 --> 00:10:12,450
这个

225
00:10:12,730 --> 00:10:15,855
这个端口，外部热这个端口

226
00:10:15,855 --> 00:10:18,500
这个参数

227
00:10:19,260 --> 00:10:20,810
它这有一个

228
00:10:21,630 --> 00:10:24,020
satisfies这个

229
00:10:24,300 --> 00:10:26,350
外部热源这个需求

230
00:10:27,860 --> 00:10:31,040
而且它是用一个Note来显示的

231
00:10:31,980 --> 00:10:33,550
那这个怎么表达

232
00:10:34,020 --> 00:10:34,225

233
00:10:34,225 --> 00:10:36,896
那这个的话不是说敲字的

234
00:10:36,896 --> 00:10:37,717
不是敲字

235
00:10:37,717 --> 00:10:39,772
实际上，这个说明什么

236
00:10:39,772 --> 00:10:41,210
我们要建立

237
00:10:42,360 --> 00:10:46,234
在这个参数和这个需求之间建立一个satisfies的连接

238
00:10:46,234 --> 00:10:50,754
然后用Note去反映出这个连接，怎么操作

239
00:10:50,754 --> 00:10:52,475
你看，不是说敲字

240
00:10:52,475 --> 00:10:53,982
把这个字敲进去

241
00:10:53,982 --> 00:10:54,843
不是这样

242
00:10:54,843 --> 00:10:56,350
你看，怎么做

243
00:10:57,560 --> 00:10:59,930
既然要满足这个需求

244
00:10:59,930 --> 00:11:02,300
那得回到需求图了

245
00:11:02,590 --> 00:11:06,850
回到之前那个需求图，在哪里

246
00:11:08,020 --> 00:11:09,280
这个行为

247
00:11:09,560 --> 00:11:10,400
这个

248
00:11:12,180 --> 00:11:12,376
好

249
00:11:12,376 --> 00:11:13,556
这个图在这里

250
00:11:13,556 --> 00:11:16,113
你看，我们之前画的那些在这里

251
00:11:16,113 --> 00:11:16,506
对吧

252
00:11:16,506 --> 00:11:18,080
那现在我们有一个

253
00:11:18,580 --> 00:11:20,670
外部热源这个需求

254
00:11:21,170 --> 00:11:22,098
这个，对吧

255
00:11:22,098 --> 00:11:23,260
DS.1 这个

256
00:11:24,910 --> 00:11:25,860
而

257
00:11:26,210 --> 00:11:28,200
这个满足它，这个在哪里

258
00:11:28,480 --> 00:11:30,020
这是那个

259
00:11:31,180 --> 00:11:32,520
蒸馏水

260
00:11:34,120 --> 00:11:35,930
这个大的这个的

261
00:11:36,610 --> 00:11:37,590
参数，对吧

262
00:11:38,110 --> 00:11:41,140
里面有加热水，有这个什么

263
00:11:41,420 --> 00:11:43,750
这个外部热：热这个

264
00:11:44,030 --> 00:11:44,710

265
00:11:45,110 --> 00:11:47,650
蒸馏水的外部热：热这个

266
00:11:47,930 --> 00:11:48,590
对吧

267
00:11:49,200 --> 00:11:50,090
就这个

268
00:11:51,410 --> 00:11:52,550
拖上来

269
00:11:54,220 --> 00:11:54,414

270
00:11:54,414 --> 00:11:56,550
在这里

271
00:11:56,830 --> 00:11:57,027

272
00:11:57,027 --> 00:11:59,000
这里作为它的一个

273
00:11:59,890 --> 00:12:01,112
参数，对不对

274
00:12:01,112 --> 00:12:02,090
然后把它

275
00:12:03,280 --> 00:12:05,150
画过来，同样

276
00:12:05,430 --> 00:12:06,710
satisfies 

277
00:12:06,990 --> 00:12:07,362

278
00:12:07,362 --> 00:12:09,410
也同样，我们可以搞大一点

279
00:12:15,690 --> 00:12:16,320
这样

280
00:12:25,860 --> 00:12:26,157
好

281
00:12:26,157 --> 00:12:27,940
那这里建立了

282
00:12:28,250 --> 00:12:30,470
那回到这里

283
00:12:31,230 --> 00:12:32,674
我们怎样表达这个

284
00:12:32,674 --> 00:12:34,300
你看，我们加上一个Notee

285
00:12:37,770 --> 00:12:38,006

286
00:12:38,006 --> 00:12:39,660
它这里叫Comment

287
00:12:42,640 --> 00:12:43,410
对吧

288
00:12:43,690 --> 00:12:45,623
那这时候，不是在这里敲字

289
00:12:45,623 --> 00:12:47,395
不是说把这个字复制下来

290
00:12:47,395 --> 00:12:47,878
敲进去

291
00:12:47,878 --> 00:12:48,523
不是这样

292
00:12:48,523 --> 00:12:49,490
而是要把这个

293
00:12:50,680 --> 00:12:54,630
连到这个参数这里来

294
00:12:56,030 --> 00:12:57,310
然后link

295
00:12:57,590 --> 00:13:02,370
你看，右键点这个地方

296
00:13:02,650 --> 00:13:02,940

297
00:13:02,940 --> 00:13:04,100
然后这里

298
00:13:04,580 --> 00:13:07,385
把这个Note和这个element的特征

299
00:13:07,385 --> 00:13:09,111
把它联系起来

300
00:13:09,111 --> 00:13:10,622
它有什么特征

301
00:13:10,622 --> 00:13:12,348
这个外部热什么特征

302
00:13:12,348 --> 00:13:14,938
一个刚才我们说satisfies这里

303
00:13:14,938 --> 00:13:15,370
对吧

304
00:13:15,740 --> 00:13:16,290

305
00:13:16,290 --> 00:13:16,840
OK 

306
00:13:17,120 --> 00:13:17,297

307
00:13:17,297 --> 00:13:18,715
这个时候才有这个

308
00:13:18,715 --> 00:13:19,070
你看

309
00:13:19,800 --> 00:13:21,840
它自己就冒出来了

310
00:13:28,780 --> 00:13:28,993

311
00:13:28,993 --> 00:13:30,490
这样来

312
00:13:32,810 --> 00:13:33,012

313
00:13:33,012 --> 00:13:34,630
这样把它画出来

314
00:13:36,530 --> 00:13:37,870
我们看，其它有没有

315
00:13:40,080 --> 00:13:40,295

316
00:13:40,295 --> 00:13:41,590
这回就齐了

317
00:13:42,400 --> 00:13:43,500
这样

147
00:08:14,400 --> 00:08:15,980
要是一样的