A UPC spinoff
¿En qué somos buenos?
Problemas de restricionesA veces un problema de aspecto sencillo resulta ser un rompecabezas gigante, con numerosas opciones que pueden ser combinadas de un número exponencial de maneras. Debido a las restricciones existentes, muy pocas de estas combinaciones son posibles u óptimas. Estos problemas de restricciones son omnipresentes en industria, salud, educación, órden público, logística, etc. Las buenas soluciones a estos problemas tienen un alto impacto sobre costes y beneficios, y sobre el bienestar y la productividad de las personas. Las restricciones duras u obligatorias son las que deben satisfacerse, por ejemplo, las capacidades o disponibilidades de los recursos (persones, máquinas). Las restricciones blandas tratan de la minimización de las propiedades no deseables, o la maximización de las deseables. El objetivo siempre es encontrar una solución que satisfaga las restricciones duras y que optimice las restricciones blandas. De forma manual, incluso disponiendo de mucho tiempo, una persona sólo suele encontrar soluciones pésimas, o ninguna en absoluto. Usar ordenadores tampoco resulta fácil, porque incluso con un superordenador "ir intentando" todas las posibilidades tardaría billones de años. |
Barcelogic vs métodos clásicosLas técnicas de Constraint Programming (CP) se basan en ir imponiendo las restricciones más fuertes primero (las heurísticas dicen cuáles), mientras se van podando las opciones incompatibles.En las técnicas clásicas de Investigación Operativa (IO), el problema típicamente se modela como un programa lineal entero o mixto y se resuelve con herramientas matemáticas como el simplex. En Barcelogic, primero escribimos una especificación precisa del problema, fácil de entender para usted y para nosotros, que luego es tratada de forma automática por nuestro software basado en lógica, sin necesidad de modelados, programaciones, heurísticas como en CP o IO. Esto reduce drásticamente los costes de implantación, especialmente si hay muchas restricciones condicionales (excepciones, implicaciones, restricciones de orden entre tareas, etc.). Disponemos de funcionalidades (procedentes de aplicaciones de verificación de hardware) que mejoran la eficiencia y la calidad de las soluciones: aprendizaje automático de fallos durante la búsqueda, backjumping, e implementaciones especializadas. |
Podemos adaptarnos más fácilmente a los cambiosEn este mundo, contínuamente hay cambios. Surgen nuevas restricciones, la importancia de las restricciones existentes cambia, y todos los días (o minutos) ocurren imprevistos: personas o máquinas no disponibles, retrasos en materiales o tareas, etc.Nuestras técnicas basadas en la lógica hacen que sea más facil, rápido y barato adaptarse a los cambios y encontrar soluciones temporales bajo situaciones imprevistas. Antes de tomar sus decisiones, nuestro software le permite simular y analizar las consecuencias de diferentes escenarios, como aumentar o reducir determinados recursos. Nuestra tecnología está entre las mejores del mundo para este tipo de aplicaciones. |
Algunos ejemplos típicos
|