Constraintbasierte Modelle und Algorithmen für Selbstdiagnose und -Planung in eingebetteten Systemen und Softwaresystemen

用于嵌入式系统和软件系统中的自诊断和规划的基于约束的模型和算法

基本信息

项目摘要

Angesichts der zunehmenden Zahl von Komponenten und Wechselwirkungen werden Verfahren f¨ur die selbständige Diagnose und Rekonfigurierung vernetzter Systeme ¿ beispielsweise eingebettete Systeme im Automobil, oder Web Services im Internet ¿ immer wichtiger. Die auftretenden, riesigen Zustandsräume sowie Präferenzen (Wahrscheinlichkeiten, Kosten, Bevorzugung durch den Benutzer) und Dynamik (zeitlich veränderliche Beobachtungen, Benutzerinteraktion) stellen dabei jedoch besondere Anforderungen an geeignete Modellbeschreibungen und Algorithmen. Ziel des vorgeschlagenen Projekts ist die Entwicklung von constraintbasierten Modellierungstechniken und algorithmischen Verfahren am Schnittpunkt von künstlicher Intelligenz, kombinatorischer Optimierung und Software Engineering, um die Programmierung komplexer eingebetteter Systeme und Softwaredienste zu unterstützen und zu automatisieren. Der Antragsteller schlägt hierzu den Aufbau einer Nachwuchsgruppe am Institut für Informatik der Albert-Ludwigs-Universität in Freiburg vor.
诊断与重构:诊断与重构:诊断与重构:诊断与重构:诊断与重构:诊断与重构:诊断与重构:诊断与重构:诊断与重构:诊断与重构:诊断与重构:诊断与重构:诊断与重构:诊断与重构:诊断与重构:诊断与重构:诊断与重构:诊断与重构:诊断与重构:诊断与重构:诊断与重构:Die autretenden, riesigen Zustandsräume sowie Präferenzen (Wahrscheinlichkeiten, Kosten, Bevorzugung durch den Benutzer)和Dynamik (zeitlich veränderliche Beobachtungen, Benutzerinteraktion) steei dabei jedoch besonere Anforderungen和geeignete modelbeschreboungen和Algorithmen。[中文]:[中文]:[中文]:[中文]:[中文]:[中文]:[中文]:[中文]:[中文]:[中文]:[中文]:[中文]:[中文]:[中文]:[中文]:德国德国德国德国德国德国德国德国德国德国德国德国德国德国德国德国德国德国德国德国德国德国德国德国德国。

项目成果

期刊论文数量(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 }}

Dr. Martin Sachenbacher其他文献

Dr. Martin Sachenbacher的其他文献

{{ item.title }}
{{ item.translation_title }}
  • DOI:
    {{ item.doi }}
  • 发表时间:
    {{ item.publish_year }}
  • 期刊:
  • 影响因子:
    {{ item.factor }}
  • 作者:
    {{ item.authors }}
  • 通讯作者:
    {{ item.author }}

{{ truncateString('Dr. Martin Sachenbacher', 18)}}的其他基金

Methoden zur modellbasierten Programmierung autonomer Systeme
自治系统基于模型的编程方法
  • 批准号:
    5390092
  • 财政年份:
    2002
  • 资助金额:
    --
  • 项目类别:
    Research Fellowships

相似海外基金

Die Funktionsweise der nicht-invasiven Gehirnstimulation beim Menschen verstehen: Entwicklung und Anwendung realistischer biophysikalischer Modelle
了解非侵入性脑刺激如何在人体中发挥作用:现实生物物理模型的开发和应用
  • 批准号:
    208316166
  • 财政年份:
    2012
  • 资助金额:
    --
  • 项目类别:
    Research Grants
Losgrößenplanung mit integrierter Koordination von Rüstressourcen - Modelle und Lösungsverfahren
批量大小规划与设置资源的集成协调 - 模型和解决方案程序
  • 批准号:
    220835757
  • 财政年份:
    2012
  • 资助金额:
    --
  • 项目类别:
    Research Grants
Formale Modelle und Algorithmen zur syntaxbasierten maschinellen Übersetzung natürlicher Sprachen
基于语法的自然语言机器翻译的形式模型和算法
  • 批准号:
    198961575
  • 财政年份:
    2011
  • 资助金额:
    --
  • 项目类别:
    Research Grants
Räumlich explizite Modelle und Szenarien funktionaler Vegetationsmuster
功能植被格局的空间明确模型和场景
  • 批准号:
    172401688
  • 财政年份:
    2011
  • 资助金额:
    --
  • 项目类别:
    Research Grants
Stochastische Modelle zur Beschreibung von Zellteilungsprozessen und Bruchstrukturen
描述细胞分裂过程和断裂结构的随机模型
  • 批准号:
    192098834
  • 财政年份:
    2011
  • 资助金额:
    --
  • 项目类别:
    Research Grants
Dynamisches Verhalten von Resonanzzuständen für singulär gestörte Modelle der Schrödingertheorie und Modelle der Feldtheorie
薛定谔理论和场论模型的奇异扰动模型的共振态动态行为
  • 批准号:
    172250559
  • 财政年份:
    2010
  • 资助金额:
    --
  • 项目类别:
    Research Fellowships
Modelle für eine verbesserte Transparenz zu Werturteilen und Ethik in einer Evidenzbasierten Medizin
提高循证医学价值判断和伦理透明度的模型
  • 批准号:
    173159405
  • 财政年份:
    2010
  • 资助金额:
    --
  • 项目类别:
    Research Grants
Entwicklung numerischer Modelle zur Vorhersage kavitationsbedingter Geräusche und Erosion in Hydraulikventilen mittels LES
使用 LES 开发数值模型来预测液压阀中与气蚀相关的噪声和腐蚀
  • 批准号:
    175375325
  • 财政年份:
    2010
  • 资助金额:
    --
  • 项目类别:
    Research Grants
Untersuchung und Identifikation kritischer Faktoren für die Objekterkennung und das Training erscheinungsbasierter, kompositioneller Modelle
调查和识别物体识别的关键因素以及基于外观的组合模型的训练
  • 批准号:
    179792144
  • 财政年份:
    2010
  • 资助金额:
    --
  • 项目类别:
    Research Grants
Materielle Modelle in Forschung und Lehre: Erfassung, Dokumentation und Untersuchung von Modellen in universitären Sammlungen
研究和教学中的材料模型:记录、记录和检查大学收藏中的模型
  • 批准号:
    161046729
  • 财政年份:
    2010
  • 资助金额:
    --
  • 项目类别:
    Research Grants
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了