Sistemas distribuídos: serviços Grid Computing

A necessidade de poder computacional é crescente nas diversas áreas de actuação humana, tanto na indústria, como em ambientes académicos. Grid Computing permite a ligação de recursos computacionais dispersos de maneira a permitir a sua utilização mais eficaz, fornecendo aos utilizadores um acesso simplificado ao poder computacional de diversos sistemas. Os primeiros projectos de Grid Computing implicavam a ligação de máquinas paralelas ou aglomerados de alto desempenho e alto custo, disponíveis apenas em algumas instituições. Contrastando com o elevado custo dos super-computadores, os computadores pessoais e a Internet sofreram uma evolução significativa nos últimos anos. O uso de computadores dispersos em uma WAN pode representar um ambiente muito interessante para processamento de alto desempenho. Os sistemas em Grid fornecem a possibilidade de se utilizar um conjunto de computadores pessoais de modo a fornecer uma computação que utiliza recursos que de outra maneira estariam omissos. Este trabalho consiste no estudo de Grid Computing a nível de conceito e de arquitectura e numa análise ao seu estado actual hoje em dia. Como complemento foi desenvolvido um componente que permite o desenvolvimento de serviços para Grids (Grid Services) mais eficaz do que o modelo de suporte a serviços actualmente utilizado. Este componente é disponibilizado sob a forma um plug-in para a plataforma Eclipse IDE.

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.

Deco-identidades: a composição da aparência como expressão da identidade pessoal

Este artigo reflecte sobre o papel cada vez mais preponderante que a aparência visual possui como reflexo da identidade do indivíduo. Sobretudo entre os jovens, a necessidade de auto expressão passa cada vez mais pela composição da aparência do corpo. A necessidade de Ser do indivíduo moderno entrelaça-se com a necessidade de possuir bens de consumo que significam algo acerca da sua própria essência Procurar diferenciar-se pode muitas vezes significar a busca de um estilo visual próprio. Estes estilos são particularmente significantes, construídos com criteriosa atenção para compor o quadro que a tela do corpo socialmente mostra. O corpo eleito como suporte privilegiado das mensagens que se pretendem construir é palco de múltiplas propostas de identidade. Estas são as novas deco-identidades, onde os bens de consumo, as múltiplas formas de “design corporal” e os acessórios de toda a espécie funcionam como adereços e o corpo é tido como espaço transformável e estilizado.

O Corpo como Tela

O Corpo enquanto matéria, transformado em tela sobre a qual se inscrevem mensagens gritantes, é muito mais que um cenário que se constrói para enquadrar mensagens ou facilitar a comunicação com o receptor. O Corpo passa a ser a própria mensagem. É a imagem física de uma identidade que se busca hoje com sofreguidão para que possamos perceber quem somos. As remodelações desse espelho de identidades são constantes, são projectos sempre inacabados, sempre imperfeitos, com as possibilidades sempre em aberto e onde a essência do Ser não é tida como estática e absoluta. Cada vez mais, de forma mais flagrante, essa necessidade de Ser do indivíduo moderno se entrelaça com a necessidade de possuir bens de consumo que significam algo acerca da sua essência. Estes, são bens particularmente significantes, escolhidos com criteriosa atenção para compor o quadro que a tela do corpo socialmente mostra. Culturalmente, cada vez se esbatem mais as fronteiras entre Ser e Ter. O Corpo eleito como suporte privilegiado das mensagens que se pretendem construir é palco tanto das propostas artísticas, como das imagens que invadem os media e que apresentam elas próprias propostas de identidade. São deco-identidades onde os bens de consumo funcionam como adereços e o corpo é tido como espaço transformável e estilizado.

Reflexão conhecimento e práctica lectivas em matemática num contexto de reforma curricular no 1' ciclo

O aspecto central deste artigo é o estudo do conhecimento profissional de três professoras do 1º Ciclo do ensino básico em particular o seu conhecimento da Matemática e sobre a Matemática a sua relação com as práticas lectivas e a sua evolução ao longo de um trabalho colaborativo desenvolvido entre a investigadora e as três professoras, com forte suporte na reflexão O trabalho tem por base uma investigação prolongada no tempo e é desenvolvida no âmbito das abordagens propostas por um novo currículo para o 1" ciclo do ensino básico A metodologia é qualitativa e interpretativa. A recolha de dados teve por base observação de aulas, entrevistas, notas de campo sobre sessões de trabalho conjunto e recolha de documentação escrita. A análise de dados foi sendo feita à medida que outros dados iam sendo recolhidos e o procedimento de análise oi semelhante ao método e comparação constante. Esta análise permite verificar que as professoras através da reflexão individual e de grupo e do trabalho desenvolvido em sessões de trabalho conjuntas com a investigadora aumentaram o seu conhecimento da Matemática nomeadamente a sua compreensão£ matemática melhoraram a sua relação com a disciplina e a forma como eram capazes de conduzir actividades matemáticas com os alunos na sala de aula.

Development of membranes for purification of liquid effluents from stainless steel pickling

Este trabalho foi desenvolvido no âmbito de um projecto europeu intitulado: “Operational demonstration of innovative and sustainable nitrate elimination in stainless steel pickling by higher power biological denitrification technique” Projecto RESP-CT-2007-00047, tendo em vista o desenvolvimento de membranas para o tratamento de efluente resultante da decapagem do aço inox. Numa fase inicial foram desenvolvidas membranas compostas assimétricas pelo método de polimerização interfacial. Estas membranas foram produzidas utilizando uma membrana comercial de suporte em polietersulfona e os filmes selectivos de poliamiada foram formados por reacção entre 1,3,5-tri(clorocarboni)benzeno (TMC) e várias dinaminas: piperazina (PIP), N-(2-aminoetil)-piperazina (EAP), 1,4-bis(3-aminopropil)-piperazina (DAPP), 6-metil-1,3,5 triazina-2,4 diamina (MTC), Isoforodiamina (IPD) e Dietilenetriamina (DET). A elaboração de membranas de TFC (thin film composite) tinha como objectivo a retenção de sais do efluente resultante da decapagem do aço inox. No entanto, chegou-se a conclusão de que o principal problema do efluente não era a retenção dos sais, mas sim a retenção da matéria orgânica. Assim, já não era necessa´ria a produção de membranas compostas, mas apenas uma membrana suporte simples de microfiltração. Numa segunda fase procedeu-se a preparação da membrana suporte pelo método da inversão de fase, tendo-se testado vários tipos de polímeros: PVC (polyvinyl chloride), PEI (Polyetherimide) e um polímero termoplástico geral. A membrana seleccionada foi a de PEI, com base na sua permeabilidade à água destilada e ao efluente resultante das águas residuais da decapagem do aço inox. Todas as membranas elaboradas durante a realização deste trabalho foram testadas na célula de Berghof a uma pressão de 4bar e com agitação. O principal prâmetro estudado foi a permeabilidade da membrana.

Contribuição para o estudo da incorporação de materiais poliméricos em membranas betuminosas

A realização deste trabalho inseriu-se na contribuição para o estudo da incorporação de novos materiais poliméricos em membranas betuminosas, mais concretamente na modificação de misturas betuminosas. Para o efeito, foram sintetizados novos poliésteres polióis semelhantes estruturalmente, mas com diferentes pesos moleculares, baseados na utilização de ácidos diméricos de fonte renovável (tall-oil), que serviram de suporte para a produção de prepolímeros de isocianato para a modificação de betumes. A caracterização dos póliesteres polióis e dos polímeros produzidos foi realizada através de espectroscopia de infravermelhos. Ensaios de engenharia e qualidade, especificados para misturas betuminosas, foram realizados a diversos betumes convencionais e modificados, nos laboratórios industriais das empresas Imperalum e Probigalp como parte integrante no conhecimento dos procedimentos para este tipo de ensaios, nomeadamente o ensaio de penetração, ponto de amolecimento, viscosidade cinemática e dinâmica, apoiando igualmente um estudo de reprodutibilidade inter-laboratorial. Betumes 160/220 previamente modificados com teores de 1% e 3% de prepolímeros reactivos e, modificados com APP e SBS, foram caracterizados reologicamente a várias temperaturas na zona de viscoelasticidade linear. Os ensaios foram realizados em regime dinâmico através do varrimento em frequência a várias temperaturas. Pela análise dos resultados obtidos, concluiu-se que as modificações consideradas aumentam o carácter elástico dos betumes, confirmado pelo aumento do módulo elástico (G’(ω)). Os betumes modificados com teores de 1% de prepolímeros foram caracterizados microestruturalmente através de microscopia de força atómica. As imagens topográficas obtidas confirmam a existência de três fases distintas, designadamente a fase catana, perifase e parafase. A avaliação das proporções de cada fase revelou dependências entre a estrutura dos modificadores e a alteração efectiva da microestrutura dos betumes.

Sistemas de automação e manutenção de edifícios: eficiência energética dos sistemas de elevação vertical para transporte de pessoas

O presente trabalho incide sobre a análise da eficiência energética dos elevadores. Para se poder entender esta questão, são apresentadas diversas informações que permitem conhecer os factores associados aos consumos de energia activa, procurando-se perceber qual o rendimento destes equipamentos. Inicialmente são analisados os diversos componentes, que fazem parte de um elevador e os locais em que esses componentes são instalados. Abordam-se as diferentes soluções de accionamento, os diversos tipos de utilização e as diferentes tecnologias que podem ser aplicadas. O estudo dos consumos de energia eléctrica dos elevadores, foi efectuado com base na metodologia desenvolvida pelo grupo E4, do programa Utilização Eficiente da Energia, da Comunidade Europeia, cujo suporte foi o DRAFT ISSO/DIS 25745 - 1 Energy Performance of Lifts and Escalators - Part 1: Energy Measurement and Conformance. Os consumos de energia eléctrica serão caracterizados com os elevadores a serem monitorizados individualmente e sem carga na cabina. A apresentação de resultados obtidos terá em linha de conta: a energia eléctrica consumida com o equipamento em modo de funcionamento, ou seja, com este a realizar ciclos completos, e a potência eléctrica consumida com a instalação em modo de standby, ou seja em não operação. No presente trabalho, são divulgados estudos do grupo E4, em que foram monitorizados elevadores em quatro países da Europa: Portugal, Alemanha, Itália e Polónia. Estes estudos permitem estimar os consumos anuais de energia eléctrica, a nível de funcionamento e a nível de standby e estimar o consumo total, seguindo como base a metodologia anteriormente referida. Para se caracterizar o parque Europeu de elevadores, o grupo E4 recorreu à ELA, Associação Europeia de Elevadores, tendo assim sido possível estimar o consumo anual numa Europa a 27, acrescido do parque da Suíça e da Noruega. Pretende-se com isso poder estimar o potencial de redução no consumo energético no parque analisado, com a aplicação das Melhores Tecnologias Disponíveis (MTD) e com a aplicação de tecnologias que ainda estão em fase de desenvolvimento. (MTND). Paralelamente o autor irá apresentar as monitorizações que efectuou a três elevadores, para os quais procurou validar as leituras efectuadas, comparando os consumos obtidos, com os consumos registados pelas monitorizações do grupo E4 e respectivas estimativas de consumos anuais de energia. As monitorizações do autor, serão utilizadas na catalogação desses três equipamentos a nível de classes de eficiência energética, tendo por base a VDI 4707/Part 1 - Lifts - Energy Efficiency - VDI manual Building Services - Volume 5: Transportation Systems. Procura-se, também, criar um método de apoio na tomada de decisão nas diversas fases de um ciclo do elevador, nomeadamente: desde a especificação, a selecção do sistema de accionamento, a selecção dos sistemas auxiliares, a instalação e a operação do elevador, com vista à melhoria da eficiência energética, e á instalação futura ou à modernização dos equipamentos existentes. Abordam-se as barreiras existentes que inibem a mudança no sector de elevação, para a implementação das MTD no parque de elevadores existente ou no desenvolvimento de novas tecnologias que possibilitem a melhoria da eficiência energética, MTND. Por ultimo, aborda-se de forma simples a temática da supervisão técnica nos elevadores, através da monitorização e supervisão dos diversos componentes, com vista à optimização da gestão da manutenção e procurando interligar esta gestão à melhoria da eficiência energética. Consegue-se concluir que apenas com a aplicação das MTD, podem ser obtidos ganhos de eficiência energética, e também que este tema não tem tido a importância que merece, pois, na análise da eficiência energética de um edifício, a eficiência dos elevadores não é tida em consideração. A ausência de legislação específica, que torne a análise da eficiência energética dos elevadores obrigatória, será um dos problemas referidos. Reforça-se que, a potencialidade de poupança energética na Europa não deve ser desprezada.

Desenvolvimento de materiais poliméricos com vista à sua incorporação em membranas betuminosas

O principal objectivo deste trabalho foi o estudo da incorporação de novos materiais poliméricos em membranas betuminosas. Assim, foram sintetizados novos poliésteres polióis, com pesos moleculares semelhantes, analisados através das titulações dos grupos hidroxilo e ácido carboxílico terminais, e estruturas diferentes. Os polímeros foram sintetizados com base em ácidos diméricos, Unidyme 18 e glicóis, monopropilenoglicol e neopentilglicol no caso do polímero linear, já para o polímero tri-funcional utilizou-se trimetilolpropano e monopropilenolglicol. Estas matérias-primas servem de suporte à produção dos prepolímeros e quasi-prepolímeros reactivos de isocianato terminal para a modificação dos betumes, sendo as suas caracterizações realizadas através de espectroscopia de infravermelhos e ensaios de viscosidade. Foram preparadas as misturas com o betume de grade 160/220, provenientes da refinaria de Sines e do Porto com adição de teores de 5%, 10& e 15% de um prepolímero PRP1 e de um quasi-prepolímero. Ensaios de engenharia e qualidade, foram realizados a diversos betumes convencionais e modificados, nos laboratórios industriais das empresas Lusasfal e Probigalp como parte integrante no conhecimento dos procedimentos normativos para este tipo de ensaios, nomeadamente o ensaio de penetração, ponto de amolecimento, viscosidade dinâmica, apoiando igualmente um estudo de reprodutibilidade inter-laboratorial. Os betumes 160/220 previamente modificados com aPP e SBS, foram caracterizados reologicamente à temperatura ambiente na zona da viscoelasticidade linear.

Metodologia para redução de perdas e aumento de fiabilidade em redes de distribuição

Esta dissertação incide na aplicação de uma metodologia para a localização e dimensionamento de dispositivos, que permitem reconfigurações de redes de distribuição (órgãos de corte de rede), tendo por objectivo a minimização de perdas e aumento da fiabilidade incorporando não só aspectos técnicos como também económicos. Para efectuar a avaliação técnica foram utilizados métodos de redução de perdas e de aumento da fiabilidade. Para elaborar a avaliação económica, foram utilizados os rácios B/C, VAL e a TIR para cada reconfiguração de rede identificada. Na redução de perdas, foi aplicado um algoritmo que para diferentes níveis de carga identificada a melhor configuração da rede que minimiza as perdas. Para cada configuração da rede identificada anteriormente foi avaliada a correspondente fiabilidade, tendo por base os indicadores da qualidade de serviço aprovados e definidos por entidades reguladoras. As configurações escolhidas foram avaliadas com base nos ganhos obtidos na redução de perdas e no aumento de fiabilidade. Estes métodos foram aplicados a uma rede de distribuição real, e a escolha incidiu na rede eléctrica de São Vicente em Cabo Verde. No final foi elaborada uma avaliação económica que serviu de suporte à decisão técnica. A aplicação dos métodos permitiu evidenciar que com a colocação de órgãos de telecomando da rede em 6 locais, obtém-se uma redução de perdas de cerca 5,3% e energia não distribuída de 41,1% em cada ano. Analisando o investimento para o período de vida útil dos órgãos de corte de rede (15 anos), apresenta um rácio B / C = 3,50, VAL = 511k€ e uma TIR = 69,4%.

Construção de uma base de dados espectral (IV) de toners de impressoras laser para identificação forense de documentos

Esta dissertação surgiu com o objectivo de se criar uma base de dados de Toners para impressoras e fotocopiadoras e um método fiável de comparação de espectros para estudos forenses e de investigação criminal. Para viabilizar o estudo, efectuou-se à priori a recolha de várias amostras de Toners, de diferentes marcas, de cartuchos originais e remanufacturados aplicando de seguida dois métodos de análise distintos: a Espectroscopia de infravermelho com transformada de Fourier (FT-IR) e a Espectroscopia de Absorção-Reflexão (ATR - Reflectância total atenuada). A espectroscopia FT-IR permitiu obter a base de dados de espectros em suporte KBr e usando o software OPUS, das várias amostras de Toners dos cartuchos originais e remanufacturados recolhidas. Para se criar o método de comparação entre espectros, realizou-se o mesmo procedimento mas agora para amostras obtidas por raspagem de um papel impresso /quadrados 2x2), bem como para o papel de impressão para se poder descontar este da amostra. Dado que o interesse desta análise se remetia ao estudo de textos escritos, efectuou-se a análise de um texto padrão por Espectroscopia FT-IR. O método foi utilizado à posteriori como método de comparação e uma alternativa (não destrutiva) ao método de FT-IR para se aplicar a casos reais. Os espectros foram obtidos num microscópio usando o silício como acessório ATR e o software OMNIC. Finalizado o estudo pode-se concluir, quanto à espectroscopia FT-IR, que as amostras da marca HP e Minolta apresentaram espectros muito semelhantes, quando se faz uma análise global dos mesmos. No entanto, as restantes marcas são também muito parecidas entre si, mas ainda é possível encontrar algumas distinções quando se efectua a comparação visual principalmente abaixo da zona de impressão digital (<6000 cm-1). Relativamente aos Toners remanufacturados, constata-se que são muito semelhantes e que diferem da marca original apenas pelo elevado grau de humidade que possuem. No que diz respeito ao método ATR, verificou-se que apesar de ser um método não destrutivo da amostra revela-se bastante limitado, devido ao uso do cristal de Silício como acessório que só atinge comprimentos de onda entre 4000-1500cm-1.

Wells turbine: fiberglass flanges

A introdução desta tese começa por realizar um enquadramento do projecto em mão, apresentando a central de energia das ondas em que se encontram os componentes em fibra de vidro a projectar. Esta central usa o princípio de variação de coluna de água, e encontra-se localizada na ilha do Pico, Açores. São de seguida apresentados os objectivos deste trabalho, que consistem na selecção de materiais de fabrico dos componentes, desenvolvimento de uma metodologia para projectar juntas aparafusadas em materiais compósitos, dimensionamento e comparação de duas juntas concorrentes em materiais compósitos: junta solicitada à tracção e junta solicitada ao corte, validação da análise e estudo das causas dos vários tipos de falha destas juntas. A parte I deste trabalho é o resultado da pesquisa bibliográfica efectuada para levar a cabo os objectivos definidos. Assim, começa por se fazer uma descrição dos materiais e processos de fabrico que mais se adequam ao presente projecto, nomeadamente fibra de vidro, resinas, tecidos, impregnação manual, RTM e infusão por vácuo. Daqui resultou que os materiais mais adequados para esta aplicação são fibra de vidro do tipo E e resina polyester devido ao seu baixo custo e larga utilização em aplicações estruturais marinhas. O processo de fabrico mais eficiente é a infusão por vácuo devido á sua vocação para pequenas séries de produção, a poupança que permite em termos de mão-de-obra, a complacência com normas de emissão de voláteis e as boas propriedades das partes produzidas. No capítulo II da parte I são discutidos os tópicos relacionados com juntas em materiais compósitos. Da pesquisa levada a cabo conclui-se que as grandes vantagens das juntas aparafusadas são a sua facilidade de montagem e desmontagem, facilidade de inspecção e capacidade de ligar quaisquer tipos de materiais. Quanto à furação de compósitos é importante referir a necessidade de utilizar ferramentas resistentes e parâmetros de maquinação que minimizem o dano infligido aos laminados. Isto é possível através da selecção de ferramentas com passos baixos que reduzam igualmente a dimensão do seu centro estático responsável pela força axial exercida sobre o laminado - principal factor causador de dano. Devem-se igualmente utilizar baixas velocidades de avanço e elevadas velocidades de rotação. É importante salientar a importância da realização de pré-furação, de utilização de um prato de suporte na superfície de saída do laminado e a existência de ferramentas especialmente concebidas para a furação de compósitos. Para detectar e quantificar o dano existente num furo destacam-se os métodos de inspecção ultrasónica e a radiografia. Quanto aos parâmetros que influenciaram o comportamento de juntas aparafusadas destacam-se os rácios largura/diâmetro, distância ao bordo/diâmetro, espessura/diâmetro, pré-tensão, fricção, sequência de empilhamento e respectivas proporções, dimensão das anilhas e folga entre o parafuso e o furo. A pesquisa efectuada visando metodologias de projecto fiáveis ditou a necessidade de utilizar métodos que permitiram determinar o parafuso mais carregado de uma junta, efectuar o cálculo de tensões no mesmo, e ainda métodos que permitam determinar a primeira falha que ocorre no laminado bem como a falha final no mesmo. O capítulo III da primeira parte descreve os métodos de análise de tensões necessários para as metodologias de projecto utilizadas. Aqui é apresentada a teoria clássica da laminação, um método para determinação do parafuso mais carregado, um método analítico baseado na teoria da elasticidade anisotrópica de um corpo e o método dos elementos finitos. O método para determinar o parafuso mais carregado - análise global - consiste num modelo bidimensional de elementos finitos em que 2 laminados coincidentes são modelados com elementos lineares de casca com 4 nós, sendo a extremidade de um laminado restringida em todos os graus de liberdade e a extremidade oposta do segundo laminado carregada com a carga pretendida. Os laminados são ligados através de elementos mola que simulam os parafusos, sendo a sua constante de rigidez previamente calculada para este fim. O método analítico modela o contacto assumindo uma distribuição de pressão cosinoidal ao longo de metade do furo, e é válido para laminados simétricos e quasi-isotrópicos. O método dos elementos finitos é o que mais factores permite ter em conta, sendo os modelos tridimensionais com um elemento por camada os que melhor modelam o estado de tensões experienciado por uma junta aparafusada em materiais compósitos. O tópico de análise de falha é abordado no capítulo 4 da primeira parte. Aqui são apresentados os resultados do world wide failure exercice que compara vários critérios de falha existentes até 2004, fazendo-se referência a desenvolvimentos recentes que têm ocorrido nesta área. O critério de Puck surge como aquele que permite previsões de falha mais exactas. O critério de falha de Hashin 3D foi o escolhido para o presente trabalho, devido à sua facilidade de implementação num modelo de elementos finitos, à sua capacidade para detectar modos de falha subcríticos e à sua utilização em trabalhos anteriores que apresentaram previsões de falha muito próximas dos dados experimentais. Também neste capítulo se apresentaram os vários tipos de falha de uma junta aparafusada em materiais compósitos, apresentando as causas de cada uma. Por fim, na última secção, apresenta-se o método de dano progressivo que se desenvolveu para prever a primeira falha final do laminado. Este é muito interessante tendo permitido previsões de falha muito próximas dos resultados experimentais em trabalhos anteriores. Este método é iterativo e encontra-se dividido em 3 passos: Análise de tensões, análise de falha utilizando o critério de Hashin 3D e degradação de propriedades, de acordo com o tipo de falha detectada. Para além dos passos referidos, existe ainda um quarto responsável pelo fim da análise que consiste na aferição da existência ou não de falha final e respectivo tipo de falha (por pressão de contacto, por tensão ou por esforços de corte). No capítulo V da primeira parte é apresentado o resultado de uma pesquisa das normas de teste necessárias para obter as propriedades dos materiais requeridas para a aplicação dos métodos descritos neste trabalho. A parte II deste trabalho consiste na aplicação dos métodos apresentados na parte I ao caso concreto em estudo. Os softwares Microsoft Excel, Matlab e ANSYS foram utilizados para este fim. A junta começa por ser dimensionada estimando a espessura necessária do componente e o número e características dos parafusos. De seguida foi feita uma análise global à flange em estudo determinando a força suportada pelo parafuso mais carregado. Após esta análise desenvolveu-se um modelo tridimensional de elementos finitos da zona em que se encontra o parafuso mais carregado, utilizando elementos sólidos lineares e isoparamétricos de 8 nós e uma malha gerada pelo método directo. Aplicou-se a este modelo o algoritmo de dano progressivo descrito na primeira parte. Começou por se incluir explicitamente o parafuso, anilhas, pré-tensão e a modelação dos vários contactos com fricção posteriormente simplificado o modelo restringindo radialmente os nós da porção carregada do furo, excluindo os factores mencionados inicialmente. Procurou-se validar o modelo utilizando o método de cálculo de tensões descrito na primeira parte, desenvolvendo um programa em Matlab para o efeito. Tal não foi possível tendo-se incluído a tentativa realizada em anexo. Para efeitos de dimensionamento, desenvolveu-se um modelo de elementos finitos de duas dimensões da junta em causa, utilizando elementos de casca lineares de quatro nós isoparamétricos com uma espessura unitária. Através da análise de tensões efectuada com este modelo, e utilizando um método combinado programado em linguagem paramétrica, foi possível dimensionar as duas juntas concorrentes pretendidas. Este método combinado consistiu no cálculo de tensões em pontos localizados sobre uma curva característica e utilização de um critério de falha quadrático para cálculo da espessura necessária para a junta. O dimensionamento ditou que a junta solicitada à tensão necessita de pelo menos 127% das camadas e do custo de uma junta solicitada ao corte equivalente.

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.

Avaliação dos sistemas WiMAX e GSM-R para ambientes ferroviários

Com este trabalho pretende-se estudar o desempenho das tecnologias GSM-R e WiMAX em ambientes ferroviários. Este tipo de estudo tem uma importância elevada devido grande interesse na reestruturação dos sistemas de comunicações vocacionados para aplicações ferroviárias. Estes sistemas são cada vez mais complexos, apresentando níveis mais elevados de exigência, como a segurança, suporte de sinalização, tráfego ferroviário e interoperabilidade entre sistemas de diferentes países. Com tudo isto é necessário explorar e conhecer o comportamento de diversas tecnologias para este tipo de aplicações. Neste trabalho foi efectuado um primeiro estudo abrangendo a tecnologia WiMAX (Norma IEEE 802.16d) em ambientes interiores de edifícios, de forma a estudar o seu comportamento com e sem linha de vista e em proximidade e afastamento da estação base. Este estudo foi conclusivo quanto há não adequação desta tecnologia em ambientes ferroviários, visto ter sido observado que em situações de ausência de linha de vista a degradação da qualidade do sinal não conseguiria suportar os níveis de exigência necessários para a aplicação do mesmo em ambientes ferroviários. Analisou-se em segundo lugar a tecnologia GSM-R, onde se efectuou um estudo de campo em ambientes reais. Para o estudo desta tecnologia foram utilizados ambientes diversificados de forma a obter um estudo mais aprofundado do seu comportamento. Como objectivo têm-se a criação de melhores métodos de planeamento, mais vocacionados para as características específicas dos ambientes ferroviários e exigências das aplicações dos sistemas de comunicações ferroviários. Através deste estudo foi possível obter conclusões relativamente à variação da potência do sinal para as diversas condições e ambientes de propagação a que o sistema GSM-R foi sujeito, tendo sido possível também caracterizar o tipo de ambientes característicos das linhas ferroviárias. Foi possível também concluir que este tipo de sistemas consegue responder aos níveis de exigência e aplicações dos sistemas de comunicação ferroviários, trazendo uma mais-valia relativamente aos existentes actualmente a nível nacional.

Projecto timecloud: software de gestão de tempo laboral numa plataforma cloud

O presente projecto tem como objectivo a disponibilização de uma plataforma de serviços para gestão e contabilização de tempo remunerável, através da marcação de horas de trabalho, férias e faltas (com ou sem justificação). Pretende-se a disponibilização de relatórios com base nesta informação e a possibilidade de análise automática dos dados, como por exemplo excesso de faltas e férias sobrepostas de trabalhadores. A ênfase do projecto está na disponibilização de uma arquitectura que facilite a inclusão destas funcionalidades. O projecto está implementado sobre a plataforma Google App Engine (i.e. GAE), de forma a disponibilizar uma solução sob o paradigma de Software as a Service, com garantia de disponibilidade e replicação de dados. A plataforma foi escolhida a partir da análise das principais plataformas cloud existentes: Google App Engine, Windows Azure e Amazon Web Services. Foram analisadas as características de cada plataforma, nomeadamente os modelos de programação, os modelos de dados disponibilizados, os serviços existentes e respectivos custos. A escolha da plataforma foi realizada com base nas suas características à data de iniciação do presente projecto. A solução está estruturada em camadas, com as seguintes componentes: interface da plataforma, lógica de negócio e lógica de acesso a dados. A interface disponibilizada está concebida com observação dos princípios arquitecturais REST, suportando dados nos formatos JSON e XML. A esta arquitectura base foi acrescentada uma componente de autorização, suportada em Spring-Security, sendo a autenticação delegada para os serviços Google Acounts. De forma a permitir o desacoplamento entre as várias camadas foi utilizado o padrão Dependency Injection. A utilização deste padrão reduz a dependência das tecnologias utilizadas nas diversas camadas. Foi implementado um protótipo, para a demonstração do trabalho realizado, que permite interagir com as funcionalidades do serviço implementadas, via pedidos AJAX. Neste protótipo tirou-se partido de várias bibliotecas javascript e padrões que simplificaram a sua realização, tal como o model-view-viewmodel através de data binding. Para dar suporte ao desenvolvimento do projecto foi adoptada uma abordagem de desenvolvimento ágil, baseada em Scrum, de forma a implementar os requisitos do sistema, expressos em user stories. De forma a garantir a qualidade da implementação do serviço foram realizados testes unitários, sendo também feita previamente a análise da funcionalidade e posteriormente produzida a documentação recorrendo a diagramas UML.