74 resultados para Modelos de separa
Resumo:
No processo de desenvolvimento de software, um dos problemas recorrentes garantir que as expectativas das partes interessadas (stakeholders) esto a ser satisfeitas. Expectativas essas que correspondem ao comportamento do sistema. A disciplina de Engenharia de Requisitos estuda a melhor forma de capturar, especificar, validar e gerir requisitos. No entanto, os modelos utilizados que expressam os comportamentos, muitas das vezes, no so entendidos por parte dos stakeholders. Com a introduo das metodologias geis, que se baseiam no princpio de uma colaborao ativa e contnua dos stakeholders durante o desenvolvimento de software, os pressupostos da disciplina de Engenharia de Requisitos foram questionados e fizeram nascer novas prticas. Uma prtica que emergiu foi o Desenvolvimento Orientado ao Comportamento (BDD). Surgiu com a finalidade de dar a capacidade aos stakeholders de expressarem, sob a forma textual, o comportamento que desejam para o seu software, de forma simples e sucinta. No entanto, no existindo restries nem validaes automticas na escrita dos stakeholders, criada a possibilidade de introduo de ambiguidade e perda de informao quando a equipa de desenvolvimento utiliza os cenrios descritos. Dado este problema, propomos uma abordagem em que os stakeholders consigam especificar cenrios comportamentais, de forma cognitiva, com uma representao simples, clara e mais precisa. Criamos duas linguagens, o DomainMap e o BehaviorMap, que esto relacionadas entre si: uma para representar modelos de domnio e outra para representar cenrios BDD, respetivamente. Foi executada uma experincia com 15 indivduos para comparar o esforo cognitivo na compreenso entre cenrios BehaviorMap e cenrios textuais e os resultados mostraram que o BehaviorMap teve melhor desempenho.
Resumo:
Neste trabalho, so apresentados e discutidos os procedimentos prescritos no Eurocdigo 3, Parte 1-8, para clculo e dimensionamento de ligaes pilar-viga com chapa de extremidade, em estruturas de ao. Em particular, analisado o mtodo das componentes, que permite determinar a resistncia e rigidez rotacional de juntas metlicas, possibilitando a utilizao de ligaes semi-rgidas, que frequentemente resultam em ligaes mais econmicas. A metodologia descrita aplicada em dois exemplos numricos, tendo-se comparado os valores calculados com os resultados obtidos atravs de um programa de clculo automtico (Powerconnect) que tambm se baseia no mtodo das componentes. As anlises efetuadas permitem constatar que existem algumas vertentes do programa que podem ser melhoradas. Recorreu-se ainda a um programa de clculo automtico comercial (Sap2000) para comparar os esforos atuantes numa estrutura metlica com ligaes rgidas e semi-rgidas, tendo-se concludo que existem diferenas significativas entre as distribuies de esforos obtidas para as duas situaes.
Resumo:
As cartas topogrficas so representaes planas, generalizadas e reduzidas escala, de zonas da superfcie terrestre, contendo smbolos e informao textual para a descrio dos objectos. A forma mais comum de as produzir por intermdio de fotografias areas, principalmente pela afinidade entre o contedo destas e aquilo que se convencionou representar na carta. O Instituto Geogrfico do Exrcito (IGeoE) uma entidade produtora de cartografia que prov, com informao geogrfica, as Foras Armadas e a comunidade civil. A caracterizao do relevo parte da informao existente na carta, concretizada atravs das curvas de nvel: linhas curvas que representam uma cota pr-definida (convencionado de 10 em 10 m nas cartas escala 1/25 000), constante em toda a sua extenso. Estas acompanham as formas do terreno e indicam a altitude do nvel do solo, independentemente de se cruzarem com outros objectos superfcie terrestre (como edifcios ou arvoredo). A informao do relevo bastante completa, abrangendo a rea de toda a carta. As curvas de nvel so, por norma, restitudas, manualmente, por um operador numa estao fotogramtrica, numa tarefa compreensivelmente morosa. Uma das alternativas para a representao do relevo por intermdio da correlao automtica de fotografias areas, da resultando uma nuvem de pontos cotados numa grelha regular, cada um com uma coordenada tridimensional. Alguns desses pontos contm rudo, visto representarem no a cota ao nvel do solo, mas a cota de objectos sobre a superfcie terrestre. O processo de eliminao desse rudo, que permite corrigir a cota do topo do objecto para o solo, designa-se por filtragem. H diversos processos de filtragem de nuvens de pontos, embora nenhum consiga obter resultados totalmente satisfatrios, apresentando mais ou menos dificuldades em algumas zonas de terreno especficas (zonas urbanizadas ou vegetao baixa, por exemplo). Um dos caminhos apontados para auxiliar a filtragem a utilizao de outros recursos que forneam mais informao, para alm da simples coordenada tridimensional do ponto a corrigir, bem como uma mistura de algoritmos, tentando conciliar os pontos fortes de cada uma destas abordagens. O presente trabalho desenvolveu uma metodologia automtica para representar o relevo a partir de uma nuvem de pontos cotados, para ser integrada na cadeia de produo do IGeoE. A partir de uma nuvem de pontos primria, e utilizando como dados de entrada ortofotos e informao vectorial dos objectos da edio anterior e da edio de trabalho da carta (excepto relevo) da mesma regio, efectua quatro filtragens: filtragem de edifcios, filtragem de reas de arvoredo superiores a 150 m x 150 m, filtragem de reas de arvoredo inferiores a 150 m x 150 m e rvores isoladas (envolvendo a deteco de rvores em ortofotos, ao nvel do pixel, por algoritmo de aprendizagem automtica), e filtragem por declives.
Resumo:
A estimao das provises para sinistros de extrema importncia na atividade de uma seguradora do ramo No Vida, porque, por um lado, so necessrios recursos suficientes para garantir o pagamento de qualquer sinistro que ocorra e, por outro, o excesso de provises pode condicionar a rentabilidade da companhia. Assim, faz parte do papel do aturio garantir a adequao destas provises tcnicas. Com esse propsito, habitualmente utilizado o mtodo determinstico Chain Ladder para a estimao das provises para sinistros. Contudo, de forma a contornar as limitaes desta metodologia, recorre-se a modelos estocsticos, como o modelo proposto por Thomas Mack, uma aplicao dos Modelos Lineares Generalizados, a tcnica Bootstrap, entre outros. Dos modelos estocsticos de salientar um dos mais recentemente estudados, Double Chain Ladder, que est diretamente associado ao mtodo Chain Ladder, trazendo algumas vantagens sobre esse ltimo e possibilitando tambm a aplicao da tcnica Bootstrap e uma simples associao ao mtodo Bornhuetter-Ferguson. O objetivo desta dissertao consiste na aplicao e anlise destes modelos na estimao de provises para sinistros no ramo No Vida.
Resumo:
Este artigo tem por base um estudo enquadrado no uso de materiais/modelos de ensino da Matemtica na dcada de 60, aquando da implementao do Movimento Matemtica Moderna, em Portugal. Para atingir este objectivo definimos trs questes: 1) J havia interesse no uso destes novos mtodos de ensino, e consequentemente no uso de materiais diversos que levassem a uma melhor aprendizagem por parte dos alunos, antes da dcada de 60? 2) De que modo os professores aplicaram e usaram estes mtodos/materiais na sua prtica docente? E que formao tiveram? 3) Quais os mtodos e materiais que os professores utilizavam nas suas aulas? O foco central deste trabalho parte da anlise de dois artigos escritos na revista Labor, o primeiro em 1952 e o segundo em 1960, pelo professor Antnio Augusto Lopes1 sobre o uso de materiais no 1 ciclo e o Laboratrio de Matemtica. Toda a pesquisa deste trabalho focou-se na interpretao de material fornecido pelo professor Lopes (manuscritos, relatrios, livros e fotografias, documentos do Ministrio da Educao Nacional), bem como por reflexes e comentrios do prprio, registadas na forma de entrevista,2 sobre o que foi o Movimento Matemtica Moderna ao nvel da prtica docente, com recurso a novas metodologias e materiais de ensino. O perodo que ir ser analisado em termos cronolgicos ser de 1957 a 1965, isto porque um perodo experimental e de mudana. A reunio de 57 da CIEAEM em Madrid o marco histrico que ir despoletar o interesse da Comisso e de Augusto Lopes para a aplicao dos novos materiais\modelos. Apesar de s em 1965 serem criadas as primeiras turmas piloto para aplicao das metodologias e dos novos materiais\modelos preconizadas pelo MMM.
Resumo:
Anualmente os incndios florestais causam prejuzos por territrios por todo o mundo. Nas ltimas dcadas, estudos sobre o comportamento do fogo e avanos em tecnologias SIG, deram origem a modelos matemticos de previso e sua insero em sistemas informticos de simulao de comportamento e propagao de fogo. A utilizao destes necessita da caracterizao das variveis que determinam o comportamento do fogo: variveis topogrficas, condies meteorolgicas e combustvel vegetal. A vegetao assume-se como a nica varivel que pode ser controlada atravs de medidas de gesto e a mais estudada por todo o mundo. A sua caracterizao geralmente efetuada atravs de modelos de combustvel, que consiste num conjunto de propriedades quantificveis utilizadas nos modelos de comportamento do fogo. Atravs da utilizao do simulador FARSITE, foi efetuada a simulao de comportamento de fogo em reas de ocorrncia de incndios florestais localizadas na regio do Alentejo Central, Portugal, recorrendo a diversos conjuntos de modelos de combustvel para caracterizar a vegetao. Os resultados evidenciam, no geral, um maior rigor dos modelos de combustvel customizados na caracterizao da vegetao da rea de estudo.
Resumo:
Um dos mais graves problemas que se apresentam ao poder pblico em nossos dias a manuteno da segurana pblica, em especial, graas s mudanas sociais ocorridas aps os anos 60 do sculo passado. Para fazer frente aos novos desafios, houve necessidade de uma mudana de paradigmas nos modelos de gesto policial. O policiamento era caracterizado por patrulhas dispostas de forma aleatria e de forma reativa, atendendo s ocorrncias. Contudo, tal forma de atuar no respondia mais s necessidades das comunidades. Era necessrio que a polcia se tornasse mais proativa, e dispusesse seus meios de uma forma mais eficiente. Paralelamente aos fenmenos anteriormente comentados, o mundo conheceu um rpido desenvolvimento das tecnologias de informao como um todo. Estes novos sistemas permitiram o desenvolvimento de uma nova capacidade de processamento de informaes dos mais diversos tipos, numricas, de texto, figuras e de localizao. Este ltimo tipo de dado, em razo de sua relevncia levou a criao dos sistemas de Informao Geogrficas (SIG), os quais permitiram um aprofundamento da anlise espacial de fenmenos de interesse. Com o avanar das tecnologias disponveis, foram possveis anlises cada vez mais complexas dos dados, sendo necessria a possibilidade de fuso entre dados de diversas fontes e tipos, incluindo o dado espacial. Este novo tipo de anlise, unindo dados geoespaciais com diversos outros tipos de informaes deu origem a uma nova modalidade de inteligncia: a Geointeligncia. Desta forma, tendo em vista que o crime , por sua prpria natureza, um evento espacialmente localizado, natural que houvesse uma aproximao entre as necessidades de novos modelos de gesto policial, fundamentados principalmente em dados objetivamente analisados e na Geointeligncia. Dessa aproximao surgiram diversos modelos de negcios de gesto de policiamento, dentre os quais se destacam o policiamento orientado ao problema (POP) e o policiamento orientado pela inteligncia (ILP). Assim, o principal objetivo dessa dissertao verificar como seu deu tal impacto, bem como, atravs de exemplos, demonstrar a aplicao prtica da Geointeligncia em modelos de gesto de policiamento.
Resumo:
Os modelos de comportamento de solos que aplicam a teoria da mecnica dos solos dos estados crticos so uma importante base para a compreenso do comportamento dos solos e uma ferramenta que permite, de uma forma simples, ter em conta aspetos do comportamento que os mo-delos muito bsicos no permitem. Neste trabalho compara-se, com recurso aos programas de clculo geotcnico PLAXIS e CRISP, a utilizao de dois modelos - um elstico-perfeitamente plstico (modelo Mohr-Coulomb) e outro baseado nos estados crticos (modelo Cam-Clay Modificado) - na determina-o das presses e dos impulsos de terras sobre estruturas de suporte rgidas. Comparam-se tambm os resultados numricos com os obtidos com mtodos analticos. Exceto para casos mais complexos (utilizando simultaneamente solo sobreconsolidado e pa-ramento rugoso), os impulsos ativos e passivos obtidos com o modelo Cam-Clay Modificado so se-melhantes aos obtidos com o modelo Mohr-Coulomb e com os mtodos analticos, concluindo-se que o modelo avanado modela satisfatoriamente a rotura do solo. Este modelo apresenta inclusive aspetos interessantes, como o desenvolvimento, em alguns casos em que se utiliza solo sobreconsolidado, de uma resistncia de pico, que se evidencia no aparecimento de um impulso de pico. No entanto, na utilizao do modelo deve ter-se em ateno alguns aspetos, nomeadamente a forma como se obtm o seu parmetro de resistncia,
Resumo:
Esta tese tem como anexo um vdeo e uma tabela excel esto disponveis para consulta nesta Biblioteca.
Resumo:
Na presente dissertao estudaram-se diferentes mtodos de clculo usados para a determinao da deformao (curvatura, rotao, extenso e flecha) em vigas de beto armado. Estudou-se o mtodo de clculo dito exato, mtodo de integrao numrica, e comparou-se os resultados obtidos por este mtodo com aqueles ditos simplificados, dos quais se d particular destaque ao mtodo da seco determinante. Apresenta-se tambm uma anlise comparativa de resultados experimentais obtidos em laboratrio com os resultados tericos, obtidos pela aplicao do mtodo de integrao numrica. Estudou-se igualmente a influncia que certos parmetros, como o caso da fendilhao, fluncia, retrao e resistncia compresso do beto, tm na deformao de vigas de beto armado. O estudo da deformao foi efetuado considerando trs tipos de seco: retangular, em T e em I. Por ltimo o autor implementou um programa de clculo em VBA Excel com o objetivo de quantificar os parmetros da deformao em vigas de beto armado com seces: retangular, em T e em I, pela aplicao do mtodo de integrao numrica, de acordo com a norma EN 1992-1-1.
Resumo:
Neste trabalho propomos um novo tipo de modelo, que designamos por modelo com aninhamento em escada estruturado. Este modelo tem por base o modelo com aninhamento em escada e, tal como este, apresenta vantagens face ao aninhamento equilibrado. Permite grande economia no nmero de observaes utilizadas e uma distribuio mais uniforme da informao pelos vrios factores. Com este novo tipo de modelo podemos construir novos modelos, tambm em escada, mais complexos do que os existentes at agora. No aninhamento em escada a cada degrau do modelo corresponde um factor. Generalizamos a teoria destes modelos introduzindo a possibilidade de se desagregar cada um dos factores intervenientes, passando os degraus a terem submodelos com estrutura ortogonal. Para estudar o aninhamento em escada estruturado, propomos duas estruturas algbricas que, apesar de diferentes, possibilitam obter os mesmos estimadores dos parmetros relevantes. lgebras de Jordan comutativas so utilizadas para exprimir essas estruturas. Usando as matrizes da base principal, das lgebras a que se associam os modelos, a estimao vai ter por base a relao entre as componentes de varincia cannicas e as usuais. Para alm do aninhamento em escada estruturado, apresentamos tambm modelos obtidos cruzando vrios desses aninhamentos.
Resumo:
Este trabalho tem o objectivo de criar um Editor e Visualizador Web de Formas de Onda para controladores digitais especificados com modelos Redes de Petri Input-Output Place-Transition (IOPT). Aps uma anlise das ferramentas existentes e constatando-se a inexistncia de uma ferramenta adequada a essa funo, desenvolveu-se uma ferramenta denominada Wave4IOPT, que permite a visualizao das formas de onda de sinais e eventos de entrada e de sada ao longo do tempo. A ferramenta permite tambm a visualizao dos resultados do histrico de uma simulao de uma Rede de Petri IOPT, proveniente do Simulador das IOPT-Tools. Esta ferramenta incorpora funcionalidades de edio, modos de visualizao e um mdulo bsico de identificao e correco de erros dos valores das formas de onda. O Wave4IOPT est disponvel a partir de um browser e prev-se que venha a estar integrado no ambiente de ferramentas IOPT-Tools. Esta ferramenta foi construda utilizando tecnologias Web como HTML, JavaScript, CSS, SVG e JSON. Adicionalmente, o Wave4IOPT poder tambm servir para a edio, visualizao e anlise de outros tipos de sinais digitais, desde que sejam preenchidos os requisitos da estrutura do ficheiro JSON que ser lido pela ferramenta.
Resumo:
O Hospital definido como local de elevada importncia devido s caratersticas e funes que tem, tais como assegurar que consegue receber todos os utentes da sua zona de ao, trata-los com dignidade e dar-lhes as melhores condies de forma rpida e eficaz para que estes consigam recuperar das suas doenas com a maior brevidade. Destes esto dependentes vidas humanas, como tal de todo relevante ter uma gesto adequada de toda a infra-estrutura para que a eficincia seja alta e se consiga dar mais e melhor a todos os utentes, visto j se ter notado que nem sempre estes tiram o melhor partido das suas capacidades pelas mais diversas razes. Este projeto foi realizado numa parceria com o Hospital Professor Doutor Fernando Fonseca e consistiu em escrutinar dois servios do hospital, o de tecnologia de informao e a Tomografia Axial Computorizada de imagiologia para perceber quais as falhas destes e como que aplicando um modelo de gesto de Tecnologia de Informao denominado COBIT adaptado se consegue melhorar os resultados obtidos e as condies dadas pelo hospital. Este estudo permite perceber o porqu e as causas de uma estrutura deste tipo no dar o rendimento esperado e quais as implicncias disso. Atravs dos resultados so analisadas os maiores pontos de rutura e retiradas elaes sobre as possveis melhorias a aplicar que a nvel tecnolgico, de recursos humanos, financeiro e de otimizao do risco e melhoramento da eficcia de recursos.
Resumo:
A Internet das Coisas tal como o Big Data e a anlise dos dados so dos temas mais discutidos ao querermos observar ou prever as tendncias do mercado para as prximas dcadas, como o volume econmico, financeiro e social, pelo que ser relevante perceber a importncia destes temas na atualidade. Nesta dissertao ser descrita a origem da Internet das Coisas, a sua definio (por vezes confundida com o termo Machine to Machine, redes interligadas de mquinas controladas e monitorizadas remotamente e que possibilitam a troca de dados (Bahga e Madisetti 2014)), o seu ecossistema que envolve a tecnologia, software, dispositivos, aplicaes, a infra-estrutura envolvente, e ainda os aspetos relacionados com a segurana, privacidade e modelos de negcios da Internet das Coisas. Pretende-se igualmente explicar cada um dos Vs associados ao Big Data: Velocidade, Volume, Variedade e Veracidade, a importncia da Business Inteligence e do Data Mining, destacando-se algumas tcnicas utilizadas de modo a transformar o volume dos dados em conhecimento para as empresas. Um dos objetivos deste trabalho a anlise das reas de IoT, modelos de negcio e as implicaes do Big Data e da anlise de dados como elementos chave para a dinamizao do negcio de uma empresa nesta rea. O mercado da Internet of Things tem vindo a ganhar dimenso, fruto da Internet e da tecnologia. Devido importncia destes dois recursos e falta de estudos em Portugal neste campo, com esta dissertao, sustentada na metodologia do Estudo do Caso, pretende-se dar a conhecer a experincia portuguesa no mercado da Internet das Coisas. Visa-se assim perceber quais os mecanismos utilizados para trabalhar os dados, a metodologia, sua importncia, que consequncias trazem para o modelo de negcio e quais as decises tomadas com base nesses mesmos dados. Este estudo tem ainda como objetivo incentivar empresas portuguesas que estejam neste mercado ou que nele pretendam aceder, a adoptarem estratgias, mecanismos e ferramentas concretas no que diz respeito ao Big Data e anlise dos dados.
