Στη μελέτη αυτή δεχόμεθα ως βασικές έννοιες την έννοια του συνόλου, την έννοια της συνάρτησης και την έννοια των φυσικών αριθμών. Ορίζουμε και αποδεικνύουμε ό,τι χρειάζεται από την θεωρία των συνόλων για να κατασκευάσουμε το σύστημα των ακεραίων αριθμών, το σύστημα των ρητών και τελικά το σύστημα των πραγματικών αριθμών. Σε όλα τα παραπάνω συστήματα ορίζεται η έννοια της διάταξης και αποδεικνύεται ότι το σύστημα των ρητών αριθμών είναι ένα Αρχιμήδειο σώμα που είναι πυκνό υποσύνολο του σώματος των πραγματικών αριθμών. Εν συνεχεία αποδεικνύονται οι χαρακτηριστικές ιδιότητες του σώματος των πραγματικών αριθμών, δηλαδή η ιδιότητα της πληρότητας (κάθε ακολουθία Cauchy συγκλίνει) και η ιδιότητα του άνω φράγματος (κάθε μή κενό υποσύνολο ,που είναι φραγμένο εκ των άνω, έχει ένα ελάχιστο άνω φράγμα (supremum). Όλα τα παραπάνω και πολλά σχετικά με αυτά περιέχονται στα κεφάλαια 1 ως και 7. Το κεφάλαιο 8 περιέχει μία συλλογή αποτελεσμάτων σχετικά με τους πληθικούς αριθμούς, οι οποίοι ορίζονται και μελετώνται στο κεφάλαιο 3. Πολλά από τα αποτελέσματα αυτά αφορούν στον πληθικό αριθμό των πραγματικών αριθμών. Στο κεφάλαιο 9 ορίζονται όλες οι έννοιες που χρειάζονται για να γίνουν κατανοητά τα αποτελέσματα σχετικά με την θεωρία των καλώς διατεταγμένων συνόλων και την θεωρία των διατακτικών αριθμών (ordinal numbers). Των κεφαλαίων 1, 2, 3 προτάσσεται ιστορικό σημείωμα που αφορά τις έννοιες που αναπτύσσονται σε αυτά. Ανάλογο ιστορικό σημείωμα προτάσσεται των υπολοίπων κεφαλαίων. / In this study, I acknowledge as basic meanings, the meaning of the set, the meaning of the function and the meaning of natural numbers. We define and prove whatever is needed from the theory of sets in order to construct the system of integral numbers, the system of rational numbers and ultimately the field of real numbers. In all the above systems the meaning of arrangement is defined and it is proven that the system of rational numbers is an Archimedean field which is a dense subset of the field of real numbers. Next, the characteristic properties of the field of real numbers are proven, i.e. the property of compactness (each sequence Cauchy converges)and the property of the upper bound (each non empty subset, which is bounded from above , has a minimum upper bound (supremum). All of the above and many other things related to this are contained in chapters 1 to 7. Chapter 8 contains a selection of results relating to cardinal numbers, which are defined and studied in chapter 3 Many of these results relate to cardinal number of reals numbers. In chapter 9, all the meanings which are needed in order for the results relating to the theory of the well-ordered sets and the theory of ordinal numbers, to become understood are included. Preceeding chapters 1, 2, 3 there is a historic note relating to the meanings which are developed in them. There is a corresponding historic note preceeding the rest of the chapters.

The Archimedean spiral antenna is well-known for its broadband characteristics with circular polarization and has been investigated for several decades. Since their development in the late 1950's, establishing an analytical expression for the characteristics of spiral antenna has remained somewhat elusive. This has been studied qualitatively and evaluated using numerical and experimental techniques with some success, but many of these methods are not convenient in the design process since they do not impart any physical insight into the effect each design parameter has on the overall operation of the spiral antenna. This work examines the operation of spiral antennas and obtains a closed-form analytical solution by conformal mapping and transmission line model with high precision in a wide frequency band. Based on the analysis of spiral antenna, we propose two novel design processes for the stripline-fed Archimedean spiral antenna. This includes a stripline feed network integrated into one of the spiral arms and a broadband tapered impedance transformer that is conformal to the spiral topology for impedance matching the nominally-high input impedance of the spiral. A Dyson-style balun located at the center facilitates the transition between guided stripline and radiating spiral modes. Measured and simulated results for a probe-fed design operating from 2 GHz to over 20 GHz are in excellent agreements to illustrate the synthesis and performance of a demonstration antenna. The research in this work also provides the possibility to achieve conformal integration and planar structural multi-functionality for an Unmanned Air Vehicle (UAV) with band coverage across HF, UHF, and VHF. The proposed conformal mapping analysis can also be applied on periodic coplanar waveguides for integrated circuit applications.

La R.D. Congo possède l’un de taux de desserte en électricité le plus faible au monde (moins de 1 % en zones rurales) malgré son important potentiel hydroélectrique estimé à 100.000 MW. Pour accroitre le taux de desserte en électricité en construisant des microcentrales hydroélectrique, il est impérieux d’utiliser une technologie simple, fiable, robuste et peu coûteuse. La turbine à vis d’Archimède apparait comme une solution appropriée à ces exigences. Nous avons ainsi conçu et fabriqué localement (à Lubumbashi) un banc d’essai d’une turbine à vis d’Archimède possédant seulement deux hélices et des pas larges (β = 30° et β = 45°). L’objectif étant de simplifier la fabrication et réduire la quantité d’acier utilisé pour la vis par rapport aux vis utilisées en Europe et aux U.S.A. Le banc d’essais nous a permis d’obtenir six configurations combinant la pente de la vis (α = 22,5°, 30° et 37,5°) et les pas. La combinaison la plus optimale est la configuration de la vis inclinée de α = 22,5° par rapport à l’horizontale et dont l’hélice est orientée de β = 45° sur le moyeu (p45H22).<p>En second lieu, vient la configuration de la vis inclinée de α = 30° et dont l’hélice est orientée de β = 45° sur le moyeu (p45H30). Ces deux configurations ont respectivement un rendement à débit nominal de 89 et 86 %./D.R. Congo has an electricity service rate that ranks as the lowest in the world (less than 1% in rural areas) despite its large hydroelectric potential estimated at 100,000 MW. To increase the rate of access to electricity by constructing small hydropower plant, it is imperative to use simple technology, reliable, robust and inexpensive. The Archimedean screw turbine appears to be an appropriate solution to these requirements. We have designed and manufactured locally (in Lubumbashi) a test bench for Archimedean’s screw turbines having two blades only and a large pitch p function of β ( β = 30 ° and β = 45 °, β being the orientation angle of the blade on the screw cylinder). The goal is to simplify manufacturing and reduce the amount of steel used for the screw relative to the screws used in Europe or in USA. The test bench has allowed the experiments with six configurations combining the slope of the screw (α = 22.5 °, 30 ° and 37.5 °) and the pitch p (with varying rotation speed). The optimal combination appeared to be the configuration of the screw inclined at α = 22.5 ° relative to the horizon and with an helix β = 45 ° on the cylinder of the screw. The second best configuration has an inclined screw α = 30 ° and the helix which is oriented β = 45 °. These two configurations each have a global efficiency of 89% and 86%, respectively. <p> / Doctorat en Sciences de l'ingénieur / info:eu-repo/semantics/nonPublished

Title: Platonic and Archimedean solids and their properties in teaching of mathematics at secondary schools Author: Eva Dohnalová Department: Department of Didactics of Mathematics Supervisor: doc. RNDr. Jarmila Robová, CSc. Abstract: This work is an extension of my bachelor work and it is intended for all people interested in regular and semiregular polyhedra geometry. It is a comprehensive text which summarizes brief history, description and classification of regular and semiregular polyhedra. The work contains proofs of Descartes' and Euler's theorems and proofs about number of regular and semiregular polyhedra. It can be also used as a didactic aid in the instruction of regular and semiregular solids at secondary schools. This text is supplemented by illustrative pictures made in GeoGebra and Cabri3D. Keywords: Regular polyhedra, platonic solids, Platon, semiregular polyhedra, Archimedean solids, Archimedes, dulaism, Descartes' theorem, Euler's theorem.

Quantification of risks is one of the pillars of the contemporary insurance industry. Natural catastrophes and their modelling represents one of the most important areas of non-life insurance in the Czech Republic. One of the key inputs of catastrophe models is a spatial dependence structure in the portfolio of an insurance company. Copulas represents a more general view on dependence structures and broaden the classical approach, which is implicitly using the dependence structure of a multivariate normal distribution. The goal of this work, with respect to absence of comprehensive monographs in the Czech Republic, is to provide a theoretical basis for use of copulas. It focuses on general properties of copulas and specifics of two most commonly used families of copulas -- Archimedean and elliptical. The other goal is to quantify difference between the given copula and the classical approach, which uses dependency structure of a multivariate normal distribution, in modelled flood losses in the Czech Republic. Results are largely dependent on scale of losses in individual areas. If the areas have approximately a "tower" structure (i.e., one area significantly outweighs others), the effect of a change in the dependency structure compared to the classical approach is between 5-10% (up and down depending on a copula) at 99.5 percentile of original losses (a return period of once in 200 years). In case that all areas are approximately similarly distributed the difference, owing to the dependency structure, can be up to 30%, which means rather an important difference when buying the most common form of reinsurance -- an excess of loss treaty. The classical approach has an indisputable advantage in its simplicity with which data can be generated. In spite of having a simple form, it is not so simple to generate Archimedean copulas for a growing number of dimensions. For a higher number of dimensions the complexity of data generation greatly increases. For above mentioned reasons it is worth considering whether conditions of 2 similarly distributed variables and not too high dimensionality are fulfilled, before general forms of dependence are applied.

The interaction between the study of geometric and analytic aspects of Riemannian manifolds and that of graphs is a very amazing subject. The study of synthetic curvature notions on graphs adds new contributions to this topic. In this thesis, we mainly study two kinds of synthetic curvature notions: the Ollivier-Ricci cuvature on locally finite graphs and the combinatorial curvature on infinite semiplanar graphs. In the first part, we study the Ollivier-Ricci curvature. As known in Riemannian geometry, a lower Ricci curvature bound prevents geodesics from diverging too fast on average. We translate this Riemannian idea into a combinatorial setting using the Olliver-Ricci curvature notion. Note that on a graph, the analogue of geodesics starting in different directions, but eventually approaching each other again, would be a triangle. We derive lower and upper Ollivier-Ricci curvature bounds on graphs in terms of number of triangles, which is sharp for instance for complete graphs. We then describe the relation between Ollivier-Ricci curvature and the local clustering coefficient, which is an important concept in network analysis introduced by Watts-Strogatz. Furthermore, positive lower boundedness of Ollivier-Ricci curvature for neighboring vertices imply the existence of at least one triangle. It turns out that the existence of triangles can also improve Lin-Yau\'s curvature dimension inequality on graphs and then produce an implication from Ollivier-Ricci curvature lower boundedness to the curvature dimension inequality. The existence of triangles prevents a graph from being bipartite. A finite graph is bipartite if and only if its largest eigenvalue equals 2. Therefore it is natural that Ollivier-Ricci curvature is closely related to the largest eigenvalue estimates. We combine Ollivier-Ricci curvature notion with the neighborhood graph method developed by Bauer-Jost to study the spectrum estimates of a finite graph. We can always obtain nontrivial estimates on a non-bipartite graph even if its curvature is nonpositive. This answers one of Ollivier\'s open problem in the finite graph setting. In the second part of this thesis, we study systematically infinite semiplanar graphs with nonnegative combinatorial curvature. Unlike the previous Gauss-Bonnet formula approach, we explore an Alexandrov approach based on the observation that the nonnegative combinatorial curvature on a semiplanar graph is equivalent to nonnegative Alexandrov curvature on the surface obtained by replacing each face by a regular polygon of side length one with the same facial degree and gluing the polygons along common edges. Applying Cheeger-Gromoll splitting theorem on the surface, we give a metric classification of infinite semiplanar graphs with nonnegative curvature. We also construct the graphs embedded into the projective plane minus one point. Those constructions answer a question proposed by Chen. We further prove the volume doubling property and Poincare inequality which make the running of Nash-Moser iteration possible. We in particular explore the volume growth behavior on Archimedean tilings on a plane and prove that they satisfy a weak version of relative volume comparison with constant 1. With the above two basic inequalities in hand, we study the geometric function theory of infinite semiplanar graphs with nonnegative curvature. We obtain the Liouville type theorem for positive harmonic functions, the parabolicity. We also prove a dimension estimate for polynomial growth harmonic functions, which is an extension of the solution of Colding-Minicozzi of a conjecture of Yau in Riemannian geometry.

The interaction between the study of geometric and analytic aspects of Riemannian manifolds and that of graphs is a very amazing subject. The study of synthetic curvature notions on graphs adds new contributions to this topic. In this thesis, we mainly study two kinds of synthetic curvature notions: the Ollivier-Ricci cuvature on locally finite graphs and the combinatorial curvature on infinite semiplanar graphs. In the first part, we study the Ollivier-Ricci curvature. As known in Riemannian geometry, a lower Ricci curvature bound prevents geodesics from diverging too fast on average. We translate this Riemannian idea into a combinatorial setting using the Olliver-Ricci curvature notion. Note that on a graph, the analogue of geodesics starting in different directions, but eventually approaching each other again, would be a triangle. We derive lower and upper Ollivier-Ricci curvature bounds on graphs in terms of number of triangles, which is sharp for instance for complete graphs. We then describe the relation between Ollivier-Ricci curvature and the local clustering coefficient, which is an important concept in network analysis introduced by Watts-Strogatz. Furthermore, positive lower boundedness of Ollivier-Ricci curvature for neighboring vertices imply the existence of at least one triangle. It turns out that the existence of triangles can also improve Lin-Yau\''s curvature dimension inequality on graphs and then produce an implication from Ollivier-Ricci curvature lower boundedness to the curvature dimension inequality. The existence of triangles prevents a graph from being bipartite. A finite graph is bipartite if and only if its largest eigenvalue equals 2. Therefore it is natural that Ollivier-Ricci curvature is closely related to the largest eigenvalue estimates. We combine Ollivier-Ricci curvature notion with the neighborhood graph method developed by Bauer-Jost to study the spectrum estimates of a finite graph. We can always obtain nontrivial estimates on a non-bipartite graph even if its curvature is nonpositive. This answers one of Ollivier\''s open problem in the finite graph setting. In the second part of this thesis, we study systematically infinite semiplanar graphs with nonnegative combinatorial curvature. Unlike the previous Gauss-Bonnet formula approach, we explore an Alexandrov approach based on the observation that the nonnegative combinatorial curvature on a semiplanar graph is equivalent to nonnegative Alexandrov curvature on the surface obtained by replacing each face by a regular polygon of side length one with the same facial degree and gluing the polygons along common edges. Applying Cheeger-Gromoll splitting theorem on the surface, we give a metric classification of infinite semiplanar graphs with nonnegative curvature. We also construct the graphs embedded into the projective plane minus one point. Those constructions answer a question proposed by Chen. We further prove the volume doubling property and Poincare inequality which make the running of Nash-Moser iteration possible. We in particular explore the volume growth behavior on Archimedean tilings on a plane and prove that they satisfy a weak version of relative volume comparison with constant 1. With the above two basic inequalities in hand, we study the geometric function theory of infinite semiplanar graphs with nonnegative curvature. We obtain the Liouville type theorem for positive harmonic functions, the parabolicity. We also prove a dimension estimate for polynomial growth harmonic functions, which is an extension of the solution of Colding-Minicozzi of a conjecture of Yau in Riemannian geometry.