Browsing by Author "Lima, Pedro"
Now showing 1 - 2 of 2
Results Per Page
Sort Options
- Infeção de próteses vasculares - ainda uma entidade a temer?Publication . Lima, Pedro; Silva, Cândida G.; Antunes, Luís; Moreira, Mário; Correia, Mafalda; Silva, Joana; Gonçalves, Anabela; Gonçalves, ÓscarA evolução na técnica de assepsia e antibioterapia profilática tem mantido a incidência de infeção de próteses vasculares (IPV) baixa. No entanto, uma proporção de doentes ainda se encontra suscetível a uma patologia que coloca em risco a função do enxerto e do órgão-alvo perfundido, enquanto ameaça com complicações sépticas a vida de cada um dos afetados.A abordagem das IPV depende da manifestação da infeção e do microrganismo em questão, da topografia da prótese infetada e do estado geral do doente.Desde explantação total da prótese até antibioterapia prolongada são várias as estratégias terapêuticas, cabendo ao cirurgião avaliar qual contribuirá para uma evolução natural mais favorável para o doente.Com este trabalho, os autores propõem-se a caracterizar clinicamente a população de doentes com IPV, no seu centro hospitalar.
- Robot task plan representation by Petri nets: modelling, identification, analysis and executionPublication . Costelha, Hugo; Lima, PedroIn this paper we introduce a framework to represent robot task plans based on Petri nets. Our approach enables modelling a robot task, analysing its qualitative and quantitative properties and using the Petri net representation for actual plan execution. The overall model is obtained from the composition of simple models, leading to a modular approach. Analysis is applied to a closed loop between the robot controller and the environment Petri net models. We focus here on the quantitative properties, captured by stochastic Petri net models. Furthermore, we introduce a method to identify the environment and action layer parameters of the stochastic Petri net models from real data, improving the significance of the model. The framework building blocks and a single-robot task model are detailed. Results of a case study with simulated soccer robots show the ability of the framework to provide a systematic modelling tool, and of determining, through wellknown analysis methods for stochastic Petri nets, relevant properties of the task plan applied to a particular environment.