975 resultados para intuizionismo continuo mondi possibili logica modale
Resumo:
Pós-graduação em Linguística e Língua Portuguesa - FCLAR
Resumo:
Pós-graduação em Matemática em Rede Nacional - IBILCE
Resumo:
This study offers an analysis of classification of the main issues of logic and logical thinking found in competitive tendering and math tests, according to their concepts and characteristics, whether involving mathematics, or not. Moreover, a research on the evolutionary historic processes of logic according to three major crises of the foundations of mathematics was conducted. This research helped to define Logic as a science that is quite distinctive from Mathematics. In order to relate the logical and the mathematical thinking, three types of knowledge, according to Piaget, were presented, with the logical-mathematical one being among them. The study also includes an insight on the basic concepts of propositional and predicative logic, which aids in the classification of issues of logical thinking, formal logic or related to algebraic, and geometric or arithmetic knowledge, according to the Venn diagrams. Furthermore, the key problems - that are most frequently found in tests are resolved and classified, as it was previously described. As a result, the classification in question was created and exemplified with eighteen logic problems, duly solved and explained
Resumo:
This study offers an analysis of classification of the main issues of logic and logical thinking found in competitive tendering and math tests, according to their concepts and characteristics, whether involving mathematics, or not. Moreover, a research on the evolutionary historic processes of logic according to three major crises of the foundations of mathematics was conducted. This research helped to define Logic as a science that is quite distinctive from Mathematics. In order to relate the logical and the mathematical thinking, three types of knowledge, according to Piaget, were presented, with the logical-mathematical one being among them. The study also includes an insight on the basic concepts of propositional and predicative logic, which aids in the classification of issues of logical thinking, formal logic or related to algebraic, and geometric or arithmetic knowledge, according to the Venn diagrams. Furthermore, the key problems - that are most frequently found in tests are resolved and classified, as it was previously described. As a result, the classification in question was created and exemplified with eighteen logic problems, duly solved and explained
Resumo:
[ES] Hoy en día es incuestionable que la actividad humana está induciendo perturbaciones climáticas con importantes consecuencias para la integridad del planeta. Cada hora emitimos a la atmósfera dos millones de toneladas de CO2, favoreciendo el calentamiento gradual de la Tierra. Los océanos constituyen uno de los principales destinos finales de este carbono antropogénico y la reserva más importante de carbono activo del planeta. Absorben cerca del 25% del CO2 emitido y almacenan inmensas cantidades de calor y humedad, amortiguando los cambios climáticos pero prolongándolos en el tiempo una vez que se producen; es decir, actúan como la memoria del planeta, con un efecto retardado pero continuo. Como impacto de esta actividad, las aguas de los océanos están aumentando en temperatura y acidez y disminuyendo en concentración de oxígeno. El océano captura y transfiere CO2 desde la atmósfera al océano profundo (donde el carbono puede quedar almacenado durante cientos de años) por medio de dos procesos fundamentales: por diferencias en la presión parcial del CO2 entre la atmósfera y la superficie del mar, en función de la solubilidad del gas en el agua (bomba física o de solubilidad), y por captación de CO2 , debida a la fotosíntesis de los productores primarios (esencialmente el fitoplancton microscópico) y su transformación en materia orgánica y transporte al fondo del océano (bomba biológica). La bomba física contribuye en un 30-40% a los valores de CO2 en el agua, mientras que el resto se debe a la bomba biológica. Sin embargo, el análisis de series recientes (últimos 50 años) parece indicar que el océano está perdiendo eficiencia en la captura de CO2, lo que estaría acelerando su acumulación en la atmósfera. Una de las hipótesis postuladas para explicar esta pérdida de eficiencia es que la productividad marina global está disminuyendo, debido al aumento de estratificación en las aguas oceánicas. Esta hipótesis, no obstante, es controvertida, ya que algunos estudios recientes indican que la producción primaria marina se ha incrementado en las últimas décadas debido al forzamiento atmosférico (inducido por el calentamiento global), que ha favorecido un aumento de procesos de mezcla y afloramiento en las regiones de mayor productividad marina del planeta. En esta charla revisaremos los estudios más recientes sobre el impacto de las fluctuaciones multidecadales en la biomasa de fitoplancton, los cambios en sus grupos funcionales y su repercusión en la producción primaria. Revisaremos también los estudios sobre registros paleoclimáticos del fitoplancton, para analizar variaciones seculares en la productividad marina y poder extender los cambios contemporáneos a proyecciones futuras asociadas al cambio climático.
Resumo:
[ES] La energía eólica es una de las fuentes de energía renovable más importante hoy día con un continuo crecimiento a nivel mundial. España también ha apostado por las renovables y más concretamente por la energía eólica, materializándose con importantes instalaciones en gran parte de las comunidades autónomas entre ellas, Canarias. Con la realización de este trabajo se pretende estudiar el potencial eólico disponible en la zona donde se pretenda instalar o mantener un parque eólico, empleando para ello la ayuda de un supercomputador, el cual se encargará, por medio de un software de predicción meteorológica, que ayudarán en la decisión de dónde ubicar un parque eólico y, posteriormente, en la fase de explotación, predecir la potencia que un parque eólico inyectará en la red eléctrica con la antelación suficiente para que permita planificar las centrales de reserva de generación de energía tradicional u otras acciones que se consideren de interés. Durante el desarrollo del trabajo emplearemos el software “WRF” de predicción meteorológica. Esto generará un alto coste computacional y es por lo que proponemos realizar los cálculos empleando la ayuda de un supercomputador. Para concluir el trabajo mostraremos las características del supercomputador Atlante, situado en Las Palmas de Gran Canaria, y analizaremos el coste que le supondría a una empresa, la compra o el alquiler de un supercomputador.
Resumo:
[ES] Los graves problemas territoriales existentes en Canarias han motivado un continuo desarrollo normativo autonómico desde los ochenta que culminó con la aprobación en 2000 de un Texto Refundido de las leyes de ordenación del territorio en el que se intentó estructurar jerárquicamente la ordenación territorial, el planeamiento urbanístico y la protección de los espacios naturales. Además de dotarse con instrumentos propios de ordenación, la presente década se ha caracterizado por la definición normativa de un modelo de desarrollo sostenible a través de la formulación de unas Directrices de ordenación. En este artículo abordamos el análisis de las características de la ordenación territorial en Canarias y del modelo de desarrollo promulgado, con el fin de manifestar su escasa capacidad de intervención al mismo tiempo que aportamos una reflexión sobre las nuevas orientaciones anti-cíclicas aprobadas recientemente y que pueden suponer el desmoronamiento de parte del modelo de desarrollo construido en la presente década.
Resumo:
Programa de doctorado: Cibernética y Telecomunicaciones.
Resumo:
La ricerca presentata è un’ampia esplorazione delle possibili applicazioni di concetti, metodi e procedure della Fuzzy Logic all’Ingegneria dei Materiali. Tale nuovo approccio è giustificato dalla inadeguatezza dei risultati conseguiti con i soli metodi tradizionali riguardo alla reologia ed alla durabilità, all’utilizzo di dati di laboratorio nella progettazione e alla necessità di usare un linguaggio (informatizzabile) che consenta una valutazione congiunta degli aspetti tecnici, culturali, economici, paesaggistici della progettazione. – In particolare, la Fuzzy Logic permette di affrontare in modo razionale l’aleatorietà delle variabili e dei dati che, nel settore specifico dei materiali in opera nel costruito dei Beni Culturali, non possono essere trattati con i metodi statistici ordinari. – La scelta di concentrare l’attenzione su materiali e strutture in opera in siti archeologici discende non solo dall’interesse culturale ed economico connesso ai sempre più numerosi interventi in questo nuovo settore di pertinenza dell’Ingegneria dei Materiali, ma anche dal fatto che, in tali contesti, i termini della rappresentatività dei campionamenti, della complessità delle interazioni tra le variabili (fisiche e non), del tempo e quindi della durabilità sono evidenti ed esasperati. – Nell’ambito di questa ricerca si è anche condotto un ampio lavoro sperimentale di laboratorio per l’acquisizione dei dati utilizzati nelle procedure di modellazione fuzzy (fuzzy modeling). In tali situazioni si è operato secondo protocolli sperimentali standard: acquisizione della composizione mineralogica tramite diffrazione di raggi X (XRD), definizione della tessitura microstrutturale con osservazioni microscopiche (OM, SEM) e porosimetria tramite intrusione forzata di mercurio (MIP), determinazioni fisiche quali la velocità di propagazione degli ultrasuoni e rotoviscosimetria, misure tecnologiche di resistenza meccanica a compressione uniassiale, lavorabilità, ecc. – Nell’elaborazione dei dati e nella modellazione in termini fuzzy, la ricerca è articolata su tre livelli: a. quello dei singoli fenomeni chimico-fisici, di natura complessa, che non hanno trovato, a tutt’oggi, una trattazione soddisfacente e di generale consenso; le applicazioni riguardano la reologia delle dispersioni ad alto tenore di solido in acqua (calci, cementi, malte, calcestruzzi SCC), la correlazione della resistenza a compressione, la gelività dei materiali porosi ed alcuni aspetti della durabilità del calcestruzzo armato; b. quello della modellazione della durabilità dei materiali alla scala del sito archeologico; le applicazioni presentate riguardano i centri di cultura nuragica di Su Monte-Sorradile, GennaMaria-Villanovaforru e Is Paras-Isili; c. quello della scelta strategica costituita dalla selezione del miglior progetto di conservazione considerando gli aspetti connessi all’Ingegneria dei Materiali congiuntamente a quelli culturali, paesaggistici ed economici; le applicazioni hanno riguardato due importanti monumenti (Anfiteatro e Terme a Mare) del sito Romano di Nora-Pula.
Resumo:
Costante è il dibattito relativo ai possibili sprechi nell’amministrazione della giustizia penale ed alle inefficienze dei tribunali, delle procure e, più in generale, dell’organizzazione giudiziaria e del processo. Può essere utile il tentativo di fornire a tale dibattito strumenti analitici innovativi, quali ad esempio l’analisi economica costi/benefici, con cui affrontare congiuntamente questioni di diritto ed osservazioni legate alla produzione degli uffici ed alla loro efficienza. È possibile, cioè, tentare di costruire e rendere disponibili dei semplici modelli economici – già diffusi nella letteratura anglosassone di law and economics – che, considerando le strutture preposte alla giurisdizione in termini di produzione e produttività e l’attore processuale come un’unità produttiva che opera con l’obiettivo di massimizzare i benefici ottenibili con le proprie risorse, facilitino lo studio del settore. Il tentativo di introdurre elementi di semplificazione e formalizzazione del comportamento dei soggetti della giurisdizione ha, infatti, grandissime potenzialità sia di carattere positivo sia di carattere normativo: permette, cioè, di interrogarsi sull’efficienza della funzione svolta dai tribunali e, nel caso di esito negativo, di capire come intervenire sulla struttura produttiva per ottenere una crescita di produttività. Tutto ciò in un contesto ove il court management sta emergendo come un nuovo campo fertile nello studio dei settori pubblici, in coerenza col crescente interesse nel definire quanto le corti (in generale) e le procure (più in particolare) siano performanti.
Il nucleotide extracellulare UTP: induzione della migrazione di cellule staminali emopoietiche CD34+
Resumo:
La letteratura scientifica degli ultimi anni si è arricchita di un numero sempre crescente di studi volti a chiarire i meccanismi che presiedono ai processi di homing di cellule staminali emopoietiche e del loro attecchimento a lungo termine nel midollo osseo. Tali fenomeni sembrano coinvolgere da un lato, l’interazione delle cellule staminali emopoietiche con la complessa architettura e componente cellulare midollare, e dall’altro la riposta ad un’ampia gamma di molecole regolatrici, tra le quali chemochine, citochine, molecole di adesione, enzimi proteolitici e mediatori non peptidici. Fanno parte di quest’ultimo gruppo anche i nucleotidi extracellulari, un gruppo di molecole-segnale recentemente caratterizzate come mediatori di numerose risposte biologiche, tra le quali l’allestimento di fenomeni flogistici e chemiotattici. Nel presente studio è stata investigata la capacità dei nucleotidi extracellulari ATP ed UTP di promuovere, in associazione alla chemochina CXCL12, la migrazione di cellule staminali umane CD34+. E’ così emerso che la stimolazione con UTP è in grado di incrementare significativamente la migrazione dei progenitori emopoietici in risposta al gradiente chemioattrattivo di CXCL12, nonché la loro capacità adesiva. Le analisi citofluorimetriche condotte su cellule migranti sembrano inoltre suggerire che l’UTP agisca interferendo con le dinamiche di internalizzazione del recettore CXCR4, rendendo così le cellule CD34+ maggiormente responsive, e per tempi più lunghi, al gradiente attrattivo del CXCL12. Saggi di homing competitivo in vivo hanno parallelamente mostrato, in topi NOD/SCID, che la stimolazione con UTP aumenta significativamente la capacità dei progenitori emopoeitci umani di localizzarsi a livello midollare. Sono state inoltre indagate alcune possibili vie di trasduzione del segnale attivate dalla stimolazione di recettori P2Y con UTP. Esperimenti di inibizione in presenza della tossina della Pertosse hanno evidenziato il coinvolgimento di proteine Gαi nella migrazione dipendente da CXCL12 ed UTP. Ulteriori indicazioni sono provenute dall’analisi del profilo trascrizionale di cellule staminali CD34+ stimolate con UTP, con CXCL12 o con entrambi i fattori contemporaneamente. Da questa analisi è emerso il ruolo di proteine della famiglia delle Rho GTPasi e di loro effettori a valle (ROCK 1 e ROCK 2) nel promuovere la migrazione UTP-dipendente. Questi dati sono stati confermati successivamente in vitro mediante esperimenti con Tossina B di C. Difficile (un inibitore delle Rho GTPasi) e con Y27632 (in grado di inibire specificatamente le cinasi ROCK). Nel complesso, i dati emersi in questo studio dimostrano la capacità del nucleotide extracellulare UTP di modulare la migrazione in vitro di progenitori emopoietici umani, nonché il loro homing midollare in vivo. L’effetto dell’UTP su questi fenomeni si esplica in concerto con la chemochina CXCL12, attraverso l’attivazione concertata di vie di trasduzione del segnale almeno parzialmente condivise da CXCR4 e recettori P2Y e attraverso il reclutamento comune di proteine ad attività GTPasica, tra le quali le proteine Gαi e i membri della famiglia delle Rho GTPasi.
Resumo:
[ES] Aplicación para dispositivos móviles Android que, ayudada por acelerómetros y giroscopios, da soporte al desarrollo de actividades físicas que necesiten un plan de trabajo basado en repeticiones y rutinas de ejercicios. El App ayuda a contabilizar las repeticiones de cada ejercicio, informando al usuario mediante sonido, para que este pueda mantener un ritmo continuo. El App permite la realización de ejercicios individuales hasta alcanzar un número objetivo de repeticiones o repeticiones libres; o permite la realización de una serie de ejercicios que forman parte de una rutina de ejercicios. Es posible crear rutinas de ejercicios personalizadas, eliminar rutinas o editar rutinas ya existentes (añadiendo o eliminando ejercicios y repeticiones). El reconocimiento de movimientos para la contabilización de repeticiones se realiza usando el valor absoluto del vector de aceleración generado a partir de los datos del acelerómetro del dispositivo. Este método, aunque no permite la precisión de reconocimiento de movimientos que permitiría el modelado tridimensional de la aceleración lineal del dispositivo, permite un reconocimiento menos computacionalmente costoso, ignorando ciertos factores exteriores y sin la necesidad de entrenamiento previo de la aplicación.
Resumo:
Il tema dello sviluppo sostenibile, e i numerosi ambiti di ricerca e di applicazione a esso connessi, è oramai coralmente accettato dalla comunità scientifica, intellettuale e politica internazionale. Tuttavia, una certa tendenza a una sua iper-utilizzazione può comportare svuotamento di significati e perdita di valore. Obiettivo della presente ricerca, dunque, è quello di ripensare il concetto della sostenibilità tenuto conto delle trasformazioni strutturali che hanno interessato le regioni alpine tra il XIX e il XX secolo e sulla base di esperienze realizzate, in atto o in potenza che ben ne evidenzino le possibili applicazioni a livello regionale e locale. A tal fine, nel corso della trattazione si propone un’analisi delle buone pratiche incontrate lungo il cammino compiuto sui sentieri della sostenibilità.
Resumo:
L’obiettivo della tesi riguarda l’utilizzo di immagini aerofotogrammetriche e telerilevate per la caratterizzazione qualitativa e quantitativa di ecosistemi forestali e della loro evoluzione. Le tematiche affrontate hanno riguardato, da una parte, l’aspetto fotogrammetrico, mediante recupero, digitalizzazione ed elaborazione di immagini aeree storiche di varie epoche, e, dall’altra, l’aspetto legato all’uso del telerilevamento per la classificazione delle coperture al suolo. Nel capitolo 1 viene fatta una breve introduzione sullo sviluppo delle nuove tecnologie di rilievo con un approfondimento delle applicazioni forestali; nel secondo capitolo è affrontata la tematica legata all’acquisizione dei dati telerilevati e fotogrammetrici con una breve descrizione delle caratteristiche e grandezze principali; il terzo capitolo tratta i processi di elaborazione e classificazione delle immagini per l’estrazione delle informazioni significative. Nei tre capitoli seguenti vengono mostrati tre casi di applicazioni di fotogrammetria e telerilevamento nello studio di ecosistemi forestali. Il primo caso (capitolo 4) riguarda l’area del gruppo montuoso del Prado- Cusna, sui cui è stata compiuta un’analisi multitemporale dell’evoluzione del limite altitudinale degli alberi nell’arco degli ultimi cinquant’anni. E’ stata affrontata ed analizzata la procedura per il recupero delle prese aeree storiche, definibile mediante una serie di successive operazioni, a partire dalla digitalizzazione dei fotogrammi, continuando con la determinazione di punti di controllo noti a terra per l’orientamento delle immagini, per finire con l’ortorettifica e mosaicatura delle stesse, con l’ausilio di un Modello Digitale del Terreno (DTM). Tutto ciò ha permesso il confronto di tali dati con immagini digitali più recenti al fine di individuare eventuali cambiamenti avvenuti nell’arco di tempo intercorso. Nel secondo caso (capitolo 5) si è definita per lo studio della zona del gruppo del monte Giovo una procedura di classificazione per l’estrazione delle coperture vegetative e per l’aggiornamento della cartografia esistente – in questo caso la carta della vegetazione. In particolare si è cercato di classificare la vegetazione soprasilvatica, dominata da brughiere a mirtilli e praterie con prevalenza di quelle secondarie a nardo e brachipodio. In alcune aree sono inoltre presenti comunità che colonizzano accumuli detritici stabilizzati e le rupi arenacee. A questo scopo, oltre alle immagini aeree (Volo IT2000) sono state usate anche immagini satellitari ASTER e altri dati ancillari (DTM e derivati), ed è stato applicato un sistema di classificazione delle coperture di tipo objectbased. Si è cercato di definire i migliori parametri per la segmentazione e il numero migliore di sample per la classificazione. Da una parte, è stata fatta una classificazione supervisionata della vegetazione a partire da pochi sample di riferimento, dall’altra si è voluto testare tale metodo per la definizione di una procedura di aggiornamento automatico della cartografia esistente. Nel terzo caso (capitolo 6), sempre nella zona del gruppo del monte Giovo, è stato fatto un confronto fra la timberline estratta mediante segmentazione ad oggetti ed il risultato di rilievi GPS a terra appositamente effettuati. L’obiettivo è la definizione del limite altitudinale del bosco e l’individuazione di gruppi di alberi isolati al di sopra di esso mediante procedure di segmentazione e classificazione object-based di ortofoto aeree in formato digitale e la verifica sul campo in alcune zone campione dei risultati, mediante creazione di profili GPS del limite del bosco e determinazione delle coordinate dei gruppi di alberi isolati. I risultati finali del lavoro hanno messo in luce come le moderne tecniche di analisi di immagini sono ormai mature per consentire il raggiungimento degli obiettivi prefissi nelle tre applicazioni considerate, pur essendo in ogni caso necessaria una attenta validazione dei dati ed un intervento dell’operatore in diversi momenti del processo. In particolare, le operazioni di segmentazione delle immagini per l’estrazione di feature significative hanno dimostrato grandi potenzialità in tutti e tre i casi. Un software ad “oggetti” semplifica l’implementazione dei risultati della classificazione in un ambiente GIS, offrendo la possibilità, ad esempio, di esportare in formato vettoriale gli oggetti classificati. Inoltre dà la possibilità di utilizzare contemporaneamente, in un unico ambiente, più sorgenti di informazione quali foto aeree, immagini satellitari, DTM e derivati. Le procedure automatiche per l’estrazione della timberline e dei gruppi di alberi isolati e per la classificazione delle coperture sono oggetto di un continuo sviluppo al fine di migliorarne le prestazioni; allo stato attuale esse non devono essere considerate una soluzione ottimale autonoma ma uno strumento per impostare e semplificare l’intervento da parte dello specialista in fotointerpretazione.