説明
定量的フォーマルモデリングとワーストケースパフォーマンス分析へようこそ。 このコースでは、理論的なコンピュータサイエンスで一般的な方法でパフォーマンスの問題をモデル化して解決する方法について学び、一般的に抽象的な思考スキルをトレーニングします。
このコースを修了すると、トークンの生成と消費の観点からシステムの動作を考える方法を学び、この考え方を接頭辞の順序とカウント関数の観点から数学的に形式化できます。 ペトリネット、タイミング、およびトークン消費/本番システムのスケジューリングについて学習しました。また、シングルレートデータフローグラフと呼ばれるペトリネットの特別なクラスについて、最悪のケースの分析を実行する方法を学習します。スループット、レイテンシ、バッファリングなどの基本的なパフォーマンスメトリック。
免責事項：お気づきのように、このコースには多数の小さな例がありますが、一見すると、議論されている工業規模のシステムは多くありません。 この理由はXNUMXつあります。 まず、業界で必要となるレベルまでパフォーマンス分析スキルを教えることは私の意図ではありません。 むしろ、モデリングとパフォーマンス分析について一般的および抽象的な用語について考えるように教えたいと思います。これは、将来パフォーマンス分析の問題が発生したときに必ず行う必要があることだからです。 結局のところ、抽象的思考はあらゆる工学分野のあらゆる学問レベルの仕事に必要とされる最も崇拝されるスキルであり、問題を数学的に表現できれば、間違いを見つけやすくなり、自分の考えを他の人に伝えることが容易になります。あなたはすでに問題を実際に解決するために大きな一歩を踏み出しました。 第XNUMXに、データフロー手法は適用可能であり、業界で使用されていますが、シングルレートデータフローのサブクラスは制限が大きすぎて、大規模なモデリングの例で実際に使用できません。 ただし、他のデータフロー手法の分析原則は、すべてシングルレートのデータフローに基づいています。 したがって、このコースは、トピックに関するより高度なコースの優れた入門書です。
このコースは、EITデジタル大学の組み込みシステムマスターカリキュラムで規定されている、組み込みシステムの定量評価（QEES）に関する大学コースの一部であり、TU / e（アイントホーフェン）、TUD（デルフト）で構成されるオランダの3TUコンソーシアムのコースです。 ）とUT（トウェンテ）。 コースの教材はQEESの最初のXNUMX週間とまったく同じですが、QEESの試験はやや高い難易度にあり、オンラインコースでは（まだ）取得できません。
価格：無料で登録！
言語： 英語
字幕: 英語