Safety high accuracy Context-Aware Matrix (CAM) making based on X.509 proxy certificate

Human Computer Interaction (HCl) is to interaction between computers and each person. And context-aware (CA) is very important one of HCI composition. In particular, if there are sequential or continuous tasks between users and devices, among users, and among devices etc, it is important to decide the next action using right CA. And to take perfect decision we have to get together all CA into a structure. We define that structure is Context-Aware Matrix (CAM) in this article. However to make exact decision is too hard for some problems like low accuracy, overhead and bad context by attacker etc. Many researcher has been studying to solve these problems. Moreover, still it has weak point HCI using in safety. In this Article, we propose CAM making include best selecting Server in each area. As a result, moving users could be taken the best way.

A study on the authentication method for TAmI in ambient intelligence (secure group decision making toolkit)

It is difficult to get the decision about an opinion after many users get the meeting in same place. It used to spend too much time in order to find solve some problem because of the various opinions of each other. TAmI (Group Decision Making Toolkit) is the System to Group Decision in Ambient Intelligence [1]. This program was composed with IGATA [2], WebMeeting and the related Database system. But, because it is sent without any encryption in IP / Password, it can be opened to attacker. They can use the IP / Password to the bad purpose. As the result, although they make the wrong result, the joined member can’t know them. Therefore, in this paper, we studied the applying method of user’s authentication into TAmI.

Solving MPCC problem with the hyperbolic penalty function

The main goal of this work is to solve mathematical program with complementarity constraints (MPCC) using nonlinear programming techniques (NLP). An hyperbolic penalty function is used to solve MPCC problems by including the complementarity constraints in the penalty term. This penalty function [1] is twice continuously differentiable and combines features of both exterior and interior penalty methods. A set of AMPL problems from MacMPEC [2] are tested and a comparative study is performed.

Solving a signalized traffic intersection problem with an hyperbolic penalty function

Mathematical Program with Complementarity Constraints (MPCC) finds many applications in fields such as engineering design, economic equilibrium and mathematical programming theory itself. A queueing system model resulting from a single signalized intersection regulated by pre-timed control in traffic network is considered. The model is formulated as an MPCC problem. A MATLAB implementation based on an hyperbolic penalty function is used to solve this practical problem, computing the total average waiting time of the vehicles in all queues and the green split allocation. The problem was codified in AMPL.

Apanha-me se puderes! tradução comentada do capítulo “White-collar and Corporate Crime”, The Oxford Handbook of Criminology

Dissertação de Mestrado Apresentada ao Instituto Superior de Contabilidade e Administração do Porto para a obtenção do grau de Mestre em Tradução e Interpretação Especializadas, sob orientação da Mestre Suzana Noronha Cunha

Optimization, high availability and redundancy in information communications and technology using networks and systems virtualization architectures

Mestrado em Engenharia Informática

Processamento de imagem para determinação de distribuições granulométricas de gotas numa suspensão

Mestrado em Engenharia Electrotécnica e de Computadores

Empreendedorismo Social, o papel das IPSS: estudo de caso

O empreendedorismo social tem vindo, nas últimas décadas, a ser denominado como um novo paradigma determinante para o funcionamento da economia, em grande parte, porque a economia social tornou-se basilar na sociedade, por um lado, pelo crescimento exponencial da exclusão social, elevado desemprego e envelhecimento da população e, por outro, devido às dificuldades orçamentais dos governos. O empreendedorismo social, utilizado por Instituições Particulares de Solidariedade Social sem fins lucrativos, procura resolver problemas sociais de forma inovadora e sustentável, com a finalidade de dar resposta aos grandes desafios sociais da atualidade, através da ação social na prevenção e no apoio nas diversas situações de fragilidade, exclusão ou carência humana, promovendo a inclusão, a integração social e o desenvolvimento local. O objetivo fundamental do presente trabalho, pretende verificar até que ponto as IPSS podem ser definidas como empreendedores sociais, através da prestação de serviços, nas variadas áreas à população local, de forma a alcançar o valor social. Neste estudo enveredou-se pela metodologia qualitativa, utilizando o método do estudo de caso único, recorrendo ao questionário como instrumento de recolha de dados numa instituição particular de solidariedade social do concelho da Maia. Deste estudo foi possível concluir a IPSS tem uma proximidade às populações, através das diversas valências vocacionadas para a resolução de problemas sociais emergentes, promovendo a inclusão a integração social, e alcançar o valor social. Assim, consideramos a IPSS estudada como sendo parte integrante e promotora do empreendedorismo social.

Autoxidação de ácidos gordos na presença de antioxidantes naturais e sintéticos

Nas últimas décadas, devido ao desenvolvimento económico, e a uma necessidade constante de gerir os recursos energéticos, existe uma necessidade de procurar novas fontes de energia, em particular fontes de energia renováveis. O biodiesel surge assim como uma energia alternativa ao combustível fóssil. Este biocombustível tem ganho uma importância significativa na sociedade moderna. Quimicamente o biodiesel é constituído por ésteres metílicos de ácidos gordos de cadeia longa, derivados de óleos vegetais ou gorduras animais. O principal problema que este enfrenta é a sua susceptibilidade à oxidação, devido ao seu conteúdo de ácidos gordos insaturados, logo existe uma procura constante de soluções que possam solucionar este problema. É necessária a identificação de técnicas e métodos para retardar a seu envelhecimento ao longo do tempo. O objectivo deste trabalho consiste no estudo da estabilidade do biodiesel ao longo do tempo, quando armazenado a diferentes condições de temperatura, superiores às normalmente suportadas pelo biodiesel durante o armazenamento, de modo a acelerar o processo de degradação. As amostras de biodiesel foram sujeitas a duas temperaturas. Uma amostra de biodiesel não estabilizado foi colocada a uma temperatura entre 40 e 50ºC ao longo de 203 dias, e uma outra amostra foi colocada a uma temperatura entre 95º e 105ºC ao longo de 146 dias. Realizaram-se ensaios semanais de modo registar a evolução do envelhecimento do biodiesel. As análises foram efectuadas por espectrofotometria de ultravioleta e visível (UV-VIS) e por espectroscopia de absorção na região do infravermelho (FTIR). No UV-VIS foi possível observar que o aumento de temperatura foi responsável pela aceleração da oxidação do biodiesel que resulta num aumento generalizado da absorvância do biodiesel. Através das análises efectuadas no FTIR verificou-se a formação e aumento da banda dos hidroperóxidos (grupo ROOH) localizada entre 3000 e 3600 cm-1 nos espectros, e igualmente um alargamento na banda dos carbonilos (grupo C=O) entre 1500 e 1900 cm-1. Numa fase posterior testaram-se antioxidantes para retardar o envelhecimento do biodiesel. Os ensaios foram efectuados a uma temperatura entre 95º e 105ºC. Os antioxidantes utilizados foram o galhato de propilo (PG), o galhato de etilo (EG) e o ácido gálhico (AG). Recorreu-se a técnicas como o UV-VIS e o FTIR para o registo dos espectros do biodiesel ao longo do tempo. Através destas técnicas foi possível verificar a influência de antioxidantes na estabilidade oxidativa do biodiesel. O PG foi o antioxidante que melhor desempenho mostrou no retardamento da oxidação do biodiesel e a técnica que melhor permitiu analisar a acção dos antioxidantes foi o UVVIS. Os resultados obtidos por FTIR não se mostraram tão conclusivos. Para caracterizar o envelhecimento do biodiesel não estabilizado e estabilizado utilizou-se também a cromatografia gasosa (CG) para quantificar a percentagem de ésteres metílicos presentes nas diferentes amostras no inicio e no fim do processo de oxidação. O biodiesel envelheceu mais rapidamente para temperaturas mais elevadas e comprovou-se que o antioxidante que melhor estabiliza o biodiesel é o PG.

Diagnóstico energético e reengenharia do processo de secagem na fábrica de revestimentos

Este trabalho surgiu no âmbito da Tese de Mestrado em Engenharia Química - Ramo Optimização Energética na Indústria Química, aliando a necessidade da Empresa Monteiro Ribas – Indústrias, S.A. em resolver alguns problemas relacionados com as estufas da unidade J da fábrica de revestimentos. Outro dos objectivos era propor melhorias de eficiência energética neste sector da empresa. Para tal, foi necessário fazer um levantamento energético de toda a unidade, o que permitiu verificar que as estufas de secagem (Recobrimento 1 e 2) seriam o principal objecto de estudo. O levantamento energético da empresa permitiu conhecer o seu consumo anual de energia de 697,9 tep, o que a classifica, segundo o Decreto-lei nº 71 de 15 de Abril de 2008, como Consumidora Intensiva de Energia (CIE). Além disso, as situações que devem ser alvo de melhoria são: a rede de termofluido, que apresenta válvulas sem isolamento, o sistema de iluminação, que não é o mais eficiente e a rede de distribuição de ar comprimido, que não tem a estrutura mais adequada. Desta forma sugere-se que a rede de distribuição de termofluido passe a ter válvulas isoladas com lã de rocha, o investimento total é de 2.481,56 €, mas a poupança pode ser de 21.145,14 €/ano, com o período de retorno de 0,12 anos. No sistema de iluminação propõe-se a substituição dos balastros normais por electrónicos, o investimento total é de 13.873,74 €, mas a poupança é de 2.620,26 €/ano, com período de retorno de 5 anos. No processo de secagem das linhas de recobrimento mediram-se temperaturas de todos os seus componentes, velocidades de ar o que permitiu conhecer a distribuição do calor fornecido pelo termofluido. No Recobrimento 1, o ar recebe entre 39 a 51% do calor total, a tela recebe cerca de 25% e na terceira estufa este é apenas de 6%. Nesta linha as perdas de calor por radiação oscilam entre 6 e 11% enquanto as perdas por convecção representam cerca de 17 a 44%. Como o calor que a tela recebe é muito inferior ao calor recebido pelo ar no Recobrimento 1, propõe-se uma redução do caudal de ar que entra na estufa, o que conduzirá certamente à poupança de energia térmica. No Recobrimento 2 o calor fornecido ao ar representa cerca de 51 a 77% do calor total e o cedido à tela oscila entre 2 e 3%. As perdas de calor por convecção oscilam entre 12 e 26%, enquanto que as perdas por radiação têm valores entre 4 e 8%. No que diz respeito ao calor necessário para evaporar os solventes este oscila entre os 4 e 13%. Os balanços de massa e energia realizados ao processo de secagem permitiram ainda determinar o rendimento das 3 estufas do Recobrimento 1, com 36, 47 e 24% paras as estufa 1, 2 e 3, respectivamente. No Recobrimento 2 os valores de rendimento foram superiores, tendo-se obtido valores próximos dos 41, 81 e 88%, para as estufas 1, 2 e 3, respectivamente. Face aos resultados obtidos propõem-se a reengenharia do processo introduzindo permutadores compactos para aquecer o ar antes de este entrar nas estufas. O estudo desta alteração foi apenas realizado para a estufa 1 do Recobrimento 1, tendo-se obtido uma área de transferência de calor de 6,80 m2, um investimento associado de 8.867,81 €. e uma poupança de 708,88 €/ano, com um período de retorno do investimento de 13 anos. Outra sugestão consiste na recirculação de parte do ar de saída (5%), que conduz à poupança de 158,02 €/ano. Estes valores, pouco significativos, não estimulam a adopção das referidas sugestões.

Optimização da estação de tratamento de águas residuais de Crestuma

O presente trabalho, elaborado entre Fevereiro e Julho de 2011, pretendeu analisar o impacto de algumas estratégias de optimização, adoptadas no âmbito da gestão de processo. As soluções estudadas tiveram como objectivo fazer face a alguns problemas de funcionamento da estação de tratamento de águas residuais (ETAR) de Crestuma, com recurso aos meios existentes. Para esse efeito foi realizada uma análise ao histórico dos registos de exploração referentes ao período de Janeiro de 2008 a Julho de 2011, pois foi considerado que este seria o período necessário para a análise e apuramento de resultados conclusivos. A ETAR fica situada na freguesia de Crestuma, actualmente com 2619 habitantes, localizada na confluência do regato de Vessadas com o rio Douro. Destina-se a tratar as águas residuais provenientes do sistema de drenagem de três localidades, S. Fioso, S. Picoto e S. Vessada, contribuindo para a despoluição do rio Douro. Genericamente, a ETAR tem apresentado um desempenho bastante satisfatório, respeitando os valores limites de emissão previstos na legislação actual (Decreto-Lei 152/97). A permanência de grandes quantidades de lama no processo, associada a uma elevada idade das lamas, está na origem da sua má sedimentabilidade, dificultando, por sua vez, a sua remoção do sistema. Com objectivo de se conseguir remover as lamas biológicas de uma forma mais eficiente, foi adoptada uma estratégia que compreendeu duas etapas. Com a finalidade de melhorar a sedimentabilidade, numa primeira etapa foi introduzido no processo um produto biológico, composto essencialmente por fungos, comercialmente conhecido por Optibiom 7450L. Com vista a obter-se uma maior eficiência na desidratação das lamas, a segunda etapa consistiu na substituição do polímero usado na lama espessada, por outro, de composição diferente, comercialmente conhecido por Easy 6040. Com as alterações introduzidas, foi possível obter um melhor controlo do processo e convergir para parâmetros de funcionamento mais próximos dos valores referidos na bibliografia. As alterações mais relevantes foram verificadas nos valores de sólidos suspensos totais (SST) no reactor biológico e na recirculação, tendo-se obtido valores médios de 3846 e 9716 mg/L, respectivamente (correspondendo a valores anteriores ao tratamento de 5301 e 7430 mg/L). Assim, a razão entre as concentrações de SST na corrente de recirculação e no reactor biológico passou de 1,4 para 2,6. A idade das lamas diminuiu de 42 para 36 dias com a adição do polímero Easy 6040 e o índice volumétrico de lamas apresentou uma redução, de 134 mL/g para 100 mL/g, o que se traduziu numa melhor sedimentabilidade das lamas. Desta forma, obteve-se uma diminuição de 33,3% no volume de lama produzida por m3 de afluente tratado, bem como uma redução de 27% no número de horas de funcionamento da centrífuga e um decréscimo ligeiro no consumo global de energia da ETAR (0,89%). Conclui-se que as alterações introduzidas no processo, adição de um produto biológico composto por fungos (Optibiom 7450L) e substituição do polímero usado na lama espessada por outro de composição diferente (Easy 6040), conduziram a uma melhoria no funcionamento do tratamento biológico da ETAR de Crestuma.

Resolução do problema do escalonamento da produção de energia eléctrica usando programação lógica por restrições

A operação dos Mercados de Energia Eléctrica passa, actualmente, por uma profunda reestruturação, com o principal foco nas transacções do sistema de transmissão entre os diferentes agentes. Tendo isso em conta, o serviço de transmissão neste novo esquema de funcionamento do Mercado de Energia Eléctrica deve ser provido de máxima eficiência económica, atendendo sempre às restrições de segurança do sistema. Com esta reorganização do sector eléctrico da última década surgiu também a necessidade de rever os modelos tradicionais de optimização económica do Sistema Eléctrico de Energia, como por exemplo o despacho e prédespacho (unit commitment). A reestruturação e liberalização dos mercados de energia eléctrica trouxeram novas restrições a alguns dos problemas tradicionais associados aos Sistemas Eléctricos de Energia. Um desses problemas é o Escalonamento da Produção de Energia Eléctrica, que no contexto actual, implica quase sempre negociação entre os diferentes agentes do mercado e consequentemente reescalonamento. A maioria dos métodos usados para a resolução do problema não permitem reformular o prédespacho, algo para que a Programação Lógica por Restrições é extremamente adequada. O trabalho desenvolvido nesta dissertação visa criar uma aplicação computacional com base na Programação Lógica por Restrições, através da plataforma ECLiPSe, para resolver o problema do Escalonamento da Produção de Energia Eléctrica dos grupos térmicos, demonstrando assim a versatilidade e flexibilidade deste tipo de programação aplicada a problema combinatoriais deste género.

Cooperative framework for open real-time systems

Actualmente, os sistemas embebidos estão presentes em toda a parte. Embora grande parte da população que os utiliza não tenha a noção da sua presença, na realidade, se repentinamente estes sistemas deixassem de existir, a sociedade iria sentir a sua falta. A sua utilização massiva deve-se ao facto de estarem practicamente incorporados em quase os todos dispositivos electrónicos de consumo, telecomunicações, automação industrial e automóvel. Influenciada por este crescimento, a comunidade científica foi confrontada com novos problemas distribuídos por vários domínios científicos, dos quais são destacados a gestão da qualidade de serviço e gestão de recursos - domínio encarregue de resolver problemas relacionados com a alocação óptima de recursos físicos, tais como rede, memória e CPU. Existe na literatura um vasto conjunto de modelos que propõem soluções para vários problemas apresentados no contexto destes domínios científicos. No entanto, não é possível encontrar modelos que lidem com a gestão de recursos em ambientes de execução cooperativos e abertos com restrições temporais utilizando coligações entre diferentes nós, de forma a satisfazer os requisitos não funcionais das aplicações. Devido ao facto de estes sistemas serem dinâmicos por natureza, apresentam a característica de não ser possível conhecer, a priori, a quantidade de recursos necessários que uma aplicação irá requerer do sistema no qual irá ser executada. Este conhecimento só é adquirido aquando da execução da aplicação. De modo a garantir uma gestão eficiente dos recursos disponíveis, em sistemas que apresentam um grande dinamismo na execução de tarefas com e sem restrições temporais, é necessário garantir dois aspectos fundamentais. O primeiro está relacionado com a obtenção de garantias na execução de tarefas de tempo-real. Estas devem sempre ser executadas dentro da janela temporal requirida. O segundo aspecto refere a necessidade de garantir que todos os recursos necessários à execução das tarefas são fornecidos, com o objectivo de manter os níveis de performance quer das aplicações, quer do próprio sistema. Tendo em conta os dois aspectos acima mencionados, o projecto CooperatES foi especificado com o objectivo de permitir a dispositivos com poucos recursos uma execução colectiva de serviços com os seus vizinhos, de modo a cumprir com as complexas restrições de qualidade de serviço impostas pelos utilizadores ou pelas aplicações. Decorrendo no contexto do projecto CooperatES, o trabalho resultante desta tese tem como principal objectivo avaliar a practicabilidade dos conceitos principais propostos no âmbito do projecto. O trabalho em causa implicou a escolha e análise de uma plataforma, a análise de requisitos, a implementação e avaliação de uma framework que permite a execução cooperativa de aplicações e serviços que apresentem requisitos de qualidade de serviço. Do trabalho desenvolvido resultaram as seguintes contribuições: Análise das plataformas de código aberto que possam ser utilizadas na implementação dos conceitos relacionados com o projecto CooperatES; Critérios que influenciaram a escolha da plataforma Android e um estudo focado na análise da plataforma sob uma perspectiva de sistemas de tempo-real; Experiências na implementação dos conceitos do projecto na plataforma Android; Avaliação da practicabilidade dos conceitos propostos no projecto CooperatES; Proposta de extensões que permitam incorporar características de sistemas de tempo real abertos na plataforma Android.

Factores de rentabilização do processo de serragem de granitos com engenhos multi-lâminas

Este trabalho visa apresentar um enquadramento da realidade económica e industrial do sector transformador de granitos ornamentais em Portugal e fazer uma análise do processo de serragem, com engenhos multi-lâminas e granalha de aço, na medida em que este é o método de seccionamento de blocos de granito mais utilizado pelas grandes indústrias do sector. Tendo em conta a importância económica desta operação produtiva na indústria em causa, foi definido como fito deste projecto a análise estatística dos custos de produção; a definição de fórmulas de cálculo que permitam prever o custo médio de serragem; e o estudo de soluções economicamente viáveis e ambientalmente sustentáveis para o problema das lamas resultantes do expurgo dos engenhos. Para a persecução deste projecto foi realizada uma recolha de dados implementando rotinas de controlo e registo dos mesmos, em quadros de produção normalizados e de fácil preenchimento, pelos operadores destes equipamentos. Esta recolha de dados permitiu isolar, quantificar e formular os factores de rentabilização do processo de serragem selecionando, dentro da amostra de estudo obtida, um conjunto de serragens com características similares e com valores próximos dos valores da média estatística. Apartir dos dados destas serragens foram geradas curvas de tendência polinomial com as quais se analisaram as variações provocadas no custo médio de serragem, pelas variações do factor em estudo. A formulação dos factores de rentabilização e os dados estatísticos obtidos permitiram depois o desenvolvimento de fórmulas de cálculo do custo médio de serragem que establecem o custo de produção diferenciado em função das espessuras com, ou sem, a incorporação dos factores de rentabilização. Como consequência do projecto realizado obteve-se um conjunto de conclusões util, para o sector industrial em causa, que evidencia a importancia da Ocupação dos engenhos e rentabilização de um espaço confinado, da Resistência oferecida à serragem pelos granitos, e da Diferença de altura entre os blocos de uma mesma carga, nos custos de transformação.

Sistema de modelização tridimensional de galerias subterrâneas

A presente dissertação apresenta uma solução para o problema de modelização tridimensional de galerias subterrâneas. O trabalho desenvolvido emprega técnicas provenientes da área da robótica móvel para obtenção um sistema autónomo móvel de modelização, capaz de operar em ambientes não estruturados sem acesso a sistemas de posicionamento global, designadamente GPS. Um sistema de modelização móvel e autónomo pode ser bastante vantajoso, pois constitui um método rápido e simples de monitorização das estruturas e criação de representações virtuais das galerias com um elevado nível de detalhe. O sistema de modelização desloca-se no interior dos túneis para recolher informações sensoriais sobre a geometria da estrutura. A tarefa de organização destes dados com vista _a construção de um modelo coerente, exige um conhecimento exacto do percurso praticado pelo sistema, logo o problema de localização da plataforma sensorial tem que ser resolvido. A formulação de um sistema de localização autónoma tem que superar obstáculos que se manifestam vincadamente nos ambientes underground, tais como a monotonia estrutural e a já referida ausência de sistemas de posicionamento global. Neste contexto, foi abordado o conceito de SLAM (Simultaneous Loacalization and Mapping) para determinação da localização da plataforma sensorial em seis graus de liberdade. Seguindo a abordagem tradicional, o núcleo do algoritmo de SLAM consiste no filtro de Kalman estendido (EKF { Extended Kalman Filter ). O sistema proposto incorpora métodos avançados do estado da arte, designadamente a parametrização em profundidade inversa (Inverse Depth Parametrization) e o método de rejeição de outliers 1-Point RANSAC. A contribuição mais importante do método por nós proposto para o avanço do estado da arte foi a fusão da informação visual com a informação inercial. O algoritmo de localização foi testado com base em dados reais, adquiridos no interior de um túnel rodoviário. Os resultados obtidos permitem concluir que, ao fundir medidas inerciais com informações visuais, conseguimos evitar o fenómeno de degeneração do factor de escala, comum nas aplicações de localização através de sistemas puramente monoculares. Provámos simultaneamente que a correcção de um sistema de localização inercial através da consideração de informações visuais é eficaz, pois permite suprimir os desvios de trajectória que caracterizam os sistemas de dead reckoning. O algoritmo de modelização, com base na localização estimada, organiza no espaço tridimensional os dados geométricos adquiridos, resultando deste processo um modelo em nuvem de pontos, que posteriormente _e convertido numa malha triangular, atingindo-se assim uma representação mais realista do cenário original.