Maskinoversættelse, ikke gennemgået af en modersmålstalende. Engelsk er referencen.

Udgaver · åben kerne, Pro og skræddersyet studie

Gratis at bygge videre på. Pro, når det skal holde i en gennemgang.

Motoren er og forbliver open source under AGPL-3.0 (GNU Affero General Public License, version 3), uden funktionsspærring. Ashforde® OÜ opretholder den med ekspertise og et proprietært lag, ikke med pladsgebyrer på den åbne motor. Der er ingen priser på dette websted: enhver betalt vej starter med en henvendelse.

Én motor · kshana v0.40.0 Fra repositoriet
Den åbne motor i midten: ét mærke pr. scenarietype (92), udfyldt, hvor typen har validerede registerrækker, hult, hvor dens rækker er modellerede, en streg, hvor intet registermodul matcher den ved navn. Kshana Pro og det skræddersyede studie sidder rundt om den og forbindes til de typer, de bygger på.

Motor v0.40.0 · 92 typer fra src/api.rs · registerstatus fra web/data/verification-matrix.json · hvad Pro og et studie bygger på: webstedets register over udgaver · intet scenarie eller seedSammenlign udgaverne

01Tre måder at arbejde sammen med os på

Sammenlign udgaverne.

Den samme motor ligger under alle tre. Læs på tværs af en række for at sammenligne, hvorfor det har betydning, hvem hver især er til, hvad den omfatter, og hvordan den starter.

Gratis · AGPL-3.0 eller kommerciel licens

Åben kerne

Hele den validerede motor og alle flader, gratis og uden funktionsspærring. Alt på dette websted kører på den.

Hvorfor alle har brug for den

Enhver, der henter position eller tid fra GNSS (Global Navigation Satellite Systems), er udsat: jamming, spoofing og signaltab rammer køretøjer, netværk, elnet og rumfartøjer på samme måde. Den åbne kerne viser, hvor udsat man er, og siger, hvilke tal der er kontrolleret.

Hvem den er til
  • Ingeniører bag køretøjer, netværk, elnet og rumfartøjer, der henter position eller tid fra GNSS
  • Forskere, studerende og bedømmere, der har brug for tal, de kan gengive og citere
  • Udviklere, der kobler motoren ind i kode, en CI-suite (continuous integration) eller en AI-assistent (kunstig intelligens)
Hvad der er med
  • Alle 92 scenarietyper og 181 medfølgende scenarier: native, Python, JavaScript, i browseren og over MCP (Model Context Protocol)
  • Den fulde verifikationsmatrix: 176 af 401 funktioner valideret mod uafhængige referencer, resten betegnet modelleret
  • Hvert resultat stemplet med scenariets hash, seed og motorversion og skrevet som JSON (JavaScript Object Notation), tabeller i CSV (kommaseparerede værdier) og diagrammer i SVG (Scalable Vector Graphics)
  • Den gratis suitekører: kshana --study
Vilkår

Gratis under AGPL-3.0. Den samme kerne tilbydes også under en kommerciel licens til lukket integration i proprietære produkter (nedenfor).

Kommerciel · den samme motor, forstærket

Kshana Pro

Et proprietært lag, der afhænger af den åbne kerne og aldrig forker den: en streng supermængde af åbne Kshana. Tilgængeligt under kontrakt.

Hvorfor Pro, endnu mere

Åbne Kshana kører ét scenarie og fortæller, hvad det giver. Kshana Pro besvarer de spørgsmål, et program stiller derefter: hvilken udformning man skal flyve, hvor sikkert svaret er, og om missionen lever op til sine krav i en form, en gennemgangskomité kan kontrollere.

Hvem den er til
  • Programmer, der skal aflevere et missionsdossier eller en bevispakke af revisionskvalitet til en gennemgangs- eller indkøbskomité
  • Arkitekter, der vælger en udformning fra Pareto-fronten i et helt udformningsrum eller fra afvejningsstudier rangeret efter et kvalitetsmål
  • Teams inden for tidssynkronisering og hardware, der har brug for en digital tvilling af et ur, kalibreret til deres enhed
Hvad der er med
  • En udformningsoptimerer: Pareto-fronten i et udformningsrum, hvor hver frontudformning er et scenarie, som den gratis motor kører igen
  • Usikkerhed og følsomhed over tusindvis af kørsler
  • Et missionsdossier med én kommando med en verifikationsmatrix og en PDF-fil (Portable Document Format)
  • Reproducerbare bevispakker af revisionskvalitet, digitale urtvillinger kalibreret til en enheds offentliggjorte Allan-budget og arkitekturafvejningsstudier rangeret efter et kvalitetsmål
  • Modelbaseret systemudvikling (MBSE) og programværktøjer, der kontrollerer et programs krav mod kørsler af den åbne motor og kun læser de output, motoren offentliggør
Vilkår

Kshana Pro er tilgængelig under kontrakt. Den afhænger af den åbne kerne og forker den aldrig, så intet tages ud af den gratis motor.

Betalt arbejde · udført for dig

Skræddersyet undersøgelse

Arbejde udført for dig på dit system: det betalte skræddersyede studie, ikke den gratis kommando kshana --study.

Hvorfor et skræddersyet studie

Når spørgsmålet er dit, men tiden, modelleringen eller sikkerhedsklareringen ikke er: vi modellerer dit system med den samme motor, mærker hvert tal valideret eller modelleret og afleverer et resultat, du kan reproducere.

Hvem den er til
  • Program- og indkøbsteams, der har brug for et uafhængigt, modelleret billede af robustheden i en PNT-arkitektur (positionering, navigation og tidssynkronisering)
  • Hardwarebyggere, der vil have modeller af deres egne enheder
  • Eksportfølsomme programmer og teams, der vil have Kshana i deres værktøjskæde
Hvad der er med
  • Et modelleret PNT-robusthedsstudie, for eksempel et optimismegab-audit. Ikke en certificering.
  • Sensor- og robusthedsmodeller kalibreret til din hardware
  • Eksportkontrolleret robusthedsarbejde under passende sikkerhedsklarering og NDA (fortrolighedsaftale)
  • Kommerciel support og integration, træning og rådgivning
Vilkår

Afgrænset til dit spørgsmål og leveret under kontrakt, reproducerbart ud fra scenarie, seed og motorversion.

Licens til den åbne kerne

Én motor, to licenser.

Vælg den, der passer til, hvordan du bruger den. Begge dækker den samme åbne motor; intet holdes tilbage fra nogen af dem.

Mulighed A · open source

GNU AGPL-3.0

Brug, studér, ændr og videredistribuér den gratis. Hvis du distribuerer et afledt værk, eller lader folk bruge en ændret motor over et netværk, deler du dens kildekode under samme licens.

Velegnet til akademisk arbejde, open source-projekter, intern evaluering og forskning.

Mulighed B · fra Ashforde® OÜ

Kommerciel licens

  • Indlejr motoren i et produkt med lukket kildekode
  • Kør en netværkstjeneste på en ændret motor uden pligten til at offentliggøre kildekoden
  • Integrér den i en værktøjskæde, hvor andre dele ikke kan være AGPL
  • Få garanti-, skadesløsholdelses- eller supportvilkår, som AGPL fraskriver sig

Spørg om en kommerciel licens

Kshana Pro og de andre proprietære lag er separate produkter under egen kontrakt og ikke en del af nogen af licenserne. Hvad den kommercielle licens dækker

Kshana Pro · den samme motor, forstærket

Gratis kører ét scenarie. Pro besvarer programmets spørgsmål.

Åbne Kshana kører ét scenarie og fortæller, hvad det giver. Kshana Pro besvarer de spørgsmål, et program stiller derefter, over den samme motor og de samme scenariefiler: hvilken udformning man skal flyve, hvor sikkert svaret er, og om missionen lever op til sine krav i en form, en gennemgangskomité kan kontrollere.

  • En streng supermængde af åbne Kshana.Hver åben scenarietype kører uændret i Pro, og et åbent scenarie kører i Pro helt uden licens.
  • Ingen ny fysik.Hvert Pro-tal kommer fra kørsler af den åbne motor, så et Pro-tal er lige så pålideligt som den åbne scenarietype, det kom fra, og aldrig mere.
  • Reproducerbart i den gratis motor.Enhver med åbne Kshana kan køre et igen og få samme tal.
  • Ærlige mærker bæres igennem.Hvert Pro-resultat er mærket MODELLED. Hvert tal beholder det niveau, den åbne motor gav det (valideret, modelleret eller partner), aldrig et højere.
Udformningsoptimerer

Hvilken udformning skal vi flyve?

  • GratisEn gratis bruger scorer én udformning, vedkommende har skrevet i hånden.
  • ProEn Pro-bruger angiver udformningsrummet (hver variabel en scenarieindstilling med sine tilladte værdier), begrænsningerne og to eller tre mål og får hele Pareto-fronten: de udformninger, som ingen anden udformning slår på alle mål på én gang.

Basisscenariet kan være af en vilkårlig åben type, så det samme værktøj udformer en konstellation om Jorden, Månen eller Mars eller afvejer et linkbudget. Hver udformning er én kørsel af den åbne motor. Hver frontudformning skrives ud som en almindelig åben scenariefil sammen med Secure Hash Algorithm-hashen (SHA-256) af det resultat, den gratis motor giver for den.

Hvad den ikke gør. Den har ingen omkostningsmodel, så en variabel, som intet mål straffer, driver mod kanten af sit område. Konstellationsstudier scorer kun geometri: ingen signaleffekt, satellitsundhed eller terræn.

Pareto-front · MånenavigationskonstellationOutput fra Kshana Pro
025507510081214162024satellites in the constellationavailability over the region, %referenceknee
hver udformning kørtPareto-frontknæreference: medfølgende udformning af månerelæ (8 + 6 satellitter)

Frontudformning 004 · knæ · 16 satellitter, 85,0404 % tilgængelighed · 2 planer ved 8.000 km, 45° · kør igen i den gratis motor: samme SHA-256 89882372…

608 udformninger, alle kørt (hele Månen): en front på 12 udformninger i 6 punkter; 12 af 12 kørt igen i den gratis motor med samme resultat-hash. MODELLED.

Kshana Pro 0.2.0 på åben motor 0.29.0 · kshana-pro design · 609 motorkørsler · kørselsdigest df81aad4…

Usikkerhed og følsomhed

Hvor sikre er vi, og hvad driver resultatet?

  • GratisEn gratis bruger får ét tal eller en spredning over tilfældige seeds.
  • ProEn Pro-bruger angiver, hvor usikker hvert input er, og får konfidensbånd, sandsynligheden for at holde sig inden for en grænse og en rangordning af de inputs, der driver resultatet.

Den virker på ethvert åbent scenarie. Input rangeres efter Sobol'-følsomhedsindeks eller standardiserede regressionskoefficienter, og en rangordning, der ikke er pålidelig, markeres som sådan. Et langt studie kan stoppes og genoptages.

Hvad den ikke gør. Input behandles som uafhængige. Flere kørsler indsnævrer stikprøvefejlen, ikke modelfejlen: en type, der er MODELLED, forbliver MODELLED.

Usikkerhed og følsomhedOutput fra Kshana Pro
-50-2002050time error, nslimit ±20 ns100%0%share of runs within the limit0102030405060minutes of holdover
5. til 95. percentil af 2.000 kørslermedianbasiskørselandel inden for grænsen

Efter 60 minutter: 1.366 af 2.000 kørsler inden for ±20 ns, en sandsynlighed på 0,683 (95 % interval 0,6623 til 0,703)

Urets holdover med et usikkert støjniveau · input q_wf (urets niveau af hvid frekvensstøj): uniform(4.5e-20 til 2.7e-19), ASSUMED · MODELLED · Kshana Pro 0.2.0 på åben motor 0.29.0 · kshana-pro uncertainty · 2.000 motorkørsler · kørselsdigest abab765e…

Missionsdossier

Lever missionen op til sine krav, og kan vi aflevere det?

  • GratisEn gratis bruger får én rapport pr. kørsel.
  • ProEn Pro-bruger får ét missionsdossier med én kommando: krav kontrolleret mod rigtige kørsler, en verifikationsmatrix med sine åbne punkter og en PDF (Portable Document Format), hvor hvert tal kan udledes igen med den gratis motor.

Et krav, der er opfyldt på grundlag af MODELLED eller PARTNER, markeres. Krav, der skal verificeres ved test, inspektion eller demonstration, forbliver åbne punkter, uanset hvordan kørslen gik.

Hvad den ikke gør. Simuleringsevidens tæller som analyse og erstatter ikke en test, en inspektion eller en demonstration. Et dossier er ikke en certificering, en kvalificering eller en accept fra nogen myndighed.

Missionsdossier · Program for navigationsrobusthed: Jorden, Månen og MarsOutput fra Kshana Pro
12krav
7nået
4ikke opfyldt
1ikke verificeret
15åbne punkter
  • LEO-001ppp.cases[1].median_convergence_min <= 10 minopfyldtMODELLED

    Med 240 satellitter i lav jordbane (LEO) tilføjet skal præcis punktpositionering (PPP) konvergere inden for 10 minutter (median over de seedede kørsler).

    Metode: analyse · kørsel RUN-LEO · aflæst værdi: 7,5 min

    `ppp.cases[1].median_convergence_min <= 10 min`: 7.5 min <= 10 min is true

    Åbent punkt: grundlag MODELLED

  • LEO-002ppp.cases[0].median_convergence_min <= 10 minikke opfyldtMODELLED

    Med kun GPS og Galileo skal præcis punktpositionering (PPP) konvergere inden for 10 minutter (median over de seedede kørsler).

    Metode: analyse · kørsel RUN-LEO · aflæst værdi: 11,5 min

    `ppp.cases[0].median_convergence_min <= 10 min`: 11.5 min <= 10 min is false

    Åbent punkt: ikke opfyldt

  • LEO-003fusion.fused.rms_error_3d_m <= 0,5 mopfyldtMODELLED

    Med LEO-laget skal den samlede tredimensionale positionsfejl være 0,5 m rod af middelkvadrat (RMS) eller bedre.

    Metode: test · kørsel RUN-LEO · aflæst værdi: 0,4349 m

    `fusion.fused.rms_error_3d_m <= 0.5 m`: 0.434888 m <= 0.5 m is true

    Åbent punkt: metode, grundlag MODELLED

  • LUN-001global.availability_pct >= 95 %ikke opfyldtMODELLED

    Månerelæ-konstellationen skal give en positionsbestemmelse med en position dilution of precision (PDOP) på 6 eller bedre over mindst 95 % af månens overflade og af døgnet.

    Metode: analyse · kørsel RUN-LUNAR · aflæst værdi: 21,3286 %

    `global.availability_pct >= 95 %`: 21.3286 % >= 95 % is false

    Åbent punkt: ikke opfyldt

  • LUN-002global.pdop.median <= 6opfyldtMODELLED

    Hvor månerelæ-konstellationen giver en positionsbestemmelse, skal medianen af position dilution of precision (PDOP) være 6 eller bedre.

    Metode: analyse · kørsel RUN-LUNAR · aflæst værdi: 5,22 1

    `global.pdop.median <= 6`: 5.22 <= 6 is true

    Åbent punkt: grundlag MODELLED

  • SPC-001timeline.bands[3].min_cn0_dbhz >= 25 dB-HzopfyldtPARTNER

    Under den skriptede L-bånd-interferens skal GPS L5-forholdet mellem bærebølge og støjtæthed (C/N0) forblive på eller over 25 dB-Hz.

    Metode: analyse · kørsel RUN-SPECTRUM · aflæst værdi: 44,0752 dB-Hz

    `timeline.bands[3].min_cn0_dbhz >= 25 dB-Hz`: 44.075187 dB-Hz >= 25 dB-Hz is true

    Åbent punkt: grundlag PARTNER

  • SPC-002timeline.bands[0].min_cn0_dbhz >= 25 dB-Hzikke opfyldtPARTNER

    Under den skriptede L-bånd-interferens skal GPS L1 coarse/acquisition (C/A) forholdet mellem bærebølge og støjtæthed (C/N0) forblive på eller over 25 dB-Hz.

    Metode: analyse · kørsel RUN-SPECTRUM · aflæst værdi: 3,2329 dB-Hz

    `timeline.bands[0].min_cn0_dbhz >= 25 dB-Hz`: 3.232859 dB-Hz >= 25 dB-Hz is false

    Åbent punkt: ikke opfyldt

  • CMP-001timeline.channels.time_error_ns.values <= timeline.channels.guard_ns.values for all valuesikke opfyldtPARTNER

    I den kædede mission med jamming, spoofing og holdover skal urets tidsfejl holde sig inden for sin vagtgrænse på 50 ns ved hvert trin på tidslinjen.

    Metode: analyse · kørsel RUN-CAMPAIGN · aflæst værdi: 51,7825 ns

    `timeline.channels.time_error_ns.values <= timeline.channels.guard_ns.values` for all: 275 of 458 elements satisfy (first failing); element 214: 51.782497 ns <= 50 ns

    Åbent punkt: ikke opfyldt

  • CMP-002min(timeline.events[].t_s) <= 30 minopfyldtPARTNER

    I den kædede mission skal en spoofing-alarm udløses inden for 30 minutter efter starten.

    Metode: demonstration · kørsel RUN-CAMPAIGN · aflæst værdi: 1.200 s

    `min(timeline.events[].t_s) <= 30 min`: 1200 s <= 1800 s is true

    Åbent punkt: metode, grundlag PARTNER

  • MARS-001fom.rms_error_relays_m <= 5 mopfyldtMODELLED

    Omkring Mars skal positionsfejlen med kun konstellationen være 5 m rod af middelkvadrat (RMS) eller bedre over ét sol.

    Metode: analyse · kørsel RUN-MARS · aflæst værdi: 1,8827 m

    `fom.rms_error_relays_m <= 5 m`: 1.882704 m <= 5 m is true

    Åbent punkt: grundlag MODELLED

  • MARS-002fom.availability_relays >= 99 %opfyldtMODELLED

    Omkring Mars skal konstellationen give en positionsbestemmelse i 99 % af epokerne eller flere.

    Metode: analyse · kørsel RUN-MARS · aflæst værdi: 1 1

    `fom.availability_relays >= 99 %`: 1 >= 0.99 is true

    Åbent punkt: grundlag MODELLED

  • OPS-001intet maskinkontrollerbart kriteriumikke verificeret

    Modtagerhuset skal bære programmets identifikationsmærke.

    Metode: inspektion · kørsel ingen · aflæst værdi: ingen kørsel sporet

    Åbent punkt: ingen evidens, manuel verifikation

Side 1 af det genererede missionsdossierSide 2 af det genererede missionsdossier

21 sider, én kommando. Åbn den genererede PDF (Portable Document Format)

Kshana Pro 0.2.0 på åben motor 0.29.0 · kshana-pro mission build · 5 kørsler og ét afvejningsstudie · 7 opfyldt, alle på grundlag af MODELLED eller PARTNER · dossier SHA-256 49df1e0e… · udviklingsbuild

Tre svar mere

Gjorde den sidste ændring et tal, vi går op i, dårligere?

  • GratisEn gratis bruger kører en kampagne og læser resultatet.
  • ProEn Pro-bruger angiver de tal, der betyder noget, i et sæt scenarier, siger hvad dårligere betyder for hvert, og får en pipeline, der fejler, når en ændring af et scenarie, en model eller motoren gør et af dem dårligere eller får det til ikke længere at leve op til sit krav.

Den udvider scenarieregressionskontrollen. Et Monte Carlo-tal vurderes med statistik i stedet for en tolerance, så et nyt sæt tilfældige seeds ikke kaldes en regression, og en fordoblet spredning gør. Hver kørsel tilføjes til en historik, hvor hver post bærer hashen af den foregående, og en kontrol rapporterer, om kæden er intakt.

Hvad den ikke gør. En overvågning beviser, at et tal, der er MODELLED, forblev stabilt eller flyttede sig; den beviser ikke, at tallet er sandt. Et tal uden angivet retning rapporteres og får aldrig en kørsel til at fejle.

Kampagneovervågning · seks revisioner, én historikOutput fra Kshana Pro
Overvåget tal · revision
forhold mellem bærebølge og støjtæthed (C/N0) ved slutningen af jamming-fasen○·▲▼··
største tidsfejl på missionens tidslinje○····≈
satellitter i sporing ved slutningen af jamming-fasen○··▼··
andel af missionen under alarm○··▼·▲
spoofing detekteret (fasens længde)○····▲
tidsfejl ved slutningen af holdover○····≈
▼forværret▲forbedret·uændret≈flyttet sig inden for sin tolerance○første kørsel: bliver baseline

Revision r4-stronger-jammer · jammer hævet fra -33 til -24 dBW (decibel i forhold til én watt): C/N0 ved slutningen af jamming-fasen 30,60 → 21,82 dB-Hz (decibel-hertz), under gulvet på 25 dB-Hz, kravet ikke opfyldt; satellitter i sporing 8 → 0; tre overvågninger forværret · fejlet, afslutningskode 1

Den medfølgende kampagnepakke, 10 overvågede tal over tre åbne kampagner, kørt to gange: bestået begge gange, 0 af 125 tal flyttede sig, historik på 2 poster intakt.

Kshana Pro 0.2.0 på åben motor 0.29.0 · kshana-pro ci · demonstrationsrevisioner af campaign-jam-spoof-holdover-integrity.toml · historik 6 poster, kæde intakt, sidste hash bb2f10eb… · MODELLEDÅbn i Kshana Studio

Også i Kshana Pro

Krav og sporbarhed

Kshana Pros modelbaserede systemudvikling (MBSE) og programværktøjer kontrollerer et programs krav mod kørsler af den åbne motor: det importerer krav som kommaseparerede værdier (CSV) eller som en dokumenteret delmængde af Requirements Interchange Format (ReqIF) eller af tekst i Systems Modeling Language version 2 (SysML v2) og producerer en verifikationskrydsreferencematrix (VCRM), en SysML v2-model, en ændringspåvirkningsrapport og en offline bevispakke. Det kører og genberegner intet igen.

Den åbne motors output, det læser
  • result.jsonde felter, et kriterium navngiver, deres enheder, reproducerbarhedsstemplet med scenarie-hash, seed, motorversion og skemaversion samt kørslens mærke og tal-niveauer
  • report.jsontype, reproducerbarhedspost og funktionsmærker
  • scenario filedets hash, type, seed og parametre
  • field-units schemahvert felts enhed, proveniens og evidensniveau
  • verification matrixhver funktions mærke VALIDATED, MODELLED eller PARTNER

Afvejningsstudier

Et afvejningsstudie kører hver arkitekturmulighed som et uændret scenarie i den åbne motor, rangerer mulighederne efter et kvalitetsmål læst fra hver kørsels resultat og skriver en bevispakke, der registrerer hver muligheds scenarie-hash, så ethvert tal i den kan reproduceres ved at køre det scenarie igen.

Digital urtvilling

En urtvilling kalibreres til en enheds offentliggjorte budget for Allan-deviation og kontrolleres derefter ved at estimere tvillingens egen Allan-deviation med den åbne motors estimator og sammenligne de to inden for en angivet tolerance. En tvilling af din egen enhed kræver dine karakteriseringsdata og bygges under kontrakt og fortrolighedsaftale.

Studiedossier

Ét scenarie bliver til en reproducerbar teknisk note i HTML (HyperText Markup Language) og JSON (JavaScript Object Notation): omfang, metode, resultater med et niveau på hvert tal, begrænsninger og den præcise scenarietekst, der blev kørt.

  • Pro kræver en licens. Uden en kører Pro kun åbne scenarier og afviser hver Pro-funktion med en meddelelse, der navngiver, hvad der kræves.
  • Noget arbejde kræver en underskrevet kunde. En tvilling af din egen enhed kræver dine karakteriseringsdata og bygges under kontrakt og fortrolighedsaftale.
  • Intet, Pro producerer, er en certificering. Hvert resultat er modelleret og siger det.

Udføres som et skræddersyet studie

  • Modeller af din hardware. Sensor- eller robusthedsmodeller kalibreret til din hardware bygges kun under kontrakt, med dine data.
  • Eksportkontrollerede robusthedsmodeller tilbydes ikke offentligt. Sådant arbejde udføres kun under passende sikkerhedsklarering og en fortrolighedsaftale.

Diagrammerne i dette afsnit er tegnet ud fra de filer, Pro-kommandoerne skrev til de gennemarbejdede eksempler, der følger med Pro: modellerede resultater, ikke udsagn om nogen rigtig mission. Ordlyden er citeret fra den offentlige Kshana Pro-side i det åbne repositorium.

02Skræddersyet studie · sådan forløber det

Når du har brug for et svar, ikke et værktøj.

Et skræddersyet studie bruger den samme motor, du selv kan køre, så ethvert tal i det kan kontrolleres af enhver.

  1. Fortæl os spørgsmålet. Skriv til contact@ashforde.org med systemet og den beslutning, det fodrer. Der er ingen formular.
  2. Vi afgrænser det. Hvad der modelleres, med hvilke scenarier, og hvad der ligger uden for omfanget, under passende sikkerhedsklarering og NDA, hvor arbejdet kræver det.
  3. Vi modellerer det med den samme motor. Hvert tal mærkes valideret eller modelleret, præcis som på dette websted.
  4. Du får et reproducerbart resultat. Reproducerbart ud fra scenarie, seed og motorversion. Et modelleret studie, ikke en certificering.

Ikke det samme som kshana --study: den gratis kommando kører en suite af scenarier, du skriver, til én stemplet rapport (Udviklere). Et skræddersyet studie er betalt arbejde, vi udfører for dig.

Installér den åbne kerneFra manifesterne

Til alle, uden noget at installere.

Motoren kører lokalt som WebAssembly; intet uploades.