We present a novel dimensionally split Cartesian cut cell method to compute inviscid, viscous and turbulent flows around rigid geometries. On a cut cell mesh, the existence of arbitrarily small boundary cells severely restricts the stable time step for an explicit numerical scheme. We solve this `small cell problem' when computing solutions for hyperbolic conservation laws by combining wave speed and geometric information to develop a novel stabilised cut cell flux. The convergence and stability of the developed technique are proved for the one-dimensional linear advection equation, while its multi-dimensional numerical performance is investigated through the computation of solutions to a number of test problems for the linear advection and Euler equations. This work was recently published in the Journal of Computational Physics (Gokhale et al., 2018). Subsequently, we develop the method further to be able to compute solutions for the compressible Navier-Stokes equations. The method is globally second order accurate in the L1 norm, fully conservative, and allows the use of time steps determined by the regular grid spacing. We provide a full description of the three-dimensional implementation of the method and evaluate its numerical performance by computing solutions to a wide range of test problems ranging from the nearly incompressible to the highly compressible flow regimes. This work was recently published in the Journal of Computational Physics (Gokhale et al., 2018). It is the first presentation of a dimensionally split cut cell method for the compressible Navier-Stokes equations in the literature. Finally, we also present an extension of the cut cell method to solve high Reynolds number turbulent automotive flows using a wall-modelled Large Eddy Simulation (WMLES) approach. A full description is provided of the coupling between the (implicit) LES solution and an equilibrium wall function on the cut cell mesh. The combined methodology is used to compute results for the turbulent flow over a square cylinder, and for flow over the SAE Notchback and DrivAer reference automotive geometries. We intend to publish the promising results as part of a future publication, which would be the first assessment of a WMLES Cartesian cut cell approach for computing automotive flows to be presented in the literature.

In this thesis we study Kähler groups and their connections to Geometric Group Theory. This work presents substantial progress on three central questions in the field: (1) Which subgroups of direct products of surface groups are Kähler? (2) Which Kähler groups admit a classifying space with finite (n-1)-skeleton but no classifying space with finitely many n-cells? (3) Is it possible to give explicit finite presentations for any of the groups constructed in response to Question 2? Question 1 was raised by Delzant and Gromov. Question 2 is intimately related to Question 1: the non-trivial examples of Kähler subgroups of direct products of surface groups never admit a classifying space with finite skeleton. The only known source of non-trivial examples for Questions 1 and 2 are fundamental groups of fibres of holomorphic maps from a direct product of closed surfaces onto an elliptic curve; the first such construction is due to Dimca, Papadima and Suciu. Question 3 was posed by Suciu in the context of these examples. In this thesis we: provide the first constraints on Kähler subdirect products of surface groups (<strong>Theorem 7.3.1</strong>); develop new construction methods for Kähler groups from maps onto higher-dimensional complex tori (<strong>Section 6.1</strong>); apply these methods to obtain irreducible examples of Kähler subgroups of direct products of surface groups which arise from maps onto higher-dimensional tori and use them to show that our conditions in Theorem 7.3.1 are minimal (<strong>Theorem A</strong>); apply our construction methods to produce irreducible examples of Kähler groups that (i) have a classifying space with finite (n-1)-skeleton but no classifying space with finite n-skeleton and (ii) do not have a subgroup of finite index which embeds in a direct product of surface groups (<strong>Theorem 8.3.1</strong>); provide a new proof of Biswas, Mj and Pancholi's generalisation of Dimca, Papadima and Suciu's construction to more general maps onto elliptic curves (<strong>Theorem 4.3.2</strong>) and introduce invariants that distinguish many of the groups obtained from this construction (<strong>Theorem 4.6.2</strong>); and, construct explicit finite presentations for Dimca, Papadima and Suciu's groups thereby answering Question 3 (<strong>Theorem 5.4.4)</strong>).

We study a number of local and global classification problems in generalized complex geometry. Generalized complex geometry is a relatively new type of geometry which has applications to string theory and mirror symmetry. Symplectic and complex geometry are special cases. In the first topic, we characterize the local structure of generalized complex manifolds by proving that a generalized complex structure near a complex point arises from a holomorphic Poisson structure. In the proof we use a smoothed Newton’s method along the lines of Nash, Moser and Conn. In the second topic, we consider whether a given regular Poisson structure and transverse complex structure come from a generalized complex structure. We give cohomological criteria, and we find some counterexamples and some unexpected examples, including a compact, regular generalized complex manifold for which nearby symplectic leaves are not symplectomorphic. In the third topic, we consider generalized complex structures with nondegenerate type change; we describe a generalized Calabi-Yau structure induced on the type change locus, and prove a local normal form theorem near this locus. Finally, in the fourth topic, we give a classification of generalized complex principal bundles satisfying a certain transversality condition; in this case, there is a generalized flat connection, and the classification involves a monodromy map to the Courant automorphism group.

We study a number of local and global classification problems in generalized complex geometry. Generalized complex geometry is a relatively new type of geometry which has applications to string theory and mirror symmetry. Symplectic and complex geometry are special cases. In the first topic, we characterize the local structure of generalized complex manifolds by proving that a generalized complex structure near a complex point arises from a holomorphic Poisson structure. In the proof we use a smoothed Newton’s method along the lines of Nash, Moser and Conn. In the second topic, we consider whether a given regular Poisson structure and transverse complex structure come from a generalized complex structure. We give cohomological criteria, and we find some counterexamples and some unexpected examples, including a compact, regular generalized complex manifold for which nearby symplectic leaves are not symplectomorphic. In the third topic, we consider generalized complex structures with nondegenerate type change; we describe a generalized Calabi-Yau structure induced on the type change locus, and prove a local normal form theorem near this locus. Finally, in the fourth topic, we give a classification of generalized complex principal bundles satisfying a certain transversality condition; in this case, there is a generalized flat connection, and the classification involves a monodromy map to the Courant automorphism group.

Biojutikliai yra įrenginiai, skirti medžiagoms aptikti bei jų koncentracijoms matuoti. Siekiant sumažinti biojutiklių gamybos kaštus yra pasitelkiamas matematinis biojutikliuose vykstančių procesų modeliavimas. Disertacijoje nagrinėjami matematiniai ir kompiuteriniai biojutiklių modeliai, aprašantys biojutiklių, sudarytų iš kelių, skirtingas savybes turinčių dalių, veikimą. Nagrinėjami modeliai yra formuluojami vienmatėje bei dvimatėje erdvėse, aprašomi diferencialinėmis lygtimis dalinėmis išvestinėmis su netiesiniais nariais ir yra sprendžiami skaitiškai, naudojant baigtinių skirtumų metodą. Skaitiniai modeliai yra įgyvendinami kompiuterine programa. Disertacijoje pateikiamas originalus matematinis modelis biojutikliui su anglies nanovamzdelių elektrodu, nustatyti kriterijai, apibrėžiantys, kada biojutiklį su perforuota membrana galima modeliuoti vienmačiu modeliu. Darbe susisteminti elementai, naudojami biojutiklių modelių formulavimui, pagrindinį dėmesį skiriant biojutiklio struktūrinėms savybėms modeliuoti. Apibrėžta biojutiklių modelių aprašo kalba ir sukurta programinė įranga, leidžianti modeliuoti biojutiklių veikimą vienmačiais modeliais arba modeliais, formuluojamais stačiakampėje dvimatės erdvės srityje. Taikant sukurtą biojutiklių modeliavimo programinę įrangą, ištirtas biojutiklio su anglies nanovamzdelių elektrodu modelio adekvatumas ir struktūrinių bei geometrinių savybių įtaka biojutiklio elgsenai. / Biosensors are analytical devices mainly used to detect analytes and measure their concentrations. Mathematical modeling is widely used for optimizing and analyzing an operation of biosensors for reducing price of development of new biosensors. The object of this research is mathematical and computer models, describing an operation of biosensors, made of several parts with different properties. The dissertation covers models, formulated in one and two-dimensional spaces by partial differential equations with non-linear members, and solved numerically, using the method of finite differences. The numerical models are implemented by a computer program. An original mathematical model for a biosensor with a carbon nanotube electrode is presented in the dissertation. The conditions at which the one-dimensional mathematical model can be used instead of two-dimensional one for accurate prediction of the biosensor response are investigated. Elements, used to build models of biosensors with a complex structure, were systemized. The biosensor description language is proposed and the computer software, simulating an operation of biosensors in the one-dimensional space and a rectangular domain of the two-dimensional space, is developed. An adequateness of the model for the biosensor with the carbon nanotube electrode and the impact of structural and geometrical properties on a response of the biosensor were investigated, performing computer experiments using the developed software.

Biosensors are analytical devices mainly used to detect analytes and measure their concentrations. Mathematical modeling is widely used for optimizing and analyzing an operation of biosensors for reducing price of development of new biosensors. The object of this research is mathematical and computer models, describing an operation of biosensors, made of several parts with different properties. The dissertation covers models, formulated in one and two-dimensional spaces by partial differential equations with non-linear members, and solved numerically, using the method of finite differences. The numerical models are implemented by a computer program. An original mathematical model for a biosensor with a carbon nanotube electrode is presented in the dissertation. The conditions at which the one-dimensional mathematical model can be used instead of two-dimensional one for accurate prediction of the biosensor response are investigated. Elements, used to build models of biosensors with a complex structure, were systemized. The biosensor description language is proposed and the computer software, simulating an operation of biosensors in the one-dimensional space and a rectangular domain of the two-dimensional space, is developed. An adequateness of the model for the biosensor with the carbon nanotube electrode and the impact of structural and geometrical properties on a response of the biosensor were investigated, performing computer experiments using the developed software. / Biojutikliai yra įrenginiai, skirti medžiagoms aptikti bei jų koncentracijoms matuoti. Siekiant sumažinti biojutiklių gamybos kaštus yra pasitelkiamas matematinis biojutikliuose vykstančių procesų modeliavimas. Disertacijoje nagrinėjami matematiniai ir kompiuteriniai biojutiklių modeliai, aprašantys biojutiklių, sudarytų iš kelių, skirtingas savybes turinčių dalių, veikimą. Nagrinėjami modeliai yra formuluojami vienmatėje bei dvimatėje erdvėse, aprašomi diferencialinėmis lygtimis dalinėmis išvestinėmis su netiesiniais nariais ir yra sprendžiami skaitiškai, naudojant baigtinių skirtumų metodą. Skaitiniai modeliai yra įgyvendinami kompiuterine programa. Disertacijoje pateikiamas originalus matematinis modelis biojutikliui su anglies nanovamzdelių elektrodu, nustatyti kriterijai, apibrėžiantys, kada biojutiklį su perforuota membrana galima modeliuoti vienmačiu modeliu. Darbe susisteminti elementai, naudojami biojutiklių modelių formulavimui, pagrindinį dėmesį skiriant biojutiklio struktūrinėms savybėms modeliuoti. Apibrėžta biojutiklių modelių aprašo kalba ir sukurta programinė įranga, leidžianti modeliuoti biojutiklių veikimą vienmačiais modeliais arba modeliais, formuluojamais stačiakampėje dvimatės erdvės srityje. Taikant sukurtą biojutiklių modeliavimo programinę įrangą, ištirtas biojutiklio su anglies nanovamzdelių elektrodu modelio adekvatumas ir struktūrinių bei geometrinių savybių įtaka biojutiklio elgsenai.

Yes

In this thesis we consider two great challenges in computer simulations of partial differential equations: multiscale data, varying over multiple scales in space and time, and data uncertainty, due to lack of or inexact measurements. We develop a multiscale method based on a coarse scale correction, using localized fine scale computations. We prove that the error in the solution produced by the multiscale method decays independently of the fine scale variation in the data or the computational domain. We consider the following aspects of multiscale methods: continuous and discontinuous underlying numerical methods, adaptivity, convection-diffusion problems, Petrov-Galerkin formulation, and complex geometries. For uncertainty quantification problems we consider the estimation of p-quantiles and failure probability. We use spatial a posteriori error estimates to develop and improve variance reduction techniques for Monte Carlo methods. We improve standard Monte Carlo methods for computing p-quantiles and multilevel Monte Carlo methods for computing failure probability.

We study a quantum mechanical $\sigma$-model whose target space is a hyperKähler cone. As shown by Singleton, [184], such a theory has superconformal invariance under the algebra $\mathfrak{osp}(4^*|4)$. One can formally define a superconformal index that counts the short representations of the algebra. When the hyperKähler cone has a projective symplectic resolution, we define a regularised superconformal index. The index is defined as the equivariant Hirzebruch index of the Dolbeault cohomology of the resolution, hereafter referred to as the index. In many cases, the index can be explicitly calculated via localisation theorems. By limiting to zero the fugacities in the index corresponding to an isometry, one forms the index of the submanifold of the target space invariant under that isometry. There is a limit of the fugacities that gives the Hilbert series of the target space, and often there is another limit of the parameters that produces the Poincaré polynomial for $\mathbb C^\times$-equivariant Borel-Moore homology of the space. A natural class of hyperKähler cones are Nakajima quiver varieties. We compute the index of the $A$-type quiver varieties by making use of the fact that they are submanifolds of instanton moduli space invariant under an isometry. Every Nakajima quiver variety arises as the Higgs branch of a three dimensional $\mathcal N =4$ quiver gauge theory, or equivalently the Coulomb branch of the mirror dual theory. We show the equivalence between the descriptions of the Hilbert series of a line bundle on the ADHM quiver variety via localisation, and via Hanany's monopole formula. Finally, we study the action of the Poisson algebra of the coordinate ring on the Hilbert series of line bundles. We restrict to the case of looking at the Coulomb branch of balanced $ADE$-type quivers in a certain infinite rank limit. In this limit, the Poisson algebra is a semiclassical limit of the Yangian of $ADE$-type. The space of global sections of the line bundle is a graded representation of the Poisson algebra. We find that, as a representation, it is a tensor product of the space of holomorphic functions with a finite dimensional representation. This finite dimensional representation is a tensor product of two irreducible representations of the Yangian, defined by the choice of line bundle. We find a striking duality between the characters of these finite dimensional representations and the generating function for Poincaré polynomials.

Made available in DSpace on 2015-05-08T15:00:09Z (GMT). No. of bitstreams: 1 arquivototal.pdf: 5203027 bytes, checksum: 79c21eb8016ee6896b1af0b560f73d99 (MD5) Previous issue date: 2010-12-13 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / Parts with complex geometry and with free-form surface are of great interest in many industrial applications, either for functional or aesthetic issue. Its spread is due to advances in CAD / CAM systems and coordinate measuring technology. Despite technological advances, product design remains a major problem in industry. The problems range from design conception to those inherent in the manufacturing process and control, which are often discovered only in the product application phase. The dimensional variations of shape and surface texture are specified in the technical drawing using geometric and dimensional tolerance. To part with complex geometry variations are allowable tolerances specified by line and surface profile. Their control typically consists of a comparison of the coordinate points measured on the surface to the CAD model available. This paper contains a proposal to systematize procedures for quality assurance of measurement of parts with complex geometry and free-form surface by using coordinate measuring machines. The proposal was based on extensive study on the subject, the findings of problems revealed in visits to six companies that use technology to coordinate measurement and the results of case studies from a company in the automotive sector. The system focuses on the major sources of errors of coordinate measuring and proved easy to be applied in the selected company. / Peças com geometria complexa e superfície com forma livre são de grande interesse em muitas aplicações industriais, seja por questão funcional ou estética. Sua disseminação deve-se, em parte, aos avanços nos sistemas CAD/CAM e na tecnologia de medição por coordenadas. Apesar dos avanços tecnológicos, o projeto do produto continua sendo um dos maiores problemas da indústria. Os problemas vão desde a concepção do projeto até àqueles inerentes ao processo de fabricação e controle, que muitas vezes são descobertos somente na aplicação do produto. As variações dimensionais, de forma e de textura da superfície são especificadas no desenho técnico através de tolerância dimensional e geométrica. Para peça com geometria complexa as variações admissíveis são especificadas através de tolerâncias de perfil de linha e de superfície. O seu controle tipicamente consiste na comparação dos pontos coordenados medidos sobre a superfície com o modelo CAD disponível. Este trabalho contém uma proposta de sistematização de procedimentos para garantia da qualidade da medição de peças com geometria complexa e superfície com forma livre através de máquina de medir por coordenadas cartesianas. A proposta foi baseada no amplo estudo sobre o tema, nas constatações de problemas evidenciados nas visitas realizadas em seis empresas que utilizam a tecnologia de medição por coordenadas e nos resultados de estudos de casos realizados numa empresa do setor automotivo. A sistemática foca nas principais fontes de erros da medição por coordenadas e demonstrou ser de fácil aplicação na empresa selecionada.