Machinevertaling, niet beoordeeld door een moedertaalspreker. Engels is de referentie.

Edities · open kern, Pro en studie op maat

Gratis om op voort te bouwen. Pro als het een beoordeling moet doorstaan.

De engine is en blijft opensource onder de AGPL-3.0 (GNU Affero General Public License, versie 3), zonder functiebeperking. Ashforde® OÜ houdt haar in stand met expertise en een eigen overlay, niet met licentiekosten per gebruiker op de open engine. Op deze site staan geen prijzen: elke betaalde route begint met een bericht.

Eén engine · kshana v0.40.0 Uit de repository
De open engine in het midden: één teken per scenariosoort (92), gevuld waar de soort gevalideerde registerrijen heeft, hol waar zijn rijen gemodelleerd zijn, een streepje waar geen registermodule er op naam mee overeenkomt. Kshana Pro en de studie op maat staan eromheen en verbinden met de soorten waarop ze voortbouwen.

Engine v0.40.0 · 92 soorten uit src/api.rs · registerstatus uit web/data/verification-matrix.json · waarop Pro en een studie voortbouwen: het register van edities van de site · geen scenario of seedDe edities vergelijken

01Drie manieren om met ons samen te werken

Vergelijk de edities.

Onder alle drie ligt dezelfde engine. Lees over een rij heen om te vergelijken waarom het ertoe doet, voor wie elke editie is, wat ze omvat en hoe ze begint.

Gratis · AGPL-3.0 of commerciële licentie

Open kern

De volledige getoetste engine en elk oppervlak, gratis en zonder functiebeperking. Alles op deze site draait erop.

Waarom iedereen het nodig heeft

Iedereen die positie of tijd uit GNSS (Global Navigation Satellite Systems) haalt, is blootgesteld: jamming, spoofing en signaalverlies treffen voertuigen, netwerken, elektriciteitsnetten en ruimtevaartuigen evengoed. De open kern laat zien hoe sterk de blootstelling is en zegt welke cijfers zijn gecontroleerd.

Voor wie
  • Ingenieurs van voertuigen, netwerken, elektriciteitsnetten en ruimtevaartuigen die positie of tijd uit GNSS halen
  • Onderzoekers, studenten en beoordelaars die cijfers nodig hebben die ze kunnen reproduceren en citeren
  • Ontwikkelaars die de engine in code, een CI-suite (continuous integration) of een AI-assistent (kunstmatige intelligentie) inbouwen
Wat erbij hoort
  • Alle 92 scenariosoorten en 181 meegeleverde scenario's: native, Python, JavaScript, in de browser en via MCP (Model Context Protocol)
  • De volledige verificatiematrix: 176 van 401 mogelijkheden gevalideerd tegen onafhankelijke referenties, de rest gelabeld als gemodelleerd
  • Elk resultaat voorzien van scenariohash, seed en engineversie, en geschreven als JSON (JavaScript Object Notation), CSV-tabellen (door komma's gescheiden waarden) en SVG-grafieken (Scalable Vector Graphics)
  • De gratis suiterunner kshana --study
Voorwaarden

Gratis onder de AGPL-3.0. Dezelfde kern wordt ook aangeboden onder een commerciële licentie, voor gesloten integratie in eigen producten (hieronder).

Commercieel · dezelfde engine, versterkt

Kshana Pro

Een eigen overlay die van de open kern afhangt en die nooit afsplitst: een strikte superset van open Kshana. Beschikbaar onder contract.

Waarom Pro, nog meer

Open Kshana voert één scenario uit en vertelt u wat het oplevert. Kshana Pro beantwoordt de vragen die een programma daarna stelt: welk ontwerp te vliegen, hoe zeker het antwoord is en of de missie haar eisen haalt, in een vorm die een beoordelingscommissie kan controleren.

Voor wie
  • Programma's die een missiedossier of een bewijspakket van auditkwaliteit moeten overleggen aan een beoordelings- of inkoopcommissie
  • Architecten die een ontwerp kiezen uit het Pareto-front van een hele ontwerpruimte, of uit afwegingsstudies die op een kwaliteitsmaat zijn gerangschikt
  • Teams voor tijdsynchronisatie en hardware die een digitale tweeling van een klok nodig hebben, gekalibreerd op hun apparaat
Wat erbij hoort
  • Een ontwerpoptimalisator: het Pareto-front van een ontwerpruimte, waarbij elk ontwerp op het front een scenario is dat de gratis engine opnieuw uitvoert
  • Onzekerheid en gevoeligheid over duizenden runs
  • Een missiedossier met één opdracht, met een verificatiematrix en een PDF-bestand (Portable Document Format)
  • Reproduceerbare bewijspakketten van auditkwaliteit, digitale klokkentweelingen gekalibreerd op het gepubliceerde Allan-budget van een apparaat, en architectuurafwegingen gerangschikt op een kwaliteitsmaat
  • Hulpmiddelen voor modelgebaseerd systeemontwerp (MBSE) en programmabeheer die de eisen van een programma toetsen aan runs van de open engine en alleen de uitvoer lezen die de engine publiceert
Voorwaarden

Kshana Pro is beschikbaar onder contract. Het hangt af van de open kern en splitst die nooit af, dus er wordt niets uit de gratis engine gehaald.

Betaald werk · voor u uitgevoerd

Studie op maat

Werk dat voor u wordt gedaan, op uw systeem: de betaalde studie op maat, niet de gratis opdracht kshana --study.

Waarom een studie op maat

Wanneer de vraag van u is maar de tijd, de modellering of de machtiging niet: wij modelleren uw systeem met dezelfde engine, geven elk cijfer het label getoetst of berekend uit een model, en leveren een resultaat dat u kunt reproduceren.

Voor wie
  • Programma- en inkoopteams die een onafhankelijk, modelmatig beeld nodig hebben van de veerkracht van een PNT-architectuur (positiebepaling, navigatie en tijdsynchronisatie)
  • Hardwarebouwers die modellen van hun eigen apparaten willen
  • Exportgevoelige programma's, en teams die Kshana in hun toolchain willen
Wat erbij hoort
  • Een op een model gebaseerde studie naar PNT-veerkracht, bijvoorbeeld een audit van de optimismekloof. Geen certificering.
  • Sensor- en veerkrachtmodellen gekalibreerd op uw hardware
  • Exportgecontroleerd veerkrachtwerk onder de passende veiligheidsmachtiging en NDA (geheimhoudingsovereenkomst)
  • Commerciële ondersteuning en integratie, training en advies
Voorwaarden

Afgestemd op uw vraag en geleverd onder contract, reproduceerbaar vanuit scenario, seed en engineversie.

Licentie van de open kern

Eén engine, twee licenties.

Kies degene die past bij hoe u de engine gebruikt. Beide gelden voor dezelfde open engine; geen van beide houdt iets achter.

Optie A · opensource

GNU AGPL-3.0

Gebruik, bestudeer, wijzig en verspreid de engine kosteloos. Als u een afgeleid werk verspreidt, of mensen via een netwerk een gewijzigde engine laat gebruiken, deelt u de broncode onder dezelfde licentie.

Geschikt voor academisch werk, opensourceprojecten, interne evaluatie en onderzoek.

Optie B · van Ashforde® OÜ

Commerciële licentie

  • De engine inbouwen in een product met gesloten broncode
  • Een netwerkdienst draaien op een gewijzigde engine zonder de verplichting de broncode openbaar te maken
  • De engine integreren in een toolchain waarvan andere onderdelen niet onder de AGPL kunnen vallen
  • Voorwaarden voor garantie, vrijwaring of ondersteuning krijgen die de AGPL uitsluit

Vraag naar een commerciële licentie

Kshana Pro en de andere eigen overlays zijn afzonderlijke producten onder hun eigen contract en maken geen deel uit van een van beide licenties. Wat de commerciële licentie dekt

Kshana Pro · dezelfde engine, versterkt

Gratis voert één scenario uit. Pro beantwoordt de vraag van het programma.

Open Kshana voert één scenario uit en vertelt u wat het oplevert. Kshana Pro beantwoordt de vragen die een programma daarna stelt, op dezelfde engine en dezelfde scenariobestanden: welk ontwerp te vliegen, hoe zeker het antwoord is en of de missie haar eisen haalt, in een vorm die een beoordelingscommissie kan controleren.

  • Een strikte superset van open Kshana.Elke open scenariosoort draait ongewijzigd in Pro, en een open scenario draait in Pro zonder enige licentie.
  • Geen nieuwe natuurkunde.Elk getal in Pro komt uit runs van de open engine, dus een cijfer uit Pro is even betrouwbaar als de open scenariosoort waaruit het komt, en nooit meer.
  • Reproduceerbaar in de gratis engine.Iedereen met open Kshana kan een run opnieuw uitvoeren en krijgt hetzelfde cijfer.
  • Eerlijke labels, doorgevoerd.Elk resultaat uit Pro krijgt het label MODELLED. Elk cijfer behoudt het niveau dat de open engine eraan gaf (getoetst, berekend uit een model of van de partner), nooit een hoger niveau.
Ontwerpoptimalisator

Welk ontwerp moeten we vliegen?

  • GratisEen gratis gebruiker beoordeelt één ontwerp dat hij met de hand heeft geschreven.
  • ProEen Pro-gebruiker beschrijft de ontwerpruimte (elke variabele is een scenario-instelling met haar toegestane waarden), de randvoorwaarden en twee of drie doelen, en krijgt het hele Pareto-front: de ontwerpen die door geen enkel ander ontwerp op alle doelen tegelijk worden verslagen.

Het basisscenario kan van elke open soort zijn, dus hetzelfde hulpmiddel ontwerpt een constellatie rond de Aarde, de Maan of Mars, of weegt een linkbudget af. Elk ontwerp is één run van de open engine. Elk ontwerp op het front wordt uitgeschreven als een gewoon open scenariobestand, met de SHA-256-hash (Secure Hash Algorithm) van het resultaat dat de gratis engine ervoor geeft.

Wat het niet doet. Het heeft geen kostenmodel, dus een variabele die door geen enkel doel wordt bestraft, drijft naar de rand van haar bereik. Constellatiestudies beoordelen alleen geometrie: geen signaalvermogen, satellietgezondheid of terrein.

Pareto-front · Lunaire navigatieconstellatieUitvoer van Kshana Pro
025507510081214162024satellites in the constellationavailability over the region, %referenceknee
elk uitgevoerd ontwerpPareto-frontknikpuntreferentie: meegeleverd lunair relayontwerp (8 + 6 satellieten)

Ontwerp 004 op het front · knikpunt · 16 satellieten, 85,0404 % beschikbaarheid · 2 vlakken op 8.000 km, 45° · opnieuw uitgevoerd in de gratis engine: dezelfde SHA-256 89882372…

608 ontwerpen, allemaal uitgevoerd (hele Maan): een front van 12 ontwerpen op 6 punten; 12 van 12 opnieuw uitgevoerd in de gratis engine met dezelfde resultaathash. MODELLED.

Kshana Pro 0.2.0 op open engine 0.29.0 · kshana-pro design · 609 engineruns · run-digest df81aad4…

Onzekerheid en gevoeligheid

Hoe zeker zijn we, en wat bepaalt het resultaat?

  • GratisEen gratis gebruiker krijgt één getal, of een spreiding over willekeurige seeds.
  • ProEen Pro-gebruiker geeft aan hoe onzeker elke invoer is en krijgt betrouwbaarheidsbanden, de kans dat een limiet wordt gehaald en een rangschikking van de invoeren die het resultaat bepalen.

Het werkt op elk open scenario. Invoeren worden gerangschikt op Sobol'-gevoeligheidsindices of op gestandaardiseerde regressiecoëfficiënten, en een rangschikking die niet betrouwbaar is, wordt als zodanig gemarkeerd. Een lange studie kan worden gestopt en hervat.

Wat het niet doet. Invoeren worden als onafhankelijk behandeld. Meer runs verkleinen de steekproeffout, niet de modelfout: een soort met MODELLED blijft MODELLED.

Onzekerheid en gevoeligheidUitvoer van Kshana Pro
-50-2002050time error, nslimit ±20 ns100%0%share of runs within the limit0102030405060minutes of holdover
5e tot 95e percentiel van 2.000 runsmediaanbasisrunaandeel binnen de limiet

Na 60 minuten: 1.366 van 2.000 runs binnen ±20 ns, een kans van 0,683 (95 %-interval 0,6623 tot 0,703)

Klok-holdover met een onzeker ruisniveau · invoer q_wf (het niveau van witte frequentieruis van de klok): uniform(4.5e-20 tot 2.7e-19), ASSUMED · MODELLED · Kshana Pro 0.2.0 op open engine 0.29.0 · kshana-pro uncertainty · 2.000 engineruns · run-digest abab765e…

Missiedossier

Haalt de missie haar eisen, en kunnen we dat overdragen?

  • GratisEen gratis gebruiker krijgt één rapport per run.
  • ProEen Pro-gebruiker krijgt met één opdracht één missiedossier: eisen die zijn getoetst aan echte runs, een verificatiematrix met de openstaande punten en een PDF (Portable Document Format) waarin elk getal met de gratis engine opnieuw kan worden afgeleid.

Een eis die op basis van MODELLED of PARTNER is gehaald, wordt gemarkeerd. Eisen die door test, inspectie of demonstratie moeten worden geverifieerd, blijven openstaande punten, hoe de run ook verliep.

Wat het niet doet. Simulatiebewijs geldt als analyse en vervangt geen test, inspectie of demonstratie. Een dossier is geen certificering, geen kwalificatie en geen acceptatie door enige autoriteit.

Missiedossier · Programma voor navigatieveerkracht: Aarde, Maan en MarsUitvoer van Kshana Pro
12eisen
7gehaald
4niet gehaald
1niet geverifieerd
15openstaande punten
  • LEO-001ppp.cases[1].median_convergence_min <= 10 mingehaaldMODELLED

    Met 240 toegevoegde satellieten in de lage aardbaan (LEO) moet precise point positioning (PPP) binnen 10 minuten convergeren (mediaan over de runs met seed).

    Methode: analyse · run RUN-LEO · afgelezen waarde: 7,5 min

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

    Openstaand punt: basis MODELLED

  • LEO-002ppp.cases[0].median_convergence_min <= 10 minniet gehaaldMODELLED

    Met alleen GPS en Galileo moet precise point positioning (PPP) binnen 10 minuten convergeren (mediaan over de runs met seed).

    Methode: analyse · run RUN-LEO · afgelezen waarde: 11,5 min

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

    Openstaand punt: niet gehaald

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

    Met de LEO-laag moet de gefuseerde driedimensionale positiefout 0,5 m effectieve waarde (root mean square, RMS) of beter zijn.

    Methode: test · run RUN-LEO · afgelezen waarde: 0,4349 m

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

    Openstaand punt: methode, basis MODELLED

  • LUN-001global.availability_pct >= 95 %niet gehaaldMODELLED

    De lunaire relayconstellatie moet een positiebepaling geven met een positieverdunningsfactor (PDOP, position dilution of precision) van 6 of beter over ten minste 95 % van het maanoppervlak en van de dag.

    Methode: analyse · run RUN-LUNAR · afgelezen waarde: 21,3286 %

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

    Openstaand punt: niet gehaald

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

    Waar de lunaire relayconstellatie een positiebepaling geeft, moet de mediane positieverdunningsfactor (PDOP, position dilution of precision) 6 of beter zijn.

    Methode: analyse · run RUN-LUNAR · afgelezen waarde: 5,22 1

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

    Openstaand punt: basis MODELLED

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

    Onder de gescripte L-bandinterferentie moet de draaggolf-tot-ruisdichtheidsverhouding (C/N0) van GPS L5 op of boven 25 dB-Hz blijven.

    Methode: analyse · run RUN-SPECTRUM · afgelezen waarde: 44,0752 dB-Hz

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

    Openstaand punt: basis PARTNER

  • SPC-002timeline.bands[0].min_cn0_dbhz >= 25 dB-Hzniet gehaaldPARTNER

    Onder de gescripte L-bandinterferentie moet de draaggolf-tot-ruisdichtheidsverhouding (C/N0) van GPS L1 coarse/acquisition (C/A) op of boven 25 dB-Hz blijven.

    Methode: analyse · run RUN-SPECTRUM · afgelezen waarde: 3,2329 dB-Hz

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

    Openstaand punt: niet gehaald

  • CMP-001timeline.channels.time_error_ns.values <= timeline.channels.guard_ns.values voor alle waardenniet gehaaldPARTNER

    In de gekoppelde missie met jamming, spoofing en holdover moet de tijdfout van de klok bij elke tijdlijnstap binnen zijn bewakingsmarge van 50 ns blijven.

    Methode: analyse · run RUN-CAMPAIGN · afgelezen waarde: 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

    Openstaand punt: niet gehaald

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

    In de gekoppelde missie moet binnen 30 minuten na de start een spoofingalarm worden gegeven.

    Methode: demonstratie · run RUN-CAMPAIGN · afgelezen waarde: 1.200 s

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

    Openstaand punt: methode, basis PARTNER

  • MARS-001fom.rms_error_relays_m <= 5 mgehaaldMODELLED

    Rond Mars moet de positiefout van alleen de constellatie over één sol 5 m effectieve waarde (root mean square, RMS) of beter zijn.

    Methode: analyse · run RUN-MARS · afgelezen waarde: 1,8827 m

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

    Openstaand punt: basis MODELLED

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

    Rond Mars moet de constellatie op 99 % van de epochs of meer een positiebepaling geven.

    Methode: analyse · run RUN-MARS · afgelezen waarde: 1 1

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

    Openstaand punt: basis MODELLED

  • OPS-001geen machinaal controleerbaar criteriumniet geverifieerd

    De behuizing van de ontvanger moet het identificatielabel van het programma dragen.

    Methode: inspectie · run geen · afgelezen waarde: geen run herleid

    Openstaand punt: geen bewijs, handmatige verificatie

Pagina 1 van het gegenereerde missiedossierPagina 2 van het gegenereerde missiedossier

21 pagina's, één opdracht. Open de gegenereerde PDF (Portable Document Format)

Kshana Pro 0.2.0 op open engine 0.29.0 · kshana-pro mission build · 5 runs en één afwegingsstudie · 7 gehaald, allemaal op basis van MODELLED of PARTNER · dossier SHA-256 49df1e0e… · ontwikkelbuild

Nog drie antwoorden

Heeft de laatste wijziging een cijfer waar we om geven slechter gemaakt?

  • GratisEen gratis gebruiker voert een campagne uit en leest het resultaat.
  • ProEen Pro-gebruiker benoemt de cijfers die ertoe doen in een reeks scenario's, geeft voor elk aan wat slechter betekent, en krijgt een pipeline die faalt wanneer een wijziging in een scenario, een model of de engine een van die cijfers verslechtert, of ervoor zorgt dat de eis niet meer wordt gehaald.

Het breidt de regressiecontrole van scenario's uit. Een Monte-Carlo-cijfer wordt met statistiek beoordeeld in plaats van met een tolerantie, zodat een nieuwe reeks willekeurige seeds niet als regressie wordt aangemerkt en een verdubbelde spreiding wel. Elke run wordt toegevoegd aan een historie waarin elk record de hash van het voorgaande bevat, en een controle meldt of die keten intact is.

Wat het niet doet. Een bewaking bewijst dat een cijfer met MODELLED stabiel bleef of bewoog; ze bewijst niet dat het cijfer waar is. Een cijfer zonder aangegeven richting wordt gemeld en laat een run nooit falen.

Campagnebewaking · zes revisies, één historieUitvoer van Kshana Pro
Bewaakt cijfer · revisie
draaggolf-tot-ruisdichtheidsverhouding (C/N0) aan het einde van de jammingfase○·▲▼··
grootste tijdfout op de tijdlijn van de missie○····≈
satellieten die worden gevolgd aan het einde van de jammingfase○··▼··
aandeel van de missie onder alarm○··▼·▲
spoofing gedetecteerd (fasenlengte)○····▲
tijdfout aan het einde van de holdover○····≈
▼verslechterd▲verbeterd·ongewijzigd≈bewogen binnen zijn tolerantie○eerste run: wordt de basislijn

Revisie r4-stronger-jammer · jammer verhoogd van -33 naar -24 dBW (decibel ten opzichte van één watt): C/N0 aan het einde van de jammingfase 30,60 → 21,82 dB-Hz (decibel-hertz), onder de ondergrens van 25 dB-Hz, eis niet gehaald; gevolgde satellieten 8 → 0; drie bewakingen verslechterd · mislukt, exitcode 1

Het meegeleverde campagnepakket, 10 bewaakte cijfers over drie open campagnes, tweemaal uitgevoerd: beide keren geslaagd, 0 van 125 cijfers bewogen, historie van 2 records intact.

Kshana Pro 0.2.0 op open engine 0.29.0 · kshana-pro ci · demonstratierevisies van campaign-jam-spoof-holdover-integrity.toml · historie 6 records, keten intact, laatste hash bb2f10eb… · MODELLEDOpenen in Kshana Studio

Ook in Kshana Pro

Eisen en traceerbaarheid

De hulpmiddelen van Kshana Pro voor modelgebaseerd systeemontwerp (MBSE) en programmabeheer toetsen de eisen van een programma aan runs van de open engine: ze importeren eisen als door komma's gescheiden waarden (CSV), of als een gedocumenteerde deelverzameling van het Requirements Interchange Format (ReqIF) of van tekst in Systems Modeling Language versie 2 (SysML v2), en leveren een verificatiekruisverwijzingsmatrix (VCRM), een SysML v2-model, een wijzigingsimpactrapport en een offline bewijspakket. Ze voeren niets opnieuw uit en berekenen niets opnieuw.

De uitvoer van de open engine die wordt gelezen
  • result.jsonde velden die een criterium noemt, hun eenheden, het reproduceerbaarheidsstempel van scenariohash, seed, engineversie en schemaversie, en het label van de run en de niveaus van de cijfers
  • report.jsonsoort, reproduceerbaarheidsrecord en mogelijkheidslabels
  • scenario filezijn hash, soort, seed en parameters
  • field-units schemaeenheid, herkomst en bewijsniveau van elk veld
  • verification matrixhet label VALIDATED, MODELLED of PARTNER van elke mogelijkheid

Afwegingsstudies

Een afwegingsstudie voert elke architectuuroptie uit als een ongewijzigd scenario van de open engine, rangschikt de opties op een kwaliteitsmaat die uit het resultaat van elke run wordt gelezen, en schrijft een bewijspakket dat de scenariohash van elke optie vastlegt, zodat elk cijfer erin kan worden gereproduceerd door dat scenario opnieuw uit te voeren.

Digitale klokkentweeling

Een klokkentweeling wordt gekalibreerd op het gepubliceerde Allan-deviatiebudget van een apparaat en daarna gecontroleerd door de eigen Allan-deviatie van de tweeling te schatten met de schatter van de open engine en de twee binnen een vermelde tolerantie te vergelijken. Een tweeling van uw eigen apparaat vraagt uw karakteriseringsgegevens en wordt gebouwd onder contract en een geheimhoudingsovereenkomst.

Studiedossier

Eén scenario wordt een reproduceerbare technische notitie in HTML (HyperText Markup Language) en JSON (JavaScript Object Notation): reikwijdte, methode, resultaten met een niveau bij elk cijfer, beperkingen en de exacte scenariotekst die is uitgevoerd.

  • Pro heeft een licentie nodig. Zonder licentie voert Pro alleen open scenario's uit en weigert het elke Pro-functie met een bericht dat noemt wat vereist is.
  • Sommig werk vraagt een ondertekende klant. Een tweeling van uw eigen apparaat vraagt uw karakteriseringsgegevens en wordt gebouwd onder contract en een geheimhoudingsovereenkomst.
  • Niets wat Pro voortbrengt is een certificering. Elk resultaat is berekend uit een model en zegt dat ook.

Uitgevoerd als studie op maat

  • Modellen van uw hardware. Sensor- of veerkrachtmodellen gekalibreerd op uw hardware worden alleen onder contract gebouwd, met uw gegevens.
  • Exportgecontroleerde veerkrachtmodellen worden niet openbaar aangeboden. Zulk werk wordt alleen uitgevoerd onder de passende veiligheidsmachtiging en een geheimhoudingsovereenkomst.

De grafieken in dit onderdeel zijn getekend op basis van de bestanden die de Pro-opdrachten schreven voor de uitgewerkte voorbeelden die met Pro worden meegeleverd: resultaten berekend uit een model, geen uitspraken over een echte missie. De formulering is overgenomen van de openbare Kshana Pro-pagina van de open repository.

02Studie op maat · hoe ze verloopt

Wanneer u een antwoord nodig hebt, geen hulpmiddel.

Een studie op maat gebruikt dezelfde engine die u zelf kunt draaien, dus elk cijfer erin kan door iedereen worden gecontroleerd.

  1. Vertel ons de vraag. Mail contact@ashforde.org met het systeem en de beslissing die het voedt. Er is geen formulier.
  2. Wij bepalen de omvang. Wat wordt gemodelleerd, met welke scenario's, en wat buiten de reikwijdte blijft, onder de passende veiligheidsmachtiging en NDA waar het werk dat vraagt.
  3. Wij modelleren het met dezelfde engine. Elk cijfer krijgt het label getoetst of berekend uit een model, precies zoals op deze site.
  4. U krijgt een reproduceerbaar resultaat. Reproduceerbaar vanuit scenario, seed en engineversie. Een studie op basis van een model, geen certificering.

Niet hetzelfde als kshana --study: die gratis opdracht voert een reeks scenario's uit die u zelf schrijft en maakt er één gestempeld rapport van (Ontwikkelaars). Een studie op maat is betaald werk dat wij voor u doen.

De open kern installerenUit de manifesten

Voor iedereen, niets te installeren.

De engine draait lokaal als WebAssembly; er wordt niets geüpload.