Resumen

Varias misiones espaciales, incluida la colaboración en la exploración interplanetaria rusa y china en 2011 y el proyecto espacial Phobos-Grunt que será relanzado por los chinos en 2025, llevan un sistema de preparación de suelos (SOPSYS), que es un instrumento utilizado para experimentos científicos. El diseño y la fabricación de este instrumento de precisión requieren procesos de fabricación estrictos y un flujo de trabajo de la más alta calidad, con cada proceso en el proyecto cuidadosamente monitoreado y controlado. Todos los procesos deben completarse dentro del plazo para que el proyecto espacial pueda ser lanzado en el momento programado. El método de modelado de redes de Petri coloreadas (CPN) puede describir una variedad de tipos de recursos y lógica de ejecución, y puede ser verificado formalmente. Basándonos en estas ventajas, describimos claramente la estructura compleja del proceso de producción de la unidad SPOSYS. Además, utilizamos el tiempo crítico y el sistema 6 sigma para evaluar la disponibilidad y

• Materias:Virus informático Entropía del gráfico Modelo epidémico Modelo de optimización Modelos conceptuales
• Subjects:Computer virus Entropy of the graph Epidemic model Optimization model Conceptual models
• Palabras claves:Misiones espaciales; SOPSYS; Procesos de fabricación; Gestión de flujos de trabajo; Teorías de optimización; Experimentos científicos
• Keywords:Space missions; SOPSYS; Manufacturing processes; Workflow management; Optimization theories; Scientific experiments