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.

Leanness na manutenção aeronáutica: o caso FAP

Os sistemas de armas da Força Aérea Portuguesa (FAP) têm por missão a defesa militar de Portugal, através de operações aéreas e da defesa do espaço aéreo nacional, sendo o F-16 o principal avião de ataque em uso nesta organização. Neste sentido, e tendo em conta o actual contexto económico mundial, as organizações devem rentabilizar todos os recursos disponíveis, custos associados e optimizar processos de trabalho. Tendo por base os pressupostos anteriores, o presente estudo pretende analisar a implementação de lean na FAP, uma vez que esta filosofia assenta na eliminação de desperdícios com vista a uma melhoria da qualidade e diminuição de tempos e custos. Posto isto, a análise deste trabalho vai recair sobre a área de manutenção do F-16, em concreto na Inspeção de Fase (IF), um tipo de manutenção que esta aeronave realiza a cada trezentas horas de voo. O estudo de caso vai incidir em dois momentos da IF: o primeiro ponto relaciona-se com o processamento da recolha de dados para a reunião preliminar onde são definidas, para as áreas de trabalho executantes, as ações de manutenção a realizar com a paragem da aeronave. Deste modo, pretende-se averiguar as causas inerentes aos atrasos verificados para a realização desta reunião. O segundo ponto em observação compreende a informação obtida através da aplicação informática SIAGFA, em uso na FAP, para o processamento de dados de manutenção das quatro aeronaves que inauguraram a IF com a filosofia lean. Esta análise permitiu perceber o número de horas de trabalho dispendidas (em média pelas quatro aeronaves) por cada uma das cartas de trabalho, verificando-se que as cartas adicionais comportam mais horas; foi possível compreender quais as áreas de trabalho consideradas críticas; foram identificados os dias de trabalho realizado e tempos de paragem sem qualquer tipo de intervenção. Foi ainda avaliado, por aeronave, o número de horas de trabalho realizadas na IF e quais os constrangimentos que se verificaram nas aeronaves, que não realizaram a IF no tempo definido para tal.

Acompanhamento da construção da unidade de cuidados continuados de Juso, em Cascais

O presente Trabalho Final de Mestrado tem por objectivo descrever as actividades desenvolvidas durante a realização de um estágio curricular, no âmbito do Mestrado em Engenharia Civil, no Instituto Superior de Engenharia de Lisboa. A escolha de um estágio curricular relaciona-se com o interesse em aplicar o conhecimento académico adquirido no exercício da profissão na área da construção e reabilitação de edifícios, obtendo assim uma formação mais ampla e completa nesta área, essencial a uma melhor integração no mercado de trabalho. O estágio foi realizado na empresa Casais – Engenharia e Construção, S.A., durante um período de cinco meses, no qual foi possível acompanhar parte da construção da Unidade de Cuidados Continuados de Juso, em Cascais. Esta obra incluiu a reabilitação e ampliação de um edifício já existente. No relatório são descritas as actividades desenvolvidas, dando-se relevo aos processos construtivos utilizados, e chamando a atenção para os problemas encontrados e à forma como estes foram resolvidos, tendo em conta os recursos disponíveis, a legislação aplicável e as boas práticas construtivas.

Direct multisearch for multiobjective optimization

In practical applications of optimization it is common to have several conflicting objective functions to optimize. Frequently, these functions are subject to noise or can be of black-box type, preventing the use of derivative-based techniques. We propose a novel multiobjective derivative-free methodology, calling it direct multisearch (DMS), which does not aggregate any of the objective functions. Our framework is inspired by the search/poll paradigm of direct-search methods of directional type and uses the concept of Pareto dominance to maintain a list of nondominated points (from which the new iterates or poll centers are chosen). The aim of our method is to generate as many points in the Pareto front as possible from the polling procedure itself, while keeping the whole framework general enough to accommodate other disseminating strategies, in particular, when using the (here also) optional search step. DMS generalizes to multiobjective optimization (MOO) all direct-search methods of directional type. We prove under the common assumptions used in direct search for single objective optimization that at least one limit point of the sequence of iterates generated by DMS lies in (a stationary form of) the Pareto front. However, extensive computational experience has shown that our methodology has an impressive capability of generating the whole Pareto front, even without using a search step. Two by-products of this paper are (i) the development of a collection of test problems for MOO and (ii) the extension of performance and data profiles to MOO, allowing a comparison of several solvers on a large set of test problems, in terms of their efficiency and robustness to determine Pareto fronts.

Imposto pessoal sobre o rendimento: compatibilidade com um modelo dual de tributação

De entre os impostos que integram o nosso sistema fiscal, o imposto sobre o rendimento das pessoas singulares, ocupa um lugar de destaque na arrecadação de receitas. A sua im-portância coloca este imposto sobre pressão, pondo em confronto a tributação dos rendi-mentos de capitais e a tributação dos rendimentos do trabalho. O modelo de base compreensiva em que assenta o imposto pessoal está semi dualizado, dado tributar de forma diferente os rendimentos com origem em investimentos financeiros, subtraindo-os ao englobamento com os restantes rendimentos. Com a presente dissertação, pretende-se averiguar se o imposto pessoal, face ao recorte constitucional, pode adoptar um modelo de base semi-dual. Esta configuração permitiria simplificar o imposto, assumir duas bases e coloca-lo em linha com os modelos de tributação pessoal adoptados em alguns países europeus. O estudo realizado permitiu concluir que é possível a adopção de um modelo de base semi-dual, desde que se mantenha, por opção do contribuinte, o regime do englobamento com os restantes rendimentos. A dúvida que manifestamos relaciona-se com a oportuni-dade da concretização da reforma. O momento delicado de finanças públicas que o nosso país atravessa, traz tarefas acrescidas aos políticos, fruto dos compromissos internacionais assumidos, o que pode obstar ao agendamento da reforma do imposto pessoal que muitos reclamam. Daí que o caminho a seguir seria o do aperfeiçoamento do actual modelo.

Momentos de pesquisas sobre relações raciais e relações de classe entre crianças no Brasil

Este artigo trata de dois estudos de caso da identidade social e étnico-racial de crianças e, especificamente, do seu processo de socialização racial. O primeiro caso se refere às crianças em estado de pauperização, internadas em instituições assistenciais nas cidades de São Paulo e de Marília, estado de São Paulo. De acordo com as informações, concluímos que a criança institucionalizada é submetida a um processo de “participação-exclusão”, agravado pela ausência da família e pelo preconceito social, por ser pobre e institucionalizada, e étnicoracial, por ser negra. A criança, de modo semelhante à criança da periferia de São Paulo, internaliza esse sentimento de baixa-estima, chamando umas às outras por termos raciais pejorativos. A segunda pesquisa trata de meninas e de adolescentes que trabalham como empregadas domésticas, na cidade de Marília. As informações mostram que elas são estigmatizadas por trabalharem como domésticas. A maior parte das meninas e jovens são negras e sofrem na escola, sendo chamadas de termos raciais derrogatórios. Elas se vêm a si próprias através de várias denominações de cor da pele, algumas desejando serem consideradas brancas, e somente algumas se identificando como negras.

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

Embedded platform for ECG biometric recognition

Trabalho Final de Mestrado para obtenção do grau de Mestre em Engenharia de Electrónica e Telecomunicações

A capacidade de subitizing em crianças de 4 anos

Dissertação apresentada à escola Superior de Educação de Lisboa para obtenção de grau de mestre em Educação Matemática na Educação Pré-Escolar e nos 1º e 2º Ciclos do Ensino Básico

O envolvimento parental: partilhar vivências e experiências

Relatório da Prática Profissional Supervisionada Mestrado em Educação Pré-Escolar

A Obra “Faça-você-mesmo” : Estética da Participação nas Artes Digitais

Doutoramento em Ciências da Comunicação - Especialidade de Comunicação e Artes

Implementação da filosofia pull na produção na empresa Schnellecke

Trabalho Final de mestrado para obtenção do grau de Mestre em Engenharia Mecânica perfil Manutenção e Produção