Operação em ambiente móvel baseado em modelo de mercado

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

Dependência entre a performance de baterias VRLA e as características físico-químicas da matéria activa positiva

Trabalho Final de Mestrado para obtenção do grau de Mestre em Engenharia Química e Biológica

Fórmula de cálculo do volume de ultrafiltrado extraído pela ultrafiltração modificada, em indivíduos adultos

O principal objectivo do estudo é determinar uma fórmula de cálculo para o volume de ultrafiltrado a retirar, pela Ultrafiltração Modificada (UFM), a doentes adultos submetidos a cirurgia cardíaca. A população-alvo é constituída por 489 casos relativos às cirurgias cardíacas realizadas entre Janeiro de 2003 e Dezembro de 2005, que cumprem os critérios de inclusão e exclusão definidos. Trata-se de um estudo retrospectivo, do tipo correlacional quantitativo com abordagem dedutiva, em que as variáveis estudadas foram obtidas através da consulta dos relatórios de perfusão cardiovascular do serviço de Cirurgia Cardiotorácica do Hospital de Santa Marta, EPE. A relação entre as variáveis em estudo foi analisada através da correlação e modelos de regressão linear. O modelo obtido para definir a fórmula de cálculo desejada tem por base a correlação existente entre o volume a retirar por UFM e a superfície corporal do doente, sendo este o único dos três modelos estudados que demonstra uma dependência, ainda que fraca, entre as variáveis, e exprimindo-se através da fórmula Y=545,4.X3, em que Y é o volume a retirar por UFM e X é o valor da superfície corporal de cada doente, e sendo representativo apenas para 4% da população em estudo.” O aumento médio de hemoglobina pós-UFM é de 1,9±1,09g/ dl, o que traduz eficácia da técnica na obtenção de hemoconcentração.

Resposta imune na infecção por Leishmania infantum em modelo murino

As leishmanioses são doenças causadas por protozoários do género Leishmania que são parasitas intracelulares obrigatórios das células fagocíticas. O objectivo deste estudo foi caracterizar a infecção por Leishmania infantum em murganhos BALB/c inoculados por via intradérmica, analisando a evolução do parasitismo e as respostas imunitárias desenvolvidas. A carga parasitária foi determinada por PCR em tempo real. Foram detectados parasitas desde o 7º dia pós-infecção, verificando-se a disseminação visceral do parasita ao 56º dia pós-infecção. Os linfócitos dos animais do grupo infectado proliferaram em resposta à estimulação antigénica, enquanto que os macrófagos peritoneais produziram nitritos na presença do antigénio. Estes resultados demonstraram que os murganhos BALB/c inoculados por via intradérmica constituem um bom modelo experimental de leishmaniose visceral.

Gestão integrada de sistemas de execução de processos WS-BPEL

O trabalho de projecto consiste numa proposta de solução para gestão integrada de sistemas de execução de processos de negócio. Os processos de negócio definem um quadro de realização de tarefas numa organização. Perante a constante evolução dos parâmetros do negócio, as organizações necessitam de adoptar metodologias que permitam ter mais controlo sobre a definição e execição dos seus processos, contribuindo para a sua automatização. Paralelamente a esta evolução, surgem iniciativas de linguagens para definição de processos e sistemas de execução provenientes de diversos fornecedores. Todos ele apresentam funcionalidades que permitem o acesso à informação de gestão de processos, mas, na sua generalidade, através de aplicações ou interfaces programáticas proprietárias. Esta abordagem constitui um problema de dependência das aplicações de gestão de processos relativamente à especificidade da gestão em diversos sistemas de execução de uma organização. O desenvolvimento deste projecto, com a elaboração de um protótipo demonstrador, visa a validação de um modelo uniforme para representação e acesso á informação de gestão dos processos de negócio. A estratégia elaborada segue uma abordagem de gestão integrada que permite unificar a gestão de processos em diversos sistemas de execução, usufruindo de outros modelos de referência para sustentar a proposta apresentada.

A televisão na era digital: qual o modelo mais adequado para o serviço público de televisão na plataforma internet?

Dissertação apresentada à Escola Superior de Comunicação Social como parte dos requisitos para obtenção de grau de mestre em Audiovisual e Multimédia.

Estabelecimento de um modelo para o cálculo da incerteza associada às medidas de poluentes atmosféricos na refinaria de Sines

A monitorização de processos ambientais conduz à obtenção de resultados cuja aferição da qualidade é um requisito raramente cumprido. No entanto, importantes decisões de gestão ambiental, sociais e políticas com impacto directo nas populações são tomadas suportadas nestes resultados. A validação de uma medição, como suporte à decisão, é impossível sem o conhecimento da incerteza associada ao próprio resultado. É a incerteza que define a qualidade do resultado. Com este trabalho pretendeu-se contribuir para o aperfeiçoamento do Controlo da Poluição na Refinaria da Galp Energia, em Sines, através do estabelecimento de um projecto de cálculo das incertezas associadas aos teores de poluentes medidos. Foram alvo deste estudo os valores medidos de dióxido de enxofre, óxidos de azoto e partículas monitorizadas. O conhecimento do valor de incerteza associada aos resultados permitirá actuar preventivamente e tomar acções correctivas de modo a garantir o cumprimento pleno da licença ambiental. Para avaliar a incerteza usou-se o procedimento preconizado pela norma ISO em que os passos envolvidos são a especificação do processo de medida, identificação das fontes de incerteza, cálculo da incerteza combinada e cálculo da incerteza expandida. Após a caracterização da actividade da empresa, do enquadramento legislativo, do desempenho no triénio 2005-2007 e da caracterização dos aparelhos de medida, foi feito um estudo estatístico aos valores medidos por estes três analisadores durante diversos períodos do ano de 2007 e foi determinado o modelo de cálculo do valor de incerteza associado a cada uma das medidas. Os valores, associados à respectiva incerteza, foram comparados com os limites impostos pela licença ambiental, verificando-se o cumprimento desta. A determinação da incerteza associada aos resultados de monitorização dos efluentes gasosos desta instalação reforça a credibilidade dos valores medidos, o compromisso da melhoria contínua da qualidade dos processos, produtos e serviços, do desempenho ambiental e da segurança das pessoas e bens, como contributo para um desenvolvimento sustentável desta companhia.

Um modelo de análise das comunidades online - a Vespa nas comunidades sociais online

Dissertação apresentada à Escola Superior de Comunicação Social para obtenção de grau de mestre em Publicidade e Marketing.

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.

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.

Estudo da solubilidade de diferentes corantes têxteis em dióxido de carbono supercrítico

Utilizando um método de medida dinâmico, determinou-se experimentalmente a solubilidade de corantes têxteis em CO2 supercrítico, para pressões entre 120 bar (12MPa) a 400 bar (40 MPa) e temperaturas de 60°C (333.2K) a 120°C (393.2K). O equipamento utilizado consiste em 3 secções distintas: zona de compressão, zona de equilíbrio e zona de expansão. Dos resultados obtidos para as isotérmicas, verificou-se que a solubilidade aumenta com o incremento da pressão. Em relação à influência da temperatura, constatou-se que as pressões mais baixas os corantes apresentam uma diminuição na solubilidade em CO2 supercrítico com o incremento da temperatura, no entanto, a partir de uma determinada pressão (cerca de 225bar), quanto maior a temperatura de estudo, maior a solubilidade dos compostos. Obtiveram-se valores de solubilidade na ordem dos 2,9x10-6 a 2,9x10-4 para o Quinizarina com uma reprodutibilidade média de ±3,3%, de 1,4x10-6 a 3,2x10-4 para o Red 9 com uma reprodutibilidade média de ±2,5% de 7,8x10-8 a 2,2x10-5 para o Blue 14 com uma reprodutibilidade média de ±3,0% e finalmente de 6,63x10-8 a 4,9x10-7 para o Blue 1, com uma reprodutibilidade média de ±4,5%. A comparação com os resultados experimentais da bibliografia permitiu verificar a actual discrepância de valores existentes para estes corantes e a importância de novos resultados e mais rigorosos, com o objectivo de analisar os métodos de determinação de solubilidade em fluidos supercríticos. Após a análise dos resultados obtidos, foi efectuada a modelação dos mesmos recorrendo a modelos semi-empíricos, verificando-se que o modelo mais adequado ao corante Quinizarina é o modelo de Bartle et al, para o qual se obteve um desvio relativo médio percentual (AARD) de 2,94%. Relativamente ao corante Red 9 e Blue 14, o modelo que melhor define o comportamento de Chrastil, obtendo-se um AARD de 0,870% e o 1,47% respectivamente, enquanto que para o Blue 1 é o modelo de Kummar e Jonhson, com um AARD de 0,218%. Além da modelação efectuada, foram ainda determinados os valores de entalpias de vaporização e solvatação para os diferentes compostos.

O modelo de agente representativo

A teoria económica contemporânea assenta grande parte do seu raciocínio na ideia de que é possível compreender o comportamento dos agentes económicos e a complexidade das relações que entre eles se estabelecem reduzindo esse comportamento às escolhas de um agente representativo. Este agente procura maximizar a utilidade do consumo perante determinada restrição de recursos que ele, ou o sistema económico como um todo, enfrenta. Apesar de esta ideia não estar isenta de possível crítica e de o caminho da modelização ser cada vez mais o de considerar agentes heterogéneos em interação, a verdade é que se trata de um conceito poderoso, que permite compreender mecanismos lógicos relevantes, num contexto que é frequentemente assumido como dinâmico e intertemporal. Neste capítulo, caracterizam-se os pilares fundamentais do modelo de agente representativo.

Programa de intervenção segundo o modelo de auto-regulação na esclerose múltipla

A auto-regulação é um processo sistemático do comportamento que envolve a definição de metas pessoais e comportamentos, bem como a orientação para a realização de metas estabelecidas. Este processo envolve: orientação de estratégias eficazes para alcançar objectivos, feedback e auto-avaliação da parte dos indivíduos. Objectivo deste estudo: melhorar a actividade física e participação dos indivíduos com esclerose múltipla.

Modelo de avaliação do programa comunitário de intervenção precoce da CERCI Lisboa

Mestrado em Intervenção Socio-Organizacional na Saúde - Área de especialização: Políticas de Administração e Gestão de Serviços de Saúde.

Análise crítica do modelo de solvência das empresas de seguros "não vida": a conta "provisão para sinistros"

Neste artigo descreve-se e analisa-se, numa perspectiva crítica, o modelo de solvência actualmente em vigor na União Europeia, particularizando para o caso português. Este modelo, ao basear-se em rácios, apresenta algumas debilidades uma vez que, para modificar o resultado obtido, as empresas de seguros podem baixar o nível de solvência exigida com base na alteração do numerador ou denominador de fracção. Centramo-nos na manipulação do denominador, designadamente através de processos de sub-provisionamento. Esta comunicação discute, do ponto de vista teórico e prático, a utilização deste pressuposto, com base na conta "provisão para sinistros", que pode colocar em risco a principal função das garantias financeiras: a protecção dos tomadores de seguro.