Skip to main content
CalibraScene

Istraživački prototip · validacija u automobilskoj industriji

Od dokaza o nezgodama do sledivih validacionih scenarija.

CalibraScene je dokazima ograničen tok rada veštačke inteligencije. Heterogene dokaze o nezgodama pretvara u prikaze scenarija i odluke o pokrivenosti validacije koje uvažavaju neizvesnost.

Dokazi koji nedostaju ostaju vidljivi. Protivrečnosti ostaju izričite. Samo neizvesnost relevantna za cilj može zadržati odluku otvorenom; odlučujuće tvrdnje zadržavaju svoje poreklo.

Otvorite interaktivni prikazIstražite pristup
Dokazi iz izvoraStrukturirani scenarioOdluka o validaciji

Zašto ovo postoji

Ubedljiv odgovor nije isto što i potkrepljen odgovor.

Dokazi o nezgodama su nepotpuni. To je uobičajeno — zapisi se kodiraju za druge svrhe, izveštaji izostavljaju pojedinosti, a neke činjenice nikada nisu izmerene. Rizik je u onome što sledi: generativni sistem od kojeg tražimo potpun scenario obično ga i proizvede, popunjavajući praznine vrednostima koje su verovatne, a ne potkrepljene.

U planiranju validacije to teži više nego što se isprva čini. Odluke o pokrivenosti su poređenja sa opsezima parametara. Izmišljena vrednost dovoljno je određena da padne unutar ili izvan opsega. Ne dodaje, dakle, samo šum — odluku može prevrnuti iz „nerešeno” u ubedljivo podudaranje ili ubedljivo isključenje. Inženjer nizvodno ne može videti da odlučujuće vrednosti u dokazima nikada nije bilo.

Prinudno dopunjavanje

  • Kretanje druge stranezaustavljeno
  • Odnos putanjaista traka
  • Brzina pri udaru42 km/h
Odluka o pokrivenostiMATCH

Odlučeno vrednošću bez dokazne osnove.

Naizgled potpuno. Odlučujuća vrednost nikada nije opažena.

Ograničeno dokazima

  • Kretanje druge stranezaustavljenoOBSERVED
  • Odnos putanjaista trakaDERIVED
  • Brzina pri udarunije zabeleženaUNKNOWN
Odluka o pokrivenostiUNKNOWN

Ostaje otvorena dok se dokaz o brzini ne pribavi ili razreši.

Vidljivo nepotpuno. Praznina je nalaz i može se rešavati.

Ilustrativno poređenje. Sintetičke vrednosti, ne rekonstrukcija nezgode.

Kako radi

Tri faze, jedna dokazna okosnica.

Dokazi ulaze kao zapisi iz različitih izvora, a izlaze kao odluka o pokrivenosti validacije. Bitno je da ništa usput ne izgubi svoj epistemički identitet: vrednost zaključena u drugoj fazi i dalje je označena kao zaključena kada u trećoj fazi o nečemu odlučuje.

  1. C1: Funkcionalni scenario

    Heterogeni dokazi o nezgodama, normalizovani u ponavljajuću strukturu scenarija.

    Strukturirane nacionalne baze o nezgodama obrađuju izričiti adapteri, a ne jezički model — šeme su poznate, pa bi generativno izdvajanje dodalo rizik bez dodatne informacije. Zapisi se normalizuju u zajedničku taksonomiju kako bi scenariji iz različitih izvora postali uporedivi.

    • Adapteri izvora
    • Normalizacija
    • Ponavljajuća struktura

  2. C2: Logički scenario + SSR

    Ograničeno obogaćivanje u strukturirani prikaz scenarija.

    Nestrukturirani dokazi — opisi, skice, slike — mesto su na kojem generativno izdvajanje opravdava svoje postojanje. Predloženi kandidati primaju se kao tvrdnje sa ulogom izvora i epistemičkim stanjem, nikada kao gole činjenice. Učesnici, put i okruženje, događaji i domeni parametara nastaju zajedno sa neizvesnošću i poreklom.

    • Učesnici
    • Put i okruženje
    • Događaji
    • Domeni parametara
    • Neizvesnost
    • Poreklo

  3. C3: Pokrivenost validacije

    Provera po dimenzijama u odnosu na verzionisana kataloška ograničenja.

    Svaki validacioni cilj vrednuje samo dimenzije koje sam ograničava. Nedostajući ili protivrečni dokazi u potrebnoj dimenziji daju UNKNOWN ili CONFLICT umesto nagađanja; nerazrešeni dokazi van tog cilja ne kontaminiraju odluku, a zasebno potkrepljena protivrečnost i dalje može opravdati EXCLUDED.

    • MATCH
    • EXCLUDED
    • UNKNOWN
    • CONFLICT

Okosnica dokaza i poreklaIzvor, epistemičko stanje i poreklo prate svaku tvrdnju kroz sve tri faze.

Interaktivni prikaz

Promenite dokaze. Posmatrajte odluku.

Radni model odlučivačke semantike koji se u celosti izvršava u vašem pregledaču. Izaberite scenario, dodajte ili povucite dokaze i posmatrajte kako reaguje odluka o pokrivenosti. Ništa od toga ne napušta ovu stranicu.

Ego vehicle approaches a stationary vehicle in the same lane. Impact speed decides whether the case falls inside the target’s tested band.

Promenite dokaze

Odluke o pokrivenosti

  • Target AMATCH

    Same-lane stationary counterpart, low-speed band.

    Potkrepljeno podudaranje. Svaka odlučujuća dimenzija pozitivno je potkrepljena dopuštenim dokazima.

    • Odlučujuće
    • Counterpart road user
    • Counterpart motion
    • Path relation
    • Impact speed
  • Target BEXCLUDED

    Same-lane stationary counterpart, higher-speed band.

    Potkrepljeno isključenje. Potkrepljena vrednost protivreči ovom cilju. Isključenje stoji na dokazima.

    • Odlučujuće
    • Impact speed

Odakle sistem to zna?

Izaberite parametar za praćenje porekla.

Razrešeni parametri

Registar dokaza

  • Counterpart road userpassenger carIstorijsko opažanjeSme da odlučujeSource A — structured collision record
  • Ego motiontravelling forwardIstorijsko opažanjeSme da odlučujeSource A — structured collision record
  • Counterpart motionstoppedIstorijsko opažanjeSme da odlučujeSource A — structured collision record
  • Path relationsame lane, same directionDeterministička izvedbaSme da odlučujeDerived from ego and counterpart headings
  • Road contextsingle carriagewayIstorijsko opažanjeSme da odlučujeSource B — narrative report
  • Visibilitydaylight, clearIstorijsko opažanjeSme da odlučujeSource B — narrative report
  • Impact speed28–34 km/hIstorijsko opažanjeSme da odlučujeSource A — recorded impact speed band

Sintetički prikaz. Ilustruje dokaznu i odlučivačku semantiku sistema CalibraScene; nije rekonstrukcija nezgode, bezbednosna sertifikacija ni empirijsko merilo tačnosti.

Target A: MATCH. Target B: EXCLUDED

Trenutni dokazi

Šta sistem dokazivo radi.

Prototip je izveden i aktivno se testira. Umesto objave brojki koje će pri sledećem zamrzavanju istraživanja ionako biti revidirane, ovaj odeljak opisuje ponašanje koje važi kroz izdanja — i jasno kaže gde dokazi prestaju.

  • Regresiono testiranoIzvedba prototipa

    Radni prototip, osiguran testovima

    Privatnu istraživačku izvedbu pokrivaju automatske regresione, šemske i dokazno-ugovorne provere, pa promena koja razbije dokaznu semantiku pada u testnom skupu, a ne tek u demonstraciji. Tačne brojke izdanja verzionisane su uz svaki zamrznuti snimak dokaza i biće objavljene ovde nakon sledećeg zamrzavanja.

  • DeterminističkoPonovljivost

    Deterministički put dokaza

    Determinističke faze građene su tako da iz istih prikovanih ulaza i iste konfiguracije vraćaju jednake strukturirane izlaze i jednake odluke o validaciji. Model, upit, skup za pretragu i konfiguracija verzionisani su, pa se rezultat može slediti nazad do uslova koji su ga proizveli.

  • Ograničeno dokazimaPostupanje sa dokazima

    Bezbedno zakazivanje u odnosu na cilj

    Nedostajući, protivrečni ili nedopušteni dokazi ne mogu odlučiti ciljnu dimenziju koja od njih zavisi. Neizvesnost drugde ostaje vidljiva, ali ne blokira automatski nepovezane ciljeve; svaki rezultat zadržava ograničene dimenzije koje su bile odlučujuće ili nerazrešene.

  • IzvedenoCelovita integracija

    Put C1 → C2 → C3 teče s kraja na kraj

    Privatni prototip povezuje obradu funkcionalnih scenarija, prikaz dokaza na nivou scenarija i determinističko zaključivanje o pokrivenosti validacije u jedan put, a ne u tri odvojena ogleda. Ova stranica opisuje tu arhitekturu bez objavljivanja privatnih skupova podataka ili izvedbene logike.

Rad na načinu otkazivanja

Da li nepotkrepljeno dopunjavanje stvara lažna isključenja?

Namerno mali zamrznut ogled ispituje da li politika koja prazninu popuni verovatnom podrazumevanom vrednošću plaća svoju dodatnu potpunost samouverenim i pogrešnim isključenjima — upravo onom greškom koju ovaj projekat treba da spreči. Zamišljen je kao provera izvodljivosti i načina otkazivanja, a ne kao procena učinka.

Rad o načinu otkazivanja ovog obima ne može poduprti tvrdnju o tačnosti na nivou populacije niti se tako prikazuje. Brojke će biti objavljene kada ih ponese odobreno izdanje dokaza.

Detaljne uporedne brojke verzionisane su uz zamrznuta istraživačka izdanja. Ova stranica izveštava o dokazanom ponašanju sistema i granicama dokaza, a ne o privremenim glavnim pokazateljima. Šire tvrdnje o semantičkoj tačnosti i stručnoj validaciji ostaju namerno neobjavljene dok ne bude dostupno nezavisno prosuđeno vrednovanje.

Arhitektura dokaza

Šta je scenario strukturno.

Strukturirani prikaz scenarija artefakt je prema kojem je definisano sve ostalo. Njegov oblik nosi jemstva: epistemičko stanje čuva se odvojeno od uloge izvora, a međuzavisni parametri ostaju povezani.

Izaberite čvor za pojedinosti.

  • Scenario

Izvori

Svaki je izvor registrovan sa verzijom i uslovima pristupa. Tvrdnja uvek upućuje nazad na jedan od njih.

Stanje i uloga su odvojeni

Koliko smo sigurni i odakle vrednost potiče dva su pitanja. Odvojeno čuvanje omogućava da se vrednost protokola zabeleži, a da ne postane opažanje.

UNKNOWN je vezan za cilj

Parametar bez dopuštene podrške blokira samo cilj čija ograničenja zavise od tog parametra. Nepovezani ciljevi vrednuju se iz sopstvenih ograničenih dimenzija; zasebno potkrepljena protivrečnost i dalje može opravdati EXCLUDED.

Protivrečnost ostaje protivrečnost

Protivrečni izvori se ne usrednjavaju, ne rangiraju po pouzdanosti i ne razrešavaju tiho. Protivrečnost je rezultat.

Povezano ostaje povezano

Zavisni parametri ostaju n-torke. Njihovo širenje u Dekartov proizvod izmislilo bi kombinacije koje nijedan slučaj ne podupire.

Gde je generativna VI

Generativno gde pomaže. Deterministički gde mora da bude.

Arhitektura je namerno hibridna. Strukturirane nacionalne baze o nezgodama imaju poznate šeme, pa ih obrađuju izričiti adapteri — predati ih jezičkom modelu dodalo bi načine otkazivanja bez dobitka. Generativni i višemodalni modeli koriste se tamo gde su dokazi nestrukturirani, a semantičko čitanje zaista teško.

Podela rada je suština. Generativni modeli predlažu; dokazni sloj odlučuje šta predlog sme da postane. Model koji čita opis može da predloži opseg brzine, i taj se predlog prima kao ograničena tvrdnja zaključena modelom. Ne može da postane opažanje niti da se suzi u vrednost koju izvor nikada nije podupro.

  1. Generativno izdvajanje

    Čitanje opisa, skica i slika uz VLM i podršku pretrage.

  2. Prihvat dokaza

    Provera uloge izvora, porekla i logičke potkrepljenosti. Nepotkrepljeno sužavanje se odbija.

  3. Prikaz scenarija

    Tvrdnje se sklapaju u SSR uz očuvano stanje i neizvesnost.

  4. Determinističko zaključivanje

    Poređenje sa katalogom i odluke o pokrivenosti, ponovljive među izvršavanjima.

Dokazni i odlučivački slojevi opisani ovde ostvareni su u trenutnom prototipu. Širi generativni i višemodalni sloj izdvajanja ciljna je arhitektura faze Advance: opisan je kao namera, a ne kao izmeren. Ne tvrdi se da je produkcioni VLM ili sloj pretrage u ovoj fazi vrednovan.

Projektne kontrole

Građeno tako da bude proverljivo.

Ovo su inženjerske kontrole, a ne načela. Svaka je svojstvo prikaza — zato izdrže pod pritiskom umesto da se oslanjaju na to da se model lepo ponaša.

Korisna neizvesnost

Sistem vraća UNKNOWN kada ciljna relevantna dimenzija nema dopuštenu podršku. Nedostajući dokazi van tog cilja ostaju vidljivi, ali ne poništavaju inače potkrepljenu odluku.

Vidljivo neslaganje

Protivrečni dokazi ostaju CONFLICTING. Ništa se ne usrednjava u lažni konsenzus niti tiho odlučuje prema poslednjem pročitanom izvoru.

Poreklo po konstrukciji

Odlučujući parametar zadržava uputnicu na dokaz ili determinističko pravilo iza sebe. Trag se ne rekonstruiše naknadno.

Izričito stanje pregleda

Ljudska prosudba prikazana je u zapisu, pa se pregledane i nepregledane tvrdnje nikada ne mešaju.

Odvojene uloge izvora

Zaključak modela, istorijsko opažanje, spoljašnji kontekst, deterministička izvedba i vrednosti protokola ostaju razlučivi za ceo vek zapisa.

CalibraScene primenjuje projektne kontrole visokog nivoa jemstva, primerene bezbednosno usmerenoj inženjerskoj upotrebi. Konačna regulatorna klasifikacija zavisi od predviđene primene.

Trenutno stanje

TRL3 · v0.21

Istraživački prototip TRL3.

CalibraScene je radni istraživački prototip koji ostvaruje dokazni put C1 → C2 → C3: obradu funkcionalnih scenarija, prikaz dokaza na nivou scenarija i determinističko zaključivanje o pokrivenosti validacije. Privatni istraživački paket je u aktivnom tehničkom i stručnom pregledu.

Trenutni fokus

  • Spoljna tehnička kritika dovoljnosti dokaza i semantike kataloga.
  • Čvršće, nezavisno prosuđeno vrednovanje.
  • Konsolidacija sledećeg zamrznutog paketa dokaza.
  • Planiranje integracije za fazu Advance.

Ne tvrdi se

CalibraScene ne tvrdi homologaciju, sertifikaciju Euro NCAP, ovlašćenje za rekonstrukciju nezgoda, bezbednost u primeni ni celovit automobilski bezbednosni dokaz. Podrška je odlučivanju u pripremi validacije — i u ranoj je fazi.

Kontekst

AI-BOOST Challenge 4

CalibraScene se priprema kao prijava na AI-BOOST Challenge 4: Generative AI for Automatic Test Case Generation from Crash Databases & Standards. Izbor je u toku.

CalibraScene je nezavisan projekat i ne prikazuje se kao finansiran, podržan ili sertifikovan od strane AI-BOOST, Siemens ili Euro NCAP.

O projektu

Nezavisan istraživački i inženjerski projekat.

CalibraScene razvija Tomi Šeregi. Izvedba i arhiva dokaza su privatni; ova stranica opisuje arhitekturu i semantiku, a ne objavljuje sistem.

Javite seOstali projekti