SPARAMAT - automatic detection of SPARse matrix computations in Application programs by pattern MATching techniques - Automatische Identifizierung von Operationen auf dünnbesetzten Matrizen in numerischen Anwendungsprogrammen durch Mustererkennung. Grundl

SPARAMAT - 通过模式匹配技术自动检测应用程序中的 SPARse 矩阵计算 - 通过模式识别自动识别数值应用程序中稀疏矩阵的操作。

• 批准号: 5300118
• 负责人: Professor Dr. Helmut Seidl
• 金额: --
• 依托单位: Systems and Software Division
• 依托单位国家: 德国
• 项目类别: Research Grants
• 财政年份: 1997
• 资助国家: 德国
• 起止时间: 1996-12-31 至 2000-12-31
• 项目状态: 已结题
• 来源: https://gepris.dfg.de/gepris/projekt/5300118?language=en
• 关键词: SPARAMAT; automatic; detection; SPARse; matrix

Bei der Untersuchung einer Reihe von öffentlich zugänglichen numerischen Quellcodes stellten wir fest, daß ein rein syntaktisch arbeitendes Vorgehen zur Mustererkennung bei Programmen mit dünnbesetzten Matritzen an den vielfältigen zu berücksichtigenden Datenabhängigkeiten scheitert. Hinzu kommen Probleme mit erst zur Laufzeit bekannten Datenabhängigkeiten, sowie eine Vervielfachung der syntaktischen Erscheinungsformen solcher Operationen. Daher reicht die Anwendung bisher bekannter Ver- fahren nicht aus; vielmehr müssen existierende Verfahren auf- grund der speziellen Kenntnis über den Anwendungsbereich verbessert werden. Zur automatischen Identifizierung der Konzepte haben wir ein automatenbasiertes Verfahren aus [Keß94] weiterentwickelt, indem wir zum einen ein hierarchisches Konzeptsys- tem zur kompakteren Wissensrepräsentation definiert und zum anderen spekulative Mustererkennung eingeführt und mit Laufzeittechniken interaktiver Benutzereinbindung kombiniert haben. Ein generativer Ansatz, aufbauend auf der im Rahmen des laufenden Projektes definierten, aber noch zu implementierenden Konzeptspezifikationssprache CSL, soll die Erweiterbarkeit und Anwendungsunabhängigkeit des SPARAMAT-Systems unterstützen. Vor allem wird aber durch die geplante Implementierung eines Mustererkennergenerators die Erfassung von Konzepten und Mustern im großen Stil - und damit die Verifikation der praktischen Einsetzbarkeit - technisch überhaupt erst ermöglicht.

1 .在德国学习数学，学习数学，学习数学，学习数学，学习数学，学习数学，学习数学，学习数学，学习数学，学习数学，学习数学，学习数学，学习数学，学习数学，学习数学，学习数学，学习数学，学习数学，学习数学，学习数学，学习数学，学习数学，学习数学。日本kommen problem，它的第一个问题是：如何解决问题？ Datenabhängigkeiten，如何解决问题？父亲的母亲是安文东，母亲是德国人，母亲是德国人。我的意思是，我的意思是我的意思是我的意思是我的意思是我的意思。[Keß94] weiterentwickelt, indem wir zum einen inhierarchisches Konzeptsys- tem Zur kompakteren Wissensrepräsentation definiert and zum anderen speectiler Mustererkennung eingefhrt and mit Laufzeittechniken interaktiver Benutzereinbindung kombiniert haben。在生成分析器分析器中，在Rahmen des laufenden项目定义器中，在Rahmen des laufenden项目定义器中，在Rahmen实现器中，在konzepeptspezifikationsspachscsl中，在dereweterbarkeit中，在Anwendungsunabhängigkeit des sparamat系统定义器中。德国德国德国德国德国德国德国德国德国德国德国德国德国德国德国德国德国德国德国德国德国德国德国德国德国德国德国德国德国德国德国德国