Análise da concepção de sistemas de sistemas com a notação SysML

Mestrado em Engenharia Informática

Consultoria de gestão operacional e gestão da formação

Relatório de estágio apresentado ao Instituto de Contabilidade e Administração do Porto para a obtenção do título de Mestre em Auditoria Orientada por Dr. Rodrigo Carvalho Coorientador: Dr. José Rui Dias

Relatório de estágio

Relatório de Estágio apresentado ao Instituto Superior de Contabilidade para a obtenção do Grau de Mestre em Auditoria Orientada por Dr. Rodrigo Mário de Oliveira Carvalho e Dr. Álvaro Manuel de Sousa Carvalho

Algoritmos genéticos: aplicação na síntese de alguns algoritmos de controlo

Mestrado em Engenharia Electrotécnica e de Computadores. Área de Especialização de Automação e Sistemas.

Abordagens discursivas dos estudos da tradução

The main aim of this essay is to present the discursive approaches to Translation Studies (TS) as a well-established field of inquiry about translation phenomena. The term ‘discourse’ itself, however, has been considered a contentious one given its multitude of uses without a clear conceptualization as to whether its use and application privilege a more linguistic orientation or a more sociologically and culturally trend to the study of language. The essay, therefore, briefly discusses what counts as ‘discursive’ in TS by introducing the reader to the principal theories that advocate an essentially ‘discursive turn’ in orientation. After that, the essay explores in depth Systemic-Functional Linguistics as a foundational approach to the study of translation. Finally, the essay brings in the advantages of such an approach and, in the end, invites TS theoreticians to give special attention to the uses of the term ‘discourse’ within their investigations.

Efeito da razão de submersão sobre os parâmetros hidrodinâmicos de uma coluna de recirculação de líquido através de um tubo exterior

No trabalho realizado nesta tese, procedeu-se ao estudo hidrodinâmico de uma coluna de borbulhamento de recirculação externa do líquido (CREL), que permitiu ampliar o conhecimento já existente sobre este tipo de colunas. Para realizar este estudo utilizaram-se líquidos viscosos Newtonianos, nomeadamente soluções aquosas de glicerina com viscosidades entre 0,007 e 0,522 Pa.s. Para a gama de caudais de ar injectados, 1,5x10-5 até 1,35x10-4 m3/s, o ar ascendia ao longo da coluna de borbulhamento sob a forma de bolhas tubulares. Após a realização dos ensaios, verificou-se que o regime de escoamento do líquido entre bolhas tubulares variou desde o tipo laminar até transição (1,9 teóricos previstos por equações empíricas de Nicklin et al (1962). Estes valores também foram comparados com valores obtidos experimentalmente em trabalhos anteriores, onde se utilizaram razões de submersão de 0,935 e 0,91. Após análise dos valores da retenção verificou-se que estes eram mais elevados para as soluções de maior viscosidade e menor diâmetro da coluna. Para as experiências realizadas com as soluções com viscosidades entre 0,52 Pa.s e 0,053 Pa.s, os valores experimentais eram inferiores aos previstos por Nicklin et al (1962) para regime laminar tanto na coluna de 22 mm como na coluna de 32 mm. Para a solução com 0,007 Pa.s de viscosidade os valores experimentais situavam-se na zona de transição entre o regime laminar e o regime turbulento em ambas as colunas. Verificou-se que a diminuição da razão de submersão de 0,935 para 0,85 aumentou significativamente a retenção em todas as experiências realizadas. A velocidade superficial média de circulação do líquido variava na razão inversa do diâmetro e da viscosidade. A diminuição da retenção provocou uma diminuição significativa na velocidade do líquido.

Artigo acadêmico: espaço de posicionamento e negociações

Este artigo é resultado de uma pesquisa mais ampla cuja questão central diz respeito a como os pesquisadores constroem seus posicionamentos e suas interações em artigos experimentais e artigos teóricos da área de Lingüística. Os resultados apresentados advêm de um momento desta pesquisa no qual me dediquei a reconhecer, mapear e analisar os marcadores de atenuação e ênfase (Hyland, 2000) que, de forma mais relevante, constroem significados interpessoais de posicionamento e interação do pesquisador-autor na produção de exemplares de artigos experimentais e de artigos teóricos (Swales, 2004).

Modelação de células de combustível

Neste trabalho serão apresentados e discutidos vários aspectos relacionados com células de combustível, com particular enfoque na modelação de células de combustível de membrana de permuta protónica. Este trabalho está dividido em vários capítulos. No Capítunlo 1 são apresentadas as motivações e os objectivos da tese. No Capítulo 2 serão apresentadas as células de combustível em geral, a sua origem, os diversos tipos, o que as diferencia das restantes tecnologias de geração de energia e as suas vantagens e desvantagens. No Capítulo 3 discute-se a modelação de células de combustível. Serão expostos e explicados os diferentes tipos de modelos, seguindo-se uma apresentação do modelo selecionado para estudo, com referência aos fundamentos teóricos exposição detalhada da fórmulação matemática e os parâmetros que caracterizam o modelo. É também apresentado a implementação do modelo em Matlab/Simulink. No Capítulo 4 será discutida e apresentada a abordagem utilizada para a identificação dos parâmetros do modelo da célula de combustível. Propõe-se e prova-se que uma abordagem baseada num algoritmo de optimização inteligente proporciona um método eficaz e preciso para a identificação dos parâmetros. Esta abordagem requer a existência de alguns dados experimentais que são também apresentados. O algoritmo utilizado designa-se por Optimização por Enxame de Partículas – Particle Swarm Optimization (PSO). São apresentados os seus fundamentos, características, implementação em Matlab/Simulink e a estratégia de optimização, isto é, a configuração do algoritmo, a definição da função objectivo e limites de variação dos parâmetros. São apresentados os resultados do processo de optimização, resultados adicionais de validação do modelo, uma análise de robustez do conjunto óptimo de parâmetros e uma análise de sensibilidade dos mesmos. O trabalho termina apresentando, no último capítulo, algumas conclusões, das quais se destacam: - O bom desempenho do algoritmo PSO para a identificação dos parâmetros do modelo da célula de combsutível; - Uma robustez interessante do algoritmo PSO, no sentido em que, para várias execuções do método resultam valores do parâmetros e da função objectivo com variabilidade bastante reduzidas; - Um bom modelo da célula de combustível, que quando caracterizado pelo conjunto óptimo de parâmetros, apresenta, sistematicamente, erros relativos médios inferiores a 2,5% para um conjunto alargado de condições de funcionamento.

Plataforma remota de gestão de um parque de GateBoxes

A monitorização de redes é um aspeto de elevada importância, principalmente em redes de média ou grande dimensão. A necessidade de utilização de uma ferramenta para realização dessa gestão facilita o trabalho e proporciona de uma forma mais rápida e eficaz a identificação de problemas na rede e nos seus sistemas. Neste sentido, o presente trabalho tem como objetivo o desenvolvimento de uma solução para a monitorização de GateBoxes, um dos produtos desenvolvidos e comercializados pela empresa NextToYou. A necessidade de monitorização das GateBoxes, por parte da NextToYou, é essencial para que possa detetar falhas no seu funcionamento ou realizar notificações aquando da deteção de problemas para uma rápida resolução. Neste contexto a empresa decidiu implementar uma ferramenta para a referida monitorização e propôs, no âmbito da tese, o desenvolvimento de uma aplicação que satisfizesse esses propósitos. Disponibilizou então, para o desenvolvimento uma plataforma, a WebForge, e definiu alguns requisitos funcionais dessa ferramenta, tais como, a monitorização remota de informação, gestão de alarmes, geração de avisos e notificações. Para a elaboração deste trabalho foram realizados estudos teóricos sobre o tema da gestão e monitorização remotas, realizando-se posteriormente o desenvolvimento de uma aplicação para a monitorização de GateBoxes. Após a implementação efetuou-se a validação do trabalho realizado através da execução de testes e demonstrações, de forma a poder validar e verificar o desempenho do sistema.

Empreendedorismo e plano de negócios

A obra “Empreendedorismo e plano de negócio”, da autoria de Fátima Monteiro e Eduardo Sá Silva, é um trabalho que apresenta as ferramentas, os conceitos e conhecimentos que permitirão que, com intuição e experiência, os investidores assegurem um desempenho de excelência. O livro revela que o gestor terá não só de saber efetuar um planeamento e controlo da sua atividade – que lhe permita melhorar constantemente a eficácia e a eficiência da sua empresa – mas também incorporar na sua “matriz de performance” o risco como variável aleatória, cuja mestria na sua previsibilidade lhe poderá assegurar um excelente desempenho. Gerir o risco, a incerteza, a volatilidade é um desafio que exige conjugação de intuição, experiência, inteligência, mas, sobretudo, conhecimento, cuja mestria e domínio dos fundamentos teóricos é fundamental para um desempenho melhor que o do mercado. O livro está estruturado em seis capítulos, cujos temas versam sobre o empreendedorismo, o plano estratégico e operacional de marketing, o plano de negócios em condições de certeza, a avaliação do projeto em condições de certeza, o risco (no âmbito da avaliação de projetos em condições de incerteza) e a gestão do negócio. A linguagem utilizada é inteligível a qualquer tipo de leitor e há uma clara preocupação de objetividade, de forma a permitir a passagem dos conceitos do plano teórico para a prática empresarial.

Verificação dos estados limites de utilização de estruturas de betão

A ocorrência de fenómenos como deformações excessivas, deformações impostas, variações de temperatura, fluência e retracção entre outros são responsáveis pela diminuição do desempenho em serviço das estruturas de betão. Frequentemente, os projectistas valorizam em demasia a verificação da segurança em relação aos estados limites últimos, dedicando menos atenção à verificação dos estados limites de utilização, recorrendo a certas medidas construtivas que em casos usuais poderão ser suficientes. Em casos especiais como vãos consideráveis ou acções de elevada intensidade, estas medidas não garantem que a estrutura apresente a funcionalidade e a durabilidade desejáveis, impondo-se a necessidade de verificar os estados limites de utilização por métodos de cálculo mais fiáveis. Este factor, pode ser determinante para evitar certas anomalias de difícil resolução. A presente dissertação pretende documentar alguns métodos de cálculo utilizados no controlo da fendilhação, na limitação das tensões e no controlo das deformações segundo as mais recentes disposições regulamentares previstas para o efeito. Como os valores obtidos com a aplicação destes métodos são aproximações ao comportamento real dos elementos estruturais, procurou-se comparar estes resultados teóricos com situações reais, de forma a avaliar a sua precisão e fiabilidade. A degradação precoce das estruturas de betão, nem sempre se deve apenas à desvalorização da verificação dos estados limites de utilização em fase de projecto. Como os processos de produção destas estruturas são complexos e por vezes são negligenciadas boas práticas de construção, são propostas neste trabalho resumidamente algumas medidas construtivas que visam aumentar a durabilidade das estruturas e o seu desempenho em serviço.

Suporte à computação paralela e distribuída em Java: API e comunicação entre nós cooperantes

Este trabalho é uma parte do tema global “Suporte à Computação Paralela e Distribuída em Java”, também tema da tese de Daniel Barciela no mestrado de Engenharia Informática do Instituto Superior de Engenharia do Porto. O seu objetivo principal consiste na definição/criação da interface com o programador, assim como também abrange a forma como os nós comunicam e cooperam entre si para a execução de determinadas tarefas, de modo a atingirem um único objetivo global. No âmbito desta dissertação foi realizado um estudo prévio relativamente aos modelos teóricos referentes à computação paralela, assim como também foram analisadas linguagens e frameworks que fornecem suporte a este mesmo tipo de computação. Este estudo teve como principal objetivo a análise da forma como estes modelos e linguagens permitem ao programador expressar o processamento paralelo no desenvolvimento das aplicações. Como resultado desta dissertação surgiu a framework denominada Distributed Parallel Framework for Java (DPF4j), cujo objetivo principal é fornecer aos programadores o suporte para o desenvolvimento de aplicações paralelas e distribuídas. Esta framework foi desenvolvida na linguagem Java. Esta dissertação contempla a parte referente à interface de programação e a toda a comunicação entre nós cooperantes da framework DPF4j. Por fim, foi demonstrado através dos testes realizados que a DPF4j, apesar de ser ainda um protótipo, já demonstra ter uma performance superior a outras frameworks e linguagens que possuem os mesmos objetivos.

Estratégias de tradução em sites das regiões de turismo de Portugal: estudo baseado em corpus

Em Portugal, o turismo é uma actividade económica que gera ganhos significativos e a promoção turística do país no mercado externo assenta cada vez mais na criação de sites multilingues. Este artigo examina um corpus constituído por textos provenientes de sites de Regiões de Turismo de Portugal, em português, e as respectivas traduções para inglês, com o objectivo de demonstrar o modo como os tradutores adicionam informação inexistente no texto original. Através da análise desta característica específica dos sites oficiais traduzidos para promover o destino ―Portugal‖ no mercado externo pretende salientar-se a importância que as estratégias de tradução assumem no marketing do destino turístico, uma vez que a informação adicionada cria uma determinada imagem de uma região. Em termos teóricos e metodológicos, este artigo enquadra-se no âmbito da Linguística de Corpus.

Integração energética unidades 0300 e 0400 da Fábrica de Aromáticos Refinaria de Matosinhos

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

Quais os motivos do insucesso de algumas crianças na aprendizagem musical? Motivação e Flow Theory

Este artigo aborda a natureza da motivação na sua relação com a aprendizagem musical. Um dos objectivos principais é problematizar a questão das diferenças no sucesso da aprendizagem musical quando nos encontramos perante indivíduos com níveis aparentemente semelhantes de capacidade e potencial musicais. Começa por apresentar um conjunto de modelos teóricos que oferecem uma visão acerca das razões que podem explicar as variações e mudanças na motivação. Refere-se investigação recente que sugere que os processos motivacionais não são pré-determinados mas podem ser aprendidos e que os indivíduos, para atingir níveis elevados de sucesso, necessitam de uma focagem no processo por oposição a uma focagem no produto. São introduzidos e explorados processos cognitivos fundamentais relacionados com a aprendizagem musical (por exemplo, comportamento au to-regulado, papel da motivação intrínseca e extrínseca) . Como conclusão, sugerem-se algumas práticas específicas para que os professores possam reflectir acerca da melhor forma de encorajar e aumentar a motivação dos seus alunos para aprender música.