Generische invarianten-basierte Visualisierung für die Algorithmenerklärung
用于算法解释的基于通用不变式的可视化
基本信息
- 批准号:22340707
- 负责人:
- 金额:--
- 依托单位:
- 依托单位国家:德国
- 项目类别:Research Grants
- 财政年份:2006
- 资助国家:德国
- 起止时间:2005-12-31 至 2008-12-31
- 项目状态:已结题
- 来源:
- 关键词:
项目摘要
Algorithmiker verstehen und erklären Algorithmen und Datenstruktuuren meist nicht durch das, was sich ändert, sondern durch das, was gleich bleibt, also durch Invarianten. Algorithmenanimation hingegen versucht traditionellerweise, Programme, also implementierte Algorithmen, durch Animation der erzielten Änderungen verständlich zu machen. Im beantragten Projekt wird versucht, die Invarianten-basierte Erklärungsmethode der Algorithmiker auf Algorithmenanimation zu übertragen. Die Invarianten werden in einer Vorverarbeitung der Implementierung des Algorithmus durch eine statische Programmanalyse automatisch bestimmt. In dem Projekt wird ein systematischer Ansatz zur Visualisierung der Invarianten gesucht. Dieser soll die Struktur der Invarianten, genauer die Zerlegung in ihre Bestandteile, ausnutzen.
这是一个很好的例子,因为它是一个很好的例子,因为它是一个很好的例子。通过Animation der erzielten anderungen verständlich zu machen,Programme hingegen versucht traditionellerweise,programme,also implementierte programmen,durch Animation der erzielten anderungen verständlich zu machen. In beantragten Projekt wird versucht,die Invarianten-basierte Erklärungsmethode der Schummiker auf Schummenanimation zu ubertragen.不变量韦尔登可以通过一个统计程序分析自动估计来实现。在该项目中,将对不变量的可视化进行系统的分析。Dieser soll die Struktur der Invarianten,genauer die Zerlegung in ihre Bestandteile,ausnutzen.
项目成果
期刊论文数量(0)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)
数据更新时间:{{ journalArticles.updateTime }}
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
数据更新时间:{{ journalArticles.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ monograph.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ sciAawards.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ conferencePapers.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ patent.updateTime }}
Professor Dr. Reinhard Wilhelm其他文献
Professor Dr. Reinhard Wilhelm的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
{{ truncateString('Professor Dr. Reinhard Wilhelm', 18)}}的其他基金
Hochoptimierende, retargierbare Compiler für 3D-Graphikprozessoren mit programmierbaren Vertex- und Pixel-Shadern
用于具有可编程顶点和像素着色器的 3D 图形处理器的高度优化、可延迟编译器
- 批准号:
5385836 - 财政年份:2002
- 资助金额:
-- - 项目类别:
Research Grants
Generierung interaktiver, multimedialer Visualisierungen und Animationen für Lernsoftware im Bereich des Übersetzerbaus
为翻译建设领域的学习软件生成交互式、多媒体可视化和动画
- 批准号:
5095439 - 财政年份:1998
- 资助金额:
-- - 项目类别:
Research Grants
相似海外基金
Allgemeine metrische Invarianten: Ein innovativer Ansatz zur Indizierung von Röntgenpulverdiagrammen
一般度量不变量:索引 X 射线粉末图的创新方法
- 批准号:
152928245 - 财政年份:2010
- 资助金额:
-- - 项目类别:
Research Grants
Konstruktion, Berechnung und Anwendung von topologischen Invarianten für singuläre stratifizierte Räume mit Hilfe von selbstdualen perversen Garbenkomplexen
利用自对偶反束复合体奇异分层空间拓扑不变量的构造、计算和应用
- 批准号:
55088172 - 财政年份:2007
- 资助金额:
-- - 项目类别:
Research Grants
L2-Invarianten und Messbare Gruppentheorie
L2 不变量和可测群论
- 批准号:
19310324 - 财政年份:2005
- 资助金额:
-- - 项目类别:
Research Fellowships
1. Invarianten von Varietäten in positiver Charakteristik 2. Tannaka-Dualität im nicht-neutralen Fall über kohärenten Ringen 3. Signatur-Charakter von Darstellungen p-adischer Gruppen 4. Generische Modelle von Modulräumen abelscher Varietäten
1. 正特征中簇的不变量 2. 相干环上非中性情况下的 Tannaka 对偶性 3. p-adic 群表示的签名特征 4. 阿贝尔簇模空间的一般模型
- 批准号:
13409467 - 财政年份:2005
- 资助金额:
-- - 项目类别:
Heisenberg Fellowships
Relative Gromov-Witten-Invarianten und ihr Zusammenhang mit absoluten Gromov-Witten-Invarianten von Hyperflächen
相对 Gromov-Witten 不变量及其与超曲面的绝对 Gromov-Witten 不变量的联系
- 批准号:
5427084 - 财政年份:2004
- 资助金额:
-- - 项目类别:
Priority Programmes
Untersuchung und Berechnung von geometrischen Invarianten der Operation von linearen Gruppen auf CAT(0)-Räumen
CAT(0)空间上线性群运算几何不变量的研究与计算
- 批准号:
5421530 - 财政年份:2004
- 资助金额:
-- - 项目类别:
Research Grants
Bestimmung photometrischer Invarianten mittels Analyse des Polarisationszustandes von reflektiertem Licht
通过分析反射光的偏振状态确定光度不变量
- 批准号:
5385241 - 财政年份:2001
- 资助金额:
-- - 项目类别:
Research Grants
Algebraische Invarianten komplexer Varietäten
复簇的代数不变量
- 批准号:
5246450 - 财政年份:2000
- 资助金额:
-- - 项目类别:
Priority Programmes
Globale Invarianten komplexer algebraischer Varietäten
复杂代数簇的全局不变量
- 批准号:
5252854 - 财政年份:2000
- 资助金额:
-- - 项目类别:
Priority Programmes
Topologische Invarianten als Zustände der Quantengravitation
作为量子引力态的拓扑不变量
- 批准号:
5225552 - 财政年份:2000
- 资助金额:
-- - 项目类别:
Research Grants