Машинний переклад, не перевірений носієм мови. Еталоном є англійська версія.

Видання · відкрите ядро, Pro і індивідуальне дослідження

Вільно для розробки. Pro, коли результат має витримати рецензування.

Рушій є і залишатиметься відкритим кодом за ліцензією AGPL-3.0 (GNU Affero General Public License, версія 3), без жодних обмежень функцій. Ashforde® OÜ підтримує його експертизою та пропрієтарною надбудовою, а не платою за робочі місця на відкритому рушії. На цьому сайті немає цін: кожен платний шлях починається з повідомлення.

Запустити Kshana Studio Дивитися Kshana ProЗв'яжіться з нами
Один рушій · kshana v0.40.0 З репозиторію
Відкритий рушій у центрі: одна позначка на вид сценарію (92), заповнена там, де вид має перевірені рядки реєстру, порожниста там, де його рядки змодельовані, риска там, де жоден модуль реєстру не збігається з ним за назвою. Kshana Pro і власне дослідження розташовані навколо нього й з'єднані з видами, на яких вони побудовані.

Рушій v0.40.0 · 92 видів із src/api.rs · статус реєстру з web/data/verification-matrix.json · на чому побудовані Pro і дослідження: реєстр редакцій сайту · без сценарію та зернаПорівняти видання

01Три способи працювати з нами

Порівняйте видання.

Під усіма трьома лежить той самий рушій. Читайте рядок поперек, щоб порівняти, чому це важливо, для кого призначене кожне видання, що воно містить і як починається робота.

Безкоштовно · AGPL-3.0 або комерційна ліцензія

Відкрите ядро

Весь рушій, перевірений зовнішньо, і всі поверхні, безкоштовно і без обмежень функцій. Усе на цьому сайті працює на ньому.

Чому це потрібно кожному

Під загрозою опиняється кожен, хто бере положення чи час із GNSS (глобальних навігаційних супутникових систем): глушіння, спуфінг і втрата сигналу однаково впливають на транспортні засоби, мережі, енергосистеми та космічні апарати. Відкрите ядро показує, наскільки великий цей вплив, і каже, які значення перевірено.

Для кого
  • Інженери транспортних засобів, мереж, енергосистем і космічних апаратів, які беруть положення чи час із GNSS
  • Дослідники, студенти та рецензенти, яким потрібні значення, що їх можна відтворити й цитувати
  • Розробники, які підключають рушій до коду, набору CI (безперервної інтеграції) або помічника зі штучним інтелектом (AI)
Що входить
  • Усі 92 видів сценаріїв і 181 вбудованих сценаріїв: нативно, у Python, JavaScript, у браузері та через MCP (Model Context Protocol)
  • Повна матриця верифікації: 176 із 401 можливостей перевірено за незалежними оракулами, решту позначено як змодельовані
  • Кожен результат позначено хешем сценарію, зерном (seed) і версією рушія та записано як JSON (JavaScript Object Notation), таблиці CSV (значення, розділені комами) і діаграми SVG (Scalable Vector Graphics)
  • Безкоштовний запускач наборів kshana --study
Умови

Безкоштовно за AGPL-3.0. Те саме ядро пропонується й за комерційною ліцензією для закритої інтеграції в пропрієтарні продукти (нижче).

Запустити Kshana Studio Запитати про комерційну ліцензію
Комерційне · той самий рушій, розширений

Kshana Pro

Пропрієтарна надбудова, що залежить від відкритого ядра і ніколи не відгалужує його: строга надмножина відкритого Kshana. Доступна за договором.

Чому Pro, ще більше

Відкритий Kshana запускає один сценарій і показує, що той дає. Kshana Pro відповідає на запитання, які програма ставить далі: який проєкт запускати, наскільки певна відповідь і чи відповідає місія своїм вимогам у формі, яку може перевірити ревізійна рада.

Для кого
  • Програми, які мусять передати досьє місії або пакет доказів аудиторського рівня ревізійній або закупівельній раді
  • Архітектори, які обирають проєкт із фронту Парето всього простору проєктів або з порівняльних досліджень, ранжованих за показником якості
  • Команди синхронізації часу та апаратури, яким потрібен цифровий двійник годинника, відкалібрований під їхній пристрій
Що входить
  • Оптимізатор проєктів: фронт Парето простору проєктів, де кожен проєкт фронту є сценарієм, який безкоштовний рушій запускає повторно
  • Невизначеність і чутливість на тисячах прогонів
  • Досьє місії однією командою з матрицею верифікації та файлом PDF (Portable Document Format)
  • Відтворювані пакети доказів аудиторського рівня, цифрові двійники годинника, відкалібровані за опублікованим бюджетом Аллана пристрою, та порівняльні дослідження архітектур, ранжовані за показником якості
  • Інструменти системної інженерії на основі моделей (MBSE) і програмні інструменти, що перевіряють вимоги програми за прогонами відкритого рушія і читають лише вихідні дані, які рушій публікує
Умови

Kshana Pro доступний за договором. Він залежить від відкритого ядра і ніколи не відгалужує його, тож нічого не забирається з безкоштовного рушія.

Запросити оцінювання Побачити його розширеним
Платна робота · виконана за вас

Індивідуальне дослідження

Робота, виконана за вас на вашій системі: платне індивідуальне дослідження, а не безкоштовна команда kshana --study.

Чому індивідуальне дослідження

Коли запитання ваше, а час, моделювання чи допуск не ваші: ми моделюємо вашу систему тим самим рушієм, позначаємо кожне значення як перевірене за незалежним еталоном або обчислене за моделлю й повертаємо результат, який ви можете відтворити.

Для кого
  • Команди програм і закупівель, яким потрібен незалежний, обчислений за моделлю погляд на стійкість архітектури PNT (позиціонування, навігація та час)
  • Виробники апаратури, які хочуть мати моделі власних пристроїв
  • Програми з обмеженнями експорту та команди, які хочуть мати Kshana у своєму наборі інструментів
Що входить
  • Дослідження стійкості PNT, обчислене за моделлю, наприклад аудит розриву в оптимізмі. Не сертифікація.
  • Моделі сенсорів і стійкості, відкалібровані під вашу апаратуру
  • Робота зі стійкості, що підлягає експортному контролю, за відповідним допуском і NDA (угодою про нерозголошення)
  • Комерційна підтримка та інтеграція, навчання й консультації
Умови

Окреслено під ваше запитання та надається за договором, відтворюється за сценарієм, зерном (seed) і версією рушія.

Замовити дослідження Як проводиться дослідження
Ліцензія відкритого ядра

Один рушій, дві ліцензії.

Оберіть ту, що відповідає тому, як ви його використовуєте. Обидві охоплюють той самий відкритий рушій; нічого не стримується ні в одній із них.

Посібник із ліцензуванняcontact@ashforde.org

Варіант A · відкритий код

GNU AGPL-3.0

Використовуйте, вивчайте, змінюйте та поширюйте його безкоштовно. Якщо ви поширюєте похідну роботу або дозволяєте людям користуватися зміненим рушієм через мережу, ви ділитеся її вихідним кодом за тією самою ліцензією.

Підходить для академічної роботи, проєктів із відкритим кодом, внутрішнього оцінювання та досліджень.

Варіант B · від Ashforde® OÜ

Комерційна ліцензія

  • Вбудувати рушій у продукт із закритим кодом
  • Запускати мережеву службу на зміненому рушії без зобов'язання розкривати вихідний код
  • Інтегрувати його в набір інструментів, інші частини якого не можуть бути AGPL
  • Отримати умови гарантії, відшкодування збитків або підтримки, від яких AGPL відмовляється

Запитати про комерційну ліцензію

Kshana Pro та інші пропрієтарні надбудови є окремими продуктами за власним договором і не входять до жодної з ліцензій. Що охоплює комерційна ліцензія

Kshana Pro · той самий рушій, розширений

Безкоштовний запускає один сценарій. Pro відповідає на запитання програми.

Відкритий Kshana запускає один сценарій і показує, що той дає. Kshana Pro відповідає на запитання, які програма ставить далі, на тому самому рушії та тих самих файлах сценаріїв: який проєкт запускати, наскільки певна відповідь і чи відповідає місія своїм вимогам у формі, яку може перевірити ревізійна рада.

  • Строга надмножина відкритого Kshana.Кожен вид відкритого сценарію працює в Pro без змін, а відкритий сценарій працює в Pro взагалі без ліцензії.
  • Жодної нової фізики.Кожне число Pro походить із прогонів відкритого рушія, тож значення Pro заслуговує на стільки ж довіри, як і вид відкритого сценарію, з якого воно походить, і ніколи на більше.
  • Відтворюється в безкоштовному рушії.Будь-хто з відкритим Kshana може повторити прогін і отримати те саме значення.
  • Чесні позначки зберігаються.Кожен результат Pro позначено MODELLED. Кожне значення зберігає рівень, який надав йому відкритий рушій (перевірено зовнішньо, обчислено за моделлю або належить партнеру), і ніколи не вищий.
Оптимізатор проєктів

Який проєкт нам запускати?

  • БезкоштовноБезкоштовний користувач оцінює один проєкт, написаний уручну.
  • ProКористувач Pro задає простір проєктів (кожна змінна є параметром сценарію з допустимими значеннями), обмеження та дві-три цілі й отримує весь фронт Парето: проєкти, яких жоден інший проєкт не перевершує одночасно за всіма цілями.

Базовий сценарій може бути будь-якого відкритого виду, тож той самий інструмент проєктує орбітальне угруповання навколо Землі, Місяця чи Марса або зіставляє бюджет лінії зв'язку. Кожен проєкт є одним прогоном відкритого рушія. Кожен проєкт фронту записується як звичайний відкритий файл сценарію разом із хешем Secure Hash Algorithm (SHA-256) результату, який дає для нього безкоштовний рушій.

Чого він не робить. У ньому немає моделі вартості, тож змінна, яку жодна ціль не штрафує, зміщується до краю свого діапазону. Дослідження орбітального угруповання оцінюють лише геометрію: без потужності сигналу, справності супутників чи рельєфу.

Фронт Парето · Місячне навігаційне орбітальне угрупованняВихідні дані Kshana Pro
025507510081214162024satellites in the constellationavailability over the region, %referenceknee
кожен запущений проєктфронт Паретоколіноеталон: вбудований проєкт місячного ретранслятора (8 + 6 супутників)

Проєкт фронту 004 · коліно · 16 супутників, доступність 85,0404 % · 2 площини на 8 000 km, 45° · повторний запуск у безкоштовному рушії: той самий SHA-256 89882372…

608 проєктів, усі запущено (увесь Місяць): фронт із 12 проєктів у 6 точках; 12 із 12 повторно запущено в безкоштовному рушії з тим самим хешем результату. MODELLED.

Kshana Pro 0.2.0 на відкритому рушії 0.29.0 · kshana-pro design · 609 прогонів рушія · дайджест прогону df81aad4…

Невизначеність і чутливість

Наскільки ми певні і що визначає результат?

  • БезкоштовноБезкоштовний користувач отримує одне число або розкид за випадковими зернами (seed).
  • ProКористувач Pro задає, наскільки невизначений кожен вхід, і отримує довірчі смуги, імовірність дотримання межі та ранжування входів, що визначають результат.

Працює на будь-якому відкритому сценарії. Входи ранжуються за індексами чутливості Соболя або за стандартизованими коефіцієнтами регресії, а ранжування, що ненадійне, позначається як таке. Тривале дослідження можна зупинити й відновити.

Чого він не робить. Входи вважаються незалежними. Більше прогонів зменшує похибку вибірки, а не похибку моделі: вид MODELLED залишається MODELLED.

Невизначеність і чутливістьВихідні дані Kshana Pro
-50-2002050time error, nslimit ±20 ns100%0%share of runs within the limit0102030405060minutes of holdover
від 5-го до 95-го процентиля 2 000 прогонівмедіанабазовий прогінчастка в межах

Після 60 хвилин: 1 366 із 2 000 прогонів у межах ±20 ns, імовірність 0,683 (інтервал 95 % від 0,6623 до 0,703)

Holdover годинника з невизначеним рівнем шуму · вхід q_wf (рівень білого частотного шуму годинника): uniform(4.5e-20 до 2.7e-19), ASSUMED · MODELLED · Kshana Pro 0.2.0 на відкритому рушії 0.29.0 · kshana-pro uncertainty · 2 000 прогонів рушія · дайджест прогону abab765e…

Досьє місії

Чи відповідає місія своїм вимогам і чи можемо ми це передати?

  • БезкоштовноБезкоштовний користувач отримує один звіт на прогін.
  • ProКористувач Pro отримує одне досьє місії однією командою: вимоги, перевірені за реальними прогонами, матрицю верифікації з її відкритими пунктами та PDF (Portable Document Format), у якому кожне число можна повторно вивести безкоштовним рушієм.

Вимога, виконана на основі MODELLED або PARTNER, позначається. Вимоги, що підлягають перевірці випробуванням, оглядом або демонстрацією, залишаються відкритими пунктами незалежно від перебігу прогону.

Чого він не робить. Докази симуляції вважаються аналізом і не замінюють випробування, огляд чи демонстрацію. Досьє не є сертифікацією, кваліфікацією чи прийняттям жодним органом.

Досьє місії · Програма навігаційної стійкості: Земля, Місяць і МарсВихідні дані Kshana Pro
12вимоги
7виконано
4не виконано
1не перевірено
15відкриті пункти
  • LEO-001ppp.cases[1].median_convergence_min <= 10 minвиконаноMODELLED

    Із 240 доданими супутниками низької навколоземної орбіти (LEO) точне позиціонування (PPP) має зійтися протягом 10 хвилин (медіана за прогонами із зерном).

    Метод: аналіз · прогін RUN-LEO · прочитане значення: 7,5 min

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

    Відкритий пункт: основа MODELLED

  • LEO-002ppp.cases[0].median_convergence_min <= 10 minне виконаноMODELLED

    Лише з GPS і Galileo точне позиціонування (PPP) має зійтися протягом 10 хвилин (медіана за прогонами із зерном).

    Метод: аналіз · прогін RUN-LEO · прочитане значення: 11,5 min

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

    Відкритий пункт: не виконано

  • LEO-003fusion.fused.rms_error_3d_m <= 0,5 mвиконаноMODELLED

    З шаром LEO сумарна тривимірна похибка положення має становити 0,5 m середньоквадратичного значення (RMS) або менше.

    Метод: випробування · прогін RUN-LEO · прочитане значення: 0,4349 m

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

    Відкритий пункт: метод, основа MODELLED

  • LUN-001global.availability_pct >= 95 %не виконаноMODELLED

    Місячна ретрансляційна орбітальна група має забезпечувати визначення положення з геометричним чинником погіршення точності положення (PDOP) 6 або кращим щонайменше на 95 % поверхні Місяця та доби.

    Метод: аналіз · прогін RUN-LUNAR · прочитане значення: 21,3286 %

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

    Відкритий пункт: не виконано

  • LUN-002global.pdop.median <= 6виконаноMODELLED

    Там, де місячна ретрансляційна орбітальна група забезпечує визначення, медіанний геометричний чинник погіршення точності положення (PDOP) має становити 6 або краще.

    Метод: аналіз · прогін RUN-LUNAR · прочитане значення: 5,22 1

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

    Відкритий пункт: основа MODELLED

  • SPC-001timeline.bands[3].min_cn0_dbhz >= 25 dB-HzвиконаноPARTNER

    За сценарної завади в діапазоні L відношення несівної до густини шуму (C/N0) GPS L5 має залишатися не нижчим за 25 dB-Hz.

    Метод: аналіз · прогін RUN-SPECTRUM · прочитане значення: 44,0752 dB-Hz

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

    Відкритий пункт: основа PARTNER

  • SPC-002timeline.bands[0].min_cn0_dbhz >= 25 dB-Hzне виконаноPARTNER

    За сценарної завади в діапазоні L відношення несівної до густини шуму (C/N0) GPS L1 грубого кодування/захоплення (C/A) має залишатися не нижчим за 25 dB-Hz.

    Метод: аналіз · прогін RUN-SPECTRUM · прочитане значення: 3,2329 dB-Hz

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

    Відкритий пункт: не виконано

  • CMP-001timeline.channels.time_error_ns.values <= timeline.channels.guard_ns.values for all valuesне виконаноPARTNER

    У ланцюговій місії глушіння, спуфінгу та holdover похибка часу годинника має залишатися в межах захисної межі 50 ns на кожному кроці часової шкали.

    Метод: аналіз · прогін RUN-CAMPAIGN · прочитане значення: 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

    Відкритий пункт: не виконано

  • CMP-002min(timeline.events[].t_s) <= 30 minвиконаноPARTNER

    У ланцюговій місії тривога спуфінгу має бути піднята протягом 30 хвилин від початку.

    Метод: демонстрація · прогін RUN-CAMPAIGN · прочитане значення: 1 200 s

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

    Відкритий пункт: метод, основа PARTNER

  • MARS-001fom.rms_error_relays_m <= 5 mвиконаноMODELLED

    Навколо Марса похибка положення лише за орбітальним угрупованням має становити 5 m середньоквадратичного значення (RMS) або менше протягом одного сола.

    Метод: аналіз · прогін RUN-MARS · прочитане значення: 1,8827 m

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

    Відкритий пункт: основа MODELLED

  • MARS-002fom.availability_relays >= 99 %виконаноMODELLED

    Навколо Марса орбітальне угруповання має забезпечувати визначення положення в 99 % епох або більше.

    Метод: аналіз · прогін RUN-MARS · прочитане значення: 1 1

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

    Відкритий пункт: основа MODELLED

  • OPS-001немає критерію, придатного для машинної перевіркине перевірено

    На корпусі приймача має бути ідентифікаційна етикетка програми.

    Метод: огляд · прогін відсутній · прочитане значення: жоден прогін не простежено

    Відкритий пункт: немає доказів, ручна перевірка

Сторінка 1 згенерованого досьє місіїСторінка 2 згенерованого досьє місії

21 сторінка, одна команда. Відкрити згенерований PDF (Portable Document Format)

Kshana Pro 0.2.0 на відкритому рушії 0.29.0 · kshana-pro mission build · 5 прогонів і одне порівняльне дослідження · 7 виконано, усі на основі MODELLED або PARTNER · SHA-256 досьє 49df1e0e… · збірка для розробки

Ще три відповіді

Чи погіршила остання зміна важливе для нас значення?

  • БезкоштовноБезкоштовний користувач запускає кампанію й читає результат.
  • ProКористувач Pro називає значення, що мають значення, у наборі сценаріїв, вказує, що для кожного з них означає «гірше», і отримує конвеєр, який завершується невдачею, коли зміна сценарію, моделі чи рушія погіршує одне з них або воно перестає відповідати своїй вимозі.

Він розширює перевірку регресії сценаріїв. Значення Монте-Карло оцінюється статистикою, а не допуском, тож новий набір випадкових зерен (seed) не вважається регресією, а подвоєний розкид вважається. Кожен прогін додається до історії, у якій кожен запис містить хеш попереднього, а перевірка повідомляє, чи цілий цей ланцюг.

Чого він не робить. Спостереження доводить, що значення MODELLED залишилося стабільним або змінилося; воно не доводить, що значення істинне. Значення без указаного напрямку повідомляється і ніколи не завершує прогін невдачею.

Спостереження за кампанією · шість ревізій, одна історіяВихідні дані Kshana Pro
Значення під спостереженням · ревізія
відношення несівної до густини шуму (C/N0) наприкінці фази глушіння○·▲▼··
найбільша похибка часу на часовій шкалі місії○····≈
супутники, що супроводжуються наприкінці фази глушіння○··▼··
частка місії під тривогою○··▼·▲
спуфінг виявлено (тривалість фази)○····▲
похибка часу наприкінці holdover○····≈
▼регресія▲покращилося·без змін≈змінилося в межах допуску○перший прогін: стає базовим рівнем

Ревізія r4-stronger-jammer · глушник підвищено з -33 до -24 dBW (децибели відносно одного вата): C/N0 наприкінці фази глушіння 30,60 → 21,82 dB-Hz (децибел-герц), нижче порога 25 dB-Hz, вимогу не виконано; супутників, що супроводжуються, 8 → 0; три спостереження дали регресію · не пройдено, код завершення 1

Вбудований пакет кампаній, 10 значень під спостереженням у трьох відкритих кампаніях, запущений двічі: обидва рази пройдено, 0 зі 125 значень змінилися, історія з 2 записів цілісна.

Kshana Pro 0.2.0 на відкритому рушії 0.29.0 · kshana-pro ci · демонстраційні ревізії campaign-jam-spoof-holdover-integrity.toml · історія 6 записів, ланцюг цілісний, останній хеш bb2f10eb… · MODELLEDВідкрити в Kshana Studio

Також у Kshana Pro

Вимоги та простежуваність

Інструменти системної інженерії на основі моделей (MBSE) і програмні інструменти Kshana Pro перевіряють вимоги програми за прогонами відкритого рушія: вони імпортують вимоги як значення, розділені комами (CSV), або як задокументовану підмножину Requirements Interchange Format (ReqIF) чи тексту Systems Modeling Language версії 2 (SysML v2) і створюють перехресну матрицю верифікації (VCRM), модель SysML v2, звіт про вплив змін і автономний пакет доказів. Вони нічого не запускають повторно й не перераховують.

Вихідні дані відкритого рушія, які він читає
  • result.jsonполя, названі критерієм, їхні одиниці, відбиток відтворюваності з хешу сценарію, зерна (seed), версії рушія та версії схеми, а також мітка прогону й рівні значень
  • report.jsonвид, запис відтворюваності та мітки можливостей
  • scenario fileйого хеш, вид, зерно (seed) і параметри
  • field-units schemaодиниця, походження та рівень доказів кожного поля
  • verification matrixмітка VALIDATED, MODELLED або PARTNER кожної можливості

Порівняльні дослідження

Порівняльне дослідження запускає кожен варіант архітектури як незмінений сценарій відкритого рушія, ранжує варіанти за показником якості, прочитаним із результату кожного прогону, і записує пакет доказів, що фіксує хеш сценарію кожного варіанта, тож будь-яке значення в ньому можна відтворити повторним запуском цього сценарію.

Цифровий двійник годинника

Двійник годинника калібрується за опублікованим бюджетом девіації Аллана пристрою, а потім перевіряється оцінюванням власної девіації Аллана двійника оцінювачем відкритого рушія та порівнянням обох у вказаному допуску. Двійник вашого власного пристрою потребує ваших даних характеризації та створюється за договором і угодою про нерозголошення.

Досьє дослідження

Один сценарій стає відтворюваною технічною запискою у форматах HTML (HyperText Markup Language) і JSON (JavaScript Object Notation): обсяг, метод, результати з рівнем для кожного значення, обмеження та точний текст запущеного сценарію.

  • Pro потребує ліцензії. Без неї Pro запускає лише відкриті сценарії та відмовляє в кожній функції Pro повідомленням, яке називає, що потрібно.
  • Частина роботи потребує підписаного замовника. Двійник вашого власного пристрою потребує ваших даних характеризації та створюється за договором і угодою про нерозголошення.
  • Ніщо, що створює Pro, не є сертифікацією. Кожен результат обчислено за моделлю, і про це сказано прямо.

Виконується як індивідуальне дослідження

  • Моделі вашої апаратури. Моделі сенсорів чи стійкості, відкалібровані під вашу апаратуру, створюються лише за договором і з вашими даними.
  • Моделі стійкості, що підлягають експортному контролю, публічно не пропонуються. Така робота виконується лише за відповідним допуском і угодою про нерозголошення.
Запросити оцінювання Pro Посібник із ліцензування

Діаграми в цьому розділі побудовано за файлами, які команди Pro записали для робочих прикладів, що постачаються з Pro: це результати, обчислені за моделлю, а не твердження про будь-яку реальну місію. Формулювання цитується з публічної сторінки Kshana Pro у відкритому репозиторії.

02Індивідуальне дослідження · як воно проводиться

Коли вам потрібна відповідь, а не інструмент.

Індивідуальне дослідження використовує той самий рушій, який ви можете запустити самі, тож кожне значення в ньому може перевірити будь-хто.

  1. Назвіть запитання. Напишіть на contact@ashforde.org про систему й рішення, якому воно служить. Форми немає.
  2. Ми окреслюємо обсяг. Що буде змодельовано, за якими сценаріями і що залишається поза обсягом, за відповідним допуском і NDA, де цього потребує робота.
  3. Ми моделюємо тим самим рушієм. Кожне значення позначено як перевірене за незалежним еталоном або обчислене за моделлю, точно як на цьому сайті.
  4. Ви отримуєте відтворюваний результат. Відтворюваний за сценарієм, зерном (seed) і версією рушія. Дослідження, обчислене за моделлю, а не сертифікація.

Це не те саме, що kshana --study: ця безкоштовна команда запускає набір сценаріїв, які ви пишете, у єдиний позначений звіт (Розробникам). Індивідуальне дослідження є платною роботою, яку ми виконуємо за вас.

Встановіть відкрите ядроЗ маніфестів

Для всіх, нічого встановлювати не потрібно.

Запустити Kshana Studio

Рушій працює локально як WebAssembly; нічого не вивантажується.

Відкрити Kshana StudioПосібник зі Studio