Archiv der Kategorie: Dezimalzahl formatieren

OKSIMO-DEMO: Vereinigung einer Theorie mit einem generischen Schema (realisiert als minimale Theorie)

Letzte Änderung: 30.Jan 2024

Autor: Gerd Doeben-Henisch

Email: kontakt@sw-de.oksimo.org

KONTEXT

Dieser Text gehört zum Thema oksimo Beispiele.

Ausgangslage: Theorie mit zwei Größen und dazu ein Regelschema (als minimale Theorie)

In der Theorie T-brunnen-einw-v1 hatten wir schon die Größen Brunnenkapazität und Einwohnerzahl eingebaut. Es gab nur noch keine explizite Verbindung. In der Theorie T-brunnen-einw-prokopf-v1 hatten wir schon eine Lösung per Hand konstruiert. Jetzt probieren wir eine Vereinigung von T-brunnen-einw-v1 mit unserer neuen minimalen Theorie mit Regelschema T-empty-pro-Kopf.

Wir vereinigen diese beiden Theorien zur neuen Theorie MTT-brunnen-einw-pro-Kopf:

Wir können sofort erkennen, dass die Größe ‚K‘ der Größe ‚BrunnenHellerborn‘ entspricht und die Größe ‚B‘ der Größe ‚Einw‘. Die restlichen Größen ‚Uhr‘ und ‚Abnahme‘ brauchen wir nicht mehr.

Von den drei Regeln müssen nur zwei Regeln verändert werden:

In dieser Regel werden die beiden Größen BrunnenHellerborn und Einw zueinander in Beziehung gebracht. Die Größe FlagAB dient weiter zur Aktivierung (=1) und zur Deaktivierung (=0) dieser Regel.

Hier wurde für die Regel mit der Brunnenkapazität noch eine Formatierung für die Dezimalzahlen ein gefügt, um auf 2 Stellen nach dem Dezimalpunkt zu begrenzen.

Die Simulation erbringt folgenden Wertverlauf (Zum selber Simulieren bitte hier klicken):

Dies sind die gleichen Zahlen wie in der anderen Version.

Die Grafik für die Brunnenkapazität und die Einwohnerzahl zeigt das folgende:

Die Grafik für den ProKopf-Verbrauch zeigt dieses: