TESIS-MAG-0201.pdf

de dichas acciones gráficas. La interrelación de los componentes antiguos del sistema
con este nuevo elemento se especifican en la figura 4.1 Ob.
El compilador esta implementado de forma tal que el diseñador puede omitir
parte de la información en la especificación. En el caso del bloque de asociaciones, el
diseñador puede omitir las condiciones para los operadores de listas. Del mismo modo,
puede omitir el uso de los operadores de valuación. El diseñador debe expresar las
condiciones y funciones de valuación en forma de código en C++.
En el caso del bloque de heurística contextual, se pueden omitir la
precondición y el efecto. Lo mismo puede hacerse con la función ? en cuyo caso el
intérprete asume que su utilizará la función objetivo para evaluar la vecindad.
La herramienta permite especificar algunos elementos de la búsqueda en
forma estándar. Dichos elementos son:
4.4.1 Criterios de detención.
Los criterios estándar utilizar para terminar el proceso de búsqueda pueden
ser para el algoritmo completo o para cada heurística contextual. En el caso del
algoritmo completo, el criterio es en base al número de iteraciones mayores que el
algoritmo ejecuta. En el caso de las heurísticas contextuales cada una de ellas termina ya
sea por el número de iteraciones que ella ejecuta, el tiempo que se lleva ejecutando o el
número de iteraciones que la heurística lleva sin encontrar una mejor solución. En
ambos casos, el usuario puede agregar condiciones en forma de código en C++.
4.4.2 Criterios de aceptación
Los criterios de aceptación que la herramienta provee en forma estándar son
Simulated annealing y hill climbing. Para el simulated annealing, se definió un cooling
schedule logarítmico, el cual ha mostrado buenos resultados tanto de convergencia
85