Architecture for real-time coordination of multiple autonomous mobile units

Interest on using teams of mobile robots has been growing, due to their potential to cooperate for diverse purposes, such as rescue, de-mining, surveillance or even games such as robotic soccer. These applications require a real-time middleware and wireless communication protocol that can support an efficient and timely fusion of the perception data from different robots as well as the development of coordinated behaviours. Coordinating several autonomous robots towards achieving a common goal is currently a topic of high interest, which can be found in many application domains. Despite these different application domains, the technical problem of building an infrastructure to support the integration of the distributed perception and subsequent coordinated action is similar. This problem becomes tougher with stronger system dynamics, e.g., when the robots move faster or interact with fast objects, leading to tighter real-time constraints. This thesis work addressed computing architectures and wireless communication protocols to support efficient information sharing and coordination strategies taking into account the real-time nature of robot activities. The thesis makes two main claims. Firstly, we claim that despite the use of a wireless communication protocol that includes arbitration mechanisms, the self-organization of the team communications in a dynamic round that also accounts for variable team membership, effectively reduces collisions within the team, independently of its current composition, significantly improving the quality of the communications. We will validate this claim in terms of packet losses and communication latency. We show how such self-organization of the communications can be achieved in an efficient way with the Reconfigurable and Adaptive TDMA protocol. Secondly, we claim that the development of distributed perception, cooperation and coordinated action for teams of mobile robots can be simplified by using a shared memory middleware that replicates in each cooperating robot all necessary remote data, the Real-Time Database (RTDB) middleware. These remote data copies, which are updated in the background by the selforganizing communications protocol, are extended with age information automatically computed by the middleware and are locally accessible through fast primitives. We validate our claim showing a parsimonious use of the communication medium, improved timing information with respect to the shared data and the simplicity of use and effectiveness of the proposed middleware shown in several use cases, reinforced with a reasonable impact in the Middle Size League of RoboCup.

Avaliação do desempenho docente e o professor titular: um estudo de caso numa perspetiva organizacional

A avaliação do desempenho docente tem vindo a adquirir uma centralidade crescente nos contextos educativos. Para além de razões mais abrangentes que têm a ver com a importância gradual que a avaliação adquire nas políticas educativas, considera-se que a avaliação do desempenho docente contribui para a melhoria da qualidade do trabalho docente, das aprendizagens e dos resultados escolares dos alunos. As alterações do Estatuto da Carreira Docente introduziram, a partir de 2007, a par com um novo e mais exigente sistema de avaliação, a divisão da carreira em duas categorias – professor e professor titular. Os professores titulares passaram a desempenhar funções de avaliação e coordenação dos seus colegas. Estas mudanças trouxeram alterações significativas na carreira, na profissão e no trabalho docente. O propósito deste estudo foi pesquisar, do ponto de vista da análise organizacional, o modo como foi percecionado pelos docentes o processo de avaliação do desempenho (relativo ao ciclo 2007-2009), centrando-nos, em particular, no papel desempenhado pelos professores titulares num modelo de avaliação por pares e num quadro legal de verticalização da carreira docente. Desenvolvemos este estudo num agrupamento de escolas da zona centro do território continental português seguindo uma metodologia de estudo de caso. Como principais conclusões, e tendo em conta as lógicas organizacionais de que partimos, ressalta-se: i) ao nível da lógica burocrática, a burocratização e morosidade do concurso dos professores titulares, a complexidade dos procedimentos conducentes à implementação do sistema de avaliação e o formalismo na construção dos respetivos instrumentos; ii) dentro da lógica conflitual, as tensões decorrentes da discordância com a divisão da carreira entre professor e professor titular, a atribuição aos professores titulares da função avaliativa, não tendo estes sido reconhecidos pelos seus pares com legitimidade para os avaliar, e a existência de conflitos entre os diversos intervenientes; iii) na lógica artificial, o facto de este sistema de avaliação não ter implicado alterações significativas nas práticas, tendo em conta a exígua adesão dos professores à avaliação da componente cientifico-pedagógica, a ritualização de processos e o restringir-se ao cumprimento dos requisitos mínimos.

Essays on supply chain's flexibility: a real options approach

A presente tese investiga o processo de tomada de decisão na gestão de cadeias de abastecimento, utilizando um quadro de análise de opções reais. Especificamente, estudamos tópicos como o nível de inventário ideal para protecção contra a incerteza da procura, o momento para implementação de capacidade flexível em mercados onde existe complexidade no mix de produtos, o tempo para o reforço do factor trabalho visando requisitos de serviço ao mercado, e as decisões entre integração e outsourcing num ambiente de incerteza. Foram usadas metodologias de tempo discreto e contínuo para identificar o valor ideal e o calendário das opções a adoptar, quando a procura é estocástica. Além disso, foram considerados os efeitos dos requisitos dos mercados, como a complexidade na oferta de produtos e o nível de serviço. A procura é representada recorrendo a diferentes processos estocásticos, o impacto de saltos inesperados também é explorado, reforçando a generalização dos modelos a diferentes condições de negócio. A aplicabilidade dos modelos que apresentamos permite a diversificação e o enriquecimento da literatura sobre a abordagem de opções reais, no âmbito das cadeias de abastecimento. Níveis de inventário flexíveis e capacidades flexíveis são característicos das cadeias de abastecimento e podem ser usados como resposta à incerteza do mercado. Esta tese é constituída por ensaios que suportam a aplicação dos modelos, e consiste num capítulo introdutório (designado por ensaio I) e mais seis ensaios sobre factores que discutem o uso de medidas de flexibilidade nas cadeias de abastecimento, em ambientes de incerteza, e um último ensaio sobre a extensão do conceito de flexibilidade ao tratamento da avaliação de planos de negócio. O segundo ensaio que apresentamos é sobre o valor do inventário num único estádio, enquanto medida de flexibilidade, sujeita ao crescente condicionalismo dos custos com posse de activos. Introduzimos uma nova classificação de artigos para suportar o indicador designado por overstock. No terceiro e quarto ensaio ampliamos a exploração do conceito de overstock, promovendo a interacção e o balanceamento entre vários estádios de uma cadeia de abastecimento, como forma de melhorar o desempenho global. Para sustentar a aplicação prática das abordagens, adaptamos o ensaio número três à gestão do desempenho, para suportar o estabelecimento de metas coordenadas e alinhadas; e adaptamos o quarto ensaio à coordenação das cadeias de abastecimento, como auxiliar ao planeamento integrado e sequencial dos níveis de inventário. No ensaio cinco analisamos o factor de produção “tecnologia”, em relação directa com a oferta de produtos de uma empresa, explorando o conceito de investimento, como medida de flexibilidade nas componentes de volume da procura e gama de produtos. Dedicamos o ensaio número seis à análise do factor de produção “Mão-de-Obra”, explorando as condicionantes para aumento do número de turnos na perspectiva económica e determinando o ponto crítico para a tomada de decisão em ambientes de incerteza. No ensaio número sete exploramos o conceito de internalização de operações, demarcando a nossa análise das demais pela definição do momento crítico que suporta a tomada de decisão em ambientes dinâmicos. Complementamos a análise com a introdução de factores temporais de perturbação, nomeadamente, o estádio de preparação necessário e anterior a uma eventual alteração de estratégia. Finalmente, no último ensaio, estendemos a análise da flexibilidade em ambientes de incerteza ao conceito de planos de negócio. Em concreto, exploramos a influência do número de pontos de decisão na flexibilidade de um plano, como resposta à crescente incerteza dos mercados. A título de exemplo, usamos o mecanismo de gestão sequencial do orçamento para suportar o nosso modelo. A crescente incerteza da procura obrigou a um aumento da agilidade e da flexibilidade das cadeias de abastecimento, limitando o uso de muitas das técnicas tradicionais de suporte à gestão, pela incapacidade de incorporarem os efeitos da incerteza. A flexibilidade é claramente uma vantagem competitiva das empresas que deve, por isso, ser quantificada. Com os modelos apresentados e com base nos resultados analisados, pretendemos demonstrar a utilidade da consideração da incerteza nos instrumentos de gestão, usando exemplos numéricos para suportar a aplicação dos modelos, o que claramente promove a aproximação dos desenvolvimentos aqui apresentados às práticas de negócio.

Capacidade para o trabalho e função executiva

O presente trabalho pretende caracterizar a associação existente entre a função cognitiva executiva e a capacidade para o trabalho em profissionais de saúde (médicos e enfermeiros) e profissionais de educação (professores). A função cognitiva executiva é definida como uma série de processos cognitivos de ordem superior (capacidade de planeamento, raciocínio abstrato, flexibilidade cognitiva e resolução de problemas) determinantes no controlo e coordenação de operações cognitivas e fundamentais na organização e monitorização do comportamento humano. A integridade destas funções, são determinantes para a realização adequada de tarefas da vida diária, incluindo o contexto organizacional. A capacidade para trabalho é um forte preditor do desempenho laboral, sendo definida como a autoavaliação que o trabalhador faz do seu bem-estar no presente e no futuro próximo e da capacidade para assegurar o seu trabalho tendo em conta as exigências do mesmo, a saúde e os recursos psicológicos e cognitivos disponíveis. Assim, com o objetivo de compreender a relação entre estas duas variáveis em médicos, enfermeiros e professores, no presente trabalho utilizamos uma amostra composta por 218 sujeitos, sendo que 93 são enfermeiros, 100 professores (ensino secundário) e 25 médicos. Para avaliar as funções cognitivas executivas, nomeadamente a flexibilidade cognitiva e raciocínio abstrato não-verbal utilizamos o Halstead Category Test (HCT). Para avaliar a capacidade de planeamento e resolução de problemas, utilizamos a Torre de Hanoi (TH). Para determinamos o valor da capacidade para o trabalho, utilizamos o índice de capacidade para o trabalho. No sentido de controlar variáveis que poderiam influenciar esta relação, utilizamos Questionário Geral de Saúde (GHQ-12), escala de ansiedade-traço, Questionário de Personalidade de Eysenck, escala de satisfação no trabalho e uma questão dicotómica (Sim/Não) sobre o trabalho por turnos. Pela análise dos resultados, verificamos que alterações nas funções cognitivas executivas poderão prejudicar a capacidade para o trabalho. No entanto, verificamos que variáveis como a idade, trabalho por turnos, personalidade e saúde mental poderão exercer um efeito moderador desta relação. Por fim, em comparação com médicos, enfermeiros e professores, verificamos que os médicos e enfermeiros apresentam um maior prejuízo nas funções cognitivas executivas que os professores, mas não na capacidade para o trabalho. Como conclusão, o nosso trabalho contribuiu para uma melhor compreensão da ação das funções executivas em contexto laboral (em particular na área da saúde e educação), contribuindo para o desenvolvimento e implementação de programas de promoção de saúde laboral em contexto organizacional.

Corroles : synthesis, functionalization and application as chemosensors

O trabalho de investigação apresentado nesta dissertação foi desenvolvido tendo como objectivo a síntese e funcionalização de meso-triarilcorróis para utilização como quimiossensores. Este trabalho encontra-se apresentado ao longo de cinco capítulos. No primeiro capítulo são apresentadas as características gerais, as metodologias de síntese e de funcionalização de macrociclos de tipo corrólico, e descrevemse algumas aplicações em que têm sido utilizados. São ainda abordadas algumas das propriedades e características dos quimiossensores e os mecanismos de deteção de diversos analítos. No segundo capítulo, após uma pequena introdução às reações de Wittig e de Diels-Alder, escolhidas para a funcionalização do macrociclo corrólico, descreve-se o estudo efectuado para a obtenção do complexo de gálio(III) do 3- vinil-5,10,15-tris(pentafluorofenil)corrol e o seu comportamento como dieno, em reações de Diels-Alder na presença dos dienófilos 1,4-benzoquinona e 1,4- naftoquinona. Desses estudos resultaram dois aductos cuja habilidade sensorial, bem como a dos seus precursores, foi estudada, em solução, na presença de aniões esféricos (F-, Br-, Cl-), lineares (CN-) e volumosos (CH3COO-, H2PO4 -). Dos macrociclos estudados verificou-se que o corrol base-livre 5,10,15-tris(pentafluorofenil)corrol apresenta uma elevada sensibilidade para o anião fluoreto (F-), e que a coordenação do núcleo corrólico com gálio(III) diminui a afinidade para este anião. Em geral, todos os compostos mostraram afinidade para o anião cianeto (CN-) mesmo quando em suportes poliméricos. O gel de poliacrilamida revelou-se muito promissor na determinação de CN- em amostras de água. No terceiro capítulo é avaliada a reatividade do complexo de gálio(III) do 3- vinil-5,10,15-tris(pentafluorofenil)corrol ainda como dieno mas agora na presença de um dienófilo linear, o acetilenodicarboxilato de dimetilo. Desse estudo resultaram dois novos derivados corrólicos. A habilidade sensorial dos mesmos perante os aniões fluoreto, cianeto, acetato, e fosfato foi avaliada por espectroscopia de absorção e emissão tendo um dos aductos mostrado ser colorimétrico para o anião cianeto. No quarto capítulo descreve-se a síntese e caracterização de dois conjugados do tipo corrol-cumarina, resultantes de reações de Hetero-Diels-Alder entre o 3-vinil-5,10,15-tris(pentafluorofenil)corrolatogálio(III)(piridina) e orto-quinonasmetídeos gerados in situ a partir de reacções de Knoevenagel entre cumarinas e paraformaldeído. Realizaram-se estudos de afinidade sensorial para aniões e catiões com estes macrociclos, bem como com conjugados porfirinacumarina análogos. A inserção de uma unidade cumarina conferiu uma excepcional solubilidade tendo os novos derivados apresentado solubilidade em etanol. No quinto e último capítulo desta dissertação é avaliada a capacidade sensorial do 5,10,15-tris(pentafluorofenil)corrol e da sua espécie monoaniónica, para os catiões metálicos Na+, Ca2+, Cu2+, Cd2+, Pb2+, Hg2+, Ag+, Al3+, Zn2+, Ni2+, Cr3+, Ga3+, Fe3+ em tolueno e acetonitrilo. Os macrociclos corrólicos mostraram ser selectivos e colorimétricos para o catião Hg2+. Neste trabalho descreve-se ainda a síntese do derivado -iminocorrol, que após funcionalização com o 3-isocianatopropiltrimetoxisilano originou um derivado do tipo alcoxisilano, que foi, posteriormente, ancorado a nanopartículas comerciais de sílica. As novas nanopartículas ancoradas com o alcoxisilano corrol foram estudadas na presença de Cu2+, Hg2+ e Ag+. Na presença do catião Ag+ assistiu-se a uma mudança de cor, de verde para amarelo.

Optimization models for a short sea fuel oil distribution problem

O transporte marítimo e o principal meio de transporte de mercadorias em todo o mundo. Combustíveis e produtos petrolíferos representam grande parte das mercadorias transportadas por via marítima. Sendo Cabo Verde um arquipelago o transporte por mar desempenha um papel de grande relevância na economia do país. Consideramos o problema da distribuicao de combustíveis em Cabo Verde, onde uma companhia e responsavel por coordenar a distribuicao de produtos petrolíferos com a gestão dos respetivos níveis armazenados em cada porto, de modo a satisfazer a procura dos varios produtos. O objetivo consiste em determinar políticas de distribuicão de combustíveis que minimizam o custo total de distribuiçao (transporte e operacões) enquanto os n íveis de armazenamento sao mantidos nos n íveis desejados. Por conveniencia, de acordo com o planeamento temporal, o prob¬lema e divido em dois sub-problemas interligados. Um de curto prazo e outro de medio prazo. Para o problema de curto prazo sao discutidos modelos matemáticos de programacao inteira mista, que consideram simultaneamente uma medicao temporal cont ínua e uma discreta de modo a modelar multiplas janelas temporais e taxas de consumo que variam diariamente. Os modelos sao fortalecidos com a inclusão de desigualdades validas. O problema e então resolvido usando um "software" comercial. Para o problema de medio prazo sao inicialmente discutidos e comparados varios modelos de programacao inteira mista para um horizonte temporal curto assumindo agora uma taxa de consumo constante, e sao introduzidas novas desigualdades validas. Com base no modelo escolhido sao compara¬das estrategias heurísticas que combinam três heur ísticas bem conhecidas: "Rolling Horizon", "Feasibility Pump" e "Local Branching", de modo a gerar boas soluçoes admissíveis para planeamentos com horizontes temporais de varios meses. Finalmente, de modo a lidar com situaçoes imprevistas, mas impor¬tantes no transporte marítimo, como as mas condicões meteorológicas e congestionamento dos portos, apresentamos um modelo estocastico para um problema de curto prazo, onde os tempos de viagens e os tempos de espera nos portos sao aleatórios. O problema e formulado como um modelo em duas etapas, onde na primeira etapa sao tomadas as decisões relativas as rotas do navio e quantidades a carregar e descarregar e na segunda etapa (designada por sub-problema) sao consideradas as decisoes (com recurso) relativas ao escalonamento das operacões. O problema e resolvido por um metodo de decomposto que usa um algoritmo eficiente para separar as desigualdades violadas no sub-problema.