ElectroYou - la comunità dei professionisti del mondo elettrico

Benvenuto, affezionato lettore! Quello che hai davanti è il secondo articolo del ciclo relativo ai metodi formali (se non hai ancora letto il primo, puoi farlo qui); precisamente, con questo e con il prossimo articolo ci occuperemo di una trattazione essenziale della logica proposizionale, la quale vedremo prima come sistema algebrico e poi come linguaggio formale. Si tratta di un argomento fondamentale nel nostro percorso sui metodi formali, perché ci permette di vedere un primo esempio di linguaggio adatto alla modellazione dei sistemi e alla scrittura delle condizioni che si desidera essi rispettino; nello specifico, vedremo direttamente come utilizzare la formulazione algebrica della logica proposizionale per modellare semplici circuiti digitali, e indirettamente valuteremo come scrivere delle condizioni mentre tratteremo la definizione "linguistica" della logica.

UML è un sistema di virtualizzazione di linux comparso come patch del kernel dalle versioni 2.2 del sistema operativo, che è stato poi integrato nello sviluppo del kernel di linux dalla versione 2.6. Permette di eseguire un sistema operativo completo in user space come una macchina virtuale a cui assegnare varie risorse (drive, schede di rete, console, ecc...) ed è utile per virtualizzare macchine linux complete oppure per testare diverse versioni di kernel, driver, programmi ecc... all'interno di un sistema isolato che non può intaccare l'host che esegue uml. E' possibile eseguire varie macchine uml contemporaneamente simulando varie topologie di rete, implementare honetpots, testare la sicurezza di reti ecc... Il sistema da eseguire è tutto contenuto in un root file system che viene montato da uml alla partenza. Può essere contenuto in un uno o più file separati il cui contenuto può essere popolato e modificato tramite script prima dell'esecuzione del binario uml in modo da automatizzare la pubblicazione di macchine virtuali. Insomma le possibilità sono davvero numerevoli.

Il "mix energetico", cioè la composizione percentuale della energia elettrica immessa in rete in base alla modalità di produzione, è un dato che da qualche anno deve essere indicato nelle bollette dai vari fornitori.

Il dato permette anche ai profani di valutare l'evoluzione negli anni di tale mix, e di scegliere il proprio fornitore non solo in base al costo ma anche in base alla sua composizione, per esempio per privilegiare fornitori che utilizzano più energia rinnovabile rispetto alla media nazionale.

Approfondendo l'argomento infatti ho scoperto la complessità della normativa, ma anche l'effettiva presenza di fornitori "100% da rinnovabili" che possiamo scegliere se vogliamo incentivare un aumento delle energie pulite nel nostro paese, e non solo inseguire riduzioni di prezzo che spesso sono irrisorie.

Il drone è un oggetto volante che sfrutta le forze aerodinamiche impresse dall'interazione di un oggetto volante nell'aria ei campi di pressione variabili, dovuti soprattutto alla forma e alla velocità dell'oggetto volante: quindi, il drone è un aeromobile, come gli aeroplani e gli elicotteri e di solito non ha un pilota che lo guida all'interno di sé, ma viene controllato da remoto con un'adatta stazione di terra.

Ho fatto tutto al contrario: recentemente ho pubblicato due articoli, che trattavano di una applicazione del drone, ma guarda un po' ho tralasciato di dire cosa esso sia e come si sviluppa il suo funzionamento HW e SW. Il mio intento in questo articolo. è quello di descriverlo in tutte le sue funzionalità e dare alcuni accenni, come farlo funzionare, facendolo volare. Come potete forse immaginare, il drone è un oggetto volante che sfrutta le forze aerodinamiche impresse dall'interazione di un oggetto volante nell'aria con campi di pressione variabili, dovuti soprattutto alla sua forma e alla sua velocità: quindi, il drone è un aeromobile, come gli aeroplani e gli elicotteri, ma di solito non ha un pilota che lo guida all'interno di sé, ma viene controllato da remoto, mediante un'adatta stazione di terra. Generalmente, il drone è di dimensioni più o meno limitate, rispetto ad un aereo, ma ha la sua efficacia in tante applicazioni tecniche, come la fotogrammetria, rilevazioni archeologiche, missioni militari, missioni ambientali, ricognizioni geografiche, cinematografia e tanto altro.

Nella prima parte articolo della serie Sonde differenziali ad alta tensione per oscilloscopio - Prima parte ho parlato in generale di come è nata l’esigenza di possedere delle sonde differenziali ad alta tensione da collegare al mio oscilloscopio. Ho voluto provare a realizzarmele da solo sfruttando qualche schema già pronto, ovviamente per farne un utilizzo hobbistico. In questo articolo parlerò dello schema elettrico e di quanto realizzato. Premetto da subito che per un elettronico l’articolo potrà apparire banale; non verrà svelato nessun innovativo/misterioso circuito elettronico e non entrerò nemmeno troppo nel dettaglio dei calcoli e dimensionamenti. Nella terza parte dell'articolo invece parlerò della costruzione e calibrazione delle sonde, delle specifiche e dei risultati ottenuti.

I poliedri sono l'equivalente dei poligoni, trasportati nello spazio "solido" cioè a 3 dimensioni. Un poligono è una figura chiusa formata da un certo numero di lati, ossia segmenti, che sono disposti in modo da avere tutti in comune un'estremità, presi a due a due. Nei poliedri, il ruolo dei lati viene svolto dalle facce, che sono a loro volta poligoni.

Mentre con i poligoni, che stanno su un piano (spazio a 2 dimensioni) abbiamo una certa familiarità (triangoli, rettangoli, pentagoni, etc.) non altrettanto si può dire dei poliedri, anche se conosciamo la piramide e il prisma.

Poligoni e poliedri possono essere convessi, concavi, stellati, intrecciati

I poligoni regolari sono caratterizzati da una simmetria di rotazione intorno al loro centro, il che porta a uguaglianza di tutti i lati e di tutti gli angoli interni. Di poligoni regolari ce ne sono infiniti, perchè possono avere un numero qualsiasi di lati.

In questo articolo viene mostrato come gestire l'accesso al wifi di diversi utenti su un router fastweb memorizzando le credenziali su un server radius per evitare di condividere la stessa login fra utenze diverse.

E' necessario dire al server radius quale sarà il client che effettuerà le richieste di validazione delle utenze ( il router fastweb ) e quali sono le utenze abilitate. Tali informazioni vanno inserite in due file di configurazione di freeradius che sono:

Un po’ di tempo fa mi sono messo alla ricerca di sonde differenziali ad alta tensione per oscilloscopio, ma visto i costi abbastanza elevati delle stesse, ho voluto provare a costruirmele da solo sfruttando qualche schema già pronto, ovviamente per farne un utilizzo hobbistico. Ho intrapreso questa avventura con la consapevolezza di non avere, e non poter raggiungere quello che un prodotto commerciale certificato può offrire (sia in termini di prestazioni che in termini di certificazioni). Tutto nasce dal piacere personale di costruire qualcosa e vederla funzionare. Nel passato l’oscilloscopio era uno strumento che potevano permettersi in pochi a causa del costo elevato e normalmente quei pochi erano tecnici smaliziati o professionisti dell’elettronica che sicuramente ne conoscevano a fondo il funzionamento. Premetto da subito che per un elettronico l’articolo potrà apparire banale, ma ritengo però che, vista la diffusione di strumenti a basso costo magari in mano a maker o informatici con poche basi di elettronica, sia utile ripetere qualche concetto di base, soprattutto per salvaguardare la sicurezza di questi operatori, oltre che delle cose. Ho diviso l’articolo in tre parti. Nella prima parlo in generale delle sonde differenziali, nella seconda illustrerò lo schema delle sonde realizzate e nella terza parlerò del montaggio e della calibrazione delle stesse.

L'uomo ha sempre identificato alcuni materiali come preziosi, per la loro scarsa disponibilità o per il lavoro richiesto per estrarli o utilizzarli; materiali come alcuni metalli (l'oro in particolare), le spezie o anche il comunissimo sale sono stati utilizzati nei secoli come merce di scambio o bene rifugio.

Con l'avvento dell'elettronica nuovi materiali sono entrati a far parte del ristretto cerchio dei materiali "preziosi", e spesso sono argomento di dibattito per le implicazioni sociali e ambientali che la loro lavorazione può causare.

Questo articolo è nato dalla lettura di un articolo (rif.[1]) che mi ha incuriosito.

Le terre rare sono in realtà diciassette metalli dai nomi difficili, sconosciuti fino a qualche decennio fa e ora sempre più importanti per le nuove applicazioni (principalmente in elettronica).

Questo articolo nasce come ampliamento della folle discussione sui generatori sincroni dove "è normale accettare scostamenti fuori dal mondo". In questo messaggio scrivevo di una escursione di 8 Hz (da 53 Hz a 45 Hz) presente nel transitorio di un gruppo elettrogeno quando passa da vuoto a pieno carico. Premetto subito che io non ho mai installato gruppi elettrogeni (sono un elettrotecnico da poco: un ex insegnante di scuola media superiore ora in pensione da oltre dieci anni e, come si sa, "chi sa fa e chi non sa insegna"). L'esperto a quel punto sentenziava che "se davvero a fronte di una variazione di carico il generatore variasse la frequenza di 8 Hz sarebbe un disastro". La mia affermazione si basava su un grafico presente in un testo affidabile, e per me la sentenza catastrofica dell'esperto, era esagerata. L'unica spiegazione che vi ho dato è che non aveva compreso di cosa si parlava (capita, non era la prima volta). In questo caso si stava discutendo di un transitorio da vuoto a carico e non di una situazione a regime permanente o di qualche piccola variazione di carico. Il grafico è il seguente

L. Pezzola, V. Magalotti, R. Mussi 1 , A. Bellissima 1 , M. Colaiemma 2 , M. Benenati2, T. Tolda 21 Yanmar Research Europe S.r.L., Viale Galileo, 3/A – 50125, Florence, Italy2 Maya Spa, Via E. Falck 53 – 20151 Milan, Italy Yanmar Research Europe has installed a small-scale biomass gasification system integrating a gasifier in a factory to produce Heat, Power, Cooling and Biochar. The paper describe the system and the results of a 4-year experience of conveniently operating the bioenergy system into a local energy and biochar network. The system has been recently completed with an absorption chiller plant: thus it is a renewable tri-generation by Maya (CCHP). Keywords: decentralized generation, CCHP, biochar, gasification, wood chip

Tempo fa sul forum si parlava di far sparire la pubblicità da qualche sito web per poterlo consultare senza banner invadenti che saltano davanti agli occhi causando convulsioni e nausea. Dissi che avevo ovviato al problema configurando su uno dei miei raspberry un proxy anonymizer, ma all'epoca non avevo fatto abbastanza ordine per poterlo rendere disponibile. Ciò che segue è la descrizione del progetto con tanto di link per utilizzare liberamente quanto ho elaborato. Come ho detto funziona su un raspberry, quindi con raspbian e architettura armv7l, ma ho creato immagini docker che ho testato anche su una macchina virtuale Oracle Virtalbox dove ho installato una debian con architettura x86_64.

Più di qualche volta mi sono sentito chiedere se per fare il minatore di criptovalute, la persona che convalida le operazioni apponendoci sopra una sorta di firma digitale, è necessario avere un impianto fotovoltaico. La risposta, in linea generale, è che questo accoppiamento non è indispensabile, ma può essere molto conveniente. In paesi come l'Italia infatti, visti gli alti costi dell'energia elettrica, questa attività può essere controproducente se Bitcoin e compagnia vengono scambiati a valori particolarmente bassi rispetto ad Euro e Dollari. La presenza di una produzione elettrica a buon mercato quindi viene a compensare questi periodi di calma, mentre accorcia l'ammortamento delle apparecchiature nei periodi più positivi.

Gli anni '50 furono teatro della costruzione di grandi dighe sulle Alpi, e la conseguente energia idroelettrica fu motore del miracolo economico italiano.

Il giovane Ermanno Olmi debuttò come regista girando vari documentari che riguardano la costruzione di queste dighe e gli uomini che, col loro duro lavoro, hanno portato la necessaria energia elettrica all'Italia che si risollevava dalla guerra.

Il primo di questi documentari, "Sabbioni: una diga a quota 2500" (1953, 10 minuti), e la sua versione meno tecnica, un vero piccolo film, "La diga del ghiacciaio" (1955, 10 minuti), descrivono la costruzione della diga del Sabbione in alta Val Formazza: la più grande del Piemonte in quanto a capacità d’invaso, la seconda delle Alpi dopo la diga di Place Moulin in Valle d’Aosta.

Benvenuto, caro lettore, a questo primo articolo sui metodi formali! Se sei qui, ovviamente non conosci i metodi formali e vuoi capire di che si tratta, o magari ne hai sentito parlare e vuoi saperne di più, o ancora li conosci già e sei qui per giudicarmi; quale che sia il caso, ritengo giusto iniziare presentandoti brevemente la serie di articoli cui questo da inizio, e fatto questo entreremo finalmente nel merito.

La domanda sorge spontanea: di tutti gli argomenti disponibili, perché proprio i metodi formali? Perché non trattare piuttosto la costruzione di un robot che va in giro a cantare ossessivamente "The day I tried to live" dei Soundgarden o analizzare le possibili tecniche realizzative di una spazzola per calvi a forma di sega circolare? Le motivazioni che mi spingono sono sostanzialmente tre: