A modified debugging infrastructure to assist real time fault injection campaigns

Fault injection is frequently used for the verification and validation of the fault tolerant features of microprocessors. This paper proposes the modification of a common on-chip debugging (OCD) infrastructure to add fault injection capabilities and improve performance. The proposed solution imposes a very low logic overhead and provides a flexible and efficient mechanism for the execution of fault injection campaigns, being applicable to different target system architectures.

A self-healing real-time system based on run-time self-reconfiguration

The new generations of SRAM-based FPGA (field programmable gate array) devices are the preferred choice for the implementation of reconfigurable computing platforms intended to accelerate processing in real-time systems. However, FPGA's vulnerability to hard and soft errors is a major weakness to robust configurable system design. In this paper, a novel built-in self-healing (BISH) methodology, based on run-time self-reconfiguration, is proposed. A soft microprocessor core implemented in the FPGA is responsible for the management and execution of all the BISH procedures. Fault detection and diagnosis is followed by repairing actions, taking advantage of the dynamic reconfiguration features offered by new FPGA families. Meanwhile, modular redundancy assures that the system still works correctly

Análise de fadiga de uma ponte ferroviária com tabuleiro misto vigado sob ação de tráfego de mercadorias

A presente dissertação centra-se no estudo de fadiga de uma ponte ferroviária com tabuleiro misto vigado pertencente a uma via de transporte de mercadorias. O caso de estudo incide sobre a ponte ferroviária sobre o rio do Sonho, localizada na Estrada de Ferro de Carajás situada no nordeste do Brasil. Nesta linha circulam alguns dos maiores comboios de mercadoria do mundo com cerca de 3.7 km de extensão e com cargas por eixo superiores a 300 kN. Numa primeira fase apresentam-se diversas metodologias de análise da fadiga em pontes ferroviárias metálicas. É também descrita a ferramenta computacional FADBridge, desenvolvida em ambiente MATLAB, e que possibilita o cálculo sistematizado e eficiente do dano de fadiga em detalhes construtivos de acordo com as indicações dos eurocódigos. Em seguida são abordadas as metodologias numéricas utilizadas para a realização das análises dinâmicas do sistema ponte-comboio e os aspetos regulamentares a ter em consideração no dimensionamento de pontes ferroviárias. O modelo numérico de elementos finitos da ponte foi realizado com recurso ao programa ANSYS. Com base neste modelo foram obtidos os parâmetros modais, nomeadamente as frequências naturais e os modos de vibração, tendo sido também analisada a importância do efeito compósito via-tabuleiro e a influência do comportamento não linear do balastro. O estudo do comportamento dinâmico da ponte foi realizado por intermédio de uma metodologia de cargas móveis através da ferramenta computacional Train-Bridge Interaction (TBI). As análises dinâmicas foram efetuadas para a passagem dos comboios reais de mercadorias e de passageiros e para os comboios de fadiga regulamentares. Nestas análises foi estudada a influência dos modos de vibração globais e locais, das configurações de carga dos comboios e do aumento da velocidade de circulação, na resposta dinâmica da ponte. Por último, foi avaliado o comportamento à fadiga de diversos detalhes construtivos para os cenários de tráfego regulamentar e reais. Foi ainda analisada a influência do aumento da velocidade, da configuração de cargas dos comboios e da degradação da estrutura nos valores do dano por fadiga e da respetiva vida residual.

Sistema de gestão de transporte de envios parcelares

No ambiente empresarial actual, cada vez mais competitivo e exigente, é um factor fundamental para o sucesso das empresas a sua capacidade de atingir e melhorar os níveis de satisfação exigidos pelos clientes. Para identificar as melhorias a implementar, as empresas devem ser capazes de monitorizar e controlar todas as suas actividades e processos. O acompanhamento realizado às actividades delegadas a empresas externas, como por exemplo o transporte de mercadorias, é dificultado quando os prestadores destes serviços não possuem ferramentas de apoio que disponibilizem informação necessária para o efeito. A necessidade de colmatar esta dificuldade na recolha da informação durante a distribuição de uma encomenda na empresa Caetano Parts, uma empresa de revenda de peças de substituição automóvel, levou ao desenvolvimento de uma ferramenta que permite fazer o seguimento de uma encomenda em todas as suas fases, permitindo ao responsável pelas operações acompanhar o estado da encomenda desde o instante em que a encomenda é colocada, passando pelo seu processamento dentro das instalações, até à sua entrega ao cliente. O sistema desenvolvido é composto por dois componentes, o front-end e o back-end. O front-end é composto por uma aplicação web, e por uma aplicação Android para dispositivos móveis. A aplicação web disponibiliza a gestão da base de dados, o acompanhamento do estado da encomenda e a análise das operações. A aplicação Android é disponibilizada às empresas responsáveis pelo transporte das encomendas e possibilita a actualização online da informação acerca do processo de entrega. O back-end é composto pela unidade de armazenamento e processamento da informação e encontra-se alojado num servidor com ligação à internet, disponibilizando uma interface com o serviço móvel do tipo serviço web. A concepção, desenvolvimento e descrição das funcionalidades desta ferramenta são abordadas ao longo do trabalho. Os testes realizados ao longo do desenvolvimento validaram o correcto funcionamento da ferramenta, estando pronta para a realização de um teste piloto.

Testes de endurance do tronco: diferenças entre indivíduos com e sem dor lombo-pélvica e o efeito de programas de exercício de controlo motor

Introdução: em indivíduos com dor lombo-pélvica (LPP), parece existir uma alteração de controlo motor e diminuição da endurance dos músculos do tronco. A realização de exercícios de controlo motor pode melhorar a endurance dessa musculatura e consequentemente o controlo motor. Objetivos: detetar diferenças nos tempos e rácios de endurance dos músculos do tronco em indivíduos com e sem dor lombo-pélvica e avaliar o efeito de dois programas de exercícios de controlo motor (segundo Richardson e segundo McGill) nos mesmos outcomes em indivíduos com LPP. Métodos: estudo transversal com uma amostra de 111 indivíduos, 52 para o grupo sem dor (NLPP) e 59 para o com LPP e estudo experimental, constituído pelos indivíduos LPP (59), alocados nos grupos de Pilates (20), McGill (20) ou no grupo controlo (19). Avaliaramse os tempos obtidos nos testes de endurance para os músculos extensores, flexores, flexores laterais direitos e esquerdos do tronco e respetivos rácios, tendo em conta o modelo de McGill. As avaliações dos grupos do estudo experimental realizaram-se antes e após as 8 semanas de exercício. Resultados: os indivíduos com LPP apresentaram tempos e rácios de endurance significativamente inferiores aos indivíduos NLPP (p<0.001). Após as 8 semanas de exercício, registaram-se diferenças estatisticamente significativas entre os grupos em todos os testes de endurance, sendo que o grupo de McGill apresentou tempos significativamente superiores aos do grupo de Pilates para os músculos flexores (p=0.001), flexores laterais direitos (p=0.002) e esquerdos (p=0.009). Quanto aos rácios de endurance, não se detetaram apenas diferenças estatisticamente significativas no rácio flexão lateral esquerda/extensão. Conclusão: os indivíduos com LPP apresentaram tempos e rácios de endurance do tronco inferiores aos dos indivíduos sem dor. Ambos os programas de exercícios melhoraram os tempos e os rácios de endurance, tendo existido uma tendência para melhores resultados na abordagem segundo McGill

Obesidade e cancro da próstata: Avaliação do efeito dos adipócitos nas células RM1 de carcinoma da próstata

O cancro da próstata é o segundo cancro mais frequente e a sexta causa de morte mundial por cancro no sexo masculino. A obesidade tem sido associada ao aumento da incidência e mortalidade por cancro, com alguma controvérsia. As alterações nas expressões de adipocinas associadas à obesidade têm sido um dos diversos mecanismos propostos para explicar a associação entre a obesidade e o cancro da próstata, nomeadamente na promoção do desenvolvimento e progressão celular do tumor. O objetivo deste trabalho é avaliar o efeito dos fatores produzidos pelos pré-adipócitos e os adipócitos na proliferação, migração e invasão das células de carcinoma da próstata independentes dos androgénios. As células RM1 foram cultivadas na presença de diferentes concentrações de insulina e leptina, bem como em meio condicionado (MC) de pré-adipócitos e adipócitos e co-cultivadas em sistema de transwells, com as mesmas células. A proliferação celular das RM1 foi avaliada recorrendo a contagem celular em camara de Neubauer e em citometro de fluxo, e aos ensaios metabólicos alamar blue e XTT. Efetuou-se um ensaio de migração por dano nas células RM1 na presença dos meios condicionados. A invasão das células foi avaliada recorrendo a um sistema de transwells, com membrana de matrigel, quando cultivadas com pré-adipócitos e adipócitos. A insulina aumentou significativamente a proliferação celular, ao contrário da leptina que não teve efeito. O meio condicionado dos pré-adipócitos aumentou ligeiramente a proliferação, enquanto meio condicionado dos adipócitos de 1 e 2 dias aumentou significativamente a proliferação das células RM1 (p<0.01), quando avaliada por XTT. Na câmara de Neubauer não se verificaram diferenças significativas na proliferação celular. Relativamente à migração celular, observou-se um aumento significativo da migração das células RM1 cultivadas com meio condicionado de adipócitos (MCA) e pré-adipócitos (MCPA) em comparação com o controlo (p<0.01). Observou-se um aumento significativo da invasão de células RM1 cultivadas com adipócitos e pré-adipócitos (p <0.05). Os adipócitos aumentaram significativamente a proliferação das células RM1 em co-cultura (p<0.01). Em conclusão, as células RM1 parecem ser influenciadas por fatores secretados pelos adipócitos, capazes de aumentar a sua capacidade de proliferar, invadir e migrar.

O efeito das ações de educação na doença pulmonar obstrutiva crónica nos recursos de saúde, exacerbações e na autoeficácia: revisão sistemática

Introdução: A doença pulmonar obstrutiva crónica (DPOC) é considerada uma das principais causas de morbilidade e mortalidade em todo o mundo, atingindo substancialmente o contexto económico e social. As ações de educação permitem capacitar o doente na gestão e controlo da sua doença, no desenvolvimento do empowerment e na aquisição de estratégias para melhorar os vários outcomes da doença crónica. Têm sido propostas como medidas para limitar a crescente carga e custos de saúde. Contudo, ainda se encontra incerta a sua eficácia nesta patologia. Objetivo: Analisar as implicações das ações educativas de self-management sobre a DPOC, nomeadamente ao nível da recorrência aos serviços de saúde, nas exacerbações, na autoeficácia e na medicação. Métodos: Estudos controlados e randomizados, escritos em inglês, que incluíram ações de educação de selfmanagement foram pesquisados em bases de dados MEDLINE, CINAHL, ScienceDirect. Outcomes analisados: número de exacerbações, recorrência aos serviços de saúde, autoeficácia e conhecimento da DPOC, recurso a antibiótico e/ou corticosteróides. Resultados: 12 artigos foram incluídos na revisão sistemática. O período de intervenção variou entre 3 a 18 meses e o número de participantes randomizados de 40 a 743. Foi observada uma diminuição da recorrência aos serviços de saúde e no aumento da autoeficácia e conhecimento da DPOC. Não foram observadas alterações na frequência de exacerbações nem no recurso a antibióticos e/ou corticosteróides. Conclusão: A implementação de ações de educação na DPOC mostrou trazer benefícios a nível da recorrência dos serviços de saúde e na autoeficácia e conhecimento acerca da DPOC. Contudo, mais estudos controlados e randomizados rigorosos são necessários.

Efeito hipotensivo de uma sessão de exercício aeróbio em idosos hipertensos

Introdução: As doenças cardiovasculares, entre elas, a hipertensão arterial constituem um dos problemas de saúde de maior prevalência, principalmente na população idosa. Alguns estudos têm apontado o exercício físico aeróbio como uma medida não farmacológica, eficaz, para a prevenção/controlo da hipertensão arterial. Objetivo: Este estudo avaliou o efeito agudo hipotensivo de uma sessão isolada de exercício físico aeróbio num grupo de idosos hipertensos. Metodologia: A amostra foi composta por 20 idosos, de ambos os géneros, hipertensos, pertencentes a três centros de convívio distintos. Os indivíduos foram divididos aleatoriamente em dois grupos, o grupo que fez a sessão de exercício (n=10, idade 81,2 ± 4,71 anos) e o grupo de controlo (n=10, idade 81,2 ± 3,12 anos). O grupo de exercício participou numa sessão de exercício físico aeróbio que teve 35 minutos de duração, sendo constituída por 5 minutos de aquecimento seguidos por duas frações de marcha a uma intensidade de 40-60% da frequência cardíaca (FC) de reserva, cada uma delas com a duração de 10 minutos, separadas por um intervalo de recuperação de 5 minutos, terminando com 5 minutos de retorno à calma. O grupo controlo permaneceu 35 minutos em repouso sentado. Todos indivíduos foram sujeitos à avaliação da pressão arterial (PA) e FC, antes, no intervalo, no término, 20 e 40 minutos após a sessão de exercício/35 minutos de repouso. Resultados: Observou-se que no grupo que fez o exercício físico a PA sistólica medida aos 40 minutos (123,04 ± 23,07 mmHg) após a sessão de exercício foi significativamente inferior aos restantes momentos de avaliação, incluindo o valor observado em repouso (135,57 ± 19,43 mmHg). A PA diastólica medida também aos 40 minutos (61,94 ± 7,49 mmHg) após a sessão foi inferior à obtida ao intervalo da sessão (72,40 ± 8,51 mmHg). A FC foi significativamente superior ao intervalo e no término da sessão comparativamente a todos os outros momentos de avaliação. Quanto ao grupo controlo não se verificaram diferenças significativas em nenhum dos parâmetros avaliados. Conclusão: Uma sessão isolada de exercício aeróbio de curta promove a ocorrência do fenómeno hipotensão pós-exercício em idosos hipertensos.

Avaliação da eficiência energética e optimização de uma unidade de trigeração

Portugal é um país dependente da energia do exterior, devido à elevada percentagem de consumo de energia a partir de fontes primárias, como por exemplo o gasóleo. Para colmatar este cenário, têm vindo a criar-se incentivos para o uso de energias renováveis e para intensificação de medidas de eficiência energética, como os sistemas de cogeração, de forma a tornar os processos industriais nacionais mais autónomos e mais competitivos. O presente trabalho, centra-se na determinação do potencial térmico disponível na central de trigeração da empresa Monteiro, Ribas-Indústria, SA, com a finalidade de identificar a quantidade de energia não utilizada, com vista ao aproveitamento dessa mesma energia nos processos mais problemáticos da empresa. Verificou-se que a água líquida era a fonte de maior energia não aproveitada, representando cerca de 30%, relativamente à energia disponível na água de refrigeração que é de 1890 kW. Assim, perante este facto, fez-se um estudo em dois setores autónomos da empresa, o setor dos revestimentos e o setor dos componentes técnicos da borracha. Pretendeu-se propor medidas para melhorar os seus processos produtivos, aproveitando essa energia. Para o efeito foi projetado um permutador de calor de placas com necessidade energética de 131,4 MWh, no setor dos revestimentos e um permutador compacto no setor de produção de placas de borracha, necessitando de uma energia de 335,2 MWh. Face à energia disponível na central de trigeração, de 161,9 MWh, verifica-se que esta apenas poderá ser aproveitada no setor dos revestimentos. Para tornar este objetivo real, a empresa Monteiro, Ribas- Indústria, SA necessitaria de efetuar um investimento no total de 49.390€. Além disso, foi contabilizado o rendimento das caldeiras da central térmica e da cogeração, ambas pelo método direto, apresentando estas os valores de 72% e 42%, respectivamente.

Efeito país de origem e etnocentrismo: caso dos vinhos espumantes italianos

Dissertação de Mestrado Mestrado em Empreendedorismo e Internacionalização Orientada por Mestre Anabela Ribeiro

Real Time Internet DGPS Service

The accuracy of the Navigation Satellite Timing and Ranging (NAVSTAR) Global Positioning System (GPS) measurements is insufficient for many outdoor navigation tasks. As a result, in the late nineties, a new methodology – the Differential GPS (DGPS) – was developed. The differential approach is based on the calculation and dissemination of the range errors of the GPS satellites received. GPS/DGPS receivers correlate the broadcasted GPS data with the DGPS corrections, granting users increased accuracy. DGPS data can be disseminated using terrestrial radio beacons, satellites and, more recently, the Internet. Our goal is to provide mobile platforms within our campus with DGPS data for precise outdoor navigation. To achieve this objective, we designed and implemented a three-tier client/server distributed system that establishes Internet links with remote DGPS sources and performs campus-wide dissemination of the obtained data. The Internet links are established between data servers connected to remote DGPS sources and the client, which is the data input module of the campus-wide DGPS data provider. The campus DGPS data provider allows the establishment of both Intranet and wireless links within the campus. This distributed system is expected to provide adequate support for accurate (submetric) outdoor navigation tasks.

Beliefs and Conflicts in a Real World Multi-Agent System

In a real world multiagent system, where the agents are faced with partial, incomplete and intrinsically dynamic knowledge, conflicts are inevitable. Frequently, different agents have goals or beliefs that cannot hold simultaneously. Conflict resolution methodologies have to be adopted to overcome such undesirable occurrences. In this paper we investigate the application of distributed belief revision techniques as the support for conflict resolution in the analysis of the validity of the candidate beams to be produced in the CERN particle accelerators. This CERN multiagent system contains a higher hierarchy agent, the Specialist agent, which makes use of meta-knowledge (on how the con- flicting beliefs have been produced by the other agents) in order to detect which beliefs should be abandoned. Upon solving a conflict, the Specialist instructs the involved agents to revise their beliefs accordingly. Conflicts in the problem domain are mapped into conflicting beliefs of the distributed belief revision system, where they can be handled by proven formal methods. This technique builds on well established concepts and combines them in a new way to solve important problems. We find this approach generally applicable in several domains.

Real-time scheduling with resource sharing on heterogeneous multiprocessors

Consider the problem of scheduling a task set τ of implicit-deadline sporadic tasks to meet all deadlines on a t-type heterogeneous multiprocessor platform where tasks may access multiple shared resources. The multiprocessor platform has m k processors of type-k, where k∈{1,2,…,t}. The execution time of a task depends on the type of processor on which it executes. The set of shared resources is denoted by R. For each task τ i , there is a resource set R i ⊆R such that for each job of τ i , during one phase of its execution, the job requests to hold the resource set R i exclusively with the interpretation that (i) the job makes a single request to hold all the resources in the resource set R i and (ii) at all times, when a job of τ i holds R i , no other job holds any resource in R i . Each job of task τ i may request the resource set R i at most once during its execution. A job is allowed to migrate when it requests a resource set and when it releases the resource set but a job is not allowed to migrate at other times. Our goal is to design a scheduling algorithm for this problem and prove its performance. We propose an algorithm, LP-EE-vpr, which offers the guarantee that if an implicit-deadline sporadic task set is schedulable on a t-type heterogeneous multiprocessor platform by an optimal scheduling algorithm that allows a job to migrate only when it requests or releases a resource set, then our algorithm also meets the deadlines with the same restriction on job migration, if given processors 4×(1+MAXP×⌈|P|×MAXPmin{m1,m2,…,mt}⌉) times as fast. (Here MAXP and |P| are computed based on the resource sets that tasks request.) For the special case that each task requests at most one resource, the bound of LP-EE-vpr collapses to 4×(1+⌈|R|min{m1,m2,…,mt}⌉). To the best of our knowledge, LP-EE-vpr is the first algorithm with proven performance guarantee for real-time scheduling of sporadic tasks with resource sharing on t-type heterogeneous multiprocessors.

Efficient schedulability tests for real-time embedded systems with urgent routines

Task scheduling is one of the key mechanisms to ensure timeliness in embedded real-time systems. Such systems have often the need to execute not only application tasks but also some urgent routines (e.g. error-detection actions, consistency checkers, interrupt handlers) with minimum latency. Although fixed-priority schedulers such as Rate-Monotonic (RM) are in line with this need, they usually make a low processor utilization available to the system. Moreover, this availability usually decreases with the number of considered tasks. If dynamic-priority schedulers such as Earliest Deadline First (EDF) are applied instead, high system utilization can be guaranteed but the minimum latency for executing urgent routines may not be ensured. In this paper we describe a scheduling model according to which urgent routines are executed at the highest priority level and all other system tasks are scheduled by EDF. We show that the guaranteed processor utilization for the assumed scheduling model is at least as high as the one provided by RM for two tasks, namely 2(2√−1). Seven polynomial time tests for checking the system timeliness are derived and proved correct. The proposed tests are compared against each other and to an exact but exponential running time test.

Simulação da Central de Cogeração da Refinaria de Matosinhos (Petrogal)

Mestrado em Engenharia Química – Ramo Optimização Energética na Indústria Química