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.

特殊化是一种对系统进行优化的有效方法。在这种韦尔登的基础上，以随机选择的方式进行特殊化，其特征不是决定性的。因此，在韦尔登中，我们可以更好地理解随机变量的范畴。韦尔登型的系统特性和一种形式化的Hennessy-MilnerTyps的Logiken。