BAMoL Formalização da linguagem e validação sintática de modelos

A BAMoL (Business Application Modeling Language) é uma linguagem de domínio específico utilizada para o desenvolvimento de soluções para a plataforma myMIS, no âmbito dos sistemas de informação para a gestão. Esta linguagem carecia de dois aspetos, nomeadamente a sua formalização e a existência de mecanismos de validação sintática das soluções desenvolvidas. Estes problemas identificados tornam impossível a validação sintática das soluções desenvolvidas utilizando esta linguagem, aumentando assim a probabilidade de existência de erros, podendo fazer com que as mesmas sejam mais ineficientes e podendo até trazer um aumento de custos de manutenção da plataforma. De forma a resolver os problemas enunciados, foi realizada, para o primeiro, uma descrição textual de todos os constituintes da linguagem e criada uma gramática representativa da mesma, em que constam todos os seus elementos e regras. No caso do segundo problema, a sua resolução passou pela criação de uma ferramenta que utiliza a gramática criada e que permite validar sintaticamente e encontrar as falhas das soluções desenvolvidas. Desta forma, passa a ser possível detetar os erros existentes nas soluções, permitindo assim à equipa de desenvolvimento ter maior controlo sobre as mesmas, podendo torná-las mais corretas, na perspetiva das regras da linguagem.

Processos de construção e dimensionamento de pontes atirantadas

Na presente dissertação desenvolve-se o tema das pontes atirantadas. Apresentam-se várias formas de concepção estrutural, identificando os diversos elementos estruturais e as suas possíveis combinações. São também apresentadas as vantagens, desvantagens e aplicação de cada elemento estrutural na globalidade da estrutura. Os métodos construtivos foram também abordados, apresentando o faseamento construtivo, vantagens, desvantagens e condicionantes de cada processo para pilares, mastros e tabuleiros. Foi feito um estudo das várias acções regulamentares relevantes, para este tipo de estrutura, explicando para cada uma a sua metodologia de cálculo e a sua aplicação em cada elemento estrutural. A sua aplicação depende da estrutura em causa. Utilizando como caso de estudo uma ponte idealizada pelo Professor António Adão da Fonseca, que faz a ligação entre as cidades do Porto e Vila Nova de Gaia, foi feito um pré-dimensionamento de cada elemento estrutural, assim como o cálculo do pré-tensionamento dos tirantes. Em seguida foram elaboradas análises estáticas e dinâmicas através de um modelo numérico, considerando algumas das acções regulamentares estudadas anteriormente. Das análises foram extraídos valores de deslocamentos e esforços em cada elemento estrutural. Estes deslocamentos e esforços foram comparados entre várias combinações de acções e alternâncias de sobrecargas, procedendo-se no final a uma discussão dos resultados.

Agente de coligação com definição gráfica de processos habilitados por executor de regras: execução e composição dinâmica de skills num sistema de manufactura multiagente

Dissertação apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para obtenção do grau de Mestre em Engenharia Electrotécnica e de Computadores

Do outro lado da cidade. Crianças socialização e delinquência em bairros de realojamento

Dissertação apresentada para cumprimento dos requisitos necessários à obtenção do grau de Doutor em Sociologia, especialidade em Sociologia do Desenvolvimento e da Mudança Social

Modelação numérica de modelos experimentais de alvenaria de pedra tradicional

Dissertação apresentada para obtenção do grau de Mestre em Engenharia Civil – Perfil de Construção, pela Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa

Participação, informação e comunicação nos processos de decisão pública – o caso de Alqueva

Dissertação apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para obtenção do grau de Mestre em Gestão e Políticas Ambientais

A termografia aplicada à eficiência energética de equipamentos e processos em contexto industrial do tratamento de alumínios

A dissertação apresentada tem como objetivo primordial testar e validar as potencialidades da termografia na obtenção de dados para reduzir as perdas ou ganhos térmicos em equipamentos e processos, tornando-os mais eficientes. Realizada em estágio curricular, em ambiente empresarial, na empresa Ecoinside, tem como caso de estudo principal uma indústria de tratamento de alumínios. O processo e os equipamentos escolhidos para o estudo foram estudados e compreendidos. Nas imperfeições detetadas foram apontadas medidas corretivas simples e de fácil execução. Mostrou-se, ainda, algumas das poupanças energéticas concedidas por essas retificações. As capacidades da termografia foram testadas noutros ambientes, que não o industrial, pois um dos objectivos era perceber se a câmara termográfica é uma mais-valia a fornecer dados na realização de uma qualquer auditoria energética, confirmando-se que sim. Dá-se, ainda, a conhecer os princípios por detrás da termografia e um pouco da sua história. Ainda no passado, percebem-se as razões do surgimento das auditorias energéticas antes da presente preocupação ambiental e da eficiência energética.

Estudo de reparações adesivas pela técnica de remendo embebido com reforços exteriores para aumento da resistência

As ligações adesivas têm sido utilizadas em áreas como a indústria aeroespacial, aeronáutica, de defesa, automóvel, da construção civil e das madeiras. As juntas adesivas têm vindo a substituir métodos como a soldadura, e ligações parafusadas e rebitadas, devido à facilidade de fabricação, maiores cadências de produção, menores custos, facilidade em unir materiais diferentes, melhor resistência à fadiga, entre outras razões. Como tal, também se utilizam reparações adesivas para restituição da resistência de estruturas danificadas, cujas técnicas mais comuns são a sobreposição simples, sobreposição dupla e remendo embebido. As reparações por remendo embebido, que são as mais eficientes, consistem na realização de um furo cónico na zona danificada e colagem de um remendo com a forma complementar do furo, de tal forma que não é alterada a forma inicial do componente. Neste trabalho pretende-se estudar experimental e numericamente reparações adesivas por remendo embebido, nomeadamente o efeito da utilização de reforços exteriores (em um ou nos dois lados da estrutura), para diferentes ângulos de inclinação. Foi considerado um adesivo dúctil (Araldite® 2015) e outro frágil (Araldite® AV138), o que permitiu abranger processos de rotura bastante distintos. O estudo experimental é acompanhado por outro numérico no software ABAQUS®, usando modelos coesivos para a previsão numérica da resistência das reparações. O trabalho numérico permitiu o estudo das distribuições de tensões, o que possibilitou a análise detalhada dos resultados obtidos. Foi também realizado um estudo numérico de otimização das reparações por alteração da espessura dos reforços e utilização de chanfro nas extremidades dos mesmos. Nos resultados obtidos, constatou-se a adequabilidade do método numérico na previsão fiável da resistência, e também que a utilização dos reforços aumenta consideravelmente o rendimento das reparações (até 530 % e 340 % para os adesivos Araldite® 2015 e AV138, respetivamente), o que poderá justificar a sua utilização em aplicações industriais em que a perturbação aerodinâmica causada por esta alteração não seja relevante.

Estudo dos processos de nitrificação e desnitrificação numa estação de tratamento de águas residuais

Dissertação para obtenção do Grau de Mestre em Tecnologia e Segurança Alimentar – Qualidade Alimentar

Modelos de avaliação da qualidade do atendimento na prestação de serviços públicos: aplicação da metodologia de scoping review à tomada de decisão com base na evidência (evidence-based management), na Administração Pública.

Dissertação apresentada como requisito parcial para obtenção do grau de Mestre em Estatística e Gestão de Informação

Estudo da delaminação em compósitos

As excelentes propriedades mecânicas, associadas ao seu baixo peso, fazem com que os materiais compósitos sejam atualmente dos mais interessantes da nossa sociedade tecnológica. A crescente utilização destes materiais e a excelência dos resultados daí provenientes faz com que estes materiais sejam utilizados em estruturas complexas de responsabilidade, pelo que a sua maquinagem se torna necessária de forma a possibilitar a ligação entre peças. O processo de furação é o mais frequente. O processo de maquinagem de compósitos terá como base os métodos convencionais utilizados nos materiais metálicos. O processo deverá, no entanto, ser convenientemente adaptado, quer a nível de parâmetros, quer a nível de ferramentas a utilizar. As características dos materiais compósitos são bastante particulares pelo que, quando são sujeitos a maquinagem poderão apresentar defeitos tais como delaminação, fissuras intralaminares, arrancamento de fibras ou dano por sobreaquecimento. Para a detecção destes danos, por vezes a inspeção visual não é suficiente, sendo necessário recorrer a processos específicos de análise de danos. Existem já, alguns estudos, cujo âmbito foi a obtenção de furos de qualidade em compósitos, com minimização do dano, não se podendo comparar ainda com a informação existente, no que se refere à maquinagem de materiais metálicos ou ligas metálicas. Desta forma, existe ainda um longo caminho a percorrer, de forma a que o grau de confiança na utilização destes materiais se aproxime aos materiais metálicos. Este trabalho experimental desenvolvido nesta tese assentou essencialmente na furação de placas laminadas e posterior análise dos danos provocados por esta operação. Foi dada especial atenção à medição da delaminação causada pela furação e à resistência mecânica do material após ser maquinado. Os materiais utilizados, para desenvolver este trabalho experimental, foram placas compósitas de carbono/epóxido com duas orientações de fibras diferentes: unidireccionais e em “cross-ply”. Não se conseguiu muita informação, junto do fornecedor, das suas características pelo que se levaram a cabo ensaios que permitiram determinar o seu módulo de elasticidade. Relativamente á sua resistência â tração, como já foi referido, a grande resistência oferecida pelo material, associada às limitações da máquina de ensaios não permitiu chegar a valores conclusivos. Foram usadas três geometrias de ferramenta diferentes: helicoidal, Brad e Step. Os materiais utilizados nas ferramentas, foram o aço rápido (HSS) e o carboneto de tungsténio para as brocas helicoidais de 118º de ângulo de ponta e apenas o carboneto de tungsténio para as brocas Brad e Step. As ferramentas em diamante não foram consideradas neste trabalho, pois, embora sejam reconhecidas as suas boas características para a maquinagem de compósitos, o seu elevado custo não justifica a sua escolha, pelo menos num trabalho académico, como é o caso. As vantagens e desvantagens de cada geometria ou material utilizado foram avaliadas, tanto no que diz respeito à delaminação como á resistência mecânica dos provetes ensaiados. Para a determinação dos valores de delaminação, foi usada a técnica de Raio X. Algum conhecimento já existente relativamente a este processo permitiu definir alguns parâmetros (por exemplo: tempo de exposição das placas ao liquido contrastante), que tornaram acessível o procedimento de obtenção de imagens das placas furadas. Importando estas imagens para um software de desenho (no caso – AutoCad), foi possível medir as áreas delaminadas e chegar a valores para o fator de delaminação de cada furo efetuado. Terminado este processo, todas as placas foram sujeitas a ensaios de esmagamento, de forma a avaliar a forma como os parâmetros de maquinagem afectaram a resistência mecânica do material. De forma resumida, são objetivos deste trabalho: - Caracterizar as condições de corte em materiais compósitos, mais especificamente em fibras de carbono reforçado com matriz epóxida (PRFC); - Caracterização dos danos típicos provocados pela furação destes materiais; - Desenvolvimento de análise não destrutiva (RX) para avaliação dos danos provocados pela furação; - Conhecer modelos existentes com base na mecânica da fratura linear elástica (LEFM); - Definição de conjunto de parâmetros ideais de maquinagem com o fim de minimizar os danos resultantes da mesma, tendo em conta os resultados provenientes dos ensaios de força, da análise não destrutiva e da comparação com modelos de danos existentes e conhecidos.

Aplicação da filosofia Lean para melhoria do processo numa linha de produção da empresa IKEA

Devido à atual crise socioeconómica e consequente recessão dos mercados, as empresas precisam cada vez mais de melhorar os seus modelos de gestão e apostar na melhoria dos seus processos de forma a conseguirem produzir produtos de qualidade utilizando o menor custo de produção possível. O uso das ferramentas Lean Production e das ferramentas de Gestão da Qualidade permite às empresas reduzir, ou até mesmo eliminar alguns desperdícios. Desta forma é possível reduzir custos de produção e aumentar a produtividade. Neste contexto surge a presente dissertação, realizada na empresa IKEA Industry Portugal no âmbito do Mestrado em Engenharia Mecânica – Gestão Industrial, que tem como principal objetivo melhorar o processo produtivo de uma linha de produção da área EdgeBand & Drill, linha Biesse. No início deste projeto esta linha apresentava uma eficiência de 45,83%. Depois da descrição da empresa e do seu funcionamento, realizou-se um estudo sobre o estado atual do sistema produtivo da área de produção em estudo, Edgeband & Drill, mais concretamente da linha Biesse. Desse estudo resultou a identificação de alguns problemas da linha, nomeadamente a baixa eficiência, elevados tempos de paragem da linha, elevada quantidade de peças com defeitos, elevados custos associados a peças sucata, falta de polivalência dos operadores, desperdícios de matérias primas e falta de organização e limpeza da área. Depois de identificados os problemas foram apresentadas algumas propostas de melhoria para o processo produtivo da linha Biesse. Nesta fase foram utilizadas algumas ferramentas Lean e de Gestão da Qualidade. No fim do projeto obteve-se uma redução de 1,26% dos tempos de paragem, uma redução de 1317 peças com defeito e uma poupança de 1147,44€ em peças sucata. Estes valores contribuíram para uma melhoria da eficiência global em cerca de 1,06% para a área EdgeBand & Drill e uma melhoria de 3,11% para a linha em estudo, linha Biesse.

Verificação prática de anomalias em programas de memória transaccional

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

Propagação de vírus informáticos baseada em modelos biológicos

A evolução digital proporcionou às sociedades uma facilidade extraordinária de comunicação. Com o número crescente de computadores e o aumento de acessos à internet, surgiu uma nova forma de criminologia, que cresceu em paralelo com o número de utilizadores. Desta forma, tornou-se comum a criação e difusão de vírus informáticos pelos chamados hackers. Neste trabalho estudam-se modelos de transmissão de vírus informáticos, usando modelos epidemiológicos. Começa-se por fazer uma revisão dos modelos existentes na literatura, de seguida sugerem-se alterações a esses modelos de forma a conseguir uma melhor aproximação à dinâmica real de transmissão de vírus informáticos. As simulações numéricas dos modelos permitem-nos inferir de que uma forma de controlar a transmissão de vírus informáticos é a diminuição da taxa de infeção, isto é, da taxa de transmissão do vírus. No último capítulo enumeram-se as conclusões do trabalho efetuado e indicam-se direções de trabalho futuro.