Alle Beiträge von oksigdh1

OKSIMO-Beispiel: Vereinigt Brunnen Oberdorffelden und Wolfsbrunnen Kapazät

Letzte Änderung: 2.Febr 2024

Autor: Gerd Doeben-Henisch

Email: kontakt@sw-de.oksimo.org

KONTEXT

Dieser Text gehört zum Thema oksimo Beispiele.

MTT-brunnen-oberdorffelden-wolfsbrunnen-Kapazitaet-v1

Zusammenführung der beiden Theorien zum Brunnen Oberdorffelden und zum Wolfsbrunnen bezogen auf die Kapazität.

Die beiden Veränderungsregeln wurden belassen. Bei einer wurde die Veränderungsangabe für die Erhöhung der Jahreszahl gelöscht.

Um die Simulation selbst durchführen zu können klicke HIER.

OKSIMO-BEISPIEL: Brunnenkapazität Wolfsbrunnen im Verlauf von Jahren

Letzte Änderung: 2.Febr 2024

Autor: Gerd Doeben-Henisch

Email: kontakt@sw-de.oksimo.org

KONTEXT

Dieser Text gehört zum Thema oksimo Beispiele.

Brunnenkapazität Wolfsbrunnen im Verlauf von Jahren

Dieses Beispiel ist strukturgleich mit dem Beispiel zum Brunnen Hellerborn T-brunnenkapazität-verlauf-v1.

Es folgt hier die Wiedergabe des Grafen aus der Simulation. Wenn Sie die Simulation selbst durchführen wollen, dann besuche Sie die Seite: https://oksimo.com/public_theories ).

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:

OKSIMO-BEISPIEL: Leerer Theoriesockel mit generischer Funktion

Letzte Änderung: 30.Jan 2024

Autor: Gerd Doeben-Henisch

Email: kontakt@sw-de.oksimo.org

KONTEXT

Dieser Text gehört zum Thema oksimo Beispiele.

Theorie & oksimo Software

In dem Beitrag Nachhaltige Empirische Theorie und die oksimo Software wird schematisch beschrieben, was im Kontext der oksimo Software als ’nachhaltige empirische Theorie (NET)‘ verstanden wird und wie das Konzept einer NET innerhalb der oksimo Software umgesetzt wird.

Innerhalb der oksimo Software steht für eine NET folgendes Schema zur Verfügung:

Die wichtigen Elemente sind:

  1. Name
  2. Visions (Ziele)
  3. States (Zustände)
  4. Rules (Veränderungsregeln)

Veränderungsregeln beziehen sich in der Regel auf eine konkrete Situation (Zustand) und verändern spezifische Eigenschaften. Es gibt aber auch Veränderungen, die eine recht allgemeine Struktur beschreiben, die sich auf viele Einzelfälle anwenden lässt. So z.B. die Aufteilung einer Größe wie ‚Menge verfügbaren Trinkwassers‘ auf die ‚Menge von aktuellen Einwohnern‘. Weiter konkretisiert: ‚Menge verfügbaren Trinkwassers in m3‚ auf die ‚Menge von aktuellen Einwohnern‘ umgelegt auf ‚pro Tag und gemessen in Liter‘.

Es liegt nahe, dafür eine kleine Theorie zu machen, die solch eine Aufteilung realisiert und die man dann — das ist der Plan — nach Bedarf mit anderen Theorien vereinheitlicht, in denen zwei Größen vorkommen, die genau solch eine Aufteilung brnötigen.

Kleine Modelltheorie für Aufteilung

Hier die Basis der Theorie (Name, Visions, States):

Wichtig sind hier die Grundgrößen K für eine Kapazität (Wert unwichtig) und B für Verteiler (Wert unwichtig). Die Größen ‚ProKopf‘, ‚Uhr‘ und ‚Abnahme‘ sind ‚Dummies; sie werden hier nur gebraucht, um die Theorie überhaupt zum Laufen zu bringen. Die Größe ‚FlagAB‘ dient dazu, nach einem Zustand der Deaktivierung ‚FlagAB=0‘ in einen Zustand der Aktivierung ‚FlagAB=1‘ zu versetzen.

Diese Regel dient nur dazu, die Größe FlagAB von =0 auf =1 zu setzen, damit die eigentliche Verrechnung aktiviert werden kann.

Wenn die Größe FlagAB auf =1 gesetzt ist, dann tritt die Regel ProKopf=… in Aktion. Der Ausdruck K=K-(K*Abnahme) ist nicht wirklich notwendig. Sie hilft hier nur zur Veranschaulichung, um die Veränderung der Größe ProKopf sichtbar zu machen. Der Ausdruck FlagAB=0 nimmt die Aktivierung dann wieder zurück.

Startet man die Simulation, kann man folgenden Wertverlauf sehen (Man kann diese Simulationen selber hier ausführen):

Die verfügbare Kapazität verringert sich und davon abhängig der ProKop-Verbrauch.

Im Grafen kann man folgendes sehen:

Und:

Auf den ersten Blick funktioniert die kleine Theorie mit veränderlicher Verteilung bei fester Abnahmemenge. Fragt sich, ob diese Idee auch beim Vereinigen mit einer anderen Theorie funktioniert.