Готові списки джерел за темами / Transfini

Зміст

Статті в журналах
Дисертації
Книги
Частини книг
Тези доповідей конференцій
Звіти організацій

Добірка наукової літератури з теми "Transfini"

Автор: Grafiati

Опубліковано: 5 жовтня 2024

Оформте джерело за APA, MLA, Chicago, Harvard та іншими стилями

Оберіть тип джерела:

Ознайомтеся зі списками актуальних статей, книг, дисертацій, тез та інших наукових джерел на тему "Transfini".

Біля кожної праці в переліку літератури доступна кнопка «Додати до бібліографії». Скористайтеся нею – і ми автоматично оформимо бібліографічне посилання на обрану працю в потрібному вам стилі цитування: APA, MLA, «Гарвард», «Чикаго», «Ванкувер» тощо.

Також ви можете завантажити повний текст наукової публікації у форматі «.pdf» та прочитати онлайн анотацію до роботи, якщо відповідні параметри наявні в метаданих.

Статті в журналах з теми "Transfini"

Criton, Pascale. "Le cerveau transfini." Chimères 27, no. 1 (1996): 55–66. http://dx.doi.org/10.3406/chime.1996.2054.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

Criton, Pascale. "Le cerveau transfini." Chimères N° 27, no. 1 (January 1, 1996): 55–66. http://dx.doi.org/10.3917/chime.027.0055.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

Bloom, Thomas, and Jean-Paul Calvi. "Sur le diamètre transfini en plusieurs variables." Comptes Rendus de l'Académie des Sciences - Series I - Mathematics 329, no. 7 (October 1999): 567–70. http://dx.doi.org/10.1016/s0764-4442(00)80002-6.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

Amoroso, Francesco. "Sur le diamètre transfini entier d'un intervalle réel." Annales de l’institut Fourier 40, no. 4 (1990): 885–911. http://dx.doi.org/10.5802/aif.1240.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

Flammang, Valérie. "Sur le diamètre transfini entier d'un intervalle à extrémités rationnelles." Annales de l’institut Fourier 45, no. 3 (1995): 779–93. http://dx.doi.org/10.5802/aif.1473.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

AKÇAY, Selma. "FARKLI TÜRBÜLATÖRLERE SAHİP DAİRESEL BİR KANALDA TERMAL PERFORMANSIN SAYISAL ANALİZİ." Mühendislik Bilimleri ve Tasarım Dergisi 12, no. 1 (March 25, 2024): 1–15. http://dx.doi.org/10.21923/jesd.1201753.

Повний текст джерела

Анотація:

Bu çalışmada, içerisinde farklı türbülatörlere sahip dairesel kesitli kanal akışlarının termal performansı sayısal olarak analiz edilmiştir. Simülasyonlar, Hesaplamalı Akışkanlar Dinamiği (HAD) tabanlı Fluent programı ile çözülmüştür. Çalışmada, dik ve eğik bölmelerden oluşan yedi farklı türbülatör yapısı kullanılmıştır. Bu türbülatörler kanalın merkezine yerleştirilmiş ve türbülatörleri içeren kanal dış yüzeyleri sabit sıcaklık (Tw=350K) şartlarında korunmuştur. İki farklı Reynolds sayısı (Re=5000 ve Re=10000) için Nusselt sayısı (Nu), sürtünme faktörü (f) ve termal performans faktörü (TPF) hesaplanmıştır. Sayısal çözümler, önceki çalışma sonuçları ve ampirik bağıntılar ile karşılaştırılmıştır. Türbülatörlerin akış ve ısı transferi üzerindeki etkilerini gözlemleyebilmek için kanal içinde akış ve sıcaklık görüntüleri elde edilmiştir. Yapılan çalışma, aynı zamanda türbülatörsüz kanal akışı ile karşılaştırılmıştır. Elde edilen bulgular, kanal içine eklenen türbülatörlerin ısı transferini iyileştirdiğini ve türbülatörsüz kanala göre Nu 1,38 kat arttığını göstermiştir. Ayrıca kanal giriş hızının artması ile ısı transferi artmıştır. En yüksek ısı transferi Re=10000’de Kanal 8 durumunda Nu=27,17 olarak bulunmuş ve en yüksek TPF Re=5000’de Kanal 8’de TPF=1,08 olarak elde edilmiştir.

Стилі APA, Harvard, Vancouver, ISO та ін.

GEMİCİOĞLU, Bahadır, Ahmet PEKCAN, and Tolga DEMİRCAN. "NUMERICAL INVESTIGATION OF THE THERMAL PERFORMANCE OF A MINI PIN FIN HEAT SINK." Kahramanmaraş Sütçü İmam Üniversitesi Mühendislik Bilimleri Dergisi 26, no. 2 (June 3, 2023): 395–407. http://dx.doi.org/10.17780/ksujes.1172215.

Повний текст джерела

Анотація:

Bu çalışmada bir kanal içerisinde bulunan mini pim kanatçıklı bir ısı alıcısının soğutulması sayısal olarak incelenmiştir. Bu kapsamda kare, beşgen ve altıgen kanatçık geometrileri için, Reynolds sayısının 500-1800, hava giriş sıcaklığının 298-304 K, ısı akısının 5000-30000 W/m2 ve kanatçık yüksekliğinin ise 2-8 mm aralıklarında farklı analizler yapılmıştır. Bu sayede kanatçık geometrisi, Reynolds sayısı, ısı akısı, akışkan giriş sıcaklığı, kanatçık yüksekliği, kanatçık dizilimi gibi birçok farklı parametrenin değişiminin ısı transferi üzerindeki etkileri birlikte incelenmiştir. Sonuç olarak altıgen kanatçığa sahip geometrinin incelenen diğer geometrilere oranla daha yüksek ısıl performans gösterdiği tespit edilmiştir. Reynolds sayısının ve kanatçık yüksekliğinin artışının ısı transfer katsayısını artırdığı tespit edilmiştir. Hava giriş sıcaklığının artırılmasının ise ısı transferini olumsuz etkilediği belirlenmiştir. Kanatçıklar arası mesafenin değişiminin ısı transferini etkilediği, bu mesafenin 2 mm olduğu durumda ise optimum ısıl performans sağlandığı gözlemlenmiştir.

Стилі APA, Harvard, Vancouver, ISO та ін.

CHOFFRUT, CHRISTIAN, and SÁNDOR HORVÁTH. "TRANSFINITE EQUATIONS IN TRANSFINITE STRINGS." International Journal of Algebra and Computation 10, no. 05 (October 2000): 625–49. http://dx.doi.org/10.1142/s021819670000025x.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

HOROZOĞLU, Mehmet Ali, and Selçuk Bora ÇAVUŞOĞLU. "Kurumsal İmaj Penceresinden Fenerbahçe Spor Kulübü’nün Mesut Özil Transferi." ISPEC International Journal of Social Sciences & Humanities 5, no. 2 (June 16, 2021): 99–113. http://dx.doi.org/10.46291/ispecijsshvol5iss2pp99-113.

Повний текст джерела

Анотація:

Bu araştırmanın amacı Fenerbahçe spor kulübünün 2021 yılında yapmış olduğu ve dünya çapında yadsınamaz bir etki yaratan Mesut Özil Transferini Kurumsal İmaj çerçevesinden incelemektir. Kurumsal imaj, firmanın kendisi için önemli olan çeşitli izleyiciler nezdindeki itibarıdır. Kurumsal imaj kavramı günümüz dünyasında çok sık karşılaşılan ve gerek kurum gerekse şirketler tarafından merkezi önem noktasında bulunan bir kavramdır. Son yıllarda kurumsal imaj kavramın öneminin artması ve medya boyutunun kurumsal imaj ile iç içe hareket etmesi ve bunun yanı sıra olarak spor kulüplerinin özellikle kurumsal imaj açısından transfer politikalarını araç olarak kullanması sebebi ile araştırmanın konusu kurumsal imaj çerçevesinde şekillendirilmiştir. Spor Kulüplerinin Kurumsal İmaj çerçevesinde transferleri araç olarak kullanmasının altında; kulüp gelirlerini arttırmanın yanı sıra kulüplerin tanınırlık seviyelerini arttırmak istemeleri yatmaktadır. Araştırmanın amacına etkili bir şekilde ulaşması ve bilim dünyasına bundan sonraki çalışmalarda ışık tutulabilmesi açısından araştırma deseni türlerinden derleme yöntemi uygulanmış ve teorik bir çözümleme yöntemi kullanılmıştır. Araştırmanın elde edilen bulguların analizleri sonucunda Fenerbahçe spor kulübünün Mesut Özil transferi sayesinde dünya borsalarındaki değer artışının yanı sıra kulüp gelirleri, forma satış oranları, lisanslı ürün satış oranları ve son olarak sosyal medya hesaplarının takipçi sayılarında artış ve bu artışa bağlı olarak sosyal medya kanallarından elde edilen gelirlerin arttığı sonucuna varılmıştır.

Стилі APA, Harvard, Vancouver, ISO та ін.

Santril, Nitri Ramadhani. "Gambaran Efektivitas Transfusi Thrombocyte Concentrate Pada Pasien Immune Thrombocytopenic Purpura di RSUP Dr. M. Djamil Padang." Majalah Kedokteran Andalas 46, no. 9 (July 15, 2024): 1440. http://dx.doi.org/10.25077/mka.v46.i9.p1452-1458.2024.

Повний текст джерела

Анотація:

Latar Belakang: Transfusi trombosit pasien immune thrombocytopenic purpura (ITP) diindikasikan pada kasus ITP dengan perdarahan. Transfusi trombosit pada pasien ITP tidak diikuti dengan peningkatan jumlah trombosit. Corrected count increment (CCI) merupakan penghitungan untuk menilai efektivitas transfusi trombosit. Efektif bila CCI 1 jam pasca transfusi >7,5 x 109/L dan CCI 24 jam >4,5 x 109/L. Tujuan: Mendapatkan gambaran efektivitas transfusi trombosit concentrate (TC) berdasarkan nilai CCI. Metode: Penelitian dilakukan terhadap 31 pasien ITP yang mendapatkan transfusi TC Desember 2022- April 2023. Efektivitas transfusi dinilai berdasarkan nilai CCI 1 jam dan 24 jam pasca transfusi. Hasil: Median jumlah trombosit sebelum transfusi adalah 5,0 x 103/L. Median CCI (Min-Maks) 1 jam 1,88 (0,26-14,5) dan medianCCI 24 jam adalah 2,39 (0,26-15,89). Sebanyak 16,1% sampel efektif berdasarkan nilai CCI 1 jam dan 83,9% tidak efektif. Nilai CCI 24 jam pasca transfusi, 35,5% efektif dan 64,5% tidak efektif. Diskusi: Transfusi TC pada pasien ITP tidak efektif berdasarkan nilai CCI 1 jam dan 24 jam karena pendeknya masa hidup trombosit yang ditransfusikan akibat didestruksi oleh sistem imun. Simpulan: Efektivitas transfusi TC pasien ITP berdasarkan nilai CCI 1 jam pasca transfusi adalah 16,1% pasien dan CCI 24 jam adalah 35,5%. Transfusi trombosit pada ITP perlu indikasi tepat

Стилі APA, Harvard, Vancouver, ISO та ін.

Більше джерел

Дисертації з теми "Transfini"

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.

Повний текст джерела

Анотація:

G. Cantor, fondateur de la théorie des ensembles et des nombres transfinis, assignait à ses découvertes une portée philosophique. S'affirmant " aristotélo-platonicien ", il considérait la nature des nombres à la fois comme objet d'une création libre et d'une nécessité issue d'une réalité ontologique, redécouvrant une thèse néo-scolastique ; comparant les transfinis à l'idée platonicienne, il envisageait la possibilité pour son arithmétique transfinie de redonner à l'ontologie, arrêtée à Spinoza et Leibniz selon lui, un nouvel élan susceptible de dépasser le kantisme, voire d'étayer une ontologie formelle. Sur ces trois questions : nature des nombres, à retour à l'ontologie métaphysique, arithmétique transfinie, l'essai tente de montrer l'importance de l'intuition cantorienne quant à l'existence d'un noyau onto-logique au fondement de la connaissance, dans le fil d'une philosophia perennis, mais aussi les limites des transfinis eu égard à l'ambition formaliste en philosophie en raison du caractère apparemment virtuel des nombres transfinis
Set 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

Стилі APA, Harvard, Vancouver, ISO та ін.

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.

Повний текст джерела

Анотація:

Le but de ce travail est l'étude de différentes mesures de polynômes ou encore mesures absolues de polynômes (on désigne par ce terme la normalisation de la mesure par le degré du polynôme). Nous nous intéressons principalement à la mesure de Mahler, la longueur et la mesure de Zhang-Zagier. Poursuivant des travaux de C. J. Smyth, nous avons étudié le spectre de la mesure de Mahler absolue puis, en adaptant la méthode, le spectre de la longueur absolue. À travers ces deux exemples, nous verrons comment l'étude du spectre d'une mesure est directement en relation avec l'optimisation d'une fonction liée à la mesure considérée. Ce problème d'optimisation se résout à l'aide de la technique des fonctions auxiliaires. En général, la résolution n'est pas exacte: une méthode de programmation linéaire semi infinie en fournit une approximation numérique qui permet tout de même d'aboutir à un résultat. Cependant, nous rencontrerons quelques exemples de solutions exactes que nous appellerons fonctions auxiliaires exactes. Par ailleurs, nous avons lie la majoration du diamètre transfini entier d'un intervalle dont les bornes sont deux éléments consécutifs d'une suite de Farey et la minoration de certaines mesures de polynômes. Enfin, l'étude du spectre d'une mesure conduit tout naturellement à la recherche de polynômes petits pour cette mesure. Nous avons mis au point un procédé pour trouver effectivement tous ces polynômes et l'avons utilisé pour la mesure de Zhang-Zagier et la longueur
We 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

Стилі APA, Harvard, Vancouver, ISO та ін.

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.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

Wu, 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.

Повний текст джерела

Анотація:

Nous étudions la mesure d'indépendance linéaire de plusieurs logarithmes de nombres rationnels. Nous donnons tout d'abord des mesures d'indépendance linéaire de 1, log (1-1/a), et log (1+1/a) par deux méthodes différentes et nous généralisons ce résultat pour 1, log (1-1/a), log (1+1/a), log (1+2/a). Nous généralisons le travail de G. Rhin concernant l'indépendance linéaire de 1, log 2, et log 3 a 1, log 2, log 3, log 5 et à 1, log 2, log 3, log 5, log 7 pour lesquels nous donnons des petites mesures d'indépendance linéaire. Nous donnons la définition de (f, [delta])-diamètre transfini entier et l'appliquons au calcul d'une mesure d'indépendance linéaire de plusieurs logarithmes de nombres rationnels. Nous donnons une généralisation des polynomes de Muntz-Legendre. Ceci nous permet de calculer les polynômes de Z[x] de plus petite norme sur [0, 1] et [0, 1/4], étendant ainsi les résultats précédents de Borwein, Habsieger et Salvy ainsi que des résultats sur les polynômes critiques de Flammang, Rhin et Smyth. Nous donnons un algorithme qui utilise l'algorithme LLL, les polynômes de Muntz-Legendre généralisés et une méthode dérivée de la méthode du simplexe pour résoudre des systèmes d'inéquations linéaires à inconnues entières

Стилі APA, Harvard, Vancouver, ISO та ін.

WU, 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.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

Girardot, 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.

Повний текст джерела

Анотація:

Ce travail traite des machines de Turing infinies (ITTM) telles que développées par Hamkins et Lewis au début des années 2000. Plus particulièrement il s'intéresse à leur généralisation. Un aspect notable de ces machines infinies est que, en comparaison du modèle classique de Turing, celles-ci sont presque aussi simple. Une ITTM a la même structure qu'une machine de Turing à trois rubans. Elle fait des calculs en temps ordinaux et à n'importe quelle étape, l'instantané de la machine permet de calculer, comme dans le modèle classique, l'instantané à l'étape suivant. Le seule différence est aux étapes limites: la tête de lecture est remise au début, la machine est dans un certain état spécial et la valeur de chaque cellule est la limite supérieure de l'historique de ses valeurs précédentes. Si le choix pour la tête de lecture et pour l'état limite sont d'une façon logique, le choix de la valeur limite pour les cellules peut apparaître arbitraire. Pourquoi pas une liminf ? Ou encore quelque chose de plus compliqué ? Finalement, la justification de cette règle limite est une corroboration : avec cette règle, Hamkins et Lewis ont montré que le modèle de machines qu'ils ont développé est robuste, puissant et se comporte bien.L'objectif est de proposer des règles limites différentes de la règle limsup produisant donc des généralisations de ce modèle de machines.%La plupart de preuves portant sur les ITTMs utilise une « machine universelle », c'est-à-dire une machine qui simule en parallèle toutes les autres ITTMs. Une une telle machine est en fait simple à définir ; mais cette simplicité est fortuite : il pourrait y avoir de nombreuses difficultés qui sont évitées grâce à plusieurs propriétés implicite des ITTMs. Nous avons ainsi mis en lumière un ensemble de quatre propriétés, satisfaites par la règle de limsup. Elles nous permettent de définir un concept plus général de machine simulationnelles : des modèles de machines dont la règle limite satisfait ces propriétés et pour lesquelles on prouve qu'il existe une machine universelle. Le premier résultat de ce travail est un théorème qui établit, pour ces modèles de machines auxquelles deux contraintes sont rajoutées, une égalité entre les temps de calcul et les ordinaux qui peuvent être écrits.Le second résultat principal se base sur ce premier résultat. Un corollaire immédiat de la première partie est le suivant : il n'existe que deux modèles de machines simulationnelles (et non pathologiques), à savoir les ITTM avec la règle limsup et leur symétrique avec la règle liminf. Ainsi, pour produire des machines infinies d'ordre supérieur, il faut construire des machines à n symboles. C'est le second résultat : nous avons construit un modèle de machines simulationnelles à 3 symboles, strictement plus puissant que celui des ITTMs et pour lequel nous parvenons à établir les principaux résultats mettant en relation les ITTMs avec la théorie des ensembles
This 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

Стилі APA, Harvard, Vancouver, ISO та ін.

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.

Повний текст джерела

Анотація:

Nous nous intéressons à la linéarisation de certaines familles de germes analytiques. En généralisant les définitions et propriétés du diamètre transfini, nous obtenons un théorème de majoration polynomiale valable à la fois pour les nombres complexes et p-adiques. Nous utilisons ensuite ces outils pour donner une nouvelle démonstration du théorème de Perez-Marco concernant la linéarisation des familles non résonantes de germes analytiques qui subissent une perturbation polynomiale. Cette nouvelle preuve permet de démontrer un analogue du théorème de Perez-Marco dans le cadre p-adique. De plus, cette nouvelle technique nous permet de récupérer une information diophantienne et donne de nouveaux exemples de germes non linéarisables. Nous généralisons ensuite ce théorème au cas des perturbations par des fractions rationnelles et finissons par étudier un cas résonant et retrouvons, de façon élémentaire, certaines propriétés concernant le centralisateur des germes tangents à l'identité.

Стилі APA, Harvard, Vancouver, ISO та ін.

Carpani, Giacomo. "Cantor e l'aritmetica transfinita." Master's thesis, Alma Mater Studiorum - Università di Bologna, 2017. http://amslaurea.unibo.it/13445/.

Повний текст джерела

Анотація:

In quest’elaborato poniamo l’attenzione in particolare sul concetto di “numero transfinito” riferendoci direttamente alle intuizioni fondamentali di Georg Cantor. Punto di partenza sono quindi le idee e i risultati del matematico tedesco, che hanno aperto la strada alle teorie dei numeri ordinali e dei numeri cardinali, che noi esponiamo in chiave moderna assumendo la teoria degli insiemi Zermelo-Fraenkel. Nelle conclusioni, per illustrare gli sviluppi e l’importanza delle riflessioni di Cantor al giorno d’oggi, diamo alcuni accenni in merito all’ipotesi generalizzata del continuo e ai grandi cardinali.

Стилі APA, Harvard, Vancouver, ISO та ін.

Amrane, Amazigh. "Posets série-parallèles transfinis : automates, logiques et théories équationnelles." Thesis, Normandie, 2020. http://www.theses.fr/2020NORMR102.

Повний текст джерела

Анотація:

Nous étudions dans cette thèse des structures généralisant la notion classique de mot. Elles sont construites à partir d’un ensemble partiellement ordonné (partially ordered set ou poset) vérifiant les propriétés suivantes : — elles ne contiennent pas 4 éléments distincts x, y, z, t dont l’ordre relatif est exactement x < y, z < y, z < t (posets dits sans N) ; — les chaînes sont des ordres linéaires dénombrables et dispersés ; — les antichaînes sont finies ; et chaque élément est étiqueté par une lettre d’un alphabet fini. De manière équivalente, la classe des posets que nous considérons est la plus petite construite à partir du poset vide et du singleton, fermée par les produits séquentiel et parallèle finis, et le produit ω et son renversé −ω (posets série-parallèles). Elle est une généralisation à la fois des posets série-parallèles finis étiquetés, en y ajoutant l’infinitude, et des mots transfinis, en affaiblissant l’ordre total des éléments en ordre partiel. En informatique, les posets série-parallèles finis trouvent leur intérêt dans la modélisation des processus concurrents basés sur les primitives fork/join, et les mots transfinis dans l’étude de la récursivité. Les langages rationnels de ces posets étiquetés sont définis à partir d’expressions et d’automates équivalents introduits par Bedon et Rispal, qui généralisent le cas des mots transfinis (Bruyère et Carton) et celui des posets finis (Lodaya et Weil). Dans cette thèse nous les étudions du point de vue de la logique. Nous généralisons en particulier le théorème de Büchi, Elgot et Trakhtenbrot, établissant pour le cas des langages de mots finis l’égalité entre la classe des langages rationnels et celle des langages définissables en logique monadique du second ordre (MSO). La logique mise en oeuvre est une extension de MSO par de l’arithmétique de Presburger. Nous nous intéressons également à certaines variétés d’algèbres de posets. Nous montrons que l’algèbre dont l’univers est la classe des posets série-parallèles transfinis et dont les opérations sont les produits séquentiel et parallèle finis et les produits (resp. puissances) ω et − ω est libre dans la variété correspondante V (resp. V 0). Nous en déduisons la liberté de la même algèbre sans le produit parallèle ou le produit − ω. Enfin, nous montrons que la théorie équationnelle de V 0 est décidable. Ce sont notamment des généralisations de résultats similaires de Bloom et Choffrut pour la variété d’algèbres de mots de longueur inférieure à ω!, de Choffrut et Ésik pour la variété d’algèbres de posets sans N dont les antichaînes sont finies et les chaînes sont de longueur inférieure à ω! et ceux de Bloom et Ésik pour la variété d’algèbres de mots sur les ordres linéaires dénombrables et dispersés
We 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

Стилі APA, Harvard, Vancouver, ISO та ін.

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.

Повний текст джерела

Анотація:

Orientador: Philippe Remy Bernard Devloo
Dissertaçã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

Стилі APA, Harvard, Vancouver, ISO та ін.

Більше джерел

Книги з теми "Transfini"

Lauria, Philippe. Cantor et le transfini: Mathématique et ontologie. Paris: Harmattan, 2004.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

Errázuriz, Rafael Núñez. En deçà du transfini: Aspects psychocognitifs sous-jacents au concept d'infini en mathématiques. Fribourg, Suisse: Editions universitaires, 1993.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

Ivănescu, Mircea. Interviu transfinit. Nicula: Ecclesia, 2004.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

Dóró, Sándor. Sándor Dóró: Transfinit. Edited by Leonhardi-Museum (Dresden Germany). Dresden: Leonhardi-Museum, 1999.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

Reischer, Corina. Nombres finis & nombres transfinis. Sainte-Foy: Presses de l'Université du Québec, 2002.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

Baĭmuratov, Tursunbaĭ Makhkambaevich. Sughurta faolii︠a︡tida risklar transferi: Monografiia. Toshkent: Iqtisod-Moliia, 2005.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

Zemanian, A. H. Graphs and Networks: Transfinite and Nonstandard. Boston, MA: Birkhäuser Boston, 2004.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

Zemanian, Armen H. Pristine Transfinite Graphs and Permissive Electrical Networks. Boston, MA: Birkhäuser Boston, 2001. http://dx.doi.org/10.1007/978-1-4612-0163-2.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

Zemanian, A. H. Pristine Transfinite Graphs and Permissive Electrical Networks. Boston, MA: Birkhäuser Boston, 2001.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

Aleksandra, Pošarac, Ratković Marija 1938-, Vukotić-Cotič Gordana, and Popović Tomislav, eds. Socijalni problemi Srbije: Siromaštvo, nezaposlenost, socijalni transferi. Beograd: Institut ekonomskih nauka, 1992.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

Більше джерел

Частини книг з теми "Transfini"

Duren, Peter, and Lawrence Zalcman. "[11] Sur la variation du diamètre transfini." In Menahem Max Schiffer: Selected Papers Volume 1, 91–110. New York, NY: Springer New York, 2013. http://dx.doi.org/10.1007/978-0-8176-8085-5_15.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

Zemanian, Armen H. "Transfinite Graphs." In Transfiniteness, 19–46. Boston, MA: Birkhäuser Boston, 1996. http://dx.doi.org/10.1007/978-1-4612-0767-2_2.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

Deiser, Oliver. "Transfinite Operationen." In Springer-Lehrbuch, 203–6. Berlin, Heidelberg: Springer Berlin Heidelberg, 2009. http://dx.doi.org/10.1007/978-3-642-01445-1_14.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

Kotlarski, Henryk. "Transfinite Induction." In Trends in Logic, 73–87. Cham: Springer International Publishing, 2019. http://dx.doi.org/10.1007/978-3-030-28921-8_4.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

Zemanian, Armen H. "Transfinite Graphs." In Graphs and Networks, 5–22. Boston, MA: Birkhäuser Boston, 2004. http://dx.doi.org/10.1007/978-0-8176-8178-4_2.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

Ohlbach, Hans Jürgen, and Norbert Eisinger. "Transfinite Induktion." In Design Patterns für mathematische Beweise, 145–61. Berlin, Heidelberg: Springer Berlin Heidelberg, 2017. http://dx.doi.org/10.1007/978-3-662-55652-8_10.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

Ohlbach, Hans Jürgen, and Norbert Eisinger. "Transfinite Ordinalzahlen." In Design Patterns für mathematische Beweise, 121–43. Berlin, Heidelberg: Springer Berlin Heidelberg, 2017. http://dx.doi.org/10.1007/978-3-662-55652-8_9.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

Howes, Norman R. "Transfinite Sequences." In Modern Analysis and Topology, 62–82. New York, NY: Springer New York, 1995. http://dx.doi.org/10.1007/978-1-4612-0833-4_3.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

Zemanian, Armen H. "Transfinite Electrical Networks." In Transfiniteness, 115–55. Boston, MA: Birkhäuser Boston, 1996. http://dx.doi.org/10.1007/978-1-4612-0767-2_5.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

Provatidis, Christopher G. "GORDON’s Transfinite Macroelements." In Precursors of Isogeometric Analysis, 175–220. Cham: Springer International Publishing, 2019. http://dx.doi.org/10.1007/978-3-030-03889-2_4.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

Тези доповідей конференцій з теми "Transfini"

Chen, Ruirong, and Wei Gao. "TransFi." In MobiSys '22: The 20th Annual International Conference on Mobile Systems, Applications and Services. New York, NY, USA: ACM, 2022. http://dx.doi.org/10.1145/3498361.3538946.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

ODABAS, ONUR, and NESRIN SARIGUL-KLIJN. "TRANSITION ELEMENTS BASED ON TRANSFINITE INTERPOLATION." In 34th Structures, Structural Dynamics and Materials Conference. Reston, Virigina: American Institute of Aeronautics and Astronautics, 1993. http://dx.doi.org/10.2514/6.1993-1326.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

SKIBA, N., and VYACHESLAV ZAKHARYUTA. "HARMONIC TRANSFINITE DIAMETER AND CHEBYSHEV CONSTANTS." In Proceedings of the Conference Satellite to ICM 2006. WORLD SCIENTIFIC, 2007. http://dx.doi.org/10.1142/9789812778833_0023.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

Sun, Tianyu, Wensheng Yu, and Yaoshun Fu. "Formalization of Transfinite Induction in Coq*." In 2019 Chinese Automation Congress (CAC). IEEE, 2019. http://dx.doi.org/10.1109/cac48633.2019.8997376.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

Crawford, D., and Z. Cendes. "Domain decomposition via the transfinite element method." In IEEE Antennas and Propagation Society Symposium, 2004. IEEE, 2004. http://dx.doi.org/10.1109/aps.2004.1329644.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

Tanaka, Kazuyuki, and Keisuke Yoshii. "Infinite Games, Inductive Definitions and Transfinite Recursion." In The 9th International Conference on Computability Theory and Foundations of Mathematics. WORLD SCIENTIFIC, 2022. http://dx.doi.org/10.1142/9789811259296_0003.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

Ke, Lei, Martin Danelljan, Xia Li, Yu-Wing Tai, Chi-Keung Tang, and Fisher Yu. "Mask Transfiner for High-Quality Instance Segmentation." In 2022 IEEE/CVF Conference on Computer Vision and Pattern Recognition (CVPR). IEEE, 2022. http://dx.doi.org/10.1109/cvpr52688.2022.00437.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

Barroso, Elias Saraiva, Joaquim Bento Cavalcante Neto, Creto Augusto Vidal, and Evandro Parente Junior. "Geração de malhas isogeometricas utilizando mapeamento transfinito." In XXXVIII Iberian-Latin American Congress on Computational Methods in Engineering. Florianopolis, Brazil: ABMEC Brazilian Association of Computational Methods in Engineering, 2017. http://dx.doi.org/10.20906/cps/cilamce2017-0342.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

Abrams, Mark C., William E. Sharp, Michael R. Carter, and Thomas Vonder Haar. "Gradient Field Mapping with Imaging Fourier Transfonn Spectrometers." In Fourier Transform Spectroscopy. Washington, D.C.: OSA, 1999. http://dx.doi.org/10.1364/fts.1999.fthd2.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

CHOFFRUT, CHRISTIAN, and SERGE GRIGORIEFF. "THE THEORY OF RATIONAL RELATIONS ON TRANSFINITE STRINGS." In Proceedings of the International Colloquium. WORLD SCIENTIFIC, 2003. http://dx.doi.org/10.1142/9789812704979_0008.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

Звіти організацій з теми "Transfini"

Sınağ, Ali. Ar-Ge Ekosistemimizde Üniversitelerimiz. İLKE İlim Kültür Eğitim Vakfı, March 2021. http://dx.doi.org/10.26414/pn020.

Повний текст джерела

Анотація:

Üniversitelerin araştırma çıktılarının ekonomik kazanıma dönüştürülmesi, sektöre sağladıkları teknoloji ve bilgi transferi, yetiştirdikleri araştırmacıların sanayiye katkıları ve oluşturdukları yenilik ekosistemi düşünüldüğünde, ülkemizin kalkınmasına üst düzey katkı sağladıkları açıktır. Ar-Ge ekosistemimizin paydaşları arasında önemli role sahip olan üniversiteler son dönemde büyük bir değişim yaşamaktadır. Üniversitelerimizin girdi odaklı süregelen yapısının çıktı odaklı bir yapıya dönüşmesi, Ar-Ge ekosistemimizin diğer aktörleri olan kamu sektörü ve özel sektör ile iş birliklerinin yeniden gözden geçirilmesini zorunlu kılmıştır. TÜBİTAK, Sanayi ve Teknoloji Bakanlığı başta olmak üzere Ar-Ge desteği sağlayan bakanlıklar, KOSGEB, TTGV ülkemizdeki Ar-Ge ve yenilik faaliyetlerine destek sağlamaktadır. Sözü edilen Ar-Ge destek mekanizmalarından en fazla yararlanan kuruluşların başında gelen üniversitelerimizin gerçekleştirdiği çalışmaların sektöre ve üretime dönüşebilme oranının yüksekliği, sanayinin de üniversitelerde yürütülen bu çalışmalara destek olmasıyla hatta sektör-üniversite iş birliğiyle gerçekleştirilmesiyle yakından ilişkilidir. Bu politika notunda; ülkemizin Ar-Ge ekosisteminin mevcut durumu ele alınmış, üniversitelerimizin girişimcilik ve yenilik ekosistemindeki sorunları irdelenmiş, Yükseköğretim Kurulunun (YÖK) misyon farklılaşması yaklaşımı kapsamında hayata geçirdiği yenilikçi uygulamalara (araştırma üniversiteleri, üniversite performanslarını izleme), üniversite sıralama sistemlerine ve Yükseköğretim Kalite Kurulunun (YÖKAK) üniversitelerimizi izleme ve değerlendirme süreçlerine değinilmiş ve üniversitelerimizin Ar-Ge ekosistemimize katkı sunma noktasında daha etkin bir rol üstlenebilmesi için önerilerde bulunulmuştur.

Стилі APA, Harvard, Vancouver, ISO та ін.

Ми пропонуємо знижки на всі преміум-плани для авторів, чиї праці увійшли до тематичних добірок літератури. Зв'яжіться з нами, щоб отримати унікальний промокод!