MetaSpace.bio / DOCS
◀ RETURN TO SIMULATOR
MetaSpace.bio: Determinisztikus Integritás-Réteg

A MetaSpace.bio egy bio-inspirált logikai motor, amely determinisztikus integritás-réteget biztosít autonóm rendszerek számára. A rendszer a biológiai Homeostasis (homeosztázis) elvét fordítja le megváltoztathatatlan matematikai korlátokká, kiküszöbölve a valószínűségi vagy AI-alapú döntéshozatal bizonytalanságát.

A jelenlegi szimuláció a NASA Landsat-9 műhold digitális ikerpárját használja annak demonstrálására, hogyan előzhető meg a katasztrofális meghibásodás fizikai invariánsok (megmaradási törvények) valós idejű ellenőrzésével.

*Ez az eszköz nem használ fekete doboz AI/ML megoldásokat. Minden döntés visszakövethető (White-Box Logic).

🛡️ A MetaSpace Paradigma: Logic-as-Hardware

A hagyományos szoftver-alapú szűrőkkel ellentétben a MetaSpace a biztonságot hardver-szintű fizikai kapuként kezeli.

⚡ Determinisztikus Késleltetés
Garantált válaszidő 0.0005 ms alatt, lehetővé téve a valós idejű jelizolációt.
🔐 Formális Integritás
Minden logikai kapu egy .bio specifikációból szintetizálva, a Z3 SMT Solver által igazolt.
🔒 Logic Lock Védelem
Fizikailag megszakítja az aktuátorokhoz való kapcsolatot abban a pillanatban, amikor egy invariáns megsértődik.
Bio-Architecture Levels (v2.0)
LVL 01
CELL (Sejt)
Hardver komponens szint. Öndiagnózis és "Silent Drop" izoláció.

Példa: Solar_Panel_Left, Star_Tracker_A.
LVL 02
ORGAN (Szerv)
Alrendszer szint. Redundáns egységek "Voting Logic" alapján szűrik a hibás adatot.

Példa: GNC (Navigáció), EPS (Energia).
LVL 03
ORGANISM (Szervezet)
Küldetés szint. Globális invariánsok felügyelete a Z3 Solverrel.

Példa: Safe Mode, Deorbiting.
A Paradigma Váltás: Diplomata vs. Bíró

A hagyományos EKF (Extended Kalman Filter) rendszerek "Diplomataként" viselkednek: a hibás szenzoradatokat (zaj, drift) megpróbálják átlagolni és kisimítani. A MetaSpace ezzel szemben "Bíróként" viselkedik: Fizikai Invariánsokat (megváltoztathatatlan törvényeket) használ.

Működés: Ha egy adat fizikailag lehetetlen (pl. energiafogyasztás > termelés), a rendszer nem átlagol, hanem azonnal izolálja a hibás modult.

Eredmény: Azonnali (<1ms) beavatkozás, zéró adatvesztés, a hardver túlélése.

> INPUT: Solar_Array_B (Voltage=0V)
> ASSERT(P_in >= P_out_load)
> CHECKING INVARIANT...
> VIOLATION DETECTED @ T+0.0005ms
> ACTION: ISOLATE(Solar_Array_B)
> SYSTEM STATE: SAFE (DEGRADED)
Miért nem működik a valószínűségi hibakezelés?

EKF alapfeltevése: Minden hiba Gauss-zaj (haranggörbe szerű eloszlás)
A valóság: A hardverhibák nem Gauss-eloszlásúak—rendszerszintű problémákról van szó

Példa: GPS antenna meghibásodás esetén
EKF észleli: "Ezek a mérések nagy szórással rendelkeznek"
EKF döntése: "Növeljük a bizonytalanság becslését, jobban bízzunk a többi szenzorban"
EKF cselekedete: Fokozatosan csökkenti a GPS súlyát, miközben jobban bízik az IMU-ban
Végeredmény: Idővel a pozíció korrigálatlanul eltér, a műhold eltéved

MetaSpace megközelítése:
Megfigyelés: "GPS és IMU adatok több mint 30 méterrel eltérnek egymástól"
Szabályellenőrzés: "Érvényes GPS/IMU eltérés nem haladhatja meg a 30 métert"
Következtetés: "Az egyik szenzor hibás adatot szolgáltat—melyik?"
Akció: Keresztvalidáció alkalmazása (GPS vs Radar vs orbitális mechanika)
Végeredmény: Helyes válasz 100 milliszekundum alatt, a hibás szenzor izolálva