课程信息

3,422 次近期查看
可分享的证书
完成后获得证书
100% 在线
立即开始,按照自己的计划学习。
可灵活调整截止日期
根据您的日程表重置截止日期。
完成时间大约为12 小时
英语(English)
字幕:英语(English)
可分享的证书
完成后获得证书
100% 在线
立即开始,按照自己的计划学习。
可灵活调整截止日期
根据您的日程表重置截止日期。
完成时间大约为12 小时
英语(English)
字幕:英语(English)

提供方

EIT 数字  徽标

EIT 数字

教学大纲 - 您将从这门课程中学到什么

1

1

完成时间为 15 分钟

Introduction

完成时间为 15 分钟
1 个视频 (总计 5 分钟), 1 个阅读材料
1 个视频
1 个阅读材料
Some suggested reading material10分钟
完成时间为 4 小时

Modeling systems as token consumption/production systems

完成时间为 4 小时
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

2

完成时间为 3 小时

Syntax and semantics

完成时间为 3 小时
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

完成时间为 3 小时

Performance analysis

完成时间为 3 小时
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

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

常见问题

  • Access to lectures and assignments depends on your type of enrollment. If you take a course in audit mode, you will be able to see most course materials for free. To access graded assignments and to earn a Certificate, you will need to purchase the Certificate experience, during or after your audit. If you don't see the audit option:

    • The course may not offer an audit option. You can try a Free Trial instead, or apply for Financial Aid.
    • The course may offer 'Full Course, No Certificate' instead. This option lets you see all course materials, submit required assessments, and get a final grade. This also means that you will not be able to purchase a Certificate experience.
  • 您购买证书后,将有权访问所有课程材料,包括评分作业。完成课程后,您的电子课程证书将添加到您的成就页中,您可以通过该页打印您的课程证书或将其添加到您的领英档案中。如果您只想阅读和查看课程内容,可以免费旁听课程。

  • 您可在付款后两周内,或者在课程第一个班次开课后(对于已启动的课程)两周内,获得全额退款,以其中较晚者为准。获得课程证书后,您便无法再退款;即使您在两周的退款期内完成了课程,也是如此。请阅读我们完整的退款政策

  • 是的,Coursera 可以向无法承担学费的学生提供助学金。点击左侧‘注册’按钮下的‘助学金’链接即可申请助学金。您可以根据屏幕提示完成申请,申请获批后会收到通知。了解详情

还有其他问题吗?请访问 学生帮助中心