AI voor constructietechniek • Veiligheidskritisch

De deterministische kloof

Waarom LLM's pixels raden terwijl fysica-geïnformeerde grafen belastingen berekenen

De AEC-sector staat voor een cruciale keuze: Pixelgebaseerde probabilistische AI die veiligheid hallucineert, of Structuurgebaseerde deterministische AI die belastingen berekent met behulp van natuurkunde. Een balkon staat niet overeind omdat een LLM zegt dat het "robuust" is—het staat alleen overeind als het krachtspoor voldoet aan de differentiaalvergelijkingen van evenwicht.

Het Geometric Deep Learning-framework van Veriprajna zet bouwtekeningen om in wiskundige grafen waarin knooppunten constructieonderdelen zijn en randen krachtsporen. Door natuurkundige vergelijkingen rechtstreeks in te bedden in de verliesfuncties van neurale netwerken, gaan we over van probabilistisch gokken naar deterministische berekening.

49.8%
Hoogste LLM-nauwkeurigheid bij structureel redeneren (DSR-Bench)
Betrouwbaarheid van kop-of-munt
0.9999
R²-nauwkeurigheid: Veriprajna GS-PI-DeepONet
Vrijwel perfecte precisie
7-8×
Versnelling t.o.v. traditionele FEM-solvers
Analyse in realtime
100%
Getrouwheid van IFC-connectiviteit
Geen hallucinaties

De Balkonparadox

De fundamentele fout van het toepassen van LLM's op constructieve veiligheid

🤖 Het oordeel van ChatGPT

"De balkonconstructie lijkt gezond. De balustrade is aanwezig en het vloeroppervlak oogt stevig. Het ontwerp volgt standaard architectuurpatronen zoals te zien op duizenden balkonafbeeldingen."

Methode: tokenvoorspelling
→ Vision Transformer-patches (16×16 pixels)
→ Statistische correlatie: "verticaal + horizontaal = veilig"
→ Geen natuurkundige berekening uitgevoerd
Resultaat: plausibele hallucinatie. De ontbrekende terugspanverbinding werd nooit gedetecteerd.

⚙️ De analyse van Veriprajna

KRITIEK FALEN GEDETECTEERD
Onderbreking van het krachtspoor bij de consoleaansluiting

Methode: deterministische berekening
→ Graaftraversatie: pad Last → Fundering VERBROKEN
→ PINN-fysicacheck: ∑M = 850 kN·m > M_cap = 320 kN·m
→ De stroomlijn van de U*-index eindigt abrupt
ONVEILIG: overschrijdt de momentcapaciteit met 266%

"Een balkon staat niet overeind omdat een tekstbeschrijving zegt dat het 'robuust' is, noch weerstaat het de zwaartekracht omdat een pixelgebaseerde analyse de visuele aanwezigheid van een balustrade vaststelt. Het staat alleen overeind als het krachtspoor continu is, de spanningsverdeling binnen de elastische grens van de materialen blijft en de topologie van de constructie voldoet aan de beheersende differentiaalvergelijkingen van evenwicht."

— Veriprajna technische whitepaper, managementsamenvatting

Waarom multimodale LLM's falen in structureel redeneren

De kernfaalmodus: het zijn probabilistische motoren die zijn ontworpen om tokens te voorspellen, geen logica-engines die zijn ontworpen om natuurkundige randvoorwaarden op te lossen.

De pixelgebaseerde valkuil

Vision Transformers verdelen afbeeldingen in 16×16-pixelpatches. Ze leren "patchassociaties"—statistische correlaties tussen clusters van pixels—niet ware ruimtelijke topologie.

Invoer: pixelpatch (256 waarden)
Verwerking: attentiegewichten
Uitvoer: "Lijkt op een balk"

Als pixels door elkaar worden gehaald, behouden ViT's een hoge nauwkeurigheid—bewijs dat ze niet afhankelijk zijn van ruimtelijke structuur. In de techniek is ruimtelijke structuur alles.

Het oordeel van DSR-Bench

10 state-of-the-art LLM's getest op 4,140 problemen in structureel redeneren. Hoogste score: 0.498/1.0—nauwkeurigheid van kop of munt.

Multi-hop-redenering: MISLUKT
Voldoen aan randvoorwaarden: MISLUKT
Ruimtelijke dimensionaliteit: DAALT

De prestaties dalen wanneer problemen in natuurlijke taal worden beschreven in plaats van in formele code—LLM's vertrouwen op uit het hoofd geleerde GitHub-patronen, niet op redeneren.

DesignQA-bewijs

MLLM's konden bouwvoorschriften vloeiend samenvatten, maar slaagden er niet in kwantitatieve randvoorwaarden toe te passen op ontwerpartefacten.

✓ "Wat is de maximale doorbuiging?" → Kan extraheren
✗ "Voldoet deze balk aan de maximale doorbuiging?" → Kan niet toepassen

Vertekening naar exotische materialen: LLM's stellen titanium/carbonvezel voor, zelfs wanneer de context kosteneffectieve oplossingen vereist—geoptimaliseerd op "hoogtechnisch klinkend" in plaats van contextueel correct.

Vision Transformers versus de technische realiteit

Kenmerk Vision Transformer (LLM) Technische realiteit
Invoereenheid Pixelpatch (16×16-raster) Constructie-element (balk, kolom)
Relatie Statistische correlatie (attentie) Fysieke causaliteit (krachtoverdracht)
Ruimtelijk begrip Positionele embedding (geleerd) Topologische connectiviteit (absoluut)
Faalmodus Hallucinatie (lijkt veilig) Instorting (is onveilig)
Datadomein Euclidisch (rasterachtig) Niet-Euclidisch (graafachtig)

Pixels versus grafen: het fundamentele verschil

LLM's zien bouwtekeningen als pixellatrices. Als een zwarte balk op een zwarte achtergrond verschijnt, kunnen ze hem letterlijk niet zien. Nog erger: ze kunnen verbindingen "zien" die niet bestaan, omdat aangrenzende pixels attentiegewichten activeren.

De graafaanpak van Veriprajna

We parsen het IFC/BIM-schema rechtstreeks. Knooppunten vertegenwoordigen fysieke onderdelen met materiaaleigenschappen (E, I, f_y). Randen vertegenwoordigen krachtoverdrachtsrelaties die door het schema worden gedefinieerd—niet uit pixels geraden.

Node: {type: "Beam", E: 200GPa, I: 8.36e-5 m⁴}
Edge: {connection: "fixed", stiffness: 1e6}
Pad: Last → Balk → Kolom → Fundering ✓
Schakel de demo om om te zien hoe dezelfde constructie onzichtbaar is voor pixelgebaseerde systemen maar wiskundig exact in graafrepresentatie.
Interactieve vergelijking
⚠️ Laag contrast: constructieonderdelen nauwelijks zichtbaar
De pixelgebaseerde weergave toont weinig contrast tussen constructie-elementen en achtergrond—vergelijkbaar met hoe Vision Transformers worstelen met zwart-op-zwart-scenario's.

Geometric Deep Learning: het wiskundige fundament

Om het raden van pixels te overstijgen, bouwt Veriprajna voort op Geometric Deep Learning—de generalisatie van neurale netwerken naar niet-Euclidische domeinen (grafen en variëteiten).

De niet-Euclidische realiteit

Standaard-CNN's werken op Euclidische rasters waar elke pixel precies 8 buren heeft. Constructies zijn van nature niet-Euclidisch:

  • Onregelmatige topologie: Een knooppunt van een stalen vakwerk is mogelijk met 3 onderdelen verbonden; een diagrid-knooppunt mogelijk met 8. Geen vast raster.
  • Geen vaste oriëntatie: Een bouwtekening 90° roteren verandert elke pixelwaarde (breekt CNN's), maar de graaf blijft invariant.
  • Permutatie-invariantie: De natuurkunde verandert niet als we de lijst met balken herordenen—GNN's respecteren dit, Transformers niet.

Wiskundige graafdefinitie

Bij Veriprajna wordt een gebouw geformaliseerd als G = (V, E):

Knooppunten (V): Constructiecomponenten
x_v = [Material, E, I, f_y, Geometry, ...]
Randen (E): Fysieke verbindingen
x_e = [Stiffness, Orientation, Type]

In tegenstelling tot pixels (RGB-waarden) bevatten knooppunten echte natuurkundige parameters: E-modulus, traagheidsmoment en vloeigrens—de waarden die nodig zijn voor de berekening.

Message Passing: hoe GNN's de krachtstroom simuleren

ψ(l)

Berichtfunctie

Berekent de kracht/het moment die van buur u naar knooppunt v worden overgedragen, op basis van randeigenschappen (verbindingsstijfheid, oriëntatie).

Aggregatiefunctie

Sommeert alle krachten die vanuit alle verbonden onderdelen op knooppunt v werken—nabootsing van de ∑F-evenwichtsvergelijkingen.

φ(l)

Updatefunctie

Berekent de nieuwe toestand (verplaatsing, spanning) van knooppunt v op basis van de totale binnenkomende kracht—toepassing van de wet van Hooke.

Door k lagen te stapelen, propageert een GNN met 10 lagen informatie tot 10 hops verder: een belasting op het dak beïnvloedt wiskundig de fundering—een leerbare, differentieerbare simulatie van het krachtspoor.

Van BIM naar graaf: de datapipeline van Veriprajna

1

Topologische extractie

De IFC-to-BIMGraph-converter parseert het IFC-schema. Identificeert IfcRelConnectsElements (fysieke verbindingen) en zet deze om naar randen met 100% getrouwheid—geen gokken.

2

Multimodale embedding

Voegt semantische gegevens ("IPE 300 Steel") en geometrische gegevens (3D-mesh via PointNet) samen tot knooppuntvectoren. Het model begrijpt dat IPE 300 ≈ HEB 300, maar onderscheiden in capaciteit.

3

Uitvoer van het constructiemodel

De GNN voorspelt stijfheidsparameters (EI, EA) en genereert automatisch FE-invoerbestanden voor OpenSees/SAP2000—automatisering van de voorbereiding van de lastafvoer.

Fysica-geïnformeerde neurale netwerken: de motor van het determinisme

We vragen AI niet om natuurkunde uit data te leren. Wij leren AI natuurkunde door differentiaalvergelijkingen rechtstreeks in de verliesfunctie in te bedden.

Beheersende vergelijkingen inbedden

Beschouw de balkvergelijking van Euler-Bernoulli die de doorbuiging van een balkon beheerst:

∂²/∂x² (EI ∂²w/∂x²) + q(x) = 0

De totale verliesfunctie wordt:

L_total = L_data + λ·L_PDE

L_PDE = (1/N) Σ |∂²/∂x²(EI ∂²ŵ/∂x²) + q(x)|²

Met behulp van Automatisch differentiëren, berekenen we de afgeleiden van de voorspelling van het netwerk exact. Als de voorspelde doorbuiging het evenwicht schendt, schiet L_PDE omhoog en wordt correctie afgedwongen.

Bewezen prestaties

Casestudy: spaghettibrug

Een Physics-Informed Kolmogorov Arnold Network (PIKAN) voorspelde bezwijklasten met schaarse data door geometrie- en materiaalgrensrandvoorwaarden te integreren.

Dynamica van spoorbruggen

PINN's identificeerden invloedslijnen onder dynamische belastingen, waar puur datagedreven ML niet convergeerde. Natuurkunde fungeert als regularisator—de verbeelding van AI schendt nooit de wetten van Newton.

0.9999
R²-nauwkeurigheid
Graph-Structured Physics-Informed DeepONet
7-8× sneller dan FEM, precisie op FEM-niveau

GS-PI-DeepONet: de absolute voorhoede

Veriprajna benut Graph-Structured Physics-Informed Deep Operator Networks—operatoren leren (afbeeldingen tussen oneindigdimensionale functieruimten) op ongestructureerde grafen.

DeepONet
Leert operatoren: "belastingsverdelingsfunctie" → "doorbuigingsfunctie"
Graph-Structured
Behandelt onregelmatige gebouwgeometrieën waar CNN's niet aan kunnen
Physics-Informed
PDE-residuen dwingen evenwicht, verenigbaarheid en constitutieve wetten af

Geautomatiseerde krachtspoortracking: de "wervelkolom" van de constructie

Een LLM ziet pixels. Veriprajna ziet het hoofdkrachtspoor—rigoureus gevolgd met algoritmen uit de grafentheorie.

Matrixgebaseerde padvinding

De constructie is weergegeven als aangrenzingsmatrix A. Door A tot machten te verheffen (A^n) identificeren we alle paden van lengte n tussen belasting en fundering.

A² = paden van lengte 2
A³ = paden van lengte 3
...
A^k = connectiviteit na k hops

Visualisatie van de U*-index

Bereken de U*-index—een metriek voor overdracht van interne rekenergie. Het hoofdkrachtspoor is gedefinieerd als de "kamlijn" van de U*-contouren (de stijfste route).

Stroomlijnen: Runge-Kutta-integratie (RK4) van ∇U* tekent "krachtstroom"-lijnen. Als het balkon veilig is, verbindt de stroomlijn balustrade→kolom. Is het onveilig, dan eindigt de stroomlijn abrupt.

Progressieve instorting

Verwijder systematisch knooppunten (simuleer kolomuitval) en evalueer de graafconnectiviteit opnieuw met Betweenness Centrality. Identificeer snijsets onmiddellijk.

Directe screening: Test duizenden faalscenario's in realtime in plaats van per geval niet-lineaire FEM opnieuw uit te voeren.

Interactieve krachtspoorsimulator

Resultaten van de padanalyse

Klik op een constructieconfiguratie om te analyseren...

Legenda

Constructieknooppunt (onderdeel)
Verbinding
Actief krachtspoor
Knooppunt met hoge spanning

Enterprise-toepassing: de "verificatielaag"

Veriprajna vervangt ingenieurs niet—wij vervangen de onzekerheid van AI-adoptie door een deterministische verificatielaag.

Human-in-the-loop-workflow

🎨

1. Generatieve laag

(Waarschijnlijkheid)

Architecten gebruiken Midjourney/MLLM's om creatieve concepten te genereren: "Laat me een uitkragend balkon met parametrische balustrade zien"

⚙️

2. Veriprajna-laag

(Determinisme)
→ Parsen naar BIM-graaf
→ Topologiecheck (DFS/BFS)
→ Krachtspoorcheck (U*-index)
→ Fysicacheck (σ < f_y?)

3. Terugkoppellus

(Randvoorwaarde)

Als de natuurkunde faalt, geef dan een harde randvoorwaarde terug: "Vergroot de balkhoogte met 200mm" of "Voeg een terugspanverbinding toe"—forceer regeneratie

Data-efficiëntie en beveiliging

PINN's getraind op Kleine data omdat natuurkundige randvoorwaarden de zoekruimte verkleinen. LLM's hebben petabytes nodig om "vibes" te leren.

  • Generalisatie: een op stalen frames getrainde GNN generaliseert naar nieuwe frames—natuurkunde (de wet van Hooke) verandert niet
  • Privacy: kleinere modellen zijn on-premise in te zetten. Gevoelig IP (kerncentrales, datacenters) wordt nooit naar openbare API's gestuurd

Uitlegbaarheid: de "glazen doos"

GNN's beelden 1:1 af op fysieke objecten. We kunnen attentiegewichten visualiseren en exact traceren waarom voorspellingen zijn genomen.

Traceerbaar redeneren:
"Kolom C3 viel uit omdat:
  → Belasting vanaf balk B1: 450 kN
  → Belasting vanaf balk B2: 380 kN
  → Totaal: 830 kN > Capaciteit: 720 kN"

Contrasteer dit met de "black box" van LLM's, waar het redeneren verborgen ligt in miljarden oninterpreteerbare parameters.

Het Veriprajna-voordeel: naast elkaar

Vermogen Standaard multimodaal LLM Veriprajna (GDL/PINN)
Kernoperatie Next-token-voorspelling Message passing (krachtoverdracht)
Contextvenster Beperkte tokens (vergeetzuchtig) Oneindige graafconnectiviteit
Veiligheidsgarantie "Het lijkt veilig" (hallucinatie) "Fysicaresidu ≈ 0" (geverifieerd)
Krachtspoorbepaling Visuele schatting (gok) Graaftraversatie (algoritme)
Randvoorwaarde-afhandeling Zacht (vaak genegeerd) Hard (PDE's in de verliesfunctie)
Interpreteerbaarheid Black box Glazen doos (attentie op knooppuntniveau)
Trainingsdata Het internet (vertekend/ruizig) Natuurkundige vergelijkingen + gestructureerde data
Nauwkeurigheid (structureel redeneren) 49.8% (DSR-Bench) R² = 0.9999
Implementatie Cloud-API (privacyrisico) On-premise (beveiligd)

Het fundament van wiskunde, niet van waarschijnlijkheid

De bouwsector is uniek. In software is een "bug" een ergernis. In onze sector is een "bug" een tragedie. De hypecyclus rond Generative AI heeft dit fundamentele onderscheid aan het zicht onttrokken.

❌ Het oordeel van ChatGPT

"Het balkon is veilig omdat het duizenden foto's van balkons heeft gezien, en op die foto's blijven de pixels van de vloer meestal boven de pixels van de grond."

✓ De natuurkunde zegt

"Het balkon zal instorten omdat het buigmoment bij de vaste oorsprong de momentcapaciteit van de doorsnede overschrijdt: ∑M > M_cap"

Veriprajna is het platform dat u in staat stelt naar de natuurkunde te luisteren.

Wij bouwen voort op grafentheorie, Geometric Deep Learning, en differentiaalvergelijkingen. Wij raden geen pixels. Wij berekenen belastingen.

Bouwt u op een fundament van wiskunde, of op waarschijnlijkheid?
📄 Lees de volledige whitepaper
FAQ

Veelgestelde vragen

Waarom falen LLM's bij veiligheidsanalyses in de constructietechniek?

Vision Transformers verdelen bouwtekeningen in 16x16-pixelpatches en leren statistische correlaties, geen fysieke causaliteit. DSR-Bench-testen van 10 state-of-the-art LLM's op 4,140 problemen in structureel redeneren toonden aan dat de hoogste score slechts 0.498 uit 1.0 was—nauwkeurigheid van kop of munt. Ze kunnen geen multi-hop-redenering uitvoeren, geen randvoorwaarden doen vervullen en geen onderbrekingen van het krachtspoor detecteren die constructief falen veroorzaken.

Hoe garanderen fysica-geïnformeerde neurale netwerken constructieve juistheid?

PINN's bedden beheersende differentiaalvergelijkingen zoals de balkvergelijking van Euler-Bernoulli rechtstreeks in de verliesfunctie in. Met behulp van automatisch differentiëren wordt de voorspelde doorbuiging van het netwerk's model getoetst aan de evenwichtsvergelijkingen. Als de voorspelling de fysica schendt, schiet de PDE-verliesterm omhoog en wordt correctie afgedwongen, met een R-kwadraat-nauwkeurigheid van 0.9999 tegen 7-8x de snelheid van traditionele FEM-solvers.

Hoe converteert Veriprajna BIM-modellen naar graafrepresentaties?

Veriprajna's IFC-to-BIMGraph-pipeline parseert het IFC-schema rechtstreeks en haalt IfcRelConnectsElements-relaties op om graafranden te maken met 100% connectiviteitsgetrouwheid. Knooppunten vertegenwoordigen constructieonderdelen met fysieke eigenschappen zoals Young's modulus, traagheidsmoment en vloeigrens. Multimodale embeddings versmelten semantische en geometrische gegevens tot knooppuntvectoren voor GNN-verwerking.

Zet fysica-geïnformeerde AI in in uw engineeringworkflow

Veriprajna biedt enterprise-implementatie, modeltraining op maat met uw BIM-data en integratie met bestaande CAD/BIM-pipelines.

Voor ingenieursbureaus

  • • Geautomatiseerde generatie van constructiemodellen vanuit IFC/BIM
  • • Realtime verificatie van het krachtspoor voor generatieve ontwerpen
  • • Screening van progressieve instorting (duizenden scenario's per seconde)
  • • On-premise implementatie voor IP-beveiliging

Voor toezichthouders en academici

  • • Op natuurkunde gebaseerd AI-kader voor naleving van bouwvoorschriften
  • • Uitlegbare AI met traceerbare redeneringspaden
  • • Onderzoekssamenwerking rond GNN/PINN-architecturen
  • • Benchmarkdatasets voor evaluatie van structureel redeneren

Volledig technisch rapport met 28 peer-reviewed citaten: hardwarearchitectuur, Message Passing Neural Networks, PINN-wiskunde, prestatiebenchmarks van Graph-Structured DeepONet, specificaties van de IFC-to-BIMGraph-pipeline.

Social

Ook gepubliceerd op