Real-time scheduling with resource sharing on uniform multiprocessors

Consider the problem of scheduling a set of implicit-deadline sporadic tasks to meet all deadlines on a uniform multiprocessor platform where each task may access at most one of |R| shared resources and at most once by each job of that task. The resources have to be accessed in a mutually exclusive manner. We propose an algorithm, GIS-vpr, which offers the guarantee that if a task set is schedulable to meet deadlines by an optimal task assignment scheme that allows a task to migrate only when it accesses or releases a resource, then our algorithm also meets the deadlines with the same restriction on the task migration, if given processors 4 + 6|R| times as fast. The proposed algorithm, by design, limits the number of migrations per job to at most two. To the best of our knowledge, this is the first result for resource sharing on uniform multiprocessors with proven performance guarantee.

Competitive analysis of partitioned scheduling on uniform multiprocessors

Consider the problem of scheduling a set of sporadically arriving tasks on a uniform multiprocessor with the goal of meeting deadlines. A processor p has the speed Sp. Tasks can be preempted but they cannot migrate between processors. We propose an algorithm which can schedule all task sets that any other possible algorithm can schedule assuming that our algorithm is given processors that are three times faster.

Competitive analysis of static-priority partitioned scheduling on uniform multiprocessors

Consider the problem of scheduling a set of sporadically arriving tasks on a uniform multiprocessor with the goal of meeting deadlines. A processor p has the speed Sp. Tasks can be preempted but they cannot migrate between processors. On each processor, tasks are scheduled according to rate-monotonic. We propose an algorithm that can schedule all task sets that any other possible algorithm can schedule assuming that our algorithm is given processors that are √2 / √2−1 ≈ 3.41 times faster. No such guarantees are previously known for partitioned static-priority scheduling on uniform multiprocessors.

Caracterização do padrão ventilatório em estudantes de canto

Objectivo: avaliar a influência da experiência de canto nas estratégias de padrão ventilatório durante tarefas vocais. Metodologia: a amostra foi constituída por oito estudantes de canto e treze indivíduos sem experiência na área. Foi monitorizada a variação dos perímetros torácico e abdominal em provas de canto e fala a diferentes intensidades. Resultados: Verificou-se um maior recrutamento torácico no grupo de cantores nas provas de contagem, nas três intensidades e canto, nas intensidades fraca e forte. Em termos de compartimento abdominal apenas se verificaram diferenças entre os grupos nas provas de canto de intensidade média e forte. Conclusão: as estratégias ventilatórias são variadas reflectindo a insustentabilidade de uma estratégia uniforme para diversas actividades vocais realizadas. Contudo, parece existir uma tendência para um maior recrutamento torácico nos estudantes de canto.

Reported missing - learners in SLA/EFL research

Versão integral da revista no link do editor

Avaliação da eco-eficiência de uma empresa de serviços: caso prático

Mestrado em Engenharia Química

Plataforma de gestão de incidentes

Mestrado em Engenharia Electrotécnica e de Computadores. Área de Especialização de Telecomunicações.

Gestão do risco em mercados de energia eléctrica recorrendo ao VaR por simulação de Monte Carlo

Mestrado em Engenharia Electrotécnica – Sistemas Eléctricos de Energia.

Análise da eficiência energética num estabelecimento de ensino

Devido à crescente preocupação com a racionalização energética, torna-se importante adequar os edifícios à sua utilização futura, procedendo à escolha acertada de materiais e técnicas a utilizar na construção e/ou na remodelação. Atualmente, com o desenvolvimento tecnológico, os serviços profissionais e os materiais existentes ao dispor dos projectistas e construtores permitem a implementação eficaz de soluções de elevado impacto a nível da eficiência energética dos edifícios de uma forma acessível e não muito dispendiosa. Nesta área, a regulamentação é essencial para controlar e catalogar energeticamente os sistemas, mitigando o seu sobredimensionamento e consequentes desperdícios, de forma a contribuir eficazmente para as melhorias ambientais e económicas pretendidas. Sem dúvida, que a preocupação consiste em tornar a médio/longo prazo o investimento numa poupança acrescida, proporcionando os mesmos níveis de conforto. As técnicas de climatização e todo o equipamento que está associado têm um peso importante nos custos e na exploração ao longo do tempo. Os sistemas de gestão técnica só poderão tirar partido de toda a estrutura, tornando-a confiável, se forem corretamente projetados. Com este trabalho, pretende-se sensibilizar o leitor sobre as questões práticas associadas ao correto dimensionamento de soluções que contribuam para a eficiência energética dos edifícios, exemplificando-se com um caso de estudo: um edifício de um centro escolar construído obedecendo aos requisitos listados no programa de renovação do parque escolar que o governo incentivou. A sensibilização passa por propostas objetivas de soluções alternativas que poderiam ter sido adotadas ainda na fase de projeto do caso de estudo, tendo em conta os custos e operacionalidade dos sistemas e o local em que se encontram, e que poderiam ter contribuído para melhorar a eficiência energética de todo o edifício, bem como por soluções transversais que se poderiam aplicar em outras situações. Todas as sugestões passam pela simplificação, com o objetivo de contribuir para uma melhor racionalização a curto e longo prazo dos recursos disponibilizados.

Padrão CQRS para sistemas distribuídos de larga escala

Esta tese pretende desenvolver o estudo de um padrão que utiliza um modelo de implementação fundamentado na natureza das operações que um sistema pretende executar. Estas operações são distinguidas pelo que realizam, portanto um sistema poderá ser dividido em duas grandes áreas: uma, de leitura de dados, e outra, de manipulação de dados. A maior parte dos sistemas atuais está a progredir, com o objetivo de conseguir suportar muitos utilizadores em simultâneo, e é neste aspeto que este padrão se diferencia porque vai permitir escalar, com muita facilidade e sem sobrecarga. Além disso, este estudo deverá facultar um conjunto de boas práticas e incidir sobre o facto de se pretender desenhar um sistema de raiz e não apenas em “migrar” de um sistema já existente. Ao estudar este padrão é essencial estudar e analisar a evolução da utilização futura dos sistemas, para determinar a utilidade e a aplicação crescente ou não, deste padrão. Interessa também saber, quem implementa atualmente este padrão, em que tipo de produtos, e enaltecer o seu sucesso de implementação, estimulando o desenvolvimento da sua utilização. Finalmente, demonstra-se a aplicabilidade e validade do padrão proposto, através de uma implementação modelo, com a ajuda de uma framework de forma a determinar quais as ferramentas existentes que possam ser úteis e contribuir para a implementação deste padrão. O objetivo final será demonstrar os principais componentes do sistema, como poderá prosseguir a sua evolução e como poderá ser melhorada e simplificada a comunicação entre os seus componentes, para uma utilização mais fácil, frequente e de interesse comum para todos: utilizadores e administradores.

Verificação dos estados limites de utilização de estruturas de betão

A ocorrência de fenómenos como deformações excessivas, deformações impostas, variações de temperatura, fluência e retracção entre outros são responsáveis pela diminuição do desempenho em serviço das estruturas de betão. Frequentemente, os projectistas valorizam em demasia a verificação da segurança em relação aos estados limites últimos, dedicando menos atenção à verificação dos estados limites de utilização, recorrendo a certas medidas construtivas que em casos usuais poderão ser suficientes. Em casos especiais como vãos consideráveis ou acções de elevada intensidade, estas medidas não garantem que a estrutura apresente a funcionalidade e a durabilidade desejáveis, impondo-se a necessidade de verificar os estados limites de utilização por métodos de cálculo mais fiáveis. Este factor, pode ser determinante para evitar certas anomalias de difícil resolução. A presente dissertação pretende documentar alguns métodos de cálculo utilizados no controlo da fendilhação, na limitação das tensões e no controlo das deformações segundo as mais recentes disposições regulamentares previstas para o efeito. Como os valores obtidos com a aplicação destes métodos são aproximações ao comportamento real dos elementos estruturais, procurou-se comparar estes resultados teóricos com situações reais, de forma a avaliar a sua precisão e fiabilidade. A degradação precoce das estruturas de betão, nem sempre se deve apenas à desvalorização da verificação dos estados limites de utilização em fase de projecto. Como os processos de produção destas estruturas são complexos e por vezes são negligenciadas boas práticas de construção, são propostas neste trabalho resumidamente algumas medidas construtivas que visam aumentar a durabilidade das estruturas e o seu desempenho em serviço.

Edifícios altos – problemas associados e análise estrutural de um caso prático

Com a presente dissertação pretende-se analisar alguns dos problemas associados aos edifícios altos, na fase de projeto, bem como compilar um conjunto de informações e conhecimentos científicos sobre a área abordada. São descritas algumas soluções de sistemas estruturais possíveis de idealizar para edifícios altos. Posteriormente, tendo por base um projeto de estruturas de um edifício com 25 pisos localizado em Luanda, capital de Angola, o objetivo consistiu em analisar estática e dinamicamente o seu comportamento quando solicitado fundamentalmente pelas ações do vento e dos sismos. A análise estrutural foi realizada com recurso a dois softwares de cálculo automático, nomeadamente, o Cypecad e o Robot Structural Analysis Professional e pelos métodos preconizados no Regulamento de Segurança e Ações para estruturas de edifícios e pontes e o Eurocódigo 8 – “Projeto de estruturas para resistência aos sismos”. Aborda-se a temática do faseamento construtivo, assunto que revela algumas limitações dos programas de cálculo utilizados, sendo descrito um método simplificado para prever os seus efeitos em termos de dimensionamento final. Os resultados obtidos permitiram avaliar o bom comportamento da estrutura no que respeita ao cumprimento dos estados limites últimos e de serviço. Conclui-se que o sistema estrutural adotado no modelo em estudo se encontra bem dimensionado relativamente ao colapso e à limitação de danos.

O Sistema uniforme de contas para a indústria hoteleira

Dissertação de Mestrado apresentado ao Instituto de Contabilidade e Administração do Porto para a obtenção do grau de Mestre em Contabilidade e Finanças, sob orientação de Professor Doutor Filipe Ambrósio e co-orientação do Mestre António Melo

Uncertainty assessment approach for composite structures based on global sensitivity indices

The problem of uncertainty propagation in composite laminate structures is studied. An approach based on the optimal design of composite structures to achieve a target reliability level is proposed. Using the Uniform Design Method (UDM), a set of design points is generated over a design domain centred at mean values of random variables, aimed at studying the space variability. The most critical Tsai number, the structural reliability index and the sensitivities are obtained for each UDM design point, using the maximum load obtained from optimal design search. Using the UDM design points as input/output patterns, an Artificial Neural Network (ANN) is developed based on supervised evolutionary learning. Finally, using the developed ANN a Monte Carlo simulation procedure is implemented and the variability of the structural response based on global sensitivity analysis (GSA) is studied. The GSA is based on the first order Sobol indices and relative sensitivities. An appropriate GSA algorithm aiming to obtain Sobol indices is proposed. The most important sources of uncertainty are identified.

Software transactional memory as a building block for parallel embedded realtime systems

The recent trends of chip architectures with higher number of heterogeneous cores, and non-uniform memory/non-coherent caches, brings renewed attention to the use of Software Transactional Memory (STM) as a fundamental building block for developing parallel applications. Nevertheless, although STM promises to ease concurrent and parallel software development, it relies on the possibility of aborting conflicting transactions to maintain data consistency, which impacts on the responsiveness and timing guarantees required by embedded real-time systems. In these systems, contention delays must be (efficiently) limited so that the response times of tasks executing transactions are upper-bounded and task sets can be feasibly scheduled. In this paper we assess the use of STM in the development of embedded real-time software, defending that the amount of contention can be reduced if read-only transactions access recent consistent data snapshots, progressing in a wait-free manner. We show how the required number of versions of a shared object can be calculated for a set of tasks. We also outline an algorithm to manage conflicts between update transactions that prevents starvation.