Extracting and verifying coordination models from source code

Current software development relies increasingly on non-trivial coordination logic for com- bining autonomous services often running on di erent platforms. As a rule, however, in typical non-trivial software systems, such a coordination layer is strongly weaved within the application at source code level. Therefore, its precise identi cation becomes a major methodological (and technical) problem which cannot be overestimated along any program understanding or refactoring process. Open access to source code, as granted in OSS certi cation, provides an opportunity for the devel- opment of methods and technologies to extract, from source code, the relevant coordination information. This paper is a step in this direction, combining a number of program analysis techniques to automatically recover coordination information from legacy code. Such information is then expressed as a model in Orc, a general purpose orchestration language

Sistema de medição dos deslocamentos da rótula para disgnóstico

Existem várias patologias associadas à luxação da rótula, causadas pelo seu movimento anormal. Geralmente congénita, esta condição provoca dor, dano à cartilagem, artrite e por vezes necessita de cirurgia. As medições do movimento são feitas com recurso a equipamentos de alto custo, ou através do método clínico, que apenas os médicos mais experientes usam com fiabilidade, sendo sempre subjectivo. Actualmente não existe qualquer sistema comercial para a medição não invasiva de baixo custo dos movimentos da rótula. De modo a responder a esta necessidade, este trabalho tem como objectivo o desenvolvimento de um sistema de baixo custo para medição digital do deslocamento da rótula em diferentes ângulos entre o fémur e a tíbia. Como conceito de partida foi idealizado utilizar um sensor de movimento em seis dimensões, fixo de uma forma não invasiva sobre a rótula. O dispositivo tem como requisitos iniciais ser reutilizável e de baixo custo. Criou-se um Design Brief para identificar o contexto e necessidades específicas para este trabalho e traçar objectivos utilizando metodologias de desenvolvimento de produto. Foram desenvolvidos conceitos para um dispositivo de suporte do sensor de movimento 6D, dos quais alguns foram seleccionados para prototipagem e teste, explorando vários processos de manufactura na perseguição dos objectivos propostos. Foram estabelecidas métricas para monitorização contínua da evolução dos conceitos e selecção do conceito final, que foi sujeito a uma série de testes de validação. A validação do sensor e do dispositivo foi feita com testes de usabilidade, com a aferição por um robot programável e com medições in vivo em 20 joelhos sem patologia. Apesar da alta precisão do sensor, não foi possível obter medições que possam reproduzir com fiabilidade o movimento da rótula nos sujeitos observados. A pele foi o factor que mais influenciou as medições, provocando o deslocamento do dispositivo em relação à rótula e desta forma alterou significativamente os resultados. Assim, recomenda-se a continuação da investigação com o intuito de melhor quantificar o movimento da rótula e fornecer informação para melhorar a fiabilidade da utilização de dispositivos de medição em seis dimensões.

Dimensionamento de um silo em betão armado para stockagem de cimento com fundações indirectas

O presente trabalho é o corolário do curso de engenharia civil, para a obtenção do grau de Mestre, tendo-se optado pela elaboração do dimensionamento de um Silo em betão armado. O projecto inclui os elementos necessários para uma correcta execução desta estrutura. Os silos são construções, que em função da sua finalidade de utilização estão sujeitos a diversas acções peculiares. No presente trabalho foram consideradas as acções, indicadas nos Eurocódigos para este tipo de estruturas, nomeadamente a acção gerada pela presença do material ensilado, que conduz a um conjunto de pressões horizontais e verticais nas paredes do Silo, bem como a acção causada pelo gradiente de temperatura, devido ao material ensilado (120ºC). O estudo realizado para o dimensionamento do Silo, foi feito considerando a discretização do mesmo através de um programa de elementos finitos, tendo a introdução da estrutura sido realizada em computador com recurso ao “SAP2000”. Foram estudados 2 modelos: O primeiro partindo de uma configuração unifilar em que se consideraram apenas elementos ditos frames (barras), o qual serviu basicamente para o pré dimensionamento da estrutura. O segundo mais completo em que a estrutura foi analisada a partir de um conjunto que incluía a modelação de todos os elementos previamente dimensionados, com recurso a outros softwares (Robot), folhas de cálculo, tabelas e ábacos. Reuniram-se também elementos relativos a estruturas deste tipo tendo-se consultado bibliografia da especialidade, de modo a adquirir um conhecimento mais profundo necessário à realização deste projecto.

Synthesis and Coordination Chemistry of a New N-4-Polydentate Class of Pyridyl-Functionalized Scorpionate Ligands: Complexes of Fe-II, Zn-II, V-IV, Pd-II and Use for Heterobimetallic Systems

The new potentially N-4-multidentate pyridyl-functionalized scorpionates 4-((tris-2,2,2-(pyrazol-1-ypethoxy)methyl)pyridine (TpmPy, (1)) and 4-((tris-2,2,2-(3-phenylpyrazol-1-yl)ethoxy)methyl)pyridine (TpmPy(Ph), (2)) have been synthesized and their coordination behavior toward Fe-II, Ni-II, Zn-II, Cu-II, Pd-II, and V-III centers has been studied. Reaction of (1) with Fe(BF4)(2)center dot 6H(2)O yields [Fe(TpmPy)(2)](BF4)(2) (3), that, in the solid state, shows the sandwich structure with trihapto ligand coordination via the pyrazolyl arms, and is completely low spin (LS) until 400 K. Reactions of 2 equiv of (1) or (2) with Zn-II or Ni-II chlorides give the corresponding metal complexes with general formula [MCl2(TpmPy*)(2)] (M = Zn, Ni; TpmPy* = TpmPy, TpmPy(Ph)) (4-7) where the ligand is able to coordinate through either the pyrazolyl rings (in case of [Ni(TpmPy)(2)Cl-2 (5)) or the pyridyl-side (for [ZnCl2(TpmPy)(2)] (4), [ZnCl2(TpmPy(Ph))(2)] (6) and [NiCl2(TpmPy(Ph))(2)] (7)). The reaction of (1) with VCl3 gives [VOCl2(TpmPy)] (8) that shows the N-3-pyrazolyl coordination-mode. Moreover, (1) and react with cis-[PdCl2(CH3CN)(2)] to give the disubstituted complexes [PdCl2(TprnPy)(2)] (9) and [PdCl2(TpmPy(Ph))(2)] (10), respectively, bearing the scorpionate coordinated via the pyridyl group. Compounds (9) and (10) react with Fe(BF4)(2) to give the heterobimetallic Pd/Fe systems [PdCl2(mu-TpmPy)(2)-Fe](BF4)(2) (11) and [PdCl2(mu-TpmPy(Ph))(2)Fe-2(H2O)(6)]BF4)(4) (13), respectively. Compound (11) can also be formed from reaction of (3) with cis-[PdCl2(CH3CN)(2)], while reaction of (3) with Cu(NO3)(2).2.5H(2)O generates [Fe(mu-TpmPy)(2)-Cu(NO3)(2)](BF4)(2) (12), confirming the multidentate ability of the new chelating ligands. The X-ray diffraction analyses of compounds (1), (3), (4), (5), and (9) are also reported.

Plataforma de controlo e simulação robótica

A robótica tem evoluído no sentido de criar robots e componentes cada vez mais evoluídos a preços acessíveis. Este facto permitiu que o desenvolvimento de aplicações no âmbito da robótica se tenha massificado e que a utilidade dos robots se tenha alargado a diferentes áreas de aplicação. Apesar da evolução dos robots e dos componentes para os mesmos, subsistem limitações que restringem a utilização de robots a certas aplicações, nomeadamente quando a capacidade de processamento e de memória não é suficiente para executar as aplicações. A forma para ultrapassar estas limitações tem residido essencialmente em duas abordagens: limitar as aplicações desenvolvidas à medida dos recursos disponíveis no hardware; ou estender as capacidades do robot usando recursos externos ao robot, quer por extensão do hardware do robot, quer por controlo remoto dos componentes do robot. Atendendo a esta problemática, foi desenvolvida uma plataforma que estende as capacidades dos robots segundo uma abordagem que usa o controlo remoto do robot, para capacitar as aplicações de controlo desenvolvidas de mais recursos, nomeadamente em termos de capacidade de processamento e memória. A plataforma desenvolvida disponibiliza ainda um simulador que virtualiza um campo de simulação e um robot, e simula a forma como estes interagem. O simulador é integrado na plataforma de forma semelhante aos adaptadores para robots, para que as aplicações desenvolvidas possam ser usadas quer em robots reais como no simulador.

Automação e controlo de um sistema de armazenamento de bicicletas

A crescente procura da bicicleta como meio de transporte alternativo torna relevante a criação e desenvolvimento de infra-estruturas de apoio, tais como ciclovias e parques para bicicletas. Os sistemas tradicionais de parqueamento de bicicletas com recurso a correntes e cadeados não fornecem segurança nem comodidade. No entanto, começam a surgir, em várias cidades do mundo, parque automáticos onde é possível guardar uma bicicleta em segurança, protegendo-a quer das intempéries quer de actos de vandalismo. Este trabalho apresenta uma proposta para um parque automático de armazenamento de bicicletas, com recurso a caixas individualizadas que garantem a sua segurança, e também de outros bens que podem ser guardados junto da mesma, como por exemplo um capacete ou uma mochila. O sistema proposto no âmbito deste trabalho é um complemento às alternativas existentes. As vantagens apresentadas pelo sistema proposto são: a sua construção modular e personalizada; e a possibilidade de instalação num terreno plano, sem recurso a obras de construção civil. O objectivo foi criar um projecto de automação e controlo de um protótipo, com base na proposta apresentada. O projecto de automação e controlo engloba a escolha dos sensores e dos actuadores. Para o dimensionamento dos motores foi necessário recorrer a um cálculo simplificado da estrutura do robô manipulador. Foi feita a escolha dos sensores, actuadores e do controlador com base nos requisitos funcionais. A programação foi desenvolvida numa linguagem normalizada. O modelo desenvolvido poderá servir de base para um projecto multidisciplinar entre vários departamentos do Instituto e dessa cooperação poderá surgir um novo projecto optimizado para produção e de menor custo.

Coordination Chemistry of the (eta(6)-p-Cymene)ruthenium(II) Fragment with Bis-, Tris-, andTetrakis(pyrazol-1-yl)borate Ligands: Synthesis, Structural, Electrochemical, and CatalyticDiastereoselective Nitroaldol Reaction Studies

Novel [Ru(eta(6)-p-cymene)(kappa(2)-L)X] and [Ru(eta(6)-p-cymene)(kappa(3)-L)]X center dot nH(2)O complexes (L = bis-, tris-, or tetrakis-pyrazolylborate; X = Cl, N-3, PF6, or CF3SO3) are prepared by treatment of [Ru(eta(6)-p-cymene)Cl-2](2) with poly-(pyrazolyl)borate derivatives [M(L)] (L in general; in detail L = Ph(2)Bp = diphenylbis-(pyrazol-1-yl)borate; L = Tp = hydrotris(pyrazol-1-yl)borate; L = pzTp = tetrakis(pyrazol-1-yl)borate; L = Tp(4Bo) = hydrotris(indazol-1-yl)borate, L = T-p4Bo,T-5Me = (5-methylindazol-1-yl)borate; L = Tp(Bn,4Ph) = hydrotris(3-benzyl-4-phenylpyrazol-1-yl)borate; M = Na, K, or TI) and characterized by analytical and spectral data (IR, ESIMS, H-1 and C-13 NMR). The structures of [Ru(eta(6)-p-cymene)(Ph(2)Bp)Cl] (1) and [Ru(eta(6)-p-cymene)(Tp)Cl] (3) have been established by single-crystal X-ray diffraction analysis. Electrochemical studies allowed comparing the electron-donor characters of Tp and related ligands and estimating the corresponding values of the Lever E-L ligand parameter. The complexes [Ru(eta(6)-p-cymene)-(kappa(2)-L)X] and [Ru(eta(6)-p-cymene)(kappa(3)-L)]X center dot nH(2)O act as catalyst precursors for the diastereoselective nitroaldol reaction of benzaldehyde and nitroethane to the corresponding beta-nitroalkanol (up to 82% yield, at room temperature) with diastereoselectivity toward the formation of the threo isomer.

Coordination between mid-term maintenance outage decisions and short-term security-constrained scheduling in smart distribution systems

Distribution systems are the first volunteers experiencing the benefits of smart grids. The smart grid concept impacts the internal legislation and standards in grid-connected and isolated distribution systems. Demand side management, the main feature of smart grids, acquires clear meaning in low voltage distribution systems. In these networks, various coordination procedures are required between domestic, commercial and industrial consumers, producers and the system operator. Obviously, the technical basis for bidirectional communication is the prerequisite of developing such a coordination procedure. The main coordination is required when the operator tries to dispatch the producers according to their own preferences without neglecting its inherent responsibility. Maintenance decisions are first determined by generating companies, and then the operator has to check and probably modify them for final approval. In this paper the generation scheduling from the viewpoint of a distribution system operator (DSO) is formulated. The traditional task of the DSO is securing network reliability and quality. The effectiveness of the proposed method is assessed by applying it to a 6-bus and 9-bus distribution system.

Dimensionamento de um pavilhão misto (metálico + betão armado)

O presente documento refere-se ao Trabalho Final de Mestrado, para a obtenção do grau de Mestre do curso de Engenharia Civil, e compreende a elaboração do Ante-Projecto de um Pavilhão Misto destinado ao armazenamento de carvão mineral. A realização deste trabalho teve como principal objectivo o emprego dos conceitos apreendidos nas Unidades Curriculares do Mestrado e da Licenciatura, bem como o estudo de softwares utilizados na determinação de esforços e cálculo de estruturas (Robot Structural Analysi e Gala Reinforcement). A modelação da estrutura foi realizada recorrendo a um programa de cálculo automático Robot Structural Analysis, procurando sempre validar os resultados obtidos, através de folhas de cálculo em Excel desenvolvidas para o efeito. O dimensionamento do sistema estrutural foi efectuado sempre que possível de acordo com a regulamentação Europeia (Eurocódigos). Reuniram-se também alguns elementos relativos a estruturas deste tipo, consultando a priori, bibliografia da especialidade com o objectivo de adquirir conhecimentos mais profundos, necessários para realização deste projecto.

Navegação de um robô autónomo semi-industrial usando diferentes técnicas sensoriais

Mestrado em Engenharia Electrotécnica e de Computadores

Optimização dos parâmetros de um robô hexápode através de algoritmos genéticos

Mestrado em Engenharia Electrotécnica e de Computadores

Construção de um robô trepador com locomoção através de rodas e adesão através de meios magnéticos

Mestrado em Engenharia Electrotécnica e de Computadores

Algoritmo neurogenético com vistas para o planejamento de rotas de robôs móveis autônomos

Pós-graduação em Ciência da Computação - IBILCE

Sistema de visão para percepção e navegação de um UAV Quadrotor

Mestrado em Engenharia Electrotécnica e de Computadores

Sistema de busca e salvamento baseado em múltiplos veículos terrestres

Esta dissertação visa o desenvolvimento de um sistema de busca e salvamento baseado em múltiplos veículos terrestres, utilizando para tal os veículos LINCE do Laboratório de Sistemas Autónomos. Tendo como principal propósito conferir autonomia aos veículos, foram estudados possíveis cenários de actuação, para determinar as principais funcionalidades requeridas do sistema. Foram também estudadas metodologias de análise e caracterização de sistemas multirobóticos, baseadas no estado da arte existente, e foi elaborada a arquitectura conceptual do sistema e dos veículos a desenvolver. A preparação dos veículos abordou o estudo das possíveis soluções sensoriais e de actuação, e o desenvolvimento de uma arquitectura de hardware capaz de interligar todos os periféricos dos mesmos. Foram adaptados novos sensores e actuadores, e desenvolvidos alguns desses sensores. Para a interligação e manutenção dos mesmos foram ainda desenvolvidos novos periféricos de interface e controlo, e periféricos de gestão de energia. Por fim, foi ainda adaptado um gestor de missões nos veículos, capaz de receber a especificação das mesmas.