La logica del secondo ordine e la prova ontologica di Gödel

Nel mio lavoro ho deciso di dedicare il primo capitolo all'evoluzione della prova ontologica nella storia della filosofia e della logica e all'analisi, da un punto di vista logico, della prova di Gödel. Nella prima sezione, quindi, ho riportato l'argomentazione di Anselmo d'Aosta, il primo a proporre una prova ontologica, e a seguire quelle di Scoto, Spinoza, Leibniz e Russell, evidenziando dove opportuno le critiche ad esse apportate. Nella seconda sezione ho ripercorso le tappe della prova ontologica di Gödel e ho riportato e analizzato alcuni dei passaggi logici tratti da uno dei suoi taccuini. Nel secondo capitolo ne ho analizzato in particolare la logica del secondo ordine. Inoltre ho dedicato la prima sezione a un breve richiamo di logica modale S5. Ho infine brevemente trattato un caso particolare della logica del secondo ordine, vale a dire la logica del secondo ordine debole.

Progetto e sviluppo di un banco prova per articolazioni protesiche attive ad un grado di libertà basato su programmable automation controller e motion capture

L'elaborato descrive il lavoro svolto in cinque mesi presso il Centro Protesi INAIL di Budrio (BO), che ha portato allo sviluppo di un banco prova per testare articolazioni elettromeccaniche. I dispositivi target, in particolare, sono stati due gomiti mioelettrici: il primo di produzione interna INAIL e il secondo prodotto da Selex ES in collaborazione con il Centro Protesi stesso. Per il controllo del movimento e l'acquisizione dei segnali elettrici si è scelto il PAC CompactRIO (National Instruments), mentre per le acquisizioni cinematiche di angolo e velocità angolare si è sfruttata la stereofotogrammetria.

Studio e ottimizzaziore di un dispositivo per variare la quota in banchi prova terrestri

Banco prova innovativo per motori a pistoni in alta quota.

Studio e ottimizzazione di un banco prova per alta quota

Ottimizzazione di banco prova per motore a pistoni in alte quote.

Definizione del sistema di acquisizione e controllo di una sala prova motori

L’obiettivo della tesi è l’integrazione di alcuni dispositivi AVL e di un motore elettrico passo-passo lineare all’interno di un sistema di controllo e acquisizione dati per una sala prova motori. La sala prove in cui è svolto il lavoro è quella del laboratorio Hangar del Dipartimento di Ingegneria Industriale di Forlì. Inizialmente viene proposta una breve descrizione della sala prove; essa è divisa in una parte hardware, in cui vengono spiegati i principali device utilizzati per il controllo, e in una parte software, in cui vengono descritti i programmi utilizzati (LabView e TestIT). Successivamente, i capitoli centrali, si occuperanno dei componenti AVL e del motore lineare utilizzati in sala. Per quanto riguarda AVL i dispositivi da integrare sono la bilancia per il carburante 733s e lo smoke meter 415s. Si traccia quindi una descrizione degli impianti e si indicano i principi operativi. Entrambi sfruttano il linguaggio seriale, quindi si procede con la creazioni di un’interfaccia grafica in grado di convertire i comandi desiderati dall’utente in codice ASCII. Allo stesso modo viene affrontato il motore lineare NEMA. In questo caso il dialogo avviene tramite una connessione Ethernet. La parte centrale si conclude con un capitolo nel quale si spiega l’introduzione dei VI all’interno di TestIT e le problematiche che ne possono scaturire. Nell’appendice finale saranno descritte brevemente le connessioni pratiche e gli interventi di progettazione avvenuti per organizzare il rack.

Heterogeneidade Linguística : Reflexões sobre questão de Língua Portuguesa na Prova Brasil 2009

A Prova Brasil é um instrumento de avaliaçao de larga escala, porém ao analisarmos uma questao de Língua Portuguesa do 5o ano do Ensino Fundamental aplicada em 2009, nos deparamos com o uso lingüístico da expressao ?DA HORA?, que nos remete a uma gíria, tipicamente relacionada a uma cultura específica. Todavia, entendemos que nao é adequada a utilizaçao deste tipo de conteúdo em uma avaliaçao de larga escala, pois acaba impondo que os alunos dominem uma determinada cultura, que passa ser a cultura dominante, ou seja, o modelo a ser apreendido. Com o intuito de analisar a questao supracitada, da Prova Brasil, construímos referencial teórico a partir de alguns conceitos/ideias como os de cultura (WILLIAMS, 1979 e 1992), cultura escolar (FORQUIN, 1993), diferença cultural (CARVALHO, 2009), currículo de acordo com a perspectiva da LDB no 9.394/96 (BRASIL, 2004). A metodologia adotada para esta pesquisa foi a Análise de Conteúdos de Bardin (2002). Concluímos, considerando que em avaliaçoes de larga escala deve-se verificar a apreensao, por parte dos alunos, sobre os conteúdos do currículo básico e nao da parte diversificada (BRASIL, 2004), visto que nao podemos generalizar a cultura já que esta é característica peculiar de um povo, regiao, grupo social, logo de caráter particular e nao de âmbito nacional

Heterogeneidade Linguística : Reflexões sobre questão de Língua Portuguesa na Prova Brasil 2009

A Prova Brasil é um instrumento de avaliaçao de larga escala, porém ao analisarmos uma questao de Língua Portuguesa do 5o ano do Ensino Fundamental aplicada em 2009, nos deparamos com o uso lingüístico da expressao ?DA HORA?, que nos remete a uma gíria, tipicamente relacionada a uma cultura específica. Todavia, entendemos que nao é adequada a utilizaçao deste tipo de conteúdo em uma avaliaçao de larga escala, pois acaba impondo que os alunos dominem uma determinada cultura, que passa ser a cultura dominante, ou seja, o modelo a ser apreendido. Com o intuito de analisar a questao supracitada, da Prova Brasil, construímos referencial teórico a partir de alguns conceitos/ideias como os de cultura (WILLIAMS, 1979 e 1992), cultura escolar (FORQUIN, 1993), diferença cultural (CARVALHO, 2009), currículo de acordo com a perspectiva da LDB no 9.394/96 (BRASIL, 2004). A metodologia adotada para esta pesquisa foi a Análise de Conteúdos de Bardin (2002). Concluímos, considerando que em avaliaçoes de larga escala deve-se verificar a apreensao, por parte dos alunos, sobre os conteúdos do currículo básico e nao da parte diversificada (BRASIL, 2004), visto que nao podemos generalizar a cultura já que esta é característica peculiar de um povo, regiao, grupo social, logo de caráter particular e nao de âmbito nacional

Heterogeneidade Linguística : Reflexões sobre questão de Língua Portuguesa na Prova Brasil 2009

A Prova Brasil é um instrumento de avaliaçao de larga escala, porém ao analisarmos uma questao de Língua Portuguesa do 5o ano do Ensino Fundamental aplicada em 2009, nos deparamos com o uso lingüístico da expressao ?DA HORA?, que nos remete a uma gíria, tipicamente relacionada a uma cultura específica. Todavia, entendemos que nao é adequada a utilizaçao deste tipo de conteúdo em uma avaliaçao de larga escala, pois acaba impondo que os alunos dominem uma determinada cultura, que passa ser a cultura dominante, ou seja, o modelo a ser apreendido. Com o intuito de analisar a questao supracitada, da Prova Brasil, construímos referencial teórico a partir de alguns conceitos/ideias como os de cultura (WILLIAMS, 1979 e 1992), cultura escolar (FORQUIN, 1993), diferença cultural (CARVALHO, 2009), currículo de acordo com a perspectiva da LDB no 9.394/96 (BRASIL, 2004). A metodologia adotada para esta pesquisa foi a Análise de Conteúdos de Bardin (2002). Concluímos, considerando que em avaliaçoes de larga escala deve-se verificar a apreensao, por parte dos alunos, sobre os conteúdos do currículo básico e nao da parte diversificada (BRASIL, 2004), visto que nao podemos generalizar a cultura já que esta é característica peculiar de um povo, regiao, grupo social, logo de caráter particular e nao de âmbito nacional