Start / Forschungsentwicklung
Wissenschaftliche Spur · 2025 → September 2026

Die Evidenz zwang das Modell zur Revision.

Væringjar II begann nicht mit dem heutigen Rahmenwerk. Die Forschung entwickelte sich von der Nachausfallregelung beschädigter Hardware zu einer Theorie gesteuerter Architekturevolution, nachdem drei Annahmen des ursprünglichen Modells zu schwach geworden waren.

Der Wendepunkt →Evidenzbibliothek öffnen
Zeitdiagramm

Eine Forschungslinie, zwei unterschiedliche Formulierungen.

ProblemformalisierungÜberkritische Betriebsmodi: Abschalten kann unzulässig sein; degradierter Betrieb muss formal begründet werden.PUB‑01 · PUB‑02
Beschädigte StreckeIrreversibler Schaden wird explizit modelliert, und der Ressourcenzustand bestimmt einen degradierten Regelungsmodus.EXP‑01
Struktureller PfadRestressourcen werden auf zulässige Zustände und graphbasierte Nachausfallrekonfiguration abgebildet.EXP‑02
Strukturelle Überlebensfähigkeit funktioniertEXP‑03 verifiziert einen auditierten Pfad \(c_0\to c_1\to c_3\) und erhält degradierte Missionsfunktionalität.EXP‑03 · WENDEPUNKT
ModellrevisionDas erfolgreiche Experiment legt fehlende Garantien offen: epistemisches Versagen, Sequenzstabilität und horizontbewusste Auswahl.DISSERTATIONSREVISION
Einheitliches RahmenwerkLeistungsfähigkeit + Zulässigkeit + Timing über einem Graphen physischer und epistemischer Konfigurationen.PRE‑01 · PRE‑02 · PRE‑03
EXP‑03 beantwortete seine Frage – und machte die nächste unvermeidbar.Abschnitt öffnen
Wendepunkt

EXP‑03 beantwortete seine Frage – und machte die nächste unvermeidbar.

WAS EXP‑03 GEZEIGT HAT

Strukturelle Rekonfiguration kann eine degradierte Mission erhalten.

  • irreversibler Ressourcenverlust wird explizit dargestellt;
  • Kandidatenkonfigurationen werden durch einen gerichteten Graphen beschränkt;
  • Missionsfunktionalität und Überlebensfähigkeit können die Auswahl bestimmen;
  • der ausgeführte Pfad ist auditierbar und reproduzierbar.
WAS ES NICHT GEZEIGT HAT

Die gewählte Sequenz ist noch keine garantierte Trajektorie.

  • \(\gamma(c)<1\) verifiziert jede Konfiguration, nicht beliebiges wiederholtes Schalten;
  • \(\arg\max S\) wählt den jetzt besten Knoten, nicht den besten Pfad über ein Verweilintervall;
  • Hardware-Funktionsfähigkeit allein kann kein Modell darstellen, das im Speicher intakt ist, aber die Welt falsch beschreibt;
  • Reaktionszeit sagt, wie schnell geschaltet werden soll, nicht wie häufig Schalten zulässig bleibt.
Jede fehlende Garantie führte zu einem neuen Forschungszweig.Abschnitt öffnen
Drei Falsifikationsfragen

Jede fehlende Garantie führte zu einem neuen Forschungszweig.

A / STABILITÄT

Können einzeln stabile Konfigurationen eine instabile Schaltfolge bilden?

Ja. Die Antwort bestand darin, die Verweilzeitanalyse in die Rekonfiguration auf Architekturebene zu übertragen und eine Ratengrenze aus der Konditionierung der Konfigurationszertifikate abzuleiten.

B / WISSEN

Kann das System versagen, obwohl alle physischen Ressourcen intakt bleiben?

Ja. Ein veraltetes oder ungültiges Modell kann zur begrenzenden Ressource werden. Modellgültigkeit wird daher als Gesundheitskoeffizient einer epistemischen Ressource dargestellt.

C / ENTSCHEIDUNG

Ist die jetzt beste Konfiguration immer die beste nächste Entscheidung?

Nein. Ein Kandidat kann während des Intervalls, in dem das System darin verbleiben muss, seine Zulässigkeit verlieren. Auswahl wird zur Trajektorienplanung über dem verifizierten Graphen.

Ursprüngliche Formulierung

Die beste zulässige degradierte Konfiguration wählen.

\[ c^*(t)\in\operatorname*{arg\,max}_{c\in\mathcal C_{feas}(\rho(t))}S(c,\rho(t)). \] Diese Formulierung war für EXP‑03 ausreichend: zwei Fehler, ein endlicher Graph und ein lokales Stabilitäts-Gate.

Sie bleibt ein gültiger Spezialfall. Die Revision verwirft sie nicht, sondern spezifiziert die Bedingungen, unter denen sie sicher anwendbar ist.

Die Trajektorie eines erweiterten Systemzustands regeln.Abschnitt öffnen
Aktuelle Formulierung

Die Trajektorie eines erweiterten Systemzustands regeln.

\[ Z(t)=\langle x,\rho,cfg,\alpha\rangle, \qquad \mathcal R=\mathcal R_{phys}\cup\mathcal R_{epist}, \qquad G_e=(\mathcal C,\mathcal T). \]
\[ \pi^*\in\operatorname*{arg\,max}_{\pi\subset G_e}\int_0^T S(Z(t))\,dt, \qquad t_{k+1}-t_k\ge\tau_d, \qquad \tau_d>\frac{\ln\mu}{2\gamma_{min}}. \] Leistungsfähigkeit liefert das Ziel; der Graph die garantierte Menge; Timing beschränkt, wann sich die Architektur ändern darf.
Das revidierte Modell erzeugte Konsequenzen, die die ursprüngliche Formulierung nicht ausdrücken konnte.Abschnitt öffnen
Ergebnisse, die den Entwurf veränderten

Das revidierte Modell erzeugte Konsequenzen, die die ursprüngliche Formulierung nicht ausdrücken konnte.

Schwelle zur ModelldeaktivierungBei geringem relativem Einfluss nähert sich die kritische Gültigkeit \(e^{-1}\approx0.368\): darunter kann das Entfernen eines degradierten Modells die Leistungsfähigkeit erhöhen.
Katalogzusammensetzung dominiert TuningDas Entfernen der am schlechtesten konditionierten Konfiguration reduzierte die erforderliche Verweilzeit um den Faktor 5, gegenüber höchstens 1,78 durch Abstimmung der Abklingraten.
Trajektorienplanung verändert das SicherheitsergebnisIn der Referenzverifikation sank die unsichere Betriebszeit von 3,55 % auf 1,90 % bei nur 0,12 % Verlust der mittleren Leistungsfähigkeit.
Gültigkeitsmanagement besitzt MissionswertGültigkeitsbewusste Ressourcenzuteilung erhöhte die mittlere Leistungsfähigkeit im Referenzmodell von 0,8918 auf 0,9420.
Drei Arbeiten dokumentieren die Revision aus drei Perspektiven.Abschnitt öffnen
Preprint-Reihe · September 2026

Drei Arbeiten dokumentieren die Revision aus drei Perspektiven.

PRE‑01Dwell-Time Conditions for Stable Runtime Reconfiguration of Self-Adaptive Control ArchitecturesWarum Stabilität je Konfiguration nicht ausreicht; Ratengrenzen, Zertifikatskonditionierung und Katalogsynthese.
PRE‑02Model Validity as a System ResourceWarum Hardware-Gesundheit nicht den vollständigen Ressourcenzustand beschreibt; kritische Gültigkeit, Deaktivierung und Wiederherstellungspolitik.
PRE‑03Capability, Admissibility and Timing: A Unified FrameworkDie aktuelle Synthese: aus der Architektur abgeleitete Leistungsfähigkeit, epistemische Ressourcen, zulässige Graphtrajektorien und Echtzeitbedingungen.

Status: Manuskript / Preprint-Entwurf. Öffentliche bibliografische Links sollten erst nach Hinterlegung der Preprints hinzugefügt werden.

Dies ist kein Ersatz der früheren Ergebnisse.Abschnitt öffnen
Wissenschaftliche Interpretation

Dies ist kein Ersatz der früheren Ergebnisse.

EXP‑01, EXP‑02 und EXP‑03 bleiben Evidenz für die Aussagen, die sie prüfen sollten. Die Modellrevision ist eine Änderung des Geltungsbereichs: Die ursprüngliche Formulierung wird zu einem eingeschränkten Fall der aktuellen.

Diese Rückverfolgbarkeit ist beabsichtigt. Die Website zeigt, woher die Theorie stammt, welche Annahme nicht skalierte und welches Ergebnis jeden neuen Term im Modell begründete.

Weiter

Die aktuelle Formulierung lesen oder die Experimente untersuchen, die dazu geführt haben.

Aktuelles Programm →Evidenzbibliothek