Orientador: Jorge Sergio Perez Gallardo / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Educação Fisica / Made available in DSpace on 2018-07-22T02:25:33Z (GMT). No. of bitstreams: 1 Isayama_HelderFerreira_M.pdf: 3180019 bytes, checksum: 83310962b6c7af8b8646d17dd9e9c3e7 (MD5) Previous issue date: 1997 / Resumo: O objetivo deste estudo foi verificar se existe variação na execução dos padrões de movimento arremessar e receber em duas situações ambientais diferentes: situação laboratorial (onde ocorreu um maior controle das variáveis) e situação "natural" (próxima da situação que ocorre em aula de Educação Física). Os participantes deste estudo foram 28 crianças de ambos os sexos e com 4 anos de idade. As crianças em movimento foram filmadas realizando as duas habilidades motoras fundamentais - arremessar e receber - nas situações laboratorial e "natural". A análise dos dados foi auxiliada por uma TV e um vídeo cassete, que foram analisados de acordo com uma descrição adaptada do movimento apresentada por GALLAHUE (1989). Neste sentido, o arremessar foi dividido em três componentes: membros superiores; tronco e pernas/pés, o receber também foi dividido em três componentes: braços/antebraços; mãos e tronco/pernas/pés. A análise estatística (teste não paramétrico de Friedman) revelou diferenças significativas para dois componentes (tronco e pernas/pés) no arremessar e tronco/pernas para o receber. Em todos os casos em que foi verificada uma diferença significativa a performance na situação "natural" foi superior à situação laboratorial. Além dos resultados suportarem a influência da noção das restrições na realização do movimento, também indicam que precauções devem ocorrer quando resultados laboratoriais são aplicados às situações práticas de ensino da Educação Física / Abstract: The purpose of this study was to identify variations in the performance motor pattern of throwing and catching in two different enviromental conditions: laboratorial situation (where bigger control of variable was available) and natural situation (a situation near to that of a physical education class). The participants of this study were twenty eight children of both sex and with four years of age. The children were video taped while performing the two fundamental motor skills throwing and catching, in the laboratorial and natural situations. The data was analyzed through a TV and video cassette, following an adapted desscription of the skill proposed by GALLAHUE (1989). The throwing and the catching were divided in three components: superior limb, trunk and legs/feet and arm/forearm, hand and trunkllegs/feet, respectively. The statistical analysis (Friedman's non-parametric test) showed statisticaliy significant differences for two throwing components (trunk and legs/feet) and trunkllegs/feet for catching. In all the cases in that a significant difference was identify, performance in the "natural" condition was superior than laboratorial condition. Further the results supported the influence of the constraints notion in the skills execution and they showed that precautions must happen when laboratorial results are applied to the practical situations of physical education teaching / Mestrado / Educação Motora / Mestre em Educação Física

Orientador: Ettore Bresciani Filho / Tese (doutorado) - Universidade Estadual de Campinas, Faculdade de Engenharia Mecanica / Made available in DSpace on 2018-08-10T20:11:51Z (GMT). No. of bitstreams: 1 Thimmig_RolandoAntonio_D.pdf: 1460008 bytes, checksum: 14b7a07d7a7e08b91c77d5d2d015dc9f (MD5) Previous issue date: 2008 / Resumo: Este trabalho se propõe a elaborar um novo método para a acreditação em instituições de saúde pelo estudo de sistemas complexos, utilizando a sistemografia como ferramenta de modelização de sistemas. A utilização da técnica da sistemografia permite o mapeamento e a racionalização dos processos, facilitando sua compreensão pelos diversos profissionais envolvidos. O objetivo geral deste trabalho é apresentar este método de forma a simplificar o processo de acreditação, identificando redundâncias e incompletudes eventualmente existentes neste processo. Conceitualmente, a acreditação é um método voluntário e educacional de estímulo, avaliação e certificação externa da qualidade de serviços de saúde, que introduz, nas instituições prestadoras de serviços de assistência à saúde, a cultura da qualidade. Após a realização de uma revisão bibliográfica a respeito de sistemas, sistemografia, processos, gestão do conhecimento e acreditação hospitalar, é feita uma análise geral da acreditação de uma instituição de saúde, que passa a ser estudada através de seu processo de acreditação inicial (ou incremental) e de seu processo de manutenção (ou de reavaliação) da acreditação. Esta análise inclui o detalhamento desses dois processos através de seus sistemógrafos operacional, informacional e decisional, sendo seus processadores analisados, avaliados, comparados e tabulados segundo sua categoria, tipo e nível. A elaboração dos sistemógrafos operacionais (apresentando as operações envolvidas no processo), dos sistemógrafos informacionais (em que o fluxo das informações é destacado) e dos sistemógrafos decisionais (em que são mostradas as tomadas de decisões) permite, durante a análise da atividade em questão, avaliá-la e melhorá-la. Estes sistemógrafos permitem observar e eliminar redundâncias e ciclos que são (ou não) importantes para o processo propriamente dito, proporcionando assim a sua visualização sistêmica, identificando pontos que permitam sua racionalização, seu aumento de flexibilidade e sua agilização. Em seguida, a análise teórica é complementada através de um estudo de caso, em que é apresentado o processo de acreditação de um hospital de grande porte. Finalmente, são apresentadas as conclusões, baseadas tanto no estudo teórico como no estudo prático / Abstract: This work proposes a new method for the healthcare institution¿s accreditation trough the study of complex systems, using the systemography as a systems modeling tool. The systemographic technique use allows the processes¿ mapping and rationalization, enabling the different involved professionals understanding. The general objective of this work is to present this method in a way that simplifies the accreditation process, identifying redundancies and incompletenesses that may eventually exist in this process. Conceptually, accreditation is a voluntary and educational method that incentives, evaluates and certifies the quality of healthcare services, which introduces in the healthcare institutions services the culture of quality. After the bibliographical revision regarding systems, systemography, processes, knowledge management and hospitals' accreditation, a general analysis of a health institution accreditation is performed, through the study of its initial (or incremental) accreditation process and trough its maintenance (or revaluation) accreditation process. This analysis includes the two processes specification through their operational, informational and decisional systemographs, having their processors analyzed, appraised, compared and tabulated by category, type and level. The operational systemographs (listing the operations involved in the process), the informational systemographs (highlighting the information flow) and the decisional systemographs (presenting the decisions) allow, during the activity analysis, to evaluate and to improve it. These systemographs allow the identification and elimination of redundancies and the separation of the main process cycles from the others, providing a systemic visualization and identification of points that enable its rationalization, flexibility increase and agility. The theoretical analysis is followed and complemented by a case study, where a large hospital¿s accreditation process is presented. At the end, the conclusions based in the theoretical and practical reviews are presented. / Doutorado / Materiais e Processos de Fabricação / Mestre em Engenharia Mecânica

Orientador: Alberto Luiz Serpa / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Mecanica / Made available in DSpace on 2018-08-10T21:19:29Z (GMT). No. of bitstreams: 1 Pereira_DanielAugusto_M.pdf: 6268866 bytes, checksum: 3faebe29f9ec8e8f665d11ac095420f8 (MD5) Previous issue date: 2008 / Resumo: Esta dissertação aborda a aplicação de técnicas modernas de controle de sistemas dinâmicosao problema de detecção de falhas. Duas diferentes abordagens de detecção são utilizadas: estimação da falha e geração de resíduo. Tanto na estimação de falha quanto na geração de resíduo é formulado um problema H1 cujo objetivo é encontrar um filtro que garanta robustez a distúrbios.No caso da geração de resíduos, o índice H- é utilizado como critério de desempenho adicional para garantir a sensibilidade à falha e é transformado em um critério H1. O projeto H1 é abordado sob o ponto de vista de desigualdades matriciais lineares. Falhas e distúrbios devem apresentar comportamento em freqüência distintos para que os filtros consigam separar os efeitos dos mesmos. Para garantir o desempenho nas regiões em freqüência de interesse são utilizados filtros de ponderação. Em contraposição a essa abordagem, os resultados recentes da literatura sobre o lema generalizado de Kalman-Yakubovi?c-Popov e o controle H1 restrito na freqüência também são usados como ferramentas de projeto independentes de filtros de ponderação. Os métodos sãocomparados usando modelos de simulação e experimentos no âmbito de estruturas flexíveis / Abstract: This dissertation adresses the application of modern techniques from control of dynamicsystems to the problem of fault detection. Two different approaches are used: fault estimation and residual generation. Both fault estimation and residual generation are formulated as an H1 problem whose objective is to find a filter ensuring robustness to disturbance. In the case of residual generation, theH- index is used as an additional performance criterion to ensure fault sensitiveness and is transformed into an H1 criterion. The H1 design is treated from the point of view of linear matrix inequalities. Faults and disturbances must have distinct frequency distributions so the filter is able to separate them. Weighting functions are used to guarantee performance at the frequency region of interest. In contrast with this approach, recent results from literature on the generalisedKalman-Yakubovi?c-Popov lemma and frequency restricted H1 control are also used as design methods whose application is independent of weighting functions. All methods are compared using simple simulation models and experiments with flexible / Mestrado / Mecanica dos Sólidos e Projeto Mecanico / Mestre em Engenharia Mecânica

Orientador: Alberto Luiz Serpa / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Mecanica / Made available in DSpace on 2018-08-11T04:04:36Z (GMT). No. of bitstreams: 1 Mazoni_AlyssonFernandes_M.pdf: 2883879 bytes, checksum: a514d74c83605535d0c2eaf4a060356f (MD5) Previous issue date: 2008 / Resumo: Esta dissertação aborda técnicas modernas de controle robusto H8 para sistemas dinâmicos lineares. Com isso pretende-se dizer que são usados como ferramentas matemáticas os resultados da teoria de controle de sistemas lineares para o caso com incertezas de vários tipos admitidas sobre o modelo. Os modelos são primariamente estruturas flexíveis e os métodos de projeto são implementados usando exclusivamente a solução de problemas sujeitos a desigualdades matriciais lineares. São abordadas as incertezas paramétrica, dinâmica e politópica com o objetivo de apresentar métodos matemáticos de projeto de controladores para os sistemas incertos. Para o caso de incerteza dinâmica, apresenta-se a técnica de filtros de ponderação. Em contraposição a essa abordagem, os resultados recentes da literatura sobre o lema generalizado de Kalman-Yakubovi?c-Popov e o H8 restrito na freqüência também são usados como métodos de controle independentes de filtros de ponderação. Os métodos são comparados usando modelos de simulação e experimentos no âmbito de estruturas flexíveis. Palavras-chave: Teoria dos sistemas dinâmicos, Programação Convexa, Sistema de controle por realimentação / Abstract: This dissertation deals with modern techniques from the Robust H8 Control of Linear Dynamic Systems. By this it is meant that the results from linear control systems theory are used as mathemathical tools when considering several kinds of uncertainty on the models. These models are mostly of flexible structures and the design methods are implemented using solely the solution of problems subjected to linear matrix inequalities. The types of uncertainty approached are: parametric, dynamic and polytopic; this is done aiming to present mathematical design methods for the uncertain systems considered. When dealing with dynamic uncertainty, the weighting functions are introduced. In contrast with this approach, recent results from literature on the generalised Kalman-Yakubovi?c-Popov lemma and frequency restricted H8 are also used as control design methods whose application is independent of weighting functions. All methods are compared using simple simulation models and experiments with flexible structures . Keywords: Theory of dynamical systems, Convex programming, Feedback control systems / Mestrado / Mecanica dos Sólidos e Projeto Mecanico / Mestre em Engenharia Mecânica

Submitted by Divisão de Documentação/BC Biblioteca Central (ddbc@ufam.edu.br) on 2016-02-17T19:26:13Z No. of bitstreams: 1 Dissertação - Jumi Aislan Estrázulas.pdf: 1526430 bytes, checksum: 29b328a567cfa2a3183e9817bdde10fc (MD5) / Approved for entry into archive by Divisão de Documentação/BC Biblioteca Central (ddbc@ufam.edu.br) on 2016-02-17T19:27:15Z (GMT) No. of bitstreams: 1 Dissertação - Jumi Aislan Estrázulas.pdf: 1526430 bytes, checksum: 29b328a567cfa2a3183e9817bdde10fc (MD5) / Approved for entry into archive by Divisão de Documentação/BC Biblioteca Central (ddbc@ufam.edu.br) on 2016-02-17T19:31:42Z (GMT) No. of bitstreams: 1 Dissertação - Jumi Aislan Estrázulas.pdf: 1526430 bytes, checksum: 29b328a567cfa2a3183e9817bdde10fc (MD5) / Made available in DSpace on 2016-02-17T19:31:42Z (GMT). No. of bitstreams: 1 Dissertação - Jumi Aislan Estrázulas.pdf: 1526430 bytes, checksum: 29b328a567cfa2a3183e9817bdde10fc (MD5) Previous issue date: 2010-08-13 / CAPES - Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / El presente trabajo trata de las cuestiones comunicacionales del sistema digital. Es una forma de intentar explorar una laguna existente en los estudios de modelos de comunicación, en especial, en esa nueva configuración post-moderna. El estudio parte de un abordaje sistémico, con influencias de la ecología, neurología, biología del conocimiento, lingüística, semiótica, análisis del discurso, análisis del medio para componer un modelo de comunicación digital. Bien como las derivas que la relación hombre y máquina digital, actuando en el medio digital, pueden realizar. Tiene como resultado una propuesta modelar de abordaje de un sistema de comunicación digital y el entendimiento de como esa unidad se ha tornado autopoiético. El trabajo refuerza la necesidad de una mayor concentración de los estudios en las relaciones digitales y extrae una línea evolutiva que justifica la posición pos-moderna delante del mundo digital no como alienación u homeostasis simplemente, pero como un analfabetismo de formación digital / O presente trabalho trata das questões comunicacionais do sistema digital. É uma tentativa de explorar uma lacuna existente nos estudos de modelos de comunicação, em especial, nessa nova configuração pós-moderna. O estudo parte de uma abordagem sistêmica, com influências da ecologia, neurologia, biologia do conhecimento, linguística, semiótica, análise do discurso, análise do meio para compor um modelo de comunicação digital. Bem como as derivas que a relação homem e máquina digital, atuando no meio digital, podem realizar. Tem como resultado uma proposta modelar de abordagem de um sistema de comunicação digital e o entendimento de como essa unidade se tornou autopoiética. O trabalho reforça a necessidade de uma maior concentração dos estudos nas relações digitais e extrai uma linha evolutiva que justifica a posição pós-moderna diante do mundo digital não como alienação ou homeostase simplesmente, mas como um analfabetismo de formação digital.

Made available in DSpace on 2016-08-29T11:13:02Z (GMT). No. of bitstreams: 1 tese_7470_Dissertação - Tales 2015.pdf: 529308 bytes, checksum: 26d5b6dd98391005143ca45f4b5033dd (MD5) Previous issue date: 2015-03-02 / O debate entre os paradigmas da mecânica e o sistêmico tem causado importantes revoluções nos mais diversos campos de conhecimento, principalmente na física, química e biologia. Sendo assim, esta dissertação tem o objetivo de analisar como as teorias sistêmicas mais recentes desenvolvidas na química, a partir de Prigogine, e na biologia, conforme Maturana e Varela, podem contribuir para a abordagem institucionalista de Veblen. Para isso, apoiar-se-á na hipótese fornecida pela Teoria Geral dos Sistemas, de Bertalanffy (2006), no qual se refere que os princípios que regem um determinado sistema independem das particularidades de seus componentes mas do modo como estes se inter-relacionam. Assim, a convergência entre estas três teorias passa a ser válida uma vez que o tipo de sistema tratado em todas seja caracterizado por: 1) irreversibilidade da trajetória de suas mudanças, 2) com oposição à ideia de equilíbrio e 3) a introdução de uma abordagem evolucionária e com tempo histórico. Este trabalho se inicia a partir da introdução ao debate entre os paradigmas da mecânica e sistêmico surgido no ramo da física. Na sequência apresenta os referenciais teóricos do institucionalismo de Veblen e da teoria das estruturas dissipativas e autopoiese. Em seguida é feito a análise de convergência entre os arcabouços teóricos vistos, e verificado como as abordagens de Prigogine juntamente com a de Maturana e Varela podem contribuir para o estudo das instituições. Por fim é mostrado como a abordagem desenvolvida neste trabalho pode auxiliar no tratamento de questões relacionadas à economia, com ênfase dada especificamente no que tange a economia monetária. / The debate between the paradigms of mechanical and systemic has caused important revolutions in various fields of knowledge, especially in physics, chemistry and biology. Thus, this work aims to analyze how the most recent systemic theories developed in chemistry, from Prigogine, and biology, as Maturana and Varela, can contribute to the institutional approach of Veblen. For this, will be supporting the hypothesis provided by General Systems Theory of Bertalanffy (2006), which mentions that the principles governing a given system independent of the peculiarities of its components but how these interrelate . The convergence between these three theories becomes valid once the treaty system in all type is characterized by: 1) irreversibility of the trajectory of your changes, 2) with opposition to the idea of equilibrium and 3) the introduction of a evolutionary and historical time approach. This study starts from the introduction to the debate between the paradigms of mechanical and systemic emerged in the physics branch. Following presents the theoretical frameworks of institutionalism of Veblen and the theory of dissipative structures and autopoiesis. Next up is done the analysis of convergence between visas theoretical frameworks, and verified as the approaches of Prigogine along with Maturana and Varela can contribute to the study of institutions. Finally it is shown how the approach developed in this work can assist in addressing issues related to the economy, with emphasis specifically with respect to monetary economics.

Orientador: Ítala Maria Loffredo D'Ottaviano / Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciências Humanas / Made available in DSpace on 2018-08-19T12:55:05Z (GMT). No. of bitstreams: 1 Andrade_RamonSouzaCapelle_D.pdf: 2199404 bytes, checksum: 2cfe6779d4b1e626d3847b217ffd7a7f (MD5) Previous issue date: 2011 / Resumo: O objetivo desta Tese consiste em defender que (a) os condicionais constituem a forma lógica subjacente à manifestação das leis naturais, das leis biológicas e dos hábitos psicocomportamentais. Defendemos, também, que, (b) embora tenhamos a mesma forma lógica subjacente à manifestação dessas regularidades (leis, hábitos), não temos, contudo, o mesmo grau de conexão entre antecedentes e conseqüentes nesses contextos de realidade (físico-químico, biológico e psicocomportamental). Em concordância com a nossa interpretação de parte da Hipótese Cosmológica de Peirce, defendemos que: (c) as leis naturais fortemente determinam seus conseqüentes (Se o antecedente acontece, então o conseqüente quase-necessariamente se segue), (d) as leis biológicas moderadamente determinam seus conseqüentes (Se o antecedente acontece, então o conseqüente muito provavelmente se segue) e (e) os hábitos psicocomportamentais fracamente determinam seus conseqüentes (Se o antecedente acontece, então o conseqüente provavelmente se segue). Anexamos o rótulo Hipótese do Espectro de Determinação de Condicionais Causais a essas diferentes (quase-necessária, muito provável e provável) modalidades de conexão entre antecedentes e conseqüentes. Oferecemos (f), com base na semântica de David Lewis (2005), um modelo para esse espectro de determinação, e procuramos expressar a determinação do condicional e, ao mesmo tempo, deixar espaço para a indeterminação ou acaso. Procuramos (g) caracterizar sistema e organização, e (h) argumentamos que um hábito constitui um componente organizacional da estrutura psicocomportamental de um agente. Oferecemos (i) uma classificação dos hábitos em hábitos que estabelecem os traços da identidade do sistema/agente, hábitos racionais e hábitos degenerados. Procuramos ainda (j) caracterizar a auto-organização e (l) analisar como um processo de auto-organização secundária se estabelece na estrutura psicocomportamental de um agente / Abstract: The objective of this thesis consists in arguing that (a) conditionals constitute the logical form underlying the manifestation of natural laws, biological laws, and psycho-behavioral habits. It is also argued that (b) even though we find the same logical form underlying the manifestation of these regularities (laws and habits), we do not find, however, the same degree of connection between antecedents and consequents in the relevant contexts of reality (physico-chemical, biological, and psycho-behavioral). In accord with our interpretation of part of Peirce's cosmological hypothesis, we argue that (c) natural laws strongly determine their consequents (if the antecedent occurs, then the consequent almost necessarily follows), (d) biological laws moderately determine their consequents (if the antecedent occurs, then the consequent very probably follows), and (e) psycho-behavioral habits weakly determine their consequents (if the antecedent occurs, then the consequent probably follows) We use the appellation "hypothesis of the spectrum of determination of causal conditionals" to express these different modalities of connection between antecedents and consequents (almost-necessary, very probable, and probable). Based on the semantics of David Lewis (2005), we propose (f) a model for this spectrum of determination, and we seek to express the determination of the conditional and, at the same time, to allow room for indetermination or chance. We seek (g) to characterize system and organization, and we argue that (h) a habit constitutes an organizational component in the psycho-behavioral structure of an agent. We offer (i) a threefold classification of habits into habits that establish the features of the identity of the system/agent, rational habits, and degenerate habits. We seek (j) to characterize self-organization, and (k) to analyze how a process of secondary self-organization establishes itself in the psycho-behavioral structure of an agent / Doutorado / Filosofia / Doutor em Filosofia

Orientadores: Mário Jorge Dias Carneiro, Marco Antonio Teixeira / Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Matemática, Estatística e Computação Científica / Made available in DSpace on 2018-08-19T10:54:43Z (GMT). No. of bitstreams: 1 Damasceno_JosueGeraldo_D.pdf: 1045427 bytes, checksum: 2cb1e5f51924e8667d69ad7267aeaa4e (MD5) Previous issue date: 2011 / Resumo: Descrevemos algumas propriedades dinâmicas de uma família de aplicações bilhares sobre curvas convexas (ovais) as quais são deformadas pelo fluxo de curvatura. Quando a mesa se deforma, a razão entre as curvaturas mínima e máxima converge a 1 e por um resultado clássico de Gage e Hamilton, depois de uma normalização, as curvas tendem a um círculo. Como conseqüência, a região de Lazutkin, isto é, a região que contém cáusticas convexas, cresce gradualmente. Descreveremos algumas bifurcações dinâmicas nesse processo, em particular, descreveremos o que acontece com a família de órbitas de período dois e as órbitas "zig-zag" / Abstract: We describe some dynamical properties of one parameter families of billiards on convex curves (ovals) which are deformed by the curvature flow. As the billiard table deforms, the ratio between minimal and maximal curvature converges to 1 and by a classical result of Gage and Hamilton [GH], after a normalization, the curves tend to a circle. As a consequence, the Lazutkin region, i.e. the region that contains convex caustics, gradually increases. We describe some dynamical bifurcations in this process, in particular, we describe what happens with the family of period two orbits and the "zig-zag"orbits / Doutorado / Matematica / Doutor em Matemática

Orientador : João Mauricio Rosario / Tese (doutorado) - Universidade Estadual de Campinas, Faculdade de Engenharia Mecanica / Made available in DSpace on 2018-08-03T08:57:26Z (GMT). No. of bitstreams: 1 David_SergioAdriani_D.pdf: 6908391 bytes, checksum: 3f7717f958c96997fd34af75cca160e5 (MD5) Previous issue date: 2003 / Resumo: Neste trabalho desenvolveu-se a modelagem dinâmica de estruturas flexíveis, a investigação de seu comportamento não linear por meio de simulações numéricas e a validação experimental através da montagem de um protótipo. Ressalta-se que em se tratando de sistemas não lineares, embora existam métodos de procedimento, não existe uma teoria única que possa atender às diferentes aplicações e necessidadesde análise não linear. Dessa maneira, abordou-se formas específicas de se tratar duas aplicações distintas, uma envolvendo manipuladores robóticos flexíveis e a outra um oscilador mecânico flexível. Desenvolveu-se ferramentas de modelagem, simulação, análise e implementação. A aplicação envolvendo o oscilador mecânico flexível teve âmbitos experimentais e os resultados de alguns ensaios sugerem uma boa concordância com o modelo teórico. Os resultados obtidos desse trabalho e o aparato experimental montado, ambos, permitem que diversas investigações futuras ainda possam ser realizados definidas e podem agregar conhecimento sobretudo aos interessados em temas relacionados à estruturas flexíveis e análise não linear / Abstract: This work deserihes the dynamic modeling of flexible structures. the investigation about its nonlinear behaviour through numerical simulations and the construction of an experimental appararus in order to validate the model. I outline the fact that to deal with nonlinear systems, although there are conduct method, there isn't a unique theory that could to attend to different applications and necessities of nonlinear analysis. For this reason, specific approach had been presented to deal with two applications, flexible robot manipulators and flexible mechanical oscillator. Dynamic modeling, numerical simulation, analysis and implement are performed. The application which involves the flexible mechanical oscillator have experimental scope and the results have showed a good agreement with the theoretical model. The results obtained and the experimental apparatus COnstructed. both, allow sundry future investigations and can add knowledge specially to the interested in flexible structures and nonlinear analysis / Doutorado / Mecanica dos Sólidos e Projeto Mecanico / Doutor em Engenharia Mecânica

Orientador: Itala Maria Loffredo D'Ottaviano / Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias Humanas / Made available in DSpace on 2018-08-03T21:04:12Z (GMT). No. of bitstreams: 1 Tassinari_RicardoPereira_D.pdf: 1211433 bytes, checksum: 0edefc8fa8eb0b9895dac7b85a9aa2de (MD5) Previous issue date: 2003 / Resumo: Os Teoremas da Incompletude de Gödel têm sido, recorrentemente, citados nos estudos sobre auto-organização, como propiciando exemplos de processos não-mecânicos e verdadeiramente auto-organizados. Um dos fundamentos desses estudos está relacionado às análises que afirmam que os resultados obtidos por Gödel, associados à Tese/Definição de Church sobre calculabilidade, implicam na impossibilidade de uma modelagem mecânica completa de processos relativos à cognição humana. Dois desses processos que podem ser citados como auto-organizados, e cuja não-mecanicidade decorreria dos teoremas de Gödel, seriam os processos de determinação de fórmulas verdadeiras de teorias aritméticas de primeira ordem e de determinação de fórmulas verdadeiras de lógicas de ordens superiores, já que existem resultados lógico-matemáticos de incompletude desses sistemas formais. O objetivo central desta Tese consiste em analisar esses processos de determinação de verdades aritméticas e de verdades de lógicas de ordens superiores, a partir de uma análise dos resultados decorrentes dos teoremas de Gödel e da Teoria da Auto-Organização de Debrun, para mostrar que eles constituem processos não-mecânicos, segundo a acepção da Tese/Definição de Church, e auto-organizados, segundo Debrun. Apresentamos, preliminarmente, uma demonstração cuidadosa do Segundo Teorema da Incompletude de Gödel e uma introdução à Teoria da Auto-Organização de Debrun; bem como realizamos uma análise detalhada de como os resultados obtidos a partir do Segundo Teorema de Gödel permitem concluir que existem processos não-mecânicos, no sentido da Tese/Definição de Church, por argumentos distintos dos utilizados em alguns trabalhos da literatura. Mostramos que sempre existe um sistema formal cujo conjunto de teoremas é exatamente o conjunto de fórmulas determinadas como verdadeiras por qualquer função recursiva parcial que simule a capacidade humana de determinação de verdades aritméticas de primeira ordem e de verdades de lógicas de ordens superiores, enquanto, segundo o Segundo Teorema da Incompletude de Gödel, não existem sistemas formais cujos teoremas sejam todas as fórmulas que conseguimos identificar como verdadeiras / Abstract: Gödel¿s Incompleteness Theorems have been mentioned in the studies on self-organization as providing examples of non-mechanical and truly self-organized processes. One of the fundaments of these studies is related to the analyses that assert that Gödel¿s results, associated to Church¿s Thesis/Definition on calculability, imply the impossibility of complete mechanical modeling of processes related to human cognition. Two of these processes that can be mentioned as self-organized, whose non-mechanicity is implied by Gödel¿s theorems, would be the process of determination of true formulae of first order arithmetical theories and the process of determination of true formulae of higher-order logics, since there are logical-mathematical results on the incompleteness of these formal systems. The central aim of this Thesis is to analyze these processes of determination of first order arithmetical truths and higher-order logical truths, from an analysis of the results from Gödel¿s theorems and Debrun¿s Self-Organization Theory, in order to show that these processes constitute non-mechanical self-organized processes, according to Church¿s Thesis/Definition and Debrun¿s Theory. Preliminarily, we present a careful proof of Gödel¿s Second Incompleteness Theorem and an introduction to Debrun¿s Self-Organization Theory; as well as we analyze, in detail, how the results obtained from Gödel¿s theorems allow us to conclude that non-mechanical processes exists, in the sense of Church¿s Thesis/Definition, by using arguments that do not appear in known papers in the literature. We show that there is always a formal system whose set of theorems is exactly the set of formulae determined as true by any partial recursive function that simulates the human capability of determination of first order arithmetical truths and higher-order logical truths, while, according to Gödel¿s Second Incompleteness Theorem, there is no formal system whose theorems are all the formulae that we can identify as true formulae / Doutorado / Doutor em Filosofia