División entre módulo de algoritmo y módulo de problema

En labase abierta y desacopladade EvoX, un flujo evolutivo completo se divide en dos «piezas» intercambiables:el módulo de algoritmoresponde «cómo buscar»,el módulo de problemaresponde «qué evaluar y cómo retroalimenta el entorno». Ambos se conectan mediante un conjunto claro de contratos de interfaz, y juntos componen un flujo evolutivo reutilizable, reemplazable y transferible.

Módulo de algoritmo: encapsula «cómo buscar»

Generación de soluciones candidatas y actualización de la población: la lógica evolutiva —inicialización, mutación, cruce, selección, preservación de élites, etc.— la implementa de forma unificada el módulo de algoritmo.
Control de búsqueda: el número de iteraciones, el tamaño de la población, los criterios de reinicio y convergencia y la programación de parámetros de los operadores son decisiones del lado del algoritmo.
El módulo de algoritmo solo depende de la premisa abstracta de que «las soluciones candidatas serán evaluadas», sin importarle el significado físico ni la forma concreta de la función objetivo.

Módulo de problema: define «qué evaluar y cómo retroalimenta el entorno»

Convertir soluciones candidatas en retroalimentación comparable: valores objetivo, aptitud, magnitud de violación de restricciones o el resultado de una interacción con el entorno.
Declarar los límites y las restricciones del problema: dimensión de las variables, rango de valores y reglas de la región factible, para que el algoritmo sepa dónde puede generar soluciones candidatas.
Ofrecer una evaluación consistente para un mismo lote de soluciones candidatas, de modo que puedan compararse horizontalmente distintos individuos, generaciones y algoritmos.

Contrato de interfaz: lote de soluciones candidatas ⇄ resultado de evaluación

El módulo de algoritmo envía al módulo de problemaun lote de soluciones candidatas; el módulo de problema devuelveun resultado de evaluación estructurado(vector objetivo, magnitud de violación de restricciones e información de diagnóstico adicional opcional); con base en ello, el módulo de algoritmo actualiza la población y avanza a la siguiente generación. Este ciclo de «envío—respuesta» constituye una generación de evolución.

Beneficios del desacoplamiento

Ampliación independiente: añadir o reemplazar algoritmos no afecta la definición del problema; modificar o añadir problemas tampoco exige reescribir el módulo de algoritmo.
Combinable: un mismo módulo de problema puede conectarse a distintos algoritmos evolutivos, y un mismo módulo de algoritmo también puede cambiarse a distintos módulos de problema.
Transferible: mientras el contrato de interfaz se mantenga estable, el algoritmo y el problema pueden reutilizarse, reemplazarse y transferirse entre tareas.

Por qué es especialmente importante en el contexto de esta lección: compensaciones multiobjetivo y retroalimentación costosa

Esta lección se centra en problemas de ingeniería del mundo físico real, por ejemplo, el diseñode perfiles alares supercríticos en COMAC. Este tipo de problemas suele reunir tres características a la vez: múltiples objetivos que se condicionan mutuamente (por ejemplo, aumentar la sustentación suele implicar mayor resistencia y menor estabilidad), restricciones anidadas entre sí (como el coeficiente de sustentación de buffet crítico o que la tensión máxima no supere el valor admisible del material) yretroalimentación costosa y dispersa(el coste de una sola evaluación con simulación de alta precisión es muy alto). La división en módulos nace precisamente para hacer frente a estos tres puntos.

Del lado del módulo de problema, los múltiples objetivos y las restricciones se convierten de forma unificada en resultados de evaluación comparables: el vector objetivo describe cada indicador, la magnitud de violación de restricciones describe el grado de incumplimiento y, cuando es necesario, se recurre amodelos subrogadospara ofrecer evaluaciones aproximadas a menor coste y aliviar el cuello de botella de retroalimentación que impone la simulación de alta precisión. Del lado del módulo de algoritmo, la búsqueda ya no persigue converger prematuramente a una única «respuesta óptima», sino que mantieneun conjunto diversificado de soluciones candidatas, para que los expertos optimicen preferencias y tomen decisiones entre sustentación, resistencia y margen de seguridad.

Por lo tanto, el contrato «lote de soluciones candidatas ⇄ resultado de evaluación» no solo debe poder transportar una única aptitud escalar, sino también el vector objetivo y la magnitud de violación de restricciones: la compensación multiobjetivo exige que el algoritmo pueda hacer comparaciones no dominadas, y el tratamiento de restricciones exige que pueda distinguir entre factible e infactible. Si el contrato queda incompleto, la información multiobjetivo y de restricciones se pierde de forma permanente en la interfaz, y con ello también se pierden la reutilización y la transferibilidad que aporta el desacoplamiento.

Error frecuente

Incluir la función objetivo, el tratamiento de restricciones o reglas heurísticas propias del problema dentro del módulo de algoritmo, o implementar la selección y la actualización de la población dentro del módulo de problema. A simple vista parece «escribir una capa menos», pero en realidad vuelve a acoplar ambos lados: cambiar de problema obliga a modificar el algoritmo y cambiar de algoritmo obliga a modificar el problema, con la consiguiente pérdida de reutilización y transferibilidad.

La interfaz debe ser «estrecha y completa»

Estrecha significa pocos campos y estables: solo se transmiten dos tipos de información, el lote de soluciones candidatas y el resultado de evaluación. Completa significa que la información no puede quedar incompleta: el vector objetivo, la magnitud de violación de restricciones y los límites de las variables deben estar presentes. Devolver únicamente una aptitud escalar elimina de forma permanente la información de restricciones y dificulta el tratamiento correcto de problemas con restricciones.

Diagrama de interacción de entradas y salidas entre el módulo de algoritmo y el módulo de problema

El módulo de algoritmo se encarga de la generación de soluciones candidatas, la actualización de la población y el control de la búsqueda; el módulo de problema se encarga de evaluarlas como valores objetivo, aptitud o magnitud de violación de restricciones. Ambos se conectan de forma cíclica mediante el contrato de lote de soluciones candidatas y resultado de evaluación; un envío y su respuesta constituyen una generación de evolución. El contrato debe transportar a la vez el vector objetivo y la magnitud de violación de restricciones; de lo contrario, la información multiobjetivo y de restricciones se perderá en la interfaz, y la capacidad de reutilización y transferencia quedará anulada.

Pregunta 1

En la base desacoplada de EvoX, ¿qué parte se encarga de «cómo buscar»?

Módulo de visualización: dibujar la curva de convergencia

Módulo de datos: almacenar las mejores soluciones históricas

Módulo de algoritmo: generar soluciones candidatas y actualizar la población

Módulo de problema: definir objetivos y restricciones

Pregunta 2

¿Cuál es la responsabilidad más esencial del módulo de problema?

Controlar el tamaño de la población y el número de iteraciones

Convertir las soluciones candidatas en valores objetivo, magnitudes de violación de restricciones o resultados de interacción con el entorno

Ejecutar operadores de cruce y mutación para generar nuevos individuos

Decidir qué estrategia de selección y ordenación no dominada utilizar

Pregunta 3

¿Cuál es el flujo de datos típico del contrato de interfaz entre el módulo de algoritmo y el módulo de problema?

El módulo de algoritmo produce un lote de soluciones candidatas y el módulo de problema devuelve el resultado de evaluación

El módulo de problema produce primero las soluciones candidatas y el módulo de algoritmo devuelve los valores objetivo

Ambos lados funcionan de forma independiente, sin necesidad de intercambiar datos

Solo se intercambian datos una vez, en el momento en que termina el experimento

Pregunta 4

En cuanto a la capacidad de ampliación independiente que aporta el desacoplamiento, ¿cuál de las siguientes afirmaciones es correcta?

El desacoplamiento solo se cumple en problemas simples, de un solo objetivo y sin restricciones

Al reemplazar el algoritmo evolutivo, hay que reescribir obligatoriamente la lógica de evaluación del módulo de problema

Mientras el contrato de interfaz no cambie, al reemplazar cualquiera de los dos lados el otro no necesita reescribirse

Añadir un nuevo problema obliga a reimplementar todo el mecanismo de selección y actualización

Pregunta 5

Si el resultado de evaluación solo devuelve una aptitud escalar y descarta las restricciones y la información estructural, ¿cuál es la consecuencia más probable?

El módulo de problema se volverá más genérico y más fácil de reutilizar

La precisión del cálculo de los valores objetivo aumentará automáticamente

El algoritmo no podrá obtener retroalimentación de restricciones y los problemas con restricciones serán difíciles de tratar correctamente

El proceso evolutivo convergerá con seguridad más rápido

Caso: migrar de la optimización aerodinámica de perfiles alares a la reducción de peso de la estructura del ala

Lee el escenario y responde a las siguientes preguntas combinando la división en módulos y el contrato de interfaz.

Un equipo ha construido un flujo evolutivo sobre EvoX. El módulo de problema parametriza la geometría del perfil alar como soluciones candidatas, llama a un modelo subrogado para evaluarlas rápidamente y devuelve dos objetivos (relación sustentación-resistencia en crucero y coeficiente de sustentación de buffet) y la magnitud de violación de una restricción (la tensión máxima no debe superar el valor admisible del material); el módulo de algoritmo se encarga de la inicialización de la población, la mutación, el cruce, la selección y el control de iteraciones. Ahora el equipo planea dos cosas: primero, sustituir el algoritmo evolutivo actual por otro algoritmo multiobjetivo; segundo, reutilizar el mismo módulo de algoritmo para optimizar la estructura interna del ala, minimizando su peso y cumpliendo a la vez restricciones de rigidez y viabilidad geométrica. La premisa de diseño de todo el flujo es que ambos lados se conectan mediante un contrato de interfaz estable y no conocen la implementación interna del otro.

1. Al cambiar el algoritmo evolutivo, ¿es necesario reescribir el módulo de problema del perfil alar? Justifica la respuesta en relación con el contrato de interfaz.

Respuesta:
No es necesario reescribirlo. El contrato que expone el módulo de problema consiste en «entrada: lote de soluciones candidatas; salida: resultado de evaluación (vector objetivo y magnitud de violación de restricciones)», y es independiente del mecanismo de selección, actualización u ordenación que use internamente el algoritmo. Tras sustituir el algoritmo, el nuevo algoritmo sigue enviando las soluciones candidatas y leyendo el resultado de evaluación con el mismo formato, por lo que el mismo módulo de problema puede seguir utilizándose. Solo cuando cambia la propia interfaz (por ejemplo, pasar de un escalar monoobjetivo a un vector objetivo más la magnitud de violación de restricciones, o cambiar el formato de codificación de las soluciones candidatas) hay que ajustar sincronizadamente la forma de conexión de ambos lados; eso sería una actualización del contrato, no una reescritura de la lógica de evaluación del problema.

2. Al reutilizar el mismo módulo de algoritmo para el problema de «minimización del peso estructural», ¿qué información debe devolver como mínimo el módulo de problema? ¿Por qué esa información es indispensable?

Respuesta:
Como mínimo debe devolver tres tipos de información: ① los valores objetivo, es decir, el peso estructural (si también se consideran indicadores de rigidez, el vector objetivo); ② la magnitud de violación de restricciones, es decir, el grado de incumplimiento de restricciones como las de rigidez y viabilidad geométrica; ③ la dimensión de las variables del espacio de búsqueda y su rango de valores, para generar soluciones candidatas válidas. La razón por la que son indispensables es que el módulo de algoritmo solo se encarga de la búsqueda y no conoce magnitudes físicas concretas: necesita los valores objetivo para juzgar la calidad de cada individuo, necesita la magnitud de violación de restricciones para distinguir entre factible e infactible y tratar las restricciones, y necesita límites de variables consistentes para garantizar que las soluciones candidatas generadas sean válidas. Si solo se devuelve una aptitud escalar, se descartan las restricciones y la información dimensional, y el algoritmo no podrá tratar problemas estructurales con restricciones ni migrar sin problemas desde la tarea del perfil alar, con lo que la reutilización quedará anulada.