1000 resultados para Verificação por modelos


Relevância:

20.00% 20.00%

Publicador:

Resumo:

A Fibrilhação Auricular é uma alteração do ritmo cardíaco designada por arritmia. Esta patologia é considerada a forma de arritmia mais frequentemente observada na prática clínica e que constitui uma importante causa de morbilidade pelo risco inerente de desenvolvimento de AVC. Em 2010 foi realizado um estudo epidemiológico na população Portuguesa com o objectivo determinar a prevalência de Fibrilhação Auricular na população portuguesa com idade igual ou superior a 40 anos, sob o acrónimo de FAMA. Os dados publicados indicaram uma estimativa de prevalência de 2,5%, com um aumento da prevalência em função da classe etária. A nível regional não foram observadas diferenças na taxa de prevalência. Estudos de mapeamento de doenças mostraram que a determinação de taxas de prevalência por região, quando o número de casos observados é relativamente baixo, apresentam sobredispersão e, consequentemente, uma falta de precisão nas estimativas obtidas através um método frequencista clássico. A utilização de modelos Bayesianos hierárquicos no mapeamento de doenças tem apresentado vantagem na estimação de valores de risco da doença comparativamente à abordagem clássica. Assim, é objectivo deste trabalho determinar a prevalência de Fibrilhação Auricular na população Portuguesa por região, ao nível da NUTS III, usando modelos hierárquicos Bayesianos. Os dados utilizados neste estudo são os dados referentes ao estudo FAMA, pós-estratificados para correcção dos ponderadores. O modelo Bayesiano proposto por Besag, York e Mollié (1991) foi usado para modelar os dados, covariando para a idade e índice de massa corporal. A revisão do desenho do estudo e o recálculo dos ponderadores foi realizado com recurso ao software R, survey, e a análise Bayesiana efectuada através do WinBugs. iii Os resultados deste estudo demonstram que o uso de modelos Bayesianos são uma melhor opção para a estimação de valores risco relativo e prevalência da doença. Contudo, a utilização de covariáveis não resultou numa melhoria considerável ao contrário do que seria esperado. Conclui-se que a Fibrilhação Auricular apresenta variações regionais significativas, a nível de NUTS III, que não devem ser desvalorizadas na determinação de políticas de saúde pública para controle da doença.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

O principal objectivo deste trabalho assenta em desenvolver modelos de previsão de preços de commodities para assim comparar a capacidade preditiva da simulação de Monte Carlo com a das redes neuronais. A simulação de Monte Carlo é principalmente utilizada para avaliar as opções, já as redes neuronais são utilizadas para fazer previsões, classificações, clustering ou aproximação de funções. Os diversos modelos desenvolvidos foram aplicados na previsão do preço futuro do milho, petróleo, ouro e cobre. Sendo que os horizontes temporais testados neste trabalho foram 1 dia, 5 dias, 20 dias e 60 dias. Através da análise do erro absoluto médio percentual (MAPE) concluiu-se que no geral o modelo individual que apresentou um melhor desempenho preditivo foram as redes neuronais. Contudo, nas previsões a 1 e a 5 dias os resultados obtidos foram semelhantes para ambos os modelos. Para se tentar melhorar os resultados obtidos pelos modelos individuais foram aplicadas algumas técnicas de combinação de modelos. A combinação de modelos demonstrou no geral capacidade para melhorar os resultados dos modelos individuais, porém apenas para o horizonte a 60 dias é que os resultados melhoraram significativamente.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

A elicitação de requisitos é uma das primeiras actividades do processo de Engenharia de Requisitos. Através desta etapa é possível capturar e estruturar os requisitos dos stakeholders e do sistema a ser implementado. Tipicamente esta estruturação é representada através de notação gráfica com o auxílio de ferramentas CASE. Estas ferramentas tornam esta actividade exclusiva, em termos de acessibilidade, a engenheiros sem deficiências físicas devido à complexidade das funcionalidades oferecidas pelas mesmas que permitem construir estes modelos. Nesta dissertação de mestrado é proposto desenvolver uma abordagem com suporte de uma ferramenta para melhorar a acessibilidade, e consequentemente,integrar um engenheiro de requisitos com limitações físicas na actividade de elicitação de requisitos. A ferramenta também possibilita uma alternativa para os stakeholders em geral para produzir modelos sem usar as mãos quando for mais conveniente. Esta abordagem propõe usar mecanismos de voz na geração de modelos de requisitos, mais concretamente modelos de requisitos orientados a objectivos, modelos de objectos e modelos de features usando técnicas de Model-Driven Development (MDD) (e.g., metamodelos). O stakeholder assim irá capturar os seus requisitos através de mecanismos de reconhecimento de voz, sendo automaticamente realizada uma transformação do seu discurso para um modelo KAOS, para um modelo conceptual ou para um modelo de features.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

As abordagens de engenharia de requisitos orientada a objetivos oferecem mecanismos que ajudam na elicitação e modelação de requisitos. A presente dissertação centra-se no framework i*, uma das mais importantes linguagens de especificação de modelos de requisitos orientados a objetivos, que conta com grupos de trabalho em mais de vinte países e com sete edições de workshops internacionais. Existem alguns problemas que podem afetar a qualidade de modelos i*. A sua criação pode resultar em modelos complexos e/ou incompletos, assim como incorretos devido ao mau uso da notação do i*. Estes problemas contribuem para a existência de dificuldades na gestão e compreensão dos sistemas de software o que, por sua vez, leva a um aumento dos custos de desenvolvimento. A qualidade dos modelos deve, então, ser uma preocupação constante, por forma a que sejam construídos modelos corretos, completos e cuja complexidade acidental seja minimizada. Não obstante a sua importância, a gestão eficaz destes três aspetos é, ainda, um problema em aberto. Nesta dissertação é proposto um conjunto de métricas para dar suporte à avaliação quantitativa dos atributos de qualidade complexidade, completude e correção nos modelos de requisitos i*. As métricas são definidas seguindo a abordagem Goal-Question- Metric, sendo definidas tanto de modo informal, em língua natural, como formalmente, em OCL (Object Contraint Language), e incorporadas numa ferramenta de modelação i* para que possam ser recolhidas de modo automático. As métricas são avaliadas experimentalmente, através de um conjunto de casos de estudo reais e académicos, e teoricamente, através de propriedades deWeyuker.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

No processo de desenvolvimento de software, um dos problemas recorrentes é garantir que as expectativas das partes interessadas (stakeholders) estão 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, não são entendidos por parte dos stakeholders. Com a introdução das metodologias ágeis, que se baseiam no princípio de uma colaboração ativa e contínua dos stakeholders durante o desenvolvimento de software, os pressupostos da disciplina de Engenharia de Requisitos foram questionados e fizeram nascer novas práticas. Uma prática 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, não existindo restrições nem validações automáticas na escrita dos stakeholders, é criada a possibilidade de introdução de ambiguidade e perda de informação quando a equipa de desenvolvimento utiliza os cenários descritos. Dado este problema, propomos uma abordagem em que os stakeholders consigam especificar cenários comportamentais, de forma cognitiva, com uma representação simples, clara e mais precisa. Criamos duas linguagens, o DomainMap e o BehaviorMap, que estão relacionadas entre si: uma para representar modelos de domínio e outra para representar cenários BDD, respetivamente. Foi executada uma experiência com 15 indivíduos para comparar o esforço cognitivo na compreensão entre cenários BehaviorMap e cenários textuais e os resultados mostraram que o BehaviorMap teve melhor desempenho.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Neste trabalho, são apresentados e discutidos os procedimentos prescritos no Eurocódigo 3, Parte 1-8, para cálculo e dimensionamento de ligações pilar-viga com chapa de extremidade, em estruturas de aço. Em particular, é analisado o método das componentes, que permite determinar a resistência e rigidez rotacional de juntas metálicas, possibilitando a utilização de ligações semi-rígidas, que frequentemente resultam em ligações mais económicas. A metodologia descrita é aplicada em dois exemplos numéricos, tendo-se comparado os valores calculados com os resultados obtidos através de um programa de cálculo automático (Powerconnect) que também se baseia no método das componentes. As análises efetuadas permitem constatar que existem algumas vertentes do programa que podem ser melhoradas. Recorreu-se ainda a um programa de cálculo automático comercial (Sap2000) para comparar os esforços atuantes numa estrutura metálica com ligações rígidas e semi-rígidas, tendo-se concluído que existem diferenças significativas entre as distribuições de esforços obtidas para as duas situações.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

As cartas topográficas são representações planas, generalizadas e reduzidas à escala, de zonas da superfície terrestre, contendo símbolos e informação textual para a descrição dos objectos. A forma mais comum de as produzir é por intermédio de fotografias aéreas, principalmente pela afinidade entre o conteúdo destas e aquilo que se convencionou representar na carta. O Instituto Geográfico do Exército (IGeoE) é uma entidade produtora de cartografia que provê, com informação geográfica, as Forças Armadas e a comunidade civil. A caracterização do relevo é parte da informação existente na carta, concretizada através das curvas de nível: 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 extensão. Estas acompanham as formas do terreno e indicam a altitude do nível do solo, independentemente de se cruzarem com outros objectos à superfície terrestre (como edifícios ou arvoredo). A informação do relevo é bastante completa, abrangendo a área de toda a carta. As curvas de nível são, por norma, restituídas, manualmente, por um operador numa estação fotogramétrica, numa tarefa compreensivelmente morosa. Uma das alternativas para a representação do relevo é por intermédio da correlação automática de fotografias aéreas, daí resultando uma nuvem de pontos cotados numa grelha regular, cada um com uma coordenada tridimensional. Alguns desses pontos contêm “ruído”, visto representarem não a cota ao nível do solo, mas a cota de objectos sobre a superfície terrestre. O processo de eliminação desse “ruído”, 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 satisfatórios, apresentando mais ou menos dificuldades em algumas zonas de terreno específicas (zonas urbanizadas ou vegetação baixa, por exemplo). Um dos caminhos apontados para auxiliar a filtragem é a utilização de outros recursos que forneçam mais informação, para além 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 automática para representar o relevo a partir de uma nuvem de pontos cotados, para ser integrada na cadeia de produção do IGeoE. A partir de uma nuvem de pontos primária, e utilizando como dados de entrada ortofotos e informação vectorial dos objectos da edição anterior e da edição de trabalho da carta (excepto relevo) da mesma região, efectua quatro filtragens: filtragem de edifícios, 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 detecção de árvores em ortofotos, ao nível do pixel, por algoritmo de aprendizagem automática), e filtragem por declives.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

A estimação das provisões para sinistros é de extrema importância na atividade de uma seguradora do ramo Não Vida, porque, por um lado, são necessários recursos suficientes para garantir o pagamento de qualquer sinistro que ocorra e, por outro, o excesso de provisões pode condicionar a rentabilidade da companhia. Assim, faz parte do papel do atuário garantir a adequação destas provisões técnicas. Com esse propósito, é habitualmente utilizado o método determinístico Chain Ladder para a estimação das provisões para sinistros. Contudo, de forma a contornar as limitações desta metodologia, recorre-se a modelos estocásticos, como o modelo proposto por Thomas Mack, uma aplicação dos Modelos Lineares Generalizados, a técnica Bootstrap, entre outros. Dos modelos estocásticos é de salientar um dos mais recentemente estudados, Double Chain Ladder, que está diretamente associado ao método Chain Ladder, trazendo algumas vantagens sobre esse último e possibilitando também a aplicação da técnica Bootstrap e uma simples associação ao método Bornhuetter-Ferguson. O objetivo desta dissertação consiste na aplicação e análise destes modelos na estimação de provisões para sinistros no ramo Não Vida.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

A crescente necessidade no sector da construção de se procurar soluções que conciliem estética, economia, segurança e adaptação aos condicionamentos, tem levado os projectistas a explorar os mais diversos sistemas estruturais, incluindo alguns que se encontravam em desuso, mas que têm vindo a ser aperfeiçoados. Incidindo nesta problemática, esta dissertação teve como objectivos a análise e o dimensionamento de uma cobertura metálica que utiliza o conceito da treliça Vierendeel, devidamente modificado para se tornar uma solução mais competitiva face às soluções mais usadas actualmente. O projecto analisado nesta dissertação é da autoria da empresa Tal Projecto (projecto arquitectónico da autoria do Atelier Fernando Jorge Correia) e consiste na cobertura envidraçada com estrutura metálica do Hotel da Ilha, em Luanda, Angola (actualmente já implementada no local).

Relevância:

20.00% 20.00%

Publicador:

Resumo:

O presente trabalho tem como objetivo avaliar os limites de esbelteza preconizados nos regulamentos e normas utilizados em Portugal relativamente ao estado limite de deformação. Serão comparados diretamente para os mesmos vãos, os conceitos de verificação indireta de deformação do Regulamento de Estruturas de Betão Armado e Pré-esforçado (REBAP) e do Eurocódigo 2: Parte 1–1 (EC2-1-1), para lajes e vigas. Inicialmente será efetuado um estudo académico paramétrico, onde são avaliadas as flechas verticais em serviço para diferentes vãos, condições de apoio e geometria em planta. São comparados inicialmente os valores das flechas para análises lineares, usando as tabelas de Bares e modelos de elementos finitos com o software comercial SAP2000, de maneira a validar o modelo. De seguida são aplicados os métodos simplificativos de cálculo de flechas a longo prazo usando os ábacos do Comité Euro-International du Béton (CEB). Estes valores são depois comparados com as análises fisicamente não lineares em estado fendilhado a longo prazo com o SAP2000. O objetivo principal é portanto estabelecer comparações entre os dois métodos de análise pretendendo-se mostrar que a modelação com elementos finitos conduz a valores de deformações inferiores ao cálculo analítico permitindo uma maior economia no dimensionamento de elementos estruturais. Para finalizar é apresentado um manual de utilizador com o intuito de auxiliar o processo de modelação de elementos estruturais com elementos finitos não lineares utilizando o programa referido.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

A avaliação de sustentabilidade de organizações tem ganho relevância nos últimos anos, tendo sido visível o seu crescente reconhecimento no setor público. Cada vez mais há a necessidade de comunicar a sustentabilidade do setor, avaliando o seu desempenho económico-financeiro, ambiental e social. Neste âmbito, os instrumentos de avaliação de desempenho pretendem contribuir para o apoio à gestão e à tomada de decisão, fomentando a melhoria contínua e a comunicação com as partes interessadas (stakeholders), e potenciando a existência de benchmarking entre organizações do mesmo tipo. Os modelos de avaliação de desempenho de sustentabilidade para organizações do setor público constituem assim uma ferramenta de particular importância para a gestão, assumindo também um papel fundamental no envolvimento das organizações com as partes interessadas. A comunicação do desempenho de sustentabilidade a todos os interessados contribui igualmente para a transparência, credibilidade e reputação das organizações do setor. Apesar de existirem vários trabalhos sobre a importância do envolvimento das partes interessadas em processos de avaliação e gestão de desempenho de organizações, a integração ativa das partes interessadas em processos relacionados com a sustentabilidade organizacional tem sido pouco explorada, continuando a existir um deficit de investigação neste domínio. O objetivo do presente trabalho de investigação centrou-se no desenvolvimento de uma ferramenta que permita a avaliação de desempenho de sustentabilidade de organizações do setor público pelas partes interessadas, e que simultaneamente complemente a componente formal de avaliação. Esta ferramenta pretende apoiar a integração de contributos voluntários das partes interessadas, internas e externas, de organizações do setor público em processos de avaliação de desempenho. Transpondo o conceito de ‘Monitorização Voluntária’ utilizado em programas de monitorização ambiental, para o contexto organizacional, elaboraram-se duas listas de verificação compostas por diferentes tipos de questões (refletindo práticas e indicadores de desempenho) a colocar às diferentes partes interessadas de uma organização do setor público. A lista destinada às partes interessadas internas inclui questões de preenchimento voluntário que visam aferir três dimensões: (i) a perceção das partes interessadas acerca da sustentabilidade da organização; (ii) a adoção de práticas sustentáveis no local de trabalho pelas partes interessadas (funcionários/colaboradores); e (iii) a recolha de dados de carácter qualitativo conduzida pelas partes interessadas, normalmente apoiada na observação direta. Mediante a realização de um workshop participativo, a lista de verificação para partes interessadas internas foi avaliada junto de uma organização da Administração Pública Central Portuguesa – a Direção Geral de Armamento e Infraestruturas de Defesa do Ministério da Defesa Nacional. No workshop participativo, que envolveu 19 funcionários (chefias intermédias e técnicos superiores), foi avaliada a lista de verificação de acordo com um sistema de classificação suportado nos seguintes critérios: ‘compreensibilidade’, ‘relevância’ e ‘fiabilidade’. As pontuações atribuídas a cada critério, complementadas com as informações de carácter qualitativo recolhidas durante o exercício participativo, contribuíram para aferição e definição da lista final de questões. Alguns dos principais aspetos apontados pelos participantes centraram-se no número excessivo de questões, na redação demasiado técnica de alguns itens, bem como o peso significativo da dimensão ambiental. Desta forma, após a análise e ponderação dos diferentes contributos, foi possível proceder à redução de cerca de 30% do número total de questões incluídas na lista original de verificação, e à simplificação e clarificação dos itens mais visados pelos participantes. A lista final passou a incluir 61 questões, em detrimento das 85 iniciais.(...)

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Este artigo tem por base um estudo enquadrado no uso de materiais/modelos de ensino da Matemática na década de 60, aquando da implementação do Movimento Matemática Moderna, em Portugal. Para atingir este objectivo definimos três questões: 1) Já havia interesse no uso destes novos métodos de ensino, e consequentemente no uso de materiais diversos que levassem a uma melhor aprendizagem por parte dos alunos, antes da década de 60? 2) De que modo os professores aplicaram e usaram estes métodos/materiais na sua prática docente? E que formação tiveram? 3) Quais os métodos e materiais que os professores utilizavam nas suas aulas? O foco central deste trabalho parte da análise de dois artigos escritos na revista Labor, o primeiro em 1952 e o segundo em 1960, pelo professor António Augusto Lopes1 sobre o uso de materiais no 1º ciclo e o Laboratório de Matemática. Toda a pesquisa deste trabalho focou-se na interpretação de material fornecido pelo professor Lopes (manuscritos, relatórios, livros e fotografias, documentos do Ministério da Educação Nacional), bem como por reflexões e comentários do próprio, registadas na forma de entrevista,2 sobre o que foi o Movimento Matemática Moderna ao nível da prática docente, com recurso a novas metodologias e materiais de ensino. O período que irá ser analisado em termos cronológicos será de 1957 a 1965, isto porque é um período experimental e de mudança. A reunião de 57 da CIEAEM em Madrid é o marco histórico que irá despoletar o interesse da Comissão e de Augusto Lopes para a aplicação dos novos materiais\modelos. Apesar de só em 1965 serem criadas as primeiras turmas piloto para aplicação das metodologias e dos novos materiais\modelos preconizadas pelo MMM.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Anualmente os incêndios florestais causam prejuízos por territórios por todo o mundo. Nas últimas décadas, estudos sobre o comportamento do fogo e avanços em tecnologias SIG, deram origem a modelos matemáticos de previsão e à sua inserção em sistemas informáticos de simulação de comportamento e propagação de fogo. A utilização destes necessita da caracterização das variáveis que determinam o comportamento do fogo: variáveis topográficas, condições meteorológicas e combustível vegetal. A vegetação assume-se como a única variável que pode ser controlada através de medidas de gestão e a mais estudada por todo o mundo. A sua caracterização é geralmente efetuada através de modelos de combustível, que consiste num conjunto de propriedades quantificáveis utilizadas nos modelos de comportamento do fogo. Através da utilização do simulador FARSITE, foi efetuada a simulação de comportamento de fogo em áreas de ocorrência de incêndios florestais localizadas na região do Alentejo Central, Portugal, recorrendo a diversos conjuntos de modelos de combustível para caracterizar a vegetação. Os resultados evidenciam, no geral, um maior rigor dos modelos de combustível customizados na caracterização da vegetação da área de estudo.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Presentemente, a Comunidade para o Desenvolvimento da África Austral (SADC) apresenta-se como uma das mais desenvolvidas tentativas de integração do continente africano. Esta organização passou a revestir-se, em 1992, de um caráter permanente, tornando-se produto de um esforço de institucionalização que se tem vindo a materializar no estabelecimento de metas e estágios para um ambicioso projeto de integração económica. As suas instituições, frequentemente percecionadas como sendo regidas por uma lógica intergovernamental, serão a unidade focal desta análise. Esta tem como principal objetivo a verificação do seu impacto no processo de integração económica desta organização, particularmente o estabelecimento de uma relação de causalidade entre a estrutura institucional e o atual estado da vertente económica do processo integrativo. Procura-se assim inferir se o quadro institucional da organização é capaz de gerar uma dinâmica autónoma em prol da integração ou se sucumbe perante o voluntarismo estatal dos seus membros. A conclusão a que se chegará, como se pretende advogar, não implica dimensões mutuamente exclusivas, podendo traduzir-se numa conceção híbrida acerca do papel institucional no curso evolutivo da SADC, porventura mais fiel à complexidade deste bloco regional. A hipótese explicativa para o atual estado integrativo (económico) da SADC que se testará nesta análise será a de que a relativa fragilidade institucional desta organização - caso tal se verifique - não a impede de se desenvolver num curto a médio-prazo e, pelo contrário, constitui um dos incentivos à participação dos Estados Membros. Argumentar-se-á adicionalmente que os interesses integrativos dos Estados que a compõem não derivam de um qualquer espírito pós ou antinacional, mas antes de um condicionamento histórico favorável à cooperação intra-africana e de um cálculo de interesses que redunda na aceção de que a ação concertada entre Estados lhes confere vantagens estratégicas. Por isso mesmo, os modelos teóricos que substanciarão a análise, ainda que recorram por vezes aos moldes seminais derivados do estudo da experiência integrativa europeia, abarcarão também um conjunto de escolhas plásticas e maleáveis à realidade regional. Dentro do leque de estudos disponíveis, primar-se-á igualmente pela flexibilidade e abrangência. A difícil conciliação entre profundidade e abrangência redundará numa escolha de relevantes e úteis correntes teóricas, na qual se destacam o institucionalismo histórico e o institucionalismo da escolha racional, bem como o intergovernamentalismo liberal, o neofuncionalismo e a teoria do dominó aplicada aos blocos regionais.