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.

Guia para implementação de um sistema de gestão da responsabilidade social (incluindo as dimensões qualidade, ambiente e segurança) no sector químico dos detergentes e produtos de higiene e limpeza

A indústria química dos detergentes e produtos de higiene e limpeza desenvolve e comercializa produtos que são essenciais na promoção da qualidade de vida. Neste segmento de mercado actuar responsavelmente significa actuar eticamente ao longo da toda a cadeia de valor. A performance do negócio pode ser melhorada de forma sustentável (económica, ambiental e socialmente) tendo em consideração as necessidades das Partes Interessadas. Esta Tese desenvolve um Guia para a implementação de um Sistema de Gestão da Responsabilidade Social, segundo a norma NP 4469-1:2008, neste sector químico de actividade, integrando no seu Modelo de Gestão as seguintes dimensões: Qualidade (Norma NP EN ISSO 9001:2008), Ambiente (Norma NP EN ISSO 14001:2004) e Segurança e Higiene no Trabalho (Norma OHSAS 18001:2007).

Efeitos de um programa de exercício na aptidão física pós transplante hepático: o caso da polineuropatia amiloidótica familiar nas suas componentes composição corporal, capacidade funcional e função neuromuscular

Introdução – A Polineuropatia Amiloidotica Familiar (PAF) é uma amiloidose sistémica heredo-degenerativa e autossómica dominante, e cuja manifestação predominante é a polineuropatia mista sensitiva motora e autonómica. Aos sintomas motores e sensitivos associam-se também alterações cardíacas, renais, urinárias, genitais e digestivas que se traduzirão em incapacidade funcional progressiva. Esta doença endémica de Portugal apresenta o seu início em média depois dos 20 anos com progressão para a morte em cerca de 10 anos. O tratamento etiopatogénico desta doença, com reconhecida eficácia, passa ainda pelo transplante hepático que apesar de tudo é efectuado já numa fase sintomática da doença e ao qual se encontra associada medicação com efeitos negativos para o metabolismo muscular e consequentemente para a capacidade de produção de força. Tanto a progressão da PAF como o próprio transplante resultam em limitações funcionais que podem ser melhoradas através do exercício físico. Do nosso conhecimento não existem estudos sobre a aptidão física destes pacientes submetidos a transplante hepático nem sobre os efeitos de um programa de exercício físico. Objectivo: Verificar o efeito de um programa de exercício físico combinado na aptidão física de indivíduos portadores de PAF submetidos a transplante hepático há menos de 12 meses. Adicionalmente, analisar de que modo algumas componentes da aptidão física (composição corporal, força muscular e capacidade funcional) seriam ou não e em que medida, diferentes da população saudável. Material e métodos: Trinta e nove pacientes PAF transplantados (4.3±3.3 meses pós transplante foram avaliados quanto à sua composição corporal (DEXA), força de preensão (dinamometro de preensão E-Link), força isométrica do quadricipete (dinamometria isocinética-Biodex) e capacidade funcional (teste 6 minutos de marcha - 6MWT e capacidade para a marcha – 6MWT×peso). Os níveis de actividade física e de qualidade de vida percebida foram avaliados respectivamente através dos questionários Seven Days Physical Activity Recall (7-PAR) e Medical Outcome Study item shortform Health Survey (SF-36Ò). Os pacientes foram alocados em três grupos: grupo de controlo(GC) com 16 pacientes (13H e 3M; 33±9 anos, IMC 22.6±3.3 kg.m-2) sem programa de exercício; grupo de exercício supervisionado (GES) com 8 pacientes (5H e 3M; 34±±7 years; IMC 20.4±4.5 kg.m-2) submetidos a um programa de exercício físico combinado trissemanal com a duração de 24 semanas e um grupo de exercício físico domiciliário ou home-based (GHB) com 15 pacientes (4H e 11M; 35±5 anos; IMC 22.3±4.3 kg.m-2) que fizeram exercício físico em casa durante 24 semanas. Para comparar variáveis da aptidão física entre pacientes PAF transplantados e indivíduos aparentemente saudáveis, submetemos 48 indivíduos PAF transplantados há menos de 12 meses e 24 indivíduos saudáveis não activos, ao mesmo protocolo de avaliação (composição corporal, força muscular e capacidade funcional). Resultados: O programa de exercício influenciou positivamente a composição corporal (peso, IMC, massa magra total e regional, massa muscular esquelética total e T-score do fémur proximal), o risco de incapacidade física, a capacidade para a marcha e a força de preensão da mão direita, mas não influenciou a percepção de qualidade de vida dos pacientes. A distância percorrida aumentou de forma clinicamente significativa apenas no grupo GES. Os pacientes PAF transplantados apresentaram valores inferiores aos indivíduos saudáveis na composição corporal (peso, IMC, massa óssea, massa gorda, massa magra e massa muscular) força muscular e capacidade funcional. Conclusões: O programa de exercício físico melhorou a composição corporal, capacidade funcional e força muscular e aumentou o peso corporal e o IMC nos doentes PAF. Esta melhoria foi maior no grupo GES do que no grupo GHB em todas as variáveis analisadas.

Influência do género na qualidade de vida em doentes com insuficiência cardíaca

Objectivo do estudo: avaliar a influência do género na qualidade de vida dos doentes com insuficiência cardíaca submetidos a terapêutica múltipla.

Qualidade de vida em doentes com insuficiência cardíaca congestiva

Síndroma clínico de carácter progressivo com uma alta prevalência e incidência com um prognóstico adverso. Supõe o aparecimento de sintomas clínicos como dispneia, fadiga e/ou edema periférico associado a uma demonstração objectiva de disfunção cardíaca.

Qualidade de vida e funcionalidade das pessoas com insuficiência cardíaca crónica grave

Objectivo do estudo: conhecer o impacto das características sócio-demográficas e clínicas na qualidade de vida e funcionalidade das pessoas com insuficiência cardíaca crónica.

Avaliação da qualidade de vida em doentes com insuficiência cardíaca submetidos a terapêutica com cardioversor desfibrilhador implantável

Objectivos do estudo: a) avaliar o efeito mantido da terapêutica por CDI na qualidade de vida dos doentes com insuficiência cardíaca; b) avaliar a relação da esperança com a qualidade de vida.

Impacto da terapia de ressincronização cardíaca na qualidade de vida em doentes com insuficiência cardíaca congestiva refractária

A terapêutica de ressincronização cardíaca (TRC), associada ou não a cardioversor-desfibrilhador, está recomendada no tratamento de doentes com insuficiência cardíaca congestiva (ICC) refractária e disfunção sistólica grave do ventrículo esquerdo, com evidência de dessíncronia. Objectivo: avaliar o impacto da TRC na qualidade de vida de doentes com ICC refractária ao tratamento farmacológico optimizado.

Avaliação da qualidade de vida em doentes com insuficiência cardíaca refractária submetidos a terapêutica de prevenção de morte súbita

Tem sido documentado o impacto da terapêutica com cardioversor-desfibrilhador (CDI) e ressincronização cardíaca (TRC) na qualidade de vida, em doentes com insuficiência cardíaca congestiva grave (ICC). No entanto, permanece controverso o efeito mantido destas modalidades de tratamento nas diferentes dimensões que constituem a qualidade de vida. Objectivo: avaliar o impacto da TRC e do CDI na qualidade de vida de doentes com ICC refractária à terapêutica farmacológica optimizada em análises sequenciais consecutivas nos primeiros 6 meses pós-implantação destes dispositivos.

Mortalidade infantil "evitável" em duas cidades do Nordeste do Brasil: indicador de qualidade do sistema local de saúde

Objetiva-se conhecer a magnitude e a estrutura de causalidade da mortalidade infantil considerando-a um "evento sentinela" da qualidade da assistência à saúde em dois municípios do Nordeste, Brasil. Trata-se de estudo de base populacional, do tipo "experimentação invocada", que compara a mortalidade infantil observada com aquela esperada, dado um programa de atenção à saúde materno-infantil operando a contento, permitindo calcular um "índice de mortes evitáveis" (PDI). Realizaram-se uma busca ativa e uma investigação epidemiológica dos óbitos, visando a eliminar o sub-registro desses eventos. As taxas de mortalidade infantil, embora relativamente baixas 39 e 44 por 1.000 nascidos vivos, respectivamente correspondem a um PDI de 40%, o que significa uma estrutura de causalidade compatível com taxas de mortalidade de 100 por 1.000 nascidos vivos. Esses achados sugerem uma distribuição desigual dos óbitos, confirmada por uma análise comparativa entre a população de baixa renda e outras categorias de renda (com razões de risco de 8 e 17,6 para a mortalidade infantil total e para a mortalidade infantil por doenças infecciosas, respectivamente). O PDI mostrou-se válido enquanto um índice de evitabilidade dos óbitos infantis, com a vantagem de poder ser utilizado de forma simples e fácil por gerentes de sistemas de saúde preocupados com a qualidade dos programas voltados para mães e filhos.

WPAC: wireless payment and access control: dispositivos móveis no pagamento de serviços e controlo de acessos

A rápida evolução dos dispositivos móveis e das tecnologias de comunicação sem fios transformou o telemóvel num poderoso dispositivo de computação móvel. A necessidade de estar sempre contactável, comum à civilização moderna, tem aumentado a dependência deste dispositivo, sendo transportado pela maioria das pessoas num ambiente urbano e assumindo um papel talvez mais importante que a própria carteira. A ubiquidade e capacidade de computação dos telemóveis aumentam o interesse no desenvolvimento de serviços móveis, além de tradicionais serviços de voz. Um telemóvel pode em breve tornar-se um elemento activo nas nossas tarefas diárias, servindo como um instrumento de pagamento e controlo de acessos, proporcionando assim novas interfaces para serviços existentes. A unificação de vários serviços num único dispositivo é um desafio que pode simplificar a nossa rotina diária e aumentar o conforto, no limite deixaremos de necessitar de dinheiro físico, cartões de crédito ou débito, chaves de residência e de veículos automóveis, ou inclusive documentos de identificação como bilhetes de identidade ou passaportes. O interesse demonstrado pelos intervenientes, desde os fabricantes de telemóveis e operadores de rede móvel até às instituições financeiras, levaram ao aparecimento de múltiplas soluções de serviços móveis. Porém estas soluções respondem geralmente a problemas específicos, apenas contemplando um fornecedor de serviços ou uma determinada operação de pagamento, como seja a compra de bilhetes ou pagamento de estacionamento. Estas soluções emergentes consistem também tipicamente em especificações fechadas e protocolos proprietários. A definição de uma arquitectura genérica, aberta interoperável e extensível é necessária para que os serviços móveis possam ser adoptados de uma forma generalizada por diferentes fornecedores de serviços e para diversos tipos de pagamento. A maior parte das soluções actuais de pagamento móvel depende de comunicações através da rede móvel, algumas utilizam o telemóvel apenas como uma interface de acesso à internet enquanto outras possibilitam o envio de um SMS (Short Message Service) para autorizar uma transacção, o que implica custos de comunicação em todas as operações de pagamento. Este custo de operação torna essas soluções inadequadas para a realização de micropagamentos e podem por isso ter uma aceitação limitada por parte dos clientes. As soluções existentes focam-se maioritariamente em pagamentos à distância, não tirando partido das características do pagamento presencial e não oferecendo por isso uma verdadeira alternativa ao modelo actual de pagamento com cartões de crédito/débito. As capacidades computacionais dos telemóveis e suporte de diversos protocolos de comunicação sem fio local não têm sido aproveitadas, vendo o telemóvel apenas como um terminal GSM (Global System for Mobile Communications) e não oferecendo serviços adicionais como seja a avaliação dinâmica de risco ou controlo de despesas. Esta dissertação propõe e valida, através de um demonstrador, uma aquitectua aberta para o pagamento e controlo de acesso baseado em dispositivos móveis, intitulada WPAC (Wireless Payment and Access Control). Para chegar à solução apresentada foram estudadas outras soluções de pagamento, desde o aparecimento dos cartões de débito até a era de pagamentos electrónicos móveis, passando pelas soluções de pagamento através da internet. As capacidades dos dispositivos móveis, designadamente os telemóveis, e tecnologias de comunicação sem fios foram também analisadas a fim de determinar o estado tecnológico actual. A arquitectura WPAC utiliza padrões de desenho utilizados pela indústria em soluções de sucesso, a utilização de padrões testados e a reutilização de soluções com provas dadas permite aumentar a confiança nesta solução, um destes exemplos é a utilização de uma infra-estrutura de chave pública para o estabelecimento de um canal de comunicação seguro. Esta especificação é uma arquitectura orientada aos serviços que utiliza os Web Services para a definição do contracto do serviço de pagamento. A viabilidade da solução na orquestração de um conjunto de tecnologias e a prova de conceito de novas abordagens é alcançada com a construção de um protótipo e a realização de testes. A arquitectura WPAC possibilita a realização de pagamentos móveis presenciais, isto é, junto do fornecedor de bens ou serviços, seguindo o modelo de pagamento com cartões de crédito/débito no que diz respeito aos intervenientes e relações entre eles. Esta especificação inclui como aspecto inovador a avaliação dinâmica de risco, que utiliza o valor do pagamento, a existência de pagamentos frequentes num período curto de tempo, e a data, hora e local do pagamento como factores de risco; solicitando ao cliente o conjunto de credenciais adequado ao risco avaliado, desde códigos pessoais a dados biométricos. É também apresentada uma alternativa ao processo normal de pagamento, que apesar de menos cómoda permite efectuar pagamentos quando não é possível estabelecer um canal de comunicação sem fios, aumentando assim a tolerância a falhas. Esta solução não implica custos de operação para o cliente na comunicação com o ponto de venda do comerciante, que é realizada através de tecnologias de comunicação local sem fios, pode ser necessária a comunicação através da rede móvel com o emissor do agente de pagamento para a actualização do agente de software ou de dados de segurança, mas essas transmissões são ocasionais. O modelo de segurança recorre a certificados para autenticação dos intervenientes e a uma infra-estrutura de chave pública para cifra e assinatura de mensagens. Os dados de segurança incluídos no agente de software móvel, para desabilitar a cópia ou corrupção da aplicação mas também para a comparação com as credenciais inseridas pelo cliente, devem igualmente ser encriptados e assinados de forma a garantir a sua confidencialidade e integridade. A arquitectura de pagamento utiliza o standard de Web Services, que é amplamente conhecido, aberto e interoperável, para definição do serviço de pagamento. Existem extensões à especificação de Web Services relativas à segurança que permitem trocar itens de segurança e definem o modo de cifra e assinatura de mensagens, possibilitando assim a sua utilização em aplicações que necessitem de segurança como é o caso de serviços de pagamento e controlo de acesso. O contracto de um Web Service define o modo de invocação dos serviços, transmissão de informação e representação de dados, sendo normalmente utilizado o protocolo SOAP que na prática não é mais que um protocolo de troca de mansagens XML (eXtensible Markup Language). O envio e recepção de mensagens XML; ou seja, a transmissão de simples sequências de caracteres, é suportado pela maioria dos protocolos de comunicação, sendo portanto uma solução abrangente que permite a adopção de diversas tecnologias de comunicação sem fios. O protótipo inclui um agente de software móvel, implementado sobre a forma de uma MIDlet, aplicação Java para dispositivos móveis, que implementa o protocolo de pagamento comunicando sobre uma ligação Bluetooth com o ponto de venda do comerciante, simulado por uma aplicação desenvolvida sobre a plataforma .NET e que por isso faz prova da heterogeneidade da solução. A comunicação entre o comerciante e o seu banco para autorização do pagamento e transferência monetária utiliza o protocolo existente para a autorização de pagamentos, com base em cartões de crédito/débito. A definição desta especificação aberta e genérica em conjunto com o forte interesse demonstrado pelos intervenientes, proporciona uma boa perspectiva em termos de adopção da solução, o que pode impulsionar a implementação de serviços móveis e dessa forma simplificar as rotinas diárias das pessoas. Soluções móveis de pagamento reduzem a necessidade de transportar vários cartões de crédito/débito na nossa carteira. A avaliação dinâmica de risco permite aumentar a segurança dos pagamentos, com a solicitação de mais credenciais ao cliente para pagamentos com um maior risco associado, sendo um ponto importante quer para os clientes quer para as instituições financeiras pois diminui o risco de fraude e aumenta a confiança no sistema. Esta solução de pagamento electrónico pode também facilitar a consulta de pagamentos efectuados e saldos, mantendo um histórico dos movimentos, o que não é possível nos cartões de crédito/débito sem uma visita a uma ATM (Automated Teller Machine) ou utilização de homebanking.

Campylobacter spp. em Águas: Programas Nacionais de Avaliação Externa da Qualidade - Microbiologia de Alimentos Microbiologia de Águas

Apresentação sobre Campylobacter spp. em Águas no âmbito dos Programas Nacionais de Avaliação Externa da Qualidade - Microbiologia de Alimentos Microbiologia de Águas.

A qualidade de vida do indivíduo com perda auditiva segundo o tipo de local de residência

A necessidade de promoção e manutenção da Qualidade de Vida enfatiza a importância de: Programas de Prevenção de Perda Auditiva e de Sensibilização e Manutenção da Saúde Auditiva; Programas de Terapêutica por Adaptação Protética. Objectivos gerais: avaliar o estado de saúde da população com perda auditiva e averiguar as principais repercussões da perda auditiva na Qualidade de Vida. Finalidades do estudo: demonstrar a necessidade e utilidade de programas de sensibilização para a protecção e conservação do sentido auditivo.

Controlo robusto de manobras em aviónica

Com este trabalho pretende-se estudar a dinâmica e o controlo robusto de manobras em aviónica. Para isso são estudados diferentes modelos lineares que aproximam o modelo global da aeronave durante manobras como a descolagem, aterragem e o voo planeado. O objectivo inicial é resolver o problema da estabilização (estabilizar o avião ao longo da trajectória de voo usando controlo robusto linear por realimentação de estado) tendo consideração restrições operacionais nas varáveis de estado e accionamentos. Numa segunda fase combinar os resultados obtidos em cada uma das manobras para projectar um piloto automático capaz de garantir bom desempenho em voo planeado para diferentes sequências de manobras (ex. aproximação à pista mais manobra de aterragem) usando o conceito de estabilização simultânea, ou seja por outras palavras pretende-se aplicar apenas um controlador a várias manobras e para isso deve ser realizada uma maquete seguindo todos os passos para se obter um menor erro e uma melhor estabilização por parte do avião quer nas condições de voo estáveis, quer nas variadas deflecções aplicadas em todos os níveis do avião. Aplicam-se as técnicas estudadas a modelos de caças como o F-14 e principalmente o F-16.

Avaliação dos sistemas WiMAX e GSM-R para ambientes ferroviários

Com este trabalho pretende-se estudar o desempenho das tecnologias GSM-R e WiMAX em ambientes ferroviários. Este tipo de estudo tem uma importância elevada devido grande interesse na reestruturação dos sistemas de comunicações vocacionados para aplicações ferroviárias. Estes sistemas são cada vez mais complexos, apresentando níveis mais elevados de exigência, como a segurança, suporte de sinalização, tráfego ferroviário e interoperabilidade entre sistemas de diferentes países. Com tudo isto é necessário explorar e conhecer o comportamento de diversas tecnologias para este tipo de aplicações. Neste trabalho foi efectuado um primeiro estudo abrangendo a tecnologia WiMAX (Norma IEEE 802.16d) em ambientes interiores de edifícios, de forma a estudar o seu comportamento com e sem linha de vista e em proximidade e afastamento da estação base. Este estudo foi conclusivo quanto há não adequação desta tecnologia em ambientes ferroviários, visto ter sido observado que em situações de ausência de linha de vista a degradação da qualidade do sinal não conseguiria suportar os níveis de exigência necessários para a aplicação do mesmo em ambientes ferroviários. Analisou-se em segundo lugar a tecnologia GSM-R, onde se efectuou um estudo de campo em ambientes reais. Para o estudo desta tecnologia foram utilizados ambientes diversificados de forma a obter um estudo mais aprofundado do seu comportamento. Como objectivo têm-se a criação de melhores métodos de planeamento, mais vocacionados para as características específicas dos ambientes ferroviários e exigências das aplicações dos sistemas de comunicações ferroviários. Através deste estudo foi possível obter conclusões relativamente à variação da potência do sinal para as diversas condições e ambientes de propagação a que o sistema GSM-R foi sujeito, tendo sido possível também caracterizar o tipo de ambientes característicos das linhas ferroviárias. Foi possível também concluir que este tipo de sistemas consegue responder aos níveis de exigência e aplicações dos sistemas de comunicação ferroviários, trazendo uma mais-valia relativamente aos existentes actualmente a nível nacional.