課程信息
2,306 次近期查看

100% 在線

立即開始,按照自己的計劃學習。

可靈活調整截止日期

根據您的日程表重置截止日期。

完成時間大約為20 小時

建議:5 weeks of study, 1-2 hours/week...

英語(English)

字幕:英語(English)
User
學習Course的學生是
  • Data Scientists
  • Data Engineers
  • Engineers
  • Project Managers
  • Professors
User
學習Course的學生是
  • Data Scientists
  • Data Engineers
  • Engineers
  • Project Managers
  • Professors

100% 在線

立即開始,按照自己的計劃學習。

可靈活調整截止日期

根據您的日程表重置截止日期。

完成時間大約為20 小時

建議:5 weeks of study, 1-2 hours/week...

英語(English)

字幕:英語(English)

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

1
完成時間為 15 分鐘

Introduction

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

Modeling systems as token consumption/production systems

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 ideas16分鐘
Modeling Warehouse 136分鐘
Modeling features10分鐘
Definition of refinement2分鐘
Which is a refinement of which?4分鐘
2
完成時間為 3 小時

Syntax and semantics

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 graphs2分鐘
Thinking about observation functions4分鐘
Isomorphism2分鐘
Summarize!2分鐘
Formalizing performance properties16分鐘
3
完成時間為 3 小時

Performance analysis

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!2分鐘
Calculating the MCM and worst-case throughput10分鐘
Calculate some periodic schedules8分鐘
Calculating optimal periodic schedules and their latencies16分鐘
Calculating suitable buffer sizes8分鐘
4
完成時間為 1 小時

One final example

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分鐘

講師

Avatar

Dr.ir. Pieter Cuijpers

Assistant Professor
Mathematics and Computer Science
Avatar

Anne Remke

Prof. dr.
Computer Science

關於 EIT 数字

EIT Digital is a pan-European organization whose mission is to foster digital technology innovation and entrepreneurial talent for economic growth and quality of life. By linking education, research and business, EIT Digital empowers digital top talents for the future. EIT Digital provides online and blended Innovation and Entrepreneurship education to raise quality, increase diversity and availability of the top-level content provided by 20 leading technical universities around Europe. The universities deliver a unique blend of the best of technical excellence and entrepreneurial skills and mindset to digital engineers and entrepreneurs at all stages of their careers. The academic partners support Coursera’s bold vision to enable anyone, anywhere, to transform their lives by accessing the world’s best learning experience. This means that EIT Digital gradually shares parts of its entrepreneurial and academic education programmes to demonstrate its excellence and make it accessible to a much wider audience. EIT Digital’s online education portfolio can be used as part of blended education settings, in both Master and Doctorate programmes, and for professionals as a way to update their knowledge. EIT Digital offers an online programme in 'Internet of Things through Embedded Systems'. Achieving all certificates of the online courses and the specialization provides an opportunity to enroll in the on campus program and get a double degree. Please visit https://www.eitdigital.eu/eit-digital-academy/ ...

常見問題

  • 注册以便获得证书后,您将有权访问所有视频、测验和编程作业(如果适用)。只有在您的班次开课之后,才可以提交和审阅同学互评作业。如果您选择在不购买的情况下浏览课程,可能无法访问某些作业。

  • 您购买证书后,将有权访问所有课程材料,包括评分作业。完成课程后,您的电子课程证书将添加到您的成就页中,您可以通过该页打印您的课程证书或将其添加到您的领英档案中。如果您只想阅读和查看课程内容,可以免费旁听课程。

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