384 resultados para Logica algebrica


Relevância:

10.00% 10.00%

Publicador:

Resumo:

La tesi "Analisi del ciclo di lavorazione e dei costi di trattamenti termici" è stata svolta in collaborazione con l'azienda PASELLO TRATTAMENTI TERMICI s.r.l. che si occupa di trattamenti termici dei metalli per conto terzi. L’obiettivo è svolgere l’analisi del ciclo di lavorazione e dei costi di due prodotti ricevuti in conto lavoro dall’azienda, confrontando i trattamenti termici di cementazione in atmosfera e a bassa pressione. Nel capitolo 1 sono descritti i tratti generali dell’azienda, le risorse produttive di cui dispone e come vengono gestite l’identificazione e la tracciabilità dei prodotti durante il processo produttivo. Nel capitolo 2 viene analizzato il ciclo di lavorazione in atmosfera di un prodotto del cliente Sarbo Spa, sottoposto al trattamento termico di cementazione in atmosfera. Dunque vengono descritti il trattamento termico e le caratteristiche principali dei pezzi. Allo stesso modo, nel capitolo 3, viene analizzato il ciclo di lavorazione in bassa pressione di un prodotto del cliente Seven Diesel Spa, sottoposto al trattamento termico di cementazione a bassa pressione. Nel capitolo 4 viene svolta l’analisi dei costi, secondo la logica “full costing”, tenendo distinti i due ordini e determinando il costo industriale. Vengono analizzati gli investimenti nelle due linee, i costi di ammortamento, i costi dei materiali di consumo, i costi di manodopera e i costi dei gas di processo, fino a determinare il costo totale di fornata per la cementazione in atmosfera e per la cementazione a bassa pressione, e quindi l’euro al chilo e al pezzo dei due ordini. Inoltre è quantificata l’incidenza dei costi in percentuale sul costo totale di fornata. Nella conclusione viene sottolineato il fatto che, nonostante l’investimento in una linea innovativa come quella a bassa pressione sia superiore rispetto a quello per la linea in atmosfera, se si considera l’intero processo produttivo, risulta più conveniente la cementazione in bassa pressione.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Tale elaborato si pone l’obiettivo di analizzare una tematica oggigiorno molto discussa, ma tuttora per molti versi inesplorata: la sostenibilità. Esso è stato scritto con la volontà di rendere disponibile uno scritto di consultazione che fornisca una panoramica il più possibile completa sugli studi e le metodologie applicative elaborati fino ad ora connessi al tema della sostenibilità. La logica con cui lo scritto è articolato, prevede in primis un inquadramento generale sul tema della sostenibilità, fortemente connesso con il concetto di Life Cycle Thinking, e prosegue concentrando l’attenzione su aspetti via via più specifici. Il focus dell’analisi si concentra infatti sullo studio delle singole tecniche del ciclo di vita e successivamente sulle potenzialità di applicazione delle stesse ad uno specifico settore: quello edilizio. All’interno di questo settore è poi fornito un dettaglio in merito ai materiali ceramici per i quali si è intrapreso un serio percorso verso l’applicazione concreta dei principi dello sviluppo sostenibile. Per consolidare i temi trattati, l’elaborato si concentra infine sull’analisi di due studi applicativi: uno studio di Life Cycle Assessment e uno di Life Cycle Costing realizzati al fine di studiare i profili ambientale ed economico delle piastrelle ceramiche in contrapposizione a quelle in marmo.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

La determinación en tiempo real de los estados críticos de operación de la pila de combustible de membrana intercambio protónico (siglas en ingles, PEM) es uno de los principales retos para los sistemas de control de pilas de combustible PEM. En este trabajo, se presenta el desarrollo e implementación de un método no invasivo de bajo coste basado en técnicas de decisión borrosa que permite estimar los estados críticos de operación de la pila de combustible PEM. La estimación se realiza mediante perturbaciones al estado de operación de la pila y el análisis posterior de la evolución temporal del voltaje generado por la pila. La implementación de esta técnica de estimulación-percepción de estado de la pila de combustible para la detección de estados críticos constituye una novedad y un paso hacia el control autónomo en óptimas condiciones de la operación de las pilas de combustible PEM.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

La Geometría Algebraica Clásica puede ser definida como el estudio de las variedades cuasiafines y cuasiproyectivas sobre un campo k, y en particular, del problema de su clasificación salvo isomorfismos -- Estas variedades son, por definición, subconjuntos de los n-espacios afínes y de los n-espacios proyectivos -- Es útil tener a disposición una definición intrínseca de estos objetos, es decir, independiente de un espacio ambiente -- En este artículo se muestra como la noción de Espacio Anillado es la clave para formular estas definiciones y reformular el problema de clasificación

Relevância:

10.00% 10.00%

Publicador:

Resumo:

76 p.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Si espone la teoria quantistica non relativistica dei sistemi di particelle identiche, costruendo un opportuno spazio delle configurazioni la cui struttura è coerente con la loro indistinguibilità. Si impiegano nozioni di topologia algebrica per la formulazione di una meccanica quantistica su tale spazio, mostrando che in due dimensioni spaziali esiste una continuità di statistiche quantistiche. Le particelle con queste statistiche intermedie tra bosoni e fermioni sono chiamate anioni. Si illustra l'importanza che hanno assunto nella spiegazione dell'effetto Hall quantistico e nell'attuale ricerca sulla possibilità di creare un computer quantistico topologico.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

O processo de formação de regiões metropolitanas nas grandes aglomerações a partir dos anos 1970 apresentou desafios na escolha e na implantaçao de sistemas de gestão. A partir dos anos 1990, tornou-se evidente a retomada dessa discussão e novos formatos de gestão metropolitana emergiram ocasionando revisoes principalmente da legislação pertinente e dos instrumentos utilisados. Nesse processo de revisão das estruturas existentes, os planos de urbanismo ressurgem, assumindo novos papéis. Os antigos modelos, métodos e conteudos, sofreram alterações e se apresentam atualmente mais abertos e flexiveis, seguindo uma nova logica na atuação das politicas publicas. Neste novo processo, o plano não é mais o emblema da tecnocracia, com propostas fechadas e zoneamentos definidos. O plano não se mostra como um produto acabado, e sim como um instrumento de dialogo e de negociação. Entendendo o plano como um processo de concertação, a partir dessa nova analise, nao se pode negar sua natureza politica e os divergentes interesses ali apresentados. O presente artigo busca, portanto, discutir o papel dos planos de urbanismo no atual momento de implementação e de gestão das regiões metropolitanas. Serão discutidos dois casos, o da Região Metropolitana de Belo Horizonte, no Brasil e o GrandLyon, na França.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

In this Thesis a series of numerical models for the evaluation of the seasonal performance of reversible air-to-water heat pump systems coupled to residential and non-residential buildings are presented. The exploitation of the energy saving potential linked to the adoption of heat pumps is a hard task for designers due to the influence on their energy performance of several factors, like the external climate variability, the heat pump modulation capacity, the system control strategy and the hydronic loop configuration. The aim of this work is to study in detail all these aspects. In the first part of this Thesis a series of models which use a temperature class approach for the prediction of the seasonal performance of reversible air source heat pumps are shown. An innovative methodology for the calculation of the seasonal performance of an air-to-water heat pump has been proposed as an extension of the procedure reported by the European standard EN 14825. This methodology can be applied not only to air-to-water single-stage heat pumps (On-off HPs) but also to multi-stage (MSHPs) and inverter-driven units (IDHPs). In the second part, dynamic simulation has been used with the aim to optimize the control systems of the heat pump and of the HVAC plant. A series of dynamic models, developed by means of TRNSYS, are presented to study the behavior of On-off HPs, MSHPs and IDHPs. The main goal of these dynamic simulations is to show the influence of the heat pump control strategies and of the lay-out of the hydronic loop used to couple the heat pump to the emitters on the seasonal performance of the system. A particular focus is given to the modeling of the energy losses linked to on-off cycling.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

I big data sono caratterizzati dalle ben note 4v: volume, velocità, veracità e varietà. Quest'ultima risulta di importanza critica nei sistemi schema-less, dove il concetto di schema non è rigido. In questo contesto rientrano i database NoSQL, i quali offrono modelli dati diversi dal classico modello dati relazionale, ovvero: documentale, wide-column, grafo e key-value. Si parla di multistore quando ci si riferisce all'uso di database con modelli dati diversi che vengono esposti con un'unica interfaccia di interrogazione, sia per sfruttare caratteristiche di un modello dati che per le maggiori performance dei database NoSQL in contesti distribuiti. Fare analisi sui dati all'interno di un multistore risulta molto più complesso: i dati devono essere integrati e va ripristinata la consistenza. A questo scopo nasce la necessità di approcci più soft, chiamati pay-as-you-go: l'integrazione è leggera e incrementale, aggira la complessità degli approcci di integrazione tradizionali e restituisce risposte best-effort o approssimative. Seguendo tale filosofia, nasce il concetto di dataspace come rappresentazione logica e di alto livello dei dataset disponibili. Obiettivo di questo lavoro tesi è studiare, progettare e realizzare una modalità di interrogazione delle sorgenti dati eterogenee in contesto multistore con l'intento di fare analisi situazionali, considerando le problematiche di varietà e appoggiandosi all'integrazione fornita dal dataspace. Lo scopo finale è di sviluppare un prototipo che esponga un'interfaccia per interrogare il dataspace con la semantica GPSJ, ovvero la classe di query più comune nelle applicazioni OLAP. Un'interrogazione nel dataspace dovrà essere tradotta in una serie di interrogazioni nelle sorgenti e, attraverso un livello middleware, i risultati parziali dovranno essere integrati tra loro in modo che il risultato dell'interrogazione sia corretto e allo stesso tempo completo.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Il progetto descritto in questo elaborato di tesi è stato svolto presso Il Centro Protesi INAIL (Vigorso di Budrio, BO). Il lavoro è stato realizzato a supporto di un progetto di ricerca, finanziato dal Dipartimento della Difesa USA, in collaborazione con la Northwestern University di Chicago e il Minneapolis Veteran Affairs Health Care Sytem. La ricerca ha lo scopo di determinare l’efficacia comparativa di metodi alternativi per realizzare il calco del moncone dell’amputato di arto inferiore e la successiva invasatura su misura. Il progetto di tesi nasce dall’assenza di un software commerciale in grado di analizzare come evolve la forma del moncone, dal calco all'invasatura finita, basandosi sulla digitalizzazione tridimensionale delle superfici. La libreria sviluppata è implementata in Python e utilizza algoritmi e strumenti di geometria computazionale al fine di supportare i processi di elaborazione dati. Il flusso di lavoro si sviluppa nelle seguenti fasi: • Acquisizione e pre-processing del dato; • Identificazione digitale dei punti di repere; • Allineamento dei modelli per orientarli in un sistema di riferimento globale secondo una logica comune; • Registrazione di due modelli per allinearli l’uno all’altro; • Generazione di outcome e parametri dimensionali, derivanti da mappe distanza, sezioni, cammini geodetici e regioni di interesse; • Estrazione di indicatori statistici riassuntivi delle differenze, correlate ad un insieme di scansioni tramite la PCA. Le funzionalità sono state validate tramite appositi test su dati clinici rilevati dallo studio o dati sintetici con caratteristiche note a priori. La libreria fornisce un insieme di interfacce che permette l’accesso anche a utenti non esperti ed è caratterizzata da modularità, semplicità di installazione ed estensibilità delle funzionalità. Tra gli sviluppi futuri si prevede l’identificazione di possibili ottimizzazioni individuate da un utilizzo degli strumenti esteso a più casi d’uso.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

La dimensione giuridica del tempo, cioè il ruolo del tempo nel diritto, ha contribuito a far emergere il lavoro quale concetto legale astratto dal prestatore, funzionale alla sua alienazione. Rompere l’unitarietà del tempo della persona, per consacrarne una parte al lavoro, ha dato ai rapporti di potere tra gli individui una forma giuridica in grado di legittimarli. Il primo capitolo si sofferma sulla costruzione legale del lavoro subordinato attraverso la definizione del suo tempo. Tra gli elementi essenziali del contratto tipizzato dall’art. 2094 c.c., il tempo nella causa, oltre a mostrare la non istantaneità dello scambio e la indeterminatezza del regolamento contrattuale, non assurge a criterio discretivo dalle collaborazioni o dal lavoro autonomo. Se dalla causa si passa ad indagare l’oggetto, l’interprete si imbatte nel pudore di svelare quale sia il vero elemento su cui incide il contratto, la persona del lavoratore, che induce a prediligere la finzione di allontanare l’attività dal corpo di chi la produce: l’orario è la tecnica giuridica che rende possibile la partecipazione del lavoro ad una logica di scambio. Il secondo e il terzo capitolo si concentrano sulla regolazione e interpretazione del tempo di lavoro in chiave diacronica. La legislazione lavoristica ha trovato i propri albori nella disciplina eteronoma dell’orario, come strumento per tutelare i prestatori dagli eccessi mercantilistici. L’attuale quadro normativo è molto attento alle ragioni creditorie ma la giurisprudenza della Corte di giustizia testimonia l’irrequietudine di una materia viva e in movimento. Non è un caso che il legislatore europeo, nei piccoli passi compiuti per rafforzare il diritto sociale comune agli Stati membri, abbia assegnato al tempo un ruolo centrale, come prevedibilità delle condizioni di lavoro (direttiva n. 1152 del 2019), come equilibrio tra attività professionale e vita familiare (direttiva n. 1158 del 2019) e un domani, forse, come diritto alla disconnessione.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

This English Literature thesis (European PhD EDGES – Women’s and Gender Studies – 34th cycle) is an investigation into the representation of the monstrous body according to the British writers Mary Shelley, Angela Carter and Jeanette Winterson. The main objective is to observe how the representation of the categories of monstrous, abject and grotesque in Western cultural imagination have been influenced across time and literary genres. In the novels of Shelley, Carter and Winterson, the monstrous subject is configured as an alternative to the anthropocentric ideal embodied by the normative subject, of which Victor Frankenstein is the paradigmatic exponent. Plus, there are places considered anti-topoi within which the monster acquires a situatedness and claims a voice, generating an opposed counter-narrative to the imaginary conveyed by the normative subject. Monstrosity outlined by Shelley in the novels Frankenstein and The Last Man constitutes the starting point of my research, aiming to observe how the discourse of the normative body vs. the anti-normative body intersects with the discourse of the spaces of the centre vs. the spaces of the margin. In Carter's novels The Passion of New Eve and Nights at the Circus, the monstrous female constitutes the embodiment of wills, desires and claims challenging the heteronormative system. The space of otherness in which Carter's monster-woman is confined becomes a possibility of reshaping identity for the Subject, deconstructing the logic of power that moulded her within society. Finally, Winterson creates two monstrous women in Sexing the Cherry and The Passion who move through urban spaces, going from the centre to the margins and testifying to the arbitrariness of the system and its weaknesses. Similarly, in Frankissstein, Winterson recovers Shelley's original novel and transforms it into a parodic and intertextual speculation on the fluidity of identity and the limits of transhumanism.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Questa tesi propone un indagine sulla memoria del retorno a partire da una prospettiva critica che assume il “sud globale di lingua portoghese” come spazio storico e concettuale di riferimento. Si riflette sull'idea di specificità attribuita alla colonizzazione promossa dal Portogallo in Africa tenendo conto delle contraddizioni associate al movimento migratorio innescato dal processo violento di decolonizzazione dell’Africa portoghese.
 Le memorie trauamatiche sul retorno espongono la violenza come componente costitutiva della realtà coloniale ma ripropongono anche dinamiche che permettono l’occultamento del razzismo. L'esplorazione della “soffitta”, assunta come metafora della memoria familiare custodita nello spazio domestico, accompagna quella dell’archivio pubblico. L’analisi dell’archivio ufficiale e della memoria familiare riflette il tentativo di stabilire un dialogo tra storia e memoria superando la logica di antitesi che tradizionalmente le contrappone. Utilizzando il concetto criticamente problematico di “postmemoria” si riflette sulla riconfigurazione del rapporto con il passato in funzione di un’idea di “eredità come compito” assunto nel presente). La possibilità di “salvare” il passato dalla progressiva scomparsa dei testimoni comporta un pericolo di abuso ideologico connaturato al processo di trasmissione. La traduzione delle memorie coloniali sul retorno dallo spazio intimo allo spazio del dibattito pubblico mostra la relazione tra la costruzione della mitologia familiare e l’adozione del discorso lusotropicale. Il tentativo di definire la natura indecifrabile del retornado comporta la possibilità di sanzionare la violenza coloniale negando una responsabilità collettiva riferita al colonialismo. Si presenta il tentativo di configurare i termini di una questione post-coloniale portoghese dai contorni opachi. Questa tesi approda ad una conclusione aperta, articolata sul rischio sempre presente di appropriazione delle categorie critiche post-coloniali da parte dell’ideologia egemonica. Attraverso le (post)memorie (post)coloniali la denuncia del razzismo in quanto eredità permanente e la riconfigurazione dell’archivio coloniale costituiscono operazioni possibili, necessarie, ma non per questo scontate o prive di rischi.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

In questa tesi vengono studiati anelli commutativi unitari in cui ogni catena ascentente o ogni catena discendente di ideali diventa stazionaria dopo un numero finito di passi. Un anello commutativo unitario R in cui vale la condizione della catena ascendente, ossia ogni catena ascendente di ideali a_1 ⊆ a_2 ⊆ · · · ⊆ R diventa stazionaria dopo un numero finito di passi, o, equivalentemente, in cui ogni ideale è generato da un numero finito di elementi, si dice noetheriano. Questa classe di anelli deve il proprio nome alla matematica tedesca Emmy Noether che, nel 1921, studiando un famoso risultato di Lasker per ideali di anelli di polinomi, si accorse che esso valeva in tutti gli anelli in cui gli ideali sono finitamente generati. Questi anelli giocano un ruolo importante in geometria algebrica, in quanto le varietà algebriche sono luoghi di zeri di polinomi in più variabili a coefficienti in un campo K e le proprietà degli ideali dell’anello K[x_1, . . . , x_n] si riflettono nelle proprietà delle varietà algebriche di K^n. Inoltre, per questi anelli esistono procedure algoritmiche che sono possibili proprio grazie alla condizione della catena ascendente. Un anello commutativo unitario R in cui vale la condizione della catena discendente, ossia ogni ogni catena discendente di ideali . . . a_2 ⊆ a_1 ⊆ R diventa stazionaria dopo un numero finito di passi, si dice artiniano, dal nome del matematico austriaco Emil Artin che li introdusse e ne studiò le proprietà. Il Teorema di Akizuki afferma che un anello commutativo unitario R è artiniano se e solo se è noetheriano di dimensione zero, ossia ogni suo ideale primo è massimale.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Al contrario dei computer classici, i computer quantistici lavorano tramite le leggi della meccanica quantistica, e pertanto i qubit, ovvero l'unità base di informazione quantistica, possiedono proprietà estremamente interessanti di sovrapposizione ed entanglement. Queste proprietà squisitamente quantistiche sono alla base di innumerevoli algoritmi, i quali sono in molti casi più performanti delle loro controparti classiche. Obiettivo di questo lavoro di tesi è introdurre dal punto di vista teorico la logica computazionale quantistica e di riassumere brevemente una classe di tali algoritmi quantistici, ossia gli algoritmi di Quantum Phase Estimation, il cui scopo è stimare con precisione arbitraria gli autovalori di un dato operatore unitario. Questi algoritmi giocano un ruolo cruciale in vari ambiti della teoria dell'informazione quantistica e pertanto verranno presentati anche i risultati dell'implementazione degli algoritmi discussi sia su un simulatore che su un vero computer quantistico.