Spelling suggestions: "subject:"algebra booleana"" "subject:"algebra booleanas""
1 |
Proposta de um sistema automatizado para controle de nível freático em sub-irrigação /Pellison, Antonio Tadeu, 1967. January 2001 (has links)
Orientador: Odivaldo José Seraphim / Resumo: A drenagem do solo tem por objetivo a remoção por meios artificiais, do excesso de água acumulado, tornando o solo mais aproveitável ou adequado às atividades do homem. A ação de irrigação e drenagem subterrânea, com base em parâmetros hidrodinâmicos do solo, poderá, sem dúvida, levar a erros grosseiros. Para evitar tais erros, sempre que possível, utilizam-se dados sobre as condições obtidas em experimentos de campo, sobre as condições de flutuação do nível freático. A instrumentação para medida do nível freático à distância, cujos dados possam ser prontamente usados para controle automático da irrigação, poderá assegurar a produção econômica no curto prazo e, no longo prazo, a proteção ambiental. Com o avanço tecnológico na área de automação voltada às atividades agrícolas, nesta pesquisa propõe-se o desenvolvimento de um projeto para automatização de controle do nível freático da várzea, através de poços de observação instalados nesta área, que pertencente ao Departamento de Engenharia Rural da FCA, utilizando-se de um Controlador Lógico Programável e sistemas de transmissão de dados. Esta proposta fornece condições de avaliar o controle do nível do lençol freático em situações de sub-irrigação e drenagem controlada permitindo o manejo e controle racional do uso de água, evitando desperdícios, com armazenamento do excedente. / Abstract: The soil drainage aims for the removal of the accumulated excess of water by artificial means, turning the soil more profitable or adapted to human's activities. The irrigation system and the subsurface drainage together, in a meaning of hydrodynamic parameters of the soil, do can lead to erros. To correct such errors, when possible, is necessary to use data obtained from field experiments under flotation conditions of the water table level. The instrumentation for measurement of the water table at distance, whose data can be ready used for automated irrigation control, can assure the economic production at a short period and, at a long period, the enviromental protection. With the tecnological progress in the automation area turned to agricultural activities, this work aims for the design of an automated project to control the floodplain (varzea) water table, through observation wells installed in that area which belong to the Rural Engineering Department of the Faculty of Agronomic Sciences, using the Programmable Logical Controller and data transmissions systems. This proposal provides conditions to evaluate the water table at subsurface and controlled drainage conditions, allowing the management and rational control of water use, avoiding water wastage with storage of the surplus. / Mestre
|
2 |
Representación de retículos booleanosVerástegui Chuquillanqui, Teódulo 25 September 2017 (has links)
No description available.
|
3 |
O anel de valorização de um reticulado distributivoNegreiros, Caio José Colletti, 1955- 15 July 2018 (has links)
Orientador: Roberto Leonardo Cignoli / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Computação Científica / Made available in DSpace on 2018-07-15T08:54:26Z (GMT). No. of bitstreams: 1
Negreiros_CaioJoseColletti_M.pdf: 1598288 bytes, checksum: 88fea0aa7b13477a960376d6ac08f12f (MD5)
Previous issue date: 1979 / Resumo: Não informado. / Abstract: Not informed. / Mestrado / Mestre em Matemática
|
4 |
Operadores booleanos para objetos modelados por complexos celularesSilveira Júnior, Luiz Gonzaga da 16 August 1996 (has links)
Orientador: Wu Shin-Ting / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica e de Computação / Made available in DSpace on 2018-07-23T00:31:36Z (GMT). No. of bitstreams: 1
SilveiraJunior_LuizGonzagada_M.pdf: 7414899 bytes, checksum: e3522e83aaf4c64e8309f7540f02eb1b (MD5)
Previous issue date: 1997 / Resumo: Neste trabalho propomos um algoritmo de combinações booleanas sobre a classe dos objetos modelados atraves de complexos celulares...Observação: O resumo, na íntegra, poderá ser visualizado no texto completo da tese digital / Abstract: In this work, we proposed an algorithm to perform boolean set operations of objects modeled by cell complex...Note: The complete abstract is available with the full electronic digital thesis or dissertations / Mestrado / Mestre em Engenharia Elétrica
|
5 |
Aperfeiçoamento do método clause-column table para a geração eficiente de implicantes primos /Barbieri, Caroline Domingues Porto do Nascimento. January 2014 (has links)
Orientador: Alexandre César Rodrigues da Silva / Banca: Luis Antonio F. de Oliveira / Banca: Marcos Aurélio Batista / Resumo: A geração eficiente de implicantes primos é um fator importante na fase de cobertura dos mintermos em métodos de minimização de funções booleanas. Este trabalho apresenta uma versão aprimorada do método denominado de Clause-Column Table, utilizado na geração de implicantes primos. Neste novo algoritmo adicionou-se o teorema da adjacência e um novo critério de parada. Estas modificações evitaram a geração de termos nulos e iterações desnecessárias que ocorriam no algoritmo original. O algoritmo original e o aprimorado foram implementados em linguagem C e comparados. O método Clause-Column Table Aprimorado também foi comparado com o método Quine-McCluskey e Expander. Os resultados comprovaram que a versão aprimorada gera menos iterações que a versão original, e que na maioria das funções analisadas evitou-se a geração de termos nulos. Ao comparar com o método de Quine-McCluskey e o Expander comprovou-se que o método Clause-Column Table Aprimorado é superior na geração dos implicantes primos, pois em alguns casos elimina aqueles que não são necessários para a cobertura da função. De posse dos implicantes primos o problema de cobertura dos mintermos foi formulado como um problema de programação linear inteira 0 e 1, em que a solução se abre a todos os avanços ocorridos na área de programação linear visando a obtenção de uma solução mínima / Abstract: Efficient generation of prime implicants is an important factor in the coverage phase of minterms in minimization's methods of Boolean functions. This research presents an improved version of the method called Clause-Column Table, used to generate prime implicants. In this new algorithm was added to the adjacency theorem and a new stopping criterion. These modifications prevented the generation of null terms and unnecessary iterations that occurred in the original algorithm. The original and improved algorithms were implemented in C language and compared. The Clause-Column Table Improved method was compared with the Expander and Quine-McCluskey method. The results proved that the improved version generates fewer iterations than the original version, and that in most functions analyzed it was avoided the generation of null terms. Comparing Quine-McCluskey method and the Expander it was proved that the Clause-Column Table Enhanced method is superior in the generation of prime implicants, since in some cases eliminates those who are not required to cover the function. In ownership of the prime implicants the cover problem of minterms was formulated as an integer linear programming problem of 0 and 1, where the solution is open to all advances in the area of linear programming in order to obtain a minimal solution / Mestre
|
6 |
Análise algébrica dos rotulamentos associados ao mapeamento do código genético / Algebraic analyses of the labels associated with the mapping of the genetic codeOliveira, Anderson José de, 1985- 19 August 2018 (has links)
Orientador: Reginaldo Palazzo Júnior / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Elétrica e de Computação / Made available in DSpace on 2018-08-19T17:49:58Z (GMT). No. of bitstreams: 1
Oliveira_AndersonJosede_M.pdf: 1619063 bytes, checksum: 79a49301084eecde745f0e73cddfc1fa (MD5)
Previous issue date: 2012 / Resumo: Uma área de pesquisa em franca expansão é a modelagem matemática do código genético, por meio da qual pode-se identificar as características e propriedades do mesmo. Neste trabalho apresentamos alguns modelos matemáticos aplicados à biologia, especificamente relacionado ao código genético. Os objetivos deste trabalho são: a) caracterização da hidropaticidade dos aminoácidos através da construção de reticulados booleanos e diagramas de Hasse associados a cada rotulamento do código genético, b) proposta de um algoritmo soma com transporte para efetuar a soma entre códons, ferramenta importante em análises mutacionais, c) representação polinomial dos códons do código genético, d) comparação dos resultados dos rotulamentos A, B e C em cada uma das modelagens construídas, e) análise do comportamento dos aminoácidos em cada um dos rotulamentos do código genético. Os resultados encontrados permitem a utilização de tais ferramentas em diversas áreas do conhecimento como bioinformática, biomatemática, engenharia genética, etc, devido a interdisciplinaridade do trabalho, onde elementos de biologia, matemática e engenharia foram utilizados / Abstract: A research area in frank expansion is the mathematical modeling of the genetic code, through can identify the characteristics and properties of them. In this paper we present some mathematical models applied to biology, specifically related to the genetic code. The aims of this work are: a) a characterization of the hydropathy of the amino acids through the construction of boolean lattices and Hasse diagrams associated with each labeling of the genetic code, b) the proposal of a sum algorithm of transportation to make the sum of codons, important tool in mutational analysis, c) a polynomial representation of the codons of the genetic code, d) a comparing of the results of the A, B and C labels in each of the built modeling, e) an analysis of the behavior of the amino acids in each of the labels of the genetic code. The results allow the use of such tools in a lot of areas like bio informatics, biomathematics, genetic engineering, etc., due to the interdisciplinary of the paper, where elements of biology, mathematics and engineering were used / Mestrado / Telecomunicações e Telemática / Mestre em Engenharia Elétrica
|
7 |
Los teoremas de estructura de Cohen para anillos locales completosVelásquez Alarcón, Jorge David 27 February 2020 (has links)
El presente trabajo se trata de que un anillo (A, m) local, noetheriano, regular, completo de dimensión d, cuya característica sea igual que la de su cuerpo residual (A/m), sea isomorfo al anillo de series formales de potencia en d variables con coeficientes en este cuerpo. Pero si las características son diferentes como por ejemplo la característica de A es cero y la característica de A/m es un número primo p, A no tiene esta estructura, en este caso p estará contenido en m y no estará en m2, entonces se dice que A es inramificado, por lo tanto en este caso A queda completamente determinado por su cuerpo residual (A/m) y su dimensión. / The present work is about the fact that a local, noetherian, regular, complete ring (A, m) with dimension d, whose characteristic is the same as that of its residual field (A/m) is isomorphic to the ring of formal series of power in variable d with coefficientes in this field. But if the characteristics are different as for example the characteristic of A is zero and the characteristic of A/mis a prime number p, then A does not have this structure and in this case pwill be contained in the maximal ideal m and will not be contained in m2, then it is said that A is unramified, therefore in this case the ring A is completely determined by its residual field (A/m) and its dimension. / Tesis
|
8 |
Representação na forma normal disjuntiva para a flexibilidade de seqüência na manufaturaRohde, Leonardo Rosa January 2002 (has links)
A crescente demanda por produtos de melhor qualidade, diferenciados e com custos competitivos tem forçado as manufaturas a se tornarem flexíveis, capacitando-as a responder às mudanças impostas pelo mercado. A flexibilidade permite que as empresas alcancem a customização desejada através da capacitação do sistema de responder e atuar em tempo real, mesmo em um ambiente de incertezas. Para atuar em tempo real, os sistemas de manufatura precisam de representações eficientes dos planos de produção. Muitas vezes, a atuação em tempo real torna-se inviável devido ao crescimento exponencial no número de planos de produção para cada máquina ou operação adicionada ao sistema. Uma possível solução para este problema é uso de representações adequadas para o espaço de estados. A escolha de uma representação adequada para o espaço de estados influencia na capacidade de reposta em tempo real, pois determina o desempenho computacional do sistema através da utilidade e eficiência dos algoritmos desenvolvidos, tornando possível explorar problemas clássicos de flexibilidade, tais como, seqüenciamento, otimização, etc. Entretanto, a geração de uma representação que trabalhe com o espaço de estados completo de uma manufatura é considerada um problema não polinomial (NP). Esta particularidade dificulta o desenvolvimento de algoritmos que trabalhem com uma manufatura flexível. Assim, a geração de uma representação, que trabalhe com pouca memória computacional e permita o desenvolvimento de heurísticas eficientes, é um importante desafio para uma avaliação efetiva da flexibilidade. Este trabalho objetiva o desenvolvimento de uma representação para o espaço de estados de uma manufatura com flexibilidade de seqüência. Na construção desta representação são aplicadas técnicas de modelagem baseadas na teoria dos grafos e nos princípios de álgebra booleana. Inicialmente, os grafos são utilizados para representar todas as seqüências de operações de uma manufatura, posteriormente estas seqüências são convertidas em formas normais disjuntivas (FND). Por fim, é apresentada uma possível aplicação da representação na FND em modelos de programação linear.
|
9 |
Representação na forma normal disjuntiva para a flexibilidade de seqüência na manufaturaRohde, Leonardo Rosa January 2002 (has links)
A crescente demanda por produtos de melhor qualidade, diferenciados e com custos competitivos tem forçado as manufaturas a se tornarem flexíveis, capacitando-as a responder às mudanças impostas pelo mercado. A flexibilidade permite que as empresas alcancem a customização desejada através da capacitação do sistema de responder e atuar em tempo real, mesmo em um ambiente de incertezas. Para atuar em tempo real, os sistemas de manufatura precisam de representações eficientes dos planos de produção. Muitas vezes, a atuação em tempo real torna-se inviável devido ao crescimento exponencial no número de planos de produção para cada máquina ou operação adicionada ao sistema. Uma possível solução para este problema é uso de representações adequadas para o espaço de estados. A escolha de uma representação adequada para o espaço de estados influencia na capacidade de reposta em tempo real, pois determina o desempenho computacional do sistema através da utilidade e eficiência dos algoritmos desenvolvidos, tornando possível explorar problemas clássicos de flexibilidade, tais como, seqüenciamento, otimização, etc. Entretanto, a geração de uma representação que trabalhe com o espaço de estados completo de uma manufatura é considerada um problema não polinomial (NP). Esta particularidade dificulta o desenvolvimento de algoritmos que trabalhem com uma manufatura flexível. Assim, a geração de uma representação, que trabalhe com pouca memória computacional e permita o desenvolvimento de heurísticas eficientes, é um importante desafio para uma avaliação efetiva da flexibilidade. Este trabalho objetiva o desenvolvimento de uma representação para o espaço de estados de uma manufatura com flexibilidade de seqüência. Na construção desta representação são aplicadas técnicas de modelagem baseadas na teoria dos grafos e nos princípios de álgebra booleana. Inicialmente, os grafos são utilizados para representar todas as seqüências de operações de uma manufatura, posteriormente estas seqüências são convertidas em formas normais disjuntivas (FND). Por fim, é apresentada uma possível aplicação da representação na FND em modelos de programação linear.
|
10 |
Representação na forma normal disjuntiva para a flexibilidade de seqüência na manufaturaRohde, Leonardo Rosa January 2002 (has links)
A crescente demanda por produtos de melhor qualidade, diferenciados e com custos competitivos tem forçado as manufaturas a se tornarem flexíveis, capacitando-as a responder às mudanças impostas pelo mercado. A flexibilidade permite que as empresas alcancem a customização desejada através da capacitação do sistema de responder e atuar em tempo real, mesmo em um ambiente de incertezas. Para atuar em tempo real, os sistemas de manufatura precisam de representações eficientes dos planos de produção. Muitas vezes, a atuação em tempo real torna-se inviável devido ao crescimento exponencial no número de planos de produção para cada máquina ou operação adicionada ao sistema. Uma possível solução para este problema é uso de representações adequadas para o espaço de estados. A escolha de uma representação adequada para o espaço de estados influencia na capacidade de reposta em tempo real, pois determina o desempenho computacional do sistema através da utilidade e eficiência dos algoritmos desenvolvidos, tornando possível explorar problemas clássicos de flexibilidade, tais como, seqüenciamento, otimização, etc. Entretanto, a geração de uma representação que trabalhe com o espaço de estados completo de uma manufatura é considerada um problema não polinomial (NP). Esta particularidade dificulta o desenvolvimento de algoritmos que trabalhem com uma manufatura flexível. Assim, a geração de uma representação, que trabalhe com pouca memória computacional e permita o desenvolvimento de heurísticas eficientes, é um importante desafio para uma avaliação efetiva da flexibilidade. Este trabalho objetiva o desenvolvimento de uma representação para o espaço de estados de uma manufatura com flexibilidade de seqüência. Na construção desta representação são aplicadas técnicas de modelagem baseadas na teoria dos grafos e nos princípios de álgebra booleana. Inicialmente, os grafos são utilizados para representar todas as seqüências de operações de uma manufatura, posteriormente estas seqüências são convertidas em formas normais disjuntivas (FND). Por fim, é apresentada uma possível aplicação da representação na FND em modelos de programação linear.
|
Page generated in 0.0348 seconds