权益分类	功能权益	普通用户	{{item.name}}会员
{{category.name}}	{{benefitItem.name}}

Gewichtete Automaten und gewichtete Logiken für diskrete Strukturen

离散结构的加权自动机和加权逻辑

基本信息

批准号：
28404225
负责人：
Professor Dr. Manfred Droste
金额：
--
依托单位：
Abteilung Automaten und Sprachen
依托单位国家：
德国
项目类别：
Research Grants
财政年份：
2006
资助国家：
德国
起止时间：
2005-12-31 至 2011-12-31
项目状态：
已结题

来源：
https://gepris.dfg.de/gepris/projekt/28404225?language=en
关键词：
Gewichtete Automaten und gewichtete Logiken

项目摘要

Ziel des Projektes ist die Untersuchung von gewichteten Automatenmodellen und geeigneten gewichteten Logiken für eine Reihe von verschiedenen diskreten Strukturen. Klassische Resultate von Kleene und Büchi beschreiben das Verhalten von endlichen Automaten auf Wörtern durch rationale Ausdrücke und mit Hilfe von Formeln der Logik. In der Informatik wurde in den letzten Jahren von einer Reihe von Forschergruppen das Verhalten endlicher Automaten auch auf anderen Strukturen wie teilweisen Ordnungen, Bildern oder Graphen intensiv untersucht und äquivalente Beschreibungen durch rationale Ausdrücke oder Logiken hergeleitet. Gewichtete Automaten berücksichtigen zusätzlich mögliche Kosten, Zeitdauer, Verbrauch von Ressourcen oder die Wahrscheinlichkeit des Erfolgs von Transitionen; sie ermöglichen damit quantitative Aussagen über das Verhalten von Automaten. Im beantragten Projekt sollen geeignete Modelle von gewichteten Automaten auf endlichen und unendlichen Wörtern, Bäumen, verteilten Strukturen, Bildern und Graphen untersucht werden. Ziele sind unterschiedliche Beschreibungen ihres quantitativen Verhaltens sowie Charakterisierungen mit Hilfe von Verfeinerungen einer kürzlich entwickelten gewichteten Logik

Ziel des Projektes ist die Untersuchung von gewichteten Automatenmodellen und geeigneten gewichteten Logiken für eine Reihe von verdegenen diskreten Strukturen. Klassische Resultate von Kleene und Büchi beschreiben das Verhalten von endlichen Automaten auf Wörtern durch rationale Ausdrücke und mit Hilfe von Formeln der Logik.在最近几年的信息化中，研究小组的一个成员将Verhalten endlicher Automaten auch auf anderen Strukturen wie teilweisen Ordnungen，Bildern or der Graphen intensiv untersucht und äquivalente Beschreibungen durch rationale Ausdrücke or der Logiken hergeletet。Gewichtete Automaten berücksichtigen zusätzlich mögliche Kosten，Zeitdauer，Verbrauch von Ressourcen oder die Wahrscheinlichkeit des Erfolgs von Transitionen; sie ermöglichen damit quantitative Aussagen über das Verhalten von Automaten.我正在设计一个完整的自动化模型，该模型适用于在西部、西部的垂直结构、图像和图形韦尔登。Ziele sind unterschiedliche Beschreibungen ihres quantitiven Verhaltens sowie Charakterisierungen mit Hilfe von Verfeinerungen einer kürzlich entwickelten gewichteten Logik