Orientador: Adriana Cesar de Mattos / Banca: Marcos Vieira Teixeira / Banca: Oscar João Abdounur / Resumo: A finalidade desta dissertação é estudar o reconhecimento histórico atribuído ao matemático Arthur Cayley na História da Matemática. Iniciamos este trabalho relatando sua trajetória escolar no King's College de Londres e Trinity College, em Cambridge. Em 1852, Cayley foi eleito membro da Royal Society of London. Portanto, realizamos um estudo em relação ao seu processo de admissão e do estado da Royal Society of London nesse período. É possível encontrar o nome de Arthur Cayley nos principais mecanismos de reconhecimento matemático da época, portanto, verificamos esse reconhecimento por meio dos pareceres relativos às suas publicações abordando a Teoria dos Invariantes na Philosophical Transactions of Royal Society of London. Fora da Inglaterra, o reconhecimento matemático de Cayley é constatado pelas suas publicações no Crelle (Alemanha), Liouville e Comptes rendus (França). Devido ao seu prestígio, Cayley foi convidado para publicar em revistas matemáticas da Itália e Estados Unidos. O reconhecimento acadêmico de Arthur Cayley é decretado em 1863, quando foi eleito à primeira Cadeira de Professor Sadleirian de Matemática Pura da Universidade de Cambridge. Ao final de tratar essas questões, finalizamos com uma discussão sobre o processo de reconhecimento histórico na Matemática, em especial, o caso de Arthur Cayley / Abstract: The aim of this dissertation is to study the historical recognition awarded to the mathematician Arthur Cayley in the History of Mathematics. We started this work reporting their trajectory at King's College London and at Trinity College, Cambridge. In 1852, Cayley was elected Fellow of the Royal Society of London. Therefore, we conducted a study regarding their admissions process and the state of the Royal Society of London in this period. It's possible find the name of Arthur Cayley in the main recognition mechanisms mathematician of the time, therefore, we see this recognition by means of referees concerning about their publications addressing the Invariant Theory in Philosophical Transactions of the Royal Society of London. Outside England, the recognition mathematician from Cayley is remarkable for its publications in Crelle (Germany), Liouville and Comptes rendus (France). Because of its prestige, Cayley was invited to publish in mathematical journals from Italy and the United States. The academic recognition of Arthur Cayley is decreed in 1863, when he was elected to the first Sadleirian Chair Professor of Pure Mathematics at Cambridge University. At the end of dealing with these issues, we concluded with a discussion of the process of historical recognition in mathematics, in particular the case of Arthur Cayley / Mestre

Orientador: Sergio Roberto Nobre / Banca: Rosa Lucia Sverzut Baroni / Banca: Lucieli M. Trivizoli / Banca: Antonio Carlos Simões Pião / Banca: Carlos Roberto de Moraes / Resumo: Neste trabalho realizamos uma análise histórica sobre os primeiros doutorados em Matemática no Brasil. A análise inicia com a compreensão do processo que instituiu o grau de Doutor em Ciências Matemáticas em meados do século XIX no Brasil, processo este que incluiu o estudo de decretos e leis que vão desde a criação da Academia Real Militar, ocorrida em 1810, até esta ser transformada em Escola Militar, em 1839. Também estudamos as reformas pelas quais passou essa Instituição de Ensino, até que em 1842, através de Decreto, foi instituído o grau de Doutor. Notamos que, mesmo após a institucionalização do referido grau, foi somente após a aprovação de seu regulamento, publicado em 1846, que surgiram as primeiras dissertações de doutorado. Realizamos uma análise histórica destas dissertações e de seus autores, e as apresentamos aqui como resultado de nossa pesquisa em História da Matemática no Brasil / Abstract: In this work we performed a historical analysis of the rst doctorates degrees in Mathematics in Brazil. The analysis starts with the understanding of the process that established the degree of Doctor of Mathematical Sciences in the mid nineteenth century in Brazil, in a process that includes the study of decrees and laws since the creation of the Royal Military Academy, in 1810, until that it has became into Military School, in 1839. We also studied the reforms on this Educational Institution, until that in 1842 the degree of Doctor was established by decree. We note that even after the institutionalization of that degree, it was only after the approval of its rules, published in 1846, which emerged the rst doctoral dissertations. We conducted a historical analysis of these essays and their authors, and presented here as a result of our research on the History of Mathematics in Brazil / Doutor

Orientador: Carlos Rodrigues de Souza / Tese (doutorado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica e de Computação / Made available in DSpace on 2018-07-22T20:48:32Z (GMT). No. of bitstreams: 1 Creppe_RenatoCrivellari_D.pdf: 7872549 bytes, checksum: 334e125266ab8c2f76030fdf60770749 (MD5) Previous issue date: 1997 / Resumo: A proposta desta tese é estudar o funcionamento dos Motores de Indução Lineares, através de um modelo matemático que considere os efeitos de extremidades presentes neste tipo de máquina. O modelo matemático que representa o motor em estudo tem seus parâmetros determinados a partir de dados de projeto, inicialmente sem considerar os efeitos de extremidades. o Efeito Transversal de Borda é introduzido no modelo através de fator existente na literatura específica. O Efeito Longitudinal de Extremidade é introduzido através de um novo fator, proposto neste trabalho e calculado a partir da Teoria Unidimensional. Este novo fator apresenta diversas vantagens de utilização em relação aos existentes. As equações matemáticas do modelo, considerando os efeitos de extremidades, são solucionadas numericamente em computador digital, sem a utilização de transformações matemáticas usualmente empregadas nas máquinas rotativas, simplificando a modelagem da máquina linear. São apresentados diversos resultados de simulações e são feitas comparações com valores levantados experimentalmente em motores de laboratório / Abstract: The application of an specific mathematical model to assess the behavior of Linear Induction Motors is the main purpose of this work. End effects, always present in this kind of machine, are considered in the modeling. ln order to emphasize the similarity with conventional rotating machine, the linear induction motor parameters are first determined from the machine design data which do not take end effects into account. Next, the transversal edge effect is considered as usually shown in pertinent references. As for the consideration of longitudinal end effect, a novel factor, that is calculated with base on the One-Dimensional Theory, is introduced in his work. The advantages in relation to other similar existing factors are discussed. The mathematical model equation are numerically integrated using digital computer but the mathematical dq transformations, ftequently applied to conventional rotary machine dynamic equations, are not used, so the machine modeling is simplified. Simulation results corresponding measurements carried out in linear machine laboratory prototypes are presented for comparison / Doutorado / Automação / Doutor em Engenharia Elétrica

Memoria para optar al Título Profesional de Ingeniero Forestal

Tesis para optar al grado de Doctor en Ciencias de la Ingeniería, Mención Modelación Matemática / El Proceso de Contacto es un proceso de Markov introducido por Ted Harris en 1974 como un modelo de propagación de infecciones en una red. En este modelo, la red está conformada por individuos que, de estar infectados, pueden recuperarse de la enfermedad o propagarla a vecinos sanos. A pesar de ser un modelo muy simple, el Proceso de Contacto ha sido estudiado en detalle durante los últimos cuarenta años, debido a su capacidad de reflejar algunas de las características más notables de las enfermedades infecciosas, tales como una fuerte dependencia de su comportamiento sobre la red, y la existencia de un valor crítico para su tasa de infección que divide las enfermedades en ``débiles'' y ``fuertes'', donde las primeras mueren rápidamente, mientras que las segundas sobreviven por largos períodos de tiempo. Desde los inicios del estudio de este proceso, se ha dedicado una cantidad de esfuerzo considerable a intentar comprender cómo este es afectado por las características de la red subyacente. Sin embargo, en todos estos esfuerzos se ha considerado que la red es estática en el tiempo, mientras que las redes observadas en la realidad son dinámicas por naturaleza, un aspecto fundamental que ha recibido escasa atención. Esta tesis consiste de tres trabajos relacionados con este tema: En el primer problema estudiamos el Proceso de Contacto sobre un grafo aleatorio finito de escala libre, al cual dotamos de una dinámica estacionaria en que cada vértice actualiza todas sus conexiones de forma simultánea a una tasa que depende de su grado esperado. En este trabajo identificamos y analizamos cuatro posibles estrategias con las cuales la infección puede sobrevivir por largos períodos de tiempo. Mostramos que la estrategia más exitosa determina la forma asintótica de la densidad metaestable cuando la tasa de infección tiende a cero, y que cuando ninguna de estas estrategias tiene éxito la infección muere rápidamente. En el segundo problema estudiamos el Proceso de Contacto sobre el lattice uno-dimensional bajo percolación dinámica con rapidez v. A diferencia del caso de percolación estática, las componentes conexas del grafo se dividen y fusionan constantemente, permitiendo a la infección moverse a través de todo el grafo, lo que le permite sobrevivir. En nuestros resultados probamos que para valores bajos de v el proceso se extingue mientras que para valores altos de este parámetro, se comporta como un Proceso de Contacto regular en Z. En el tercer problema estudiamos un modelo de poblaciones a tiempo discreto en que varias especies compiten por espacio en una red, mediante un mecanismo de propagación similar a un Proceso de Contacto multiespecie, mientras que simultáneamente son atacadas por epidemias. Nuestros resultados principales muestran que para el modelo de dos especies, existen regiones explícitas en el dominio de los parámetros dentro de los cuales podemos observar dominación o coexistencia; esto contrasta con el comportamiento del modelo sin epidemias, en las cuales la especie más apta siempre domina a las otras. / CONICYT-PCHA/Doctorado nacional/2014-21141160 y CMM Conicyt PIA AFB170001

Tese (Doutorado) - Universidade Federal de Santa Catarina, Centro Tecnológico. / Made available in DSpace on 2012-10-17T13:30:56Z (GMT). No. of bitstreams: 0Bitstream added on 2014-09-25T19:15:18Z : No. of bitstreams: 1 161846.pdf: 91791177 bytes, checksum: f51a3f5dd4b7584432ec2bf16b4b082c (MD5) / Apresenta-se uma metodologia de modelagem global para caixas de engrenagem, tendo por base os métodos de elementos finitos e elementos de contorno, cujo enfoque principal é para as vibrações e ruídos transportados pela estrutura e que têm como origem a excitação provocada pelo engrenamento, de modo a permitir a predição de parâmetros vibro-acústicos. Assim, são apresentadas as formulações matemáticas que permitem a determinação de matrizes de rigidez generalizadas, para a representação de mancais de elementos rolantes e do engrenamento; o desenvolvimento de um modelo numérico de sistema de eixos engrenados, que permite estimar as reações nos mancais devido ao engrenamento e a influência da modificação do perfil dos dentes das engrenagens; a concepção e criação de uma malha de elementos finitos para representação do alojamento da caixa de engrenagem, bem como a malha acústica correspondente usada para a estimativa de parâmetros acústicos pelo método de elementos de contorno. A metodologia é aplicada a uma caixa de engrenagem de uso veicular real e o comportamento vibro-acústico é predito para condições operacionais distintas.

Tese (doutorado) - Universidade Federal de Santa Catarina, Centro Tecnológico. Programa de Pós-Graduação em Engenharia de Produção. / Made available in DSpace on 2012-10-19T21:03:24Z (GMT). No. of bitstreams: 0Bitstream added on 2014-09-26T02:25:16Z : No. of bitstreams: 1 183648.pdf: 5970468 bytes, checksum: b8c8d8431be3985546c7ca789cceab07 (MD5) / Objetivou-se com este trabalho desenvolver uma modelagem matemática para lagoas facultativas e lagoas de aguapés de um sistema de tratamento de dejetos suínos. O estudo aconteceu em três etapas, uma compreendida pelo sistema composto por um decantador de palhetas, duas lagoas anaeróbias, uma lagoa facultativa (com chicanas) e uma lagoa de polimento com aguapés, em escala real (maio de 1999 a junho de 2000); a segunda etapa abrangeu o estudo o desempenho de lagoas facultativas com chicanas, em escala piloto, as quais eram abastecidas por efluentes da lagoa anaeróbia 2 do sistema em escala real (janeiro de 2000 a junho de 2001). A terceira etapa contemplou a substituição das chicanas por um aerador na lagoa facultativa em escala real (junho de 2000 a junho de 2001). Os parâmetros analisados foram: pH; Temperatura; Oxigênio Dissolvido (OD); Sólidos Totais (ST); Sólidos Fixos (SF); Sólidos Voláteis (SV); Demanda Química de Oxigênio (DQO); Nitrogênio total Kejdhal (NTK); Fósforo total (PT); Coliformes totais (CT) e Coliformes fecais (CF). Foram realizadas coletas mensais (8 meses) e coletas quinzenais (16 meses). O sistema total apresentou as seguintes eficiências de remoção: 93% de ST; 82% de SF; 97% de SV; 98% de DQO; 92% de NTK; 98% de PT; 7 unid log para CT e CF. A análise do desempenho da eficiência da lagoa facultativa com chicanas permitiu concluir que as chicanas não melhoraram significativamente a eficiência de remoção de nutrientes da lagoa, e o primeiro compartimento é o principal responsável pela eficiência da mesma. A lagoa facultativa aerada foi mais eficiente apenas na remoção de Sólidos totais e fixos, e teve desempenho similar quanto aos outros parâmetros (22,3% de ST, 30% de SF, 17% de SV, 29% de SST, 46% de DQO, 40% de NTK, 38,6% de Namon. e 48% de PT). As lagoas facultativas com chicanas, em escala piloto, apresentaram eficiências de remoção semelhantes com a lagoa facultativa em escala real (14% de ST, 7% de SF, 26% de SV, 47% de DQO, 46% de NTK, 45% de PT e 1 unid log de CT e CF). Aplicando uma análise fatorial (ACP) na interpretação dos parâmetros das lagoas facultativas e de aguapés evidenciou-se que o teor de matéria orgânica, a temperatura e o OD têm um efeito importante no desempenho destas lagoas. A predominância dos fatores matéria orgânica e sólidos totais, em todas as lagoas, demonstra que há necessidade de melhorar a eficiência do sistema de tratamento. A modelagem matemática do processo de tratamento de lagoas facultativas com chicanas apresentou resultados satisfatórios na remoção diária de nutrientes de dejetos de suínos. As simulações efetuadas mostraram que o desempenho da lagoa pode ser modelado através de sistema de equações diferenciais ordinárias. Os programas e algoritmos elaborados permitem a modelagem de sistemas com qualquer dinâmica de entrada de poluentes. Através da modelagem matemática é possível encontrar a quantidade ideal de aguapés que deve ser removida diariamente da lagoa.

Orientador: Maurício César Delamaro / Coorientador: Aneirson Francisco Silva / Banca: Fernando Augusto Silva Marins / Banca: José Roberto Dale Luche / Banca: Alexandre Gori Maia / Banca: Suely da Penha Sanches / Resumo: A partir da promulgação da Lei da Política Nacional de Mobilidade Urbana em 2012, a gestão da mobilidade urbana no Brasil passou a enfrentar novos desafios quanto ao seu planejamento de curto, médio e longo prazos. Entre eles está a integração dos diferentes modos de transporte dos municípios: público, privado e não motorizado (art. 24 da Lei n°12.587/ 2012). Com o intuito de potencializar o uso dos transportes não motorizados no Vale do Paraíba e Litoral Norte, buscou-se identificar e analisar os pontos críticos da inserção dos transportes não motorizados no planejamento urbano dos municípios da Região Metropolitana do Vale do Paraíba e Litoral Norte (RMVPLN). Para tanto foram entrevistados os responsáveis pelos transportes não motorizados de 11 municípios da RMVPLN usando um roteiro de entrevista e um questionário com perguntas fechadas. Com base nas respostas se avaliou como os municípios contemplam os transportes não motorizados em sua gestão e planejamento. Após esta análise, por meio do modelo Fuzzy de Programação por Metas e Análise por Envoltória de Dados foi possível avaliar a eficiência relativa da gestão dos transportes não motorizados dos municípios estudados. Os resultados deste trabalho indicaram a falta de uma análise sistêmica e integral das ações e/ou iniciativas que facilitem o uso dos transportes não motorizados na Região Metropolitana estudada. Também se destacaram quais são os principais determinantes que influenciam o uso dos transportes não motorizados na região estudada e os municípios que apresentam maior eficiência relativa na gestão do mesmo / Abstract: From enactment of Law of the Urban Mobility National Policy in 2012, the urban mobility management in Brazil started to face new challenges regarding its planning of short, medium and long-term. Among them it is the integration of the different transport modes of the cities: public, private and non-motorized (article 24 of the Law No. 12.587/2012). Aiming to potentiate the use of non-motorized transports in Vale do Paraíba and Litoral Norte, we sought to identify and analyze the critical points of the insertion of the non-motorized transports in the urban planning of cities of the Metropolitan Region of the Vale do Paraíba and Litoral Norte (RMVPLN). For this, we interview the responsible people by non-motorized transports of 11 cities of the RMVPLN using in the interview script and a questionnaire with closed questions. Based on answers, we assessed how the cities address the non-motorized transports in their management and planning. After this analysis, through the model Fuzzy Goal Programming and Data Envelopment Analysis was possible to assess the relative efficiency of the nonmotorized transport management of the cities studied. The results of this work indicated the lack of a systemic and integral analysis of the measures and/or initiatives that make easier the use of the non-motorized transports in the Metropolitan Region studied. We also can highlight which are the main determinants that influence the use of the non-motorized transports in the region studied and cities that have higher relative efficiency in management of the same / Doutor

Ingeniero Civil Mecánico / Actualmente existe un gran interés científico por las distintas formas de conversión de energías renovables no convencionales (ERNC). Una de ellas, que pretende ser una alternativa a las ya presentes en el mercado, es la energía undimotriz. El estado actual de este tipo de energía se encuentra a nivel de laboratorio, con algunos prototipos instalados a modo de prueba. Todos estos sistemas de conversión de energía marina necesitan ser caracterizados bajo condiciones controladas de laboratorio, típicamente utilizando un canal con generación artificial de ondas de superficie que represente lo mejor posible las condiciones reales del mar. Las simulaciones numéricas representan una etapa inicial de diseño de bajo costo para distintos mecanismos, entre los que se encuentran los canales de olas. El objetivo de este trabajo de título es realizar una simulación numérica transiente 2D, mediante el software comercial Fluent, de un canal longitudinal para estudiar la propagación de ondas de superficie en agua. Las simulaciones numéricas son realizadas en el cluster de cómputo paralelo del laboratorio de Estudios Avanzados en Fenómenos No Lineales (LEAF-NL) del Departamento de Ingeniería Mecánica de la Universidad de Chile. La simulación es realizada para una onda bajo la teoría lineal. Esta onda es generada por un generador de tipo pistón en un canal de dos dimensiones, donde la generación se realiza por el borde izquierdo del canal y la absorción por el derecho. Los resultados obtenidos mediante el software CFD se ajustan a la teoría lineal de ondas, lo que se comprobó con el registro del nivel de superficie de agua en distintos puntos del canal y su posterior comparación con los valores teóricos. Se estudia y diseña el mecanismo de atenuación de las ondas reflejadas en la pared opuesta a la de generación, el cual consiste en un mecanismo de atenuación activo del tipo cinemático. Este diseño se realiza estudiando la respuesta dinámica del sistema ante una entrada de tipo escalón, en donde se registra la amplitud de onda generada para distintas velocidades de entrada del pistón y se caracteriza el sistema como uno de segundo orden. En base a este diseño se plantean dos mecanismos de absorción del tipo cinemático mediante un sistema de control, los cuales son simulados y comparados por su desempeño frente a una onda armónica bajo la teoría lineal. Además, se realiza la simulación de uno de los mecanismos de absorción ante una onda de tipo impulsiva. Para los dos tipos de onda probados los mecanismos diseñados logran atenuar las ondas reflejadas a lo largo del canal.

Made available in DSpace on 2014-08-13T14:50:46Z (GMT). No. of bitstreams: 0 Previous issue date: 2013-02-07Bitstream added on 2014-08-13T18:00:39Z : No. of bitstreams: 1 000756908.pdf: 521999 bytes, checksum: c92d8043980849d8b21f239dd04dac21 (MD5) / Em análise de modelo de crescimento com o objetivo de representar o desenvolvimento de organismos vivos por um período maior que sua fase inicial, utiliza-se, frequentemente, modelos não lineares. O objetivo deste trabalho foi ajustar o modelo não-linear de Gompertz utilizando o software SAS através de três estruturas diferentes: 1) modelo de efeitos fixos; 2) modelo autorregressivo de primeira ordem e 3) modelo de efeito misto a um conjunto de dados de crescimento em peso de ratos da linhagem Rattus norvegicus e para um conjunto de dados de crescimento em peso de vacas de três raças: Flamengas, Guernsey-Gir e Holandesas, para verificar o melhor modelo para os conjuntos de dados obtidos. Para tal, optou-se por seis critérios estatísticos como avaliadores de ajuste. Os critérios foram: Quadrado médio do resíduo, critério de informação de Akaike (AIC), critério de informação Bayesiano (BIC), erro de predição médio (EPM), resíduos nos pontos iniciais, chamadores 0, usado para avaliar o ajuste nas primeiras observações e um índice sendo um valor considerado como avaliador no final do ajuste (calculado pela razão entre os 20% dos maiores valores estimados e a assíntota estimada). Além destes, foram feitos testes de Durbin-Watson e Breusch-Pagan para verificar a independência dos resíduos e a heteroscedasticidade, respectivamente. Os resultados mostram que, em muitas repetiçõees, onde havia a necessidade de correção da autocorrelação e heterocedasticidade, o modelo autorregessivo de primeira ordem foi o melhor ajuste. Já em relação ao ajuste único, nos casos em que a autocorrelação foi significativa, o modelo autorregressivo foi o melhor segundo os critérios e, quando a autocorrelação foi não significativa, o modelo de efeitos fixos foi o melhor modelo / In growth model analyzing to represent the development of organisms for a larger period than its initial phase, it nonlinear models are often used . The aim of this work was to adjust the nonlinear Gompertz model using the software SAS by three different structures: 1) fixed effects model, 2) first-order autoregressive model and 3) mixed-effects model to a data of growth of female and male rats Rattus norvegicus and to a data of growth of three breeds cow to verify the best model for the data obtained. To attach the objective, six criteria was chosen as evaluators of statistical adjustment. The criteria were: residual mean square, Akaike information criterion (AIC), Bayesian information criterion (BIC), mean prediction error (EPM), residues in starting points, called res 0, used to assess the fit in the first observations and an index value being considered as an evaluator at the end of adjustment (calculated as the ratio between 20% of the largest estimated values and estimated asymptote). In addition, Durbin-Watson and Breusch-Pagan tests were performed to verify the independence of waste and heteroscedasticity, respectively. The results show that in many repetitions, where was need a correction of autocorrelation and heteroscedasticity, the first order autoregressive model was the best fit. In relation to the single adjustment, where the autocorrelation was significant, the autoregressive model was the best, according to the criteria utilized, and when the autocorrelation was not significant, the fixed effects model was the best model