Plataforma de resolució de problemes RCPSP utilitzant SMT

El problema d'operacions (scheduling) és un procés de presa de decisions quejuga un paper molt important en organitzacions de manufactura i serveis, jaque té una aplicació a la producció, transport i distribució, i a la comunicaciói processament d'informació, entre d'altres. Consisteix en assignar d'unamanera apropiada els recursos disponibles per al processament de tasquesde manera que es puguin optimitzar els objectius de l’organització.Com cas particular de la programació d'operacions, hi ha la programacióde projectes (Project Scheduling), que és el procés de planificar, organitzari controlar activitats i recursos per aconseguir un objectiu concret, generalmentamb limitacions de temps, recursos o costos. Dins aquest grup essituen els problemes de programació de projectes (PSP), que és un nomgenèric que es dóna a tota una classe de problemes en els quals és necessàriala programació de manera òptima el temps, el cost i els recursos dels projectes.La finalitat d'aquest projecte és crear una plataforma RCPSP que puguillegir diferents formats d'entrada (fitxers del tipus :.rcp,.sch,.sm,.data,.pat),pre-processar-los, codificar-los a través de diferents modelitzacions (TaskRD,TimeRD...) per tal de poder-los passar a instàncies SMT i poder executar-losa través de la API de Yices. L'objectiu és trobar el temps d'inici percada activitat de manera que es minimitzi la longitud del makespan senseque es violin les restriccions.Cal dissenyar una aplicació en C++, que sigui escalable i que puguiaconseguir el resultat del problema en el temps més òptim possible

Desenvolupament d’una eina per a l’escriptura de nous exercicis de l’ACME

L'ACME és una plataforma d'e-learning utilitzada a la Universitat de Girona que permet la correcció automètica d'un gran nombre d'exercicis de tipologies variades via web. Actualments'utilitza com a eina de seguiment del treball diari dels alumnes en moltes carreresi facultats de la Universitat de Girona, que els permet consolidar la matèria explicada aclasse.Actualment tots els fitxers que contenen la implementació dels exercicis definits a l'ACMEestan en format LATEXi segueixen uns formats d'escriptura concrets, no estàndards i moltsdefiits per a la seva posterior lectura i interpretació. Aquesta alta especificitat i mancad'estandardització fa difícil l'aprenentatge de l'escriptura per part dels professors que volenfer servir l'ACME. La majoria d'ells es limiten a escriure exercicis nous a partir d'exercicisantics, desconeixen per complet si amb la tipologia d'exercici que utilitzen estan fent servirtot el potencial, o no, que permet l'eina. És en aquest punt que neix aquest ProjecteFinal de Carrera amb la intenció de desenvolupar una eina que permeti facilitar, millorar iampliar la metodologia d'escriptura de nous exercicis a l'ACME.L'objectiu d'aquest Projecte Final de Carrera era desenvolupar una metodologia d'escripturad'exercicis diferent, innovadora i a l'abast de qualsevol professor per poder crear noustipus d'exercicis amb facilitat i sense haver de necessitar coneixements sobre programació

Francisci Plante Brugensis Mauritiados libri XII, hoc est Rerum ab... Joanne Mauritio, comite Nassaviae, etc., in occidentali India gestarum descriptio poetica

Comprend : In libros Mauritiados XII... Francisci Plante nuper apud Brasilienses ecclesiastae aulico ; In Francisci Plante Mauritiadem ; In Mauritiada, illustrissimo heroi Mauritio Nassavio, patrono domestico sacram, ad clarissimum virum Franciscum Plante ; Discursus oratorius ad illustrissimum comitem J. Mauritium Nassavium,... cum feliciter in Hollandiam reversus, urbem Lugduno-Batavam et Academiam lustraret ; In libros mauritiados Dni Francisci Plante ; In duodecim de Rebus ab illustrissimo heroe Joanne Mauritio comite Nassaviae etc. in occidentali India gestis a... F. Planta conscriptis ; In clarissimi ac eruditissimi viri Francisci Plante Mauritiadem qua... herois Mauritii Nassovii res novo in orbe gestas deternitati redux consecravit

Reconocimiento y representación digital de la notación matemática manual

El trabajo muestra un estudio comparativo de las soluciones que plantean diferentes soluciones comerciales y/o libres para la adecuación o no a su integración en un entorno como es el campus virtual de la UOC. Para esto se ha elaborado una lista de indicadores clave y más adelante se ha hecho una valoración de la integración en el entorno UOC, relacionando los indicadores anteriores con los requerimientos de la UOC. Investigando previamente cuales son estos. Por último se ha comprobado y corroborado la posible integración de la solución elegida al campus virtual, con el desarrollo de una pequeña aplicación web.

Tyrannie que les hommes ont exercée dans presque tous les temps et les pays contre les femmes ou inconséquence de leur conduite envers cette belle moitié de l'espèce humaine, etc. , par M. Laugier,...

Mécénat texte imprimé : Cet ouvrage a été numérisé grâce à Sophie Bauer

Les pintures murals negres del monestir de Pedralbes: problemes de conservació-restauració causats per l’envelliment de l’acetat de polivinil

Aquesta tesi s’inicia com un treball de recerca i posteriorment passa a formar part delprojecte de recerca BHA2002-02411 fi nançat pel Ministerio de Ciencia y Tecnología, dins elPlan Nacional de I+D+I (2000-2003).La idea principal, però, s’origina a partir d’un encàrrec professional del Museu-Monestir dePedralbes i del Museu d’Història de la Ciutat l’any 2000.Les pintures murals negres (Figura 1) són una de les obres menys vistoses, de les que tenenmenys protagonisme, d’entre les que integren la col·lecció del Museu-Monestir de Pedralbes.No semblen, a priori, l’obra més interessant des del punt de vista d’un encàrrec professionalper a un conservador-restaurador. Però el poc que es coneix de les pintures negres i la sevararesa (es desconeixen altres pintures similars que s’hagin pogut conservar), així com lespatologies derivades del seu arrencament i traspàs l’any 1974, aconsellaven aprofundir en el seu estudi, que, mica en mica, va acabar resultant absorbent.

Les pintures murals negres del monestir de Pedralbes: problemes de conservació-restauració causats per l’envelliment de l’acetat de polivinil

Aquesta tesi s’inicia com un treball de recerca i posteriorment passa a formar part delprojecte de recerca BHA2002-02411 fi nançat pel Ministerio de Ciencia y Tecnología, dins elPlan Nacional de I+D+I (2000-2003).La idea principal, però, s’origina a partir d’un encàrrec professional del Museu-Monestir dePedralbes i del Museu d’Història de la Ciutat l’any 2000.Les pintures murals negres (Figura 1) són una de les obres menys vistoses, de les que tenenmenys protagonisme, d’entre les que integren la col·lecció del Museu-Monestir de Pedralbes.No semblen, a priori, l’obra més interessant des del punt de vista d’un encàrrec professionalper a un conservador-restaurador. Però el poc que es coneix de les pintures negres i la sevararesa (es desconeixen altres pintures similars que s’hagin pogut conservar), així com lespatologies derivades del seu arrencament i traspàs l’any 1974, aconsellaven aprofundir en el seu estudi, que, mica en mica, va acabar resultant absorbent.

Recherches sur les substances nutritives que renferment les os, ou Mémoire sur les os provenant de la viande de boucherie, sur les moyens de les conserver, d'en extraire de la gélatine par la vapeur, etc. , par M. d'Arcet,... et Mémoire sur l'application spéciale de ce procédé à la nourriture des ouvriers... par M. A. de Puymaurin,...

Comprend : Mémoire sur l'application spéciale de ce procédé [extraction de la gélatine que renferment les os] à la nourriture des ouvriers de la Monnaie royale...