Studio e implementazione di algoritmi per il tracciamento ottimo di satellite LEO da stazioni di terra di tipo radioamatoriale

Questo elaborato di tesi ha l’obbiettivo di studiare le limitazioni delle stazioni di terra nel tracciamento di satelliti in orbita LEO, investigare possibili soluzioni ed implementare queste soluzioni all’interno della Ground Station AMGS di Forlì per verificarne l’efficacia. A questo scopo, dopo un’attenta revisione della letteratura sono stati identificati due promettenti algoritmi descritti nei paper: “Trajectory optimisation to minimise antenna pointing error” di P. S. Crawford , R. J. H. Brush e “An optimal antenna motion generation using shortest path planning” di Moon-Jin Jeon , Dong-Soo Kwon. Questi algoritmi sono stati implementi in Python 3, al fine di inglobarli all’interno del software di tracking al momento in uso nella GS di Forlì, ovvero AMGS Orbit Predictor. All’interno di questo elaborato sono anche riportati i risultati dei test conseguiti e una valutazione dettagliata di questi ultimi.

Missione JUICE: analisi delle opportunità per esperimenti di radar bistatico su Ganimede

Esperimenti di radar bistatico sono stati impiegati con successo nell’esplorazione spaziale ai fini di sondare a distanza superfici planetarie attraverso la riflessione di un segnale radio da parte di un corpo bersaglio. Un'appropriata analisi degli echi riflessi può fornire informazioni sulla struttura, sulla composizione chimica e sulla rugosità della superficie del target su scale proporzionali alle lunghezze d’onda trasmesse. Nel seguente studio si propone la modellazione della geometria del collegamento radio tra JUICE e la Terra per trovare opportunità per la sonda di eseguire esperimenti di radar bistatico sulla superficie di Ganimede, durante i soli flyby della luna. Questi, anche se ancora non è stato programmato con dettaglio nella fase scientifica della missione, potrebbero coincidere con finestre temporali plausibili per l’implementazione degli esperimenti analizzati. Ulteriori considerazioni vertono poi sull’angolo di incidenza e sull’effetto che questo avrà sull’accuratezza della stima della costante dielettrica superficiale della luna, effettuabile con osservazioni bistatiche. L’algoritmo principale per il calcolo del punto speculare e i grafici presentati, sono stati implementati con l’ausilio del software MATLAB e del toolkit SPICE. I risultati ottenuti, analizzando i flyby presi a riferimento, mostrano come la geometria della missione, per la maggior parte di essi, non sia la più favorevole per poter effettuare questo tipo di osservazione. Solo tre dei sette flyby analizzati: G04, G05 e G06, risultano avere una geometria favorevole per esperimenti di radar. bistatico su Ganimede.

Operazioni di assemblaggio automatizzato tramite robot antropomorfo e visione artificiale

Obiettivo dello studio condotto è l’implementazione di cicli di operazioni per l’assemblaggio automatizzato di componenti che costituiscono un sistema di trasporto a catena presente in alcune macchine automatiche. L’automazione del processo, fino ad oggi svolto manualmente, prevede l’utilizzo di un robot e, per il controllo di quest’ultimo, di un sistema di visione artificiale. L’attività di tirocinio associata alla tesi di laurea, che ha incluso una parte sperimentale oltre alla scrittura degli algoritmi di controllo del robot, è stata svolta all’interno del laboratorio TAILOR (Technology and Automation for Industry LabORatory) presso Siropack Italia S.r.l dove è presente una cella dotata di robot antropomorfo (Mitsubishi Electric) e di sistema di visione artificiale con camere 2D (Omron). La presenza di quest’ultimo è risultata strategica in termini di possibilità di adattare il montaggio anche a diversi posizionamenti degli oggetti all’interno dello spazio di lavoro, fermo restando che gli stessi risultassero appoggiati su una superficie piana. In primo luogo, affinché fosse garantita la ripetibilità del processo, sono state testate le prestazioni del sistema di visione tramite opportuna calibrazione della camera e del sistema di illuminazione ad esso collegata, al fine di ottenere un’acquisizione delle immagini che fosse sufficientemente robusta e risoluta mediante lo sfruttamento del software di elaborazione Omron FH Vision System. Un’opportuna programmazione della traiettoria del robot in ambiente di simulazione RT Toolbox 3, software integrato nel sistema di controllo del robot Mitsubishi Electric, ha infine consentito le regolari operazioni di assemblaggio, garantendo un processo affidabile ed, allo stesso tempo, adattabile ad ambienti eventualmente non strutturati in cui esso si trova ad operare.

Greening the Lean Supply Chain: il caso Lush Cosmetics

«La salute degli ecosistemi da cui dipendiamo, noi e tutte le altre specie, si sta aggravando più rapidamente che mai; stiamo compromettendo le stesse basi delle economie, della sussistenza, della sicurezza alimentare, della salute e della qualità della vita in tutto il mondo». Così il chimico R. Watson commentava un diffuso rapporto del 2019 delle Nazioni Unite sulla sconvolgente perdita di flora e fauna a livello globale. In questi anni sono stati infiniti gli appelli che citano l’astratto concetto delle «generazioni a venire», eppure, non tutte le aziende stanno agendo come dovrebbero. I rifiuti prodotti sono ancora molti, soprattutto quelli plastici da packaging. Alcune ideologie snelle, come il Lean Thinking, esistono da decenni e sono strettamente legate a quella che oggi chiamiamo Green Manufacturing. Entrambe propongono diversi strumenti per far fronte alla produzione di massa e agli sprechi: questi verranno trattati nella prima parte, e successivamente saranno impiegati, con il supporto del software «openLCA», per verificare il percorso dell’azienda protagonista dell’analisi, ovvero Lush Cosmetics. L’attenzione all’impatto ambientale che i propri prodotti possono provocare lungo l’intero ciclo di vita ha modellato la gestione interna di ciascun processo e, spontaneamente, si riflette sugli attori dell’intera supply chain: così, il comportamento di uno può ugualmente modificare, in questo caso positivamente, il lavoro di molti. Il seguente elaborato pone l’attenzione sulle problematiche migliorabili, proponendo diverse soluzioni alternative rispetto alla gestione attuale, seppur migliore di altre realtà. Infine, si vuole stimolare il consumatore verso una maggior consapevolezza delle conseguenze delle sue azioni, in fase di acquisto prima ed al momento dello smaltimento poi. I provvedimenti normativi, nazionali ed europei, possono funzionare solo se sostenuti da un consumo responsabile e dalla diffusione di una chiara ed efficace educazione ambientale.

Effetto della porosità sulle proprietà meccaniche e osteoinduttive di biomateriali utili per l’ingegneria del tessuto osseo

L'elaborato tratta dell'effetto della porosità sulle proprietà meccaniche e osteoinduttive di un biomateriale utilizzabile in ingegneria del tessuto osseo, per come questo è stato valutato nello studio "Surface porous poly-ether-ether-ketone based on three-dimensional printing for load-bearing orthopedic implant" condotto dai ricercatori Shuai Li, Tianyu Wang, Jiqiang Hu, Zhibin Li, Bing Wang, Lianchao Wang e Zhengong Zhou. In particolare, il biomateriale studiato è rappresentato dal “PEEK”, un polimero termoplastico che viene lavorato, tramite stampante 3D a filamento, in modo da presentare una struttura che include un corpo centrale solido ricoperto da strati porosi sia nello strato superiore sia in quello inferiore. Per la valutazione delle proprietà meccaniche sono state svolte una prova a trazione e una prova a flessione. I valori ottenuti sperimentalmente sono stati confrontati con quelli ottenuti da un’analisi numerica e da un modello teorico. Per la valutazione delle proprietà osteoinduttive sono stati condotti test di proliferazione cellulare e differenziamento osteogenico. I risultati ottenuti concludono che specifici valori della porosità superficiale del biomateriale presentano proprietà meccaniche e osteoinduttive che lo rendono idoneo all’utilizzo come impianto osteogenico in ingegneria tissutale.

Balanced scorecard (BSC): uma vis??o metodol??gica para o acompanhamento de sua implementa????o

A Embrapa, na inten????o de operacionalizar a gest??o dos seus planos estrat??gicos (Plano Diretor da Embrapa ??? PDE e Planos Diretores das Unidades ??? PDUs) desenvolveu a metodologia Mogest para a implementa????o do seu Modelo de Gest??o Estrat??gica (MGE), no ??mbito corporativo e de suas 40 unidades de neg??cio, com base na modifica????o do m??todo Balanced Scorecard ??? BSC, de Kaplan. Posteriormente, ap??s a implementa????o dos MGEs, no per??odo de 1999 at?? os dias atuais, inicia-se e desenvolve-se a fase de acompanhamento por meio da elabora????o do m??todo MGE/Acompanha. Este trabalho aborda, de forma modificada, o uso do diagrama elaborado por Norton, apud Coutinho (2002), para acompanhar/avaliar a implementa????o do BSC para uma organiza????o orientada ?? estrat??gia, inserido no m??todo MGE/Acompanha (2000), elaborado pela Equipe MGE e aplicado em uma das unidades de neg??cio da Embrapa. Os resultados mostraram a efici??ncia do m??todo e proporcionaram a internaliza????o do conceito ???painel de bordo???, desenvolvido no software Oracle BSC (OBSC).

Diseño y construcción de un vehículo autoguiado

Este proyecto tiene por objetivo desarrollar y construir un vehículo inteligente capaz de transportar y conferir movilidad a un brazo manipulador. El conjunto será capaz de, entre otras prestaciones, efectuar transferencia de piezas y partes entre celdas de un sistema de producción flexible o entre diversas secciones en una planta industrial, realizar tareas en zonas agresivas, peligrosas o contaminadas en forma autónoma o telecomandada, etc. Se pretende además que el vehículo conforme un banco de ensayos móvil donde se demuestren y desarrollen tecnologías relacionadas con los procesos automáticos de manufactura. (...) Se prevén las siguientes etapas: a.- Construcción de la plataforma base (estructural) con sus sistemas asociados (guiado, potencia, control y frenado). b.- Desarrollo de un sistema de navegación inercial en el plano. b.1.- Plataforma inercial: construcción de sus transductores, montaje, integración, ensayo. b.2.- Desarrollo del software para navegación inercial. c.- Desarrollo de un sistema de navegación por reconocimiento del entorno. c.1.- Desarrollo de los algoritmos de reconocimiento de imágenes y correlación de las mismas (en colaboración con la Facultad Regional Mendoza). c.2.- Desarrollo de los algoritmos de navegación por medio de reconocimiento del entorno. d.- Desarrollo de un sistema de guiado básico destinado a servir de soporte a los sistemas anteriores. La secuencia de tareas es: Año 1: Tareas a) y d). Comienzo de b) y c). Año 2: Prosecución de tareas b) y c). Año 3: Conclusión. Documentación final.

Transferencia inmunológica en el binomio madre - cría. Estudio comparativo entre especies.

Introducción: El recién nacido necesita una adecuada asistencia materna para lograr la competencia inmunológica inicial. Objetivos: • Demostrar la conformación del sistema inmune en las crías de diferentes especies en nuestra región en los primeros meses de vida. • Comparar las diferencias biológicas de la estructuración del sistema inmune en diferentes especies. Material y método: Diseño del estudio: de cohorte, observacional, descriptivo, análitico. Especies a estudiar: equinos, caprinos, camélidos sudamericanos y caninos. Se realizará dosaje de inmunoglobulinas en suero y calostro de la madre y suero de la cría mediante una cinética preestablecida. Se medirá la producción de anticuerpos específicos y su transferencia a través de calostro. Las muestras son almacenadas en freezer -80°C hasta su procesamiento en el Laboratorio de Enfermedades Infecciosas y Zoonosis e Inmunología (UCC). La medición de inmunoglobulinas se realizará mediante inmunodifusión radial según la técnica de Mancini. La lectura de los halos se realizará mediante toma de imágenes y medición de los diámetros correspondientes, empleando a través del software Philips CamSuite Capture V. 2.0.15.0. También se comparara el dosaje cuantitativo con la medición cualitativa de las Inmunoglobulinas mediante el Test de coagulación con glutaraldehído. Se evaluara la estructura celular del sistema inmune a través del recuento y fórmula leucocitaria del hemograma. Tamaño muestral y análisis estadístico. El tamaño muestral se calcula según el criterio de Freeman y cols, que propone diez eventos de interés por variable analizada. Se determina 30 animales por especie. Para realizar comparaciones de medias se utilizará prueba t apareada (para 2 muestras dependientes) o prueba t de diferencia de medias (para muestras independientes), según correspondiera. En todos los casos el nivel de significación será menor a 0,05. Se realizará un análisis de los componentes principales, correlacionando de manera lineal las distintas variables en las diferentes especies estudiadas. Resultados esperados y utilidad de los mismos: La originalidad del trabajo tiene dos aspectos fundamentales. El primero se basa en el material utilizado, diseño y comparación entre especies. El segundo, es la importancia productiva que tiene el reconocer un mecanismo fisiológico fundamental para el desarrollo de las crías y establecer la dinámica de la transferencia de la inmunidad con datos regionales de las especies estudiadas.

ექვთიმე თაყაიშვილი

შეიცავს 6 ფოტოს

Planificador de tasques

El projecte TFC Planificador de Tasques és una aplicació web que compleixprincipalment la funció de compartir fites, anotacions, recordatoris, etc percadascun dels projectes que desenvolupa una empresa.

Biología y Pesquería de Ethmidium maculatum “machete” procedente de la pesca artesanal en la Región La Libertad durante el 2010

Se determinaron las características de la Biología y Pesquería de Ethmidium maculatum “machete” procedente de la pesca artesanal en la Región La Libertad durante el 2010. Se trabajó con una base de datos de 1 508 individuos, obtenidos al azar de los desembarques artesanales de Caleta Puerto Morín, Puerto Salaverry, Caleta Huanchaco, Puerto Malabrigo y Puerto Pacasmayo. Para el análisis biológico se consideraron 10 ejemplares máximo por rango de talla. Para determinar el alimento y hábitos alimentarios se realizaron análisis de estimación porcentual y frecuencia de ocurrencia; para determinar las características reproductivas, se analizaron los estadios de madurez gonadal e índice gonadosomático; se determinó el grado de bienestar mediante el factor de condición de Fulton; las constantes de crecimiento fueron calculadas mediante el uso del software FISAT II. La talla media de captura fue inferior a la talla mínima legal establecida. Se tipificó a la especie en estudio como zooplanctonófaga. La proporción sexual fue favorable a las hembras; predominó el estadio desovante y la especie evidenció actividad reproductiva con mayor intensidad a fines de invierno. El crecimiento para hembras y machos fue alométrico. Se reportó un volumen de desembarque de 26 779 kg, y las principales zonas de pesca fueron: Chao, El Carmelo, Buenos Aires, Las Delicias, Salaverry, Los Brujos y Huanchaco.

Biología y pesquería de Paralonchurus peruanus "suco" desembarcado en la Región La Libertad de mayo 2011 - abril 2012

Se determinaron las características biológicas y se analizó la pesquería de Paralonchurus peruanus. La muestra estuvo constituida por 1 803 individuos, procedentes de la pesca artesanal en la Región La Libertad, durante mayo 2011 a abril 2012, mediante muestreos al azar de los desembarques artesanales de Puerto Salaverry, Caleta huanchaco, Puerto Malabrigo, Puerto Pacasmayo y Caleta Puerto Morín .La base de datos se estratificó por tallas, siendo la amplitud de 1cm, se consideraron 10 ejemplares máximo por cada estrato de talla. Para determinar el alimento y los hábitos alimentarios, se realizó el análisis cualitativo y cuantitativo para el que se utilizaron los métodos numérico, gravimétrico y frecuencia de ocurrencia, la época de desove se determinó mediante la interpretación de los estadios de madurez sexual en base a ocho estadios (Johansen, 1924), se determinó el grado de bienestar mediante el factor de condición de Fulton; las constantes de crecimiento fueron calculadas mediante el uso del software FISAT II. La estructura de tallas estuvo conformada por individuos de 18 a 51 cm con un 88.5% de juveniles. La especie en estudio fue carnívora y el ítem alimentario de mayor preferencia fueron los poliquetos, presentó una actividad reproductiva continua, con un pico de desove a finales de verano y continuando en otoño. La relación longitud - peso se ajusta al modelo potencial, con un crecimiento alométrico negativo, el mejor grado de bienestar se presentó en la estación de otoño para ambos sexos. Se reportó un volumen de desembarque de 191 156 kg. La embarcación tipo bote y las redes cortina fueron las más utilizadas para la pesca de P. peruanus. La CPUE estandarizada mostró una relación inversa con el esfuerzo de pesca estandarizado en el periodo de estudio.

Servei de notificació d'alertes

Ampliació de servei SNPServices amb notificació per a guifi.net.

Equational Reasoning about Object-Oriented Programs

Formal verification of software can be an enormous task. This fact brought some software engineers to claim that formal verification is not feasible in practice. One possible method of supporting the verification process is a programming language that provides powerful abstraction mechanisms combined with intensive reuse of code. In this thesis we present a strongly typed functional object-oriented programming language. This language features type operators of arbitrary kind corresponding to so-called type protocols. Sub classing and inheritance is based on higher-order matching, i.e., utilizes type protocols as basic tool for reuse of code. We define the operational and axiomatic semantics of this language formally. The latter is the basis of the interactive proof assistant VOOP (Verified Object-Oriented Programs) that allows the user to prove equational properties of programs interactively.

Análisis Prospectivo de la Fundación Red de Mujeres de Cundinamarca - REDEMUC a 2031

El presente documento, en su primera parte, se hace un breve resumen de los antecedentes y evolución de la mujer empresaria en el mundo, en Colombia y Cundinamarca. En su segunda parte, se muestra un resumen sobre el origen, evolución e importancia de las fundaciones (ONG’s) en el mundo, en Colombia y Cundinamarca. En su tercera parte, se da a conocer un análisis descriptivo de la Fundación Red de Mujeres de Cundinamarca, por medio de una entrevista concedida por su fundadora y presidenta, María del Carmen Colina. En su cuarta parte, se muestra una breve presentación del estudio prospectivo, dando a conocer su temática, principales autores y metodología. En su quinta, sexta y séptima parte se desarrolla el caso práctico: “prospectiva de la Red de Mujeres de Cundinamarca 2012-2031”, por medio de la utilización del software MIC MAC, MACTOR Y SMIC. Todo este trabajo fue desarrollado gracias a una revisión bibliográfica de aproximadamente 130 textos, artículos, tesis de grado de la Universidad del Rosario, noticias y publicaciones. La ultima parte del documento refleja las conclusiones y recomendaciones para la Fundación Red de Mujeres de Cundinamarca.