Effiziente Leistungsbewertung mit Hilfe von Entscheidungsdiagrammen

使用决策图进行有效的绩效评估

• 批准号: 5296896
• 负责人: Professor Dr.-Ing. Ulrich Herzog
• 金额: --
• 依托单位: Institut für Technische Informatik
• 依托单位国家: 德国
• 项目类别: Research Grants
• 财政年份: 2001
• 资助国家: 德国
• 起止时间: 2000-12-31 至 2002-12-31
• 项目状态: 已结题
• 来源: https://gepris.dfg.de/gepris/projekt/5296896?language=en
• 关键词: Effiziente; Leistungsbewertung; mit; Hilfe; von

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.

[1] [1] [1] [1] [1] [1] [1] [1] [1] [1] [1] [1] [1] [1]基于马尔可夫特征的随机化模型。[1][1][1][1][1][1][1][1][1][1][1]。al - base - datenstruktur werden binäre entscheidungsdiagram（多终端bdd） verwendet。[3] [1] [1] [1] [1] [1] [1] [1] [1] [1] [1] [2]Ein whichtiges Ziel - ist dabei die Beschleunigung der auf bdd - data structure arbeitendendendendendendendendendendendendendendendendendendendendendendendendendendendendendendendendendendendendendendendendendendendendendendansatzes bilden。在Hilfe von Messungen分析系统中，对bdd算法和三个实现系统进行了分析。在VHDL语言中，硬件/软件协同设计、具体设计和原型设计、编程技术、硬件实现等方面进行了研究。BDD-basierten Berechnungen gesteigigt werden, wovon insonere die numerischen Verfahren f<e:1> r die Markovanalyse proftieren。在Rahmen - des项目中，每个原型都包含一个Software-Werkzeug（软件工作），其中一个是datenstruckturen（数据结构），另一个是datenstruckturen（数据结构），另一个是datenstruckturen（数据结构），另一个是datenstruckturen（实现），另一个是datenstruckturen（硬件）。