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.

O modelo das demonstrações financeiras de acordo com o SNC

Neste trabalho, discutimos e analisamos as Demonstrações Financeiras (DF) elaboradas de acordo com a proposta do Sistema de Normalização Contabilística (SNC), apresentada pela Comissão de Normalização Contabilística (CNC), comparativamente com as DF preparadas de acordo com o Plano Oficial de Contabilidade (POC), em vigor em Portugal por imposição do Decreto-Lei n.º 410/89, de 21 de Novembro. Assim, marcamos separadamente os aspectos normativos que norteiam a execução dessas DF com referências comparativas entre elas, não com intuito de subjugar umas em detrimento de outras, mas de mostrar as suas diferenças em relação à essência, forma e finalidade. In this work, we discuss and analyze the Financial Reports (FR) made in accordance with the essay of Sistema de Normalização Contabilística (SNC) and presented by Comissão de Normalização Contabilística (CNC). In addition, we made a comparison with the FR prepared following the Plano Oficial de Contabilidade (POC) that is in use in Portugal by legal origin (Decreto-Lei n.º 410/89, de 21 de Novembro). Therefore, we emphasize the normative issues that drive FR construction with systematic comparisons between both. We do not aim to determine which one is the best normative, but to examine their differences related with essence, methods and goals.

O modelo transteórico de mudança de comportamentos na promoção da actividade física nas grávidas

Os hábitos de actividade física (AF) podem-se alterar consideravelmente durante a gravidez. O sucesso das estratégias que visam promover a AF das gestantes depende do modelo motivacional implementado. Objectivo: Determinar se o Modelo Transteórico de Mudança de Comportamento (MTMC) utilizado no Projecto “Mães em Movimento” é eficaz na promoção de mudança de comportamentos nas grávidas no sentido de aumentar os níveis de AF. Metodologia: Foi realizado um estudo, experimental do tipo Intervenção Comunitária, numa amostra consecutiva constituída por 20 grávidas que faziam Preparação para a Parentalidade (PP) em dois Centros de Saúde. O grupo experimental, constituído por 10 grávidas, além da preparação, participou no projecto “Mães em Movimento” baseado no MTMC. O grupo de controlo seguiu o programa de PP. Os instrumentos utilizados para 1ª avaliação foram: o Questionário de Actividade Física para Gestantes, a Escala de Estados de Mudança de Comportamento para o Exercício, o Questionário de Auto-Eficácia, o Behavioural Regulation in Exercise Questionnaire-2 e um Questionário de Hábitos e Conhecimentos. Resultados: Após a implementação do projecto “Mães em Movimento” no grupo experimental, 100% das mulheres referiram praticar AF regular. O gasto energético semanal em actividades desportivas/exercício aumentou aproximadamente 4 vezes (p=0,002) desde a 1ª avaliação até à 2ª avaliação. Verificou-se uma tendência de deslocação dos estadios de mudança de comportamento inactivos para os activos (p=0,007) e a motivação intrínseca aumentou significativamente (p=0,018). Observou-se, também, um aumento dos conhecimentos relativos a diversas dimensões da AF na gravidez (p=0,002). Conclusão: Neste estudo, o MTMC revelou-se um modelo eficaz na promoção de hábitos de AF em grávidas, realçando que o sucesso da mudança de comportamento é influenciado pela motivação individual, pelo empowerment (transferência de conhecimentos e competências) e pelas oportunidades criadas.

A disfunção redox espinhal na dor neuropática

As espécies reativas de oxigénio (ROS) estão envolvidas no desenvolvimento de dor neuropática. No entanto, a aplicação clínica de moléculas antioxidantes no tratamento desta patologia tem demonstrado pouca eficácia. A inibição da NADPH oxidase (NOX), uma das principais fontes de ROS, poderá ser uma boa estratégia terapêutica. O nosso grupo verificou que a apocinina (inibidor da NOX) melhora parcialmente os sintomas de dor neuropática e a disfunção redox espinhal no modelo SNI (spared nerve injury). De forma a melhorar este efeito terapêutico, o presente estudo insere-se num projeto maior, que visa identificar as isoformas da NOX envolvidas na fisiopatologia da doença e avaliar o efeito da administração de inibidores específicos para essas isoformas. Assim, propusemo-nos a avaliar a disfunção redox espinhal em fases precoces dador neuropática periférica induzida pelo modelo SNI no Rato, relacionando-a com os comportamentos de dor demonstrados pelos animais. Foram constituídos três grupos experimentais: SNI, sham e naïve, com subgrupos testados e sacrificados aos dias 1, 3, 7 e 14 após a cirurgia. Avaliou-se a sensibilidade mecânica (vonFrey e pinprick) e ao frio (acetona) dos animais, sacrificaram-se e recolheram-se as medulas espinhais para análise imunohistoquímica, com marcadores de dano oxidativo no DNA e de dano nitrosativo. Ao contrário dos animais sham, que demonstraram um comportamento muito próximo dos naïve, os animais SNI desenvolveram alodínia mecânica e ao frio e hiperalgesia mecânica na pata ipsilateral. No entanto, o dano oxidativo no corno dorsal ipsilateral da medula espinhal apresentou-se idêntico nos grupos SNI e sham ao longo dos 14 dias de estudo, não havendo também diferenças entre os cornos ipsi e contralateral à lesão nervosa. É possível que o desenvolvimento de dor neuropática nos animais SNI não se faça acompanhar de disfunção redox espinhal, pelo menos até aos 14 dias pós indução. O facto de a lesão nervosa no modelo SNI se localizar numa porção distal do ciático, ao contrário de outros modelos em que o stresse oxidativo espinhal foi já descrito, poderia explicar essas diferenças. Em todo o caso, considerando que os resultados comportamentais obtidos indicam que as cirurgias SNI e sham causam diferentes níveis de sensibilização nos animais, parece-nos fulcral prolongar os tempos de neuropatia, e executar uma avaliação do estado redox com outros marcadores, de forma a elucidar se, de facto, existem ROS envolvidas nesta sensibilização e, em caso positivo, poder identificar essas espécies, bem como as suas fontes.

Avaliação da proteção conferida pela via de sinalização do Nrf2 num modelo experimental de sobrecarga de ferro in vivo

O ferro é encontrado em praticamente todos os seres vivos, sendo um cofator para proteínas que desempenham funções essenciais à vida. Nos mamíferos, a maioria do ferro está incorporada na hemoglobina ou armazenado no fígado, ligado à ferritina. É absorvido pelos enterócitos, sendo a principal forma de controlo dos seus níveis. A sobrecarga de ferro pode levar a hemocromatose, podendo ser tóxica para vários órgãos. O fator de transcrição Nrf2 é importante na ativação de genes citoprotetores em situações de stress oxidativo/eletrofílico, colocando-se a hipótese de que poderá estar envolvido na resposta à progressão de doença devido à sobrecarga de ferro. Com o objetivo de determinar se a via do Nrf2 representa uma proteção contra a toxicidade do ferro a nível hepático, foram realizadas duas experiências nas quais murganhos C57BL/6 (B6) e Nrf2-/- machos foram alimentados com dieta standard ou com dieta enriquecida em ferro carbonilo (FeC) (0,5% ou 2,0%). Os resultados demonstram sobrecarga de ferro nos animais que receberam dieta enriquecida, sendo que os que receberam FeC 2,0% apresentaram níveis mais elevados de ferro hepático e sérico, bem como da saturação da transferrina. Os murganhos Nrf2-/- são mais suscetíveis a esta acumulação, mostrando evidências patológicas mais graves, nomeadamente necrose hepatocítica e infiltração de células inflamatórias. A deleção do Nrf2 associado a uma dieta suplementada com FeC 2,0% parece não ser suficiente para o desenvolvimento de fibrose hepática. O estudo da expressão de genes e proteínas do metabolismo do ferro mostrou que os animais B6 e Nrf2-/- são igualmente capazes de responder à sobrecarga de ferro, sugerindo que a sua diferente suscetibilidade à toxicidade do ferro não se deverá a uma regulação ineficiente da homeostasia do Fe. A dieta com FeC 2,0% aumentou a expressão de dois genes alvo do Nrf2, Nqo1 e Gsta1, o que não se verificou com os genes e proteínas GCLC e GCLM. A expressão de genes pró-inflamatórios não mostrou evidências de inflamação nestes animais. Foi demonstrado que os animais Nrf2-/- são mais suscetíveis à toxicidade do ferro, concluindo-se que a via do Nrf2 é ativada em resposta a uma dieta contendo quantidades excessivas de FeC e que confere proteção contra a acumulação de ferro em murganhos B6.

Inovação no modelo de negócio: o caso do setor grossista alimentar em Portugal

Dissertação apresentada ao Instituto Superior de Contabilidade para a obtenção do Grau de Mestre em Empreendedorismo e Internacionalização Orientada por Professor Doutor José de Freitas Santos

Economia social, pilar de um novo modelo de desenvolvimento económico sustentável

Dissertação apresentada ao Instituto Superior de Contabilidade para a obtenção do Grau de Mestre em Auditoria Orientada por Dr.ª Alcina Portugal Dias

Modelo transteórico de mudança de comportamentos na promoção da actividade física nas grávidas

Objectivo: Determinar se o Modelo Transteórico de Mudança de Comportamento (MTMC) é eficaz na promoção da actividade física (AF) nas grávidas. Metodologia: O grupo experimental (GE) participou no projecto “Mães em Movimento” baseado no MTMC. Aplicou-se o Questionário de AF para Gestantes, Escala de Estados de Mudança, Behavioural Regulation in Exercise Questionnaire e Questionário de Conhecimentos. Resultados: Na 2ª avaliação, no GE, todas as grávidas referiram praticar AF. A motivação intrínseca e os conhecimentos aumentaram Conclusão: O MTMC revelou-se um modelo eficaz na promoção da AF em grávidas.

Causa Maior – um modelo a seguir? Marketing e responsabilidade social

O presente artigo debruça-se sobre os conceitos de responsabilidade social e marketing, dando especial enfoque ao marketing relacionado a causas, servindo o sector lucrativo e não lucrativo. Focaliza-se a análise na campanha e projecto CAUSA MAIOR uma iniciativa do Modelo e Cruz Vermelha Portuguesa, com três anos de existência, dirigido a diversas franjas da população. Este é um projecto socialmente responsável por visar combater o isolamento e a exclusão social numa categoria demográfica especialmente frágil - os seniores, materializando-se em cirurgias, equipamentos ortopédicos de apoio, entre outros. O CAUSA MAIOR teve acções de marketing fortíssimas com vista à promoção do seu produto solidário, para isso recorreu à associação a figuras públicas, parceria com uma estação televisiva, surgimento em programas televisivos, de tal forma que o projecto per si garantiu a continuidade do mesmo e inputs muito importantes para a Cruz Vermelha Portuguesa.

Modelo de previsão meteorológica baseado em sistemas de inferência difusa

Mestrado em Engenharia Electrotécnica e de Computadores

Modelo de representação de texto mais adequado à classificação

Mestrado em Engenharia Informática

Cartografia geotécnica subterrânea do maciço granítico de Arca d’Água (Paranhos): implicações para o modelo geomecânico comportamental

Mestrado em Engenharia Geotécnica e Geoambiente

O modelo de Markowitz - apresentação e enquadramento empírico

O modelo de Markowitz tem como principal objectivo, a criação de um Portfolio, ou de uma carteira de títulos, do qual resulte a maximização da taxa de retorno para um determinado nível de risco assumido pelo investidor. A optimização do modelo consiste na análise, no desenvolvimento e na construção de uma carteira de títulos, tendo sempre presente o conceito de eficiência.

Avaliação preliminar do potencial eólico com recurso a um modelo de Mesoescala

Mestrado em Engenharia Química. Ramo optimização energética na indústria química.