Physical lab experiments have shown that the pressure caused by an impinging jet on a granular bed has the potential to form craters. This poses a danger to landing success and nearby spacecraft for future rocket missions. Current numerical simulations for this process do not accurately reproduce experimental results. Our goal is to produce improved simulations to more accurately and effi- ciently model the changes in pressure as gas flows through a porous medium. A two-dimensional model in space known as the nonlinear Porous Medium Equation as it is derived from Darcy’s law is used. An Alternating-Direction Implicit (ADI) temporal scheme is presented and implemented which reduces our multidimensional problem into a series of one-dimensional problems. We take advantage of explicit approximations for the nonlinear terms using extrapolation formulas derived from Taylor-series, which increases efficiency when compared to other common methods. We couple our ADI temporal scheme with different spatial discretizations including a second-order Finite Difference (FD) method, a fourth-order Orthogonal Spline Collocation (OSC) method, and an Nth-order Chebyshev Spectral method. Accuracy and runtime are compared among the three methods for comparison in a linear analogue of our problem. We see the best results for accuracy when using an ADI-Spectral method in the linear case, but discuss possibilities for increased effi- ciency using an ADI-OSC scheme. Nonlinear results are presented using the ADI-Spectral method and the ADI-FD method.

No description available.

No description available.

The periodic repetitions of laryngeal adduction and abduction gestures were uttered by 16 subjects. The movement of the cuneiform tubercles was tracked over time in the laryngoscopic recordings of these utterances. The adduction velocity and abduction velocity were determined objectively by means of a piecewise linear model fitted to the cuneiform tubercle trajectories. The abduction was found to be significantly faster than the adduction. This was interpreted in terms of the biomechanics and active control by the nervous system. The biomechanical properties could be responsible for a velocity of abduction that is up to 51% higher compared to the velocity of adduction. Additionally, the adduction velocity may be actively limited to prevent an overshoot of the intended adduction degree when the vocal folds are approximated to initiate phonation.

Dans cette thèse nous étudions les théorèmes limites dans l’analyse statistique dessystèmes dynamiques. Le premier chapitre est consacré aux notions des bases des systèmesdynamiques ainsi que la théorie ergodique. Dans le deuxième chapitre nous introduisonsun cadre fonctionnel abstrait pour lequel la version quenched du théorème de la limitecentrale (TLC) en dimension 1 pour les systèmes dynamiques uniformément dilatantsest satisfaite sous une condition de validité nécessaire et suffisante. Le troisième chapitreest consacré au principe d’invariance presque sûr (PIPS) pour les application aléatoiresdilatantes par morceaux. Nous présentons certaines hypothèses sous lesquelles le (PIPS)est vérifié en utilisant la méthode d’approximation des martingales de Cuny et Merlèvede.Nous étudions aussi le théorème de Sprindzuk et ses conséquences. Nous établissons dansle chapitre quatre la décroissance des corrélations pour les systèmes dynamiques aléatoiresuniformément dilatants par la méthode de couplage en dimension 1. Nous terminons cetravail par une présentation des concepts de base de la théorie des mesures et probabilitéset une présentation de l’espace des fonctions à variation bornée. / In this thesis we study the limit theorems in the statistical analysis of dynamicalsystems. The first chapter is devoted to the basic notions in dynamical systems as well asthe ergodic theory. In the second chapter we introduce an abstract functional frameworkunder which the quenched version of the central limit theorem (CLT) in dimension 1for uniformly expanding dynamic systems is satisfied under a necessary and sufficientcondition validity. The third chapter is devoted to the almost sure invariance principle(ASIP) for random piecewise expanding maps. We present some hypotheses under whichthe (ASIP) is verified using the method of approximation of the martingales of Cuny andMerlèvede. We also study the Sprindzuk theorem and its consequences. In chapter four,we define the decay of correlations for the random dynamical systems uniformly expandingby the coupling method in dimension 1. We finish this work with a presentation of thebasic concepts of the theory of measures and probabilities and a presentation of the spaceof functions with bounded variation.

En automatique, l'obtention d'un modèle du système est la pierre angulaire des procédures comme la synthèse d'une commande, la détection des défaillances, la prédiction... Cette thèse traite de l'identification d'une classe de systèmes complexes, les systèmes dynamiques hybrides. Ces systèmes impliquent l'interaction de comportements continus et discrets. Le but est de construire un modèle à partir de mesures expérimentales d'entrée et de sortie. Une nouvelle approche pour l'identification de systèmes hybrides linéaires basée sur les propriétés géométriques des systèmes hybrides dans l'espace des paramètres est proposée. Un nouvel algorithme est ensuite proposé pour le calcul de la solution la plus parcimonieuse (ou creuse) de systèmes d'équations linéaires sous-déterminés. Celui-ci permet d'améliorer une approche d'identification basée sur l'optimisation de la parcimonie du vecteur d'erreur. De plus, de nouvelles approches, basées sur des modèles à noyaux, sont proposées pour l'identification de systèmes hybrides non linéaires et de systèmes lisses par morceaux / In automatic control, obtaining a model is always the cornerstone of the synthesis procedures such as controller design, fault detection or prediction... This thesis deals with the identification of a class of complex systems, hybrid dynamical systems. These systems involve the interaction of continuous and discrete behaviors. The goal is to build a model from experimental measurements of the system inputs and outputs. A new approach for the identification of linear hybrid systems based on the geometric properties of hybrid systems in the parameter space is proposed. A new algorithm is then proposed to recover the sparsest solutions of underdetermined systems of linear equations. This allows us to improve an identification approach based on the error sparsification. In addition, new approaches based on kernel models are proposed for the identification of nonlinear hybrid systems and piecewise smooth systems

Nessa tese, estudamos o limite hidrodinâmico de um sistema estocástico de neurônios cujas interações são dadas por potenciais de Kac que imitam sinapses elétricas e químicas, e as correntes de vazamento. Esse sistema consiste de $\\ep^$ neurônios imersos em $[0,1)^2$, cada um disparando aleatoriamente de acordo com um processo pontual com taxa que depende tanto do seu potential de membrana como da posição. Quando o neurônio $i$ dispara, seu potential de membrana é resetado para $0$, enquanto que o potencial de membrana do neurônio $j$ é aumentado por um valor positivo $\\ep^2 a(i,j)$, se $i$ influencia $j$. Além disso, entre disparos consecutivos, o sistema segue uma movimento determinístico devido às sinapses elétricas e às correntes de vazamento. As sinapses elétricas estão envolvidas na sincronização do potencial de membrana dos neurônios, enquanto que as correntes de vazamento inibem a atividade de todos os neurônios, atraindo simultaneamente todos os potenciais de membrana para $0$. No principal resultado dessa tese, mostramos que a distribuição empírica dos potenciais de membrana converge, quando o parâmetro $\\ep$ tende à 0 , para uma densidade de probabilidade $ho_t(u,r)$ que satisfaz uma equação diferencial parcial nâo linear do tipo hiperbólica . / We study the hydrodynamic limit of a stochastic system of neurons whose interactions are given by Kac Potentials that mimic chemical and electrical synapses and leak currents. The system consists of $\\ep^$ neurons embedded in $[0,1)^2$, each spiking randomly according to a point process with rate depending on both its membrane potential and position. When neuron $i$ spikes, its membrane potential is reset to $0$ while the membrane potential of $j$ is increased by a positive value $\\ep^2 a(i,j)$, if $i$ influences $j$. Furthermore, between consecutive spikes, the system follows a deterministic motion due both to electrical synapses and leak currents. The electrical synapses are involved in the synchronization of the membrane potentials of the neurons, while the leak currents inhibit the activity of all neurons, attracting simultaneously their membrane potentials to 0. We show that the empirical distribution of the membrane potentials converges, as $\\ep$ vanishes, to a probability density $ho_t(u,r)$ which is proved to obey a nonlinear PDE of Hyperbolic type.

Submitted by Otávio Henrique Perez null (otavio_perez@hotmail.com) on 2017-03-03T20:13:38Z No. of bitstreams: 1 DissertacaoOtavioHenriquePerez.pdf: 2570606 bytes, checksum: dd0f73a1627a83d453f101ef3a973d23 (MD5) / Approved for entry into archive by LUIZA DE MENEZES ROMANETTO (luizamenezes@reitoria.unesp.br) on 2017-03-09T17:45:41Z (GMT) No. of bitstreams: 1 perez_oh_me_sjrp.pdf: 2570606 bytes, checksum: dd0f73a1627a83d453f101ef3a973d23 (MD5) / Made available in DSpace on 2017-03-09T17:45:41Z (GMT). No. of bitstreams: 1 perez_oh_me_sjrp.pdf: 2570606 bytes, checksum: dd0f73a1627a83d453f101ef3a973d23 (MD5) Previous issue date: 2017-02-23 / Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP) / Neste trabalho iremos abordar aspectos qualitativos e geométricos a respeito de campos de vetores suaves por partes. Nosso foco será estudar bifurcações locais e globais de codimensão um e dois e também algumas relações de equivalência para campos vetoriais suaves por partes definidos no plano. Classificaremos e caracterizaremos bifurcações genéricas por meio do retrato de fase e do diagrama de bifurcação dos campos envolvidos. Também faremos uma breve introdução sobre Sistemas Slow-Fast. / In this work we study qualitative and geometric aspects of piecewise smooth vector fields. Our focus is to study local and global bifurcations of codimension one and two and some equivalence relations for piecewise smooth vector fields defined on the plane. We will classify and characterize generic bifurcations using the phase portrait and the bifurcation diagram of the vector fields involved. We also incorporate a brief introduction about Slow-Fast Systems. / FAPESP: 2014/18707-6

Submitted by Franciele Moreira (francielemoreyra@gmail.com) on 2018-03-19T13:29:18Z No. of bitstreams: 2 Dissertação - Ana Maria Alves da Silva - 2018.pdf: 3230446 bytes, checksum: c48f203ce76ba32ab0a57f302c79d375 (MD5) license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) / Approved for entry into archive by Luciana Ferreira (lucgeral@gmail.com) on 2018-03-20T10:20:02Z (GMT) No. of bitstreams: 2 Dissertação - Ana Maria Alves da Silva - 2018.pdf: 3230446 bytes, checksum: c48f203ce76ba32ab0a57f302c79d375 (MD5) license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) / Made available in DSpace on 2018-03-20T10:20:02Z (GMT). No. of bitstreams: 2 Dissertação - Ana Maria Alves da Silva - 2018.pdf: 3230446 bytes, checksum: c48f203ce76ba32ab0a57f302c79d375 (MD5) license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) Previous issue date: 2018-03-07 / Conselho Nacional de Pesquisa e Desenvolvimento Científico e Tecnológico - CNPq / In this work we will study limit cycles in piecewise smooth linear systems. We begin studying the case where the separation curve is a polygonal and we give an example of a system having seven limit cycles. The existence of an arbitrary number of limit cycles is also proved for these systems, as well as an example of a system with 10 limit cycles. The existence of n limit cycles, n 2 N, is also studied through a perturbation in the separation curve. Finally, we study limit cycles in planar piecewise linear systems presenting a twofold singularity in R2, as well as limit cycles sorrounding a T-singularity. / Neste trabalho estudaremos ciclos limite em sistemas lineares suaves por partes. Iniciamos estudando o caso em que a zona de descontinuidade é uma poligonal e fornecemos um exemplo de um sistema com sete ciclos limite. A existência de uma quantidade arbitrária n de ciclos limite para tais sistemas também é provada, assim como fornecemos um exemplo de um sistema com 10 ciclos limite. A existência de n ciclos limite, n 2 N, também é estudada através de uma pertubação na zona de descontinuidade. Por fim, estudamos ciclos limite em sistemas lineares suaves planares com equilíbrios do tipo dobra-dobra em R2, bem como ciclos limite em torno de uma T-singularidade.

Apresentamos um estudo das álgebras de incidência que são hereditárias por partes, as quais denominamos Phias, piecewise hereditary incidence algebras. Através da aljava com relações, descrevemos as Phias de tipo Dynkin e introduzimos uma nova família de Phias de tipo Dynkin extendido chamada família ANS, em referência a Assem, Nehring e Skowronski. Nessa descrição, o importante método foi o dos cortes em extensões triviais, os quais inspiraram a elaboração de um programa que concebe exatamente os cortes na extensão trivial dada que resultam em álgebras de incidência. Abordamos as Phias &#922\\&#916 de tipo feixes, estudando o &#922\\&#916-módulo sincero canônico M e a álgebra de extensão por um ponto &#922\\&#916[&#924]. Demonstramos que se &#922Q/I é uma álgebra sincera, quase-inclinada canônica de tipo aljava e tipo de representação infinito, então os &#922Q/I-módulos sinceros são excepcionais. Essa conclusão permite construir uma gama de Phias &#922\\&#916[&#924] de tipo selvagem. Exploramos as Phias simplesmente conexas, provando uma resposta positiva para o problema de Skowronski para &#922\\&#916 uma Phia de tipo H, com grafo de objetos inclinantes &#922_D^b (&#919) conexo: o grupo &#919^1(&#922\\&#916) é trivial se, e somente se, a álgebra &#922\\&#916 é simplesmente conexa. Na área homológica, determinamos um limitante superior da dimensão global forte das Phias; mais ainda, ampliamos esse resultado para as álgebras sinceras provando que dada uma álgebra sincera e hereditária por partes, sua dimensão global forte é menor ou igual a três. / We present a study of incidence algebras that are piecewise hereditary, which we denominate Phias. By means of the quiver with relations, we describe Phias of Dynkin type and introduce a new family of Phias of extended Dynkin type, which we call ANS family, in reference to Assem, Nehring, and Skowronski. In this description, the important method was the one of cuts on trivial extensions, inspiring the writing of a program that shows exactly the cuts on the given trivial extension that result on incidence algebras. We approach sheaves type Phias &#922\\&#916, studying the canonical sincere &#922\\&#916-module M and the one-point extension algebra &#922\\&#916[&#924]. We show that if &#922Q/I is a sincere, quasi-tilted canonical algebra of quiver type and infinite representation type, then sincere &#922Q/I-modules are exceptional. This conclusion allows the construction of a wide range of Phias &#922\\&#916[&#924] wild type. We explore the simply conectedeness of Phias, proving a positive answer of the so called Skowronski problem for &#922\\&#916 a Phia H type, with connected quiver of tilting objects &#922_D^b (&#919): the group &#919^1(&#922\\&#916) is trivial if, and only if, &#922\\&#916 is a simply connected algebra. On homology, we determine an upper bound for the strong global dimension of Phias; furthermore, we extend this result for sincere algebras proving that the strong global dimension of a sincere piecewise hereditary algebra is less or equal to three.