Implementació i validació en una PIME d’un sistema assistit aplicat a la planificació del procés de peces de mecanitzat

Aquest projecte consisteix en implementar l’aplicació PAPOM (Programa Assistit a la Planificació de procés i producció en Operacions de Mecanitzat) en una PIME. Aquest programa l’ha desenvolupat el grup de recerca de la UdG GREP i té com a principal objectiu ajudar a gestionar la planificació de processos de mecanitzat. La filosofia del programa és la de donar una solució personalitzada a cada PIME facilitant el desenvolupament d’aquesta. En aquest sentit, és on aquest treball pren una gran importància ja que s’ha treballat conjuntament amb una empresa del sector, Mecanitzats Privat, S.L., per tal d’ajustar el programa a la realitat, i determinar quins són els camps i paràmetres susceptibles de ser adaptats a cada empresa. Amb aquesta finalitat s’han determinat quins mòduls poden modificar-se sense afectar al funcionament intern del software, per tal de fer l’ús del programa més pràctic i àgil per a cada taller en concret. En aquest punt s’ha personalitzat el programa per a Mecanitzats Privat, S.L. i s’han marcat unes línies futures de treball per seguir fent el programa més adaptable, fent-ne de la personalització filosofia i valor del programa. A més a més, en aquesta relació entre el departament i l’empresa, a nivell de comercial i client s’han elaborat unes fitxes d’instal•lació. Aquestes pretenen ser una eina que ajudi a la presentació del PAPOM a les empreses a fi d’agilitzar el procés d’obtenció d’informació d’un petit sector de l’empresa per tal de realitzar una demostració ajustada a cada taller

Implementació i validació en una PIME d’un sistema assistit aplicat a la planificació del procés de peces de mecanitzat

Aquest projecte consisteix en implementar l’aplicació PAPOM (Programa Assistit a la Planificació de procés i producció en Operacions de Mecanitzat) en una PIME. Aquest programa l’ha desenvolupat el grup de recerca de la UdG GREP i té com a principal objectiu ajudar a gestionar la planificació de processos de mecanitzat. La filosofia del programa és la de donar una solució personalitzada a cada PIME facilitant el desenvolupament d’aquesta. En aquest sentit, és on aquest treball pren una gran importància ja que s’ha treballat conjuntament amb una empresa del sector, Mecanitzats Privat, S.L., per tal d’ajustar el programa a la realitat, i determinar quins són els camps i paràmetres susceptibles de ser adaptats a cada empresa. Amb aquesta finalitat s’han determinat quins mòduls poden modificar-se sense afectar al funcionament intern del software, per tal de fer l’ús del programa més pràctic i àgil per a cada taller en concret. En aquest punt s’ha personalitzat el programa per a Mecanitzats Privat, S.L. i s’han marcat unes línies futures de treball per seguir fent el programa més adaptable, fent-ne de la personalització filosofia i valor del programa. A més a més, en aquesta relació entre el departament i l’empresa, a nivell de comercial i client s’han elaborat unes fitxes d’instal•lació. Aquestes pretenen ser una eina que ajudi a la presentació del PAPOM a les empreses a fi d’agilitzar el procés d’obtenció d’informació d’un petit sector de l’empresa per tal de realitzar una demostració ajustada a cada taller

Goal recognition over POMDPs: inferring the intention of a POMDP agent

Plan recognition is the problem of inferring the goals and plans of an agent from partial observations of her behavior. Recently, it has been shown that the problem can be formulated and solved usingplanners, reducing plan recognition to plan generation.In this work, we extend this model-basedapproach to plan recognition to the POMDP setting, where actions are stochastic and states are partially observable. The task is to infer a probability distribution over the possible goals of an agent whose behavior results from a POMDP model. The POMDP model is shared between agent and observer except for the true goal of the agent that is hidden to the observer. The observations are action sequences O that may contain gaps as some or even most of the actions done by the agent may not be observed. We show that the posterior goal distribution P(GjO) can be computed from the value function VG(b) over beliefs b generated by the POMDPplanner for each possible goal G. Some extensionsof the basic framework are discussed, and a numberof experiments are reported.

Computing infinite plans for LTL goals using a classical planner

Classical planning has been notably successful in synthesizing finite plans to achieve states where propositional goals hold. In the last few years, classical planning has also been extended to incorporate temporally extended goals, expressed in temporal logics such as LTL, to impose restrictions on the state sequences generated by finite plans. In this work, we take the next step and consider the computation of infinite plans for achieving arbitrary LTL goals. We show that infinite plans can also be obtained efficiently by calling a classical planner once over a classical planning encoding that represents and extends the composition of the planningdomain and the B¨uchi automaton representingthe goal. This compilation scheme has been implemented and a number of experiments are reported.

mGPT: a probabilistic planner based on heuristic search

We describe the version of the GPT planner to be used in the planning competition. This version, called mGPT, solves mdps specified in the ppddllanguage by extracting and using different classes of lower bounds, along with various heuristic-search algorithms. The lower bounds are extracted from deterministic relaxations of the mdp where alternativeprobabilistic effects of an action are mapped into different, independent, deterministic actions. The heuristic-search algorithms, on the other hand, use these lower bounds for focusing the updates and delivering a consistent value function over all states reachable from the initial state with the greedy policy.

Width and serialization of classical planning problems

We introduce a width parameter that bounds the complexity of classical planning problems and domains, along with a simple but effective blind-search procedure that runs in time that is exponential in the problem width. We show that many benchmark domains have a bounded and small width provided thatgoals are restricted to single atoms, and hence that such problems are provably solvable in low polynomial time. We then focus on the practical value of these ideas over the existing benchmarks which feature conjunctive goals. We show that the blind-search procedure can be used for both serializing the goal into subgoals and for solving the resulting problems, resulting in a ‘blind’ planner that competes well with a best-first search planner guided by state-of-the-art heuristics. In addition, ideas like helpful actions and landmarks can be integrated as well, producing a planner with state-of-the-art performance.

Planning under partial observability by classical replanning: theory and experiments

Planning with partial observability can be formulated as a non-deterministic search problem in belief space. The problem is harder than classical planning as keeping track of beliefs is harder than keeping track of states, and searching for action policies is harder than searching for action sequences. In this work, we develop a framework for partial observability that avoids these limitations and leads to a planner that scales up to larger problems. For this, the class of problems is restricted to those in which 1) the non-unary clauses representing the uncertainty about the initial situation are nvariant, and 2) variables that are hidden in the initial situation do not appear in the body of conditional effects, which are all assumed to be deterministic. We show that such problems can be translated in linear time into equivalent fully observable non-deterministic planning problems, and that an slight extension of this translation renders the problem solvable by means of classical planners. The whole approach is sound and complete provided that in addition, the state-space is connected. Experiments are also reported.

Planificació, anàlisi i disseny d'un programari de gestió d'un magatzem d'olives i conserves

Disseny d'un programari de gestió de magatzems on quedin reflectides les seves entrades, sortides i altres operacions pròpies dels magatzems. El programari ha de ser escalable i perdurar en el temps a més a més de permetre operacions d¿actualització, esborrat, addicció de dades i les operacionsfonamentals de consulta.

SAP R/3 - EIS : anàlisi i planificació d'un sistema EIS

Es comença parlant dels sistemes d'informació per a anar a parar al món dels ERP i, especialment, a un dels més importants a escala mundial, el SAP R/3. Després s'explica què són els DataWarehouses o magatzems de dades, com es creen i quines aplicacions tenen. Finalment, s'analitza i es planifica un cas pràctic: una empresa canvia d'ERP corporatiu per passar a SAP R/3 i, per tant, ha de canviar i adaptar el seu sistema EIS.

Planificació, anàlisi i disseny d'un programari de gestió d'una empresa d'autobusos

Disseny del programari de gestió d'una empresa d'autobusos que vol informatitzar l'assignació de conductors amb uns horaris prèviament introduïts.

Odometria i planificació de trajectòries amb el robot e-puck

En el laboratori docent de robòtica s'utilitzen robots mòbils autònoms per treballar aspectes relacionats amb el posicionament, el control de trajectòries, la construcció de mapes... Es disposa de cinc robots comercials anomenats “e-puck”, que es caracteritzen per les seves dimensions reduïdes, dos motors i un conjunt complet de sensors. Aquests robots es programen en C++ utilitzant el simulador Webots, que disposa d'un conjunt de llibreries per programar el robot. També es disposa d'un entorn de proves on els robots es poden moure i evitar obstacles. Donat el poc temps que disposen els estudiants que realitzen pràctiques en aquest laboratori, és d'interès desenvolupar un software que contingui ja el posicionament del robot mitjançant odometria i també varis algoritmes de control de trajectòries. Per últim, en el laboratori es disposa de càmeres i targes d'adquisició de dades. Així doncs els objectius que s'han proposat per el projecte són: 1. Estudi de la documentació i software proporcinats pels fabricants del robot i de l'entorn Webots; 2. Programació del software de l'odometria i realització de proves per comprovar-ne la precisió; 3. Disseny, programació i verificació del software dels algoritmes de planificació de trajectòries. Realització d'experiments per a comprovar-ne el funcionament i 4. Disseny, programació i verificació d'un sistema de visió artificial que permeti conèixer la posició absoluta del robot en l'entorn

Autoavaluació dels centres educatius : procediment de validació de proves de mesura del rendiment acadèmic en grups petits d'alumnes : els resultats de l'avaluació del centre educatiu -interna i externa- com a recurs diagnòstic per a la planificació estratègica. 'Autoevaluación de los centros educativos : procedimiento de validación de pruebas de medida del rendimiento académico en grupos pequeños de alumnos : los resultados de la evaluación del centro educativo -interna y externa- como recurso diagnóstico para la planificación estratégica'.

Resumen basado en el del autor

La Guia docent com a eina clau en la planificació docent i assegurament de la qualitat: el contracte entre l'estudiant i el professor

A la Universitat Autònoma de Barcelona (UAB) s'ha establert un Sistema Intern de Qualitat (SIQ) que mostra el compromís per oferir uns programes de qualitat que incloguin en el seu funcionament mesures per assegurar, entre d'altres, una correcta sistematització del procés d'avaluació de competències. Per dur a terme aquesta mesura s'ha dissenyat un model de guia docent únic i s'ha desenvolupat un aplicatiu informàtic que permetrà facilitar aquesta tasca als col-lectius implicats i, alhora, disposar de la informació necessària per realitzar el procés de seguiment. En aquest article es presenta el protocol definit, l'estructura de la guia docent i l'aplicació informàtica de suport desenvolupada

La Guia docent com a eina clau en la planificació docent i assegurament de la qualitat: el contracte entre l'estudiant i el professor

A la Universitat Autònoma de Barcelona (UAB) s'ha establert un Sistema Intern de Qualitat (SIQ) que mostra el compromís per oferir uns programes de qualitat que incloguin en el seu funcionament mesures per assegurar, entre d'altres, una correcta sistematització del procés d'avaluació de competències. Per dur a terme aquesta mesura s'ha dissenyat un model de guia docent únic i s'ha desenvolupat un aplicatiu informàtic que permetrà facilitar aquesta tasca als col-lectius implicats i, alhora, disposar de la informació necessària per realitzar el procés de seguiment. En aquest article es presenta el protocol definit, l'estructura de la guia docent i l'aplicació informàtica de suport desenvolupada