Multicore Scheduling of Real-Time Irregular Parallel Algorithms in Linux

Face à estagnação da tecnologia uniprocessador registada na passada década, aos principais fabricantes de microprocessadores encontraram na tecnologia multi-core a resposta `as crescentes necessidades de processamento do mercado. Durante anos, os desenvolvedores de software viram as suas aplicações acompanhar os ganhos de performance conferidos por cada nova geração de processadores sequenciais, mas `a medida que a capacidade de processamento escala em função do número de processadores, a computação sequencial tem de ser decomposta em várias partes concorrentes que possam executar em paralelo, para que possam utilizar as unidades de processamento adicionais e completar mais rapidamente. A programação paralela implica um paradigma completamente distinto da programação sequencial. Ao contrário dos computadores sequenciais tipificados no modelo de Von Neumann, a heterogeneidade de arquiteturas paralelas requer modelos de programação paralela que abstraiam os programadores dos detalhes da arquitectura e simplifiquem o desenvolvimento de aplicações concorrentes. Os modelos de programação paralela mais populares incitam os programadores a identificar instruções concorrentes na sua lógica de programação, e a especificá-las sob a forma de tarefas que possam ser atribuídas a processadores distintos para executarem em simultâneo. Estas tarefas são tipicamente lançadas durante a execução, e atribuídas aos processadores pelo motor de execução subjacente. Como os requisitos de processamento costumam ser variáveis, e não são conhecidos a priori, o mapeamento de tarefas para processadores tem de ser determinado dinamicamente, em resposta a alterações imprevisíveis dos requisitos de execução. `A medida que o volume da computação cresce, torna-se cada vez menos viável garantir as suas restrições temporais em plataformas uniprocessador. Enquanto os sistemas de tempo real se começam a adaptar ao paradigma de computação paralela, há uma crescente aposta em integrar execuções de tempo real com aplicações interativas no mesmo hardware, num mundo em que a tecnologia se torna cada vez mais pequena, leve, ubíqua, e portável. Esta integração requer soluções de escalonamento que simultaneamente garantam os requisitos temporais das tarefas de tempo real e mantenham um nível aceitável de QoS para as restantes execuções. Para tal, torna-se imperativo que as aplicações de tempo real paralelizem, de forma a minimizar os seus tempos de resposta e maximizar a utilização dos recursos de processamento. Isto introduz uma nova dimensão ao problema do escalonamento, que tem de responder de forma correcta a novos requisitos de execução imprevisíveis e rapidamente conjeturar o mapeamento de tarefas que melhor beneficie os critérios de performance do sistema. A técnica de escalonamento baseado em servidores permite reservar uma fração da capacidade de processamento para a execução de tarefas de tempo real, e assegurar que os efeitos de latência na sua execução não afectam as reservas estipuladas para outras execuções. No caso de tarefas escalonadas pelo tempo de execução máximo, ou tarefas com tempos de execução variáveis, torna-se provável que a largura de banda estipulada não seja consumida por completo. Para melhorar a utilização do sistema, os algoritmos de partilha de largura de banda (capacity-sharing) doam a capacidade não utilizada para a execução de outras tarefas, mantendo as garantias de isolamento entre servidores. Com eficiência comprovada em termos de espaço, tempo, e comunicação, o mecanismo de work-stealing tem vindo a ganhar popularidade como metodologia para o escalonamento de tarefas com paralelismo dinâmico e irregular. O algoritmo p-CSWS combina escalonamento baseado em servidores com capacity-sharing e work-stealing para cobrir as necessidades de escalonamento dos sistemas abertos de tempo real. Enquanto o escalonamento em servidores permite partilhar os recursos de processamento sem interferências a nível dos atrasos, uma nova política de work-stealing que opera sobre o mecanismo de capacity-sharing aplica uma exploração de paralelismo que melhora os tempos de resposta das aplicações e melhora a utilização do sistema. Esta tese propõe uma implementação do algoritmo p-CSWS para o Linux. Em concordância com a estrutura modular do escalonador do Linux, ´e definida uma nova classe de escalonamento que visa avaliar a aplicabilidade da heurística p-CSWS em circunstâncias reais. Ultrapassados os obstáculos intrínsecos `a programação da kernel do Linux, os extensos testes experimentais provam que o p-CSWS ´e mais do que um conceito teórico atrativo, e que a exploração heurística de paralelismo proposta pelo algoritmo beneficia os tempos de resposta das aplicações de tempo real, bem como a performance e eficiência da plataforma multiprocessador.

Production of aluminium based composites reinforced with embedded NiTi by friction stir welding

Dissertação para a obtenção do grau de Mestre em Engenharia Mecânica

Implementação do sistema de gestão da qualidade NP EN ISO 9001:2008 numa indústria de produção de presunto

Dissertação para obtenção do Grau de Mestre em Tecnologia e Segurança Alimentar - Especialização em Qualidade Alimentar

Estudo de implementação da NP EN ISO 22000:2005 na sala de desmancha de carnes frescas da empresa “X” Cash & Carry

Dissertação para obtenção do Grau de Mestre em Tecnologia e Segurança Alimentar

Analysis of benefits of the process of certification on international standars: ISO 9001-2008 for Mapfre Assistencia Portugal

A Work Project, presented as part of the requirements for the Award of a Masters Degree in Finance from the NOVA – School of Business and Economics

ISO 9001:2000 - advantages and obstacles in the portuguese construction business

Innovations in Structural Engineering and Construction - ISEC, 2008

Implementação da norma ISO 22000:2005 numa indústria de produção de queijo de Azeitão - DOP

Dissertação apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para obtenção do grau de Mestre em Tecnologia Alimentar e Qualidade

Petri net based development of globally-asynchronous locally-synchronous distributed embedded systems

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

Aplicação prática da Norma NP EN ISO/IEC 17025: apresentação de dois casos de estudo

A qualidade tornou-se, ao longo dos tempos, uma ferramenta de diferenciação de produtos e serviços, ajudando a consolidar posições no mercado. Se de início a motivação para a qualidade residia na satisfação do cliente ao nível das suas exigências mais básicas, como seja o paladar ou a estética, hoje a motivação está muito mais apoiada na segurança e higiene dos produtos, mantendo, contudo, o vector de satisfação básica do consumidor. Para que a Qualidade fosse uma certeza e fosse possível a sua garantia, foi necessário criar um sistema de certificação e acreditação de produtos e serviços. Assim, ao nível da acreditação de laboratórios de ensaio e/ou calibração, surgiu a Norma NP EN ISO/IEC 17025, que veio garantir a diferenciação entre uma qualidade controlada, verificada e validada e a qualidade aparente, que pode ou não ser comprovada. Dada a complexidade da implementação dos processos de acreditação de laboratórios e as dificuldades provenientes da livre interpretação da Norma, foi criado um guia interpretativo da mesma. Ainda assim, as dúvidas persistem, nomeadamente quanto à adequação dos requisitos a cada caso concreto. O confronto com esta realidade conduziu à realização do presente trabalho.

Estudo de implementação da NP EN ISO 22000:2005 na Cooperativa de Olivicultores de Fátima, C. R.L.

O conceito de “Segurança Alimentar” faz sentido no momento em que o ser humano tem consciência de que o que ingere deve ser inócuo para a sua saúde e bem-estar. Para dar resposta a esta preocupação global, a indústria alimentar teve necessidade de adotar diretrizes orientadoras para a produção de alimentos seguros. Em consequência disso, surgiram as normas para os Sistemas de Gestão da Segurança Alimentar (SGSA) e a sua implementação é hoje em dia um elemento fundamental para a competitividade da empresa e dos produtos que comercializa. O trabalho desenvolvido na presente dissertação visa o estudo da implementação de um Sistema de Gestão da Segurança Alimentar com base no referencial de certificação NP EN ISO 22000:2005, na Cooperativa de Olivicultores de Fátima C. R. L.. A implementação de um sistema de gestão e a sua posterior certificação, é uma mais-valia para uma empresa. Ao obter a certificação, obtêm-se reconhecimento e satisfação dos clientes e outras partes interessadas, melhoria da imagem e prestigio, acesso a novos mercados, redução de custos de funcionamento através da melhoria do desempenho operacional e uma nova cultura com a sensibilização e motivação dos colaboradores, orientada para a melhoria continua e para a satisfação dos clientes e outras partes interessadas. Tendo por base os Códigos de Boas-práticas e HACCP existentes, fez-se a revisão e atualização de todo o sistema. Reapreciou-se o processo de fabrico e reavaliaram-se os pontos críticos. Reviram-se os Programas Pré-requisitos e melhorou-se o sistema HACCP. Os SGSA têm uma elevada relevância nas organizações associadas ao sector alimentar também nas indústrias produtoras de azeite, uma vez que estas devem implementar metodologias capazes de assegurar que os perigos para a saúde dos consumidores são eliminados ou reduzidos a níveis aceitáveis. Os principais perigos na indústria do azeite numa fase inicial são a presença de microrganismos patogénicos e parasitas da azeitona (Ex.: Bactrocera oleae) que se podem desenvolver devido ao excessivo tempo de espera até à operação ou por temperaturas inadequadas, podendo este perigo ser resolvido através do controlo na receção, de fornecedores, e do tempo de operação; boas práticas de fabrico e formação do pessoal. A presença de folhas, terra, pedras e metais diversos é outro dos perigos mais frequentes que são contornados através do controlo na receção; inspeção visual; avaliação dos fornecedores, limpeza e lavagem das azeitonas. Ao longo da produção e embalamento os principais perigos são os resíduos de produtos de higienização, incorporação de partículas estranhas ou restos de sujidade e a contaminação química por resíduos de massas e óleos de lubrificação, perigos estes que são colmatados através de boas práticas de fabrico; plano de higiene e de manutenção dos equipamentos e do uso de lubrificantes homologados para a indústria alimentar.

Embedded Through-Section shear strengthening technique using steel and CFRP bars in RC beams of different percentage of existing stirrups

The Embedded Through-Section (ETS) technique is a promising technique for the shear strengthening of existing (RC) elements. According to this technique, holes are drilled through the beam section, and bars of steel or FRP material are introduced into these holes and bonded to the concrete with adhesive materials. An experimental program was carried out with RC T-cross section beams strengthened in shear using the ETS steel bars and ETS CFRP rods. The research is focused on the evaluation of the ETS efficiency on beams with different percentage of existing internal transverse reinforcement (ρsw=0.0%, ρsw=0.1% and ρsw=0.17%). The effectiveness of different ETS strengthening configurations was also investigated. The good bond between the strengthening ETS bars and the surrounding concrete allowed the yield initiation of the ETS steel bars and the attainment of high tensile strains in the ETS CFPR rods, leading to significant increase of shear capacity, whose level was strongly influenced by the inclination of the ETS bars and the percentage of internal transverse reinforcement.

Reasons and benefits associated with ISO 9001 - Certification for sugar and ethanol companies

With increasing business competitiveness, companies have sought to adapt their processes and / or products to worldwide established quality standards in order to achieve a greater share of consumers having as favorable aspect the quality assurance of the products and/or services provided. It was observed that companies of different sizes have different challenges regarding the certification however, the degree of difficulty is the same for all of them. The objective of this paper is to verify the reasons for the implementation of ISO 9001, the obstacles encountered during the implementation, the benefits arising from the use of the quality management system and the degree of difficulty to implement this standard. This work was developed based on a survey involving companies certified with ISO 9001:2008 from the productive sector of sugar, ethanol and derivatives of sugarcane, located in all Brazilian states. It was observed that companies of different sizes have different challenges regarding the certification however the degree of difficulty is the same for all of them. Thus, we believe that expected results represent a very important contribution to examining the reasons, benefits and difficulties of the ISO 9001 to both, the companies and certification bodies, and to researchers.

Estudo comparativo entre as normas ISO 21931:2010, NBR 15575 e os requisitos das certificações AQUA e LEED

The construction sector is responsible for generating large environmental impacts in order to minimize these impacts, environmental standards and seals for the construction were created. This article presents a comparative study between the preliminary requirements of ISO 21931: 2010 Sustainable Building, the requirements of AQUA-HQE stamps, LEED and the Performance Standard NBR 15575: 2013. For this, a literature search was conducted to carry out a comparative analysis of the requirements of each of them in order to know those common to all of them. As a result of this work was identified that the standard of performance, the AQUA seal and LEED are well aligned with the sustainability criteria, comfort and health of the user, and has the ISO 21931 standard has some of these items as options.

Modelling Z→ττ processes in ATLAS with τ-embedded Z→μμ data

This paper describes the concept, technical realisation and validation of a largely data-driven method to model events with Z→ττ decays. In Z→μμ events selected from proton-proton collision data recorded at s√=8 TeV with the ATLAS experiment at the LHC in 2012, the Z decay muons are replaced by τ leptons from simulated Z→ττ decays at the level of reconstructed tracks and calorimeter cells. The τ lepton kinematics are derived from the kinematics of the original muons. Thus, only the well-understood decays of the Z boson and τ leptons as well as the detector response to the τ decay products are obtained from simulation. All other aspects of the event, such as the Z boson and jet kinematics as well as effects from multiple interactions, are given by the actual data. This so-called τ-embedding method is particularly relevant for Higgs boson searches and analyses in ττ final states, where Z→ττ decays constitute a large irreducible background that cannot be obtained directly from data control samples.

Acreditação e certificação em Portugal: retrato da situação portuguesa atual e comparação entre os referenciais CHKS, JCI, ACSA e ISO 9001

Dissertação de mestrado integrado em Engenharia Biomédica (área de especialização em Engenharia Clínica)