Orientador: Paulo Augusto Valente Ferreira / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica e de Computação / Made available in DSpace on 2018-08-04T00:04:17Z (GMT). No. of bitstreams: 1 Juzzo_EdvaldoAntonio_M.pdf: 2338549 bytes, checksum: 180fdc3d71583ba71f5afa2845d69705 (MD5) Previous issue date: 2004 / Resumo: Este trabalho aborda o problema de determinar se dois polinomios intervalares são coprimos no sentido robusto. Motivado por problemas de controle que empregam equações Diofantinas, adota-se uma representação intervalar para a chamada resultante de Sylvester associada aos polinomios intervalares considerados. Elementos de Analise Intervalar, são então utilizados. Uma condição necessaria e suficiente e condições suficientes para a não-singularidade robusta de resultantes de Sylvester intervalares são analisadas. Estimativas para o chamado raio de coprimorobustez baseados no calculo do raio de não-singularidade robusta são propostas e comparadas. Testes computacionais com exemplos da literatura são discutidos de modo a quantificar o grau de conservadorismo dos metodos considerados / Abstract: This work deals with the problem of determining whether two polynomials are coprime in a robust sense or not. Motivated by control problems which employ Diophantine Equations, an interval representation for the so-called Sylvester resultant associated to the interval polynomials is adopted. Sufficient conditions and a necessary and sufficient condition to the robust nonsingularity of interval Sylvester resultants are analyzed. Estimates for the radius of coprime robustness based on the computation of radii of robust nonsingularity are proposed and compared. Computational tests with examples of the literature are discussed in order to quantify the degree of conservativeness of the methods considered. / Mestrado / Automação / Mestre em Engenharia Elétrica

Submitted by Marco Antônio de Ramos Chagas (mchagas@ufv.br) on 2018-06-05T13:32:44Z No. of bitstreams: 1 texto completo.pdf: 3038671 bytes, checksum: 989b48613d3d2c169a2fc7e19dc661aa (MD5) / Made available in DSpace on 2018-06-05T13:32:44Z (GMT). No. of bitstreams: 1 texto completo.pdf: 3038671 bytes, checksum: 989b48613d3d2c169a2fc7e19dc661aa (MD5) Previous issue date: 2018-02-28 / Pesquisa desenvolvida a partir das noções sobre grafos, grafos eulerianos, árvores, emparelhamentos em grafos, grafos planares e coloração. Foram abordados alguns dos principais teoremas e lemas, bem como imagens e exemplos para facilitar a leitura. Conclusão da pesquisa com o relato das aulas práticas sobre grafos. / The research was developed based on the notion about graphs, eulerian graphs, trees, matchings in graphs, planar graphs and coloring. Some of the main theorems and lemmas were discussed, as well as images and examples to facilitate reading. The conclusion of the research with the report of the practical classes about graphs. / Sem lattes e agência de fomento.

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: Carlos Alberto Lungarzo / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias Humanas / Made available in DSpace on 2018-07-24T16:29:44Z (GMT). No. of bitstreams: 1 Castro_MiltonAugustinisde_M.pdf: 3539736 bytes, checksum: 4f144a2bbdab30d1239bf7c8b631cfa7 (MD5) Previous issue date: 1998 / Resumo: A aplicação do método de dedução natural, via o método de provas subordinadas, nas lógicas proposicionais paraconsistentes Cn (1 '< ou =' n'< ou =' ¿ômega¿) é apresentada neste trabalho. Através desse método elabora-se uma hierarquia de sistemas de dedução natural DNCn, constituídos exclusivamente por regras de dedução (ou esquemas de dedução), dispensando, quaisquer esquemas de postulados. Provamos que esses sistemas DNCn (0 '< ou =' n '< ou =' ¿ômega¿) são logicamentes equivalentes aos sistemas Cn(0 '< ou =' n '< ou =' ¿ômega¿) de DA COSTA. Elaboramos uma valoração bivalente e provamos vários temas sintáticos e semânticos referentes aos sistemas formais, tais como, consistência, corretude forte, completude forte no caso dos sistemas DNCn(1 '< ou =' '< ou =' ¿ômega¿). Provamos a decidibilidade dos sistemas paraconsistentes de dedução natural DNCn(1 '< ou =' n '< ou =' ¿ômega¿) pelo método de tableau. Provamos a equivalência entre os sistemas DNCn (1 '< ou =' n '< ou =' ¿ômega¿) e o sistemas de tableau TDNCn (1 '< ou =' n '< ou =' ¿ômega¿), a corretude e a decidibilidade desses sistemas. Duas novas formulações para a hierarquia de sistemas proposicionais paraconsistentes Cn (0 '< ou =' n '< ou =' ¿ômega¿) são apresentadas / Abstract: In this paper, we present an application of the method of natural deduction, via the method of subordinate proofs. By using this method, we develop a hierarchy of logical systems of natural deduction DNCn containing just deduction rules (or schemes of deduction) with no axioms schemes. We proved that these systems DNCn(0 '< ou =' n '< ou =' ¿ômega¿) are logically equivalent to the da Costas's systems Cn (0 '< ou =' n '< ou =' ¿ômega¿). By introducing of a special bivalent valuation concept, we prove some the standard syntactical as well as semantical properties of formal systems, like consistency, strong soundness, and strong completeness in the case of the DNCn(1 '< ou =' n '< ou =' ¿ômega¿). The decidability of the paraconsistent systems of natural deduction DNCn(1 '< ou =' n '< ou =' ¿ômega¿) is proved by specifically introduced systems of tableau. We prove the logical equivalence between the systems DNCn(1 '< ou =' n '< ou =' ¿ômega¿) and the tableau system TDNCn (1 '< ou =' n '< ou =' ¿ômega¿) and also prove the soundness and decidability of these systems. Two new formulations for the hierarchy of da Costa's systems Cn (0 '< ou =' n '< ou =' ¿ômega¿) are introduced. / Mestrado / Logica e Epistemologia / Mestre em Lógica e Filosofia da Ciência

Orientador: Antonio Miguel / Tese (doutorado) - Universidade Estadual de Campinas, Faculdade de Educação / Made available in DSpace on 2018-07-25T18:05:51Z (GMT). No. of bitstreams: 1 Brito_ArletedeJesus_D.pdf: 9327577 bytes, checksum: 7b78e57876318abdfbea78fc42ddce19 (MD5) Previous issue date: 1999 / Doutorado

Orientador: Jose Mario Martinez Perez / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Computação Científica / Made available in DSpace on 2018-07-14T03:01:45Z (GMT). No. of bitstreams: 1 Amaral_LuizRobertodeSouza_M.pdf: 489874 bytes, checksum: 0cedbce7754800ebd5c5c4dacbb00d63 (MD5) Previous issue date: 1987 / Resumo: Não informado. / Abstract: Not informed. / Mestrado / Mestre em Matemática Aplicada

Orientador: Pushpa Narayan Rathie / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Matemática, Estatística e Ciência da Computação / Made available in DSpace on 2018-07-14T08:13:47Z (GMT). No. of bitstreams: 1 Charnet_Reinaldo_M.pdf: 1176340 bytes, checksum: 602126a2b430b71454645d3d5d10dfcc (MD5) Previous issue date: 1979 / Resumo: Não informado / Abstract: Not informed / Mestrado / Mestre em Estatística

Orientador : Jose Claudio Geromel / Tese (doutorado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica / Made available in DSpace on 2018-07-14T14:02:05Z (GMT). No. of bitstreams: 1 Ferreira_PauloAugustoValente_D.pdf: 8826327 bytes, checksum: e95da1805538281d6074c41b321e6ac6 (MD5) Previous issue date: 1986 / Resumo: Neste trabalho, estrategias de Projeção, Relaxação e Linearização externa, de emprego frequente em programação matemática, são incorporadas ao desenvolvimento de uma nova metodologia para a resolução interativa de blemas de decisão envolvendo multiplos objetivos. Atraves de uma projeção adequada, o problema multiobjetivo original é decomposto em um problema mestre inteiramente definido no espaço dos objetivos, cuja resolução fica a cargo de um Decisor e eumum subproblema que analisa a viabilidade das soluções propostas pelo problema mestre. Algoritmos para resolução destes dois níveis são apresentados e discutidos. Em particular, demonstra-se que através de estratégias de Relaxação, o Decisor pode desenvolver adequadamente o ,seu aprendizado acerca do comportamento do sistema em questão. O trabalho inclui resultados numéricos obtidos com a aplicação do metodo a problemas planejamento na área de energia / Abstract: In this work, solution strategies based on Projection, Relaxation and Outer Linearization frequently employed in mathematical programming are incorporated to the proposition of a newly developed methodology for the interactive solution of decision problems under multiple objectives. By means of a suitable projection, the original multiobjective problem is decomposed into a master problem completely defined in the objective space, whose solution is furnished by a Decision-Maker, and into a subproblem which analises the feasibility of the solutions proposed by the master one. Algorithms for solving both levels are presented and discussed. In particular, Relaxation is shown to constitute an appropriate basis through which the Decision-Maker can develop his apprenticenship about the behaviour of the system being considered. Numerical experiences regarding the application of the method to energy planning problems are included. / Doutorado / Telecomunicações e Telemática / Doutor em Engenharia Elétrica

Orientador: Pierre Henri Lucie / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Ciencia da Computação / Made available in DSpace on 2018-07-14T23:01:46Z (GMT). No. of bitstreams: 1 Guimaraes_ElizabethdaConceicaoSantos_M.pdf: 6032067 bytes, checksum: dd1f1915f3e8f0bdb10c71d1c42b66d9 (MD5) Previous issue date: 1978 / Resumo: O ensino de Ciências e Matemática vem, de há muito, preocupando educadores, cujas pesquisas procuram um modelo que objetive formar o estudante, ao invés de, simplesmente, informá-lo, procedendo uma abordagem voltada para a investigação. Dentro desse contexto, procurou-se diagnosticar a situação do ensino nas escolas de 1°grau da rede estadual de Manaus, e constatou-se que a precária situação, nesta área, admitia como causa principal a inadequada formação de docentes. Visando suprir essa deficiência, foi pesquisada uma abertura onde se pudesse atuar. Foi conseguida com o advento da Resolução 30/74 do CFE e a conseqüente instituição da nova componente curricular, à nível universitário: a Instrumentação para o Ensino, que trazia a resposta apontada pelos licenciados, como necessária a sua formação, ou seja, a interação científico-didática dos conteúdos. Desta forma, introduziram-se experiências, no curso de Licenciatura em Ciências, na Universidade do Amazonas, todas elas voltadas para a idealização de um programa de Instrumentação para o Ensino, a ser ministrado no Núcleo Comum do referido curso. Em decorrência da implantação deste programa tem-se como perspectivas: 1) O surgimento de mini-projetos com enfoques regionais, visando a subsídios para a reformulação curricular dos programas vigentes; 2) A aquisição de feedback para sucessivas reformas, em busca de um modelo que venha a contribuir para a uniformização das diretrizes gerais deste currículo, dentro da nova legislação. / Abstract: Not informed. / Mestrado / Ensino de Ciencias e Matematica / Mestre em Matemática

Orientador: Jose Mario Martinez / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Computação Científica / Made available in DSpace on 2018-07-15T00:32:50Z (GMT). No. of bitstreams: 1 Lopes_TarcisioLaterza_M.pdf: 740680 bytes, checksum: e28ea91e617b4ba2fd5918e6a953296a (MD5) Previous issue date: 1982 / Resumo: Não informado. / Abstract: Not informed. / Mestrado / Mestre em Matemática Aplicada