Skip to main content
CalibraScene

Istraživački prototip · validacija u automobilskoj industriji

Od dokaza o nesrećama do sljedivih validacijskih scenarija.

CalibraScene je dokazima ograničen tijek rada umjetne inteligencije. Heterogene dokaze o nesrećama pretvara u prikaze scenarija i odluke o pokrivenosti validacije koje uvažavaju nesigurnost.

Dokazi koji nedostaju ostaju vidljivi. Proturječja ostaju izričita. Samo nesigurnost relevantna za cilj može ostaviti odluku otvorenom; odlučujuće tvrdnje zadržavaju svoje podrijetlo.

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

Zašto ovo postoji

Uvjerljiv odgovor nije isto što i potkrijepljen odgovor.

Dokazi o nesrećama nepotpuni su. To je uobičajeno — zapisi se kodiraju za druge svrhe, izvješća izostavljaju pojedinosti, a neke činjenice nikada nisu izmjerene. Rizik je u onome što slijedi: generativni sustav od kojeg tražimo potpuni scenarij obično ga i proizvede, popunjavajući praznine vrijednostima koje su vjerojatne, a ne potkrijepljene.

U planiranju validacije to teži više nego što se isprva čini. Odluke o pokrivenosti usporedbe su s rasponima parametara. Izmišljena vrijednost dovoljno je određena da padne unutar ili izvan raspona. Ne dodaje, dakle, samo šum — odluku može prevrnuti iz „neriješeno” u uvjerljivo podudaranje ili uvjerljivo isključenje. Inženjer nizvodno ne može vidjeti da odlučujuće vrijednosti u dokazima nikada nije bilo.

Prisilno dopunjavanje

  • Kretanje druge stranezaustavljeno
  • Odnos putanjaisti trak
  • Brzina pri udaru42 km/h
Odluka o pokrivenostiMATCH

Odlučeno vrijednošću bez dokazne osnove.

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

Ograničeno dokazima

  • Kretanje druge stranezaustavljenoOBSERVED
  • Odnos putanjaisti trakDERIVED
  • Brzina pri udarunije zabilježenaUNKNOWN
Odluka o pokrivenostiUNKNOWN

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

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

Ilustrativna usporedba. Sintetičke vrijednosti, ne rekonstrukcija nesreće.

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: vrijednost 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 scenarij

    Heterogeni dokazi o nesrećama, normalizirani u ponavljajuću strukturu scenarija.

    Strukturirane nacionalne baze o nesrećama obrađuju izričiti adapteri, a ne jezični model — sheme su poznate, pa bi generativno izlučivanje dodalo rizik bez dodatne informacije. Zapisi se normaliziraju u zajedničku taksonomiju kako bi scenariji iz različitih izvora postali usporedivi.

    • Adapteri izvora
    • Normalizacija
    • Ponavljajuća struktura

  2. C2: Logički scenarij + SSR

    Ograničeno obogaćivanje u strukturirani prikaz scenarija.

    Nestrukturirani dokazi — opisi, skice, slike — mjesto su na kojem generativno izlučivanje opravdava svoje postojanje. Predloženi kandidati primaju se kao tvrdnje s ulogom izvora i epistemičkim stanjem, nikada kao gole činjenice. Sudionici, cesta i okoliš, događaji i domene parametara nastaju zajedno s nesigurnošću i podrijetlom.

    • Sudionici
    • Cesta i okoliš
    • Događaji
    • Domene parametara
    • Nesigurnost
    • Podrijetlo

  3. C3: Pokrivenost validacije

    Provjera po dimenzijama u odnosu na verzionirana kataloška ograničenja.

    Svaki validacijski cilj vrednuje samo dimenzije koje sam ograničava. Nedostajući ili proturječni dokazi u potrebnoj dimenziji daju UNKNOWN ili CONFLICT umjesto nagađanja; nerazriješeni dokazi izvan tog cilja ne kontaminiraju odluku, a zasebno potkrijepljeno proturječje i dalje može opravdati EXCLUDED.

    • MATCH
    • EXCLUDED
    • UNKNOWN
    • CONFLICT

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

Interaktivni prikaz

Promijenite dokaze. Promatrajte odluku.

Radni model odlučivačke semantike koji se u cijelosti izvodi u vašem pregledniku. Odaberite scenarij, dodajte ili povucite dokaze i promatrajte kako reagira 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.

Promijenite dokaze

Odluke o pokrivenosti

  • Target AMATCH

    Same-lane stationary counterpart, low-speed band.

    Potkrijepljeno podudaranje. Svaka odlučujuća dimenzija pozitivno je potkrijepljena dopuštenim dokazima.

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

    Same-lane stationary counterpart, higher-speed band.

    Potkrijepljeno isključenje. Potkrijepljena vrijednost proturječi ovom cilju. Isključenje stoji na dokazima.

    • Odlučujuće
    • Impact speed

Odakle sustav to zna?

Odaberite parametar za praćenje podrijetla.

Razriješeni parametri

Registar dokaza

  • Counterpart road userpassenger carPovijesno opažanjeSmije odlučivatiSource A — structured collision record
  • Ego motiontravelling forwardPovijesno opažanjeSmije odlučivatiSource A — structured collision record
  • Counterpart motionstoppedPovijesno opažanjeSmije odlučivatiSource A — structured collision record
  • Path relationsame lane, same directionDeterministička izvedbaSmije odlučivatiDerived from ego and counterpart headings
  • Road contextsingle carriagewayPovijesno opažanjeSmije odlučivatiSource B — narrative report
  • Visibilitydaylight, clearPovijesno opažanjeSmije odlučivatiSource B — narrative report
  • Impact speed28–34 km/hPovijesno opažanjeSmije odlučivatiSource A — recorded impact speed band

Sintetički prikaz. Ilustrira dokaznu i odlučivačku semantiku sustava CalibraScene; nije rekonstrukcija nesreće, sigurnosna certifikacija ni empirijsko mjerilo točnosti.

Target A: MATCH. Target B: EXCLUDED

Trenutačni dokazi

Što sustav dokazivo radi.

Prototip je izveden i aktivno se testira. Umjesto objave brojki koje će pri sljedećem zamrzavanju istraživanja ionako biti revidirane, ovaj odjeljak opisuje ponašanje koje vrijedi kroz izdanja — i jasno kaže gdje dokazi prestaju.

  • Regresijski testiranoIzvedba prototipa

    Radni prototip, osiguran testovima

    Privatnu istraživačku izvedbu pokrivaju automatske regresijske, shemske i dokazno-ugovorne provjere, pa promjena koja razbije dokaznu semantiku pada u testnom skupu, a ne tek u demonstraciji. Točne brojke izdanja verzionirane su uz svaki zamrznuti snimak dokaza i bit će objavljene ovdje nakon sljedećeg zamrzavanja.

  • DeterminističkoPonovljivost

    Deterministički put dokaza

    Determinističke faze građene su tako da iz istih pribijenih ulaza i iste konfiguracije vraćaju jednake strukturirane izlaze i jednake odluke o validaciji. Model, upit, skup za pretraživanje i konfiguracija verzionirani su, pa se rezultat može slijediti natrag do uvjeta koji su ga proizveli.

  • Ograničeno dokazimaPostupanje s dokazima

    Sigurno zakazivanje u odnosu na cilj

    Nedostajući, proturječni ili nedopušteni dokazi ne mogu odlučiti ciljnu dimenziju koja o njima ovisi. Nesigurnost drugdje ostaje vidljiva, ali ne blokira automatski nepovezane ciljeve; svaki rezultat zadržava ograničene dimenzije koje su bile odlučujuće ili neriješene.

  • IzvedenoCjelovita integracija

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

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

Rad na načinu otkazivanja

Stvara li nepotkrijepljeno dopunjavanje lažna isključenja?

Namjerno malen zamrznut pokus ispituje plaća li politika koja prazninu popuni vjerojatnom zadanom vrijednošću svoju dodatnu potpunost samouvjerenim i pogrešnim isključenjima — upravo onom greškom koju ovaj projekt treba spriječiti. Zamišljen je kao provjera izvedivosti i načina otkazivanja, a ne kao procjena učinkovitosti.

Rad o načinu otkazivanja ovakvog opsega ne može poduprijeti tvrdnju o točnosti na razini populacije niti se tako prikazuje. Brojke će biti objavljene kada ih ponese odobreno izdanje dokaza.

Detaljne usporedne brojke verzionirane su uz zamrznuta istraživačka izdanja. Ova stranica izvješćuje o dokazanom ponašanju sustava i granicama dokaza, a ne o privremenim glavnim pokazateljima. Šire tvrdnje o semantičkoj točnosti i stručnoj validaciji ostaju namjerno neobjavljene dok ne bude dostupno neovisno prosuđeno vrednovanje.

Arhitektura dokaza

Što je scenarij strukturno.

Strukturirani prikaz scenarija artefakt je prema kojem je definirano sve ostalo. Njegov oblik nosi jamstva: epistemičko stanje pohranjuje se odvojeno od uloge izvora, a međuovisni parametri ostaju povezani.

Odaberite čvor za pojedinosti.

  • Scenario

Izvori

Svaki je izvor registriran s verzijom i uvjetima pristupa. Tvrdnja uvijek upućuje natrag na jedan od njih.

Stanje i uloga su odvojeni

Koliko smo sigurni i odakle vrijednost potječe dva su pitanja. Odvojena pohrana omogućuje da se vrijednost protokola zabilježi, a da ne postane opažanje.

UNKNOWN je vezan uz cilj

Parametar bez dopuštene potpore blokira samo cilj čija ograničenja ovise o tom parametru. Nepovezani ciljevi vrednuju se iz vlastitih ograničenih dimenzija; zasebno potkrijepljeno proturječje i dalje može opravdati EXCLUDED.

Proturječje ostaje proturječje

Proturječni se izvori ne usrednjuju, ne rangiraju po pouzdanosti i ne razrješavaju tiho. Proturječje je rezultat.

Povezano ostaje povezano

Ovisni parametri ostaju n-torke. Njihovo širenje u kartezijev produkt izmislilo bi kombinacije koje nijedan slučaj ne podupire.

Gdje je generativna UI

Generativno gdje pomaže. Deterministički gdje mora biti.

Arhitektura je namjerno hibridna. Strukturirane nacionalne baze o nesrećama imaju poznate sheme, pa ih obrađuju izričiti adapteri — predati ih jezičnom modelu dodalo bi načine otkazivanja bez dobitka. Generativni i višemodalni modeli koriste se ondje gdje su dokazi nestrukturirani, a semantičko čitanje doista teško.

Podjela rada je bit. Generativni modeli predlažu; dokazni sloj odlučuje što prijedlog smije postati. Model koji čita opis može predložiti raspon brzine, i taj se prijedlog prima kao ograničena tvrdnja zaključena modelom. Ne može postati opažanje niti se suziti u vrijednost koju izvor nikada nije poduprijeo.

  1. Generativno izlučivanje

    Čitanje opisa, skica i slika uz VLM i potporu pretraživanja.

  2. Prihvat dokaza

    Provjera uloge izvora, podrijetla i logičke potkrijepljenosti. Nepotkrijepljeno sužavanje se odbija.

  3. Prikaz scenarija

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

  4. Determinističko zaključivanje

    Usporedba s katalogom i odluke o pokrivenosti, ponovljive među izvođenjima.

Dokazni i odlučivački slojevi opisani ovdje ostvareni su u trenutačnom prototipu. Širi generativni i višemodalni sloj izlučivanja ciljna je arhitektura faze Advance: opisan je kao namjera, a ne kao izmjeren. Ne tvrdi se da je produkcijski VLM ili sloj pretraživanja u ovoj fazi vrednovan.

Projektne kontrole

Građeno tako da bude provjerljivo.

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

Korisna nesigurnost

Sustav vraća UNKNOWN kada ciljna relevantna dimenzija nema dopuštenu potporu. Nedostajući dokazi izvan tog cilja ostaju vidljivi, ali ne poništavaju inače potkrijepljenu odluku.

Vidljivo neslaganje

Proturječni dokazi ostaju CONFLICTING. Ništa se ne usrednjuje u lažni konsenzus niti tiho odlučuje prema posljednjem pročitanom izvoru.

Podrijetlo po konstrukciji

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

Izričito stanje pregleda

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

Odvojene uloge izvora

Zaključak modela, povijesno opažanje, vanjski kontekst, deterministička izvedba i vrijednosti protokola ostaju razlučivi za cijeli vijek zapisa.

CalibraScene primjenjuje projektne kontrole visoke razine jamstva, primjerene sigurnosno usmjerenoj inženjerskoj uporabi. Konačna regulatorna klasifikacija ovisi o predviđenoj primjeni.

Trenutačno 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 razini scenarija i determinističko zaključivanje o pokrivenosti validacije. Privatni istraživački paket u aktivnom je tehničkom i stručnom pregledu.

Trenutačni fokus

  • Vanjska tehnička kritika dostatnosti dokaza i semantike kataloga.
  • Čvršće, neovisno prosuđeno vrednovanje.
  • Konsolidacija sljedećeg zamrznutog paketa dokaza.
  • Planiranje integracije za fazu Advance.

Ne tvrdi se

CalibraScene ne tvrdi homologaciju, certifikaciju Euro NCAP, ovlast za rekonstrukciju nesreća, sigurnost u primjeni ni cjelovit automobilski sigurnosni 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. Odabir je u tijeku.

CalibraScene je neovisan projekt i ne prikazuje se kao financiran, podržan ili certificiran od strane AI-BOOST, Siemens ili Euro NCAP.

O projektu

Neovisan istraživački i inženjerski projekt.

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

Javite seOstali projekti