Aplicando métodos de solução de problemas em tarefas de interpretação de rochas

A Engenharia de Conhecimento (Knowledge Engineering - KE) atual considera o desenvolvimento de Sistemas Baseados em Conhecimento (Knowledge- Based Systems - KBSs) como um processo de modelagem baseado em modelos de conhecimento reusáveis. A noção de Métodos de Solução de Problemas (Problem- Solving Methods - PSMs) desempenha um importante papel neste cenário de pesquisa, pois representa o conhecimento inferencial de KBSs em um formalismo explícito. Não menos importante, PSMs também facilitam a compreensão do processo de raciocínio desenvolvido por humanos. PSMs são descritos em um formalismo abstrato e independente de implementação, facilitando a análise do conhecimento inferencial que muitas vezes é obscurecido em grandes bases de conhecimento. Desta forma, este trabalho discute a noção de PSMs, avaliando os problemas de pesquisa envolvidos no processo de desenvolvimento e especificação de um método, como também analisando as possibilidades de aplicação de PSMs. O trabalho apresenta a descrição e análise de um estudo de caso sobre o processo de desenvolvimento, especificação e aplicação de um PSM Interpretação de Rochas. As tarefas de interpretação de rochas são desenvolvidas por petrógrafos especialistas e correspondem a um importante passo na caracterização de rochasreservatório de petróleo e definição de técnicas de exploração, permitindo que companhias de petróleo reduzam custos de exploração normalmente muito elevados. Para suportar o desenvolvimento de KBSs neste domínio de aplicação, foram desenvolvidos dois PSMs novos: o PSM Interpretação de Rochas e o PSM Interpretação de Ambientes Diagenéticos. Tais métodos foram especificados a partir de uma análise da perícia em Petrografia Sedimentar, como também a partir de modelos de conhecimento e dados desenvolvidos durante o projeto PetroGrapher. O PSM Interpretação de Rochas e o PSM Interpretação de Ambientes Diagenéticos são especificados conceitualmente em termos de competência, especificação operacional e requisitos/suposições. Tais definições detalham os componentes centrais de um esquema de raciocínio para interpretação de rochas. Este esquema é empregado como um modelo de compreensão e análise do processo de raciocínio requerido para orientar o desenvolvimento de uma arquitetura de raciocínio para interpretação de rochas. Esta arquitetura é descrita em termos de requisitos de armazenamento e manipulação de dados e conhecimento, permitindo projetar e construir um algoritmo de inferência simbólico para uma aplicação de bancos de dados inteligentes denominada PetroGrapher.

Modelos Matemáticos e Métodos de Solução para Problemas de Dimensionamento de Lotes

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

Solução de problemas inversos de transferência radiativa em meios heterogêneos unidimensionais e uma e duas camadas utilizando o algoritmo dos vagalumes

Esta tese apresenta um estudo sobre modelagem computacional onde são aplicadas meta-heurísticas de otimização na solução de problemas inversos de transferência radiativa em meios unidimensionais com albedo dependente da variável óptica, e meios unidimensionais de duas camadas onde o problema inverso é tratado como um problema de otimização. O trabalho aplica uma meta-heurística baseada em comportamentos da natureza conhecida como algoritmo dos vagalumes. Inicialmente, foram feitos estudos comparativos de desempenho com dois outros algoritmos estocásticos clássicos. Os resultados encontrados indicaram que a escolha do algoritmo dos vagalumes era apropriada. Em seguida, foram propostas outras estratégias que foram inseridas no algoritmo dos vagalumes canônico. Foi proposto um caso onde se testou e investigou todas as potenciais estratégias. As que apresentaram os melhores resultados foram, então, testadas em mais dois casos distintos. Todos os três casos testados foram em um ambiente de uma camada, com albedo de espalhamento dependente da posição espacial. As estratégias que apresentaram os resultados mais competitivos foram testadas em um meio de duas camadas. Para este novo cenário foram propostos cinco novos casos de testes. Os resultados obtidos, pelas novas variantes do algoritmo dos vagalumes, foram criticamente analisados.

Da contagem à (re)solução de problemas

Relatório de estágio para a obtenção do grau de Mestre em Educação Pré-Escolar e Ensino do 1ºCiclo do Ensino Básico

Aplicação de Inteligência Computacional para a Solução de Problemas Inversos de Transferência Radiativa em Meios Participantes Unidimensionais

Esta pesquisa consiste na solução do problema inverso de transferência radiativa para um meio participante (emissor, absorvedor e/ou espalhador) homogêneo unidimensional em uma camada, usando-se a combinação de rede neural artificial (RNA) com técnicas de otimização. A saída da RNA, devidamente treinada, apresenta os valores das propriedades radiativas [ω, τ0, ρ1 e ρ2] que são otimizadas através das seguintes técnicas: Particle Collision Algorithm (PCA), Algoritmos Genéticos (AG), Greedy Randomized Adaptive Search Procedure (GRASP) e Busca Tabu (BT). Os dados usados no treinamento da RNA são sintéticos, gerados através do problema direto sem a introdução de ruído. Os resultados obtidos unicamente pela RNA, apresentam um erro médio percentual menor que 1,64%, seria satisfatório, todavia para o tratamento usando-se as quatro técnicas de otimização citadas anteriormente, os resultados tornaram-se ainda melhores com erros percentuais menores que 0,04%, especialmente quando a otimização é feita por AG.

Uma abordagem nebulosa para solução de problemas de diagnóstico, investigação e tratamento de desordens.

Este trabalho tem por objetivo apresentar uma abordagem integrada para diagnóstico, investigação e tratamentos de desordens (doenças, falhas de computadores, etc.). Nesta nova abordagem, denominada Teoria das Coberturas Nebulosas (TCN), o conhecimento é basicamente modelado através de associações causais e a inferência é abdutiva. Conceitos de Parsimonious Covering Theory (PCT), lógica nebulosa e teoria de decisão são também integrados, de maneira a tratar os vários aspectos inerentes aos processos envolvidos em raciocínio clínico. Por exemplo, a possibilidade de diversas desordens estarem conjuntamente causando um conjunto de manifestações, a manipulação de informações temporais, a consideração de condições favoráveis ao desenvolvimento de uma desordem, a incapacidade do especialista em oferecer conhecimento generalizado desprovido de incerteza e/ou imprecisão, a manipulação de fatores cruciais na tomada de decisão nas tarefas de investigação e tratamento como o custo e o risco são alguns dos aspectos abordados neste trabalho. A validação do modelo teórico foi realizada em fitopatologia, abordando especificamente a diagnose, investigação e tratamento de doenças de milho. Entretanto, devido a sua generalidade, espera-se que os desenvolvimentos teóricos obtidos possam ser aplicados para resolver problemas de diagnóstico em outras áreas de conhecimento.

Problemas, métodos y sentido de la evaluación de la docencia universitaria.

Resumen en inglés

Uma abordagem analítica para a solução de problemas multidimensionais de secagem baseados no modelo de Luikov

Este trabalho pretende, na visão de novas tecnologias, discutir o processo de forjamento das ligas de alumínio (ABNT 6061), buscando propor uma metodologia baseada na ciência da engenharia. Deseja-se minimizar os procedimentos de tentativa e erro no desenvolvimento de processos de conformação. Para tanto, novas tecnologias disponíveis atualmente, tais como o Projeto Assistido por Computador (CAD), a Fabricação Assistida por Computador (CAM) e a Simulação do Processo (CAE) são empregadas. Resultados experimentais mostrando o comportamento da liga ABNT 6061 através das curvas de escoamento bem como o estabelecimento da condição do atrito no processo de conformação, avaliando dois lubrificantes comerciais disponíveis (Deltaforge 31 e Oildag) para aplicações nas ligas de alumínio, são reportados neste trabalho. A comparação dos resultados obtidos de um experimento prático de forjamento com a simulação pelo "Método dos Elementos Finitos" usando o código "QForm" é apresentada para uma peça de simetria axial em liga de alumínio. Finalmente, os resultados obtidos no forjamento de um componente automotivo em liga de alumínio (ABNT 6061), desenvolvido em parceria com a empresa Dana, são analisados e comparados com as simulações computacionais realizadas usando o código "Superforge".

Análise da implementação de uma ferramenta de solução de problemas : o caso de uma indústria de autopeças a partir de um modelo teórico

Resumo não disponível.

Uma análise de modelos quantitativos aplicados a solução de problemas de Plant - Layout

Este trabalho tem por objetivo reunir e analisar os modelos quantitativos mais comumente usados como suporte às atividades dos especialistas, responsáveis, nas empresas, pela consecução do melhor arranjo. Enfase especial é dispensada à análise dos modelos computacionais que, de fato, constitui a parte central da monografia. Não há qualquer pretensão de originalidade para os conceitos e para o material aqui apresentado.

Modelo de incentivos para solução dos problemas de clientes nas agências bancárias

Os bancos possuem dificuldade em solucionar os problemas dos clientes. Mais especificamente nas agências, onde a maior parte das metas dos gerentes está relacionada à comercialização de novos produtos e prospecção de novos clientes, interromper esta dinâmica para tratar de problemas de produtos já vendidos ou outros tipos de solicitação representa custo adicional e baixo potencial de receitas para o gerente. Como a agência é um dos principais canais de atendimento dos bancos e estas instituições continuamente pregam a qualidade nos serviços como pilar estratégico, é fundamental que os gerentes sejam tempestivos na resolução de problemas. A dificuldade em se fazer um monitoramento adequado, principalmente nos grandes bancos, pode implicar no surgimento de moral hazard. Ou seja, os gerentes podem optar por direcionar seus esforços àquilo que lhes trazem uma recompensa maior (vendas), preterindo a solução de problemas, ou priorizando apenas aquelas que podem aumentar a sua remuneração. Este trabalho discute o modelo de contrato de incentivos dos gerentes de agência em um banco de varejo brasileiro e, através de análises quantitativas da base de manifestações, procura identificar os gaps existentes que permitem a ocorrência de moral hazard a fim de propiciar mudanças no formato de contrato. O escopo do estudo está limitado a dois dos segmentos de correntistas. Espera-se poder contribuir com a prática administrativa a fim de permitir que os gestores consigam desenhar contratos de incentivos mais robustos, que os clientes usufruam de um serviço bancário com mais qualidade e que o banco analisado possa aumentar a fidelização de clientes.

Um método numérico para a solução de problemas em física quântica de poucos corpos

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

Desempenho de crianças do ensino fundamental na solução de problemas aritméticos

Este estudo buscou comparar o desempenho de alunos da primeira série do ensino fundamental (Grupos 1F e 1IN) e alunos da segunda série do ensino fundamental (Grupos 2F e 2IN), testados no início (IN) ou final do ano letivo (F), na solução de problemas matemáticos. Trinta e oito alunos divididos em 4 grupos foram submetidos ao mesmo procedimento, que consistia da apresentação oral de problemas matemáticos. Após cada resposta, o aluno era questionado sobre a forma de solução. Os dados foram analisados quanto ao índice de acertos e às estratégias empregadas. Os acertos e o uso da escrita foram maiores no Grupo 2F e menores no Grupo 1IN. Os grupos 2F e 1F apresentaram uso mais freqüente de algoritmos. Os resultados também indicam melhor desempenho do Grupo 1F em relação ao Grupo 2IN, sugerindo que a história de freqüência recente à escola favorece o desempenho dos alunos.