Introduzione alla logica e alla matematica intuizioniste

L'elaborato propone un'introduzione alla matematica intuizionista e alla sua formalizzazione. Dopo aver inquadrato storicamente il movimento e averne tratteggiato il pensiero, si approfondiscono la sintassi e la semantica ad esso associate grazie ai lavori di Heyting e Kripke, si confronta la teoria con quella classica, e si indica il legame tra la logica intuizionista e quella modale. Il capitolo conclusivo è dedicato alla costruzione dei numeri naturali e reali, con particolare attenzione alle conseguenze metodologiche del pensiero intuizionista, ai concetti originali e alle nozioni più fini in cui si suddividono alcune nozioni fondamentali della matematica tradizionale.

Matematica, musica e Doremat

Analisi storica dei legami tra matematica e musica dall'antica Grecia fino alla scala cromatica moderna. Descrizione del progetto Doremat, progetto che vede l'insegnamento della matematica con la musica, e delle analisi fatte in aula sui fattori affettivi.

Modellazione matematica delle dinamiche di rilevamento dell'espressione del gene N-MYC mediante un sensore biomolecolare sintetico

L'espressione del gene MYCN è un importante indicatore della severità del NBL. Poiché il numero di copie di MYCN è un indice grezzo della sua espressione quantificarle utilizzando tecniche come la “fluorescent in situ hybridization” (FISH) può servire a formulare una stima del livello di espressione MYCN [Shapiro 1993]. Tuttavia, l'espressione aberrante di MYCN nel NBL non è sempre associata all'amplificazione genica; pertanto la valutazione diretta del livello di espressione di questo gene sarebbe un miglior indicatore prognostico. Questa tesi è stata sviluppata nell'ambito di un progetto che si propone di realizzare un sensore biomolecolare sintetico per l'identificazione del livello di espressione di MYCN. Di seguito saranno presentati i dettagli relativi alla progettazione della topologia circuitale e all’analisi in silico che sono state condotte per caratterizzare il comportamento dinamico del sistema. Questo lavoro è stato svolto nel laboratorio di Ingegneria Cellulare e Molecolare "S. Cavalcanti", presso la Sede di Cesena del Dipartimento di Ingegneria dell'Energia elettrica e dell'Informazione "Guglielmo Marconi" (DEI) dell’Ateneo di Bologna.

WebApp per l'apprendimento della matematica attraverso esercizi di statistica

L’obiettivo di questa tesi è lo studio e la realizzazione di un gioco sotto forma di WebApp, fruibile da device mobili. Il gioco è stato pensato per proporre esercizi di statistica ad un target di utenti specifico, che è quello degli studenti delle scuole medie, così da supportarli nell’approccio e nell’esercizio di questo tipo di argomento. Questo gioco sarà integrato all'interno di un serious games più articolato e completo che possa contenere diverse tipologie di giochi matematici. In particolare, è stata realizzata una WebApp funzionante sia come software singolo, sia come tipologia di gioco integrabile all’interno di una macro-applicazione.

App Ibrida per l’apprendimento della matematica attraverso esercizi di logica

Nell’ambito di questo lavoro di tesi è stata progettata e realizzata un'applicazione di edutainment, pensata per essere fruita attraverso dispositivi mobili, da parte di studenti delle scuole medie, con l’obiettivo di esercitare e migliorare le capacità logiche e di problem solving. La tesi descrive il contesto educativo e scolastico in relazione alla presenza delle tecnologie dell'informazione e della comunicazione, ed infine mostra come una componente di intrattenimento possa essere utile nei processi di apprendimento. Lo sviluppo dell’applicazione è basato sulla progettazione di applicazioni ibride, usando come framework di sviluppo Apache Cordova, quindi attraverso tecnologie web-based, con un’architettura client-server, in cui la parte client gestisce l’interfaccia grafica e le interazioni logiche mentre la parte server viene sfruttata esclusivamente come contenitore di informazioni.

Superficies de placer : Sexo, religión y música electrónica en los pliegues de la transición 1990-2010

El desarrollo de la música electrónica en los últimos 20 años revela ambigüedades y tensiones del proceso cultural vivido por la sociedad argentina. El caso de la música electrónica, en tanto construcción de un espacio eminentemente multisensorial que modula una experiencia en la que dialogan articulaciones técnicas, sonoras y quími¬cas, junto ala centralidad del movimiento corporal, permite el encuentro, desarrollo y mutua redefinición de sexualidad y religión. Caracterizaremos ese encuentro posibilitado por la música electrónica como parte de la constitución renovada de las culturas juveniles. Por un lado describimos cómo el dispositivo de la música electrónica, dada la relevancia y trascendencia del baile, y dada la postulación de la unidad indisoluble entre cuerpo y mente, se articula con el sedimento cultural en el que opera la religiosidad de la Nueva Era. Por otro lado, pero en paralelo con lo anterior, mostra¬mos que el de la música electrónica es un espacio de interrogación y construcción de comportamientos sexuales en que el repertorio sexual se vuelve más plural que el definido por otras escenas musicales

Superficies de placer : Sexo, religión y música electrónica en los pliegues de la transición 1990-2010

El desarrollo de la música electrónica en los últimos 20 años revela ambigüedades y tensiones del proceso cultural vivido por la sociedad argentina. El caso de la música electrónica, en tanto construcción de un espacio eminentemente multisensorial que modula una experiencia en la que dialogan articulaciones técnicas, sonoras y quími¬cas, junto ala centralidad del movimiento corporal, permite el encuentro, desarrollo y mutua redefinición de sexualidad y religión. Caracterizaremos ese encuentro posibilitado por la música electrónica como parte de la constitución renovada de las culturas juveniles. Por un lado describimos cómo el dispositivo de la música electrónica, dada la relevancia y trascendencia del baile, y dada la postulación de la unidad indisoluble entre cuerpo y mente, se articula con el sedimento cultural en el que opera la religiosidad de la Nueva Era. Por otro lado, pero en paralelo con lo anterior, mostra¬mos que el de la música electrónica es un espacio de interrogación y construcción de comportamientos sexuales en que el repertorio sexual se vuelve más plural que el definido por otras escenas musicales

Superficies de placer : Sexo, religión y música electrónica en los pliegues de la transición 1990-2010

El desarrollo de la música electrónica en los últimos 20 años revela ambigüedades y tensiones del proceso cultural vivido por la sociedad argentina. El caso de la música electrónica, en tanto construcción de un espacio eminentemente multisensorial que modula una experiencia en la que dialogan articulaciones técnicas, sonoras y quími¬cas, junto ala centralidad del movimiento corporal, permite el encuentro, desarrollo y mutua redefinición de sexualidad y religión. Caracterizaremos ese encuentro posibilitado por la música electrónica como parte de la constitución renovada de las culturas juveniles. Por un lado describimos cómo el dispositivo de la música electrónica, dada la relevancia y trascendencia del baile, y dada la postulación de la unidad indisoluble entre cuerpo y mente, se articula con el sedimento cultural en el que opera la religiosidad de la Nueva Era. Por otro lado, pero en paralelo con lo anterior, mostra¬mos que el de la música electrónica es un espacio de interrogación y construcción de comportamientos sexuales en que el repertorio sexual se vuelve más plural que el definido por otras escenas musicales

Estudio de elementos de fábrica por superficies antifuniculares

En este trabajo de investigación se revisa desde un punto de vista crítico, el estado actual del conocimiento en el análisis de estructuras tridimensionales de mampostería. Se analizan los distintos métodos existentes, describiendo sus principales utilidades e intentando encontrar lagunas dentro de la perspectiva del análisis límite. Del estudio de los distintos métodos, se obtienen ideas para desarrollar un sistema rápido y eficaz, coherente con las necesidades del análisis de estructuras ya existentes. Se pretende crear las bases para un método global de análisis de estructuras de mampostería, basado en la plasticidad y las superficies antifuniculares. Diseñando un sistema que permita obtener de manera sencilla las superficies que únicamente trabajan a compresión, para las solicitaciones a las que debe hacer frente la estructura estudiada. Este sistema a su vez comparará las superficies obtenidas con la geometría de la construcción analizada. Este sistema permitirá mejorar la comprensión de este tipo de estructuras, siendo necesaria la interacción del usuario para poder decidir cuál de todas las soluciones es la que mejor se adapta al funcionamiento de la estructura. Una vez desarrollado el sistema se comprobarán los resultados obtenidos, validándolos con experiencias anteriormente realizadas por otros sistemas y demostrando la validez del método mediante el análisis de sus posibles mejoras. El sistema se utilizará para comprobar la estabilidad de distintas tipologías estructurales a fin de comparar los distintos esquemas y su funcionamiento.

Eficacia luminosa en superficies horizontales en la estación de Radiación Solar e Iluminación de alta calidad del IDMP en Madrid

En la estación de radiación solar e iluminación de alta calidad del International Daylight Measurement Program (IDMP) en Madrid, ubicada en la Escuela Técnica Superior de Arquitectura de la Universidad Politécnica de Madrid (40º 25’ N, 3º 41’ W) se ha realizado un estudio detallado sobre la e-cacia luminosa de la radiación global, difusa y directa en super¬cies horizontales para todo tipo de cielos (despejados, cubiertos y parcialmente cubiertos). La parte experimental ha consistido en tomar medidas durante 5 segundos cada 15 minutos, diariamente, de iluminancias e irradiancias globales y difusas durante 15 meses, a partir de las cuales se han deducido modelos para determinar iluminancias, irradiancias y e¬cacias luminosas de la radiación solar para todo tipo de cielos en función de la altitud solar, considerando pequeños intervalos de 2,5º. El principal resultado obtenido es constatar que es posible deducir un modelo de e¬cacia luminosa a partir de modelos de iluminancia e irradiancia obtenidos previamente, muy útiles para estimar los niveles de iluminación en la edi¬cación

Conformación de Superficies Reflectoras de Sistemas Dobles de Tipo Offset con Alimentadores descritos en Campo Próximo

This work discusses an iterative procedure of shaping offset dual-reflector antennas based on geometrical optics considering both far-field and near-field measurements of amplitude and phase from the feed horn. The surfaces synthesized will transform a known radiation field of a feed to a desired aperture distribution. This technique is applied for both circular and elliptical apertures and has the advantage to simplify the problem compared with existing techniques based on solving nonlinear differential equations. A MATLAB tool has been developed to implement the shaping algorithms. This procedure is applied for the design of a 1.1 m high-gain antenna for the ESA’s Solar Orbiter spacecraft. This antenna operating at X-band will manage high data rate and high efficiency communications with Earth stations.

Espacio público e implantación comercial en la ciudad de Madrid : calles comerciales versus grandes superficies

El comercio ha sido históricamente un elemento constitutivo primordial del espacio público. Desde el ágora griega y el foro romano hasta la ciudad decimonónica y moderna la función comercial se asocia indisolublemente a los espacios públicos más representativos, los que concentran la mayor densidad de vida urbana, de funciones representativas y simbólicas de la colectividad. En los países de Europa meridional surgen las primeras grandes superficies -hipermercados primero, centros comerciales integrados después- a comienzos de los años setenta. Los conceptos de proximidad, fácil accesibilidad peatonal, óptima comunicación a través de los medios de transporte colectivo, carácter público y multifuncional del soporte urbano (calles, avenidas, etc.) se alteran entonces profundamente para dar prioridad absoluta al automóvil y a la gestión privada del espacio y la organización comercial. En este contexto se ha realizado un análisis empírico sobre la localización y características de la estructura comercial de la ciudad incluyendo tanto las formas tradicionales (centro clásico, subcentro interiores, ejes comerciales de distrito, ejes o zonas de barrio) como las nuevas formas comerciales (nuevos subcentros periféricos a nivel ciudad o distrito, existentes o proyectados). Asimismo se hace un resumen comparativo de siete implantaciones comerciales representativas junto a una evaluación de los riesgos de polarización de la estructura comercial conjunta hacia las nuevas modalidades comerciales.

Modelización del registro y proceso de datos espectrales, referidos a superficies líticas, en un ámbito arqueológico.

La determinación del origen de un material utilizado por el hombre en la prehistoria es de suma importancia en el ámbito de la arqueología. En los últimos años, los estudios de procedencia han utilizado técnicas que suelen ser muy precisas pero con el inconveniente de ser metodologías de carácter destructivo. El fenómeno de la minería a gran escala es una de las características que acompaña al Neolítico, de ahí que la revolución correspondiente a este periodo sea una de las etapas más importantes para la humanidad. El yacimiento arqueológico de Casa Montero es una mina de sílex neolítica ubicada en la Península Ibérica, de gran importancia por su antigüedad y su escala productiva. Este sitio arqueológico corresponde a una cantera de explotación de rocas silícicas desarrollada en el periodo neolítico en la que solamente se han encontrado los desechos de la extracción minera, lo cual incrementa la variabilidad de las muestras analizadas, de las que se desconoce su contexto económico, social y cultural. Es de gran interés arqueológico saber por qué esos grupos neolíticos explotaban de forma tan intensiva determinados tipos de material y cuál era el destino de la cadena productiva del sílex. Además, por ser una excavación de rescate, que ha tenido que procesar varias toneladas de material, en un tiempo relativamente corto, requiere de métodos expeditivos de clasificación y manejo de dicho material. Sin embargo,la implementación de cualquier método de clasificación debe evitar la alteración o modificación de la muestra,ya que,estudios previos sobre caracterización de rocas silícicas tienen el inconveniente de alterar parcialmente el objeto de estudio. Por lo que el objetivo de esta investigación fue la modelización del registro y procesamiento de datos espectrales adquiridos de rocas silícicas del yacimiento arqueológico de Casa Montero. Se implementó la metodología para el registro y procesamiento de datos espectrales de materiales líticos dentro del contexto arqueológico. Lo anterior se ha conseguido con la aplicación de modelos de análisis espectral, algoritmos de suavizado de firmas espectrales, reducción de la dimensionalidad de las características y la aplicación de métodos de clasificación, tanto de carácter vectorial como raster. Para la mayoría de los procedimientos se ha desarrollado una aplicación informática validada tanto por los propios resultados obtenidos como comparativamente con otras aplicaciones. Los ensayos de evaluación de la metodología propuesta han permitido comprobar la eficacia de los métodos. Por lo que se concluye que la metodología propuesta no solo es útil para materiales silícicos, sino que se puede generalizar en aquellos procesos donde la caracterización espectral puede ser relevante para la clasificación de materiales que no deban ser alterados, además, permite aplicarla a gran escala, dado que los costes de ejecución son mínimos si se comparan con los de métodos convencionales. Así mismo, es de destacar que los métodos propuestos, representan la variabilidad del material y permiten relacionarla con el estado del yacimiento, según su contenido respecto de las tipologías de la cadena operativa. ABSTRACT: The determination of the origin of a material used by man in prehistory is very important in the field of archaeology. In recent years the provenance studies have used techniques that tend to be very precise but with the drawback of being destructive methodologies. The phenomenon of mining on a large scale is a feature that accompanies the Neolithic period; the Neolithic revolution is one of the most important periods of humanity. The archaeological site of Casa Montero is a Neolithic flint mine located in the Iberian Peninsula of great importance for its antiquity and its scale. This archaeological site corresponds to a quarry exploitation of silicic rocks developed in the Neolithic period, in which only found debris from mining, which increases the variability of the samples analyzed, including their economic, social and cultural context is unknown. It is of great archaeological interest to know why these Neolithic groups exploited as intensive certain types of material and what the final destination of flint was in the productive chain. In addition, being an excavation of rescue that had to process several tons of material in a relatively short time requires expeditious methods of classification and handling of the material. However, the implementation of any method of classification should avoid the alteration or modification of the sample, since previous studies on characterization of silicic rocks have the disadvantage of destroying or partially modify the object of study. So the objective of this research wasthe modeling of the registration and processing of acquired spectral data of silicic rocks of the archaeological site of Casa Montero. The methodology implemented for modeling the registration and processing of existing spectral data of lithic materials within the archaeological context, was presented as an alternative to the conventional classification methods (methods destructive and expensive) or subjective methods that depend on the experience of the expert. The above has been achieved with the implementation of spectral analysis models, smoothing of spectral signatures and the dimensionality reduction algorithms. Trials of validation of the proposed methodology allowed testing the effectiveness of the methods in what refers to the spectral characterization of siliceous materials of Casa Montero. Is remarkable the algorithmic contribution of the signal filtering, improve of quality and reduction of the dimensionality, as well the proposal of using raster structures for efficient storage and analysis of spectral information. For which it is concluded that the proposed methodology is not only useful for siliceous materials, but it can be generalized in those processes where spectral characterization may be relevant to the classification of materials that must not be altered, also allows to apply it on a large scale, given that the implementation costs are minimal when compared with conventional methods.

Control de calidad en la comercialización de frutas. Proyecto para grandes superficies y centros de distribución

La calidad global de los alimentos, tal y como la va a apreciar el consumidor final, debe lograrse por la interacción de todos los participantes en el sector (productores, transporte, almacenamiento, distribución, industria, etc.) para lo cual es imprescindible implantar sistemas de aseguramiento de la calidad y herramientas de control (Calvo Rebollar, 1998).