Testes de sistemas de informações geográficas com lógica nebulosa.

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.

Desenvolvimento e implementação de algoritmo para análise de dutos fabricados ou reparados com material compósito carregados com pressão interna utilizando o método dos elementos finitos.

A integridade de dutos ganha importância à medida em que o desenvolvimento da indústria expande a malha para transportar líquidos e gases num contexto de aumento das exigências ambientais. Um importante aliado para manutenção da integridade de dutos são reparos de materiais compósitos. Estes materiais apresentam baixa densidade, capacidade de direcionar resistência de acordo com as direções das solicitações, execução de reparo a frio sem necessidade de interromper produção ou grande maquinário. Este trabalho tem como objetivo desenvolver e implementar um algoritmo de elementos finitos que permita avaliar os esforços e a resistência das paredes de um tubos fabricados ou reparados com laminados de material compósito carregados com pressão interna. Entre as vantagens de desenvolver um programa tem-se: agilidade de avaliação, menor custo com licença, menores exigências computacionais, possibilidade de desenvolver o programa e o melhor entendimento da modelagem dos fenômenos. Utiliza-se como entrada do programa o diâmetro do duto, pressão interna e parâmetros do laminado. A modelagem em elementos finitos é realizada a partir da teoria clássica de laminados. Aplicando o carregamento resultante da pressão interna, determina-se os deslocamentos e são calculadas as tensões e aplicado o critério de falha de Tsai-Hill em cada camada. Estudos experimentais e numéricos encontrados na literatura foram simulados com o programa gerado e os resultados para propriedades do laminado, tensões nos dutos e pressão de ruptura apresentam concordância com os resultados da literatura.O programa ainda tem sua estrutura modificada para encontrar a pressão de falha a partir dos dados do laminado. O programa implementado permite uma avaliação rápida de resistência do reparo e possibilita avaliar rapidamente a resposta a mudanças nos parâmetros de projeto do laminado.

Metodologia de avaliação do sistema educacional no estado do Rio de Janeiro baseado em lógica nebulosa.

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.

A Auditoria Interna como ferramenta de melhoria dos controles internos de uma organização: Estudo de caso em uma empresa do segmento industrial do Rio de Janeiro

A alteração no sistema de controles internos da empresa estudada teve como marco principal a mudança do foco no trabalho da auditoria interna, que começou a desempenhar suas atividades de forma estruturada e seguindo uma metodologia específica; além, de perseguir um objetivo estratégico da organização. A auditoria interna, antes do processo de certificação do sistema de controles internos exigido pela seção 404 da SOX, era apenas um instrumento de detecção de erros e compliance fiscal, que baseava seus trabalhos somente em fatos passados, com a constatação de deficiências de controles. Todavia, sem assessorar a alta a administração da empresa na resolução das deficiências, objetivando a implementação das melhorias dos controles internos. Com a necessidade de certificação da eficácia dos controles internos, a partir do ano de 2005, o foco dos trabalhos de auditoria interna foi direcionado para lograr melhorias nos métodos de controle, gestão de riscos, prevenção de fraudes e erros, nos processos operacionais, contábeis e financeiros da organização. O objetivo dessa pesquisa foi, por meio de estudo de caso único, mensurar os principais procedimentos realizados para a implantação do sistema de controles internos da empresa estudada, incluindo a metodologia adotada, o modelo escolhido, o processo de controle estabelecido, a identificação e avaliação dos principais riscos e controles, bem como a forma de seleção, avaliação e teste dos controles internos existentes. Buscou-se coletar dados preconizados pela literatura de autores renomados e analisar as diversas bibliografias, com o objetivo de comparar com a pesquisa que foi realizada nos documentos fornecidos pela empresa analisada. Este estudo levantou pontos importantes sobre o processo de gestão da empresa e da forma como se utilizou da auditoria interna como ferramenta para a melhoria de seus controles internos. Destacam-se a geração de valor empresarial que um bom ambiente de controle interno traz e os motivos que levam uma organização a implementar uma área de auditoria interna, com especial atenção ao foco de assessoramento e consultoria, alinhado as práticas internacionais de auditoria interna. Entretanto, apesar de observar melhorias na atuação da auditoria interna da organização, constata-se a necessidade de alinhamento de algumas práticas internacionais, ainda não implementadas. Descobriu-se, também, que a auditoria interna, com o devido emporwerment da alta administração, e utilizando-se das técnicas atuais e internacionais, aumentam a confiabilidade do sistema de controles internos e com isso geram valor às suas organizações. Nesta pesquisa pôde-se constatar a utilização da auditoria interna como ferramenta de gestão de recursos organizacionais, ocasionando melhorias no sistema de controles internos da empresa, e ficando constatada, por meio de auditoria executada por firma independente, a irrefutável melhoria dos controles internos da organização estudada.

Modelos de agrupamento e classificação para os bairros da cidade do Rio de Janeiro sob a ótica da Inteligência Computacional: Lógica Fuzzy, Máquinas de Vetores Suporte e Algoritmos Genéticos

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

Taxa interna de retorno dos investimentos em pesquisa de soja.

Algumas metodologias e resultados alcancados; Metodologia de calculo das taxas de retorno; Custos da pesquisa; Beneficios da pesquisa; Calculos dos beneficios; Beneficios reais; Manejo de pragas da soja; Taxa de adocao; Reducao das perdas na colheita de soja; Taxa de adocacao; Beneficios potenciais; Racionalizacao da adubacao; Taxa de adocacao; Aplicao de herbicida em faixa; Taxa de adocao; Cultivares para baixas latitudes; Controle biologico da lagarta da soja; Taxa de adocao; Adaptacao de equipamentos para realizacao de operacoes simultaneas; Resultados e conclusoes; Taxa interna de retorno; Distribuicao dos beneficios; Contribuicao da pesquisa em soja ao PIB agricola; Consideracoes finais.

Subsistema estrictamente coordinado de café : central de cooperativas agrarias de la convención y lares 'COCLA'

El café desempeña un papel crucial en la vida de millones de familias campesinas en el mundo en desarrollo. Las pequeñas fincas cafetaleras producen cerca del 75,0 por ciento del café mundial. El sector de café tiene en la agricultura peruana una alta importancia económica y social, generando anualmente 47 millones de jornales. Asimismo el café es la principal fuente de ingresos de 150 mil familias de pequeños agricultores, quienes están ubicados en lugares alejados en la geografía andina y amazónica. Los pequeños productores se sobrepusieron a adversidades políticas y económicas para el modelo asociativo y a largos años de violencia interna en sus zonas. Es así que ante constantes perturbaciones internas debido a la lucha de clases en la década de los sesenta, y perturbaciones externas ligadas al mercado internacional, surge la Central de Cooperativas Agrarias en Cusco 'COCLA'. La estructura organizativa y de gestión que tiene COCLA, permitió realizar cambios en los paradigmas, para rediseñar y adoptar nuevas estrategias entorno al ambiente institucional, organizacional y tecnológico, reflejando la lógica mixta de cooperativa, teniendo su parte asociativa y empresarial, la cadena funciona coordinadamente debido a la acción colectiva. La presente investigación tiene como objetivo principal identificar y describir las fortalezas desde el punto de vista organizacional y las estrategias comerciales en las que se apalancó la inserción del producto de café de la cooperativa COCLA en el mercado externo, para mejorar la inserción de los pequeños productores en el mercado internacional. Se utilizó el tipo de investigación fenomenológica y como metodología de abordaje el estudio de caso simple a la luz de la Nueva Economía Institucional, tomando el caso de la Central de Cooperativas Agrarias en Cusco 'COCLA'. La unidad de análisis estudiada fue el negocio de café de esta organización. El trabajo se desarrolló en base a la recopilación de información secundaria de entidades en el ámbito cafetalero. Adicionalmente se complementó con información primaria tomada de entrevistas realizadas vía telefónica a los representantes de COCLA

Competitividad de la agroindustria oleaginosa Argentina : las condiciones de la oferta interna como determinante de las variaciones de los volúmenes exportados

p.421-429

Procesos de capacitación interna: una alternativa para generar Educación Matemática de calidad

ORIGEN A LA PROPUESTA La experiencia tiene como origen el curso “Mejoramiento del Sistema de Capacitación de Maestros de Matemáticas y Ciencias” otorgado a través del convenio Ministerio de Educación Nacional -MEN – y la Agencia de Cooperación Internacional de Japón –JICA. El curso en mención se desarrolló entre el 17 / 10/ 05 al / en la Universidad Pedagógica de Miyagi - Sendai

Juegos de lógica inductiva

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.

Uma abordagem da lógica fuzzy no ensino médio

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.

La lógica poética. Una fenomenología del pensamiento artístico

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.

Levantamiento de una base de datos para el diagnóstico de fallas en motores de combustión interna ciclo Otto con sistema MPFI mediante el análisis del sensor MAP

En el presente documento se presenta el desarrollo de la creación de una base de datos para el diagnóstico de fallas en los motores de combustión interna MPFI mediante el análisis del sensor MAP (Manifold Absolute Pressure), a través del cual se puede determinar y diagnosticar fallas en sensores, actuadores y sistemas auxiliares.

Apuntes del curso Lógica 2, semestre 2009-2

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.

Apuntes del curso de Lógica 2

Contiene la segunda tarea del curso ("TAREA 2-LEF 2ª parte")y una fe de errata a la primera tarea.