Effiziente Leistungsbewertung mit Hilfe von Entscheidungsdiagrammen

我是Rahman des Beantragten Vorhabens Sollen Datenstrukturen and算法für die reresentation and analysitischer leistungsModel le entwickelt.Zur modellSpezifikation是随机Prozess代数和MIT的马尔可夫-查克特代数。在此基础上，提出了一种新的研究方法和分析方法。ALS基础-数据结构(ALS Basis-Datenstructure)被定义为多端BDDS。这就是我们所要做的，也就是我们所要做的就是去做一件很重要的事情。从数据分析的角度来看，这是一种全新的数字分析方法，也是一种全新的分析方法。Zu Diesem Zweck是在BDD算法的基础上实现的，并对其进行了系统的分析。在Zusammenang MIT den am Lehrstuhl arbeitenden Experten für硬件/软件协同设计VHDL语言规范和原型手套编程的基础上，提出了一种基于Sollen Dann的硬件实现方法。他说：“这是一项非常重要的工作，因为这是一项非常重要的工作。我是Rahman des Projekts，在原型软件中-Werkzeug entstehen，das die datenstrukturen and die auf Ihnen arbeitenden Verfahren Implementiert and dazu die Funktionalität der Cuchriebenen SpezialHardware Nutzt.

Im Rahmen des beantragten Vorhabens sollen Datenstrukturen und Algorithmen für die Repräsentation und Analyse stochastischer Leistungsmodelle entwickelt werden. Zur Modellspezifikation werden stochastische Prozessalgebren mit Markov-Charakter eingesetzt. Durch die konsequente Ausnutzung der Strukturierungskonzepte von Prozessalgebren sollen neue Möglichkeiten der kompakten Repräsentation und effiziente Analyse erschlossen werden. Als Basis-Datenstruktur werden binäre Entscheidungsdiagramme (Multi-Terminal BDDs) verwendet. Es sollen Techniken entwickelt werden, die für eine breite Klasse prozessalgebraischer Modelle extrem speicherplatzsparende Repräsentationen gestatten. Ein wichtiges Ziel ist dabei die Beschleunigung der auf BDD-Datenstrukturen arbeitenden numerischen Analyseverfahren, da diese zur Zeit den Flaschenhals des BDD-basierten Ansatzes bilden. Zu diesem Zweck werden bestehende BDD-Algorithmen und ihre Implementierungen systematisch mit Hilfe von Messungen analysiert. Die besonders zeitkritischen Teile dieser Algorithmen sollen dann in Zusammenhang mit den am Lehrstuhl arbeitenden Experten für Hardware/Software Codesign in VHDL spezifiziert und prototypisch mittels prgrammierbarer Hardware realisiert werden. Mit Hilfe des dabei entstehenden BDD-Coprozessors soll die Geschwindigkeit der BDD-basierten Berechnungen erheblich gesteigert werden, wovon insbesondere die numerischen Verfahren für die Markovanalyse profitieren. Im Rahmen des Projekts wird auch ein prototypisches Software-Werkzeug entstehen, das die Datenstrukturen und die auf ihnen arbeitenden Verfahren implementiert und dazu die Funktionalität der beschriebenen Spezialhardware nutzt.