Orientador: Vivaldo Silveira Jr / Tese (doutorado) - Universidade Estadual de Campinas, Faculdade de Engenharia de Alimentos / Made available in DSpace on 2018-08-03T21:15:21Z (GMT). No. of bitstreams: 1 Berto_MariaIsabel_D.pdf: 7003998 bytes, checksum: cc6703bc21db21f2387990e43b963481 (MD5) Previous issue date: 2004 / Doutorado

Orientador : Fernando Antonio Campos Gomide, Ivan Luiz Marques Ricarte / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica e de Computação / Made available in DSpace on 2018-08-03T23:34:55Z (GMT). No. of bitstreams: 1 Pereira_RachelCarlos_M.pdf: 557140 bytes, checksum: e39dcce5f472e0a302b8a1e8b9802b8b (MD5) Previous issue date: 2004 / Mestrado / Engenharia de Computação / Mestre em Engenharia Elétrica

Orientador: Franco Giuseppe Dedini / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Mecanica / Made available in DSpace on 2018-08-04T00:55:10Z (GMT). No. of bitstreams: 1 Landgraf_LeandroHenrique_M.pdf: 7633333 bytes, checksum: 04b9f282c26607a27576696783e9c35b (MD5) Previous issue date: 2004 / Resumo: Neste trabalho procurou-se desenvolver estratégias de controle veicular utilizando lógica nebulosa lfuzzy) que fossem simples e eficazes. Para isto inicialmente necessita-se de um modelo da dinâmica veicular que seja confiável. Este modelo pode ser construído a partir da literatura de referência. São propostas duas diferentes estratégias de controle de frenagem assistida utilizando lógica nebulosa lfuzzy), uma de controle de aceleração e outra de controle de deslizamento, e três estratégias de controle de frenagem por regras, dois controles de aceleração e um de deslizamento. Também são desenvolvidas duas estratégias de controle da dinâmica de yaw, uma utilizando lógica nebulosa lfuzzy) e outra por regras. Todas essas estratégias são implementadas, simuladas e comparadas entre si, por meio dos gráficos obtidos. Todos os controles desenvolvidos se mostraram bastante confiáveis e suficientemente simples. Em comparação entre os tipos de controle desenvolvidos, os controles utilizando lógica nebulosa lfuzzy) se mostraram mais eficientes e funcionais, superando as expectativas iniciais / Abstract: In this work were developed fuzzy logic controI strategies that should be simple and effective. To this intent first1y we need a vehicular dynamics model that is sufficient1y exact and credible. This model was based in a model found in the reference literature. We propose two assisted braking control strategies with fuzzy logic, one wheel deceleration control and one wheel slip control, and three rule-based assisted braking controls, two acceleration controls and one slip controI. We also develop two yaw dynamics control strategies, one fuzzy logic control and one rule based yaw dynamics controI. All the strategies are implemented, simulated and compared with each other. All the developed control strategies are enough credible and sufficient1y simple. Comparing all the control strategies, the fuzzy logic controls are more efficient and functional, surpassing our initial expectative / Mestrado / Mecanica dos Solidos / Mestre em Engenharia Mecânica

Made available in DSpace on 2014-06-12T17:43:05Z (GMT). No. of bitstreams: 2 arquivo9623_1.pdf: 3240037 bytes, checksum: 1ed324231dfb202c7b168eb7a14d3184 (MD5) license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2012 / Devido ao aumento da competitividade, as empresas têm buscado alternativas em melhorarem seus processos e aumentarem a qualidade de seus produtos e serviços. Não diferentemente, as empresas do setor da construção, particularmente aquelas voltadas para a construção de edifícios, têm adotado um Sistema de Gestão da Qualidade (SGQ) no aperfeiçoamento de seus processos e no atendimento às exigências do mercado. Entre os SGQ existentes, o PBQP-H/SiAC tem se destacado por oferecer benefícios que são favoráveis às empresas deste segmento. Entretanto, ao contrário das médias e grandes empresas, as Micro e Pequenas Empresas (MPEs), por natureza, possuem recursos financeiros limitados, causando o adiamento no programa. Contudo, têm cabido às MPEs sua implementação justamente para se equivalerem com as maiores, permitindo, desta forma, maiores possibilidades de competitividade no mercado consumidor. Como forma de ajudá-las em sua sustentabilidade, é proposto neste trabalho um modelo para a autoavaliação aos requisitos do PBQP-H/SiAC, com o emprego da Lógica Fuzzy como ferramenta de medição. A Lógica Fuzzy permitirá obter um valor mais próximo do grau de formalizado do requisito avaliado, proporcionando, assim, melhor definição à tomada de decisão na melhoria do requisito, possibilitando, no final, maiores chances de certificação. Como ferramenta para coleta de dados, utilizou-se um questionário composto pelos requisitos de um dos níveis do programa com a inserção de uma escala. O modelo foi exposto a uma simulação, aos requisitos de um dos níveis do programa, a fim de atestar sua aplicabilidade. Como resultado, o modelo determinou o grau de formalizado do nível pretendido. Todavia, ele está sujeito a sofrer alterações e melhorias na busca por resultados mais consistentes

Orientador: Itala Maria Loffredo D'Ottaviano / Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias Humanas / Made available in DSpace on 2018-07-24T13:30:02Z (GMT). No. of bitstreams: 1 Alves_DanielDurantePereira_D.pdf: 10917931 bytes, checksum: b3a281be70541ba02394f30b44bda708 (MD5) Previous issue date: 1999 / Resumo: Não informado / Abstract: Not informed. / Doutorado / Doutor em Filosofia

Orientador: Michael B. Wrigley / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias Humanas / Made available in DSpace on 2018-07-24T21:12:31Z (GMT). No. of bitstreams: 1 AguilarVerastegui_RosadeLourdes_M.pdf: 2355582 bytes, checksum: 6bcdfd463f8cb8be8daa428271089672 (MD5) Previous issue date: 1998 / Resumo: Não informado / Abstract: Not informed. / Mestrado / Mestre em Ciências

Orientador: Jacques Wainer / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Computação / Made available in DSpace on 2018-07-25T14:49:11Z (GMT). No. of bitstreams: 1 Pellegrini_Jeronimo_M.pdf: 6805368 bytes, checksum: 59cb8230ad8b2216cb3006f776de3d8c (MD5) Previous issue date: 1997 / Resumo: Nesta tese, mostramos uma implementação do processo de diagonalização de Cantor no sistema de prova de teoremas Oyster-Clam. Para isto, tivemos que estender o Oyster com comparação e indução em tipos, e desenvolvemos um método e algumas regras de reescrita. As regras de reescrita lidam com tipos, o que não era suportado ainda no sistema Oyster-Clam; algumas modificações foram feitas para que isto se tornasse possível. Também desenvolvemos esquemas de indução para grafos neste sistema, e provamos alguns teoremas. / Abstract: In this thesis, we show an implementation of Cantor's digitalization process in the Oyster-Clam theorem proving system. To achieve that, we have extended the Oyster logic with comparison and induction on types, and developed a method and some rewrite rules. The rewrite rules deal with types, what was not supported yet in the Oyster-Clam system, and some modifications were done to make that possible. We have also developed induction schemes for graphs in that system, and some theorems were proven. / Mestrado / Mestre em Ciência da Computação

Orientador: Marcelo Esteban Coniglio / Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias Humanas / Made available in DSpace on 2018-08-04T02:58:32Z (GMT). No. of bitstreams: 1 Sbardellini_LuisAugusto_D.pdf: 573056 bytes, checksum: 91131e8de503f4803299cc53d599a5da (MD5) Previous issue date: 2005 / Resumo: O presente trabalho é uma investigação filosófica, com desdobramento matemático, acerca da concepção do continuum e dos números reais. Resguardando a idéia de magnitudes variando continuamente como o essencial de maior relevância histórica para o desenvolvimento conceitual do continuum, propomos sua formalização por intermédio da noção matemática de homogeneidade. Discorremos sobre o emprego da linguagem das categorias como abrigo teórico da investigação, aderindo à sua causa, e examinamos a relação entre a linguagem interna de um topos e o construtivismo matemático. Com o auxílio da teoria local de conjuntos, introduzimos, entre outras definições elementares, a noção de persistência uniforme e estabelecemos uma sucessão de resultados que assistiram a demosntração da homogeneidade das estruturas ordenadas dos racionais de Dedekind e dos reais de Cauchy. Illustramos matematicamnte a eleboração abstrata da teoria através do topos dos feixes sobre um espaço topológico / Abstract: The present thesis is a philophical investigation with mathematical development, concerning the conception of the continuum and the real numbers. Upholding the idea continuosly varying magnitudes as the essential attbute of greatest historical relevance to the conceptual development of the continuum, we propound its formalization by means of the mathematical notion of homogeneity. We discuss the use of the language of categories as theoretic environment of the investigation, defending its cause, andwe examine the relation between the internal language of o topos and the mathematical constructivism. With support of the local set theory, we introduce, among other elementary definitions, the notion of uniform persistence and we establish a series of results which attended the proof of the homogeneity of the ordered strutures of the rational numbers, Dedeking reals and Cauchy reals. We illustrate mathematically the abstract elaboration of the theory by means of the topos of sheaves over a topological spaces / Doutorado / Filosofia / Doutor em Filosofia

Made available in DSpace on 2014-06-12T23:13:52Z (GMT). No. of bitstreams: 2 arquivo2699_1.pdf: 2927735 bytes, checksum: 3a9829afd48400b93823e1e0eca0409e (MD5) license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2009 / Conselho Nacional de Desenvolvimento Científico e Tecnológico / O avanço da ciência e tecnologia tem trazido novas ferramentas para dar suporte na monitoração da radioatividade ambiental, tornando-se importantes na avaliação da exposição à radiação em regiões consideradas de alto background natural. Tais como a região uranofosfática do nordeste do Brasil que contém teores de urânio associado ao minério de fosfato e está localizada numa região de alta densidade populacional. O objetivo deste trabalho foi aplicar técnicas de inteligência artificial baseadas em lógica fuzzy, associadas ao processamento de imagens e mapa fuzzy para desenvolver um método capaz de avaliar, de forma mais próxima da cognição humana, a exposição a radiação de populações em áreas de alto background. Para isso, este objetivo foi dividido em duas etapas: a primeira etapa foi desenvolver um modelo de exposição fuzzy a radiação e a segunda etapa foi representar e identificar áreas de alta exposição à radiação utilizando um mapa fuzzy, a partir de dados da taxa de dose absorvida no ar da região de estudo e a dose efetiva recebida pela população. Na primeira etapa, o modelo fuzzy foi baseado nos seguintes fatores: peso corporal, taxa de consumo de feijão, idade, duração da exposição, fração da dieta e a concentração da atividade do urânio. O método de Monte Carlo foi usado para gerar distribuição probabilística dos dados de entrada e a ingestão média diária. O modelo fuzzy tipo Mamdani foi criado da opinião de especialistas. A técnica de avaliação sintética fuzzy foi usada e três blocos de inferência foram criados. A ingestão média diária obtida pelo método de Monte Carlo serviu como parâmetro de comparação entre os três modelos. Na segunda etapa, foram realizadas medidas radiométricas em 48 pontos de coleta com o auxílio de um cintilômetro na área de estudo. A técnica de interpolação por krigagem foi utilizada. Foi criada uma imagem digital da distribuição da taxa de dose absorvida no ar. Os resultados da primeira etapa na análise qualitativa, os resultados obtidos foram satisfatórios ao traduzir a opinião dos especialistas. Na análise quantitativa, os valores obtidos fazem parte do mesmo conjunto fuzzy que os valores encontrados na literatura. Na segunda etapa, foi obtido um mapa fuzzy da área de estudo e representado por três variáveis lingüísticas: baixa, média e alta exposição. Na área externa, os valores obtidos da taxa de dose absorvida no ar variaram de 55,7 a 304,5 nGy/h com uma média de 161,7 nGy/h, e na área interna de 93,4 a 356,7 nGy/h com uma média de 170,4 nGy/h. O resultado da estimativa da dose efetiva média anual foi de 1,03 mSv, ficando acima do valor considerado para média mundial. Os resultados globais sugerem que estes tipos de modelos fuzzy são altamente promissores para avaliação de exposição à radiação ionizante. O mapa fuzzy representou bem a região de radiação pela suavidade de seus contornos, que é inerente aos fundamentos da lógica fuzzy e pela utilização de variáveis lingüísticas podendo ser uma ferramenta para dar suporte a especialistas e não especialistas

No description available.