Proposta de uma arquitetura especial para simulação lógica

O objetivo deste trabalho é a proposta de uma arquitetura especial para simulação lógica (AESL). As técnicas e modelos utilizados no processo de simulação lógica são brevemente revistos. É definida uma taxonomia para AESL sob a qual são analisadas diversas propostas de AESL relatadas na literatura. Uma taxonomia já existente é comparada com a proposta. A AESL definida é programável para diferentes algoritmos de simulação lógica. O detalhamento da AESL é, então, incrementado pela implementação de um algoritmo particular. Uma linguagem de simulação discreta é utilizada na construção de um modelo da arquitetura. Os resultados da simulação deste modelo permitem avaliar o desempenho da AESL e otimizar sua estrutura. Uma comparação com outras arquiteturas conclui a análise.

O problema do pixel mistura : um estudo comparativo

Os satélites para sensoriamento remoto atualmente dispoívies à comunidade científica possuem diferenies resoluções espaciais, por exemplo: SPOT 20 e 10 metros, LANDSAT-TM 30 metros e NOA-AVHRR 1100 metros. Essa resolução frequentemente não é grande o suficiente para um grande número de aplicações que necessitam de uma percepção da cena mais detalhada. Muitas vezes, no interior de uma célula de resolução (pixel) mais de uma classe ocorre. Este caso é conhecido como pixel mistura. Na classificação de imagens obtidas por sensoriamento remoto é comum a utilização de metodologias que atribuem somente uma classe a um pixel, como o procedimento clássico da máxima verossimilhança. Esse procedimento resulta frequentemente em uma estimação errônea das áreas ocupadas pelas classes presentes na cena. Em alguns casos, especialmente quando não há uma classe dominante, isto pode ser a fonte de um erro significativo. Desde o início dos anos 70, diferentes metodologias têm sido propostas para o trabalho num nível de subpixel. A grande vantagem do trabalho nesse nível é que um pixel não é necessariamente atribuído a somente uma classe. O pixel tem um grau que o correlaciona a cada classe: de zero(se a classe não ocorre no pixel) até 1 (a classe ocorre no pixel inteiro). Assim, cada pixel tem um vetor associado que estima a proporção de cada classe nele. A metodologia mais comumente utilizada considera a refletância do pixel mistura como uma combinação linear da refletância média de cada classe componente. De acordo com essa visão as refletâncias associadas às classes componentes são consideradas constantes conhecidas i.e., não são variáveis aleatórias. Assim, a proporção de cada classe no pixel é obtida pela resolução de um sistema de equações lineares. Uma outra metodologia é assumir as refletâncias que caracterizam as classes como sendo variáveis aleatórias. Nesta visão, as informações a respeito das distribuições das classes é utilizada. A estimativa das proporções de cada classe é obtida pelo vetor de proporções que maximiza a função de verossimilhança. Mais recentemente, uma visão diferente foi proposta: a utilização da lógica fuzzy. Esta metodologia utiliza o conceito de função de pertinência que é essencial à teoria dos conjuntos fuzzy. Esta função utiliza elementos com natureza estatística ou não para a estimação das proporções. No presente trabalho, duas funções de pertinência foram definidas: a primeira baseada na função densidade probabilidade gaussiana e a segunda baseada diretamente na distância de Mahalanobis. O objetivo deste estudo é avaliar cada uma das metodologias anteriores em termos de acurácia, performance e dados necessários. Para este objetivo, as metodologias foram implementadas computacionalmente e alimentadas com imagens LANDSAT-TM. Para a avaliação da acurácia dos modelos um estudo qualitativo foi executado.

Um método para detectar falhas incipientes em máquinas rotativas baseado em análise de vibração e lógica Fuzzy

Este trabalho apresenta um método para detectar falhas no funcionamento de máquinas rotativas baseado em alterações no padrão de vibração do sistema e no diagnóstico da condição de operação, por Lógica Fuzzy. As modificações ocorridas são analisadas e servem como parâmetros para predizer falhas incipientes bem como a evolução destas na condição de operação, possibilitando tarefas de manutenção preditiva. Utiliza-se uma estrutura mecânica denominada de Sistema Rotativo (Figura 1), apropriada para as simulações das falhas. Faz-se a aquisição de dados de vibração da máquina usando-se um acelerômetro em chip biaxial de baixa potência. As saídas são lidas diretamente por um contador microprocessador não requerendo um conversor A/D. Um sistema de desenvolvimento para processamento digital de sinais, baseado no microprocessador TMS320C25, o Psi25, é empregado na aquisição dos sinais de vibração (*.dat), do Sistema Rotativo. Os arquivos *.dat são processados através da ferramenta matemática computacional Matlab 5 e do programa SPTOOL. Estabelece-se o padrão de vibração, denominado assinatura espectral do Sistema Rotativo (Figura 2) Os dados são analisados pelo sistema especialista Fuzzy, devidamente calibrado para o processo em questão. São considerados, como parâmetros para a diferenciação e tomada de decisão no diagnóstico do estado de funcionamento pelo sistema especialista, a freqüência de rotação do eixo-volante e as amplitudes de vibração inerentes a cada situação de avaria. As falhas inseridas neste trabalho são desbalanceamentos no eixovolante (Figura 1), através da inserção de elementos desbalanceadores. A relação de massa entre o volante e o menor elemento desbalanceador é de 1:10000. Tomando-se como alusão o conhecimento de especialistas no que se refere a situações normais de funcionamento e conseqüências danosas, utilizam-se elementos de diferentes massas para inserir falhas e diagnosticar o estado de funcionamento pelo sistema fuzzy, que apresenta o diagnóstico de formas qualitativa: normal; falha incipiente; manutenção e perigo e quantitativa, sendo desta maneira possível a detecção e o acompanhamento da evolução da falha.

Soft IP para criptografia usando o algoritmo Rijndael e implementação em lógica programável

A criptografia assumiu papel de destaque no cotidiano das pessoas, em virtude da necessidade de segurança em inúmeras transações eletrônicas. Em determinadas áreas, a utilização de hardware dedicado à tarefa de criptografia apresenta vantagens em relação à implementação em software, devido principalmente ao ganho de desempenho. Recentemente, o National Institute of Standards and Technology (NIST) publicou o novo padrão norte-americano de criptografia simétrica, chamado de Advanced Encryption Standard (AES). Após um período de aproximadamente 3 anos, no qual várias alternativas foram analisadas, adotou-se o algoritmo Rijndael. Assim, este trabalho apresenta um Soft IP do padrão AES, codificado em VHDL, visando a implementação em FPGA Altera. Todo o projeto foi construído com funções e bibliotecas genéricas, a fim de permitir a posterior implementação sobre outras tecnologias. Foram geradas duas versões: uma priorizando desempenho e outra priorizando a área ocupada nos componentes. Para cada uma das versões, produziu-se um circuito para encriptar e outro para decriptar. O desempenho alcançado em termos de velocidade de processamento superou todos os outros trabalhos publicados na área, sobre a mesma tecnologia. São apresentados os detalhes de implementação, arquiteturas envolvidas e decisões de projeto, bem como todos os resultados. A dissertação contém ainda conceitos básicos de criptografia e uma descrição do algoritmo Rijndael.

Tesauro e terminologia : uma inter-relação lógica

Estudo compreendido como uma inter-relação lógica entre tesauros e Terminologia, mais especificamente nos princípios da Teoria Comunicativa da Terminologia — TCT. Analisa um tesauro do ponto de vista da sua organização estrutural. Estuda os descritores verificando sua representatividade como um elemento de representação e recuperação das informações de uma área de especialidade. Sinaliza para uma nova abordagem em relação ao tratamento dos descritores aproximando-os a uma unidade lexical terminológica. Tem como pressuposto de trabalho que a relação que se estabelece entre um sistema de recuperação da informação — SRI e os usuários do sistema é uma relação de comunicação. Apresenta algumas considerações e recomendações.

A razão da retórica : hermenêutica, pragmatismo e a lógica argumentativa no discurso econômico

Esta dissertação tem como objetivo defender a perspectiva da existência de uma lógica por trás dos discursos retórico-persuasivos – tal como inaugurada por McCloskey (1983) e Arida (1983) dentro da ciência econômica. O objetivo é demonstrar a completa inadequação de se confundir filosoficamente “retoricismo” com “irracionalismo”, pois, de acordo com nossa interpretação, nem McCloskey nem Arida propõem que não se deva utilizar critérios racionais para validação de teorias econômicas. O que eles propõem, a nosso ver, é que não se deva compreender a história do pensamento econômico e a própria teoria econômica atual como resultado de uma evolução apodíctica epistemologicamente mediada por evidências (sejam elas empíricas ou dedutivas). Isto, no entanto não implica numa desconsideração da “razão” por completo – a não ser que se entenda a “razão” por um prisma estritamente epistemológico; o que não nos parece muito razoável. Sendo assim, procuramos desenvolver ao longo do trabalho argumentos filosóficos oriundos das perspectivas hermenêuticas de: Heidegger, Gadamar, Habermas e Ricoeur, além do pragmatismo de Richard Rorty; com o intuito de relaciona-los com as perspectivas retóricas de McCloskey e Arida; buscando, mais especificamente, demonstrar a fundamentação racional da perspectiva retórica em relação à filosofia contemporânea, e contribuir com o debate retórico na economia a partir de uma tentativa de aproximação entre as perspectivas hermenêuticas – mais especificamente de Habermas e Ricoeur – e a perspectiva retórica de Arida; além de procurar uma melhor explicação e relação entre a filosofia hermenêutica-pragmática, e a perspectiva da “racionalidade prática” presente na ‘nova retórica” de Chaïm Perelman.

Autodeterminação local e desenvolvimento: uma análise da dinâmica social no município de São Roque de Minas

In this thesis, the basic research of Chase and Simon (1973) is questioned, and we seek new results by analyzing the errors of experts and beginners chess players in experiments to reproduce chess positions. Chess players with different levels of expertise participated in the study. The results were analyzed by a Brazilian grandmaster, and quantitative analysis was performed with the use of statistical methods data mining. The results challenge significantly, the current theories of expertise, memory and decision making in this area, because the present theory predicts piece on square encoding, in which players can recognize the strategic situation reproducing it faithfully, but commit several errors that the theory can¿t explain. The current theory can¿t fully explain the encoding used by players to register a board. The errors of intermediary players preserved fragments of the strategic situation, although they have committed a series of errors in the reconstruction of the positions. The encoding of chunks therefore includes more information than that predicted by current theories. Currently, research on perception, trial and decision is heavily concentrated on the idea of 'pattern recognition'. Based on the results of this research, we explore a change of perspective. The idea of 'pattern recognition' presupposes that the processing of relevant information is on 'patterns' (or data) that exist independently of any interpretation. We propose that the theory suggests the vision of decision-making via the recognition of experience.

A constitucionalização do processo : a virada do paradigma racional e político no processo civil brasileiro do estado democrático constitucional

O estudo propõe desenhar as linhas mestras do processo civil brasileiro no quadro do Estado de Direito Democrático, pós Constituição Federal de 1988. Na primeira parte, partindo da origem do direito processual constitucional brasileiro na Constituição Republicana de 1891 visa a abordar as mudanças ocorridas com a constitucionalização do processo, o que significa reconhecer que na formação e desenvolvimento do direito processual brasileiro atuaram forças paradoxais (recepção da judicial review, do direito norte-americano, e recepção do direito europeu-continental, no CPC de 1973) e que este paradoxo tende a ser superado pela virada paradigmática da racionalidade jurídica e das relações entre Direito e Política no marco do Estado Constitucional. Estabelece, como primeira mudança, a relação entre a racionalidade prática procedimental e a necessidade de resgate da pretensão de correção para a lógica jurídica. Dessa percepção decorre uma outra alteração profunda, na atuação do direito em juízo, apontando para a combinação entre o modelo normativo de democracia deliberativoprocedimental (HABERMAS) e o processo cooperativo (ALVARO DE OLIVEIRA) Na segunda parte do estudo, a tese coloca essas premissas frente aos necessários desenvolvimentos do direito processual pós Constituição de 1988. Analisa-se, criticamente, as seguintes atitudes fundamentais: a) a configuração e o conteúdo do direito processual constitucional na doutrina atual e sua adequação ao contraditório como “valor-fonte” do direito processual contemporâneo; b) as relações entre direito material e direito processual; c) a teoria das fontes do direito, apresentando a jurisprudência como fonte primária, em razão da recepção tardia e mitigada do stare decisis no direito brasileiro (súmulas vinculantes, decisões vinculantes em controle de constitucionalidade e jurisprudência dominante dos tribunais), bem como, da importância dos modelos judiciais na densificação dos conteúdos das normasprincípio e das cláusulas abertas. Com isso procura-se apontar para a dissolução dos antagonismos radicais entre as tradições do ocidente (common law e romano-germânica) e seus métodos: o Code-Based Legal System e o Judge-Made Law System. A Constituição resgata, assim, o papel de centro e fator de unidade no ordenamento jurídico brasileiro, também para o processo civil, comprometendo todo o ordenamento jurídico com a democratização das fontes de poder, inclusive o debate judicial.

Design dominante: comportamento do consumidor e as estratégias de uma inovação tecnológica

Analisa a competição entre produtos com padrões de tecnologia incompatíveis pela dominância do mercado. Um exemplo clássico é a disputa ocorrida entre as plataformas de videocassetes Betamax e VHS. O padrão que vence a disputa é chamado de Design Dominante. Descreve as características que o consumidor avalia na escolha de inovações tecnológicas e as diferentes características encontradas num contexto de disputa de padrões pela dominância. Aborda assuntos como o Efeito Bandwagon e a Rede de Extemalidades que estão presentes nestas disputas.

Melhoria das condições de trabalho através da ação ergonômica participativa e da lógica do PDCA no setor automotivo

O setor aumotomotivo é considerado inovador em aspectos de desenvolvimento tecnológico e de grandes esforços em favor da modernização da produção. No entanto, as linhas de montagem de automóveis e autopeças exigem dos trabalhadroes demandas físicas importantes, tais como posturas inadequadas, movimentos repetitivos e ritmo intenso de trabalho, provocando acidentes e doenças nos trabalhadores, além da perda de produtividade e queda na qualidade dos produtos fabricados, acarretando enormes prejuízos às empresas e ao país. Algumas empresas do setor trazem grandes contribuições para o estudo da ergonomia, através de métodos e técnicas que identificam as condições inadequadas de trabalho. Este estudo tem como objetivo aplicar e analisar um método de solução de problemas, que permita, passo a passo, planejar, realizar e verificar ações efetivas, ou seja, que atendam às necessidades do usuário do posto nas questões de conforto, segurança e eficiência. Visa também, de posse dos resultados, oportunizar ações futuras para a empresa, de modo a reverter em ganhosde produtividade e de qualidade. Para isso, foi escolhido aplicar uma intervenção ergonômica, com a participação dos trabalhadores, baseada na lógica do PDCA, seguindo os passos: planejar, fazer, verificar e agir. A escolha do método mostrou-se adequada, uma vez que ao analisar o afastamento dos operadores de seus postos de trabalho, devido a dores e desconfortos musculares, foi possível identificar causas e propor soluções para os problemas, e, após implementadas as ações propostas, houve redução no número de afastamentos. A partir dos resultados obtidos, pode-se creditar que a aplicação do método, de modo mais aprofundado em outras situações, possibilite a melhora das condições de trabalho e de vida do trabalhador.

Metodologia para ordenação de controles internos contábeis com base em critérios estabelecidos pelo SEC Management Guidance e escala baseada em operadores da lógica Fuzzy

Propõe-se com a presente dissertação conduzir estudo exploratório sobre a razoabilidade de um método de apoio à tomada de decisão para ordenar os controles internos contábeis, utilizando critérios estabelecidos pelo regulador do mercado de capitais dos Estados Unidos, quantificados por meio de uma escala baseada em operadores da lógica fuzzy. O método foi elaborado com base em pesquisa bibliográfica sobre o controle interno contábil e sua relação com os controles internos em geral; a exigência de constituição, avaliação e divulgação da avaliação dos controles internos contábeis pela legislação do mercado de capitais americano ao longo das últimas três décadas; o conceito de matriz de risco; os métodos de apoio à decisão; e os fundamentos da lógica fuzzy. A metodologia proposta foi adaptada à realidade da entidade objeto do estudo de caso e aplicada sobre 2,4 mil controles. Uma amostra de aproximadamente 14% desse universo foi analisada e permitiu concluir pela razoabilidade do método proposto, que será utilizado pela entidade estudada como parte de seu processo de avaliação dos controles internos contábeis.

Não estou nisto para ganhar dinheiro: discurso e prática nas indústrias de criação

O estudo das indústrias de criação representam uma rica contribuição para a abordagem da estratégia como prática. Por se tratar de um ramo industrial simbólico-intensivo, as organizações nele inseridas adotam estratégias difusas que buscam conciliar lógicas tanto econômicas quanto não-econômicas, pois estas últimas são aquelas que garantem sua legitimidade e sobrevivência no campo. O universo simbólico, por sua vez, é volátil e cujo controle, por parte das organizações, é virtualmente impossível. Neste tipo de indústria, a abordagem sociológica em estratégia parece mais adequada para se compreender as ações dos agentes do campo organizacional em seu todo, não somente em seus aspectos instrumentais. Esta dissertação aborda os discursos e práticas imersos no contexto social do ramo editorial, por meio de um estudo longitudinal de dados secundários que adota uma versão adaptada para a estratégia do modelo discursivo de institucionalização como estrutura de análise. O objetivo principal da pesquisa era compreender como se articulam discursos e práticas num campo onde as regras de legitimação seguem uma lógica anti-econômica e onde os resultados econômicos nem sempre são o objetivo único das organizações. Adotou-se o conceito de orientação estratégica como a predisposição de uma organização para adotar uma ou outra estratégia, revelada por meio dos discursos e práticas organizacionais indicativos da interpretação reflexiva dada pelas organizações a seu contexto ambiental. Com base em dados coletados durante cerca de 3 anos pelo site de clipping de notícias do setor editorial Publishnews, foi utilizada uma metodologia de análise de conteúdo para interpretar o contexto ambiental, em suas facetas institucional e técnica, e as orientações estratégicas das editoras brasileiras, reveladas a partir dos textos e ações públicas presentes nas notícias. Em face das análises realizadas, constataram-se os resultados a seguir. Primeiramente, foi possível a descrição tanto do contexto ambiental como das orientações estratégicas por meio dos discursos e práticas. Do ponto de vista teórico, confirmou-se que os discursos são parte integral das orientações estratégicas das editoras, se articulando com as práticas, mesmo com aparentes dissonâncias entre elas, que se mostraram na verdade dissimuladas. Os discursos, como parte da estratégia, se apresentavam mais relevantes e mais utilizados quanto mais simbólicos fossem os objetivos a serem alcançados. Também se comprovou que, neste tipo de ramo, as orientações estratégicas dialogam mais com o ambiente institucional do que com o ambiente técnico, pois é no primeiro que podem ser obtidas as diferenciações de mercado, por meio de sub-produtos como legitimidade, mistificação ou consagração. As editoras também se orientam estrategicamente com mais intensidade sobre os chamados gatekeepers do que sobre seu mercado consumidor final, pois os primeiros é que garantem, ao gerar sub-produtos, a atração dos recursos mais raros (autores e recursos humanos), fundamentais para a sobrevivência num ramo simbólico-intensivo. Do ponto de vista prático, o uso da ferramenta metodológica proposta revelou que a dicotomia estratégica entre pequenas e grandes editoras é uma forma simplista de ver grupos estratégicos, ignorando estratagemas fundamentais que fogem à lógica econômica. A análise também mostrou traços de uma visão capitalista arcaica dominante no mercado nacional, arraigada em boa parte das editoras, ressaltada pelo excesso de demandas e delegação de responsabilidades ao Governo Federal, e da mistificação e valorização excessiva do universo livreiro. Editoras cujas orientações se mostravam opostas a estas obtiveram sucesso em criar novos mercados. Finalmente a dissertação coloca em dúvida os dados econômicos disponíveis sobre o mercado, freqüentemente usados como justificativa para políticas e demandas públicas, mas que parecem não se sustentar de forma alguma na realidade.

Alocação de carteiras de ações através da utilização de modelos de lógica Fuzzy

Este trabalho tem por objetivo propor uma carteira composta por posições compradas e vendidas de ações que supere os principais Índices de mercado. O resultado é obtido através de um modelo de Lógica Fuzzy, que é um modelo de inteligência artificial que trata os dados de maneira lógica, ou seja, sem relacionar as variáveis através de modelos matemáticos convencionais. Para esse estudo utilizamos como variáveis de entrada os múltiplos Preço/Lucro Esperado e Preço/Valor Patrimonial da Empresa de cada ação considerada. Foram estudadas as ações do mercado americano pertencentes ao índice S&P 500, do ano de 2000 até 2007. Com o intuito de comparar a eficiência do Modelo de Lógica Fuzzy, utilizamos o modelo de Regressão Linear Multivariada e os índices de mercado S&P 500 e o S&P 500 com uma modificação para se adequar aos dados escolhidos para o estudo. O modelo proposto produziu resultados satisfatórios. Para quase todos os anos estudados o retorno da carteira obtida foi muito superior ao dos Índices de mercado e do modelo linear convencional. Através de testes adequados comprovamos estatisticamente a eficiência do modelo em comparação aos Índices de mercado e ao modelo linear convencional.

Formalização da comunicação de conhecimentos probabilísticos em sistemas multiagentes : uma abordagem baseada em lógica probabilística

Durante os últimos anos as áreas de pesquisa sobre Agentes Inteligentes, Sistemas Multiagentes e Comunicação entre Agentes têm contribuído com uma revolução na forma como sistemas inteligentes podem ser concebidos, fundamentados e construídos. Sendo assim, parece razoável supor que sistemas inteligentes que trabalhem com domínios probabilísticos de conhecimento possam compartilhar do mesmo tipo de benefícios que os sistemas mais tradicionais da Inteligência Artificial receberam quando adotaram as concepções de agência, de sistemas compostos de múltiplos agentes e de linguagens de comunicação entre estes agentes. Porém, existem dúvidas não só sobre como se poderia escalar efetivamente um sistema probabilístico para uma arquitetura multiagente, mas como se poderia lidar com as questões relativas à comunicação e à representação de conhecimentos probabilísticos neste tipo de sistema, principalmente tendo em vista as limitações das linguagens de comunicação entre agentes atuais, que não permitem comunicar ou representar este tipo de conhecimento. Este trabalho parte destas considerações e propõe uma generalização do modelo teórico puramente lógico que atualmente fundamenta a comunicação nos sistemas multiagentes, que será capaz de representar conhecimentos probabilísticos. Também é proposta neste trabalho uma extensão das linguagens de comunicação atuais, que será capaz de suportar as necessidades de comunicação de conhecimentos de natureza probabilísticas. São demonstradas as propriedades de compatibilidade do novo modelo lógico-probabilístico com o modelo puramente lógico atual, sendo demonstrado que teoremas válidos no modelo atual continuam válidos no novo modelo. O novo modelo é definido como uma lógica probabilística que estende a lógica modal dos modelos atuais. Para esta lógica probabilística é definido um sistema axiomático e são demonstradas sua correção e completude. A completude é demonstrada de forma relativa: se o sistema axiomático da lógica modal original for completo, então o sistema axiomático da lógica probabilística proposta como extensão também será completo. A linguagem de comunicação proposta neste trabalho é definida formalmente pela generalização das teorias axiomáticas de agência e comunicação atuais para lidar com a comunicação de conhecimentos probabilísticos e pela definição de novos atos comunicativos específicos para este tipo de comunicação. Demonstra-se que esta linguagem é compatível com as linguagens atuais no caso não-probabilístico. Também é definida uma nova linguagem para representação de conteúdos de atos de comunicação, baseada na lógica probabilística usada como modelo semântico, que será capaz de expressar conhecimentos probabilísticos e não probabilísticos de uma maneira uniforme. O grau de expressibilidade destas linguagens é verificado por meio de duas aplicações. Na primeira aplicação demonstra-se como a nova linguagem de conteúdos pode ser utilizada para representar conhecimentos probabilísticos expressos através da forma de representação de conhecimentos probabilísticos mais aceita atualmente, que são as Redes Bayesianas ou Redes de Crenças Probabilísticas. Na outra aplicação, são propostos protocolos de interação, baseados nos novos atos comunicativos, que são capazes de atender as necessidades de comunicação das operações de consistência de Redes Bayesianas secionadas (MSBNs, Multiple Sectioned Bayesian Networks) para o caso de sistemas multiagentes.