23,319 research outputs found
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 -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
- …