Abordagem construtivista do erro na resolução de problemas de aritmética de estrutura aditiva

O Objectivo deste estudo é analisar o tipo de erro, estrutural ou funcional, observado em crianças dos 5 aos 8 anos, durante a resolução de três tipos de problemas aritméticos de estrutura aditiva . combinação, separação e comparação . em situações diferenciadas (manipulativa, figurativa, numérica). A amostra do estudo é constituída por 45 crianças (15 do último ano do pré-escolar, 15 do 1º ano de escolaridade e 15 do 2º ano) de uma escola pública de Lisboa, de meio sócio-económico médio. A metodologia seguida foi a de tipo clínico ( análise critica). Cada criança participou em quatro sessões experimentais (uma por semana), sendo a primeira para determinar o nível psicogenético e as seguintes para resolver os três problemas de aritmética. Os resultados mostram a relação entre o tipo de erro e a estrutura e a categoria do problema; entre os níveis psicogenético e escolar e o tipo de erro observado, independentemente da situação experimental (manipulativa, figurativa, numérica); entre os níveis psicogenético e escolares e o tipo de grafismo e as representações. Mostrou ainda a lógica do erro seguida por cada criança, a qual se mantém em qualquer das situações experimentais.

Definição e análise dos parâmetros de construção e operação de uma ferramenta de estampagem

O processo de estampagem metálica é dos processos mais utilizados na indústria. Como resultado, qualquer pequeno avanço tecnológico, representa uma enorme melhoria no processo. O processo de estampagem metálica é realizado num curto período de tempo, com forças muito elevadas que promovem deformações elasto-plásticas, endurecimento do material e geração de calor por deformação plástica e também por atrito. Como resultado, muitos problemas podem ocorrer, tais como micro-fissuras, macro-fissuras, engelhamento, defeitos de forma estricções localizadas, fracturas, etc. Quando uma destas falhas ocorre, é importante fazer um diagnóstico das causas do problema. O método de elementos finitos, pode ajudar a fazer uma previsão destes problemas. Os resultados obtidos por este método, são utilizados para se modificarem algumas variáveis do processo, tais como: força do encostador, geometria de punções e matrizes. Neste trabalho foi efectuado um estudo da evolução de uma ferramenta progressiva, recorrendo a um software de elementos finitos (LS-DYNA). O objectivo do estudo da ferramenta progressiva, é o de fazer uma comparação dos resultados obtidos pelo LS-DYNA, com o componente obtido na fase de produção. A ferramenta em estudo passou por três grandes evoluções, tendo sido essencialmente alteradas as geometrias de punções e matrizes. Foi feita uma comparação das espessuras obtidas no processo real, com espessuras obtidas na simulação. Os resultados obtidos na simulação são muito semelhantes ao processo real, com uma margem de erro máximo de 4,08%.

Analisador de espectro de baixo custo com frequência de operação entre 2 e 3 GHz

Com o surgimento de novos sistemas de telecomunicações sem fios, que necessitam de maiores potências de emissão e largura de banda disponível, surgem os regulamentos que controlam as emissões rádio. Só assim estas tecnologias podem coexistir em bandas próximas, com o máximo desempenho e com a garantia que os níveis de poluição electromagnética não são ultrapassados. Cada vez mais, regulamentos que limitam a potência da transmissão têm em vista questões de saúde pública e por isso devem ser estritamente respeitados. Para se poder controlar as emissões rádio é necessário um dispositivo que consiga analisar o espectro rádio. Um dos instrumentos fundamentais na metrologia de radiofrequência é o analisador de espectros, que tem como principal função apresentar a potência de porções do espectro em função da frequência. Existem vários tipos de analisadores espectrais, que se baseiam em arquitecturas de recepção distintas. O tipo de analisador define a sua complexidade e o tipo de análises que consegue fazer. Com esta dissertação pretende-se mostrar a implementação de um analisador de espectro portátil, de baixo custo, baseado num receptor heteródino e com uma frequência de operação compreendida entre os 2 e os 3 GHz. Este projecto abrange diversas áreas, desde o hardware de recepção rádio, passando pelo microcontrolador que faz a aquisição de dados e comunicação com o computador, acabando na aplicação que foi desenvolvida em Java para permitir ao utilizador uma interface de utilização simples e funcional. Foi também desenvolvida com sucesso uma antena impressa adequada à banda de frequência referida. Embora tenham existidos problemas simples, um na localização do filtro passa-banda e o outro na resposta do filtro intermédio, os objectivos foram alcançados obtendo-se um analisador de espectro portátil, funcional e de baixo custo, conforme pretendido. O analisador tem um erro máximo na detecção de potência de 2,5 dB e o tempo de varrimento máximo é cerca de 16 segundos com 500 pontos de resolução. Foram realizadas várias medições e uma comparação com um analisador de espectros comercial, para demonstrar o funcionamento e desempenho do analisador desenvolvido, tendo os resultados sido bastante promissores. A funcionalidade deste analisador medir a potência do sinal ao longo do tempo é uma mais-valia face ao analisador comercial utilizado para a comparação.

Operação e planeamento de redes de energia eléctrica com recurso ao trânsito optimizado de energia

Esta dissertação tem como objectivo explorar as potencialidades de aplicação do trânsito optimizado de energia (Optimal Power Flow - OPF), no contexto da operação e planeamento de redes de energia eléctrica. Para o efeito, são ilustradas diferentes funções objectivo, nomeadamente, a minimização: dos custos de combustível, da potência activa de perdas, da potência reactiva de perdas, do ajuste de carga, do ajuste da reactância das linhas e da inserção das reactâncias shunt e/ou baterias de condensadores. São ainda propostas duas abordagens, que recorrem ao OPF, para efectuar a resolução do problema da compensação do factor de potência, em redes de distribuição de energia eléctrica. Em cada abordagem, são inseridas baterias de condensadores comutáveis na rede, com o objectivo de conduzir a uma redução dos custos de geração de energia eléctrica. Na primeira abordagem, dimensionam-se as baterias de condensadores para o nível de carga mais elevado, enquanto na segunda abordagem proposta, o valor e localização dos condensadores, tem em conta o conjunto dos níveis de carga considerados para o qual se pretende efectuar o dimensionamento. As duas abordagens apresentam resultados distintos para a potência reactiva das baterias de condensadores adicionadas em cada barramento, bem como para a selecção dos escalões, que devem estar em funcionamento em diferentes níveis de carga. De forma a avaliar a qualidade das soluções efectua-se, uma avaliação técnico-económica para diferentes níveis admissíveis de compensação do factor de potência, tendo em conta cenários de carga considerados na óptica do planeamento. É proposta uma metodologia, com o objectivo de obter a solução do problema em função dos seguintes factores: orçamento disponível, nível de perdas considerado satisfatório, VAL e tan das cargas da rede. As abordagens propostas são aplicadas à rede de distribuição de energia eléctrica de São Vicente. São ainda efectuadas sensibilidades em relação à natureza da carga, mediante a variação da sua tan . Verifica-se que os resultados obtidos são robustos e que a segunda abordagem é mais vantajosa.

Operação em ambiente móvel baseado em modelo de mercado

Projecto Final para obtenção do grau de Mestre em Engenharia Informática e de Computadores

Decisões estratégicas para a concentração de instituições financeiras: a oferta pública de aquisição não concretizada do BCP ao BPI

Mestrado em Contabilidade e Gestão das Instituições Financeiras

Vigilância da costa marítima utilizando radar de abertura sintética

Nesta tese apresenta-se uma nova técnica para solucionar a problemática da estimação de velocidade de embarcações em Radar de Abertura Sintética (SAR). A solução proposta combina duas técnicas já publicadas introduzindo como inovação, a Transformada de Radon. Esta transformada vai permitir estimar a posição do rasto que a embarcação gera à medida que se vai deslocando. Com a posição do objecto calculada é então possível estimar a sua distância ao rasto e assim a velocidade em range. Esta estimativa é limitada pelo Pulse Repetition Frequency (PRF) utilizado na missão SAR. Para a velocidade em azimute é usada uma técnica de Multilook que vai executar uma correlação cruzada entre dois look’s consecutivos. Esta operação permite estimar o desvio que um alvo sofreu de um look para outro. Medindo a frequência central de cada look utilizado é possível estimar a velocidade em azimute.

Sistemas de climatização destinados a blocos operatórios

O presente trabalho pretende servir de apoio ao projecto das instalações mecânicas para blocos operatórios, em particular para as salas de operação. O objectivo e a lacuna encontrada na bibliografia portuguesa sobre os requisitos dos sistemas de climatização para blocos operatórios conduziram à reunião de um conjunto de elementos que, não esgotando o assunto, julgo serem suficientes para dar respostas à curiosidade de uns e para apoiar a decisão dos técnicos projectistas deste tipo de instalações mecânicas. Como objectivo do trabalho entende-se a definição de um sistema de climatização destinado a blocos operatórios, versátil, no sentido de que possa ser instalado em qualquer localidade, bastando para o efeito adaptar a unidade de tratamento e neutralização de ar novo, e mais económico, no que respeita ao consumo energético, quando comparado com os sistemas existentes,100% ar novo.

Análise do line Maintenance Manual numa perspectiva de melhoria contínua do programa de manutenção avião

Este relatório, escrito no âmbito do estágio profissional realizado no departamento de Manutenção e Engenharia da TAP Portugal, com o tema “Análise do Line Maintenance Manual numa perspectiva de melhoria contínua do Programa de Manutenção Avião”, tem como objectivo descrever a análise efectuada e as oportunidades de melhoria identificadas no Line Maintenance Manual, documento que serve de suporte às actividades da Manutenção de Linha. Espera-se que o trabalho realizado traga benefícios para a TAP Manutenção e Engenharia a médio e longo prazo, tais como a agilização das futuras revisões ao referido documento, a redução de recursos envolvidos nas inspecções de trânsito e, quiçá, a correcção de aspectos com implicações directas na operação segura das aeronaves. O trabalho desenvolvido no estágio implicou um estudo aprofundado do processo que resulta no estabelecimento dos programas de manutenção das aeronaves actuais, bem como dos documentos nele envolvidos, pelo que a análise específica do Line Maintenance Manual foi realizada no contexto muito mais abrangente da teoria da Manutenção Aeronáutica.

Modelos de risk based inspection e risk based inspection and maintenance aplicados a sistemas de produção de energias renováveis

A utilização de recursos energéticos renováveis apresenta-se como um caminho vital para a humanidade alcançar um desenvolvimento sustentável. Nesta campanha, a energia eólica surge como um dos principais vectores de orientação tendo evoluído de forma quase exponencial nos últimos anos. No entanto, apesar da sua relativa maturidade, esta tecnologia enfrenta ainda alguns problemas e desafios. Não obstante a experiência empírica da indústria eólica, adquirida nos últimos trinta anos e dos esforços para melhorar a fiabilidade operacional das turbinas, as taxas de falha ainda se apresentam elevadas. Face às correntes práticas de Manutenção das turbinas e parques eólicos e às características de falha, (por vezes catastróficas), existe a necessidade de optimizar as estratégias de manutenção das turbinas eólicas e reduzir os custos durante o ciclo de vida, de modo a maximizar o retorno do investimento. Descreve-se neste trabalho o estado do conhecimento actual face ao objectivo pretendido, a recolha de dados reais da operação e Manutenção, a aplicabilidade dos modelos escolhidos para obtenção da probabilidade de falha, e as consequências e avaliação do risco. Assim, desenvolveu-se uma ferramenta de apoio à decisão, baseada em Modelos de RBI (Risk Based Inspection) e RBIM (Risk Based Inspection and Maintenance) aplicados a turbinas eólicas.

Acompanhamento e caracterização do desempenho de uma UTA baseada em tecnologia DEC assistida por energia solar

Neste trabalho referiremos em particular a tecnologia do arrefecimento evaporativo com desumidificação prévia por exsicantes e far-se-á a apresentação da Unidade de Demonstração instalada no INETI (Instituto Nacional de Engenharia Tecnologia e Inovação) que faz uso dessa tecnologia que recorre a um sistema de captação de energia solar do tipo CPC (Colectores Parabólicos Compostos). Em funcionamento desde 1999, este sistema já sofreu várias alterações que serão referidas, realçando-se as que tiveram lugar mais recentemente, e serão apresentados alguns resultados entretanto obtidos. O funcionamento de todo o sistema foi acompanhado de perto, possibilitando assim, uma melhor compreensão do funcionamento do mesmo e, no caso de surgirem anomalias, actuar de imediato na tentativa de resolução. Para além da descrição dos componentes principais, modos de operação e alterações introduzidas, neste trabalho são apresentados e analisados os resultados obtidos nesta nova fase de funcionamento da UTA, após introdução de um humidificador na conduta de insuflação. Concluí-se que para períodos que antecedem e procedem o pico do Verão, esta unidade executa a sua função na perfeição apresentando valores de eficiência energética bastante favoráveis. Ao longo da estação fria, a captação de energia por parte dos colectores solares, possibilita o aquecimento dos espaços a climatizar.

XAdES4J: a java library for XAdES signature services

As comunicações electrónicas são cada vez mais o meio de eleição para negócios entre entidades e para as relações entre os cidadãos e o Estado (e-government). Esta diversidade de transacções envolve, muitas vezes, informação sensível e com possível valor legal. Neste contexto, as assinaturas electrónicas são uma importante base de confiança, fornecendo garantias de integridade e autenticação entre os intervenientes. A produção de uma assinatura digital resulta não só no valor da assinatura propriamente dita, mas também num conjunto de informação adicional acerca da mesma, como o algoritmo de assinatura, o certificado de validação ou a hora e local de produção. Num cenário heterogéneo como o descrito anteriormente, torna-se necessária uma forma flexível e interoperável de descrever esse tipo de informação. A linguagem XML é uma forma adequada de representar uma assinatura neste contexto, não só pela sua natureza estruturada, mas principalmente por ser baseada em texto e ter suporte generalizado. A recomendação XML Signature Syntax and Processing (ou apenas XML Signature) foi o primeiro passo na representação de assinaturas em XML. Nela são definidas sintaxe e regras de processamento para criar, representar e validar assinaturas digitais. As assinaturas XML podem ser aplicadas a qualquer tipo de conteúdos digitais identificáveis por um URI, tanto no mesmo documento XML que a assinatura, como noutra qualquer localização. Além disso, a mesma assinatura XML pode englobar vários recursos, mesmo de tipos diferentes (texto livre, imagens, XML, etc.). À medida que as assinaturas electrónicas foram ganhando relevância tornou-se evidente que a especificação XML Signature não era suficiente, nomeadamente por não dar garantias de validade a longo prazo nem de não repudiação. Esta situação foi agravada pelo facto da especificação não cumprir os requisitos da directiva 1999/93/EC da União Europeia, onde é estabelecido um quadro legal para as assinaturas electrónicas a nível comunitário. No seguimento desta directiva da União Europeia foi desenvolvida a especificação XML Advanced Electronic Signatures que define formatos XML e regras de processamento para assinaturas electrónicas não repudiáveis e com validade verificável durante períodos de tempo extensos, em conformidade com a directiva. Esta especificação estende a recomendação XML Signature, definindo novos elementos que contêm informação adicional acerca da assinatura e dos recursos assinados (propriedades qualificadoras). A plataforma Java inclui, desde a versão 1.6, uma API de alto nível para serviços de assinaturas digitais em XML, de acordo com a recomendação XML Signature. Contudo, não existe suporte para assinaturas avançadas. Com este projecto pretende-se desenvolver uma biblioteca Java para a criação e validação de assinaturas XAdES, preenchendo assim a lacuna existente na plataforma. A biblioteca desenvolvida disponibiliza uma interface com alto nível de abstracção, não tendo o programador que lidar directamente com a estrutura XML da assinatura nem com os detalhes do conteúdo das propriedades qualificadoras. São definidos tipos que representam os principais conceitos da assinatura, nomeadamente as propriedades qualificadoras e os recursos assinados, sendo os aspectos estruturais resolvidos internamente. Neste trabalho, a informação que compõe uma assinatura XAdES é dividia em dois grupos: o primeiro é formado por características do signatário e da assinatura, tais como a chave e as propriedades qualificadoras da assinatura. O segundo grupo é composto pelos recursos assinados e as correspondentes propriedades qualificadoras. Quando um signatário produz várias assinaturas em determinado contexto, o primeiro grupo de características será semelhante entre elas. Definiu-se o conjunto invariante de características da assinatura e do signatário como perfil de assinatura. O conceito é estendido à verificação de assinaturas englobando, neste caso, a informação a usar nesse processo, como por exemplo os certificados raiz em que o verificador confia. Numa outra perspectiva, um perfil constitui uma configuração do serviço de assinatura correspondente. O desenho e implementação da biblioteca estão também baseados no conceito de fornecedor de serviços. Um fornecedor de serviços é uma entidade que disponibiliza determinada informação ou serviço necessários à produção e verificação de assinaturas, nomeadamente: selecção de chave/certificado de assinatura, validação de certificados, interacção com servidores de time-stamp e geração de XML. Em vez de depender directamente da informação em causa, um perfil — e, consequentemente, a operação correspondente — é configurado com fornecedores de serviços que são invocados quando necessário. Para cada tipo de fornecedor de serviços é definida um interface, podendo as correspondentes implementações ser configuradas de forma independente. A biblioteca inclui implementações de todos os fornecedores de serviços, sendo algumas delas usadas for omissão na produção e verificação de assinaturas. Uma vez que o foco do projecto é a especificação XAdES, o processamento e estrutura relativos ao formato básico são delegados internamente na biblioteca Apache XML Security, que disponibiliza uma implementação da recomendação XML Signature. Para validar o funcionamento da biblioteca, nomeadamente em termos de interoperabilidade, procede-se, entre outros, à verificação de um conjunto de assinaturas produzidas por Estados Membros da União Europeia, bem como por outra implementação da especificação XAdES.

Controlo de programa de manutenção de aeronaves: variante estruturas e sistemas

No sentido de contribuir para a optimização do programa de manutenção da frota Fokker 100 (F100) da PGA – Portugália Airline(PGA), no que se refere à sua eficácia e controlo, realizou-se um estudo que envolveu a aquisição de dados de operação e a recolha de informação (anomalias) de diversos protocolos de inspecções. Pretendeu-se ainda documentar alguns dos fluxos de trabalho, utilizados pela divisão de Engenharia, directamente relacionados com a gestão do programa de manutenção da frota em estudo. Através dos dados obtidos, foi possível proceder-se à equalização dos protocolos de inspecção do “tipo A”, reduzindo-se, em média, 12 cartas e 4 horas de trabalho por protocolo de trabalho. Efectuou-se uma análise pormenorizada da viabilidade da extensão de âmbito de certificação de manutenção, através do qual a PGA passará a estar certificada pelo INAC a cumprir protocolos de inspecção do “tipo C1”1. Esta avaliação compreendeu: agrupamentos de tarefas, listagem de ferramentas especiais e listagem de unidades e consumíveis necessários. Desenvolveu-se ainda um método para controlo automático de tarefas do programa de manutenção, que apresentam threshold (<48800 FC). O objectivo final deste trabalho, tendo em linha de conta, para além do acima referenciado, os escalonamentos preconizados pelo fabricante Fokker, e todas as alterações resultantes da análise de incidentes técnicos e de fiabilidade, consistiu em propor aos responsáveis pelo Departamento de Engenharia e ao Director de Manutenção e Engenharia uma lista de alterações ao programa de manutenção em vigor, para sua análise e posterior submissão ao INAC para conhecimento e aprovação.

Sistema de movimentação linear extensível com accionamentos electromecânicos sincronizados

Esta dissertação tem como objectivo estudar uma solução mecânica e eléctrica que permita anular o tempo de uma operação de não produção numa linha de prensagem instalada numa fábrica de indústria automóvel, a Autoeuropa. No início desta dissertação começa-se por encontrar uma solução de movimentadores telescópicos compatíveis com as restrições de espaço, os requisitos de sincronismo entre ambos e os objectivos de anulação do tempo de não operação. Seguidamente passou-se a uma fase de modelação do sistema mecânico, para permitir estudar o comportamento dinâmico do sistema proposto. Encontrado o movimentador mecânico adequado e feita a sua modelação foram estudadas possíveis soluções para o accionar, bem como formas de o controlar. Este sistema multimáquina foi estudado com dois tipos de máquinas eléctricas e métodos de controlo devido a necessitar de uma dinâmica bastante rápida, com exigência de grande sincronismo entre os dois movimentadores separados, e ainda com vista a tentar explorar a possibilidade de ter menor número de variadores electrónicos do que de máquinas eléctricas. Para tal recorreu-se ao ambiente Matlab para modelar e simular todo o sistema proposto nas suas variantes. Por fim são extraídas diversas conclusões, procurando-se clarificar a viabilidade da ideia e escolher a melhor opção de accionamento. No caso estudado, como o objectivo futuro é aplicar a solução proposta num ambiente industrial definido, há que ter em atenção não só a melhor opção técnica mas também o preço.

Análise técnico-económica do sistema de abastecimento de água ao Hospital Prof. Dr. Fernando da Fonseca

Cada vez mais, a adopção de medidas relacionadas com a conservação de água se tem tornado fundamental nos edifícios públicos e institucionais, devido ao seu alto custo de operação. Além disso, a economia advinda da redução do consumo pode possibilitar não somente o custeio de outros itens necessários ao seu funcionamento, mas também a disponibilização desse volume economizado para o atendimento de novos clientes com a mesma infra-estrutura urbana instalada, contribuindo, assim, para a conservação do meio ambiente, premissa básica do desenvolvimento sustentável de qualquer país. Espera-se que este estudo motive o desenvolvimento de acções similares em edificações desta tipologia e em outros edifícios dedicados a funções específicas