Traducción automática, no revisada por un hablante nativo. El inglés es la referencia.

Ediciones · núcleo abierto, Pro y estudio a medida

Gratis para construir sobre ello. Pro cuando tiene que resistir una revisión.

El motor es, y seguirá siendo, de código abierto bajo la AGPL-3.0 (Licencia Pública General Affero de GNU, versión 3), sin limitación de funciones. Ashforde® OÜ lo sostiene con experiencia y una capa propietaria, no con cuotas por puesto sobre el motor abierto. En este sitio no hay precios: toda vía de pago empieza con un mensaje.

Iniciar Kshana Studio Ver Kshana ProHable con nosotros
Un solo motor · kshana v0.40.0 Desde el repositorio
El motor abierto en el centro: una marca por cada tipo de escenario (92), rellena donde el tipo de escenario tiene filas validadas en el registro, hueca donde sus filas son modeladas, un guion donde ningún módulo del registro coincide con él por nombre. Kshana Pro y el estudio a medida lo rodean y se conectan con los tipos de escenario en los que se apoyan.

Motor v0.40.0 · 92 tipos de escenario de src/api.rs · estado del registro de web/data/verification-matrix.json · en qué se apoyan Pro y un estudio: el registro de ediciones del sitio · sin escenario ni semillaComparar las ediciones

01Tres formas de trabajar con nosotros

Compare las ediciones.

El mismo motor sirve de base a las tres. Lea cada fila de lado a lado para comparar por qué importa, a quién va dirigida cada una, qué incluye y cómo empieza.

Gratis · AGPL-3.0 o licencia comercial

Núcleo abierto

El motor validado completo y todas las superficies, gratis y sin limitación de funciones. Todo lo que hay en este sitio se ejecuta sobre él.

Por qué lo necesita todo el mundo

Todo el que obtiene posición u hora de GNSS (sistemas globales de navegación por satélite) está expuesto: el jamming, el spoofing y la pérdida de señal afectan por igual a vehículos, redes, redes eléctricas y naves espaciales. El núcleo abierto muestra cuán expuesto está y dice qué cifras están comprobadas.

A quién va dirigida
  • Ingenieros de vehículos, redes, redes eléctricas y naves espaciales que obtienen posición u hora de GNSS
  • Investigadores, estudiantes y revisores que necesitan cifras que puedan reproducir y citar
  • Desarrolladores que integran el motor en código, en una suite de CI (integración continua) o en un asistente de IA (inteligencia artificial)
Qué incluye
  • Los 92 tipos de escenario y 181 escenarios incluidos: nativo, Python, JavaScript, en el navegador y mediante MCP (Model Context Protocol)
  • La matriz de verificación completa: 176 de 401 capacidades validadas frente a referencias independientes, el resto etiquetado como modelado
  • Cada resultado lleva el sello del hash del escenario, la semilla y la versión del motor, y se escribe como JSON (JavaScript Object Notation), tablas CSV (valores separados por comas) y gráficos SVG (Scalable Vector Graphics)
  • El ejecutor gratuito de suites kshana --study
Condiciones

Gratis bajo la AGPL-3.0. El mismo núcleo se ofrece también con una licencia comercial, para su integración cerrada en productos propietarios (más abajo).

Iniciar Kshana Studio Consultar sobre una licencia comercial
Comercial · el mismo motor, ampliado

Kshana Pro

Una capa propietaria que depende del núcleo abierto y nunca lo bifurca: un superconjunto estricto de Kshana abierto. Disponible bajo contrato.

Por qué Pro, aún más

Kshana abierto ejecuta un escenario y le dice lo que da. Kshana Pro responde a las preguntas que se plantea a continuación un programa: qué diseño volar, con qué seguridad se sostiene la respuesta y si la misión satisface sus requisitos de una forma que un comité de revisión pueda comprobar.

A quién va dirigida
  • Programas que deben entregar un expediente de misión o un paquete de evidencias de nivel de auditoría a un comité de revisión o de contratación
  • Arquitectos que eligen un diseño en el frente de Pareto de todo un espacio de diseño, o en estudios de compromiso ordenados por una figura de mérito
  • Equipos de temporización y de hardware que necesitan un gemelo digital del reloj calibrado a su dispositivo
Qué incluye
  • Un optimizador de diseño: el frente de Pareto de un espacio de diseño, con cada diseño del frente como un escenario que el motor gratuito vuelve a ejecutar
  • Incertidumbre y sensibilidad sobre miles de ejecuciones
  • Un expediente de misión con un solo comando, con una matriz de verificación y un archivo PDF (Portable Document Format)
  • Paquetes de evidencias reproducibles de nivel de auditoría, gemelos digitales de reloj calibrados al presupuesto de Allan publicado de un dispositivo y estudios de compromiso de arquitectura ordenados por una figura de mérito
  • Herramientas de ingeniería de sistemas basada en modelos (MBSE) y de programas que comprueban los requisitos de un programa frente a ejecuciones del motor abierto, leyendo solo las salidas que el motor publica
Condiciones

Kshana Pro está disponible bajo contrato. Depende del núcleo abierto y nunca lo bifurca, de modo que no se quita nada al motor gratuito.

Solicitar una evaluación Véalo ampliado
Trabajo de pago · hecho por nosotros

Estudio a medida

Trabajo hecho por nosotros, sobre su sistema: el estudio a medida de pago, no el comando gratuito kshana --study.

Por qué un estudio a medida

Cuando la pregunta es suya pero el tiempo, el modelado o la habilitación no lo son: modelamos su sistema con el mismo motor, etiquetamos cada cifra como validada o modelada y le devolvemos un resultado que puede reproducir.

A quién va dirigida
  • Equipos de programa y de contratación que necesitan una visión independiente y modelada de la resiliencia de una arquitectura PNT (posicionamiento, navegación y temporización)
  • Fabricantes de hardware que quieren modelos de sus propios dispositivos
  • Programas sensibles a la exportación y equipos que quieren Kshana en su cadena de herramientas
Qué incluye
  • Un estudio de resiliencia PNT modelado, por ejemplo una auditoría de la brecha de optimismo. No es una certificación.
  • Modelos de sensores y de resiliencia calibrados a su hardware
  • Trabajo de resiliencia sujeto a control de exportaciones, bajo la habilitación y el NDA (acuerdo de confidencialidad) correspondientes
  • Soporte comercial e integración, formación y consultoría
Condiciones

Delimitado a su pregunta y entregado bajo contrato, reproducible a partir del escenario, la semilla y la versión del motor.

Solicitar un estudio Cómo se desarrolla un estudio
Licencia del núcleo abierto

Un motor, dos licencias.

Elija la que se ajuste a cómo lo usa. Ambas cubren el mismo motor abierto; a ninguna se le retiene nada.

Guía de licenciascontact@ashforde.org

Opción A · código abierto

GNU AGPL-3.0

Úselo, estúdielo, modifíquelo y redistribúyalo gratis. Si distribuye un derivado, o deja que otros usen a través de una red un motor modificado, comparte su código fuente bajo la misma licencia.

Adecuada para trabajo académico, proyectos de código abierto, evaluación interna e investigación.

Opción B · de Ashforde® OÜ

Licencia comercial

  • Incorporar el motor en un producto de código cerrado
  • Ejecutar un servicio de red sobre un motor modificado sin la obligación de divulgar el código fuente
  • Integrarlo en una cadena de herramientas cuyas otras partes no pueden ser AGPL
  • Obtener condiciones de garantía, indemnización o soporte que la AGPL excluye

Consultar sobre una licencia comercial

Kshana Pro y las demás capas propietarias son productos independientes bajo su propio contrato, que no forman parte de ninguna de las dos licencias. Qué cubre la licencia comercial

Kshana Pro · el mismo motor, ampliado

La versión gratuita ejecuta un escenario. Pro responde a la pregunta del programa.

Kshana abierto ejecuta un escenario y le dice lo que da. Kshana Pro responde a las preguntas que se plantea a continuación un programa, sobre el mismo motor y los mismos archivos de escenario: qué diseño volar, con qué seguridad se sostiene la respuesta y si la misión satisface sus requisitos de una forma que un comité de revisión pueda comprobar.

  • Un superconjunto estricto de Kshana abierto.Cada tipo de escenario abierto se ejecuta en Pro sin cambios, y un escenario abierto se ejecuta en Pro sin ninguna licencia.
  • Sin física nueva.Cada número de Pro procede de ejecuciones del motor abierto, de modo que una cifra de Pro es tan fiable como el tipo de escenario abierto del que procede, y nunca más.
  • Reproducible en el motor gratuito.Cualquiera con Kshana abierto puede volver a ejecutar una y obtener la misma cifra.
  • Etiquetas honestas conservadas.Cada resultado de Pro está etiquetado MODELLED. Cada cifra conserva el nivel que le dio el motor abierto (validada, modelada o de socio), nunca uno superior.
Optimizador de diseño

¿Qué diseño deberíamos volar?

  • GratisUn usuario gratuito puntúa un diseño que escribió a mano.
  • ProUn usuario de Pro indica el espacio de diseño (cada variable es un ajuste del escenario con sus valores permitidos), las restricciones y dos o tres objetivos, y obtiene el frente de Pareto completo: los diseños que ningún otro diseño supera a la vez en todos los objetivos.

El escenario base puede ser de cualquier tipo abierto, de modo que la misma herramienta diseña una constelación alrededor de la Tierra, la Luna o Marte, o negocia un presupuesto de enlace. Cada diseño es una ejecución del motor abierto. Cada diseño del frente se escribe como un archivo de escenario abierto sencillo, junto con el hash del algoritmo de hash seguro (SHA-256) del resultado que el motor gratuito da para él.

Lo que no hace. No tiene modelo de costes, de modo que una variable que ningún objetivo penaliza se desplaza hacia el borde de su intervalo. Los estudios de constelaciones puntúan solo la geometría: sin potencia de señal, estado de salud de los satélites ni terreno.

Frente de Pareto · Constelación de navegación lunarSalida de Kshana Pro
025507510081214162024satellites in the constellationavailability over the region, %referenceknee
cada diseño ejecutadofrente de Paretocodoreferencia: diseño de relé lunar incluido (8 + 6 satélites)

Diseño 004 del frente · codo · 16 satélites, 85,0404 % de disponibilidad · 2 planos a 8.000 km, 45° · reejecutado en el motor gratuito: mismo SHA-256 89882372…

608 diseños, todos ejecutados (toda la Luna): un frente de 12 diseños en 6 puntos; 12 de 12 reejecutados en el motor gratuito con el mismo hash de resultado. MODELLED.

Kshana Pro 0.2.0 sobre el motor abierto 0.29.0 · kshana-pro design · 609 ejecuciones del motor · resumen de la ejecución df81aad4…

Incertidumbre y sensibilidad

¿Con qué seguridad lo sabemos y qué determina el resultado?

  • GratisUn usuario gratuito obtiene un número, o una dispersión sobre semillas aleatorias.
  • ProUn usuario de Pro indica cuán incierta es cada entrada y obtiene bandas de confianza, la probabilidad de satisfacer un límite y una clasificación de las entradas que determinan el resultado.

Funciona con cualquier escenario abierto. Las entradas se clasifican por índices de sensibilidad de Sobol' o por coeficientes de regresión estandarizados, y una clasificación que no es fiable se señala como tal. Un estudio largo puede detenerse y reanudarse.

Lo que no hace. Las entradas se tratan como independientes. Más ejecuciones reducen el error de muestreo, no el error del modelo: un tipo MODELLED sigue siendo MODELLED.

Incertidumbre y sensibilidadSalida de Kshana Pro
-50-2002050time error, nslimit ±20 ns100%0%share of runs within the limit0102030405060minutes of holdover
percentil 5 a 95 de 2.000 ejecucionesmedianaejecución baseproporción dentro del límite

Tras 60 minutos: 1.366 de 2.000 ejecuciones dentro de ±20 ns, una probabilidad de 0,683 (intervalo del 95 % de 0,6623 a 0,703)

Holdover del reloj con un nivel de ruido incierto · entrada q_wf (el nivel de ruido blanco de frecuencia del reloj): uniforme(4.5e-20 a 2.7e-19), ASSUMED · MODELLED · Kshana Pro 0.2.0 sobre el motor abierto 0.29.0 · kshana-pro uncertainty · 2.000 ejecuciones del motor · resumen de la ejecución abab765e…

Expediente de misión

¿La misión satisface sus requisitos y podemos entregar esa prueba?

  • GratisUn usuario gratuito obtiene un informe por ejecución.
  • ProUn usuario de Pro obtiene un expediente de misión con un solo comando: requisitos comprobados frente a ejecuciones reales, una matriz de verificación con sus puntos abiertos y un PDF (Portable Document Format) en el que cada número puede volver a derivarse con el motor gratuito.

Un requisito alcanzado sobre una base MODELLED o PARTNER se señala. Los requisitos que deben verificarse mediante ensayo, inspección o demostración siguen siendo puntos abiertos sea cual sea el resultado de la ejecución.

Lo que no hace. La evidencia de simulación cuenta como análisis y no sustituye a un ensayo, una inspección ni una demostración. Un expediente no es una certificación, una cualificación ni una aceptación por parte de ninguna autoridad.

Expediente de misión · Programa de resiliencia de la navegación: Tierra, Luna y MarteSalida de Kshana Pro
12requisitos
7alcanzado
4no alcanzado
1no verificado
15puntos abiertos
  • LEO-001ppp.cases[1].median_convergence_min <= 10 minalcanzadoMODELLED

    Con 240 satélites de órbita terrestre baja (LEO) añadidos, el posicionamiento preciso de punto (PPP) deberá converger en 10 minutos (mediana sobre las ejecuciones con semilla).

    Método: análisis · ejecución RUN-LEO · valor leído: 7,5 min

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

    Punto abierto: base MODELLED

  • LEO-002ppp.cases[0].median_convergence_min <= 10 minno alcanzadoMODELLED

    Solo con GPS y Galileo, el posicionamiento preciso de punto (PPP) deberá converger en 10 minutos (mediana sobre las ejecuciones con semilla).

    Método: análisis · ejecución RUN-LEO · valor leído: 11,5 min

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

    Punto abierto: no alcanzado

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

    Con la capa LEO, el error de posición tridimensional fusionado deberá ser de 0,5 m de valor cuadrático medio (RMS) o mejor.

    Método: ensayo · ejecución RUN-LEO · valor leído: 0,4349 m

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

    Punto abierto: método, base MODELLED

  • LUN-001global.availability_pct >= 95 %no alcanzadoMODELLED

    La constelación de relés lunares deberá dar una solución de posición con una dilución de precisión de posición (PDOP) de 6 o mejor en al menos el 95 % de la superficie lunar y del día.

    Método: análisis · ejecución RUN-LUNAR · valor leído: 21,3286 %

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

    Punto abierto: no alcanzado

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

    Donde la constelación de relés lunares da una solución, la mediana de la dilución de precisión de posición (PDOP) deberá ser de 6 o mejor.

    Método: análisis · ejecución RUN-LUNAR · valor leído: 5,22 1

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

    Punto abierto: base MODELLED

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

    Bajo la interferencia programada en banda L, la relación densidad portadora-ruido (C/N0) de GPS L5 deberá mantenerse en 25 dB-Hz o por encima.

    Método: análisis · ejecución RUN-SPECTRUM · valor leído: 44,0752 dB-Hz

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

    Punto abierto: base PARTNER

  • SPC-002timeline.bands[0].min_cn0_dbhz >= 25 dB-Hzno alcanzadoPARTNER

    Bajo la interferencia programada en banda L, la relación densidad portadora-ruido (C/N0) del código de adquisición gruesa (C/A) de GPS L1 deberá mantenerse en 25 dB-Hz o por encima.

    Método: análisis · ejecución RUN-SPECTRUM · valor leído: 3,2329 dB-Hz

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

    Punto abierto: no alcanzado

  • CMP-001timeline.channels.time_error_ns.values <= timeline.channels.guard_ns.values for all valuesno alcanzadoPARTNER

    En la misión encadenada de jamming, spoofing y holdover, el error de tiempo del reloj deberá mantenerse dentro de su guarda de 50 ns en cada paso de la línea temporal.

    Método: análisis · ejecución RUN-CAMPAIGN · valor leído: 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

    Punto abierto: no alcanzado

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

    En la misión encadenada se deberá emitir una alarma de spoofing en los 30 minutos siguientes al inicio.

    Método: demostración · ejecución RUN-CAMPAIGN · valor leído: 1.200 s

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

    Punto abierto: método, base PARTNER

  • MARS-001fom.rms_error_relays_m <= 5 malcanzadoMODELLED

    Alrededor de Marte, el error de posición con solo la constelación deberá ser de 5 m de valor cuadrático medio (RMS) o mejor durante un sol.

    Método: análisis · ejecución RUN-MARS · valor leído: 1,8827 m

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

    Punto abierto: base MODELLED

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

    Alrededor de Marte, la constelación deberá dar una solución de posición en el 99 % de las épocas o más.

    Método: análisis · ejecución RUN-MARS · valor leído: 1 1

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

    Punto abierto: base MODELLED

  • OPS-001sin criterio comprobable por máquinano verificado

    La carcasa del receptor deberá llevar la etiqueta de identificación del programa.

    Método: inspección · ejecución ninguna · valor leído: ninguna ejecución rastreada

    Punto abierto: sin evidencia, verificación manual

Página 1 del expediente de misión generadoPágina 2 del expediente de misión generado

21 páginas, un comando. Abrir el PDF generado (Portable Document Format)

Kshana Pro 0.2.0 sobre el motor abierto 0.29.0 · kshana-pro mission build · 5 ejecuciones y un estudio de compromiso · 7 alcanzados, todos sobre una base MODELLED o PARTNER · SHA-256 del expediente 49df1e0e… · versión de desarrollo

Tres respuestas más

¿Ha empeorado el último cambio una cifra que nos importa?

  • GratisUn usuario gratuito ejecuta una campaña y lee el resultado.
  • ProUn usuario de Pro nombra las cifras que importan en un conjunto de escenarios, indica qué significa empeorar para cada una y obtiene un pipeline que falla cuando un cambio en un escenario, un modelo o el motor empeora una de ellas, o deja de satisfacer su requisito.

Amplía la comprobación de regresión de escenarios. Una cifra de Monte Carlo se juzga con estadística en lugar de con una tolerancia, de modo que un nuevo conjunto de semillas aleatorias no se considera una regresión y una dispersión duplicada sí. Cada ejecución se añade a un historial en el que cada registro lleva el hash del anterior, y una comprobación informa de si esa cadena está intacta.

Lo que no hace. Una vigilancia demuestra que una cifra MODELLED se mantuvo estable o se movió; no demuestra que la cifra sea verdadera. Una cifra sin dirección indicada se notifica y nunca hace fallar una ejecución.

Vigilancia de campañas · seis revisiones, un historialSalida de Kshana Pro
Cifra vigilada · revisión
relación densidad portadora-ruido (C/N0) al final de la fase de jamming○·▲▼··
mayor error de tiempo en la línea temporal de la misión○····≈
satélites en seguimiento al final de la fase de jamming○··▼··
proporción de la misión en alarma○··▼·▲
spoofing detectado (duración de la fase)○····▲
error de tiempo al final del holdover○····≈
▼empeorada▲mejorada·sin cambios≈se movió dentro de su tolerancia○primera ejecución: pasa a ser la línea base

Revisión r4-stronger-jammer · interferente elevado de -33 a -24 dBW (decibelios relativos a un vatio): C/N0 al final de la fase de jamming 30,60 → 21,82 dB-Hz (decibelio-hercio), por debajo del mínimo de 25 dB-Hz, requisito no alcanzado; satélites en seguimiento 8 → 0; tres vigilancias empeoraron · fallida, código de salida 1

El paquete de campañas incluido, 10 cifras vigiladas en tres campañas abiertas, ejecutado dos veces: superado ambas veces, 0 de 125 cifras se movieron, historial de 2 registros intacto.

Kshana Pro 0.2.0 sobre el motor abierto 0.29.0 · kshana-pro ci · revisiones de demostración de campaign-jam-spoof-holdover-integrity.toml · historial de 6 registros, cadena intacta, último hash bb2f10eb… · MODELLEDAbrir en Kshana Studio

También en Kshana Pro

Requisitos y trazabilidad

Las herramientas de ingeniería de sistemas basada en modelos (MBSE) y de programa de Kshana Pro comprueban los requisitos de un programa frente a ejecuciones del motor abierto: importan requisitos como valores separados por comas (CSV), o como un subconjunto documentado del Requirements Interchange Format (ReqIF) o de texto del Systems Modeling Language versión 2 (SysML v2), y producen una matriz de referencias cruzadas de verificación (VCRM), un modelo SysML v2, un informe de impacto de cambios y un paquete de evidencias sin conexión. No vuelve a ejecutar ni recalcula nada.

Las salidas del motor abierto que lee
  • result.jsonlos campos que nombra un criterio, sus unidades, el sello de reproducibilidad de hash del escenario, semilla, versión del motor y versión del esquema, y la etiqueta de la ejecución y los niveles de sus cifras
  • report.jsontipo de escenario, registro de reproducibilidad y etiquetas de capacidad
  • scenario filesu hash, tipo de escenario, semilla y parámetros
  • field-units schemala unidad, la procedencia y el nivel de evidencia de cada campo
  • verification matrixla etiqueta VALIDATED, MODELLED o PARTNER de cada capacidad

Estudios comparativos

Un estudio comparativo ejecuta cada opción de arquitectura como un escenario del motor abierto sin modificar, clasifica las opciones según una figura de mérito leída del resultado de cada ejecución y escribe un paquete de evidencias que registra el hash del escenario de cada opción, de modo que cualquier cifra del paquete pueda reproducirse volviendo a ejecutar ese escenario.

Gemelo digital de reloj

Un gemelo de reloj se calibra con el presupuesto publicado de desviación de Allan de un dispositivo, y después se comprueba estimando la propia desviación de Allan del gemelo con el estimador del motor abierto y comparando ambas dentro de una tolerancia declarada. Un gemelo de su propio dispositivo requiere sus datos de caracterización y se construye bajo contrato y acuerdo de confidencialidad.

Dosier del estudio

Un escenario se convierte en una nota técnica reproducible en HTML (HyperText Markup Language) y JSON (JavaScript Object Notation): alcance, método, resultados con un nivel en cada cifra, limitaciones y el texto exacto del escenario ejecutado.

  • Pro necesita una licencia. Sin ella, Pro ejecuta solo escenarios abiertos y rechaza cualquier función Pro con un mensaje que indica qué se requiere.
  • Algunos trabajos requieren un cliente con contrato firmado. Un gemelo de su propio dispositivo requiere sus datos de caracterización y se construye bajo contrato y acuerdo de confidencialidad.
  • Nada de lo que produce Pro es una certificación. Todo resultado es modelado y lo indica.

Se realiza como estudio a medida

  • Modelos de su hardware. Los modelos de sensores o de resiliencia calibrados para su hardware se construyen solo bajo contrato y con sus datos.
  • Los modelos de resiliencia sujetos a control de exportación no se ofrecen públicamente. Ese trabajo se realiza solo con la autorización correspondiente y un acuerdo de confidencialidad.
Solicitar una evaluación de Pro Guía de licencias

Los gráficos de esta sección se dibujan a partir de los archivos que escribieron los comandos de Pro para los ejemplos desarrollados que se incluyen con Pro: resultados modelados, no afirmaciones sobre ninguna misión real. El texto está citado de la página pública de Kshana Pro del repositorio abierto.

02Estudio a medida · cómo se desarrolla

Cuando necesita una respuesta, no una herramienta.

Un estudio a medida usa el mismo motor que usted puede ejecutar, de modo que cualquiera puede comprobar cada cifra.

  1. Cuéntenos la pregunta. Escriba a contact@ashforde.org indicando el sistema y la decisión a la que alimenta. No hay formulario.
  2. Lo acotamos. Qué se modelará, con qué escenarios y qué queda fuera del alcance, con la autorización correspondiente y un acuerdo de confidencialidad cuando el trabajo lo necesite.
  3. Lo modelamos con el mismo motor. Cada cifra se etiqueta como validada o modelada, exactamente igual que en este sitio.
  4. Usted recibe un resultado reproducible. Reproducible a partir del escenario, la semilla y la versión del motor. Un estudio modelado, no una certificación.

No es lo mismo que kshana --study: ese comando gratuito ejecuta un conjunto de escenarios que usted escribe y lo reúne en un informe sellado (Desarrolladores). Un estudio a medida es un trabajo de pago que hacemos para usted.

Instalar el núcleo abiertoDe los manifiestos

Para cualquiera, sin nada que instalar.

Iniciar Kshana Studio

El motor se ejecuta localmente como WebAssembly; no se sube nada.

Abrir Kshana StudioGuía de Studio