A UPC spinoff
En què som bons?
Problemes amb restriccionsA vegades un problema d'aspecte senzill resulta ser un trencaclosques gegant, amb nombroses opcions que poden ser combinades d'un nombre exponencial de maneres. Degut a les restriccions existents, molt poques d'aquestes combinacions són possibles o òptimes. Aquests problemes amb restriccions són omnipresents a la indústria, salut, educació, ordre públic, logística, etc. Les bones solucions a aquests problemes tenen un alt impacte sobre costos i beneficis, i sobre el benestar i la productivitat de les persones. Les restriccions dures o obligatòries són les que s'han de satisfer; per exemple, les capacitats o disponibilitats dels recursos (persones, màquines). Les restriccions toves s'ocupen de la minimització de les propietats no desitjables, o la maximització de les desitjables. L'objectiu sempre és trobar una solució que satisfaci les restriccions dures i optimitzi les restriccions toves De forma manual, fins i tot disposant de molt temps, una persona només pot trobar solucions pèssimes, o en alguns casos ni tan sols una d'aquestes. Utilitzar ordinadors tampoc resulta fàcil, perquè fins i tot amb un súper ordinador "anar provant" totes les possibilitats trigaria bilions d'anys. |
Barcelogic vs mètodes clàssicsLes tècniques de Constraint Programming (CP) es basen en anar imposant les restriccions més fortes primer (les heurístiques diuen quines), mentre es van podant les opcions incompatibles.En les tècniques clàssiques d' Investigació Operativa (IO), el problema típicament es modela com un programa lineal enter o mixt i es resol amb eines matemàtiques com el símplex. A Barcelogic, primer escrivim una especificació precisa del problema, fàcil d'entendre per vostè i per a nosaltres, que llavors és tractada de forma automàtica pel nostre software basat en lògica, sense necessitat de modelatge, programacions o heurístiques, com en CP o IO. Això redueix els costos d'implantació de forma dramàtica, especialment si hi ha moltes restriccions condicionals (excepcions, implicacions, restriccions d'ordre entres tasques, etc.). Disposem de funcionalitats (provinents d'aplicacions a la verificació de hardware) que milloren eficiència i qualitat de solucions: aprenentatge automàtic d'errades durant la cerca, backjumping, i implementacions especialitzades. |
Podem adaptar-nos més fàcilment als canvisEn aquest món, contínuament hi ha canvis. Sorgeixen noves restriccions, la importància de les restriccions existents canvia, i tots els dies (o minuts) tenen lloc imprevistos: persones o màquines no disponibles, retards en materials o tasques, etc.Les nostres tècniques basades en lògica fan que sigui més fàcil, ràpid i barat adaptar-se als canvis i trobar solucions temporals sota situacions imprevistes. Abans de prendre les seves decisions, el nostre software li permet simular i analitzar les conseqüències de diferents escenaris, com poden ser l'augment o reducció de determinats recursos. La nostra tecnologia està entre les millors del món per aquest tipus d'aplicacions. |
Alguns exemples típics |