Logiche modali e logiche independence friendly

Analisi di logiche modali con quantificatori parzialmente ordinati.

La funzione di Möbius di un insieme parzialmente ordinato

Nel 1837 il matematico A.F. Möbius definì la funzione aritmetica mu(n) che vale 0 se n è divisibile per il quadrato di un numero primo, (-1)^k se n è il prodotto di k primi distinti e \mu(1)=1. Essa ricopre un ruolo di fondamentale importanza per quanto riguarda la distribuzione dei numeri primi, nonché per la sua duttilità nella risoluzione di diversi problemi di conteggio grazie alla formula di inversione di Möbius, che può essere pensata come un analogo formale del teorema fondamentale del calcolo integrale. Una sorprendente varietà di problemi di calcolo combinatorio si rivelano essere nient'altro che casi particolari di un problema più generale che riguarda la possibilità di invertire una somma fatta sugli elementi di un insieme parzialmente ordinato. L'obiettivo di questo elaborato è quello di illustrare come sia possibile generalizzare il concetto di funzione aritmetica estendendolo a quello di funzione di un'algebra di incidenza. Le algebre di incidenza hanno catturato l'interesse di svariati matematici a partire dagli anni '60 del secolo scorso, e si svilupparono come ambiente naturale nel quale generalizzare la formula di inversione di Mobius. La funzione di Möbius della teoria dei numeri, definita originariamente sull'insieme dei numeri interi positivi ordinato per divisibilità, può quindi essere definita su generici insiemi parzialmente ordinati.

Logiche e modelli operativi del Lean Manufacturing: il caso di un'impresa del settore meccanico

Il cambiamento organizzativo costituisce oggi un elemento fondamentale per la sopravvivenza dell'impresa. Un approccio al cambiamento è costituito dal Total Quality Management (o Qualità Totale). La Qualità Totale pone il cliente e la sua soddisfazione al centro delle decisioni aziendali. Ciò presuppone un coinvolgimento di tutto il personale dell'impresa nell'attività di miglioramento continuo. Un sistema di gestione della Qualità Totale è rappresentato dalla Lean Manufacturing. Infatti, i punti essenziali della Lean Manufacturing sono il focus sul cliente, l'eliminazione degli sprechi ed il miglioramento continuo. L'obiettivo è la creazione di valore per il cliente e, quindi, l'eliminazione di ogni forma di spreco. E' necessario adottare un'organizzazione a flusso e controllare continuamente il valore del flusso nell'ottica del miglioramento continuo. Il Lead Time costituisce l'indicatore principale della Lean Manufacturing.I risultati principali della Lean Manufacturing sono: aumento della produttività, miglioramento della qualità del prodotto, riduzione dei lead time e minimizzazione delle scorte ed aumento della rotazione. Tutto ciò è applicato ad un caso aziendale reale. Il caso si compone di un'analisi dei processi di supporto, dell'analisi del capitale circolante (analisi dello stock e del flusso attuale e futuro) e dell'analisi del sistema di trasporto, con l'obiettivo di ridurre il più possibile il lead time totale del sistema.

Partnership fra terzo Settore e Istituzioni Locali nelle Politiche Family Friendly: Il "Distretto famiglia"

L’idea fondamentale da cui prende avvio la presente tesi di dottorato è che sia possibile parlare di una svolta nel modo di concettualizzare e implementare le politiche sociali, il cui fuoco diviene sempre più la costruzione di reti di partnership fra attori pubblici e privati, in cui una serie di soggetti sociali plurimi (stakeholders) attivano fra loro una riflessività relazionale. L’ipotesi generale della ricerca è che, dopo le politiche improntate a modelli statalisti e mercatisti, o un loro mix, nella politica sociale italiana emerga l’esigenza di una svolta riflessiva e relazionale, verso un modello societario, sussidiario e plurale, e che di fatto – specie a livello locale – stiano sorgendo molte iniziative in tal senso. Una delle idee più promettenti sembra essere la creazione di distretti sociali per far collaborare tra loro attori pubblici, privati e di Terzo settore al fine di creare forme innovative di servizi per la famiglia e la persona. La presente tesi si focalizza sul tentativo della Provincia di Trento di distrettualizzare le politiche per la famiglia. Tramite l’analisi del progetto “Trentino – Territorio Amico della Famiglia” e di una sua verticalizzazione, il Distretto Famiglia, si è studiato l’apporto delle partnership pubblico-privato nella formazione di strumenti innovativi di governance che possano determinare una svolta morfogenetica nell’elaborazione di politiche per la famiglia. Le conclusioni del lavoro, attraverso una comparazione tra esperienze territoriali, presentano la differenziazione delle partnership sociali, in base ad alcuni variabili (pluralità di attori, pluralità di risorse, shared project, capitale sociale, decision making, mutual action, logiche di lavoro relazionale, sussidiarietà). Le diverse modalità di gestione delle partnership (capacitante, professionale e generativa) sintetizzano i portati culturali, strutturali e personali coinvolti nelle singole costruzioni. Solo le partnership che interpretano il loro potenziale regolativo e promozionale secondo la riflessività relazionale tendono a generare beni comuni nel contesto sociale.

Super shell logic - [sush-ic] - progetto di un edificio per il tempo libero a Tokyo. Implicazioni tettoniche ed estetiche delle logiche monoscocca integrate e stress lines analysis in architettura.

Implicazioni tettoniche ed estetiche delle logiche monoscocca integrate e stress lines analysis in architettura.

Logiche proposizionali polivalenti

In questa tesi si intende presentare le logiche proposizionali polivalenti con alcuni esempi: esse sono estensioni dalla logica classica a insiemi (in generale ancora finiti come in questa tesi) di valori di verità maggiori di due. La sintassi è la stessa ma non la semantica, rappresentata però sempre da tavole di verità o interpretazioni. Nel primo capitolo sono presentate le definizioni e gli elementi della logica classica che serviranno per studiare questo nuovo tipo di logiche. Nel secondo capitolo è esposto l'esempio di una logica a quattro valori. Si dimostra la completezza di questo calcolo, in una forma diversa rispetto alla logica classica usando tecniche simili. Non valgono infatti il principio del terzo escluso e la Legge di Lewis. Si analizza la validità delle regole del calcolo della deduzione naturale e la riscrittura delle leggi di De Morgan. Nell'ultimo capitolo si affrontano le logiche a n valori con n>2 e varianti a tre valori (vero, falso e indefinito) con i principali esempi di Lukasiewicz-Tarski, Kleene, Priest e Bochvar. Nelle conclusioni si ricordano alcune applicazioni di questo tipo di logiche facendo riferimento alla meccanica quantistica, all'informatica e all'elettronica.

Logiche di lean production nella cantieristica navale: considerazioni generali e applicazioni nella progettazione della linea di assemblaggio per il modello Ferretti 450.

L'elaborato di tesi è stato redatto durante un progetto semestrale in Ferretti Group riguardante il campo di applicazione delle logiche della lean production all'interno del settore della cantieristica navale. Il primo capitolo contiene una descrizione dell'evoluzione del Gruppo Ferretti, dalla nascita fino ai giorni nostri. Nel secondo capitolo vi è una ampia descrizione della filosofia lean e delle tecniche e egli strumenti usati nei contesti aziendali; il terzo capitolo nasce invece per sintetizzare una serie di articoli accademici inerenti al tema del "lean shipbuilding". Infine il quarto capitolo descrive alcune attività eseguite in azienda, a supporto della nascita di una nuova linea di assemblaggio per il modello Ferretti 450.

Negoziazioni intergenerazionali dell'autonomia abitativa in contesti di working class

Nell’ambito della riflessione sui processi di riproduzione e trasmissione intergenerazionale delle disuguaglianze sociali, la presente tesi dottorale propone un’analisi in prospettiva intersezionale dei percorsi verso l’indipendenza abitativa dei giovani bolognesi di origine popolare, e il ruolo svolto dalle loro famiglie in questi percorsi. Nell’approfondimento teorico si offre una ricostruzione del dibattito sociologico nazionale e internazionale sul tema delle disuguaglianze sociali e abitative delle giovani generazioni, nonché dello studio della classe sociale e i principali approcci presenti in letteratura. La ricerca sul campo si concentra, in particolare, sui modi in cui le famiglie appartenenti ad una determinata classe sociale, intesa nel senso conferito al termine da Bourdieu, negoziano e sostengono la transizione all’indipendenza abitativa dei loro figli. L’approfondimento empirico consiste in una ricerca qualitativa longitudinale retrospettiva, condotta nel bolognese nel 2013-2014 su un campione di famiglie working class. Ai giovani-adulti coinvolti e ai loro genitori è stato chiesto di ricostruire le loro biografie attraverso lo strumento delle life histories. La ricerca evidenzia il delinearsi di “micro sistemi economici” familiari specifici e creativi. Le molteplici forme di sostegno genitoriale nei percorsi di autonomizzazione dei figli, individuate nel corso dell’analisi del materiale raccolto, si innestano quindi all’interno di un più ampio sistema di supporto intergenerazionale, che continua anche dopo l’uscita dalla famiglia di origine, a conferma dello stretto legame che caratterizza le famiglie italiane. Nello studio una particolare attenzione viene rivolta alle logiche di legittimazione del sostegno genitoriale, adottate dalle famiglie per orientare i propri interventi di aiuto. Infine, mettendo a confronto la concezione di indipendenza dei giovani adulti con quella dei loro genitori, l’indagine rileva l’esistenza di una apparente contraddizione tra le rappresentazioni dell’indipendenza e dell’autonomia abitativa e i comportamenti attuati nella vita quotidiana, contraddizione che trova una risoluzione nella negoziazione, tra le due diverse generazioni, del concetto stesso di indipendenza.

Relationship Between Lower-limb Muscle Strength And Functional Independence Among Elderly People According To Frailty Criteria: A Cross-sectional Study.

Muscle strength and functional independence are considered to be determinants of frailty levels among elderly people. The aim here was to compare lower-limb muscle strength (LLMS) with functional independence in relation to sex, age and number of frailty criteria, and to ascertain the influence of these variables on elderly outpatients' independence. Quantitative cross-sectional study, in a tertiary hospital. The study was conducted on 150 elderly outpatients of both sexes who were in a cognitive condition allowing oral communication, between October 2005 and October 2007. The following instruments were used: five-times sit-to-stand test (FTSST), Functional Independence Measurement (FIM) and Lawton's Instrumental Activities of Daily Living Scale (IADL). Descriptive, comparative, multivariate, univariate and Cronbach alpha analyses were performed. The mean time taken in the FTSST was 21.7 seconds; the mean score for FIM was 82.2 and for IADL was 21.2; 44.7% of the subjects presented 1-2 frailty criteria and 55.3% > 3 criteria. There was a significant association between LLMS and functional independence in relation to the number of frailty criteria, without homogeneity regarding sex and age. Functional independence showed significant influence from sex and LLMS. Elderly individuals with 1 or 2 frailty criteria presented greater independence in all FTSST scores. The subjects with higher LLMS presented better functional independence.

Sim-xl: A Powerful And User-friendly Tool For Peptide Cross-linking Analysis.

Chemical cross-linking has emerged as a powerful approach for the structural characterization of proteins and protein complexes. However, the correct identification of covalently linked (cross-linked or XL) peptides analyzed by tandem mass spectrometry is still an open challenge. Here we present SIM-XL, a software tool that can analyze data generated through commonly used cross-linkers (e.g., BS3/DSS). Our software introduces a new paradigm for search-space reduction, which ultimately accounts for its increase in speed and sensitivity. Moreover, our search engine is the first to capitalize on reporter ions for selecting tandem mass spectra derived from cross-linked peptides. It also makes available a 2D interaction map and a spectrum-annotation tool unmatched by any of its kind. We show SIM-XL to be more sensitive and faster than a competing tool when analyzing a data set obtained from the human HSP90. The software is freely available for academic use at http://patternlabforproteomics.org/sim-xl. A video demonstrating the tool is available at http://patternlabforproteomics.org/sim-xl/video. SIM-XL is the first tool to support XL data in the mzIdentML format; all data are thus available from the ProteomeXchange consortium (identifier PXD001677).