26 resultados para Modelação
em Repositório Digital da UNIVERSIDADE DA MADEIRA - Portugal
Resumo:
A soma de variáveis aleatórias com número de parcelas é aleatório, para além do evidente interesse conceptual e teórico, tem larga ressonância na investigação do processo de risco e em processos de ramificação. Reformulamos a teoria de Panjer (1981), que permite o cálculo iterativo do risco agregado, com o recurso a valores médios de uniformes, descrevendo uma extensão da classe de Panjer, e estudando em detalhe a equação funcional que a caracteriza. Aplicamos essas ideias na caracterização de aleatoriedade discreta, exemplificando com o comportamento das fêmeas de pássaros que investem na promiscuidade de parceiros para garantir a diversidade genética da progénie, tendo no entanto o cuidado de manter as aparências de fidelidade, para garantir a cooperação do parceiro no sucesso da ninhada. Apresentamos as transformadas de Laplace e funções geradoras numa perspectiva que leva a uma introdção natural de transformadas de Pareto, cuja relevância exemplificamos.
Resumo:
Nesta dissertação investigamos a problemática da criação de sistemas e interfaces que permitam a interacção entre pessoas e máquinas através de linguagem natural(LN), recorrendo a Gestores de Diálogo (GD). Esse tipo de interacção concretiza-se através do estabelecimento de diálogos entre uma pessoa (cliente ou utilizador de um serviço) e a máquina, por exemplo, e em particular, através da fala. Quando disponibilizado da forma tradicional, o acesso ao serviço exige um intermediário Humano ou a adaptação da Pessoa a interfaces menos naturais, tais como linhas de comandos num computador, digitadas através de teclado ou o recurso (usual) a janelas, cliques de rato e preenchimento de formulários. Os sistemas que possibilitam a intermediação com esses serviços através de LN chamam-se Sistemas de Diálogo (SD), no núcleo dos quais se encontram os chamados Gestores de Diálogo. A implementação de SDs robustos ainda constitui um desafio, dada a complexidade, problemas e dificuldades que apresenta. Um SD, e em particular um GD, tem de ser configurado para levar a cabo um diálogo em linguagem natural com um Humano, por mais restrito ou mais genérico que seja o domínio (ou tarefa) considerado. Infelizmente, existem poucas metodologias e ferramentas de autoria que possibilitem a modelação fácil e intuitiva de tais diálogos (sobre os GDs). Nesta dissertação apresentamos uma metodologia [Quintal & Sampaio, 2007] e uma ferramenta para a autoria de diálogos com base no Gestor de Diálogo MIDIKI [Burke, 2005b]. A ferramenta de autoria automatiza as partes mais importantes da geração de código com vista à execução de um diálogo nesse GD.
Resumo:
Orientador: Alberto Manuel Rodrigues da Silva
Resumo:
Miguel Fernandes
Resumo:
Nesta dissertação apresento um estudo detalhado de vários aspectos da interacção entre um plasma de arco de alta pressão e cátodos refractários. Um modelo da camada de plasma junto ao cátodo num plasma sujeito a uma pressão da ordem de uma ou várias atmosferas é reconsiderado com base em recentes resultados teóricos. A física da camada de plasma junto ao cátodo é analisada para valores da queda de tensão na camada de plasma junto ao cátodo até 50V, de acordo com recentes resultados experimentais que mostram que a queda de tensão na camada de plasma junto ao cátodo numa descarga de arco de alta pressão pode atingir valores tão elevados. São identificados os mecanismos que originam a não monotonia da dependência da densidade de fluxo de energia (proveniente do plasma para a superfície do cátodo) em relação à temperatura da superfície do cátodo, para um valor fixo da queda de tensão junto ao cátodo. Uma descrição fechada da interacção plasma-cátodo é obtida por meio da resolução numérica do problema não linear com condições de fronteira para a distribuição da temperatura no interior do corpo do cátodo. São apresentados resultados da modelação numérica da descarga difusa nas condições de funcionamento de uma lâmpada de descarga experimental, sendo bom o acordo entre os resultados numéricos e os dados experimentais. Manchas solitárias num cátodo plano infinito e modos difuso e mancha axialmente simétricos em cátodos finitos de descargas de arco de alta pressão são estudados num grande intervalo de corrente. São analisados aspectos gerais e apresentados resultados numéricos referentes a cátodos de tungsténio planos e de forma cilíndrica a operar num plasma de argon à pressão atmosférica para correntes de arco até 100 kA. Émostrado, em particular, que a temperatura da superfície do cátodo no interior de uma mancha solitária varia relativamente pouco, podendo ser estimada com uma precisão de cerca de 200 − 300K sem ser necesário resolver a equação da condução térmica no corpo do cátodo. O comportamento assimptótico das soluções para um cátodo finito no caso limite de altas correntes é encontrado e confirmado pelos resultados numéricos. É confirmado um padrão geral das características tensão-corrente de vários modos de transferência de corrente em cátodos finitos sugerido previamente com base numa análise de bifurcações. É estudada a transição de modos mancha num cátodo finito no limite de cátodos de grandes dimensões para o modo mancha solitária num cátodo plano infinito. É estabelecido que o modo mancha solitária representa uma forma limite do modo mancha de alta tensão num cátodo finito. É considerada a questão da distinção entre modo difuso e modo mancha num cátodo finito. É desenvolvida uma abordagem para o cálculo de pontos de bifurcação nos quais soluções mancha tridimensionais bifurcam-se a partir de soluções que descrevem o modo difuso e modos mancha axialmente simétricos. Em particular, é calculado o primeiro ponto de bifurcação posicionado na solução que descreve o modo difuso e, por conseguinte, o seu limite de estabilidade, isto é, a corrente abaixo da qual o modo difuso torna-se instável. São apresentados os resultados da modelação numérica efectuada para o caso de um cátodo de tungsténio de forma cilíndrica a operar num plasma de alta pressão. É estudado o efeito produzido no limite de estabilidade pelas variações dos parâmetros de controle (dimensões do cátodo, função de trabalho do material do cátodo, tipo e pressão do gás que produz o plasma). Foi encontrado que o comportamento do limite de estabilidade sujeito a estas variações está em conformidade com as tendências observadas experimentalmente. Foi encontrado que o limite de estabilidade é muito mais sensível às variações dos parâmetros de controle do que as características tensão-corrente do modo difuso, sendo o efeito mais forte produzido pelas variações das dimensões do cátodo e da função de trabalho do material do cátodo. Este resultado está em conformidade com o facto experimental de que a transição difuso-mancha é de difícil reprodução.
Resumo:
A introdução de um novo material para a execução de estruturas, implica um amplo estudo sobre o mesmo, para que seja aceite como um material de utilização, ou solução, corrente na engenharia civil. Os varões plásticos reforçados com fibra de vidro, GFRP,apresentam-se com diversas vantagens para uma solução de substituição das tradicionais armaduras de aço no betão armado. Um Estado da Arte foi apurado para determinar o ponto de situação do conhecimento e dos estudos realizados por vários autores, desde o início das pesquisas até aos mais recentes estudos disponíveis. Neste seguimento, o presente estudo incide na análise do comportamento à flexão de vigas contínuas de betão armado com varões de GFRP, submetidas a um carregamento distribuído. O trabalho realiza-se com base em 18 modelos de elementos finitos para uma análise paramétrica, sendo os parâmetros estudados, o vão, a percentagem de armadura de flexão e a esbelteza da secção. Para validação do modelo foram, modeladas 7 vigas reais ensaiadas no âmbito de trabalhos de investigação de dois autores Os resultados das modelações das análises paramétricas foram comparados com uma análise elástica e uma análise plástica, utilizando a metodologia do ACI 440.1R-06, para a carga última de dimensionamento. Outras comparações foram feitas através dos limites de deformação do EN 1992-1-1, 2004. Analisa-se a distribuição de esforços, não elásticos, devido à perda de rigidez da viga. Os modelos das vigas mais esbeltas e com menor percentagem de armadura mostraram maior concordância com a análise realizada. As deformações comparadas com o limite L/250 mostram concordância de resultados.
Resumo:
Os escoamentos no interior de zonas urbanas, apresentam grande heterogeneidade, pelo que a sua caracterização, requer uma formulação que incorpore explicitamente essa variabilidade espacial. A caracterização, simulação (à escala) e modelação do escoamento em canais artificiais e a aplicação a um caso de estudo, no Laboratório de Hidráulica da UMa, representa o cerne desta dissertação. Os objetivos principais desta dissertação são: a caracterização e desenvolvimento de ferramentas de simulação do comportamento do escoamento em canais artificiais, no caso de uma variação súbita dos caudais afluentes, mecanismos de prevenção de cheia; o desenvolvimento de um modelo de simulação hidrodinâmico, considerando os escoamentos variáveis em superfície livre no caso de situações de cheia, na simulação entre as condições variáveis das afluências, das condições hidromorfológicas do canal e da instalação e operação dos sistemas e regulação dos escoamentos; e ainda a análise da viabilidade da simulação (modelo) na gestão e prevenção de cheias em canais artificiais. Numa primeira instância, procede-se à recolha de toda a informação bibliográfica disponível. Com recurso aos modelos digitais do terreno e ao programa ArcGis, é efetuada toda uma exaustiva caracterização da bacia hidrográfica, relativa ao caso de estudo (canal artificial), a partir da qual foi possível obter os dados inerentes às características geométricas, características de relevo e características de drenagem. Segue-se a análise da precipitação com recurso a folhas de cálculo e dados fornecidos pelas instituições pertinentes, de forma a obter valores de precipitação média diária e anual para aplicação de fórmulas, tanto para calcular valores de tempo de concentração, bem como caudais. O próximo passo é selecionar os troços relevantes do canal em estudo e com recurso ao equipamento disponível no Laboratório de Hidráulica da UMa, à folha de cálculo programada e ao programa HEC-RAS procede-se à simulação/modelação/análise desses troços, comparando o resultado/comportamento simulado, com o expectável e entre os vários métodos. Por fim, são expostas as conclusões, bem como algumas considerações finais e uma listagem de objetivos a manter ou alcançar nos próximos anos, onde se incluem, ações prioritárias e recomendações visando, não só melhorar o processo de caracterização do escoamento em canais artificiais, bem como simplificar a prevenção e gestão de cheias.
Resumo:
O principal objetivo desta dissertação é analisar a classe de distribuições de Panjer, algumas das suas extensões e a utilização destas na modelação do risco coletivo. Inicialmente, são referidos alguns momentos históricos importantes no estudo da família de distribuições de Panjer e no desenvolvimento do modelo do risco coletivo. Apresentamos também alguns artigos publicados nos últimos vinte anos sobre estas temáticas. Depois, são apresentados os conceitos e instrumentos fundamentais na construção das extensões da família de Panjer e na construção recursiva das distribuições do modelo do risco coletivo. Tais conceitos e instrumentos incluem a função geradora de probabilidades, a transformada de Laplace, a mistura e modi cação de distribuições de probabilidade. Seguidamente, são caracterizadas as distribuições discretas pertencentes à classe de Panjer, distribuições essas denominadas de distribuições de contagem básicas, de nidas a recursão de Panjer e duas suas extensões e apresentadas as distribuições pertencentes a cada uma delas. Finalmente, é apresentado o modelo do risco coletivo, designadamente o modelo composto das indemnizações agregadas, cujas distribuições, neste caso, são construídas através do método recursivo. São também expostos dois métodos de construção de distribuições aritméticas. A dissertação termina com a dedução de alguns modelos particulares para o risco coletivo, obtidos com o auxílio dos programas informáticos Mathematica e R.
Resumo:
Os modelos e as técnicas de modelação são, hoje em dia, fundamentais na engenharia de software, devido à complexidade e sofisticação dos sistemas de informação actuais.A linguagem Unified Modeling Language (UML) [OMG, 2005a] [OMG, 2005b] tornou-se uma norma para modelação, na engenharia de software e em outras áreas e domínios, mas é reconhecida a sua falta de suporte para a modelação da interactividade e da interface com o utilizador [Nunes and Falcão e Cunha, 2000].Neste trabalho, é explorada a ligação entre as áreas de engenharia de software e de interacção humano-computador, tendo, para isso, sido escolhido o processo de desenvolvimento Wisdom [Nunes and Falcão e Cunha, 2000] [Nunes, 2001]. O método Wisdom é conduzido por casos de utilização essenciais e pelo princípio da prototipificação evolutiva, focando-se no desenho das interfaces com o utilizador através da estrutura da apresentação, com a notação Protótipos Abstractos Canónicos (PAC) [Constantine and Lockwood, 1999] [Constantine, 2003], e do comportamento da interacção com a notação ConcurTaskTrees (CTT) [Paternò, 1999] [Mori, Paternò, et al., 2004] em UML.É proposto, também, neste trabalho um novo passo no processo Wisdom, sendo definido um modelo específico, construído segundo os requisitos da recomendação Model Driven Architecture (MDA) [Soley and OMG, 2000] [OMG, 2003] elaborada pela organização Object Managent Group (OMG). Este modelo específico será o intermediário entre o modelo de desenho e a implementação da interface final com o utilizador. Esta proposta alinha o método Wisdom com a recomendação MDA, tornando possível que sejam gerados, de forma automática, protótipos funcionais de interfaces com o utilizador a partir dos modelos conceptuais de análise e desenho.Foi utilizada a ferramenta de modelação e de metamodelação MetaSketch [Nóbrega, Nunes, et al., 2006] para a definição e manipulação dos modelos e elementos propostos. Foram criadas as aplicações Model2Model e Model2Code para suportar as transformações entre modelos e a geração de código a partir destes. Para a plataforma de implementação foi escolhida a framework Hydra, desenvolvida na linguagem PHP [PHP, 2006], que foi adaptada com alguns conceitos de modo a suportar a abordagem defendida neste trabalho.
Resumo:
Actualmente o desenvolvimento de aplicações baseadas na Web é uma área em crescimento exponencial, graças aos benefícios que estas trouxeram consigo. Com a crescente utilização da Web e a sua evolução como plataforma, surgiram novas tecnologias que vieram revolucionar o desenvolvimento de aplicações sobre esta plataforma. Com interfaces mais ricas e consequentemente mais dinâmicas, este tipo de aplicações assemelham-se às típicas aplicações Desktop com a diferença que estão a ser executadas em um ambiente completamente distinto, um ambiente partilhado e de fácil acesso, sendo o browser a aplicação universal de acesso a qualquer aplicação Web. Designadas serviços, as aplicações Web fornecem funcionalidades semelhantes às das aplicações Desktop, sendo na maioria das vezes software gratuito. Sendo a Google a grande pioneira nesta área, outras grandes entidades viram aqui a oportunidade de distribuir o seu software de uma forma fácil e barata, ficando esta de imediato disponível a milhões de utilizadores. Embora as aplicações Web se assemelhem às aplicações Desktop, ao seu processo de desenvolvimento surgem um conjunto de novos desafios provocados pelo facto de estas se encontrarem em um ambiente completamente distinto.
Resumo:
A utilização de vídeo e áudio sobre a Internet tem ganho nos últimos anos um interesse crescente. Na verdade, o interesse não é recente, mas os limites tecnológicos de variadíssimas ordens impediam o desenvolvimento e a utilização alargada de aplicações com media ricos. Os avanços nas tecnologias relacionadas com, por exemplo, a compressão, as redes e as ferramentas multimédia possibilitaram o desenvolvimento e o funcionamento, de uma forma alargada, de sistemas multimédia. O trabalho apresentado nesta dissertação descreve a especificação e a implementação de um sistema de formação à distância, designado inVídeo, que utiliza o vídeo como elemento central. O sistema tem como objectivo proporcionar formação por intermédio de uma aplicação que permite a visualização paralela de um vídeo com imagens ou animações, acompanhada com outros dados, como texto e acesso a ficheiros que podem ser descarregados. O enquadramento para esta aplicação surgiu das necessidades de formação contínua de um centro hospitalar, todavia a aplicação foi desenvolvida para poder ser utilizada noutras instituições. A especificação passou pela descrição do problema e sua modelação utilizando um método para o desenvolvimento de aplicações interactivas, o WISDOM. A implementação descreve o sistema desenvolvido, a justificação das opções tecnológicas e os resultados de um inquérito feito aos utilizadores do sistema. O desenvolvimento do sistema levou ao estudo e, em alguns casos, à utilização de um conjunto de tecnologias distintas. Os estudos iniciais abordaram as tecnologias que possibilitam a utilização do vídeo sobre a Internet e algumas das suas condicionantes. Seguiram-se a composição, sincronização e interactividade multimédia, e por fim o uso de metadados para conteúdos educacionais. A resposta dada pelos utilizadores durante a utilização do sistema foi bastante satisfatória e revelou um grande interesse no uso do vídeo sobre a Internet. A construção de aplicações para Internet utilizando media exigentes deixou de ser a tarefa complexa que era há alguns anos, isto devido aos avanços tecnológicos. Todavia o desenvolvimento ainda necessita de muita ponderação e do enquadramento de muitos factores relacionados com a codificação dos media e com a heterogeneidade das redes, dos utilizadores e dos equipamentos.
Resumo:
No contexto das tecnologias propostas pela OMG, o MOF é utilizado para definir a sintaxe de linguagens de modelação, contudo, os aspectos semânticos não podem ser capturados usando esta linguagem. A descrição dos aspectos não sintácticos é realizada com recurso à linguagem OCL. Consequentemente, para uma completa definição de uma linguagem de modelação é necessário incorporar o OCL no MOF, criando uma infra-estrutura que possui a expressividade necessária para realizar esta função. Este projecto visa complementar a ferramenta de metamodelação MetaSketch Editor, introduzindo a capacidade de executar expressões em OCL e permitindo, desta forma, a verificação semântica dos modelos construídos usando o MetaSketch Editor. A gramática da linguagem OCL adoptada está de acordo com a especificação elaborada pela OMG (2006-05-01), juntando-se algumas contribuições de trabalhos existentes sobre esta linguagem. O projecto envolveu a implementação de um parser com recurso ao sistema GOLD Parser, a implementação da standard library do OCL em C# e, por último, a implementação de uma estratégia de execução das expressões em OCL.
Resumo:
A nova visão do agente de viagens como consultor de viagens coloca novos desafios ao seu posicionamento no mercado. As agências de viagens necessitam de uma política de inovação, conhecimento e tecnologias da informação e comunicação (TICs)que lhes permitam possuir vantagem competitiva. Esta dissertação aborda o Balanced Scorecard, este método foi utilizado por apresentar um conjunto de perspectivas que permite acompanhar o desempenho de uma empresa prestadora de serviços de turismo, nomeadamente do departamento de incoming – individuais de uma Agência de Viagens, de modo a apoiar e melhorar o processo de gestão da mesma. O Balanced Scorecard visa traduzir a estratégia da empresa em objectivos e medidas dentro de quatro perspectivas: financeira, clientes, processos internos e aprendizagem e crescimento. A implementação deste método facilitou os processos de análise reduzindo a informação necessária para a tomada de decisão a um número de indicadores que traduzem o negócio do departamento. Inclui-se neste estudo a modelação do negócio do departamento de “incoming – individuais” de modo a representar as actividades principais sobre as quais, o departamento se baseia e funciona. Pretendeu-se distinguir quais as actividades e recursos envolvidos na concretização dos objectivos tendo em atenção a sequência das actividades, os serviços prestados e as fontes de informação utilizadas. Esta dissertação descreve ainda a utilização de um sistema de informação baseado numa Intranet, que é o meio ideal para comunicar toda a informação relevante da empresa, podendo ser acedida por todos os funcionários do departamento da Agência de Viagens, com grandes benefícios, quer em termos de gestão, quer em termos funcionais, permitindo a partilha de informação interna melhorando assim a comunicação entre os vários intervenientes. A possibilidade de aceder à base de dados através da intranet permite o acompanhamento permanente do desempenho da unidade de negócio, facilitando o apoio à gestão, em todos os níveis decisórios. Desta forma, os gestores poderão verificar o efeito das suas iniciativas na consecução dos objectivos estratégicos.A nova visão do agente de viagens como consultor de viagens coloca novos desafios ao seu posicionamento no mercado. As agências de viagens necessitam de uma política de inovação, conhecimento e tecnologias da informação e comunicação (TICs) que lhes permitam possuir vantagem competitiva. Esta dissertação aborda o Balanced Scorecard, este método foi utilizado por apresentar um conjunto de perspectivas que permite acompanhar o desempenho de uma empresa prestadora de serviços de turismo, nomeadamente do departamento de incoming – individuais de uma Agência de Viagens, de modo a apoiar e melhorar o processo de gestão da mesma. O Balanced Scorecard visa traduzir a estratégia da empresa em objectivos e medidas dentro de quatro perspectivas: financeira, clientes, processos internos e aprendizagem e crescimento. A implementação deste método facilitou os processos de análise reduzindo a informação necessária para a tomada de decisão a um número de indicadores que traduzem o negócio do departamento. Inclui-se neste estudo a modelação do negócio do departamento de “incoming – individuais” de modo a representar as actividades principais sobre as quais, o departamento se baseia e funciona. Pretendeu-se distinguir quais as actividades e recursos envolvidos na concretização dos objectivos tendo em atenção a sequência das actividades, os serviços prestados e as fontes de informação utilizadas. Esta dissertação descreve ainda a utilização de um sistema de informação baseado numa Intranet, que é o meio ideal para comunicar toda a informação relevante da empresa, podendo ser acedida por todos os funcionários do departamento da Agência de Viagens, com grandes benefícios, quer em termos de gestão, quer em termos funcionais, permitindo a partilha de informação interna melhorando assim a comunicação entre os vários intervenientes. A possibilidade de aceder à base de dados através da intranet permite o acompanhamento permanente do desempenho da unidade de negócio, facilitando o apoio à gestão, em todos os níveis decisórios. Desta forma, os gestores poderão verificar o efeito das suas iniciativas na consecução dos objectivos estratégicos.A intranet permitiu construir uma nova cultura dentro da organização, uma cultura fundamentada na troca de informação e colaboração, sendo o elo de ligação entre as diversas fontes de informação.
Resumo:
Os modelos são tradicionalmente utilizados na engenharia de software para documentar aspetos do desenho e, em alguns casos, como base para a geração de parte ou a totalidade dos sistemas informáticos que descrevem. Embora subsista o debate sobre este tipo de abordagens e sobre o papel e qualidades que os modelos devem possuir nesta área de engenharia, a existência de modelos que estejam em conformidade com linguagens de modelação bem definidas permite outro tipo de utilizações que vão além das anteriormente referidas. Assente no conhecimento existente sobre a visualização de dados, nesta dissertação irá ser demonstrado a utilização de técnicas de visualização que permitem extrair informação sobre os modelos numa perspetiva inovadora e que contribui favoravelmente para uma melhor compreensão, análise e validação dos mesmos.
Resumo:
Os ambientes virtuais têm sido cada vez mais utilizados nas mais diferentes áreas, quer na medicina, engenharia civil ou até mesmo em áreas terapêuticas. Devido à sua emergente utilização foi estabelecido em parceria com o Museu da Baleia, através de várias reuniões, que seria viável a modelação de cenários virtuais, onde se desenvolvessem animações, com o intuito de que representassem o ciclo de vida das baleias cachalotes. Esta escolha foi efectuada de forma a envolver várias temáticas relacionadas com as baleias cachalotes, desde a migração, os problemas relacionados com o lixo no fundo do mar, etc. De seguida, foi construída uma Framework para incorporação destas animações (vídeos) e realização de actividades utilizando diferentes tipos de médias, Realidade Virtual e Realidade Aumentada, tornando desta forma as actividades mais interactivas, estimulantes e atractivas. Para a execução destas etapas do projecto foi decidido utilizar a ferramenta 3ds Max para a modelação dos objectos que iriam compor os cenários virtuais, bem como a sua animação. Para a implementação da Framework foi decidido utilizar o Adobe Flash visto ser uma ferramenta que permite a incorporação de diferentes tipos de médias, de Realidade Virtual, Realidade Aumentada e possibilita a construção de uma interface simples e atractiva. Esta Framework foi desenvolvida para que no futuro seja possível ser modificada, isto é, para que seja capaz de efectuar a incorporação de outros tipos de conteúdos, assim como a edição dos que já estão implementados.