O método das matrizes operacionais é expandido para o corpo complexo a ordens arbitrárias pela abordagem de Riemann-Liouville e Caputo com ênfase nas séries de Fourier complexas. Elabora-se uma adaptação do formalismo bra-ket de Dirac à linguagem tensorial no espaço de Hilbert de funções com expansões finitas para uso específico na teoria de equações diferenciais e matrizes operacionais, denominado \\Formalismo Coadjunto\". Estende-se o tratamento aos operadores fracionais de Weyl para períodos genéricos a fim de determinar as matrizes operacionais de derivação e integração de ordem arbitrária na base complexa de Fourier. Introduz-se um novo método de resolução de equações diferenciais ordinárias lineares e fracionais não-homogêneas, denominado \\Modelagem Operacional\", que permite a obtenção de soluções de equações de alta ordem com grande precisão sem a necessidade de imposição de condições iniciais ou de contorno. O método apresentado é aperfeiçoado por meio de um novo tipo de expansão, que denominamos \"Séries Associadas de Fourier\", a qual apresenta convergência mais rápida que a série de Fourier original numa restrição de domínio, possibilitando soluções de EDOs e EDFs de alta ordem com maior precis~ao e ampliando a esfera de casos passíveis de resolução. / Operational matrices method is expanded to complex field and arbitrary orders by using the Riemann-Liouville and Caputo approach with emphasis on complex Fourier series. Dirac\'s bra-ket notation is associated to tensor procedures in Hilbert spaces for finite function expansions to be applied specifically to dfferential equations and operational matrices, being called \\Coadjoint Formalism\". This treatment is extended to Weyl fractional operators for generic periods in order to establish the integral and derivative operational matrices of fractional order to complex Fourier basis. A new method to solve linear non-homogeneous ODEs and FDEs, called \\Operational Modelling\"is introduced. It yields high precision solutions on high order dfferential equations without assumption of boundary or initial conditions. The presented method is improved by a new kind of function expansion, called \\Fourier Associated Series\", which yields a faster convergence than original Fourier in a restrict domain, enabling to obtain solutions of high order ODEs and FDEs with excellent precision and broadening the set of solvable equations.

Neste trabalho foram preparados e caracterizados catalisadores de cobalto suportados em y-Al2O3, CeO2, 20%CeO2-yAl2O3 e em soluções sólidas CexZr1-xO2 (0<= x<=1), pelo método de impregnação, com o objetivo de avaliar o desempenho destes frente à reforma a vapor e oxidativa do etanol. Na preparação dos catalisadores utilizou-se o teor de 20% em massa de cobalto, para os suportes y-Al2O3, CeO2 e 20%CeO2-y-Al2O3, e 10% para os suportes CexZr1-xO2. Para a caracterização dos sólidos, as técnicas utilizadas foram: Espectroscopia Dispersiva de Raios-X (EDX), Redução a Temperatura Programada com H2 (RTP-H2), Difração de Raios-X pelo método do pó (DRX), Adsorção de Nitrogênio pelo método B.E.T. e Espectroscopia na região do Ultravioleta e do Visível. As reações de reforma a vapor de etanol foram realizadas nas temperaturas de 400, 500 e 600oC com razões molares H2O/Etanol= 3/1 e 4/1. Já, os ensaios catalíticos de reforma oxidativa foram realizados a 500oC com razões molares H2O/Etanol/O2= 3/1/0,16 e 3/1/0,20. Através dos resultados de DRX e RTP-H2 verificou-se a formação da fase Co3O4 para todos os catalisadores. Para os catalisadores suportados em y-Al2O3 e 20%CeO2-y Al2O3 observou-se ainda a formação da fase CoO-Al2O3. Nos ensaios catalíticos de reforma a vapor do etanol foi verificado que as mais altas conversões do etanol em produtos e maiores seletividades a hidrogênio foram obtidas a 600oC e razão H2O/Etanol=3/1. A maior razão CO2/CO foi obtida a 500oC com o catalisador Co/Ce0,4Zr0,6O2. Observou-se também que a adição de oxigênio ocasionou uma diminuição na deposição de carbono. / Cobalt supported in yAl2O3, CeO2, 20%CeO2-yAl2O3 and CexZr1-xO2 (0<= x <= 1) solid solution, were prepared by impregnation and applied in steam and oxidative reforming of ethanol. In the preparation of the catalysts was used 20wt.% of cobalt with yAl2O3, CeO2 and 20%CeO2-yAl2O3 supports and 10wt.% with CexZr1-xO2 supports. The solids were characterized by X-Ray Dispersive Spectroscopy; Temperature Programmed of Reduction with H2 (TPR- H2); X-Ray Diffraction (XRD); Nitrogen Adsorption by B.E.T. method; Ultraviolet and Visible Spectroscopy. The ethanol steam reforming was carried out at 400, 500 and 600oC with molar rates H2O/Ethanol= 3/1 and 4/1. The ethanol oxidative reforming was carried out at 500 °C with molar rates H2O/Ethanol/O2 = 3/1/0.16 e 3/1/0.20. XRD and TPR-H2 results showed the formation of Co3O4 phase for all catalysts. For the catalysts supported in y-Al2O3 and 20%CeO2-y-Al2O3 was still observed the formation of the CoO-Al2O3 phase. In the ethanol steam reforming the higher conversion was obtained at 600°C and the best H2 selectivity was observed with the H2O/Etanol=3/1 molar ratio. The higher CO2/CO ratio was observed at 500oC with Co/Ce0,4Zr0,6O2 catalyst. Already, the addition of oxygen caused a decrease in the carbon deposition.

Neste trabalho demos continuidade ao estudo desenvolvido por Colla (2007) que utilizou-se do arcabouço de álgebra linear com técnicas de fatoração de matrizes esparsas aplicadas à inferência em redes Bayesianas. Com isso, a biblioteca computacional resultante possui uma separação clara entre a fase simbólica e numérica da inferência, o que permite aproveitar os resultados obtidos na primeira etapa para variar apenas os valores numéricos. Aplicamos técnicas de paralelização para melhorar o desempenho computacional, adicionamos inferência para Redes Credais e novos algoritmos para inferência em Redes Bayesianas para melhor eciência dependendo da estrutura do grafo relacionado à rede e buscamos tornar ainda mais independentes as etapas simbólica e numérica. / In this work we continued the study by Colla (2007), who used the framework of linear algebra techniques with sparse matrix factorization applied to inference in Bayesian networks. Thus, the resulting computational library has a clear separation between the symbolic and numerical phase of inference, which allows you to use the results obtained in the rst step to vary only numeric values. We applied parallelization techniques to improve computational performance, we add inference to Credal Networks and new algorithms for inference in Bayesian networks for better eciency depending on the structure of the graph related to network and seek to become more independent symbolic and numerical steps.

Álgebra Linear e particularmente a teoria das matrizes e dos sistemas lineares são tópicos da Matemática que têm aplicações, não só dentro da própria Matemática, mas também em várias outras áreas do conhecimento humano. Neste trabalho, além de estudar estas teorias, estudamos algumas de suas aplicações na área da Economia, como em modelos lineares de produção, modelos de Markov para emprego e modelos de benefícios obtidos no pagamento de impostos após realizarmos contribuições filantrópicas. / Linear Algebra and particularly matrices and linear systems theory are topics in Mathematics with many applications in several branches of science. In this work we study this theory and some of its applications in Economy as in linear models of production, Markov models of employment and tax benefits of charitable contributions.

Orientadores: Celmar Guimarães da Silva, Luiz Camolesi Júnior / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Tecnologia / Made available in DSpace on 2018-08-20T16:53:09Z (GMT). No. of bitstreams: 1 Melo_MarivaldoFelipede_M.pdf: 9855716 bytes, checksum: 793ed5d070fcd3285d9dc52d700caecf (MD5) Previous issue date: 2012 / Resumo: Algoritmos de reordenação são importantes para analise de dados matriciais, pois encontram automaticamente permutações de linhas e colunas que agrupam valores semelhantes em uma matriz, visando facilitar a busca visual por padrões e tendências nos dados. Alem disso, esses algoritmos tendem a reduzir a sobrecarga cognitiva do usuário, tendo em vista que, diferentemente das abordagens anteriores a seriação, o usuário não precisa permutar manualmente linhas e colunas para encontrar padrões. Entre os algoritmos de reordenação de matrizes pesquisados, destaca-se o PQR-Sort, por sua natureza não-heuristica e baixa complexidade assintótica de tempo de execução. Com base nesse algoritmo, este trabalho objetiva produzir versões aprimoradas do PQR-Sort visando melhorar a qualidade das matrizes por ele reordenadas (medida por funções de avaliação). Como principais resultados, foram criados dois novos algoritmos, PQR-Sort with Sorted Restrictions e PQR-Sort + BC, cujos resultados são melhores que os do algoritmo PQR-Sort de acordo com funções de avaliação de caráter local e global, respectivamente. O trabalho apresenta ainda um estudo de caso sobre a aplicação dos algoritmos propostos a um conjunto de dados real / Abstract: Reordering algorithms are important in matrix data analysis, because they automatically find row and column permutations that group similar data in a table, in order to ease finding patterns and trends in the data. Furthermore, these algorithms tend to reduce the user's cognitive overload, since, unlike previous reordering approaches, users don't need to swap rows and columns manually in order to find patterns. Within the surveyed reordering algorithms, PQR-Sort stands out because of its nonheuristic nature and low asymptotic time complexity. Based on this algorithm, this work aims to produce enhanced versions of PQR-Sort in order to improve the quality of the reordered matrix (measured by evaluators). Among its main results is the creation of two new algorithms: PQRSort with sorted Restrictions and PQR-Sort + BC, which perform better than PQR-Sort according to local e global evaluators, respectively. This work also presents a study case about the proposed algorithms' application in a real dataset / Mestrado / Tecnologia e Inovação / Mestre em Tecnologia

Orientador : Beatriz Mascia Daltrini / Tese (doutorado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica e de Computação / Made available in DSpace on 2018-08-02T10:51:13Z (GMT). No. of bitstreams: 1 Evangelista_SilvioRobertoMedeiros_D.pdf: 2530445 bytes, checksum: 8e3eb9ac2c7184ef29da114deb96d9df (MD5) Previous issue date: 2002 / Doutorado

Orientador : Plamen Koshlukov / Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Computação Cientifica / Made available in DSpace on 2018-08-03T03:08:22Z (GMT). No. of bitstreams: 1 Azevedo_SergioSardinhade_D.pdf: 542799 bytes, checksum: 542494144bb9d5fa7c52348b7cdf2b3f (MD5) Previous issue date: 2003 / Doutorado / Doutor em Matemática

Orientador: Antonio Batocchio / Dissertação (mestrado profissional) - Universidade Estadual de Campinas, Faculdade de Engenharia Mecanica / Made available in DSpace on 2018-08-03T22:24:49Z (GMT). No. of bitstreams: 1 Oliveira_IvanLuciode_M.pdf: 7787328 bytes, checksum: 72fc7fb9da4f5f8aceaa816aca227342 (MD5) Previous issue date: 2004 / Resumo: O atual ambiente é marcado por turbulências e competitividade, cheio de novidades e surpresas que reduzem a capacidade de previsão do futuro e dificultam a compreensão do presente. As organizações para sobreviverem neste ambiente. devem avaliá-lo para decidir o que deve ser feito. Com a globalização de mercados, as organizações obrigam-se internamente a delimitar novas prioridades. Baseado nesse cenário, este trabalho apresenta um método para aplicação das técnicas de planejamento estratégico, com foco na tecnologia de grupo e princípios da filosofia Just-in- Time em ambientes' de apoio à produção, como matrizarias, ferramentarias, oficinas de estampo e demais setores que não produzem o produto final. São apresentados os conceitos de planejamento estratégico, tecnologia de grupo e da filosofia Just-in-Time a partir do material encontrado na literatura técnica. Criou-se, baseado nesta análise, uma metodologia de implementação, contemplando os ambientes mencionados acima. A seguir apresenta-se um estudo de caso desenvolvido na Matrizaria da empresa Thyssen Krupp Automotive Thyssenkrupp Metalúrgica Campo Limpo aplicando a metodologia proposta, obtendo uma melhor organização do ambiente produtivo, redução do work in process e estabelecendo produção puxada em determinados estágios do processo / Abstract: The current environment is marked by turbulences and competitiveness, full of newness and surprises that reduce the capacity of predicting the future and make it difficult to understand the present. In order to survive in this environment, organizations must evaluate it and decide what must be done. Due to globalization. organizations compel themselves to setup new priorities. Based on this scenario, this work presents a method to apply new techniques of strategic planning, focusing group technology and mainly the Jusf-in-Time philosophy in environments that support production, such as die shop, tool room and other areas that do not produce the final product. Concepts of strategic planning. group technology and Just-in-Time philosophy are presented, according to what was found through technical literature. Based on this analysis, a methodology of implementation was created. involving the above-mentioned environments. A case study. which was developed at the die shop of Thyssen Krupp Automotive - Thyssenkrupp Metalúrgica Campo Limpo is also presented applying the proposed methodology, providing a better organization of the productive environment, reducing work in process and establishing a pulled production system at certain process steps / Mestrado / Planejamento e Gestão Estrategica da Manufatura / Mestre em Engenharia Mecânica

Orientador: Rogerio Custodio / Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Quimica / Made available in DSpace on 2018-08-04T13:27:31Z (GMT). No. of bitstreams: 1 Gomes_AndreSeveroPereira_D.pdf: 6795963 bytes, checksum: 0bb142805378a7e0eb2bddfd8984c643 (MD5) Previous issue date: 2005 / Doutorado / Físico-Química / Doutor em Quimica

[pt] Durante vinte anos, ficou em aberto uma conjectura de Mills, Robbins e Rumsey para a contagem de Alternating Sign Matrices (Matrizes de Sinais Alternados). Zeilberger demonstrou a validade das fórmulas em meados da década de 90. Esse texto apresenta outra demonstração, atribuída a Kuperberg, que emprega técnicas de física estatística (Gelo Quadrado). São apresentadas também formulações alternativas que fazem uso de produtos tensoriais matriciais. / [en] For twenty years, a conjecture by Mills, Robbins and Rumsey on the counting of Alternating Sign Matrices remained open. Zeilberger proved the formulas in the mid-90`s. This text presents another proof, attributed to Kuperberg, which uses techniques of statistical physics (square ice). Alternative formulations are also shown, making use of matrix tensor products.