Teoria homotòpica de tipus

Treballs Finals de Grau de Matemàtiques, Facultat de Matemàtiques, Universitat de Barcelona, Any: 2020, Director: Carles Casacuberta[en] Homotopy type theory is a branch of mathematics that emerged in the decade of 2010. The major novelties with respect to previous type theories are the association of types with $\infty$ -groupoids, Voevodsky’s univalence axiom, and higher-order inductive types. Higher- order inductive types allow certain objects to be defined, such as a circle or a torus, in a synthetic way. The first chapters of this work offer an introduction to homotopy type theory, focusing especially on understanding higher-order inductive types. Due to the short time elapsed since the advent of homotopy type theory, there are many open questions waiting to be answered. This work sets out a research direction motivated by one of these questions: how to find an appropriate definition of orientability which is meaningful for surfaces or, more generally, for manifolds. From the existing definition of a torus as a higher-order inductive type, we have studied an analogous definition of a Klein bottle, focusing on the fact that a torus is a two-sheeted covering of a Klein bottle. This work contains basic facts about coverings in homotopy type theory, as well as a few results that are relevant in the special case of the torus and the Klein bottle

Design and performance analysis study of an ion thruster

Desenvolupar l'estudi preliminar d'un dispositiu propulsor elèctric de tipus iònic per a un vehicle espacial.1. Introducció.2. Anàlisi de missió, incloent càlcul de trajectòries i/o maniobres orbitals típiques, amb un cert grau de detall.3. Justificació del motor iònic com a sistema propulsor adequat per a la missió en particular, a partir d'una anàlisi comparativa de diferents tipus de propulsors per a vehicles espacials, tot assenyalant els avantatges i inconvenients de cadascun d'ells.4. Breu introducció a la física de plasmes magnetitzats.5. Anàlisi preliminar d'un propulsor iònic, mitjançant mètodes analítics simplificats.6. Anàlisi numèrica mitjançant un model quasi-unidimensional, fent ús de la teoria de Brophy.7. Validació dels resultats, per comparació amb altres models numèrics i/o resultats d'assaigs experimentals.8. Anàlisi d'actuacions per diferents condicions d'operació.9. Conclusions

Estimació quantitativa de la irreversibilitat dels processos tècnics segons la termodinàmica dels medis continus

En el mart de la Termodinàmica Racional dels Medis Continus ha estat fet un càlcul general de l'eficiència d'un procés (no necessàriament cíclic) termodinàmic. Com una consegüència s'ha obtingut la formulació de la segona llei de la termodinàmica sota el punt de vista de la teoria de camps. Fem aplicació a un determinat tipus de materials, i trobem les restriccions que imposa la segona llei a les equacions constitutives que defineixen aquest tipus de material. Es comenta la importància del concepte de fredor en la teoria de la transmissió de la calor i les possibilitats de reduir les irreversibilitats inherents als processos. Es pot concloure que la formulació general que presentem permet d'analitzar i justificar més racionalment les irreversibilitats en qualsevol procés

An Incorporation Analysis Revisited

El comportament sintàctic d'algunes construccions de verb auxiliar i infinitiu o participi en català indica que aquests dos elements es comporten com una unitat. A Llinàs (1990) es proposà el mecanisme d'incorporació (Baker (1988)) per explicar aquest fenomen. Ara, però, la teoria de Kayne (1993) -que formula un axioma per tal que els marcadors sintagmàtics determinin l'ordre lineal dels elements terminals- podria fer pensar que el trasllat del tipus que es proposa per a aquestes seqüències en català és inadmissible. Més concretament, la teoria de Kayne imposa restriccions a la direcció de l'adjunció. En aquest article revisem breument la proposta de la incorporació i la reconsiderem tenint en compte la proposta de Kayne. Concloem que, malgrat que el tipus de marcadors sintagmàtic que es postula per a aquestes seqüències no determina l'ordre lineal dels símbols terminals que conté, és un marcador permès perquè inclou informació d'elements per sota del nivell zero

L’encapsulament autístic subjacent en una pacient amb una organització fronterera narcisista

En aquest article l'autora fa una breu revisió de la teoria de l'encapsulament autístic, primerament descrita per S. Klein en1980 en adults no psicòtics i posteriorment explicada amb detall per F. Tustin. Aquesta teoria fou adoptada per nombrosos psicoanalistes d'arreu. L'autora il·lustra les característiques fonamentals de l'encapsulament descrit per Tustin com a "tipus closca" i el treball analític realitzat ambuna pacient adulta en una anàlisi de deu anys. Es mostra com el descobriment i l'anàlisi de la càpsula serveixen per posar de manifest l'extrema intolerància de la pacient envers el seu selfinfantil

Sobre la intel·ligibilitat de la tesi quineana de la indeterminació de la traducció

En el seu article "On the Reasons for Indeterminacy of Translation", Quine distingeix dos tipus d'arguments per justificar la seva doctrina de la indeterminació de la traducció. En primer Iloc, hi ha l'argument basat en la doctrina de la subdeterminació de la teoria física, el fisicalisme i el realisme. En segon Iloc, trobem I'argument basat en la inescrutabilitat de la referència

Condicions prosòdiques i minimitat en el tipus reduplicatiu 'puput'

El propòsit d'aquest treball és descriure el procés morfològic de reduplicació parcial que ha format una sèrie de mots del català, agrupats sota el que anomenem tipus puput. La morfologia prosòdica (McCarthy & Prince 1986) en el marc de la fonologia generativa és la teoria que ha donat mes llum fins ara sobre el comportament de certs processos morfològics que no s'ajusten als límits segmentals ni ais morfemàtics, en el sentit que aquests límits no defineixen estrictament l'àmbit d'actuació d'aquesta mena de processos. Entre aquells que tradicionalment ha descrit més adequadament la teoria prosòdica hi ha: la infixació, el truncament i la reduplicaci

Newton i les seves contribucions al concepte contemporani de ciència

Postprint (published version

Mediadoc: aplicacions multimèdia a assignatures tècniques

El programa MEDIADOC s’ha elaborat amb l’objectiu de poder preparar material multimèdia de forma àgil i senzilla per a qualsevol usuari familiaritzat en la utilització de programes habituals de processament de textos. La creació d’aquest tipus de material obliga al professor a un temps de dedicació elevat, i a conèixer un tipus de programes que impliquen un aprenentatge addicional, motiu pel qual en moltes ocasions es desestima aquesta possibilitat i s’utilitzen fitxers *.doc o *.pdf. Es tracta d’agilitar aquest procés i de poder aprofitar els apunts preparats amb processadors de text (WORD) i convertir-los en format multimèdia (FLASH), amb un entorn molt més agradable per a l’usuari, incorporant imatges i enllaços amb gràfics o connexions a pàgines d’internet. L’aplicació de MEDIADOC té tres vessants: producció de teoria, producció d’exercicis tipus test, i producció de demostracions matemàtiques o problemes resolts. En aquest treball es presentarà el resultat de la primera fase d’elaboració de MEDIADOC, mostrant majoritàriament la seva aplicació a la producció de textos teòrics i exercicis tipus test. L’objectiu és disposar d’una eina per a poder crear material multimèdia, de forma fàcil, per tal d’impartir assignatures tècniques de caràcter semipresencial, o crear materials interactius, més aptes per l’autoaprenentatge, segons indica la Declaració de Bolonia

Problemes comunicatius

Presentacions de teoria de l'assignatura.En aquest material hi trobaràs: Estudi del tipus d'informació manipulada / Què hi pot haver com a argument d'un ES? / Quin tipus d'informació circula internament? / Principis de Connexions, Cistella i Encaixada2021/202