995 resultados para Necesidad lógica
Resumo:
244 p.
Resumo:
A estabilidade de taludes naturais é um tema de grande interesse ao engenheiro geotécnico, face às significativas perdas econômicas, e até mesmo humanas, resultantes da ruptura de taludes. Estima-se que a deflagração de escorregamentos já provocou milhares de mortes, e dezenas de bilhões de dólares em prejuízos anuais em todo o mundo. Os fenômenos de instabilização de encostas são condicionados por muitos fatores, como o clima, a litologia e as estruturas das rochas, a morfologia, a ação antrópica e outros. A análise dos condicionantes geológicos e geotécnicos de escorregamentos proporciona a apreciação de cada um dos fatores envolvidos nos processos de instabilização de encostas, permitindo a obtenção de resultados de interesse, no que diz respeito ao modo de atuação destes fatores. O presente trabalho tem como objetivo a utilização da Lógica Nebulosa (Fuzzy) para criação de um Modelo que, de forma qualitativa, forneça uma previsão do risco de escorregamento de taludes em solos residuais. Para o cumprimento deste objetivo, foram estudados os fatores envolvidos nos processos de instabilização de encostas, e a forma como estes fatores se interrelacionam. Como experiência do especialista para a elaboração do modelo, foi analisado um extenso banco de dados de escorregamentos na cidade do Rio de Janeiro, disponibilizado pela Fundação Geo-Rio. Apresenta-se, neste trabalho, um caso histórico bem documentado para a validação do Modelo Fuzzy e análises paramétricas, realizadas com o objetivo verificar a coerência do modelo e a influência de cada um dos fatores adotados na previsão do risco de escorregamento. Dentre as principais conclusões, destaca-se a potencialidade da lógica nebulosa na previsão de risco de escorregamentos de taludes em solo residual, aparecendo como uma ferramenta capaz de auxiliar na detecção de áreas de risco.
Resumo:
O objetivo deste trabalho é avaliar os riscos de ocorrências de intrusos em um sistema de computação em nuvem para sistemas distribuídos utilizando lógica nebulosa. A computação em nuvem é um tema que vem sendo bastante abordado e vem alavancando discussões calorosas, tanto na comunidade acadêmica quanto em palestras profissionais. Embora essa tecnologia esteja ganhando mercado, alguns estudiosos encontram-se céticos afirmando que ainda é cedo para se tirar conclusões. Isto se deve principalmente por causa de um fator crítico, que é a segurança dos dados armazenados na nuvem. Para esta dissertação, foi elaborado um sistema distribuído escrito em Java com a finalidade de controlar um processo de desenvolvimento colaborativo de software na nuvem, o qual serviu de estudo de caso para avaliar a abordagem de detecção de intrusos proposta. Este ambiente foi construído com cinco máquinas (sendo quatro máquinas virtuais e uma máquina real). Foram criados dois sistemas de inferência nebulosos, para análise de problemas na rede de segurança implementados em Java, no ambiente distribuído. Foram realizados diversos testes com o intuito de verificar o funcionamento da aplicação, apresentando um resultado satisfatório dentro dessa metodologia.
Resumo:
Os testes são uma atividade crucial no desenvolvimento de sistemas, pois uma boa execução dos testes podem expor anomalias do software e estas podem ser corrigidas ainda no processo de desenvolvimento, reduzindo custos. Esta dissertação apresenta uma ferramenta de testes chamada SIT (Sistema de Testes) que auxiliará no teste de Sistemas de Informações Geográficas (SIG). Os SIG são caracterizados pelo uso de informações espaciais georreferenciadas, que podem gerar um grande número de casos de teste complexos. As técnicas tradicionais de teste são divididas em funcionais e estruturais. Neste trabalho, o SIT abordará os testes funcionais, focado em algumas técnicas clássicas como o particionamento de equivalência e análise do Valor Limite. O SIT também propõe o uso de Lógica Nebulosa como uma ferramenta que irá sugerir um conjunto mínimo de testes a executar nos SIG, ilustrando os benefícios da ferramenta.
Resumo:
Este trabalho propõe-se a descrever uma metodologia para avaliação do sistema de educação fundamental do Estado do Rio de Janeiro, que utiliza a teoria dos conjuntos nebulosos como base, no processo de inferência para geração do Indicador Avaliação do Sistema Educacional (IASE). A base de dados utilizada para criação do indicador IASE foi extraída de dados obtidos do Instituto Nacional de Estudos e Pesquisas Educacionais Anísio Teixeira (INEP). Em seguida, os resultados obtidos são apresentados em um Sistema de informação Geográfica (SIG) possibilitando compreender a correlação de valores alfanuméricos e espacial das informações geradas no sistema nebuloso, de modo apoiar a tomada de decisão das ações governamentais no setor.
Resumo:
A partir de 2011, ocorreram e ainda ocorrerão eventos de grande repercussão para a cidade do Rio de Janeiro, como a conferência Rio+20 das Nações Unidas e eventos esportivos de grande importância mundial (Copa do Mundo de Futebol, Olimpíadas e Paraolimpíadas). Estes acontecimentos possibilitam a atração de recursos financeiros para a cidade, assim como a geração de empregos, melhorias de infraestrutura e valorização imobiliária, tanto territorial quanto predial. Ao optar por um imóvel residencial em determinado bairro, não se avalia apenas o imóvel, mas também as facilidades urbanas disponíveis na localidade. Neste contexto, foi possível definir uma interpretação qualitativa linguística inerente aos bairros da cidade do Rio de Janeiro, integrando-se três técnicas de Inteligência Computacional para a avaliação de benefícios: Lógica Fuzzy, Máquina de Vetores Suporte e Algoritmos Genéticos. A base de dados foi construída com informações da web e institutos governamentais, evidenciando o custo de imóveis residenciais, benefícios e fragilidades dos bairros da cidade. Implementou-se inicialmente a Lógica Fuzzy como um modelo não supervisionado de agrupamento através das Regras Elipsoidais pelo Princípio de Extensão com o uso da Distância de Mahalanobis, configurando-se de forma inferencial os grupos de designação linguística (Bom, Regular e Ruim) de acordo com doze características urbanas. A partir desta discriminação, foi tangível o uso da Máquina de Vetores Suporte integrado aos Algoritmos Genéticos como um método supervisionado, com o fim de buscar/selecionar o menor subconjunto das variáveis presentes no agrupamento que melhor classifique os bairros (Princípio da Parcimônia). A análise das taxas de erro possibilitou a escolha do melhor modelo de classificação com redução do espaço de variáveis, resultando em um subconjunto que contém informações sobre: IDH, quantidade de linhas de ônibus, instituições de ensino, valor m médio, espaços ao ar livre, locais de entretenimento e crimes. A modelagem que combinou as três técnicas de Inteligência Computacional hierarquizou os bairros do Rio de Janeiro com taxas de erros aceitáveis, colaborando na tomada de decisão para a compra e venda de imóveis residenciais. Quando se trata de transporte público na cidade em questão, foi possível perceber que a malha rodoviária ainda é a prioritária
Resumo:
40 hojas.
Resumo:
Mexico
Resumo:
La productividad forrajera (PF) es una variable crítica para el manejo y la planificación de los sistemas de producción ganaderos. Sin embargo, las dificultades para cuantificarla a campo y la necesidad de manejar un marco conceptual robusto para utilizarla en la toma de decisiones hacen que habitualmente los sistemas de producción se manejen con una caracterización rudimentaria de esta variable. En esta tesis se desarrolló un sistema de seguimiento de la PF en tiempo real y a la escala de lote, basado en la lógica de la eficiencia en el uso de la radiación (EUR). Primero se diseñó y se puso en funcionamiento una versión preliminar del sistema, y luego se investigaron en mayor detalle dos aspectos críticos de su funcionamiento: la estimación de la fracción de radiación absorbida por el canopeo (fRFAA) a partir de índices de vegetación derivados de imágenes satelitales, y el comportamiento de la EUR ante variaciones del estrés ambiental, el manejo de la defoliación, y la escala temporal de observación. La metodología para implementar la versión preliminar del sistema de seguimiento forrajero se basó en estimar la fRFAA y la EUR. La primera fue estimada como una función no lineal del índice de vegetación normalizado del sensor MODIS. La estimación de la EUR se basó en calibraciones empíricas entre la PF estimada a campo y la radiación absorbida para dos recursos forrajeros: pasturas de loma y bajos de agropiro. Los resultados mostraron que la radiación absorbida predijo datos independientes de PF con precisión aceptable. El sistema fue implementado informáticamente en un software específico denominado Segf. En relación al primer aspecto de mejora del sistema, la estimación de la fRFAA, se estudió la absorción de radiación a campo con una barra de interceptación en cultivos de trigo (utilizados como modelo experimental) y se la correlacionó con distintos índices de vegetación calculados a partir del sensor espectral MODIS. Se encontró que los índices de vegetación explicaron entre 90 y 94 por ciento de las variaciones de fRFAA. El índice de vegetación mejorado presentó una relación más lineal que el clásico índice de vegetación normalizado, posiblemente debido a la ausencia de saturación del primero ante aumentos del área foliar. En relación al segundo aspecto de mejora del sistema, la variabilidad de la EUR, se realizó un experimento de un año sobre una pastura consociada de festuca y alfalfa sometida a distintos tratamientos. La EUR fue más estable que la fRFAA ante cambios de la disponibilidad de recursos y de intensidad de defoliación. Sin embargo, la EUR tendió a disminuir ante estrés hídrico (déficit y exceso), y a aumentar ante defoliación severa y sombreado. Además, la variabilidad de la EUR a lo largo del rebrote de la pastura y entre tratamientos dependió de la escala temporal de observación o cálculo: fue más variable al considerar períodos de 12 días que al considerar todo el período de rebrote o la estación (45 y 90 días respectivamente). Como resultado de la tesis, los productores agropecuarios y sus asesores cuentan con un sistema capaz de estimar mes a mes la PF de sus lotes para una serie temporal de aproximadamente diez años. Actualmente 1.478.000 ha ganaderas están bajo seguimiento mediante un sistema basado en esta tesis. Esto implica un cambio cualitativo de disponibilidad de información y representa una oportunidad para tomar mejores decisiones de manejo, a la vez que concientiza sobre el uso racional del forraje para maximizar su crecimiento. Adicionalmente, la base de datos de PF generada, extraordinariamente amplia en su cobertura espacial y temporal, será de utilidad para trabajos de investigación sobre los patrones espacio-temporales de PF.
Resumo:
La productividad forrajera (PF)es una variable crítica para el manejo y la planificación de los sistemas de producción ganaderos. Sin embargo, las dificultades para cuantificarla a campo y la necesidad de manejar un marco conceptual robusto para utilizarla en la toma de decisiones hacen que habitualmente los sistemas de producción se manejen con una caracterización rudimentaria de esta variable. En esta tesis se desarrolló un sistema de seguimiento de la PF en tiempo real y a la escala de lote, basado en la lógica de la eficiencia en el uso de la radiación (EUR). Primero se diseñó y se puso en funcionamiento una versión preliminar del sistema, y luego se investigaron en mayor detalle dos aspectos críticos de su funcionamiento: la estimación de la fracción de radiación absorbida por el canopeo (fRFAA)a partir de índices de vegetación derivados de imágenes satelitales, y el comportamiento de la EUR ante variaciones del estrés ambiental, el manejo de la defoliación, y la escala temporal de observación. La metodología para implementar la versión preliminar del sistema de seguimiento forrajero se basó en estimar la fRFAA y la EUR. La primera fue estimada como una función no lineal del índice de vegetación normalizado del sensor MODIS. La estimación de la EUR se basó en calibraciones empíricas entre la PF estimada a campo y la radiación absorbida para dos recursos forrajeros: pasturas de loma y bajos de agropiro. Los resultados mostraron que la radiación absorbida predijo datos independientes de PF con precisión aceptable. El sistema fue implementado informáticamente en un software específico denominado Segf. En relación al primer aspecto de mejora del sistema, la estimación de la fRFAA, se estudió la absorción de radiación a campo con una barra de interceptación en cultivos de trigo (utilizados como modelo experimental)y se la correlacionó con distintos índices de vegetación calculados a partir del sensor espectral MODIS. Se encontró que los índices de vegetación explicaron entre 90 y 94 por ciento de las variaciones de fRFAA. El índice de vegetación mejorado presentó una relación más lineal que el clásico índice de vegetación normalizado, posiblemente debido a la ausencia de saturación del primero ante aumentos del área foliar. En relación al segundo aspecto de mejora del sistema, la variabilidad de la EUR, se realizó un experimento de un año sobre una pastura consociada de festuca y alfalfa sometida a distintos tratamientos. La EUR fue más estable que la fRFAA ante cambios de la disponibilidad de recursos y de intensidad de defoliación. Sin embargo, la EUR tendió a disminuir ante estrés hídrico (déficit y exceso), y a aumentar ante defoliación severa y sombreado. Además, la variabilidad de la EUR a lo largo del rebrote de la pastura y entre tratamientos dependió de la escala temporal de observación o cálculo: fue más variable al considerar períodos de 12 días que al considerar todo el período de rebrote o la estación (45 y 90 días respectivamente). Como resultado de la tesis, los productores agropecuarios y sus asesores cuentan con un sistema capaz de estimar mes a mes la PF de sus lotes para una serie temporal de aproximadamente diez años. Actualmente 1.478.000 ha ganaderas están bajo seguimiento mediante un sistema basado en esta tesis. Esto implica un cambio cualitativo de disponibilidad de información y representa una oportunidad para tomar mejores decisiones de manejo, a la vez que concientiza sobre el uso racional del forraje para maximizar su crecimiento. Adicionalmente, la base de datos de PF generada, extraordinariamente amplia en su cobertura espacial y temporal, será de utilidad para trabajos de investigación sobre los patrones espacio-temporales de PF.
Resumo:
En los últimos años la probabilidad ha pasado a formar parte del currículo de los programas de matemáticas en la educación básica de una gran cantidad de países del mundo. Esta realidad plantea un reto didáctico que conlleva no sólo la elaboración de los programas para cada nivel educativo, sino su implementación didáctica en el salón de clase. Por la experiencia alcanzada en los cursos universitarios y por las investigaciones didácticas realizadas recientemente, se acepta que la probabilidad es un tema particularmente difícil.
Resumo:
Presentamos el juego skedoodle sobre tablero, al que llamamos skedoodtable. Exponemos tres juegos de lógica, que en versiones simplificadas permiten su uso en la última etapa de la Primaria y en la Educación Secundaria Obligatoria (ESO): Eleusis, Zendo y Mastermind, con variantes. Son juegos que aunque conocidos, permanecen olvidados. Por ello presentamos algunas orientaciones didácticas.
Resumo:
O uso cada vez mais intenso de conceitos subjetivos - provenientes da lógica fuzzy - aplicados a problemas reais nos motivou a desenvolver procedimentos para a introdução destas idéias no âmbito do ensino médio. O projeto propõe inicialmente o estudo de conjuntos fuzzy que podem ser entendidos com exemplos - de variação populacional, de controle de pragas e de epidemias. Posteriormente, usar as “operações fuzzy” Sup e Inf em produtos de matrizes para realizar diagnósticos e avaliações subjetivas. As situações abordadas já estão na literatura (Barros e Bassanezi, 2006), entretanto não como fonte para o Ensino Médio. Um dos objetivos principais deste trabalho é contrapor a crença de exatidão da matemática clássica com os resultados provenientes de lógica subjetiva, utilizando conceitos apropriados para os estudantes destas séries: teoria dos conjuntos, relações e funções, matrizes, equações de diferenças e outros.
Resumo:
We tried to extend the notion of truth, from the rational concept towards the subjective one. We not only exist by the thought, but also by the feeling. If we apply the scientific method to everything, we remain without art. We want to adhere ourselves to the intimate experience of the subjective thing. In art, the eye introduces the perspective and eliminates the interpretation possibility. Something similar happens with the matter: verb is to matter as name is to form. The Academy has given importance to the form, and it has forgotten the poetical qualities of the matter; it has focused on the figure and it has forgotten the background. However, we have to pay attention to the accidental thing, to the rupture of the protocol, to the frenzy of everything that is alive. For this reason, we pay attention to our intuition, to the sleepy subsoil of our ordinary experience whose inertia has lost the disruptive value of the action. At the end of this article we offer practical exercises, with which we wish to revitalize our centres of attention.
Resumo:
Conjunto de archivos relacionados con los temas de la asignatura Lógica 2: Reglas de Inferencia, ejercicios de lógica resueltos y tareas propuestas para los alumnos de la licenciatura en Filosofía que cursan esta asignatura.