Strojový překlad, nekontrolovaný rodilým mluvčím. Referenční je anglická verze.

Edice · open core, Pro a studie na míru

Zdarma jako základ pro vaše řešení. Pro, když to musí obstát při oponentuře.

Engine je a zůstane open source pod licencí AGPL-3.0 (GNU Affero General Public License, verze 3), bez jakéhokoli omezení funkcí. Společnost Ashforde® OÜ ho podporuje odbornými znalostmi a proprietární nadstavbou, nikoli poplatky za licenční místa u otevřeného enginu. Na tomto webu nejsou žádné ceny: každá placená cesta začíná zprávou.

Jeden engine · kshana v0.40.0 Z repozitáře
Otevřený engine uprostřed: jedna značka na druh scénáře (92), vyplněná, kde druh má ověřené řádky registru, prázdná, kde jsou jeho řádky modelované, pomlčka, kde mu podle názvu neodpovídá žádný modul registru. Kshana Pro a studie na zakázku jsou kolem něj a navazují na druhy, na nichž staví.

Engine v0.40.0 · 92 druhů z src/api.rs · stav registru z web/data/verification-matrix.json · na čem stavějí Pro a studie: registr edic na webu · žádný scénář ani seedPorovnat edice

01Tři způsoby spolupráce

Porovnejte edice.

Pod všemi třemi je tentýž engine. Čtěte napříč řádkem a porovnejte, proč na tom záleží, pro koho je která určena, co obsahuje a jak se začíná.

Zdarma · AGPL-3.0 nebo komerční licence

Otevřené jádro

Celý ověřený engine a všechna rozhraní, zdarma a bez omezení funkcí. Běží na něm všechno na tomto webu.

Proč ho potřebuje každý

Každý, kdo bere polohu nebo čas z GNSS (globálních družicových navigačních systémů), je vystaven riziku: rušení (jamming), spoofing a ztráta signálu zasahují stejně vozidla, sítě, rozvodné soustavy i kosmické lodě. Open core ukazuje, jak moc jsou vystaveny, a říká, které hodnoty jsou ověřeny.

Pro koho je
  • Inženýři vozidel, sítí, rozvodných soustav a kosmických lodí, které berou polohu nebo čas z GNSS
  • Výzkumníci, studenti a recenzenti, kteří potřebují hodnoty, jež lze reprodukovat a citovat
  • Vývojáři, kteří zapojují engine do kódu, sady CI (průběžná integrace) nebo asistenta s AI (umělou inteligencí)
Co je obsaženo
  • Všech 92 druhů scénářů a 181 přibalených scénářů: nativně, v Pythonu, JavaScriptu, v prohlížeči a přes MCP (Model Context Protocol)
  • Úplná verifikační matice: 176 z 401 schopností ověřeno proti nezávislým orákulům, zbytek označen jako modelované
  • Každý výsledek opatřen otiskem scénáře, seedem a verzí enginu a zapsán jako JSON (JavaScript Object Notation), tabulky CSV (hodnoty oddělené čárkami) a grafy SVG (Scalable Vector Graphics)
  • Bezplatný spouštěč sad kshana --study
Podmínky

Zdarma pod licencí AGPL-3.0. Totéž jádro se nabízí i pod komerční licencí, pro uzavřenou integraci do proprietárních produktů (níže).

Komerční · tentýž engine, rozšířený

Kshana Pro

Proprietární nadstavba, která závisí na open core a nikdy ho nevětví: striktní nadmnožina otevřeného Kshana. K dispozici na základě smlouvy.

Proč Pro, ještě víc

Otevřený Kshana spustí jeden scénář a řekne, co dává. Kshana Pro odpovídá na otázky, které si program klade dál: jaký návrh vypustit, jak jistá je odpověď a zda mise splňuje své požadavky ve formě, kterou může přezkoumat oponentní komise.

Pro koho je
  • Programy, které musí předat dokumentaci mise nebo balíček důkazů auditní kvality oponentní nebo nákupní komisi
  • Architekti, kteří vybírají návrh z Paretovy fronty celého návrhového prostoru nebo z kompromisních studií seřazených podle ukazatele kvality
  • Časovací a hardwarové týmy, které potřebují digitální dvojče hodin kalibrované na jejich zařízení
Co je obsaženo
  • Optimalizátor návrhu: Paretova fronta návrhového prostoru, kde každý návrh na frontě je scénář, který bezplatný engine znovu spustí
  • Nejistota a citlivost přes tisíce běhů
  • Dokumentace mise jedním příkazem s verifikační maticí a souborem PDF (Portable Document Format)
  • Reprodukovatelné balíčky důkazů auditní kvality, digitální dvojčata hodin kalibrovaná na zveřejněný Allanův rozpočet zařízení a architektonické kompromisní studie seřazené podle ukazatele kvality
  • Nástroje pro modelově založené systémové inženýrství (MBSE) a programové nástroje, které kontrolují požadavky programu proti během otevřeného enginu a čtou jen výstupy, které engine zveřejňuje
Podmínky

Kshana Pro je k dispozici na základě smlouvy. Závisí na open core a nikdy ho nevětví, takže z bezplatného enginu se nic neodebírá.

Placená práce · hotová za vás

Studie na zakázku

Práce hotová za vás na vašem systému: placená studie na míru, nikoli bezplatný příkaz kshana --study.

Proč studie na míru

Když je otázka vaše, ale čas, modelování nebo prověření ne: namodelujeme váš systém týmž enginem, každou hodnotu označíme jako ověřenou nebo modelovanou a předáme výsledek, který můžete reprodukovat.

Pro koho je
  • Programové a nákupní týmy, které potřebují nezávislý, modelovaný pohled na odolnost architektury PNT (určování polohy, navigace a času)
  • Výrobci hardwaru, kteří chtějí modely svých vlastních zařízení
  • Programy citlivé z hlediska exportu a týmy, které chtějí mít Kshana ve své sadě nástrojů
Co je obsaženo
  • Modelovaná studie odolnosti PNT, například audit mezery v optimismu. Nejde o certifikaci.
  • Modely senzorů a odolnosti kalibrované na váš hardware
  • Práce na odolnosti podléhající exportním kontrolám pod příslušným prověřením a NDA (dohoda o mlčenlivosti)
  • Komerční podpora a integrace, školení a poradenství
Podmínky

Vymezeno vaší otázkou a dodáno na základě smlouvy, reprodukovatelné ze scénáře, seedu a verze enginu.

Licence open core

Jeden engine, dvě licence.

Vyberte tu, která odpovídá tomu, jak engine používáte. Obě se vztahují na tentýž otevřený engine; ani u jedné se nic nezadržuje.

Možnost A · open source

GNU AGPL-3.0

Používejte, studujte, upravujte a dále šiřte zdarma. Pokud šíříte odvozené dílo nebo umožníte lidem používat upravený engine přes síť, zveřejníte jeho zdrojový kód pod toutéž licencí.

Vhodné pro akademickou práci, open-source projekty, interní vyhodnocení a výzkum.

Možnost B · od Ashforde® OÜ

Komerční licence

  • Vložit engine do produktu s uzavřeným zdrojovým kódem
  • Provozovat síťovou službu na upraveném enginu bez povinnosti zveřejnit zdrojový kód
  • Integrovat ho do sady nástrojů, jejíž ostatní části nemohou být pod AGPL
  • Získat záruční, odškodňovací nebo podpůrné podmínky, které AGPL vylučuje

Zeptat se na komerční licenci

Kshana Pro a další proprietární nadstavby jsou samostatné produkty pod vlastní smlouvou, nikoli součást žádné z licencí. Co komerční licence pokrývá

Kshana Pro · tentýž engine, rozšířený

Bezplatná verze spustí jeden scénář. Pro odpovídá na otázku programu.

Otevřený Kshana spustí jeden scénář a řekne, co dává. Kshana Pro odpovídá na otázky, které si program klade dál, nad týmž enginem a týmiž soubory scénářů: jaký návrh vypustit, jak jistá je odpověď a zda mise splňuje své požadavky ve formě, kterou může přezkoumat oponentní komise.

  • Striktní nadmnožina otevřeného Kshana.Každý druh otevřeného scénáře běží v Pro beze změny a otevřený scénář běží v Pro vůbec bez licence.
  • Žádná nová fyzika.Každé číslo z Pro pochází z běhů otevřeného enginu, takže hodnota z Pro je stejně důvěryhodná jako druh otevřeného scénáře, z něhož pochází, a nikdy víc.
  • Reprodukovatelné v bezplatném enginu.Kdokoli s otevřeným Kshana může jeden běh zopakovat a získat tutéž hodnotu.
  • Poctivé štítky se přenášejí dál.Každý výsledek z Pro je označen jako MODELLED. Každá hodnota si zachovává úroveň, kterou jí dal otevřený engine (ověřená, modelovaná nebo od partnera), nikdy vyšší.
Optimalizátor návrhu

Jaký návrh bychom měli vypustit?

  • ZdarmaUživatel bezplatné verze ohodnotí jeden návrh, který napsal ručně.
  • ProUživatel Pro zadá návrhový prostor (každá proměnná je nastavení scénáře s přípustnými hodnotami), omezení a dva nebo tři cíle a získá celou Paretovu frontu: návrhy, které žádný jiný návrh neporazí ve všech cílech zároveň.

Základní scénář může být libovolného otevřeného druhu, takže tentýž nástroj navrhuje konstelaci kolem Země, Měsíce nebo Marsu, případně srovnává kompromisy linkového rozpočtu. Každý návrh je jeden běh otevřeného enginu. Každý návrh na frontě je zapsán jako prostý otevřený soubor scénáře spolu s otiskem hash Secure Hash Algorithm (SHA-256) výsledku, který pro něj bezplatný engine dává.

Co nedělá. Nemá nákladový model, takže proměnná, kterou žádný cíl nepenalizuje, se posouvá k okraji svého rozsahu. Studie konstelací hodnotí pouze geometrii: žádný výkon signálu, stav družic ani terén.

Paretova fronta · Lunární navigační konstelaceVýstup Kshana Pro
025507510081214162024satellites in the constellationavailability over the region, %referenceknee
každý spuštěný návrhParetova frontakolenoreference: přibalený návrh lunárního relé (8 + 6 družic)

Návrh 004 na frontě · koleno · 16 družic, dostupnost 85,0404 % · 2 roviny ve výšce 8 000 km, 45° · znovu spuštěno v bezplatném enginu: stejný SHA-256 89882372…

608 návrhů, všechny spuštěny (celý Měsíc): fronta o 12 návrzích v 6 bodech; 12 z 12 znovu spuštěno v bezplatném enginu se stejným otiskem výsledku. MODELLED.

Kshana Pro 0.2.0 na otevřeném enginu 0.29.0 · kshana-pro design · 609 běhů enginu · otisk běhu df81aad4…

Nejistota a citlivost

Jak jsme si jistí a co výsledek ovlivňuje?

  • ZdarmaUživatel bezplatné verze dostane jedno číslo nebo rozptyl přes náhodné seedy.
  • ProUživatel Pro uvede, jak nejistý je každý vstup, a získá pásma spolehlivosti, pravděpodobnost splnění limitu a pořadí vstupů, které výsledek ovlivňují.

Funguje na libovolném otevřeném scénáři. Vstupy se řadí podle Sobolových indexů citlivosti nebo podle standardizovaných regresních koeficientů a pořadí, které není spolehlivé, je jako takové označeno. Dlouhou studii lze zastavit a znovu obnovit.

Co nedělá. Vstupy se považují za nezávislé. Více běhů zužuje výběrovou chybu, nikoli chybu modelu: druh MODELLED zůstává MODELLED.

Nejistota a citlivostVýstup Kshana Pro
-50-2002050time error, nslimit ±20 ns100%0%share of runs within the limit0102030405060minutes of holdover
5. až 95. percentil z 2 000 běhůmediánzákladní běhpodíl v rámci limitu

Po 60 minutách: 1 366 z 2 000 běhů v rozmezí ±20 ns, pravděpodobnost 0,683 (95 % interval 0,6623 až 0,703)

Holdover hodin s nejistou úrovní šumu · vstup q_wf (úroveň šumu bílé frekvence hodin): rovnoměrné(4.5e-20 až 2.7e-19), PŘEDPOKLÁDÁNO · MODELLED · Kshana Pro 0.2.0 na otevřeném enginu 0.29.0 · kshana-pro uncertainty · 2 000 běhů enginu · otisk běhu abab765e…

Dokumentace mise

Splňuje mise své požadavky a můžeme to předat?

  • ZdarmaUživatel bezplatné verze dostane jednu zprávu na běh.
  • ProUživatel Pro dostane jedním příkazem jednu dokumentaci mise: požadavky ověřené proti skutečným během, verifikační matici s otevřenými položkami a PDF (Portable Document Format), v němž lze každé číslo znovu odvodit bezplatným enginem.

Požadavek splněný na základě MODELLED nebo PARTNER je označen. Požadavky, které se mají ověřit zkouškou, prohlídkou nebo demonstrací, zůstávají otevřenými položkami bez ohledu na to, jak běh dopadl.

Co nedělá. Důkaz ze simulace se počítá jako analýza a nenahrazuje zkoušku, prohlídku ani demonstraci. Dokumentace není certifikace, kvalifikace ani schválení žádným úřadem.

Dokumentace mise · Program navigační odolnosti: Země, Měsíc a MarsVýstup Kshana Pro
12požadavky
7splněno
4nesplněno
1neověřeno
15otevřené položky
  • LEO-001ppp.cases[1].median_convergence_min <= 10 minsplněnoMODELLED

    Po přidání 240 družic na nízké oběžné dráze Země (LEO) musí přesné určování polohy bodu (PPP) konvergovat do 10 minut (medián přes běhy se seedem).

    Metoda: analýza · běh RUN-LEO · přečtená hodnota: 7,5 min

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

    Otevřená položka: základ MODELLED

  • LEO-002ppp.cases[0].median_convergence_min <= 10 minnesplněnoMODELLED

    Se samotnými GPS a Galileo musí přesné určování polohy bodu (PPP) konvergovat do 10 minut (medián přes běhy se seedem).

    Metoda: analýza · běh RUN-LEO · přečtená hodnota: 11,5 min

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

    Otevřená položka: nesplněno

  • LEO-003fusion.fused.rms_error_3d_m <= 0,5 msplněnoMODELLED

    S vrstvou LEO musí být sloučená trojrozměrná chyba polohy 0,5 m kvadratického průměru (RMS) nebo lepší.

    Metoda: zkouška · běh RUN-LEO · přečtená hodnota: 0,4349 m

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

    Otevřená položka: metoda, základ MODELLED

  • LUN-001global.availability_pct >= 95 %nesplněnoMODELLED

    Lunární relé konstelace musí poskytovat určení polohy s faktorem zhoršení přesnosti polohy (PDOP) 6 nebo lepším nejméně na 95 % povrchu Měsíce a dne.

    Metoda: analýza · běh RUN-LUNAR · přečtená hodnota: 21,3286 %

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

    Otevřená položka: nesplněno

  • LUN-002global.pdop.median <= 6splněnoMODELLED

    Kde lunární relé konstelace určení polohy poskytuje, musí být medián faktoru zhoršení přesnosti polohy (PDOP) 6 nebo lepší.

    Metoda: analýza · běh RUN-LUNAR · přečtená hodnota: 5,22 1

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

    Otevřená položka: základ MODELLED

  • SPC-001timeline.bands[3].min_cn0_dbhz >= 25 dB-HzsplněnoPARTNER

    Při skriptovaném rušení v pásmu L musí poměr nosné k hustotě šumu (C/N0) signálu GPS L5 zůstat na úrovni 25 dB-Hz nebo nad ní.

    Metoda: analýza · běh RUN-SPECTRUM · přečtená hodnota: 44,0752 dB-Hz

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

    Otevřená položka: základ PARTNER

  • SPC-002timeline.bands[0].min_cn0_dbhz >= 25 dB-HznesplněnoPARTNER

    Při skriptovaném rušení v pásmu L musí poměr nosné k hustotě šumu (C/N0) signálu GPS L1 coarse/acquisition (C/A) zůstat na úrovni 25 dB-Hz nebo nad ní.

    Metoda: analýza · běh RUN-SPECTRUM · přečtená hodnota: 3,2329 dB-Hz

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

    Otevřená položka: nesplněno

  • CMP-001timeline.channels.time_error_ns.values <= timeline.channels.guard_ns.values for all valuesnesplněnoPARTNER

    Ve zřetězené misi s rušením (jamming), spoofingem a holdoverem musí časová chyba hodin v každém kroku časové osy zůstat v rámci ochranné meze 50 ns.

    Metoda: analýza · běh RUN-CAMPAIGN · přečtená hodnota: 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

    Otevřená položka: nesplněno

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

    Ve zřetězené misi musí být poplach spoofingu vyvolán do 30 minut od začátku.

    Metoda: demonstrace · běh RUN-CAMPAIGN · přečtená hodnota: 1 200 s

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

    Otevřená položka: metoda, základ PARTNER

  • MARS-001fom.rms_error_relays_m <= 5 msplněnoMODELLED

    Kolem Marsu musí být chyba polohy samotné konstelace 5 m kvadratického průměru (RMS) nebo lepší po dobu jednoho solu.

    Metoda: analýza · běh RUN-MARS · přečtená hodnota: 1,8827 m

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

    Otevřená položka: základ MODELLED

  • MARS-002fom.availability_relays >= 99 %splněnoMODELLED

    Kolem Marsu musí konstelace poskytovat určení polohy v 99 % epoch nebo více.

    Metoda: analýza · běh RUN-MARS · přečtená hodnota: 1 1

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

    Otevřená položka: základ MODELLED

  • OPS-001žádné strojově ověřitelné kritériumneověřeno

    Pouzdro přijímače musí nést identifikační štítek programu.

    Metoda: prohlídka · běh žádný · přečtená hodnota: nebyl dohledán žádný běh

    Otevřená položka: žádný důkaz, ruční ověření

Strana 1 vygenerované dokumentace miseStrana 2 vygenerované dokumentace mise

21 stran, jeden příkaz. Otevřít vygenerované PDF (Portable Document Format)

Kshana Pro 0.2.0 na otevřeném enginu 0.29.0 · kshana-pro mission build · 5 běhů a jedna kompromisní studie · 7 splněno, vše na základě MODELLED nebo PARTNER · SHA-256 dokumentace 49df1e0e… · vývojové sestavení

Další tři odpovědi

Zhoršila poslední změna hodnotu, na které nám záleží?

  • ZdarmaUživatel bezplatné verze spustí kampaň a přečte si výsledek.
  • ProUživatel Pro pojmenuje hodnoty, na kterých v sadě scénářů záleží, určí, co pro každou znamená horší, a získá pipeline, která selže, když změna scénáře, modelu nebo enginu některou z nich zhorší nebo když přestane splňovat svůj požadavek.

Rozšiřuje kontrolu regrese scénářů. Hodnota z Monte Carlo se posuzuje statisticky, nikoli tolerancí, takže nová sada náhodných seedů se nepovažuje za regresi, ale zdvojnásobený rozptyl ano. Každý běh se připojí do historie, v níž každý záznam nese otisk předchozího, a kontrola oznámí, zda je řetězec neporušen.

Co nedělá. Sledování dokazuje, že hodnota MODELLED zůstala stabilní nebo se pohnula; nedokazuje, že je hodnota pravdivá. Hodnota bez uvedeného směru je vykázána a nikdy neukončí běh selháním.

Sledování kampaní · šest revizí, jedna historieVýstup Kshana Pro
Sledovaná hodnota · revize
poměr nosné k hustotě šumu (C/N0) na konci fáze rušení○·▲▼··
největší časová chyba na časové ose mise○····≈
družice sledované na konci fáze rušení○··▼··
podíl mise pod poplachem○··▼·▲
spoofing detekován (délka fáze)○····▲
časová chyba na konci holdoveru○····≈
▼zhoršeno▲zlepšeno·beze změny≈pohnulo se v rámci tolerance○první běh: stává se základem

Revize r4-stronger-jammer · rušička zesílena z -33 na -24 dBW (decibely vztažené k jednomu wattu): C/N0 na konci fáze rušení 30,60 → 21,82 dB-Hz (decibel-hertz), pod hranicí 25 dB-Hz, požadavek nesplněn; sledované družice 8 → 0; tři sledování se zhoršila · neprošlo, návratový kód 1

Přibalený balík kampaní, 10 sledovaných hodnot ve třech otevřených kampaních, spuštěný dvakrát: oba běhy prošly, 0 ze 125 hodnot se pohnulo, historie o 2 záznamech neporušená.

Kshana Pro 0.2.0 na otevřeném enginu 0.29.0 · kshana-pro ci · demonstrační revize campaign-jam-spoof-holdover-integrity.toml · historie 6 záznamů, řetězec neporušen, poslední otisk bb2f10eb… · MODELLEDOtevřít v Kshana Studiu

Také v Kshana Pro

Požadavky a sledovatelnost

Nástroje Kshana Pro pro modelově založené systémové inženýrství (MBSE) a programové řízení kontrolují požadavky programu proti během otevřeného enginu: importují požadavky jako hodnoty oddělené čárkami (CSV) nebo jako zdokumentovanou podmnožinu Requirements Interchange Format (ReqIF) či textu Systems Modeling Language verze 2 (SysML v2) a vytvářejí verifikační křížovou matici (VCRM), model SysML v2, zprávu o dopadu změn a offline balíček důkazů. Nic znovu nespouštějí ani nepřepočítávají.

Výstupy otevřeného enginu, které čte
  • result.jsonpole, která kritérium uvádí, jejich jednotky, reprodukovatelný otisk ve složení otisk scénáře, seed, verze enginu a verze schématu a štítek běhu a úrovně hodnot
  • report.jsondruh, záznam reprodukovatelnosti a štítky schopností
  • scenario filejeho otisk, druh, seed a parametry
  • field-units schemajednotka, původ a úroveň důkazů každého pole
  • verification matrixštítek VALIDATED, MODELLED nebo PARTNER každé schopnosti

Kompromisní studie

Kompromisní studie spustí každou variantu architektury jako nezměněný scénář otevřeného enginu, seřadí varianty podle ukazatele kvality přečteného z výsledku každého běhu a zapíše balíček důkazů, který zaznamenává otisk scénáře každé varianty, takže každou hodnotu v něm lze reprodukovat opětovným spuštěním tohoto scénáře.

Digitální dvojče hodin

Dvojče hodin se kalibruje na zveřejněný rozpočet Allanovy odchylky zařízení a poté se zkontroluje tak, že se Allanova odchylka samotného dvojčete odhadne odhadovačem otevřeného enginu a obě se porovnají v rámci uvedené tolerance. Dvojče vašeho vlastního zařízení vyžaduje vaše charakterizační data a vytváří se na základě smlouvy a dohody o mlčenlivosti.

Dokumentace studie

Jeden scénář se stane reprodukovatelnou technickou poznámkou v HTML (HyperText Markup Language) a JSON (JavaScript Object Notation): rozsah, metoda, výsledky s úrovní u každé hodnoty, omezení a přesný text spuštěného scénáře.

  • Pro vyžaduje licenci. Bez ní Pro spouští pouze otevřené scénáře a každou funkci Pro odmítne se zprávou, která uvádí, co je potřeba.
  • Některá práce vyžaduje podepsaného zákazníka. Dvojče vašeho vlastního zařízení vyžaduje vaše charakterizační data a vytváří se na základě smlouvy a dohody o mlčenlivosti.
  • Nic, co Pro vytvoří, není certifikace. Každý výsledek je modelovaný a říká to.

Realizováno jako studie na míru

  • Modely vašeho hardwaru. Modely senzorů nebo odolnosti kalibrované na váš hardware se vytvářejí pouze na základě smlouvy a s vašimi daty.
  • Modely odolnosti podléhající exportním kontrolám se veřejně nenabízejí. Taková práce se provádí pouze pod příslušným prověřením a na základě dohody o mlčenlivosti.

Grafy v této části jsou vykresleny ze souborů, které příkazy Pro zapsaly pro ukázkové příklady dodávané s Pro: modelované výsledky, nikoli tvrzení o jakékoli skutečné misi. Znění je citováno z veřejné stránky Kshana Pro v otevřeném repozitáři.

02Studie na míru · jak probíhá

Když potřebujete odpověď, ne nástroj.

Studie na míru používá týž engine, který můžete spustit sami, takže každou hodnotu v ní může zkontrolovat kdokoli.

  1. Sdělte nám otázku. Napište na contact@ashforde.org systém a rozhodnutí, které z něj vychází. Žádný formulář neexistuje.
  2. Vymezíme ji. Co se bude modelovat, v jakých scénářích a co zůstane mimo rozsah, pod příslušným prověřením a NDA tam, kde to práce vyžaduje.
  3. Namodelujeme ji týmž enginem. Každá hodnota je označena jako ověřená nebo modelovaná, přesně jako na tomto webu.
  4. Dostanete reprodukovatelný výsledek. Reprodukovatelný ze scénáře, seedu a verze enginu. Modelovaná studie, nikoli certifikace.

Není totéž co kshana --study: tento bezplatný příkaz spustí sadu scénářů, které si napíšete, do jedné opečetěné zprávy (Vývojáři). Studie na míru je placená práce, kterou děláme za vás.

Nainstalovat open coreZ manifestů

Pro kohokoli, nic k instalaci.

Engine běží lokálně jako WebAssembly; nic se nenahrává.