Biblioteca para a realização de security token services

A família de especificações WS-* define um modelo de segurança para web services, baseado nos conceitos de claim, security token e Security Token Service (STS). Neste modelo, a informação de segurança dos originadores de mensagens (identidade, privilégios, etc.) é representada através de conjuntos de claims, contidos dentro de security tokens. A emissão e obtenção destes security tokens, por parte dos originadores de mensagens, são realizadas através de protocolos legados ou através de serviços especiais, designados de Security Token Services, usando as operações e os protocolos definidos na especificação WS-Trust. O conceito de Security Token Service não é usado apenas no contexto dos web services. Propostas como o modelo dos Information Cards, aplicável no contexto de aplicações web, também utilizam este conceito. Os Security Token Services desempenham vários papéis, dependendo da informação presente no token emitido. São exemplos o papel de Identity Provider, quando os tokens emitidos contêm informação de identidade, ou o papel de Policy Decision Point, quando os tokens emitidos definem autorizações. Este documento descreve o projecto duma biblioteca software para a realização de Security Token Services, tal como definidos na norma WS-Trust, destinada à plataforma .NET 3.5. Propõem-se uma arquitectura flexível e extensível, de forma a suportar novas versões das normas e as diversas variantes que os Security Token Services possuem, nomeadamente: o tipo dos security token emitidos e das claims neles contidas, a inferência das claims e os métodos de autenticação das entidades requerentes. Apresentam-se aspectos de implementação desta arquitectura, nomeadamente a integração com a plataforma WCF, a sua extensibilidade e o suporte a modelos e sistemas externos à norma. Finalmente, descrevem-se as plataformas de teste implementadas para a validação da biblioteca realizada e os módulos de extensão da biblioteca para: suporte do modelo associado aos Information Cards, do modelo OpenID e para a integração com o Authorization Manager.

Simulação térmica de uma fachada de dupla pele com ventilação natural

Este trabalho relata os resultados obtidos de uma simulação térmica de uma fachada de dupla pele com ventilação natural utilizando um software genérico de simulação térmica de edifícios. Esta fachada encontra-se montada numa célula de teste no Laboratório de Engenharia Civil em Lisboa, e cujo propósito é verificar e analisar o comportamento térmico deste tipo de elementos em regimes de ventilação natural. Para atingir o objectivo desta dissertação em simular a DSF, é utilizado o amplamente conhecido EnergyPlus, um programa de grande capacidade para simular o comportamento térmico de edifícios e dimensionar pormenorizadamente os seus sistemas de ventilação e AVAC. Paralelamente a este software, é utilizado um outro programa, o DesignBuilder, tratando-se este de um interface comercial para o EnergyPlus. Os resultados das simulações efectuadas são comparadas com os dados experimentais retirados durante o funcionamento da DSF entre das datas de 23 a 28 de Abril de 2008. Utilizando estas ferramentas informáticas, foram efectuadas duas modelações da fachada de modo a avaliar diferentes graus de detalhe, ambas segundo as características geométricas, propriedades térmicas e ópticas dos seus elementos de construção, sombreamento existente e modo de funcionamento durante o período em causa. Posteriormente são comparados os resultados das simulações com os dados experimentais. A análise dos resultados permitiu chegar á conclusão que, embora o software utilizado não contenha até á data um modelo próprio e detalhado para fachadas envidraçadas de dupla pele com ventilação natural, este possui uma potencialidade promissora para efectuar uma simulação fiável. No entanto, diversas divergências significativas foram notadas e analisadas nos parâmetros comparados, nomeadamente a temperatura e o caudal, de modo a estabelecer algumas limitações do software.

Análise comparativa de diferentes tipos de sistemas de climatização e respectivas centrais de produção de água gelada e quente num hotel

A garantia do futuro da vida como a conhecemos, bem como de um hotel está, e será baseada no seu desenvolvimento sustentável, a racionalização dos recursos naturais, a gestão da energia e da água, minimizando o impacto que a sua actividade tem sobre o meio ambiente. A gestão da energia, gestão da água e a reciclagem serão cada vez mais, os vectores principais de todos os projectos, na sua concepção e na fase de exploração. A equipa que gere uma unidade hoteleira deverá ter sempre presente o custo energético por quarto, deve procurar optimizar o consumo energético, sem afectar o bem-estar do cliente, deve respeitar o meio ambiente, deve ter em consideração, que cada vez mais o cliente irá seleccionar o hotel, não só pelo preço, mas também pelo facto do hotel, respeitar o meio ambiente. Na fase de um novo projecto ou da modernização de uma unidade hoteleira, engenheiros, arquitectos, gestores, técnicos, devem partilhar o conhecimento e desenvolvimento do projecto desde o primeiro dia. No presente trabalho é feita a análise comparativa de diferentes tipos de sistemas de climatização e respectivas centrais de produção de água gelada e quente num hotel, seleccionar soluções, e guiar diferentes entidades, promotor de hotéis, donos de hotéis, arquitectos, empresas de fiscalização, projectistas e instaladores, gestor de exploração, gestor de manutenção. Utilizando o modelo de arquitectura de um hotel existente, onze pisos, com três pisos de zonas comuns, restaurantes, salas de reunião e sete pisos de quartos, com 182 quartos, com o software de origem nos E.U.A., Hourly Air Analysis Program, na versão 4.5, e que utiliza o método de cálculo da American Society of Heating, Refrigerating and Air Conditioning Engineers,, foi efectuado o cálculo de carga térmicas, identificação e caracterização dos sistemas de climatização a estudar , definição de possíveis tipos de centrais de água gelada e quente, simulação energética dos vários sistemas definidos e respectivas tipos de solução de hotéis. Através das simulações efectuadas e através da previsão de consumos pode-se identificar as soluções que apresentam melhor eficiência e as mais amigas do ambiente.

Sistemas de informação: message integration bus

O trabalho apresentado por este documento aborda os problemas que advêm da necessidade de integração de aplicações, desenvolvidas em diferentes instantes no tempo, por diferentes equipas de trabalho, que para enriquecer os processos de negócio necessitam de comunicar entre si. A integração das aplicações tem de ser feita de forma opaca para estas, sendo disponibilizada por uma peça de software genérica, robusta e sem custos para as equipas desenvolvimento, na altura da integração. Esta integração tem de permitir que as aplicações comuniquem utilizando os protocolos que desejarem. Este trabalho propõe um middleware orientado a mensagens como solução para o problema identificado. A solução apresentada por este trabalho disponibiliza a comunicação entre aplicações que utilizam diferentes protocolos, permite ainda o desacoplamento temporal, espacial e de sincronismo na comunicação das aplicações. A implementação da solução tem base num sistema publish/subscribe orientado ao conteúdo e tem de lidar com as maiores exigências computacionais que este tipo de sistema acarta, sendo que a utilização deste se justifica com o enriquecimento da semântica de subscrição de eventos. Esta implementação utiliza uma arquitectura semi-distribuída, com o objectivo de aumentar a escalabilidade do sistema. A utilização da arquitectura semi-distribuída implica que a implementação da solução tem de lidar com o encaminhamento de eventos e divulgação das subscrições, pelos vários servidores de eventos. A implementação da solução disponibiliza garantias de persistência, processamento transaccional e tolerância a falhas, assim como transformação de eventos entre os diversos protocolos. A extensibilidade da solução é conseguida à custa de um sistema de pluggins que permite a adição de suporte a novos protocolos de comunicação. Os protocolos suportados pela implementação final do trabalho são RestMS e TCP.

Relatório de projeto Milk Run Software

Em suma este trabalho de projeto visa a criação de uma ferramenta que permita a gestão dos transportes para a recolha de matéria-prima necessária ao bom funcionamento da fábrica de produção automóvel Volkswagen Autoeuropa num ambiente dinâmico, sendo esta desenvolvida para responder às necessidades da empresa. Assim foi desenvolvido o protótipo Milk Run Software que consiste basicamente na integração de informação fornecida pela empresa relativa a consumos de materiais provenientes de ordens de produção, fornecedores e transportes. Com base nestes dados e recurso a sistemas externos é efetuada a georreferenciação de fornecedores para que exista a noção de proximidade entre estes, além disso foi construído um sistema de decisão, para que com base nos consumos (peças, pesos e volumes), se consigam determinar e gerir as rotas de transportes da empresa Volkswagen Autoeuropa com base no conceito Milk Run, que consiste na otimização do transporte de peças para montagem de veículos, no qual tem em conta a localização geográfica, o volume ou peso a transportar, as limitações físicas dos veículos de transporte, bem como o número de paragens máximas (cargas a efetuar no percurso). Neste projeto são utilizadas diversas técnicas de análise protagonizadas para a construção de ferramentas com o recurso à Engenharia de Software, e a algumas técnicas na área de pesquisa em espaços de estado para auxiliar o conceito Milk Run para resolução dos problemas encontrados.

Estudo da percepção dos problemas de usabilidade de um software relacionados com o desempenho dos processos cognitivos

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.

Sistemas multimédia aplicados ao ensino da tradução – estudo de um caso

O uso recrudescente das novas tecnologias de informação conduziu ao aparecimento de novos ambientes de ensino, em que o computador, a internet, as intranets e o software específico ocuparam, em grande parte, o papel do manual e da sebenta, exigindo ao professor novas competências e estratégias. No Instituto Superior de Contabilidade e Administração do Porto, os Centros Multimédia de Línguas (CML) disponibilizam um conjunto de meios que abrangem áreas como o ensino da Legendagem, da Tradução Assistida por Computador, do ensino e aprendizagem de Línguas para Fins Específicos (também em regime de auto-aprendizagem) e, ainda numa fase piloto, do ensino à distância e apoio online. Para além de uma apresentação da experiência dos CML e de alguns dos resultados obtidos no que respeita ao ensino de Línguas Estrangeiras, da Interpretação e da Tradução, pretende-se reflectir sobre as novas necessidades do processo de ensino/aprendizagem, quer em termos da produção e disponibilização de conteúdos, quer em termos da avaliação. Finalmente, procurar-se-á aferir da adequação destas novas possibilidades ao sempre exigente e dinâmico mercado de trabalho.

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

Mestrado em Engenharia Electrotécnica e de Computadores

Aplicação web para tratamento estatístico de dados de teste

Mestrado em Engenharia Electrotécnica e de Computadores

Estudo da eficiência de sistemas fotovoltaicos

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

Estudo comparativo de sistemas em aquecimento

Trabalho Final de Mestrado para obtenção do grau de Mestre em Engenharia Mecânica

Desenvolvimento e estudo de modelos de FACTS para o trânsito de energia: aplicação ao estudo das condições técnicas de ligação de linhas MAT

Dissertação para obtenção do grau de Mestre em Engenharia Electrotécnica Ramo de Energia

Simulação, em software adequado, da sintomatologia vibracional de avarias mecânicas de máquinas rotativas

Trabalho Final de Mestrado para obtenção do grau de Mestre em Engenharia Mecânica na Área de Manutenção e Produção

Projecto, montagem e teste de uma unidade modular de detecção de radiação Geiger-Muller

Dissertação para obtenção do grau de Mestre em Engenharia Electrotécnica Ramo de Automação e Electrónica Industrial

Controlo clássico vs. preditivo na regulação de frequência em sistemas de potência

Dissertação para obtenção do grau de Mestre em Engenharia Electrotécnica Ramo Automação e Electrónica Industrial