Towards Certifiable Multicore-based Platforms for Avionics

Work in Progress Session, 21st IEEE Real-Time and Embedded Techonology and Applications Symposium (RTAS 2015). 13 to 16, Apr, 2015, pp 27-28. Seattle, U.S.A..

Autores da nossa própria história

Acreditando numa educação social que se quer muito mais do que uma socialização correta e numa educação de adultos que se quer muito mais do que um ajustamento funcional dos indivíduos ao mercado de trabalho, este trabalho desenvolveu-se num Centro Novas Oportunidades (CNO), sedeado numa escola pública do concelho de Penafiel, entre outubro de 2011 e julho de 2012. Através de uma metodologia de investigação-ação participativa, procurou potenciar os campos de interseção entre a educação social e a educação de adultos, inspirando-se no poder libertador e transformador da educação. Num momento em que os adultos vivenciaram o encerramento repentino da Iniciativa Novas Oportunidades, em que estão integrados ou que foram integrantes, e o consequente sentimento de descredibilização social dos processos que frequentavam, este projeto procurou promover nos adultos com quem foi construído, a capacidade de reflexão sobre o seu passado, apropriação crítica do seu presente, a fim de tomarem decisões sobre o seu futuro, e que respondesse aos seus interesses e desejos, numa lógica de solidariedade, justiça e desenvolvimento. As conclusões deste trabalho apontam para a sua capacidade de, numa atitude emancipatória e democrática, analisar criticamente as circunstâncias que enquadram mais um período de transição das políticas públicas no campo da educação de adultos, a partir de uma essencial avaliação isenta e independente do trabalho desenvolvido, pelos seus principais intervenientes: os adultos.

ISO 9001:2015, Uma Oportunidade para o Reajustamento das Empresas no Sector Metalúrgico Metalomecânico

O pretexto da implementação de um Sistema de Gestão da Qualidade numa empresa de produção de fundos copados, constitui pretexto para provocar uma análise mais profunda e fundamentada do tema e objetivo para este projeto. Entender um conceito tão subjetivo como o de qualidade afigura-se como necessidade primária para o início da reflexão. Percorremos em seguida a história do conceito desde a Europa Medieval até à revolução na qualidade que acabaria por acontecer no Japão após a II Guerra Mundial. A qualidade como a entendemos hoje deve-se ainda a contributos de personalidades que identificaram vários métodos que surgiram ao longo do tempo e que foram melhorando o conceito, de entre as quais se referem três: William Deming, Joseph Moses Juran e Philip B. Crosby. Em seguida reflete-se acerca do impacto real da implementação da ISO 9000, recorrendo ao estudo de Olivier Boiral, que fornece uma aproximação bastante real dos benefícios da implementação de sistemas de gestão da qualidade. Ainda no segundo capítulo analisamos a importância do processo de certificação, concluindo que a tarefa extra de uma organização externa certificar o SGQ constitui indubitavelmente uma forma de manter o sistema rigoroso e disciplinado. No terceiro capítulo, “ISO 9001:2008 VERSUS ISO 9001:2015”, analisamos em detalhe as principais alterações da futura norma ISO 9001:2015 relativamente à iISO 9001:2008: introdução do “pensamento baseado no risco”; enfase dado à abordagem por processos; enfase dado à “gestão da mudança”; “gestão do conhecimento”; “direção estratégica”, integrando os sistemas de gestão e da qualidade; a determinação de que todas as normas que integram um sistema de gestão seguirão um novo formato, chamado “high-level structure” como definido no Anexo SL; e enfase ainda dado à consideração do feedback de todos os processos e stakeholders envolvidos. Seguidamente, no capítulo “Apresentação da “Empresa Lda””, apresenta-se a empresa alvo deste caso de estudo, uma indústria metalomecânica que fabrica fundos copados para o mercado nacional e internacional. Analisadas as principais alterações entre a atual e a futura norma, no capítulo “SGQ Proposto Assente na Futura Norma ISO 9001:2015” propõem-se alterações ao sistema já implementado anteriormente com base na aceitação da futura ISO 9001:2015 e alterações que esta prevê. Os processos e procedimentos que representem mais tempo e custo serão 6 identificados, assim como aqueles que poderão ser mais rapidamente adaptados para que o SGQ seja assim otimizado e mais adaptado aos recursos disponíveis. Para esta reflexão e desenvolvimento de uma nova estratégia recorre-se a vários instrumentos: estabelecem-se objetivos, efectua-se a análise SWOT, uma análise FMEA, a Análise de Gestão do Conhecimento e finalmente a Análise das Partes Interessadas. Em conjunto com as propostas de ações referidas nas análises anteriores descrevem-se de seguida as propostas de ação de intervenção nos fluxogramas. Os processos e procedimentos que aqui se destacam são aqueles que se consideram poderem constituir impacto eficaz e que vão ao encontro daquilo que é proposto na nova norma ISO 9001:2015, tendo em conta as principais alterações vistas anteriormente.

Partilha de Pontos de Interesse, Vídeos e Experiências Sensoriais Baseada no Contexto do Utilizador

A evolução tecnológica das últimas décadas na área das Tecnologias da Informação e Comunicação (TIC) contribuiu para a proliferação de fontes de informação e de sistemas de partilha de recursos. As diversas redes sociais são um exemplo paradigmático de sistemas de partilha tanto de informação como de recursos (e.g. audiovisuais). Essa abundância crescente de recursos e fontes aumenta a importância de sistemas capazes de recomendar em tempo útil recursos personalizados, tendo por base o perfil e o contexto do utilizador. O objetivo deste projeto é partilhar e recomendar locais, artigos e vídeos em função do contexto do utilizador assim como proporcionar uma experiência mais rica de reprodução dos vídeos partilhados, simulando as condições de gravação dos vídeos. Este sistema teve como inspiração dois projetos anteriormente desenvolvidos de partilha e recomendação de locais, artigos e vídeos turísticos em função da localização do utilizador. O sistema desenvolvido consiste numa aplicação distribuída composta por um módulo cliente Android, que inclui a interface com o utilizador e o consumo direto de serviços externos de suporte, e um módulo servidor que controla o acesso à base de dados central e inclui o serviço de recomendação baseado no contexto do utilizador. A comunicação entre os módulos cliente e servidor utiliza um protocolo do nível de aplicação dedicado. As recomendações geradas pelo sistema têm por base o perfil de utilizador, informação contextual (posição do utilizador, data e hora atual e velocidade atual do utilizador) e podem ser geradas a pedido do utilizador ou automaticamente, caso sejam encontrados pontos de interesse de grande relevância para o utilizador. Os pontos de interesse recomendados são apresentados com recurso ao Google Maps, incluindo o período de funcionamento, artigos complementares e a reprodução imersiva dos vídeos relacionados. Essa imersão tem em consideração as condições meteorológicas, temporais e espaciais aquando da gravação do vídeo.

Probabilistic models for mechanical properties of prestressing strands

This study focus on the probabilistic modelling of mechanical properties of prestressing strands based on data collected from tensile tests carried out in Laboratório Nacional de Engenharia Civil (LNEC), Portugal, for certification purposes, and covers a period of about 9 years of production. The strands studied were produced by six manufacturers from four countries, namely Portugal, Spain, Italy and Thailand. Variability of the most important mechanicalproperties is examined and the results are compared with the recommendations of the ProbabilisticModel Code, as well as the Eurocodes and earlier studies. The obtained results show a very low variability which, of course, benefits structural safety. Based on those results, probabilistic modelsfor the most important mechanical properties of prestressing strands are proposed.

Generalized convolution

The paper revisits the convolution operator and addresses its generalization in the perspective of fractional calculus. Two examples demonstrate the feasibility of the concept using analytical expressions and the inverse Fourier transform, for real and complex orders. Two approximate calculation schemes in the time domain are also tested.

Efficiency of strengthening techniques assessed for existing masonry buildings

The Azores archipelago is a zone with a vast cultural heritage, presenting a building stock mainly constructed in traditional stone masonry. It is known that this type of construction exhibits poor behaviour under seismic excitations; however it is extensively used in seismic prone areas, such as this case. The 9th of July of 1998 earthquake was the last seismic event in the islands, leaving many traditional stone constructions severely damaged or totally destroyed. This scenario led to an effort by the local government of improving the seismic resistance of these constructions, with the application of several reinforcement techniques. This work aims to study some of the most used reinforcement schemes after the 1998 earthquake, and to assess their effectiveness in the mitigation of the construction’s seismic vulnerability. A brief evaluation of the cost versus benefit of these retrofitting techniques is also made, seeking to identify those that are most suitable for each building typology. Thus, it was sought to analyze the case of real structures with different geometrical and physical characteristics, by establishing a comparison between the seismic performance of reinforced and non-reinforced structures. The first section contains the analysis of a total of six reinforcement scenarios for each building chosen. Using the recorded 1998 earthquake accelerograms, a linear time-history analysis was performed for each reinforcement scenario. A comparison was then established between the maximum displacements, inter-storey drift and maximum stress obtained, in order to evaluate the global seismic response of each reinforced structure. In the second part of the work, the examination of the performance obtained in the previous section, in relation to the cost of implementing each reinforcement technique, allowed to draw conclusions concerning the viability of implementing each reinforcement method, based on the book value of the buildings in study.

Estudo do comportamento térmico de edifícios de habitação segundo o RCCTE e o REH

Com a melhoria das condições de vida verificada nas últimas décadas em Portugal e no mundo, tem-se assistido a um importante desenvolvimento dos atributos funcionais dos edifícios, onde o conforto térmico assume um papel importante, é nesse sentido que a presente dissertação aborda a área do Desempenho Térmico de Edifícios, mais precisamente os do sector residencial. Esta dissertação dividiu-se em três grandes partes: inicialmente é feito um enquadramento teórico do tema, em seguida faz-se a apresentação das metodologias de cálculo e, por último, a apresentação do caso de estudo e análise dos resultados. Procura-se analisar a situação energética no sector residencial, dando particular ênfase às causas e medidas correctivas a aplicar para evitar o aumento do consumo de energia. Também são abordadas as metodologias presentes na Legislação Portuguesa em vigor, e nas novas propostas que espera-se que entrem em vigor a 1 de Dezembro de 2013. Sendo que o principal objectivo desta dissertação é o estudo da nova proposta legislativa e apresentar um documento que procure efectuar uma comparação detalhada entre o DL 80/2006, de 4 de Abril e o DL 118/20013, de 20 de Agosto e sobretudo referir quais as implicações ao nível das soluções construtivas adoptadas e da certificação energética. Após esta analise, é apresentado um caso de estudo que consiste num edifício de habitação unifamiliar que será alvo da aplicação destes dois documentos. Por último é apresentada uma análise dos resultados comparando a classe energética conseguida pelo edifício através das duas metodologias de cálculo.

A filter algorithm: comparison with NLP solvers

The purpose of this work is to present an algorithm to solve nonlinear constrained optimization problems, using the filter method with the inexact restoration (IR) approach. In the IR approach two independent phases are performed in each iteration—the feasibility and the optimality phases. The first one directs the iterative process into the feasible region, i.e. finds one point with less constraints violation. The optimality phase starts from this point and its goal is to optimize the objective function into the satisfied constraints space. To evaluate the solution approximations in each iteration a scheme based on the filter method is used in both phases of the algorithm. This method replaces the merit functions that are based on penalty schemes, avoiding the related difficulties such as the penalty parameter estimation and the non-differentiability of some of them. The filter method is implemented in the context of the line search globalization technique. A set of more than two hundred AMPL test problems is solved. The algorithm developed is compared with LOQO and NPSOL software packages.

Integração de Sistemas de Gestão da Qualidade, Ambiente e Segurança

Analisando numa perspectiva mais ampla, esta Tese/Dissertação deverá ser uma ferramenta de apoio a quem necessite de implementar e integrar sistemas de gestão normalizados. Seguindo uma abordagem empresarial, visa ajudar os praticantes de uma filosofia Kaizen, a melhorar continuamente, acrescentando valor às suas organizações, através de um conjunto de estratégias e técnicas de carácter prático. Em termos mais específicos, o objectivo foi apresentar um caso prático onde se aplicassem essas mesmas ferramentas. O case-study incidiu na análise da implementação da certificação integrada da Qualidade, Ambiente e Segurança na Divisão de Equipamento Industrial da Toyota Caetano Portugal. Esta tese/dissertação retrata a implementação teórica e prática do SIG QAS, aplicando os requisitos definidos pela TMHE (Toyota Material Handeling Europe), entre os quais o TPS (Toyota Production System), Kaizen, Toyota Way, Elimination of Waste, Gemba, JIT, Genchi Genbutsu, etc. Os resultados obtidos foram positivos por várias razões. Por ter conseguido elaborar um documento simples de entender, com sugestões de fácil aplicação futura e porque as propostas resultantes do case-study permitirão à TCAP - DEI a promoção da qualidade, a eliminação do desperdício, a completa satisfação dos clientes pela análise, antecipação das suas necessidades e expectativas e pelo cumprimento dos requisitos legais Ambientais e de Segurança aplicáveis, adoptando boas práticas ambientais e de prevenção de acidentes. Temos assim o comprometimento de que esta Tese/Dissertação contribuirá de forma inabalável para o principal desígnio, de assegurar a melhoria contínua do desempenho, garantindo a sustentabilidade da Organização.

Implicações da certificação pela NP 4427:2004 na função recursos humanos

Este estudo tem como principal objetivo compreender as mudanças na função recursos humanos após a certificação do sistema de gestão de recursos humanos de uma empresa no âmbito da Norma Portuguesa 4427:2004 – “Sistemas de gestão de recursos humanos – requisitos”. Neste sentido, foi realizada uma abordagem teórica à evolução da função recursos humanos, apresentada a NP 4427:2004 e a contextualização teórica e normativa das práticas de gestão de recursos humanos desenvolvidas nesse âmbito. De forma a dar resposta à questão de pesquisa foi utilizada uma metodologia qualitativa, com recurso ao estudo de caso único numa empresa portuguesa certificada no âmbito da NP 4427:2004. No processo de recolha de dados recorremos à análise documental e à realização de entrevistas aos treze colaboradores vinculados à empresa desde data anterior à certificação. Os resultados sugerem mudanças ao nível da atuação da gestão de recursos humanos na empresa que, com a implementação e certificação pela NP 4427:2004, se tornou mais estratégica e dinamizadora de práticas de recursos humanos sistematizadas e preocupadas com o desenvolvimento das pessoas. Depois de apresentados e discutidos os resultados, o estudo apresenta também sugestões de pesquisa futura sobre o tema da NP 4427:2004 e contributos práticos da investigação para a empresa objeto de estudo.

EVOLUTION OF PATIENTS WITH AIDS AFTER cART: CLINICAL AND LABORATORY EVOLUTION OF PATIENTS WITH AIDS AFTER 48 WEEKS OF ANTIRETROVIRAL TREATMENT

SUMMARY Combination Antiretroviral Therapy (cART) aims to inhibit viral replication, delay immunodeficiency progression and improve survival in AIDS patients. The objective of this study was to compare two different schemes of cART, based on plasma viral load (VL) and CD4+ T lymphocyte count, during 48 weeks of treatment. For this purpose, 472 medical charts of a Specialized Outpatient Service were reviewed from 1998 to 2005. Out of these, 58 AIDS patients who had received a triple drug scheme as the initial treatment were included in the study and two groups were formed: Group 1 (G1): 47 individuals treated with two nucleoside reverse-transcriptase inhibitors (NRTI) and one non-nucleoside reverse-transcriptase inhibitor; Group 2 (G2): 11 patients treated with two NRTI and one protease inhibitor. In G1 and G2, 53.2% and 81.8% respectively were patients with an AIDS-defining disease. The T CD4+ lymphocyte count increased progressively up until the 24th week of treatment in all patients, while VL became undetectable in 68.1% of G1 and in 63.6% of G2. The study concluded that the evolutions of laboratory tests were similar in the two treatment groups and that both presented a favorable clinical evolution.

Linear amplification with multiple nonlinear devices

Dissertação para obtenção do Grau de Mestre em Engenharia Electrotécnica e Computadores

Influência dos equipamentos de aquecimento, arrefecimento e AQS na certificação energética de edifícios

Na União Europeia os sectores dos transportes e da indústria são ambos grandes consumidores de energia, mas são os edifícios residenciais e de serviços onde o consumo energético é maior, e em 2005, segundo a EnerBuilding, representavam cerca de 17% dos consumos de energia primária em termos nacionais. A energia gasta com a iluminação, o aquecimento, o arrefecimento e AQS das habitações, locais de trabalho e locais de lazer é superior à consumida pelos sectores dos transportes e da indústria. As habitações representam dois terços do consumo total de energia dos edifícios europeus, o qual aumenta todos os anos com a melhoria da qualidade de vida, traduzindo-se numa maior utilização dos sistemas de climatização. Neste sentido, e de acordo com o decreto-lei que transpõe para a legislação portuguesa a diretiva comunitária relativa ao desempenho energético dos edifícios, todos os Estados da União Europeia devem ter um sistema de certificação energética para informar o cidadão sobre a qualidade térmica dos edifícios, aquando da construção, da venda ou do arrendamento. Assim, entrou em vigor em Portugal, desde 1 de Janeiro de 2009, a obrigatoriedade de apresentação de um certificado de eficiência energética, no ato de compra, venda ou aluguer de edifícios novos e existentes. A certificação energética permite assim aos futuros utilizadores dos edifícios obter informação sobre os potenciais consumos de energia, no caso dos novos edifícios ou no caso de edifícios existentes sujeitos a grandes intervenções de reabilitação, dos seus consumos reais ou aferidos para padrões de utilização típicos, passando o consumo energético a integrar um conjunto dos aspetos importantes para a caracterização de qualquer edifício. Em edifícios de serviços, o certificado energético assegura aos utentes do edifício ou da fração que este reúne condições para garantir a eficiência energética e a adequada qualidade do ar interior. Uma vez que passamos 80% do nosso tempo em edifícios, e que isto se reflete num consumo cada vez mais elevado do sector residencial e dos serviços no consumo total energético do país, este trabalho pretende fazer a comparação dos vários equipamentos de aquecimento, de arrefecimento e de AQS e qual a influência dos mesmos na certificação energética de edifícios, e consequentemente na eficiência dos mesmos, sendo que a eficiência e a certificação energética de um edifício deve ser um aspeto relevante a levar em consideração no momento do planeamento ou da construção, bem como na aquisição de uma nova habitação. Um projeto concebido de modo a tirar proveito das condições climáticas, da orientação solar, dos ventos dominantes e utilizadas técnicas construtivas e os materiais adequados, é possível reduzir os gastos energéticos com a iluminação ou os sistemas de climatização.

Real-time Task-Splitting scheduling algorithms framework

Nos dias de hoje, os sistemas de tempo real crescem em importância e complexidade. Mediante a passagem do ambiente uniprocessador para multiprocessador, o trabalho realizado no primeiro não é completamente aplicável no segundo, dado que o nível de complexidade difere, principalmente devido à existência de múltiplos processadores no sistema. Cedo percebeu-se, que a complexidade do problema não cresce linearmente com a adição destes. Na verdade, esta complexidade apresenta-se como uma barreira ao avanço científico nesta área que, para já, se mantém desconhecida, e isto testemunha-se, essencialmente no caso de escalonamento de tarefas. A passagem para este novo ambiente, quer se trate de sistemas de tempo real ou não, promete gerar a oportunidade de realizar trabalho que no primeiro caso nunca seria possível, criando assim, novas garantias de desempenho, menos gastos monetários e menores consumos de energia. Este último fator, apresentou-se desde cedo, como, talvez, a maior barreira de desenvolvimento de novos processadores na área uniprocessador, dado que, à medida que novos eram lançados para o mercado, ao mesmo tempo que ofereciam maior performance, foram levando ao conhecimento de um limite de geração de calor que obrigou ao surgimento da área multiprocessador. No futuro, espera-se que o número de processadores num determinado chip venha a aumentar, e como é óbvio, novas técnicas de exploração das suas inerentes vantagens têm de ser desenvolvidas, e a área relacionada com os algoritmos de escalonamento não é exceção. Ao longo dos anos, diferentes categorias de algoritmos multiprocessador para dar resposta a este problema têm vindo a ser desenvolvidos, destacando-se principalmente estes: globais, particionados e semi-particionados. A perspectiva global, supõe a existência de uma fila global que é acessível por todos os processadores disponíveis. Este fato torna disponível a migração de tarefas, isto é, é possível parar a execução de uma tarefa e resumir a sua execução num processador distinto. Num dado instante, num grupo de tarefas, m, as tarefas de maior prioridade são selecionadas para execução. Este tipo promete limites de utilização altos, a custo elevado de preempções/migrações de tarefas. Em contraste, os algoritmos particionados, colocam as tarefas em partições, e estas, são atribuídas a um dos processadores disponíveis, isto é, para cada processador, é atribuída uma partição. Por essa razão, a migração de tarefas não é possível, acabando por fazer com que o limite de utilização não seja tão alto quando comparado com o caso anterior, mas o número de preempções de tarefas decresce significativamente. O esquema semi-particionado, é uma resposta de caráter hibrido entre os casos anteriores, pois existem tarefas que são particionadas, para serem executadas exclusivamente por um grupo de processadores, e outras que são atribuídas a apenas um processador. Com isto, resulta uma solução que é capaz de distribuir o trabalho a ser realizado de uma forma mais eficiente e balanceada. Infelizmente, para todos estes casos, existe uma discrepância entre a teoria e a prática, pois acaba-se por se assumir conceitos que não são aplicáveis na vida real. Para dar resposta a este problema, é necessário implementar estes algoritmos de escalonamento em sistemas operativos reais e averiguar a sua aplicabilidade, para caso isso não aconteça, as alterações necessárias sejam feitas, quer a nível teórico quer a nível prá