Modelo de especificação e controlo de execuções paralelas e distribuídas

O desenvolvimento actual de aplicações paralelas com processamento intensivo (HPC - High Performance Computing) para alojamento em computadores organizados em Cluster baseia-se muito no modelo de passagem de mensagens, do qual é de realçar os esforços de definição de standards, por exemplo, MPI - Message - Passing Interface. Por outro lado, com a generalização do paradigma de programação orientado aos objectos para ambientes distribuídos (Java RMI, .NET Remoting), existe a possibilidade de considerar que a execução de uma aplicação, de processamento paralelo e intensivo, pode ser decomposta em vários fluxos de execução paralela, em que cada fluxo é constituído por uma ou mais tarefas executadas no contexto de objectos distribuídos. Normalmente, em ambientes baseados em objectos distribuídos, a especificação, controlo e sincronização dos vários fluxos de execução paralela, é realizada de forma explicita e codificada num programa principal (hard-coded), dificultando possíveis e necessárias modificações posteriores. No entanto, existem, neste contexto, trabalhos que propõem uma abordagem de decomposição, seguindo o paradigma de workflow com interacções entre as tarefas por, entre outras, data-flow, control-flow, finite - state - machine. Este trabalho consistiu em propor e explorar um modelo de execução, sincronização e controlo de múltiplas tarefas, que permita de forma flexível desenhar aplicações de processamento intensivo, tirando partido da execução paralela de tarefas em diferentes máquinas. O modelo proposto e consequente implementação, num protótipo experimental, permite: especificar aplicações usando fluxos de execução; submeter fluxos para execução e controlar e monitorizar a execução desses fluxos. As tarefas envolvidas nos fluxos de execução podem executar-se num conjunto de recursos distribuídos. As principais características a realçar no modelo proposto, são a expansibilidade e o desacoplamento entre as diferentes componentes envolvidas na execução dos fluxos de execução. São ainda descritos casos de teste que permitiram validar o modelo e o protótipo implementado. Tendo consciência da necessidade de continuar no futuro esta linha de investigação, este trabalho é um contributo para demonstrar que o paradigma de workflow é adequado para expressar e executar, de forma paralela e distribuída, aplicações complexas de processamento intensivo.

Antinomias e "suturas" epistemológicas entre biológico-social e individual-coletivo no âmbito da epidemiologia social

A complexidade do objeto epidemiológico tem suscitado, ao longo do tempo, discussão sobre alguns elementos que o compõem, assumindo, muitas vezes, a forma de antinomias. Utilizando-se como substrato textos fundamentais, analisaram-se, no âmbito da epidemiologia social, a formulação e a proposta de solução para as antinomias biológico-social e individual-coletivo. Criticou-se a validade teórica das saídas apontadas pelo discurso epidemiológico-social para resolver o "conflito de leis" que permeia o referido objeto. Destacou-se o conceito marxista-helleriano de indivíduo para contribuir com a "sutura" dos três planos da realidade: o universal, o particular e o singular.

Estudo de digestão anaeróbia de resíduos sólidos agro-alimentares em instalação piloto

Hoje em dia são várias as energias “verdes” que beneficiam de forma inequívoca o meio ambiente, de modo a aproveitar recursos naturais disponíveis na natureza. Entre todos os tipos de energias limpas, surge a produção de biogás. É de notar que apesar de ser uma forma de energia já utilizada há muitos anos, esta pode ser melhorada através de uma gestão adequada de todos os recursos envolvidos na sua produção. Consegue-se desta forma, optimizar a produção de biogás, contribuindo para uma rentabilização do funcionamento de uma instalação. Para esta optimização é necessária uma análise e caracterização detalhada dos resíduos utilizados na geração desta energia. O presente trabalho foca-se no estudo da produção de biogás através de digestão anaeróbica. Este trabalho baseia-se num estudo real de produção de biogás, num reactor à escala semi-industrial, e com uma temperatura de trabalho em regime mesofílico (37°C). O substrato utilizado para a alimentação deste reactor foi cedido por uma conhecida indústria do ramo alimentar e consistia numa mistura de “casca” de batatas e lamas, numa proporção de 30% e 30% respectivamente. Em termos de resultados Óbidos neste projecto, verificou-se uma redução de cerca de 40% dos sólidos totais, o que indicia, aparentemente, a existência de dificuldades na hidrólise dos compostos em suspensão. A remoção orgânica na sua globalidade oscilou numa ampla gama de valores, com um valor médio de cerca 50%. A larga variedade de resultados pode estar relacionada com a heterogeneidade da amostra da alimentação. Apesar da existência de algumas dificuldades inerentes à realização do trabalho prático, concluiu-se que o substrato utilizado neste estudo revela grande potencial de produção de biogás.

Técnicas preditivas aplicadas a controlo de processos

A necessidade que as indústrias têm, hoje em dia, de lidar com processos cada vez mais complexos, onde a quantidade de variáveis a controlar e restrições processuais a impor aumentou exponencialmente nas últimas décadas. Uma maior competitividade e eficiência, lado-a-lado com a redução de custos, proporcionou à comunidade científica e industrial explorar mais profundamente o controlo de processos, com vista à construção de técnicas avançadas para fazer face a estas exigências. O controlo preditivo baseado em modelos - MPC- engloba diversas classes de controladores que utilizam algoritmos de predição/previsão e modelos matemáticos representativos do sistema, que juntamente com restrições processuais permitem operar junto de referências e tornar o controlo mais eficiente e seguro. O sucesso do MPC nos sistemas lineares com restrições deve-se, sobretudo, ao facto de reduzir o problema de optimização a um problema de programação quadrática, de fácil implementação e resolução. Além do mais, trata-se de um tipo de controlo bastante flexível e, ao mesmo tempo, mais robusto que o controlo clássico ou convencional, já que pode lidar com processos multivariáveis sem precisar de alterações significativas na sua construção. Neste trabalho aplicam-se técnicas de controlo preditivo a processos não lineares multivariáveis. Estuda-se, ainda, o desempenho desta classe de controladores comparando-a com técnicas de controlo convencional. Nomeadamente, estuda-se um sistema de três tanques em que o caudal é manipulado através de válvulas com característica não linear. O processo é modelado através de princípios de conservação e é validado por um conjunto real de ensaios que permitiu, ainda, obter experimentalmente a característica das válvulas. O modelo validado permitiu desenvolver um controlador preditivo multivariável para controlar os níveis da instalação. Demonstra-se que os controladores preditivos apresentam grandes vantagens em relação ao controlo clássico com malhas independentes.

Doenças lisossomais de sobrecarga em Portugal: 10 anos de experiência em estudos moleculares no INSA (2006-2016)

As Doenças Lisososomais de Sobrecarga (DLS) são um grupo de mais de 50 doenças hereditárias do metabolismo, sendo a maioria causada por defeitos em enzimas lisossomais específicas. A característica distintiva das DLS é a acumulação lisossomal do(s) substrato(s) não degradado(s), bem como a acumulação de outro material secundariamente à disfunção lisossomal. A apresentação clínica destas patologias é bastante heterogénea, variando desde formas pré-natais, até apresentações infantis ou na idade adulta, sendo frequente a presença de atraso psicomotor e neurodegeneração progressiva. Neste artigo são apresentados os resultados de vários estudos de caracterização molecular efetuados ao longo da última década (2006-2016) em doentes portugueses com as seguintes DLS: Mucopolissacaridose II, Mucopolissacaridose IIIA, Mucopolissacaridose IIIB, Mucopolissacaridose IIIC, Sialidose, Galactosialidose, Gangliosidose GM1, Mucolipidose II alfa/beta, Mucolipidose III alfa/beta, Mucolipidose III gama e Doença de Unverricht-Lundborg. De um modo geral, estes trabalhos permitiram conhecer as variações genéticas associadas a estas DLS, analisar a sua distribuição na população portuguesa e compreender o seu papel na forma de apresentação clínica destas patologias.

Autenticação de vídeo H.264/AVC

Hoje em dia, há cada vez mais informação audiovisual e as transmissões ou ficheiros multimédia podem ser partilhadas com facilidade e eficiência. No entanto, a adulteração de conteúdos vídeo, como informação financeira, notícias ou sessões de videoconferência utilizadas num tribunal, pode ter graves consequências devido à importância desse tipo de informação. Surge então, a necessidade de assegurar a autenticidade e a integridade da informação audiovisual. Nesta dissertação é proposto um sistema de autenticação de vídeo H.264/Advanced Video Coding (AVC), denominado Autenticação de Fluxos utilizando Projecções Aleatórias (AFPA), cujos procedimentos de autenticação, são realizados ao nível de cada imagem do vídeo. Este esquema permite um tipo de autenticação mais flexível, pois permite definir um limite máximo de modificações entre duas imagens. Para efectuar autenticação é utilizada uma nova técnica de autenticação de imagens, que combina a utilização de projecções aleatórias com um mecanismo de correcção de erros nos dados. Assim é possível autenticar cada imagem do vídeo, com um conjunto reduzido de bits de paridade da respectiva projecção aleatória. Como a informação de vídeo é tipicamente, transportada por protocolos não fiáveis pode sofrer perdas de pacotes. De forma a reduzir o efeito das perdas de pacotes, na qualidade do vídeo e na taxa de autenticação, é utilizada Unequal Error Protection (UEP). Para validação e comparação dos resultados implementou-se um sistema clássico que autentica fluxos de vídeo de forma típica, ou seja, recorrendo a assinaturas digitais e códigos de hash. Ambos os esquemas foram avaliados, relativamente ao overhead introduzido e da taxa de autenticação. Os resultados mostram que o sistema AFPA, utilizando um vídeo com qualidade elevada, reduz o overhead de autenticação em quatro vezes relativamente ao esquema que utiliza assinaturas digitais e códigos de hash.

Os indicadores de avaliação de desempenho utilizados pelas grandes empresas ajustados às pequenas e médias empresas do sector mobiliário nos concelhos de Paredes e Paços de Ferreira

orientação: mestre Adalmiro Álvaro Malheiro de Castro Andrade Pereira

O processo de bolonha na web semântica

O Processo de Bolonha, cujo propósito visa a construção de um Espaço Europeu do Ensino Superior, tem como um dos seus objectivos promover a mobilidade de estudantes. A adopção do Processo de Bolonha requer uma abordagem que agilize a mobilidade dos estudantes, à luz da legislação actualmente em vigor. Neste âmbito, destaca-se a interoperabilidade entre sistemas de gestão académica na área de investigação da Web Semântica. Esta dissertação propõe um modelo de representação flexível que integra conhecimento sobre o estudante e sobre os cursos que frequentou ou pretende frequentar: (1) Registo Académico do estudante relativo a competências adquiridas designadamente no decorrer de uma qualificação, frequência de unidades curriculares, experiência profissional ou formação pós-secundária e (2) Plano Individual de Estudos que posiciona o estudante no contexto de um determinado (3) Plano de Curso que define a estrutura curricular e plano de estudos que o estudante pretende frequentar. O modelo de representação proposto foi alvo de avaliação experimental. Para tal, foi concebido um demonstrador que aplicou o modelo proposto em quatro cenários de utilização relativos à mobilidade de estudantes no âmbito do Processo de Bolonha.

Modificación del coeficiente peso/área del pié en relación con la agregación en Tarebia granifera

OBJETIVO: Analizar la dispersión de los ejemplares de una población de Tarebia granifera y su relación con la modificación de los parámetros morfométricos. METODOS: Se colectó por parcelas incluyendo dos tipos de substratos en condiciones opuestas de agregación y se comparó la abundancia relativa tanto entre muestreos, como entre sustratos. Se delimitaron 7 clases de alto a las cuales se les determinó el coeficiente peso/área del pié, el cual se correlacionó con la talla por clase. Se evaluó experimentalmente si los individuos con menor carga del pié tienen mayor persistencia en substratos emergidos, así como la interacción entre dos grupos de clases de alto. RESULTADOS: La diferencia de la abundancia entre los muestreos fue de t=5.874 (p<0.001) y de t=10.15 (p<0.001) entre el substrato rocoso emergido y el arenoso, sólo en condiciones de alta agregación, en las que la carga del pié de los individuos más grandes se reduce con la talla (r=-0.98, p<0.05). Experimentalmente, la abundancia de los ejemplares de tallas opuestas está mutuamente limitada (r=-0.87, p<0.01), la altura del oleaje limita la abundancia de los ejemplares menores (r=-0.94, p<0.001) siendo tolerada por los mayores (r=0.72, p<0.05). La carga promedio del pie disminuye con la altura del oleaje (r=-0.93, p<0.001). CONCLUSIONES: Con elevada agregación los ejemplares mayores emigran hacia substratos de difícil conquista por los menores, que están limitados por la acción mecánica del medio. La disminución de la carga del pie facilita la dispersión de los individuos.

O desenvolvimento do conceito de área: um estudo com alunos do 3.º ano de escolaridade

O objetivo desta investigação é compreender como é que alunos do 3.º ano de escolaridade desenvolvem o conceito de área com ênfase em conhecimentos sobre figuras e propriedades geométricas. Para melhor objetivar o estudo, formulei três questões que orientaram a investigação. Pretendo (1) compreender como é que os alunos mobilizam conhecimentos sobre as propriedades das figuras geométricas no estudo da área de uma figura plana? A que estratégias recorrem? Que dificuldades sentem? (2) que compreensão é que os alunos têm sobre o processo de medição? e (3) que ideias e/ou experiências são relevantes no desenvolvimento do conceito de área? Este é um estudo que se insere no paradigma interpretativo e que segue uma abordagem qualitativa, pelo que não visa generalização de resultados, mas uma descrição compreensiva dos processos vivenciados, tendo em conta os contextos pessoais e sociais. Optei por realizar dois Estudos de Caso. Os dados foram recolhidos através de fontes diversificadas, donde se destacam a observação participante e a análise de registos audiovisuais e escritos dos alunos. A análise dos dados teve por referência categorias criadas com base em contributos da literatura de referência. As conclusões desta investigação centram-se numa análise acerca das estratégias a que os alunos em estudo tendencialmente mais recorrem, visando também algumas das suas dificuldades mais relevantes e sobre as quais importa refletir. Destaca-se que ambos os alunos foram capazes de recorrer a raciocínios baseados e não baseados na medida, embora seja evidente uma tendência para raciocínios baseados na medida. É igualmente importante referir que os dois alunos revelaram um bom conhecimento acerca do processo de medição, mesmo quando ele implicava a definição de uma unidade de medida adequada e/ou mudança de unidade. É dado, também, destaque às experiências matemáticas que devem ser proporcionadas aos alunos no sentido do desenvolvimento de um conhecimento amplo e flexível do conceito de área. - Abstract The purpose of this investigation is to understand the development of 3rd year students’ concept of area based on their knowledge of geometrical properties and figures. As means to orientate the present study, the following investigation questions were formulated: 1) how do students use their knowledge about geometrical properties in order to understand geometrical shape’s areas? Which strategies do they use? What do they struggle with? (2) What is their understanding about measurement? And (3) what are the most relevant mathematical reasonings and classroom tasks in the development of the concept of area? This is a study that follows a qualitative approach: it does not intend to be a generalization, but a fully comprehensive description of the witnessed learning processes, bearing in mind the social and personal contexts. As such, two study-cases were developed. The data were collected through various sources, such as direct observation and analysis of audiovisual records or written worksheets. The scrutiny of the generated data was undertaken following criteria based on the literature of reference. The conclusions of this investigation are centered on the most used strategies as well as the students’ difficulties upon which it is important to discuss. It was noticed that the two students were able to use both measurement and non measurement thinking – although, preferably, they tend to use the first one. On the other hand, it is equally demonstrated that the two students have shown good acquaintance about measurement, even if obliged to the establishment of a suitable unit of measurement and/or change of units. At last, it is also referred which mathematical classroom tasks are important to develop a sustained and comprehensive concept of area.

O presente e o futuro da tecnologia IGCC na produção de energia

A geração de electricidade com recurso a carvão dispõe, na combinação de tecnologias de gasificação de carvão com turbinas a gás avançadas, de uma solução tecnológica bastante eficiente e flexível, constituindo o que se designa por uma Central de Ciclo Combinado com Gasificação Integrada (IGCC). As Centrais IGCC cumprem os requisitos ambientais com baixas emissões atmosféricas poluentes, para além de terem capacidade para integrar directamente tecnologia de Captura e Sequestro de CO2 (CCS). Para além da geração de electricidade, estas unidades podem ser optimizadas para a co-produção de combustíveis sintéticos, tais como o hidrogénio, gás natural sintético (SNG ou metano), outros produtos combustíveis sintéticos por via do processo Fischer-Tropsch, e ainda outros químicos, tais como amónia, ureia, enxofre elementar e ácido sulfúrico, resultando num aumento considerável do factor de utilização do conversor de energia primária. Finalmente, o dióxido de carbono pode ainda ser separado como subproduto de valor comercial, para ser utilizado, por exemplo, em aplicações de exploração incrementada de petróleo (EOR, Enhanced Oil Recovery). Descreve-se neste trabalho o estado do conhecimento actual relativamente a este tema, com base nas tecnologias existentes, a viabilidade técnica e económica, bem como os desafios futuros a vencer desta tecnologia como alternativa para a produção de energia com recurso a carvão, permitindo minimizar o impacte ambiental.

Relatório de estágio: POC para SNC

Mestrado em Contabilidade

Biologia e abundância do camarão Plesionika edwardsii (Brandt, 1851) nos Açores

Dissertação de Mestrado, Estudos Integrados dos Oceanos, 15 de Janeiro de 2009, Universidade dos Açores.

Sedimentação da Bacia Bauru: cenário tectônico, idade dos depósitos e ambientes paleodeposicionais

Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)

Android as a cloud ticket validator

Trabalho Final de Mestrado para a obtenção do grau de Mestre em Engenharia Informática e de Computadores