课程信息

4,407 次近期查看

可分享的证书

完成后获得证书

100% 在线

立即开始,按照自己的计划学习。

可灵活调整截止日期

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

中级

完成时间大约为22 小时

建议:5 weeks of study, each with around 2.h hours work...

英语(English)

字幕:英语(English)

可分享的证书

完成后获得证书

100% 在线

立即开始,按照自己的计划学习。

可灵活调整截止日期

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

中级

完成时间大约为22 小时

建议:5 weeks of study, each with around 2.h hours work...

英语(English)

字幕:英语(English)

提供方

EIT 数字  徽标

EIT 数字

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

1

1

完成时间为 3 小时

Module 1: Computational Tree Logic

完成时间为 3 小时
6 个视频 (总计 61 分钟), 3 个阅读材料, 4 个测验
6 个视频
Welcome!1分钟
Introduction13分钟
Semantics of CTL13分钟
Model Checking CTL9分钟
The Until Operator12分钟
The Always Operator9分钟
3 个阅读材料
Script 1 and 2.110分钟
Script 2.2 and 2.310分钟
Script 2.420分钟
4 个练习
Formulate for yourself6分钟
Test your understanding of CTL semantics14分钟
Check your understanding of CTL20分钟
Model checking eventually, always and until22分钟
2

2

完成时间为 2 小时

Discrete Time Markov Chains

完成时间为 2 小时
5 个视频 (总计 49 分钟), 2 个阅读材料, 5 个测验
5 个视频
Evolution in Time13分钟
Transient probabilities9分钟
State classification5分钟
Steady-state probabilities12分钟
2 个阅读材料
Script 3.1 and 3.210分钟
Script 3.310分钟
5 个练习
Evolution of DTMCs6分钟
Compute transient probabilities10分钟
Classification of DTMC states True or False?14分钟
State classification16分钟
Steady-state computation12分钟
3

3

完成时间为 2 小时

Probabilistic Computational Tree Logic

完成时间为 2 小时
5 个视频 (总计 36 分钟), 3 个阅读材料, 6 个测验
5 个视频
Model checking and the Next operator7分钟
Time-bounded Until6分钟
Backwards computation4分钟
Unbounded Until8分钟
3 个阅读材料
Script: 4.1 and 4.210分钟
Script: 4.3.1 and 4.3.225分钟
Script 4.3.310分钟
6 个练习
PCTL Syntax8分钟
Checking PCTL next4分钟
Test your understanding of PCTL Until6分钟
Checking time-bounded until16分钟
Checking unbounded until10分钟
Test your understanding of PCTL6分钟
4

4

完成时间为 2 小时

Continuous Time Markov Chains

完成时间为 2 小时
5 个视频 (总计 57 分钟), 2 个阅读材料, 6 个测验
5 个视频
Generator matrix11分钟
Steady-state probabilities11分钟
Triple Modular Redundancy11分钟
Uniformisation12分钟
2 个阅读材料
Script: 5.1 and 5.220分钟
Script: 5.315分钟
6 个练习
Generator matrix6分钟
Test your understanding of CTMCs6分钟
Steady state probability in CTMCs10分钟
Identifying BSCCs12分钟
Test your understanding of Uniformisation6分钟
Uniformisation12分钟

常见问题

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

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

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