Konekäännös, jota äidinkielinen puhuja ei ole tarkistanut. Viitteenä on englanninkielinen versio.

Versiot · avoin ydin, Pro ja räätälöity selvitys

Vapaa rakennettavaksi. Pro, kun sen on kestettävä tarkastus.

Moottori on ja pysyy avoimena lähdekoodina AGPL-3.0-lisenssillä (GNU Affero General Public License, versio 3), ilman ominaisuusrajoituksia. Ashforde® OÜ ylläpitää sitä asiantuntemuksella ja suljetulla lisäkerroksella, ei paikkamaksuilla avoimesta moottorista. Tällä sivustolla ei ole hintoja: jokainen maksullinen reitti alkaa viestillä.

Käynnistä Kshana Studio Katso Kshana ProOta yhteyttä
Yksi moottori · kshana v0.40.0 Repositoriosta
Avoin moottori keskellä: yksi merkki skenaariotyyppiä kohti (92), täytetty, kun tyypillä on validoituja kirjanpitorivejä, ontto, kun sen rivit ovat mallinnettuja, ja viiva, kun mikään kirjanpitomoduuli ei vastaa sitä nimeltä. Kshana Pro ja räätälöity tutkimus ovat sen ympärillä ja yhdistyvät tyyppeihin, joiden varaan ne rakentuvat.

Moottori v0.40.0 · 92 tyyppiä lähteestä src/api.rs · kirjanpidon tila lähteestä web/data/verification-matrix.json · mihin Pro ja tutkimus perustuvat: sivuston editioiden rekisteri · ei skenaariota eikä siemenlukuaVertaa versioita

01Kolme tapaa työskennellä kanssamme

Vertaa versioita.

Sama moottori on kaikkien kolmen alla. Lue rivi poikki verratessasi, miksi se on tärkeä, kenelle kukin on tarkoitettu, mitä se sisältää ja miten se alkaa.

Ilmainen · AGPL-3.0 tai kaupallinen lisenssi

Avoin ydin

Koko validoitu moottori ja kaikki pinnat, ilmaiseksi ilman ominaisuusrajoituksia. Kaikki tällä sivustolla toimii sen päällä.

Miksi kaikki tarvitsevat sitä

Jokainen, joka ottaa paikan tai ajan GNSS:stä (Global Navigation Satellite Systems), on alttiina: häirintä, harhautus ja signaalin menetys osuvat yhtä lailla ajoneuvoihin, verkkoihin, sähköverkkoihin ja avaruusaluksiin. Avoin ydin näyttää, kuinka alttiita ne ovat, ja kertoo, mitkä luvut on tarkistettu.

Kenelle se on tarkoitettu
  • Ajoneuvojen, verkkojen, sähköverkkojen ja avaruusalusten insinöörit, jotka ottavat paikan tai ajan GNSS:stä
  • Tutkijat, opiskelijat ja tarkastajat, jotka tarvitsevat lukuja, jotka he voivat toistaa ja lainata
  • Kehittäjät, jotka kytkevät moottorin koodiin, CI-ketjuun (continuous integration) tai tekoälyavustajaan (artificial intelligence)
Mitä se sisältää
  • Kaikki 92 skenaariotyyppiä ja 181 mukana toimitettua skenaariota: natiivisti, Pythonilla, JavaScriptillä, selaimessa ja MCP:n (Model Context Protocol) kautta
  • Koko varmennusmatriisi: 401 ominaisuudesta 176 validoitu riippumattomia oraakkeleita vastaan, loput merkitty mallinnetuiksi
  • Jokaiseen tulokseen leimataan skenaarion tiiviste, siemenluku ja moottorin versio, ja se kirjoitetaan JSON-muodossa (JavaScript Object Notation), CSV-taulukkoina (comma-separated values) ja SVG-kaavioina (Scalable Vector Graphics)
  • Maksuton skenaariosarjojen ajotyökalu kshana --study
Ehdot

Ilmainen AGPL-3.0-lisenssillä. Sama ydin on tarjolla myös kaupallisella lisenssillä suljettuun integrointiin yritysten omiin tuotteisiin (alla).

Käynnistä Kshana Studio Kysy kaupallisesta lisenssistä
Kaupallinen · sama moottori, laajennettuna

Kshana Pro

Suljettu lisäkerros, joka riippuu avoimesta ytimestä eikä koskaan haarauta sitä: avoimen Kshanan tiukka ylijoukko. Saatavilla sopimuksella.

Miksi Pro, vielä enemmän

Avoin Kshana ajaa yhden skenaarion ja kertoo, mitä se antaa. Kshana Pro vastaa kysymyksiin, joita ohjelma esittää seuraavaksi: mikä suunnitelma lennetään, kuinka varma vastaus on ja täyttääkö tehtävä vaatimuksensa muodossa, jonka tarkastuslautakunta voi tarkistaa.

Kenelle se on tarkoitettu
  • Ohjelmat, joiden on luovutettava tehtäväasiakirja tai auditointikelpoinen todistepaketti tarkastus- tai hankintalautakunnalle
  • Arkkitehdit, jotka valitsevat suunnitelman koko suunnitteluavaruuden Pareto-rintamalta tai laatumittarilla järjestetyistä vaihtoehtovertailuista
  • Ajoitus- ja laitteistotiimit, jotka tarvitsevat laitteeseensa kalibroidun kellon digitaalisen kaksosen
Mitä se sisältää
  • Suunnitteluoptimoija: suunnitteluavaruuden Pareto-rintama, jossa jokainen rintaman suunnitelma on skenaario, jonka ilmainen moottori ajaa uudelleen
  • Epävarmuus ja herkkyys tuhansien ajojen yli
  • Yhden komennon tehtäväasiakirja, jossa on varmennusmatriisi ja PDF-tiedosto (Portable Document Format)
  • Auditointikelpoiset, toistettavat todistepaketit, laitteen julkaistuun Allanin poikkeaman budjettiin kalibroidut kellojen digitaaliset kaksoset ja laatumittarilla järjestetyt arkkitehtuurivertailut
  • Mallipohjaisen systeemisuunnittelun (MBSE) ja ohjelmatyökalut, jotka tarkistavat ohjelman vaatimukset avoimen moottorin ajoja vasten ja lukevat vain moottorin julkaisemat tulosteet
Ehdot

Kshana Pro on saatavilla sopimuksella. Se riippuu avoimesta ytimestä eikä koskaan haarauta sitä, joten ilmaisesta moottorista ei oteta mitään pois.

Pyydä arviointi Katso laajennettu versio
Maksullinen työ · tehdään puolestasi

Räätälöity tutkimus

Puolestasi järjestelmässäsi tehtävä työ: maksullinen räätälöity selvitys, ei ilmainen komento kshana --study.

Miksi räätälöity selvitys

Kun kysymys on sinun mutta aika, mallinnus tai turvallisuusselvitys ei ole: mallinnamme järjestelmäsi samalla moottorilla, merkitsemme jokaisen luvun validoiduksi tai mallinnetuksi ja palautamme tuloksen, jonka voit toistaa.

Kenelle se on tarkoitettu
  • Ohjelma- ja hankintatiimit, jotka tarvitsevat riippumattoman, mallinnetun näkemyksen PNT-arkkitehtuurin (paikannus, navigointi ja ajanmääritys) kestävyydestä
  • Laitteistovalmistajat, jotka haluavat malleja omista laitteistaan
  • Vientirajoitteiset ohjelmat ja tiimit, jotka haluavat Kshanan omaan työkaluketjuunsa
Mitä se sisältää
  • Mallinnettu PNT-kestävyysselvitys, esimerkiksi optimismivajeen auditointi. Ei sertifiointi.
  • Anturi- ja kestävyysmallit, jotka on kalibroitu laitteistoosi
  • Vientivalvottu kestävyystyö asianmukaisella turvallisuusselvityksellä ja NDA:lla (non-disclosure agreement)
  • Kaupallinen tuki ja integrointi, koulutus ja konsultointi
Ehdot

Rajattu kysymykseesi ja toimitettu sopimuksella, toistettavissa skenaarion, siemenluvun ja moottoriversion perusteella.

Pyydä selvitys Kuinka selvitys etenee
Avoimen ytimen lisenssi

Yksi moottori, kaksi lisenssiä.

Valitse se, joka sopii käyttötapaasi. Molemmat kattavat saman avoimen moottorin; kummastakaan ei pidätetä mitään.

Lisenssiopascontact@ashforde.org

Vaihtoehto A · avoin lähdekoodi

GNU AGPL-3.0

Käytä, tutki, muokkaa ja jaa edelleen maksutta. Jos jaat johdannaisteoksen tai annat ihmisten käyttää muokattua moottoria verkon yli, jaat sen lähdekoodin samalla lisenssillä.

Sopii akateemiseen työhön, avoimen lähdekoodin projekteihin, sisäiseen arviointiin ja tutkimukseen.

Vaihtoehto B · yritykseltä Ashforde® OÜ

Kaupallinen lisenssi

  • Upota moottori suljetun lähdekoodin tuotteeseen
  • Aja verkkopalvelua muokatulla moottorilla ilman lähdekoodin julkistamisvelvoitetta
  • Integroi se työkaluketjuun, jonka muut osat eivät voi olla AGPL-lisensoituja
  • Saat takuu-, vahingonkorvaus- tai tukiehdot, jotka AGPL sulkee pois

Kysy kaupallisesta lisenssistä

Kshana Pro ja muut suljetut lisäkerrokset ovat erillisiä tuotteita omilla sopimuksillaan, eivät osa kumpaakaan lisenssiä. Mitä kaupallinen lisenssi kattaa

Kshana Pro · sama moottori, laajennettuna

Ilmainen ajaa yhden skenaarion. Pro vastaa ohjelman kysymykseen.

Avoin Kshana ajaa yhden skenaarion ja kertoo, mitä se antaa. Kshana Pro vastaa kysymyksiin, joita ohjelma esittää seuraavaksi, samalla moottorilla ja samoilla skenaariotiedostoilla: mikä suunnitelma lennetään, kuinka varma vastaus on ja täyttääkö tehtävä vaatimuksensa muodossa, jonka tarkastuslautakunta voi tarkistaa.

  • Avoimen Kshanan tiukka ylijoukko.Jokainen avoin skenaariotyyppi toimii Pro-versiossa muuttumattomana, ja avoin skenaario toimii Pro-versiossa ilman lisenssiä lainkaan.
  • Ei uutta fysiikkaa.Jokainen Pro-luku tulee avoimen moottorin ajoista, joten Pro-luku on yhtä luotettava kuin se avoin skenaariotyyppi, josta se tuli, eikä koskaan luotettavampi.
  • Toistettavissa ilmaisessa moottorissa.Kuka tahansa, jolla on avoin Kshana, voi ajaa sen uudelleen ja saada saman luvun.
  • Rehelliset merkinnät säilyvät.Jokainen Pro-tulos on merkitty MODELLED. Jokainen luku säilyttää tason, jonka avoin moottori antoi sille (validoitu, mallinnettu tai kumppanin), ei koskaan korkeampaa.
Suunnitteluoptimoija

Mikä suunnitelma lennetään?

  • IlmainenIlmaisen version käyttäjä pisteyttää yhden käsin kirjoittamansa suunnitelman.
  • ProPro-käyttäjä kuvaa suunnitteluavaruuden (jokainen muuttuja on skenaarioasetus sallittuine arvoineen), rajoitteet ja kaksi tai kolme tavoitetta, ja saa koko Pareto-rintaman: suunnitelmat, joita mikään muu suunnitelma ei voita kaikilla tavoitteilla yhtä aikaa.

Peruskenaario voi olla mitä tahansa avointa tyyppiä, joten sama työkalu suunnittelee tähdistön Maan, Kuun tai Marsin ympärille tai vertailee linkkibudjettia. Jokainen suunnitelma on yksi avoimen moottorin ajo. Jokainen rintaman suunnitelma kirjoitetaan tavallisena avoimena skenaariotiedostona, ja sen mukana on Secure Hash Algorithm -tiiviste (SHA-256) tuloksesta, jonka ilmainen moottori antaa sille.

Mitä se ei tee. Siinä ei ole kustannusmallia, joten muuttuja, jota mikään tavoite ei rankaise, ajautuu vaihteluvälinsä reunalle. Tähdistöselvitykset pisteyttävät vain geometrian: ei signaalitehoa, satelliittien tilaa eikä maastoa.

Pareto-rintama · Kuun navigointitähdistöKshana Pro -tuloste
025507510081214162024satellites in the constellationavailability over the region, %referenceknee
jokainen ajettu suunnitelmaPareto-rintamapolvivertailu: mukana toimitettu Kuun releen suunnitelma (8 + 6 satelliittia)

Rintaman suunnitelma 004 · polvi · 16 satelliittia, 85,0404 % saatavuus · 2 ratatasoa korkeudella 8 000 km, 45° · ajettu uudelleen ilmaisessa moottorissa: sama SHA-256 89882372…

608 suunnitelmaa, kaikki ajettu (koko Kuu): 12 suunnitelman rintama 6 pisteessä; 12 / 12 ajettu uudelleen ilmaisessa moottorissa samalla tulostiivisteellä. MODELLED.

Kshana Pro 0.2.0 avoimella moottorilla 0.29.0 · kshana-pro design · 609 moottoriajoa · ajon tiiviste df81aad4…

Epävarmuus ja herkkyys

Kuinka varmoja olemme ja mikä ohjaa tulosta?

  • IlmainenIlmaisen version käyttäjä saa yhden luvun tai hajonnan satunnaisten siemenlukujen yli.
  • ProPro-käyttäjä kertoo, kuinka epävarma kukin syöte on, ja saa luottamusvyöhykkeet, rajan täyttämisen todennäköisyyden sekä järjestyksen niistä syötteistä, jotka ohjaavat tulosta.

Se toimii mille tahansa avoimelle skenaariolle. Syötteet järjestetään Sobol'-herkkyysindeksien tai standardoitujen regressiokertoimien mukaan, ja epäluotettava järjestys merkitään sellaiseksi. Pitkä selvitys voidaan pysäyttää ja jatkaa.

Mitä se ei tee. Syötteitä käsitellään riippumattomina. Lisäajot kaventavat otantavirhettä, eivät mallivirhettä: tyyppi, jonka merkintä on MODELLED, pysyy merkinnällä MODELLED.

Epävarmuus ja herkkyysKshana Pro -tuloste
-50-2002050time error, nslimit ±20 ns100%0%share of runs within the limit0102030405060minutes of holdover
2 000 ajon 5.–95. persentiilimediaaniperusajorajan sisällä olevien osuus

60 minuutin jälkeen: 1 366 / 2 000 ajoa rajoissa ±20 ns, todennäköisyys 0,683 (95 % väli 0,6623–0,703)

Kellon holdover epävarmalla kohinatasolla · syöte q_wf (kellon valkoisen taajuuskohinan taso): tasajakauma(4.5e-20–2.7e-19), OLETETTU · MODELLED · Kshana Pro 0.2.0 avoimella moottorilla 0.29.0 · kshana-pro uncertainty · 2 000 moottoriajoa · ajon tiiviste abab765e…

Tehtäväasiakirja

Täyttääkö tehtävä vaatimuksensa, ja voimmeko luovuttaa sen todisteena?

  • IlmainenIlmaisen version käyttäjä saa yhden raportin ajoa kohti.
  • ProPro-käyttäjä saa yhden tehtäväasiakirjan yhdellä komennolla: vaatimukset tarkistettuna oikeita ajoja vasten, varmennusmatriisin avoimine kohtineen ja PDF-tiedoston (Portable Document Format), jonka jokainen luku voidaan johtaa uudelleen ilmaisella moottorilla.

Vaatimus, joka on täytetty perusteella MODELLED tai PARTNER, merkitään lipulla. Vaatimukset, jotka on varmennettava testillä, tarkastuksella tai demonstraatiolla, pysyvät avoimina kohtina ajon tuloksesta riippumatta.

Mitä se ei tee. Simulaatiotodiste lasketaan analyysiksi eikä korvaa testiä, tarkastusta tai demonstraatiota. Tehtäväasiakirja ei ole sertifiointi, kelpuutus eikä minkään viranomaisen hyväksyntä.

Tehtäväasiakirja · Navigoinnin kestävyysohjelma: Maa, Kuu ja MarsKshana Pro -tuloste
12vaatimukset
7täyttyi
4ei täyttynyt
1ei varmennettu
15avoimet kohdat
  • LEO-001ppp.cases[1].median_convergence_min <= 10 mintäyttyiMODELLED

    Kun lisätään 240 matalan Maan kiertoradan (LEO) satelliittia, tarkan pistepaikannuksen (PPP) on suppenettava 10 minuutissa (mediaani siemenellisten ajojen yli).

    Menetelmä: analyysi · ajo RUN-LEO · luettu arvo: 7,5 min

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

    Avoin kohta: perusta MODELLED

  • LEO-002ppp.cases[0].median_convergence_min <= 10 minei täyttynytMODELLED

    Pelkillä GPS:llä ja Galileolla tarkan pistepaikannuksen (PPP) on suppenettava 10 minuutissa (mediaani siemenellisten ajojen yli).

    Menetelmä: analyysi · ajo RUN-LEO · luettu arvo: 11,5 min

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

    Avoin kohta: ei täyttynyt

  • LEO-003fusion.fused.rms_error_3d_m <= 0,5 mtäyttyiMODELLED

    LEO-kerroksella yhdistetyn kolmiulotteisen paikkavirheen on oltava 0,5 m neliökeskiarvona (RMS) tai parempi.

    Menetelmä: testi · ajo RUN-LEO · luettu arvo: 0,4349 m

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

    Avoin kohta: menetelmä, perusta MODELLED

  • LUN-001global.availability_pct >= 95 %ei täyttynytMODELLED

    Kuun relejoukon on annettava paikkaratkaisu, jonka paikan tarkkuuden heikkenemiskerroin (PDOP) on 6 tai parempi, kattaen vähintään 95 % Kuun pinnasta ja vuorokaudesta.

    Menetelmä: analyysi · ajo RUN-LUNAR · luettu arvo: 21,3286 %

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

    Avoin kohta: ei täyttynyt

  • LUN-002global.pdop.median <= 6täyttyiMODELLED

    Missä Kuun relejoukko antaa paikkaratkaisun, paikan tarkkuuden heikkenemiskertoimen (PDOP) mediaanin on oltava 6 tai parempi.

    Menetelmä: analyysi · ajo RUN-LUNAR · luettu arvo: 5,22 1

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

    Avoin kohta: perusta MODELLED

  • SPC-001timeline.bands[3].min_cn0_dbhz >= 25 dB-HztäyttyiPARTNER

    Ohjatussa L-kaistan häirinnässä GPS L5 -signaalin kantoaalto-kohinatiheyssuhteen (C/N0) on pysyttävä vähintään 25 dB-Hz.

    Menetelmä: analyysi · ajo RUN-SPECTRUM · luettu arvo: 44,0752 dB-Hz

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

    Avoin kohta: perusta PARTNER

  • SPC-002timeline.bands[0].min_cn0_dbhz >= 25 dB-Hzei täyttynytPARTNER

    Ohjatussa L-kaistan häirinnässä GPS L1 C/A -signaalin (coarse/acquisition) kantoaalto-kohinatiheyssuhteen (C/N0) on pysyttävä vähintään 25 dB-Hz.

    Menetelmä: analyysi · ajo RUN-SPECTRUM · luettu arvo: 3,2329 dB-Hz

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

    Avoin kohta: ei täyttynyt

  • CMP-001timeline.channels.time_error_ns.values <= timeline.channels.guard_ns.values kaikille arvoilleei täyttynytPARTNER

    Ketjutetussa häirinnän, harhautuksen ja holdoverin tehtävässä kellon aikavirheen on pysyttävä suojarajan 50 ns sisällä jokaisella aikajanan askeleella.

    Menetelmä: analyysi · ajo RUN-CAMPAIGN · luettu arvo: 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

    Avoin kohta: ei täyttynyt

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

    Ketjutetussa tehtävässä harhautushälytys on annettava 30 minuutin kuluessa alusta.

    Menetelmä: demonstraatio · ajo RUN-CAMPAIGN · luettu arvo: 1 200 s

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

    Avoin kohta: menetelmä, perusta PARTNER

  • MARS-001fom.rms_error_relays_m <= 5 mtäyttyiMODELLED

    Marsin ympärillä pelkän tähdistön paikkavirheen on oltava 5 m neliökeskiarvona (RMS) tai parempi yhden Marsin vuorokauden (sol) aikana.

    Menetelmä: analyysi · ajo RUN-MARS · luettu arvo: 1,8827 m

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

    Avoin kohta: perusta MODELLED

  • MARS-002fom.availability_relays >= 99 %täyttyiMODELLED

    Marsin ympärillä tähdistön on annettava paikkaratkaisu vähintään 99 % ajanhetkistä.

    Menetelmä: analyysi · ajo RUN-MARS · luettu arvo: 1 1

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

    Avoin kohta: perusta MODELLED

  • OPS-001ei koneellisesti tarkistettavaa kriteeriäei varmennettu

    Vastaanottimen kotelossa on oltava ohjelman tunnistetarra.

    Menetelmä: tarkastus · ajo ei mitään · luettu arvo: ajoa ei jäljitetty

    Avoin kohta: ei todistetta, manuaalinen varmennus

Luodun tehtäväasiakirjan sivu 1Luodun tehtäväasiakirjan sivu 2

21 sivua, yksi komento. Avaa luotu PDF (Portable Document Format)

Kshana Pro 0.2.0 avoimella moottorilla 0.29.0 · kshana-pro mission build · 5 ajoa ja yksi vaihtoehtovertailu · 7 täyttyi, kaikki perusteella MODELLED tai PARTNER · asiakirjan SHA-256 49df1e0e… · kehitysversio

Kolme lisävastausta

Heikensikö viimeisin muutos jotakin luvuista, joista välitämme?

  • IlmainenIlmaisen version käyttäjä ajaa kampanjan ja lukee tuloksen.
  • ProPro-käyttäjä nimeää skenaariojoukon tärkeät luvut, kertoo, mitä huonompi tarkoittaa kullekin, ja saa putken, joka epäonnistuu, kun skenaarion, mallin tai moottorin muutos huonontaa jotakin niistä tai kun se lakkaa täyttämästä vaatimustaan.

Se laajentaa skenaarioiden regressiotarkistusta. Monte Carlo -lukua arvioidaan tilastoilla toleranssin sijaan, joten uutta satunnaisten siemenlukujen joukkoa ei pidetä regressiona, mutta kaksinkertaistunut hajonta pidetään. Jokainen ajo lisätään historiaan, jossa jokainen tietue sisältää edellisen tiivisteen, ja tarkistus raportoi, onko ketju ehjä.

Mitä se ei tee. Valvonta osoittaa, että luku, jonka merkintä on MODELLED, pysyi vakaana tai siirtyi; se ei osoita luvun olevan tosi. Luku, jolle ei ole annettu suuntaa, raportoidaan eikä se koskaan epäonnistuta ajoa.

Kampanjavalvonta · kuusi versiota, yksi historiaKshana Pro -tuloste
Valvottu luku · versio
kantoaalto-kohinatiheyssuhde (C/N0) häirintävaiheen lopussa○·▲▼··
suurin aikavirhe tehtävän aikajanalla○····≈
satelliitit, joita seurataan häirintävaiheen lopussa○··▼··
hälytystilassa olevan tehtävän osuus○··▼·▲
harhautus havaittu (vaiheen pituus)○····▲
aikavirhe holdover-tilan lopussa○····≈
▼heikentynyt▲parantunut·muuttumaton≈pysyi toleranssin rajoissa○ensimmäinen ajo: tulee lähtötasoksi

Versio r4-stronger-jammer · häirintälähetintä nostettiin arvosta -33 arvoon -24 dBW (desibeliä suhteessa yhteen wattiin): C/N0 häirintävaiheen lopussa 30,60 → 21,82 dB-Hz (desibeli-hertsi), alle rajan 25 dB-Hz, vaatimus ei täyttynyt; seurattavia satelliitteja 8 → 0; kolme valvontaa heikentyi · epäonnistui, poistumiskoodi 1

Mukana toimitettu kampanjapaketti, 10 valvottua lukua kolmessa avoimessa kampanjassa, ajettu kahdesti: läpäisi molemmilla kerroilla, 125 luvusta 0 liikkui, 2 tietueen historia ehjä.

Kshana Pro 0.2.0 avoimella moottorilla 0.29.0 · kshana-pro ci · tiedoston campaign-jam-spoof-holdover-integrity.toml demonstraatioversiot · historia 6 tietuetta, ketju ehjä, viimeinen tiiviste bb2f10eb… · MODELLEDAvaa Kshana Studiossa

Myös Kshana Prossa

Vaatimukset ja jäljitettävyys

Kshana Pron mallipohjainen järjestelmäsuunnittelu (MBSE) ja ohjelmatyökalut tarkistavat ohjelman vaatimukset avoimen moottorin ajoja vasten: se tuo vaatimukset sisään pilkuilla erotettuina arvoina (CSV) tai dokumentoituna osajoukkona Requirements Interchange Formatista (ReqIF) tai Systems Modeling Language version 2 (SysML v2) -tekstistä, ja tuottaa varmennuksen ristiviittausmatriisin (VCRM), SysML v2 -mallin, muutosvaikutusraportin ja offline-todistepaketin. Se ei aja eikä laske mitään uudelleen.

Avoimen moottorin tulosteet, joita se lukee
  • result.jsonkentät, jotka kriteeri nimeää, niiden yksiköt, toistettavuusleima (skenaarion tiiviste, siemenluku, moottorin versio ja skeeman versio) sekä ajon nimi ja lukujen tasot
  • report.jsontyyppi, toistettavuustietue ja ominaisuuksien merkinnät
  • scenario filesen tiiviste, tyyppi, siemenluku ja parametrit
  • field-units schemakunkin kentän yksikkö, alkuperä ja todisteiden taso
  • verification matrixkunkin ominaisuuden VALIDATED-, MODELLED- tai PARTNER-merkintä

Vaihtoehtovertailut

Vaihtoehtovertailu ajaa jokaisen arkkitehtuurivaihtoehdon muuttumattomana avoimen moottorin skenaariona, asettaa vaihtoehdot järjestykseen kunkin ajon tuloksesta luetun laatumittarin mukaan ja kirjoittaa todistepaketin, joka kirjaa kunkin vaihtoehdon skenaarion tiivisteen, joten mikä tahansa sen luku voidaan toistaa ajamalla kyseinen skenaario uudelleen.

Kellon digitaalinen kaksonen

Kellokaksonen kalibroidaan laitteen julkaistuun Allanin poikkeaman budjettiin, minkä jälkeen se tarkistetaan estimoimalla kaksosen oma Allanin poikkeama avoimen moottorin estimaattorilla ja vertaamalla näitä kahta ilmoitetun toleranssin sisällä. Oman laitteesi kaksonen vaatii karakterisointidataasi, ja se rakennetaan sopimuksella ja salassapitosopimuksella (NDA).

Tutkimusdossier

Yhdestä skenaariosta tulee toistettava tekninen muistio HTML-muodossa (HyperText Markup Language) ja JSON-muodossa (JavaScript Object Notation): rajaus, menetelmä, tulokset niin, että jokaisella luvulla on taso, rajoitukset ja ajettu skenaarioteksti sellaisenaan.

  • Pro tarvitsee lisenssin. Ilman sitä Pro ajaa vain avoimia skenaarioita ja kieltäytyy jokaisesta Pro-ominaisuudesta viestillä, joka nimeää, mitä vaaditaan.
  • Osa työstä vaatii allekirjoittaneen asiakkaan. Oman laitteesi kaksonen vaatii karakterisointidataasi, ja se rakennetaan sopimuksella ja salassapitosopimuksella (NDA).
  • Mikään, mitä Pro tuottaa, ei ole sertifiointi. Jokainen tulos on mallinnettu, ja se kertoo sen.

Tehdään räätälöitynä tutkimuksena

  • Oman laitteistosi mallit. Laitteistoosi kalibroidut anturi- tai kestävyysmallit rakennetaan vain sopimuksella ja sinun datallasi.
  • Vientirajoitettuja kestävyysmalleja ei tarjota julkisesti. Tällainen työ tehdään vain asianmukaisella turvaluokituksella ja salassapitosopimuksella (NDA).
Pyydä Pro-arviointia Lisenssiopas

Tämän osion kaaviot on piirretty tiedostoista, jotka Pro-komennot kirjoittivat Pron mukana toimitetuille esimerkkitapauksille: mallinnettuja tuloksia, ei väitteitä mistään todellisesta tehtävästä. Sanamuoto on lainattu avoimen repositorion julkiselta Kshana Pro -sivulta.

02Räätälöity tutkimus · miten se etenee

Kun tarvitset vastauksen, et työkalua.

Räätälöity tutkimus käyttää samaa moottoria, jota voit ajaa itse, joten kuka tahansa voi tarkistaa jokaisen sen luvun.

  1. Kerro kysymyksesi. Lähetä sähköpostia osoitteeseen contact@ashforde.org ja kerro järjestelmä ja päätös, jota se palvelee. Lomaketta ei ole.
  2. Rajaamme sen. Mitä mallinnetaan, millä skenaarioilla ja mikä jää rajauksen ulkopuolelle, asianmukaisella turvaluokituksella ja salassapitosopimuksella (NDA), jos työ sitä vaatii.
  3. Mallinnamme sen samalla moottorilla. Jokainen luku merkitään validoiduksi tai mallinnetuksi, täsmälleen kuten tällä sivustolla.
  4. Saat toistettavan tuloksen. Toistettavissa skenaarion, siemenluvun ja moottorin version perusteella. Mallinnettu tutkimus, ei sertifiointi.

Ei sama kuin kshana --study: tuo ilmainen komento ajaa kirjoittamasi skenaariojoukon yhdeksi leimatuksi raportiksi (Kehittäjät). Räätälöity tutkimus on maksullista työtä, jonka teemme puolestasi.

Asenna avoin ydinManifesteista

Kenelle tahansa, ei asennettavaa.

Käynnistä Kshana Studio

Moottori toimii paikallisesti WebAssemblynä; mitään ei lähetetä.

Avaa Kshana StudioStudion opas