課程信息

1,823 次近期查看
可分享的證書
完成後獲得證書
100% 在線
立即開始,按照自己的計劃學習。
可靈活調整截止日期
根據您的日程表重置截止日期。
完成時間大約為17 小時
英語(English)
可分享的證書
完成後獲得證書
100% 在線
立即開始,按照自己的計劃學習。
可靈活調整截止日期
根據您的日程表重置截止日期。
完成時間大約為17 小時
英語(English)

提供方

Placeholder

EIT 数字

教學大綱 - 您將從這門課程中學到什麼

1

1

完成時間為 15 分鐘

Introduction

完成時間為 15 分鐘
1 個視頻 (總計 5 分鐘), 1 個閱讀材料
1 個視頻
1 個閱讀材料
Some suggested reading material10分鐘
完成時間為 5 小時

Modeling systems as token consumption/production systems

完成時間為 5 小時
11 個視頻 (總計 70 分鐘), 3 個閱讀材料, 6 個測驗
11 個視頻
Consumption and production of tokens5分鐘
Modeling an intensive care unit5分鐘
Modeling a wireless LAN radio4分鐘
Modeling and refining an industrial robot6分鐘
Pick your own system1分鐘
Classes of Petri-nets8分鐘
Causality, choice and concurrency (modeling patterns)9分鐘
Refinement of consumption/production systems8分鐘
Interpreting pictures for performance analysis10分鐘
Draw your own model3分鐘
3 個閱讀材料
Always ask yourself...10分鐘
The refinement of the robot.10分鐘
Tooling10分鐘
5 個練習
Basic modeling ideas30分鐘
Modeling Warehouse 1330分鐘
Modeling features30分鐘
Definition of refinement30分鐘
Which is a refinement of which?30分鐘
2

2

完成時間為 5 小時

Syntax and semantics

完成時間為 5 小時
14 個視頻 (總計 103 分鐘), 5 個閱讀材料, 5 個測驗
14 個視頻
Syntax and semantics3分鐘
The basics9分鐘
Extensions4分鐘
Prefix orders7分鐘
Exercise on prefix orders7分鐘
Proof that flows form a prefix order14分鐘
Formalizing interpretations as functions8分鐘
Counting is order preserving6分鐘
Formalizing the Petri-net interpretation10分鐘
Proof that the number of tokens in a single-rate dataflow cycle is constant13分鐘
Formalizing timing6分鐘
Formalizing eager scheduling5分鐘
Formalizing periodic scheduling4分鐘
5 個閱讀材料
Flags and Fitch style proofs10分鐘
Slides of the proof10分鐘
Slides of the proof10分鐘
Exercise: Formalize best-case response times10分鐘
About the next quiz.10分鐘
5 個練習
Bipartite graphs30分鐘
Thinking about observation functions30分鐘
Isomorphism30分鐘
Summarize!30分鐘
Formalizing performance properties30分鐘
3

3

完成時間為 5 小時

Performance analysis

完成時間為 5 小時
20 個視頻 (總計 131 分鐘), 2 個閱讀材料, 5 個測驗
20 個視頻
Throughput is bounded by 1/MCM8分鐘
Proof - a1分鐘
Proof - b9分鐘
Proof - c1分鐘
Proof - d3分鐘
Proof - e7分鐘
Proof - f4分鐘
Proof - g4分鐘
Proof - h8分鐘
Proof - i12分鐘
Proof - j8分鐘
The throughput bound is tight5分鐘
Periodic scheduling of a dataflow graph12分鐘
Latency analysis of a periodic schedule6分鐘
Latency analysis of an eager schedule9分鐘
The formal definition of latency5分鐘
The boot-up time of a dataflow graph4分鐘
Optimizing latency estimates w.r.t. boot-up time5分鐘
Buffering and backpressure5分鐘
2 個閱讀材料
Slides of the proof10分鐘
Alternative proof in synchronization and linearity10分鐘
5 個練習
Summarize!30分鐘
Calculating the MCM and worst-case throughput30分鐘
Calculate some periodic schedules30分鐘
Calculating optimal periodic schedules and their latencies30分鐘
Calculating suitable buffer sizes30分鐘
4

4

完成時間為 1 小時

One final example

完成時間為 1 小時
1 個視頻 (總計 21 分鐘), 5 個閱讀材料
1 個視頻
5 個閱讀材料
2015 Assignment on dataflow modeling.10分鐘
Additional dataflow exercises10分鐘
Example of an exam at masters level (without solutions)10分鐘
Another example of an exam (with solutions)10分鐘
Material created by fellow students10分鐘

常見問題

還有其他問題嗎?請訪問 學生幫助中心