Dissertations / Theses on the topic 'Transfini'
Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles
Consult the top 41 dissertations / theses for your research on the topic 'Transfini.'
Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.
You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.
Browse dissertations / theses on a wide variety of disciplines and organise your bibliography correctly.
Lauria, Philippe. "Philosophie du transfini : essai sur la signification des nombres transfinis et l'ontologie de Georg Cantor." Lyon 3, 2003. http://www.theses.fr/2003LYO31004.
Full textSet and transfinite theory has been founded by Georg Cantor who gave a philosophical purpose to his creation. Presenting his own conception as a plato-aritstotelian epistemology, he considered the actual nature of numbers as a free creation of mind but simultaneously as a necessary result from reality, finding out a thesis defended by scholastic philosophers. Identifying transfinite concept with the "Idea" as defined in Plato, he call for a transfinite algebra, which could give a new start to ontology, interrupted, as he noticed, with Spinoza and Leibniz, so as to tide over kantian metaphysical criticism, and possibly building a formal ontology. On these three questions : the nature of transfinite numbers, the turn back to ontology and the viability of a transfinite calculus, this essay shows the importance of cantorian vision concerning a paradoxal kern at the basis of knowledge, following here a perennial philosophy, but also the problems of formalism in philosophy related to the fact that transfinite numbers are proabably virtual entities
Flammang, Valérie. "Mesures de polynômes : application au diamètre transfini entier." Metz, 1994. http://docnum.univ-lorraine.fr/public/UPV-M/Theses/1994/Flammang.Valerie.SMZ9457.pdf.
Full textWe are interesting in different measures of polynomials ; especially Mahler measure, length and Zhang-Zagier measure. We will see that the study of the spectrum of a measure is closely connected with the optimisation of a function depending on the considered measure. This optimisation problem is solved with the technique of auxiliairy functions. In general, the solution is not exact : a semi-infinte linear programming method gives a good numerical approximation. However, we meet some examples of exact solutions called exact auxiliairy functions. We also associate the upper bound of the integer transfinite diameter of an interval which end points are two consecutive elements of a Farey sequence with the lower bound of some measures of polynomials. At last, we present a procedure to find explicitly all polynomials of fixed degree and small measure and we apply it to the Zhang-Zagier measure and to the length
FLAMMANG, VALERIE RHIN G. "MESURES DE POLYNOMES. APPLICATION AU DIAMETRE TRANSFINI ENTIER /." [S.l.] : [s.n.], 1994. ftp://ftp.scd.univ-metz.fr/pub/Theses/1994/Flammang.Valerie.SMZ9457.pdf.
Full textWu, Qiang. "Mesure d'indépendance linéaire de logarithmes et diamètre transfini entier." Metz, 2000. http://docnum.univ-lorraine.fr/public/UPV-M/Theses/2000/Wu.Qiang.SMZ0011.pdf.
Full textWU, QIANG RHIN GEORGES. "MESURE D'IDEPENDANCE LINEAIRE DE LOGARITHMES ET DIAMETRE TRANSFINI ENTIER /." [S.l.] : [s.n.], 2000. ftp://ftp.scd.univ-metz.fr/pub/Theses/2000/Wu.Qiang.SMZ0011.pdf.
Full textGirardot, Johan. "Toward higher-order and many-symbol infinite time Turing machines." Electronic Thesis or Diss., Institut polytechnique de Paris, 2024. http://www.theses.fr/2024IPPAX028.
Full textThis thesis studies infinite time Turing machines (ITTM) as developed by Hamkins and Lewis at the beginning of the years 2000. In particular, it aims at providing new generalizations of this model of infinite computation, or the tools and the results to develop those.A notable aspect of this model of infinite computation is that it is simple enough when compared to the usual finite model of Turing machines: an ITTM has the same structure as a three tapes Turing machine, it computes through the ordinals and at any successor stage, the next snapshot of the machine is a function of its machine code and the actual snapshot, as done in the classical setting. The only difference being that, at limit, tape heads are back on their first cells, the state is set to some distinguished limit state and the value of any cell is set to the limit superior of its previous values. While the choices for the heads and the states at limit stages may appear somewhat canonical, the principal justification for the rule of the limsup is actually a corroboration: with this rule, Hamkins and Lewis showed how this produces a robust, powerful and well-behaved model of infinite computation.So this work was focused on devising limit rules that would yield more powerful but equally well-behaved models of generalized infinite Turing machines.Most of the proofs done on ITTMs use a universal machine: an ITTM which simulates in parallel all other ITTMs. It happens to be straightforward to define such an universal ITTM.But its definition is only fortuitously straightforward. This construction rests on strong but implicit properties of the limsup rule. Hence, we exhibit a set of four properties satisfied by the limsup rule that allow us to define the more general concept of simulational machine: a model of infinite machines whose machines compute with a limit rule that satisfy this set of four properties, for which we prove that there exists a universal machine. The first main result is that the machines in this class of infinite machines satisfy (with two other constraints) an important equality satisfied by the usual ITTM, relating the time of computations and the ordinals that are writable.The second main result builds on the previous result. An immediate corollary is the following: there exists only two 2-symbol simulational and "well-behaved" model of ITTM; namely the limsup ITTM and the liminf ITTM. So, to produce higher-order machines, we need to consider n-symbols machine. And this is the second result: we construct a 3-symbol ITTM, strictly more powerful that the previous one and for which we establish the same set-theoretic results that were established for it
Vieugué, Dominique. "Problèmes de linéarisation dans des familles de germes analytiques." Phd thesis, Université d'Orléans, 2005. http://tel.archives-ouvertes.fr/tel-00069473.
Full textCarpani, Giacomo. "Cantor e l'aritmetica transfinita." Master's thesis, Alma Mater Studiorum - Università di Bologna, 2017. http://amslaurea.unibo.it/13445/.
Full textAmrane, Amazigh. "Posets série-parallèles transfinis : automates, logiques et théories équationnelles." Thesis, Normandie, 2020. http://www.theses.fr/2020NORMR102.
Full textWe study in this thesis structures extending the classical notion of word. They are built from a partially ordered set (poset) verifying the following properties : — they do not contain 4 distinct elements x, y, z, t whose relative order is exactly x < y, z < y, z < t (posets called N-free) ; — their chains are countable and scattered linear orderings ; — their antichains are finite ; and each element is labeled by a letter of a finite alphabet. Equivalently, the class of posets which we consider is the smallest one built from the empty poset and the singleton, and being closed under sequential and parallel products, and ω product and its backward ordering −ω (series-parallel posets). It is a generalization of both of finite series-parallel labeled posets, by adding infinity, and transfinite words, by weakening the total ordering of the elements to a partial ordering. In computer science, series-parallel posets find their interest in modeling concurrent processes based on fork/join primitives, and transfinite words in the study of recursion. The rational languages of these labeled posets are defined from expressions and equivalent automata introduced by Bedon and Rispal, which generalize thecase of transfinite words (Bruyère and Carton) and the one of finite posets (Lodaya and Weil). In this thesis we study such structures from the logic point of view. In particular, we generalize the Büchi-Elgot-Trakhtenbrot theorem, establishing in the case of finite words the correspondence between the class of rational languages and the one of languages definable in monadic second order logic (MSO). The implemented logic is an extension of MSO by Presburger arithmetic. We focus on some varieties of posets algebras too. We show that the algebra whose universe is the class of transfinite series-parallel posets and whose operations are the sequential and parallel products and the ω and −ω products (resp. powers) is free in the corresponding variety V (resp. V 0). We deduce the freeness of the same algebra without parallel or −ω product. Finally, we showthat the equational theory of V 0 is decidable. These results are, in particular, generalizations of similar results of Bloom and Choffrut on the variety of algebras of words whose length are less than ω!, of Choffrut and Ésik on the variety of algebras of N-free posets whose antichains are finite and whose chains are less than ω! and those of Bloom and Ésik on the variety of algebras of words indexed by countable and scattered linear orderings
Lucci, Paulo Cesar de Alvarenga 1974. "Descrição matematica de geometrias curvas por interpolação transfinita." [s.n.], 2009. http://repositorio.unicamp.br/jspui/handle/REPOSIP/258706.
Full textDissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Civil, Arquitetura e Urbanismo
Made available in DSpace on 2018-08-13T10:14:35Z (GMT). No. of bitstreams: 1 Lucci_PauloCesardeAlvarenga_M.pdf: 6661587 bytes, checksum: b77bb456093ce1f153056c6b2fa89626 (MD5) Previous issue date: 2009
Resumo: Este trabalho é dedicado ao desenvolvimento de uma metodologia específica de mapeamento curvo aplicável a qualquer tipo de elemento geométrico regular. Trata-se de uma generalização do modelo matemático de representação geométrica apresentado em 1967 por Steven Anson Coons, denominado "Bilinearly Blended Coons Patches", o qual ajusta uma superfície retangular em um contorno delimitado por quatro curvas arbitrárias. A generalização proposta permitirá a utilização deste tipo de interpolação geométrica em elementos de qualquer topologia, através de uma sistemática única e consistente.
Abstract: In this work a methodology is developed for mathematical representation of curved domains, applicable to any type of finite element geometry. This methodology is a generalization of the mathematical model of a geometric representation presented in 1967 by Steven Anson Coons, called "Bilinearly Blended Coons Patches", which patch a rectangular surface in four arbitrary boundary curves. The proposed methodology is a kind of geometric transfinite interpolation applicable to elements of any topology, using a single and consistent systematic.
Mestrado
Estruturas
Mestre em Engenharia Civil
PITTELOUD, DANIEL. "Le produit dans les corps de series transfinies." Paris 7, 1998. http://www.theses.fr/1998PA077129.
Full textKaya, İmren Gül Songül Sallan. "Yoksullukla mücadelede eğitimin rolü: şartlı nakit transferi-ŞNT örneği /." Isparta : SDÜ Sosyal Bilimler Enstitüsü, 2008. http://tez.sdu.edu.tr/Tezler/TS00616.pdf.
Full textCarey, Patrick Hatfield. "Beyond Infinity: Georg Cantor and Leopold Kronecker's Dispute over Transfinite Numbers." Thesis, Boston College, 2005. http://hdl.handle.net/2345/481.
Full textIn the late 19th century, Georg Cantor opened up the mathematical field of set theory with his development of transfinite numbers. In his radical departure from previous notions of infinity espoused by both mathematicians and philosophers, Cantor created new notions of transcendence in order to clearly described infinities of different sizes. Leading the opposition against Cantor's theory was Leopold Kronecker, Cantor's former mentor and the leading contemporary German mathematician. In their lifelong dispute over the transfinite numbers emerge philosophical disagreements over mathematical existence, consistency, and freedom. This thesis presents a short summary of Cantor's controversial theories, describes Cantor and Kronecker's philosophical ideas, and attempts to state clearly their differences of opinion. In the end, the author hopes to present the shock caused by Cantor's work and an appreciation of the two very different philosophies of mathematics represented by Cantor and Kronecker
Thesis (BA) — Boston College, 2005
Submitted to: Boston College. College of Arts and Sciences
Discipline: Philosophy
Discipline: College Honors Program
Bartolini, Annachiara. "La teoria dei numeri transfiniti nei suoi aspetti matematici e filosofici." Bachelor's thesis, Alma Mater Studiorum - Università di Bologna, 2015. http://amslaurea.unibo.it/8690/.
Full textNestra, Härmel. "Iteratively defined transfinite trace semantics and program slicing with respect to them /." Online version, 2006. http://dspace.utlib.ee/dspace/bitstream/10062/1109/5/nestraharmel.pdf.
Full textWessel, Daniel. "Choice, extension, conservation. From transfinite to finite proof methods in abstract algebra." Doctoral thesis, Università degli studi di Trento, 2018. https://hdl.handle.net/11572/368524.
Full textWessel, Daniel. "Choice, extension, conservation. From transfinite to finite proof methods in abstract algebra." Doctoral thesis, University of Trento, 2018. http://eprints-phd.biblio.unitn.it/2759/1/Wessel_thesis_final.pdf.
Full textHilmar, Jan. "Intersection of algebraic plane curves : some results on the (monic) integer transfinite diameter." Thesis, University of Edinburgh, 2008. http://hdl.handle.net/1842/3843.
Full textJUNIOR, WALTER GOMIDE DO NASCIMENTO. "THE INFINITE COUNTED BY GOD: A DEDEKINDIAN INTERPRETATION OF CANTOR S TRANSFINITE ORDINAL NUMBER CONCEPT." PONTIFÍCIA UNIVERSIDADE CATÓLICA DO RIO DE JANEIRO, 2006. http://www.maxwell.vrac.puc-rio.br/Busca_etds.php?strSecao=resultado&nrSeq=9031@1.
Full textSubjacente à teoria dos números ordinais transfinitos de Cantor, há uma perspectiva finitista. Segundo tal perspectiva, Deus pode bem ordenar o infinito usando, para tanto, de procedimentos similares ao ato de contar, entendido como o ato de bem ordenar o finito. Desta maneira, um diálogo natural entre Cantor e Dedekind torna-se possível, dado que Dedekind foi o primeiro a tratar o ato de contar como sendo, em sua essência, uma forma de bem ordenar o mundo espáciotemporal pelos números naturais. Nesta tese, o conceito de número ordinal transfinito, de Cantor, é entendido como uma extensão do conceito dedekindiano de número natural.
Underlying Cantor s transfinite ordinal numbers theory, there is a finistic perspective. Accordingly that perspective, God can well order the infinite using, for that, similar procedures to the act of counting, understood as the act of well order the finite. That s why a natural dialog between Cantor and Dedekind becomes possible, since Dedekind was the first to consider the act of counting as being, in its essence, a way of well order the spatial-temporal world by natural numbers. In this thesis, the concept of Cantor´s transfinite ordinal number is understood as an extension of dedekindian concept of natural number.
Benkaddour, Saïd. "Relation entre ensembles totalement flous et ensembles ordonnés." Lyon 1, 1986. http://www.theses.fr/1986LYO11714.
Full textPachito, Ernesto de Souza. "O Haroldo de Campos transfinito : espírito, signo e matéria num possível (neo)romantismo em A máquina do mundo repensada." Universidade Federal do Espírito Santo, 2015. http://repositorio.ufes.br/handle/10/3183.
Full textApós a grande operação de se conferir maior materialidade à linguagem das artes, iniciada com consciência de luta de classes em torno da época de Courbet, intensificada em várias alas do modernismo, inclusive literário, no fim do século XX e início do século XXI, Haroldo de Campos empreende um poema passadista, A Máquina do mundo repensada, de 2000, que faz a revisão das cosmovisões, científicas em maior ou menor grau, de Ptolomeu à física contemporânea, e se detém numa oposição complementar que não se subsume num termo superior. Pura materialidade ou não? O físico ou o além do físico? Um Deus imanente ou presença de alguma transcendência divina? Ou o agnosticismo? A construção de um poema, por parte de Haroldo de Campos, pleno de revérberos sonoros e imagéticos dotado igualmente de concreção e imponderabilidade nesses revérberos e em símbolos (no sentido do artista e pensador alemão Wolfgang von Goethe) de profundidade semântica no mínimo incerta. Peirce, seu conceito de quale-consciênscia, sua doutrina do sinequismo e sua concepção de monismo. A possível ou desejável reabilitação de um sentido ético para as artes, após os relativismos ditos pós-modernistas.
Since Courbet times, many artists tried to suppress metaphysics from the language of arts in general, including poetry. Many of them made this wide and deep movement with a sense of struggle of classes, being marxists or not. In XXth century, many wings of modernism intensified the search for this goal. At the end of the same century, in the turning to XXIst century, Haroldo de Campos wrote his poem A Máquina do mundo repensada (2000) a work where the lyric subject finds himself caught between complementary oppositions that didn't go to a superior term, at the end of the writting. These dualities were not subsumed under any general term. Metaphysics or not? A world constituted only by matter or there would be something more beyond matter? In this work Haroldo de Campos made the historical and philosophical review of practically all cosmology since Ptolomeu to contemporary times. At the end of the poem he is still in a dilemma between an immanent and a transcendental God, or agnosticism. A Máquina do mundo repensada is a construction full of reverberations of sounds and images, these echoes make fields that project themselves and all signs beyond mere phonetic and imagetic matter, and they operate with symbols (in Wolfgang von Goethe's sense) whose semantic field vanishes into uncertainty and infinity. Peirce, his concept of quale-counsciousness, his monism and his sinechism. The possibility and/or the importance of a sense of ethics in arts after so called relativistic post-modernism.
Gast, Alexandra [Verfasser]. "Vergleichende Untersuchungen nach Rekonstruktion des vorderen Kreuzbandes in Single-Bundle-, Double-Bundle- und TransFix AM-Technik / Alexandra Gast." Berlin : Medizinische Fakultät Charité - Universitätsmedizin Berlin, 2021. http://d-nb.info/1234984709/34.
Full textBeltr?o, Maria Cecilia Gomes. "Influ?ncia da transfixa??o horizontal por um pino de fibra de vidro na resist?ncia ? fratura de molares endodonticamente tratados." Pontif?cia Universidade Cat?lica do Rio Grande do Sul, 2006. http://tede2.pucrs.br/tede2/handle/tede/1046.
Full textA proposta deste estudo foi avaliar o efeito, na resist?ncia ? fratura, de um pino de fibra de vidro transfixando horizontalmente as paredes, de um preparo MOD, de dentes molares tratados endodonticamente restaurados ou n?o com resina composta. Setenta e cinco dentes terceiros molares humanos h?gidos foram extra?dos e montados em blocos de resina acr?lica, sendo distribu?dos aleatoriamente em cinco grupos (n=15). No Grupo A, os dentes foram mantidos h?gidos (controle). Os Grupos B, C, D e E, com tratamento endod?ntico, receberam os seguintes procedimentos: Grupo B preparo MOD; Grupo C preparo MOD e pino transfixado; Grupo D preparo MOD e restaura??o com resina composta; Grupo E preparo MOD, pino transfixado e restaura??o com resina composta. As amostras foram armazenadas em soro fisiol?gico a 37?C durante 24 horas. Ap?s o procedimento, foi aplicada uma for?a compressiva paralela ao longo eixo dos dentes at? a fratura, conduzida por meio de uma m?quina de ensaio universal (EMIC DL-2000) com velocidade de 1mm/min. As m?dias em Newtons dos resultados (desvio padr?o) seguidas de mesma letra n?o apresentaram diferen?a estat?stica para ANOVA e Tukey, p=0,05: Grupo A = 4289,8 (? 1128,9)a, Grupo B = 549,6 (?120,7)b, Grupo C = 1474,8 (? 338,1)c, Grupo D = 1224,7 (? 236,0)c, Grupo E = 2645,4 (?675,1)d. Na an?lise das vari?veis qualitativas, predominou a fratura de c?spide em 56%, o diagn?stico recuper?vel em todos os grupos, com exce??o do Grupo C e o preparo da c?spide palatina predominou em todos os grupos, a exce??o do Grupo A. Concluiu-se que um pino de fibra de vidro transfixando horizontalmente as paredes de uma cavidade MOD elevou significativamente a resist?ncia ? fratura e quando associado ? restaura??o de resina composta determinou um padr?o de fratura compat?vel com a recupera??o da pe?a dent?ria.
Randrianarivony, Maharavo. "Software pertaining to the preparation of CAD data from IGES interface for mesh-free and mesh-based numerical solvers." Universitätsbibliothek Chemnitz, 2007. http://nbn-resolving.de/urn:nbn:de:swb:ch1-200700267.
Full textStirton, William R. "Provable and unprovable cases of transfinite induction in a theory obtained by adding to HAω so-called 'term-forms' of the kind introduced by M. Yasugi." Thesis, University of Edinburgh, 1995. http://hdl.handle.net/1842/26976.
Full textRandrianarivony, Maharavo. "The ITL programming interface toolkit." Universitätsbibliothek Chemnitz, 2007. http://nbn-resolving.de/urn:nbn:de:swb:ch1-200700254.
Full textKrämer, Markus [Verfasser]. "Ergebnisse nach arthroskopisch assistiert durchgeführter transtibialen vorderen Kreuzbandrekonstruktion mit bioresorbierbarem TransFix-Implantat und Interferenzschraube in modifizierter ovalärer Einkanal-Technik mit Hamstringsehnen als Vierfach-Implantat / Markus Krämer." Köln : Deutsche Zentralbibliothek für Medizin, 2010. http://d-nb.info/1005350132/34.
Full textMeier, Laura [Verfasser], Andrea [Akademischer Betreuer] Tipold, and Jasmin [Akademischer Betreuer] Neßler. "Untersuchung zur Stabilität von caninen und felinen Liquorproben in Bezug auf Zellzahl und Zellpopulationen in „TransFix®/EDTA CSF Sample Storage Tubes“ / Laura Meier ; Andrea Tipold, Jasmin Neßler." Hannover : Stiftung Tierärztliche Hochschule Hannover, 2019. http://d-nb.info/1202271774/34.
Full textPeters, Tom. ""Jag är både och och ingenting, mitt emellan och runtomkring" : En jämförande studie om binära och ickebinära transpersoners vardagliga erfarenheter." Thesis, Södertörns högskola, Institutionen för samhällsvetenskaper, 2015. http://urn.kb.se/resolve?urn=urn:nbn:se:sh:diva-29488.
Full textDenna studie avser att undersöka och jämföra transpersoners erfarenheter kring svårigheter i vardagen. Jämförelsen görs mellan binära och ickebinära transpersoner. Tidigare forskning visar att många transpersoner blir utsatta för våld, kränkningar och förtryck. Den visar även att självmordsfrekvensen bland transpersoner är mycket högre än hos populationen i övrigt. I dessa undersökningar kring transpersoners hälsa och situation görs det sällan eller aldrig analyser baserade på den mångfald gällande identitet som finns inom gruppen transpersoner. För att undersöka dessa individuella erfarenheter genomfördes ett antal intervjuer med binära och ickebinära transpersoner. Intervjuerna analyserades utifrån en queerteoretisk utgångspunkt för att belysa de förtryckande mekanismer som heteronormen medför. Resultatet visar att det finns tydliga likheter och skillnader i binära och ickebinära transpersoners erfarenheter kring svårigheter och förtryck. Ickebinära transpersoner tar upp omgivningens omedvetenhet kring deras existens som en stor svårighet, att personer i deras vardagliga omgivning och i samhället i stort inte känner till att de finns medan svårigheterna för binära transpersoner snarare har varit i förhållande till deras kroppar och sociala sammanhang.
Veelo, Bastiaan Niels. "Variations of Shape in Industrial Geometric Models." Doctoral thesis, Norwegian University of Science and Technology, Department of Product Design, 2004. http://urn.kb.se/resolve?urn=urn:nbn:no:ntnu:diva-240.
Full textThis thesis presents an approach to free-form surface manipulations, which conceptually improves an existing CAD system that constructs surfaces by smoothly interpolating a network of intersecting curves. There are no regularity requirements on the network, which already yields superior modelling capabilities compared to systems that are based on industry-standard NURBS surfaces.
Originally, the shape of such a surface can be modified only locally by manipulating a curve in the network. In this process there is an inherent danger that the curve is being pulled away from intersections that it has with other curves. When this happens, the network is invalidated as a surface representation, and many curves may have to be adjusted to restore network consistency and surface quality. This thesis contributes a method that solves these problems by propagating changes that are made in one curve to curves in its vicinity. How and to what extent curves react to changes is controlled by two parameters that can be varied along the curve that is being manipulated. Any curve may be constrained in one or more degrees of freedom. The integrity of the curve network is implicitly conserved, as well as the geometric continuity of the surface.
The result is a tool for the modification of curve-interpolating surfaces, which can easily be applied to large areas on models with any level of detail. This allows designers to concentrate on the creative process, rather than on planning chains of actions. They can explore different design variations, optimise shapes further, and generally be more productive.
Dette doktorgradsarbeidet presenterer en fremgangsmåte for formgivning og modifisering av datamaskinbaserte, skulpturerte flater. Metoden forbedrer et eksisterende system for data-assistert konstruksjon (DAK) som bygger dobbeltkrummede flater ved å interpolere et nettverk av skjærende kurver. Nettverket trenger ikke være regelmessig, noe som allerede gir bedre modelleringsmuligheter sammenliknet med systemer som er basert på standard NURBS flater.
En slik flate kan opprinnelig bare endres lokalt ved å dra i en kurve. I denne prosessen er det fare for at kurven blir dratt fra skjæringspunkter den har med andre kurver. Hvis dette skjer, representerer ikke nettverket en flate lenger, og mange kurver må justeres for å få tilbake integriteten i nettverket og kvaliteten i formen. Denne avhandlingen bidrar med en metode som løser disse problemene ved å spre endringer som blir gjort i en kurve til andre kurver i nærheten. Hvordan og i hvilken utstrekning kurvene reagerer på endringen styres av to parametre som kan varieres langs kurven som blir endret. Enhver kurve kan låses i en eller flere frihetsgrader. Integriteten til nettverket samt glattheten i formen blir bevart automatisk.
Resultatet er et redskap for modifikasjon av kurve-interpolerende flater som med letthet kan brukes på større områder av modeller med hvilken som helst grad av detalj. Dette gir designere muligheten til å konsentrere seg om det kreative, istedenfor å planlegge handlingsrekker. De kan utforske forskjellige designvariasjoner, optimalisere former ytterligere, og i det hele tatt være mer produktive.
Mejia, Humberto. "Modeling of a Heat-Induced Buckling of Plates Using the Mesh-free Method." FIU Digital Commons, 2014. http://digitalcommons.fiu.edu/etd/1512.
Full textRandrianarivony, Maharavo. "Geometric processing of CAD data and meshes as input of integral equation solvers." Doctoral thesis, [S.l. : s.n.], 2006. http://nbn-resolving.de/urn:nbn:de:swb:ch1-200601972.
Full textLiu, Yu. "Algorithmes pour la méthode des éléments finis et pour la méthode de continuation : application à la contrôlabilité exacte." Compiègne, 1989. http://www.theses.fr/1989COMPD197.
Full textSegura, Lorena. "Consideraciones epistemológicas sobre algunos ítems de los fundamentos de las matemáticas." Doctoral thesis, Universidad de Alicante, 2018. http://hdl.handle.net/10045/80507.
Full textStrömbeck, Wendel. "Error i cisblicken : en normkritisk studie om cisnormen." Thesis, Konstfack, Institutionen för Bildpedagogik (BI), 2014. http://urn.kb.se/resolve?urn=urn:nbn:se:konstfack:diva-7690.
Full textChen, Yi-Ju, and 陳憶茹. "Two-directional Transfinite DLG Surface Generation." Thesis, 2005. http://ndltd.ncl.edu.tw/handle/62894191358379854489.
Full text逢甲大學
應用數學所
93
This thesis develops a surface generation method that is based on the two-directional transfinite interpolation and the DLG interpolation. A corresponding software is constructed by combining “Borland C++ builder” and “Matlab”. “Borland C++ builder” is used to generate the surface points and “Matlab” is used to construct the user interfaces and the graphic interface. At first, the theory of subdivision was introduced. This includes both the approximating scheme and interpolating scheme. Different averaging masks have distinct performances. Because of the pretty good effect on smoothing the curves and the surfaces, we choose DLG as our main scheme. The Boolean sum that combines the DLG interpolation and the two-directional transfinite interpolation was used to generate the two-directional 3D surfaces. Several examples are represented in a special software in order to show the success of this thesis. Within the process of surface generation, it does not only reveal the effect of DLG schemes on distinct surfaces but also explain the procedure of DLG interpolation. The main purpose of this thesis is to construct a software that could combine the DLG interpolation and transfinite interpolation to form a two-directional DLG surface generation. This software also includes several special functions that could reveal the advantages of this new scheme.
Lin, Wen-Hsiang, and 林文鄉. "Improvement of Transfinite Interpolation Type Grid by Least Square Method and Application on Transonic Flow Problems." Thesis, 1993. http://ndltd.ncl.edu.tw/handle/75999683409276157741.
Full textJiang, Chung-Yu, and 江宗諭. "A Study of the China's Economic United Front Strategies toward Taiwan from the Perspective of Transfinite War." Thesis, 2018. http://ndltd.ncl.edu.tw/handle/hj5j8r.
Full text國防大學
中共軍事事務研究所
106
Abstract The CCP’s united front work is the main weapon for maintaining its leadership and national integrity. As time background and the leaders are different, there are differences in the way they are used, including political, cultural, ethnic, economic level and etc . After the reform and opening-up policy in China was carried out, the two sides of the Taiwan Strait exchanged frequently through economic and trade activities. Currently,the economic united front is one of the most important methods of the united front work . The "Transfinite Warfare -Scenarios of War and Fighting in the Age of Globalization" was a military book released by the senior colonel of People's Liberation Army ,Qiao Liang (current Major General) and Wang Xiangsui in 1999. The "transfinite" idea in the book comes from the asymmetric operations of the US military , the Art of War of China and the People's War thinking of PLA, which not only brings brand new aspects for CCP's national defense but also makes special definitions for the forms and types of modern warfare.The "non-military level" and "super-military level" tactics mentioned are different from the military operations emphasized by traditional warfare. They believe that "the type of weapons will evolve and change with the environment. There are possibilities for any methods and ways to be weapons for war as long as it is for the victory ; there are any different possible forms of battlefield and they can be without absolute limits and rules." Therefore, this study uses the thinking and definition of the “Transfinite Warfare” as a approach to further explore how the Chinese Communist Party apply the transfinite warfare on the united front work, and use the “economy” as a weapon of united front for Taiwan and how does Taiwan take appropriate measures for response? The research methods used in the study are''Literature Analysis''and ''Positive Research''. After collecting topics and empirical evidence of the united front , transfinite warfare, economic united front, cross-strait relations, and economic and trade exchanges, it was deduced that the Chinese Communist Party is conducting economic united front work against Taiwan through the thinking and method of transfinite warfare .
"Finitism and the Cantorian theory of numbers." 2008. http://library.cuhk.edu.hk/record=b5896870.
Full textThesis (M.Phil.)--Chinese University of Hong Kong, 2008.
Includes bibliographical references (leaves 103-111).
Abstracts in English and Chinese.
Abstract --- p.i
Chapter 1 --- Introduction and Preliminary Discussions --- p.1
Chapter 1.1 --- Introduction --- p.1
Chapter 1.1.1 --- Overview of the Thesis --- p.2
Chapter 1.1.2 --- Background --- p.3
Chapter 1.1.3 --- About Chapter 3: Details of the Theory --- p.4
Chapter 1.1.4 --- About Chapter 4: Defects of the Theory --- p.7
Chapter 1.2 --- Preliminary Discussions --- p.12
Chapter 1.2.1 --- number --- p.12
Chapter 1.2.2 --- mathematical existence and abstract reality --- p.12
Chapter 1.2.3 --- finite/infinite --- p.12
Chapter 1.2.4 --- actually/potentially infinite --- p.13
Chapter 1.2.5 --- denumerability --- p.13
Chapter 1.3 --- Concluding Remarks --- p.14
Chapter 2 --- Mapping Mathematical Philosophies --- p.15
Chapter 2.1 --- Preview --- p.15
Chapter 2.1.1 --- Nominalism --- p.16
Chapter 2.1.2 --- Conceptualism --- p.16
Chapter 2.1.3 --- Intuitionism --- p.17
Chapter 2.1.4 --- Realism --- p.18
Chapter 2.1.5 --- Empiricism --- p.19
Chapter 2.1.6 --- Logicism --- p.19
Chapter 2.1.7 --- Neo-logicism --- p.21
Chapter 2.1.8 --- Formalism --- p.21
Chapter 2.1.9 --- Practicism --- p.23
Chapter 2.2 --- Central Problem of Philosophy of Mathematics --- p.23
Chapter 2.3 --- Metaphysics --- p.24
Chapter 2.3.1 --- Abstractism --- p.24
Chapter 2.3.2 --- Abstractist Schools --- p.25
Chapter 2.3.3 --- Non-abstractism --- p.25
Chapter 2.3.4 --- Non-abstractist Schools --- p.26
Chapter 2.4 --- Semantics --- p.26
Chapter 2.4.1 --- Literalism --- p.26
Chapter 2.4.2 --- Literalistic schools --- p.27
Chapter 2.4.3 --- Non-literalism --- p.27
Chapter 2.4.4 --- Non-literalistic schools --- p.27
Chapter 2.5 --- Epistemology --- p.28
Chapter 2.5.1 --- Scepticism --- p.28
Chapter 2.5.2 --- Scepticist Schools --- p.28
Chapter 2.5.3 --- Non-scepticism --- p.29
Chapter 2.5.4 --- Non-scepticist Schools --- p.29
Chapter 2.6 --- Foundations of Mathematics --- p.30
Chapter 2.6.1 --- Foundationalism --- p.31
Chapter 2.6.2 --- Foundationalist Schools --- p.32
Chapter 2.6.3 --- N on-foundationalism --- p.33
Chapter 2.6.4 --- Non-foundationalist schools --- p.33
Chapter 2.7 --- Finitistic Considerations --- p.33
Chapter 2.7.1 --- Finitism --- p.41
Chapter 2.7.2 --- Finitist Schools --- p.42
Chapter 2.7.3 --- Non-finitism --- p.44
Chapter 2.7.4 --- Non-finitist Schools --- p.44
Chapter 2.8 --- Finitistic Reconsiderations --- p.44
Chapter 2.8.1 --- C-finitism --- p.45
Chapter 2.8.2 --- C-finitist Schools --- p.45
Chapter 2.8.3 --- Non-C-finitism --- p.46
Chapter 2.8.4 --- Non-C-finitist Schools --- p.46
Chapter 2.9 --- Concluding Remarks --- p.47
Chapter 3 --- Principles of Transfinite Theory --- p.48
Chapter 3.0.1 --- Historical Notes on Infinity --- p.48
Chapter 3.0.2 --- Cantor´ةs Proof --- p.49
Chapter 3.1 --- The Domain Principle --- p.51
Chapter 3.1.1 --- Variables and Domain --- p.53
Chapter 3.1.2 --- Attack and Defense --- p.54
Chapter 3.2 --- The Enumeral Principle --- p.56
Chapter 3.2.1 --- Cantor´ةs Ordinal Theory of Numbers --- p.58
Chapter 3.2.2 --- A Well-ordered Set --- p.59
Chapter 3.2.3 --- An Enumeral --- p.59
Chapter 3.2.4 --- An Ordinal Number --- p.60
Chapter 3.2.5 --- Attack and Defense --- p.60
Chapter 3.3 --- The Abstraction Principle --- p.63
Chapter 3.3.1 --- Cantor´ةs Cardinal Theory of Numbers --- p.64
Chapter 3.3.2 --- An Abstract One --- p.65
Chapter 3.3.3 --- One-one Correspondence --- p.65
Chapter 3.3.4 --- A Cardinal Number --- p.65
Chapter 3.3.5 --- Attack and Defense --- p.65
Chapter 3.4 --- Concluding Remarks --- p.68
Chapter 4 --- Problems in Transfinite Theory --- p.70
Chapter 4.1 --- Structure and Procedure --- p.70
Chapter 4.1.1 --- Free Mathematics --- p.72
Chapter 4.1.2 --- Non-constructive Proof --- p.75
Chapter 4.2 --- Number and Numerosity --- p.85
Chapter 4.2.1 --- Weak Reductionism --- p.85
Chapter 4.2.2 --- Non-Cantorian Sets --- p.87
Chapter 4.2.3 --- Intension in an Extensional Theory --- p.89
Chapter 4.3 --- Conceivability and Comparability --- p.95
Chapter 4.3.1 --- Tension with Absolute Infinity --- p.95
Chapter 4.4 --- Conclusion --- p.100
Bibliography --- p.103
Slávik, Alexander. "Třídy modulů motivované algebraickou geometrií." Doctoral thesis, 2020. http://www.nusl.cz/ntk/nusl-436934.
Full textRöhl, Claudius. "Das Auswahlaxiom." 2016. https://ul.qucosa.de/id/qucosa%3A16622.
Full text