Algebrail properties of stochastic relations

随机关系的代数性质

• 批准号: 5410563
• 负责人: Professor Dr. Ernst-Erich Doberkat
• 金额: --
• 依托单位: Fakultät für Informatik
• 依托单位国家: 德国
• 项目类别: Research Grants
• 财政年份: 2003
• 资助国家: 德国
• 起止时间: 2002-12-31 至 2007-12-31
• 项目状态: 已结题
• 来源: https://gepris.dfg.de/gepris/projekt/5410563?language=en
• 关键词: Algebrail; properties; stochastic; relations

Relationale Spezifikationen sind ein wichtige Hilfsmittel zur Beschreibung von Systemen. In diesem Vorhaben werden die Grundlagen zur Spezifikation mit stochastischen Relationen untersucht, wobei die wohlbekannten Eigenschaften nicht-deterministischer Relationen als Leitlinie dienen. Hierzu soll die Kategorie der stochastischen Relationen näher untersucht werden, um die algebraischen Eigenschaften dieser Relationen besser zu verstehen. Anwendungen werden im Bereich der Systemspezifikation und einfacher modaler Logiken des Hennessy-MilnerTyps formuliert.

与系统说明有关的特殊说明。 Soll die Category der stochastischen Relationen näher untersucht werden, um die 代数 Eigenschaften dieser Relationen besser zu verstehen.