Design and implementation of a behaviorally typed programming system for web services

Dissertação apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para a obtenção do Grau de Mestre em Engenharia Informática.

Towards improving WEBSOM with multi-word expressions

Dissertação para obtenção do Grau de Mestre em Engenharia Informática

Regular = planeado versus irregular = espontâneo: nascimento e morte de uma relação dicotómica nos estudos históricos da forma urbana

Neste artigo analisa-se uma importante relação teórica nos estudos históricos sobre a forma urbana. Trata-se da relação que associa as formas urbanas regulares ao planeamento urbanístico e, pelo contrário, as formas urbanas irregulares à falta de planeamento urbanístico. Partindo da formulação inicial estabelecida nos textos inaugurais de história do urbanismo, procura-se verificar o impacto desta relação dicotómica na construção do conhecimento, para depois alcançar a transformação operada nas últimas décadas, que levou à sua refutação, utilizando para o efeito o contributo metodológico, teórico e conceptual de alguns estudos produzidos desde a segunda metade do século XX.

Calibração de filtros de fator de transmissão regular em espectrofotometria

A garantia de exatidão e de precisão, assim como da reprodutibilidade, da repetibilidade e da produtividade dos processos de medição, tornaram-se metas da metrologia, visando desta forma uma garantia da qualidade de produtos e serviços. A presente dissertação foi desenvolvida no âmbito de estágio curricular realizado no Departamento de Metrologia (DMET) do Instituto Português da Qualidade (IPQ). O objetivo inicial do estágio visava a participação na calibração de espectrofotómetros. Entretanto, no decorrer do estágio, também foi possível elaborar uma proposta de melhoria aos procedimentos técnicos de calibração existentes na altura, para medições de fatores de transmissão regular, com dois instrumentos de medição de elevada qualidade. Esta proposta de melhoria integra-se na busca de melhoria contínua dos processos no Laboratório de Espectrofotometria (LE), pertencente ao Laboratório Central de Metrologia (LCM) do IPQ. Visando a rastreabilidade metrológica dos resultados obtidos, foi feita a adaptação dos procedimentos existentes. Para a calibração de ambos os espectrofotómetros, utilizaram-se filtros padrão de vidro de tamanho standard (33 mm x 10 mm) e de tamanho superior ao standard (50 mm x 50 mm) certificados pelo Laboratório Primário de Espectrofotometria do Instituto Nacional de Metrologia do Reino Unido, o National Physical Laboratory (NPL). Com o objetivo de otimização de tempo, procedeu-se também à comparação entre resultados obtidos de fator de transmissão para os materiais de referência de tamanho superior, quando corrigidos de acordo com a reta de calibração obtida com filtros padrão de tamanho idêntico, e quando corrigidos de acordo com a reta de calibração obtida com filtros padrão de tamanho standard. No decurso do estágio, surgiu ainda a oportunidade de aplicar a experiência obtida ao caso prático de um filtro de opacímetro fornecido pelo LabMetro do ISQ. Assim, na presente dissertação, apresentam-se também os resultados de medição de fator de transmissão, para esse filtro, obtidos com ambos os espectrofotómetros.