La maquinaria política funciona, pero la formula no la dan

Fondo Margaritainés Restrepo

Application of the latency insertion method (LIM) to the analysis of large circuit interconnect networks

The focus of this research is to explore the applications of the finite difference formulation based on the latency insertion method (LIM) to the analysis of circuit interconnects. Special attention is devoted to addressing the issues that arise in very large networks such as on-chip signal and power distribution networks. We demonstrate that the LIM has the power and flexibility to handle various types of analysis required at different stages of circuit design. The LIM is particularly suitable for simulations of very large scale linear networks and can significantly outperform conventional circuit solvers (such as SPICE).

Algoritmos construtivos para treino de redes neuronais b-spline

Dissertação de mest. em Engenharia de Sistemas e Computação - Área de Sistemas de Controlo, Faculdade de Ciências e Tecnologia, Univ.do Algarve, 2001

Chebanov law and Vakar formula in mathematical models of complex systems

Ecological models written in a mathematical language L(M) or model language, with a given style or methodology can be considered as a text. It is possible to apply statistical linguistic laws and the experimental results demonstrate that the behaviour of a mathematical model is the same of any literary text of any natural language. A text has the following characteristics: (a) the variables, its transformed functions and parameters are the lexic units or LUN of ecological models; (b) the syllables are constituted by a LUN, or a chain of them, separated by operating or ordering LUNs; (c) the flow equations are words; and (d) the distribution of words (LUM and CLUN) according to their lengths is based on a Poisson distribution, the Chebanov's law. It is founded on Vakar's formula, that is calculated likewise the linguistic entropy for L(M). We will apply these ideas over practical examples using MARIOLA model. In this paper it will be studied the problem of the lengths of the simple lexic units composed lexic units and words of text models, expressing these lengths in number of the primitive symbols, and syllables. The use of these linguistic laws renders it possible to indicate the degree of information given by an ecological model.

Le retour en communauté des détenus âgés : entre marginalisation et insertion, des expériences plurielles

À l’heure actuelle, au Canada, un détenu sous responsabilité fédérale sur cinq est âgé de plus de cinquante ans, ce qui représente une augmentation de 101% depuis le début des années 2000. Alors que tout semble indiquer qu’un nombre croissant de détenus âgés seront remis en liberté, très peu d’études se concentrent sur ce qu’ils vivent après la détention. Ce mémoire propose donc de comprendre leur expérience de retour en communauté et de faire ressortir le regard qu’ils posent sur celle-ci. Pour atteindre ces objectifs, nous nous sommes intéressées au vécu de dix-sept hommes âgés de cinquante ans et plus ayant purgé leur peine au sein d’établissements carcéraux québécois. Par l’entremise d’entrevues semi-dirigées, nous sommes parvenues à mettre en avant que le retour en communauté des détenus âgés est marqué par de multiples difficultés, exacerbées par leur âge, leur statut pénal et le cadre institutionnel dans lequel ils évoluent. Toutefois, cette expérience est vécue différemment selon la présence de solidarités familiales qui leur permettent d’accéder à un statut social valorisant et leur offrent la possibilité d’exister socialement.

A BACKING DEVICE BASED ON AN EMBEDDED STIFFENER AND RETRACTABLE INSERTION TOOL FOR THIN-FILM COCHLEAR ARRAYS

Intracochlear trauma from surgical insertion of bulky electrode arrays and inadequate pitch perception are areas of concern with current hand-assembled commercial cochlear implants. Parylene thin-film arrays with higher electrode densities and lower profiles are a potential solution, but lack rigidity and hence depend on manually fabricated permanently attached polyethylene terephthalate (PET) tubing based bulky backing devices. As a solution, we investigated a new backing device with two sub-systems. The first sub-system is a thin poly(lactic acid) (PLA) stiffener that will be embedded in the parylene array. The second sub-system is an attaching and detaching mechanism, utilizing a poly(N-vinylpyrrolidone)-block-poly(d,l-lactide) (PVP-b-PDLLA) copolymer-based biodegradable and water soluble adhesive, that will help to retract the PET insertion tool after implantation. As a proof-of-concept of sub-system one, a microfabrication process for patterning PLA stiffeners embedded in parylene has been developed. Conventional hotembossing, mechanical micromachining, and standard cleanroom processes were integrated for patterning fully released and discrete stiffeners coated with parylene. The released embedded stiffeners were thermoformed to demonstrate that imparting perimodiolar shapes to stiffener-embedded arrays will be possible. The developed process when integrated with the array fabrication process will allow fabrication of stiffener-embedded arrays in a single process. As a proof-of-concept of sub-system two, the feasibility of the attaching and detaching mechanism was demonstrated by adhering 1x and 1.5x scale PET tube-based insertion tools and PLA stiffeners embedded in parylene using the copolymer adhesive. The attached devices survived qualitative adhesion tests, thermoforming, and flexing. The viability of the detaching mechanism was tested by aging the assemblies in-vitro in phosphate buffer solution. The average detachment times, 2.6 minutes and 10 minutes for 1x and 1.5x scale devices respectively, were found to be clinically relevant with respect to the reported array insertion times during surgical implantation. Eventually, the stiffener-embedded arrays would not need to be permanently attached to current insertion tools which are left behind after implantation and congest the cochlear scala tympani chamber. Finally, a simulation-based approach for accelerated failure analysis of PLA stiffeners and characterization of PVP-b-PDLLA copolymer adhesive has been explored. The residual functional life of embedded PLA stiffeners exposed to body-fluid and thereby subjected to degradation and erosion has been estimated by simulating PLA stiffeners with different parylene coating failure types and different PLA types for a given parylene coating failure type. For characterizing the PVP-b-PDLLA copolymer adhesive, several formulations of the copolymer adhesive were simulated and compared based on the insertion tool detachment times that were predicted from the dissolution, degradation, and erosion behavior of the simulated adhesive formulations. Results indicate that the simulation-based approaches could be used to reduce the total number of time consuming and expensive in-vitro tests that must be conducted.

Modellazione del comportamento di un compressore aeronautico in condizioni di funzionamento con fogging

L'obiettivo di questo lavoro di tesi è realizzare un modello, prima statico poi dinamico, dei componenti: imbocco e gruppo compressore, del turboalbero Allison 250 C18 sottoposto alla tecnologia del fogging. I dati sperimentali utilizzati provengono da prove sperimentali svolte da un altro tesista nel laboratorio di Propulsione e macchine della Scuola di Ingegneria e Architettura di Forlì. Grazie al modello statico, realizzato con il software MATLAB®, sono state create le principali mappe prestazionali dei singoli componenti. Queste ultime sono state poi implementate all'interno del modello dinamico realizzato con il software Simulink. Attraverso il modello dinamico, siamo stati in grado di osservare, grazie ad una struttura modulare a blocchi, l'andamento delle grandezze anche in regime transitorio, e di cambiare i parametri di inizializzazione in maniera molto rapida. Infine i dati ottenuti sono stati confrontati con i dati sperimentali e sono state effettuate valutazioni sull'utilità o meno del fogging. Entrambe le conclusioni hanno dato buoni risultati.

Modellazione muscoloscheletrica subject-specific: applicazione a casi clinici e analisi delle incertezze

Lo sviluppo sistematico di modelli subject-specific computerizzati per l’analisi di trattamenti personalizzati è attualmente una realtà. Infatti di recente sono state sviluppate molte tecnologie per la creazione di modelli virtuali ad elementi finiti, che ricreano accuratamente le geometrie specifiche del soggetto e tutte le proprietà fondamentali per ricreare le capacità motorie, basandosi su analisi d’immagine quantitative. Tuttavia, per determinare le forze agenti sul sistema, necessitiamo di una intera analisi di cammino, solitamente in combinazione con uno studio di simulazione di dinamica inversa. In questo elaborato, mi propongo di illustrare i procedimenti per creare un modello subject-specific partendo da dati di imaging (da tomografie computerizzate) di un paziente reale affetto da displasia congenita dell’anca, e gli strumenti che ci permettono di effettuare le simulazioni del modello, al fine di ottenere informazioni quantitative circa le grandezze che governano la dinamica del cammino del paziente. Il corpi rigidi del modello scheletrico saranno costruiti mediante la tecnica della segmentazione 3D, e verranno utilizzati per costruire un sistema articolato dotato di attuatori muscolo-tendinei e giunti articolari a due o tre gradi di libertà. Per conseguire questo obiettivo si farà uso del software, “NMSBuilder”, per poi inserirlo in un programma di simulazione di dinamica del movimento, “OpenSim”, che ci permetterà di calcolare forze muscolari, forze di contatto e momenti articolari del modello. Questi risultati saranno di fondamentale importanza per studiare riabilitazioni ad hoc per pazienti affetti da DCA che devono essere sottoposti ad artroprotesi totale. Lo scopo di questo studio sarà anche quello di analizzare la sensibilità delle previsioni dei modelli specifici durante la deambulazione tenendo conto delle incertezze nell'identificazione delle posizioni dei body-landmarks, della massima tensione muscolare e della geometria muscolo-tendinea.

l'importanza della modellazione dei processi applicata ad un caso aziendale

La pianificazione e la gestione dei processi è diventata un elemento critico a causa della crescente complessità delle attività all’interno delle organizzazioni. Nell’era dell’impresa digitale, la gestione dei processi di businesss viene coadiuvata mediante l’utilizzo di sistemi software che sono in grado di gestire una grande quantità di informazioni ovvero i sistemi BPM. Il Business Performance Management è una disciplina gestionale che si occupa di descrivere e gestire i processi di business di una organizzazione. L’obiettivo della seguente tesi è verificare se il modello del processo realizzato precedentemente all’implementazione del sistema reale possa permettere una più dettagliata analisi del sistema e anticipare relative problematiche che talvolta si evincono solamente durante il mero sviluppo. Inoltre si vuole verificare se il modello realizzato in fase di discussione di un nuovo progetto cliente possa poi migliorare anche lo scambio di informazioni nel team di sviluppo. A supporto di questa tesi è stato sviluppato un caso di studio reale in una società di gestione del risparmio specializzata in fondi di investimento immobiliare. Inizialmente si è proceduto con una prima fase di raccolta dei requisiti dell’applicativo che si è conclusa con la realizzazione dei modelli creati utilizzando due linguaggi che sono il Business Process Model and Notation (BPMN) e il Decision Model and Notation (DMN); il medesimo applicativo è stato successivamente implementato seguendo i modelli realizzati. I tempi globali di sviluppo del sistema e la migliore comprensione del modello da parte del team di sviluppo hanno fatto evincere l’utilità della modellazione a fronte di maggiori giornate uomo. Inoltre è stata riscontata maggiore manutenibilità complessiva del sistema.

Progettazione di un sistema per la modellazione di melodie musicali come reti complesse: conversione da formato MIDI a MusicXML

Il progetto realizzato consiste in uno strumento software in grado di effettuare una conversione di file, dal formato MIDI al formato MusicXML. Il tool è il proseguimento di un’attività basata sull'analisi di reti complesse e sullo sviluppo di strumenti per la modellazione di spartiti musicali. Melodie, assoli ed in generale tracce musicali sono rappresentabili come reti complesse, in cui i nodi identificano le note del brano e gli archi mostrano le sequenze con cui queste vengono suonate. Utilizzando la teoria delle reti è possibile estrarre alcune metriche principali che caratterizzano il brano in questione. Per la generazione della rete si è fatto uso di spartiti musicali descritti tramite lo standard MusicXML. File in questo formato sono difficilmente reperibili, per cui lo strumento realizzato si propone di effettuare una conversione da formato MIDI a formato MusicXML, con l’obiettivo di ottenere un database più esteso. Attraverso il tool sono stati convertiti brani di diverso genere, le cui reti relative sono state poi analizzate applicandovi le metriche principali ed effettuando le dovute valutazioni.

Le retour en communauté des détenus âgés : entre marginalisation et insertion, des expériences plurielles

À l’heure actuelle, au Canada, un détenu sous responsabilité fédérale sur cinq est âgé de plus de cinquante ans, ce qui représente une augmentation de 101% depuis le début des années 2000. Alors que tout semble indiquer qu’un nombre croissant de détenus âgés seront remis en liberté, très peu d’études se concentrent sur ce qu’ils vivent après la détention. Ce mémoire propose donc de comprendre leur expérience de retour en communauté et de faire ressortir le regard qu’ils posent sur celle-ci. Pour atteindre ces objectifs, nous nous sommes intéressées au vécu de dix-sept hommes âgés de cinquante ans et plus ayant purgé leur peine au sein d’établissements carcéraux québécois. Par l’entremise d’entrevues semi-dirigées, nous sommes parvenues à mettre en avant que le retour en communauté des détenus âgés est marqué par de multiples difficultés, exacerbées par leur âge, leur statut pénal et le cadre institutionnel dans lequel ils évoluent. Toutefois, cette expérience est vécue différemment selon la présence de solidarités familiales qui leur permettent d’accéder à un statut social valorisant et leur offrent la possibilité d’exister socialement.

On continuous families of geometric Seifert conemanifold structures

In this paper, dedicated to Prof. Lou Kauffman, we determine the Thurston’s geometry possesed by any Seifert fibered conemanifold structure in a Seifert manifold with orbit space (Formula presented.) and no more than three exceptional fibers, whose singular set, composed by fibers, has at most three components which can include exceptional or general fibers (the total number of exceptional and singular fibers is less than or equal to three). We also give the method to obtain the holonomy of that structure. We apply these results to three families of Seifert manifolds, namely, spherical, Nil manifolds and manifolds obtained by Dehn surgery on a torus knot (Formula presented.). As a consequence we generalize to all torus knots the results obtained in [Geometric conemanifolds structures on (Formula presented.), the result of (Formula presented.) surgery in the left-handed trefoil knot (Formula presented.), J. Knot Theory Ramifications 24(12) (2015), Article ID: 1550057, 38pp., doi: 10.1142/S0218216515500571] for the case of the left handle trefoil knot. We associate a plot to each torus knot for the different geometries, in the spirit of Thurston.

Projeto de chassis para Formula Student

Neste trabalho é relatado o processo de projeto de um chassis para um veículo de Formula Student. Ao longo do relatório são abordados aspetos regulamentares, requisitos e objetivos técnicos, a interligação com os diversos sistemas do veículo, os aspetos relacionados com o projeto da estrutura, métodos de modelação para análise com recurso ao método dos elementos finitos, e por fim a análise dos esforços aplicados ao chassis e a validação do mesmo.

La construction des compétences en insertion professionnelle en enseignement par l’accompagnement réflexif du mentorat

Méthodologie: Approche épistémologique constructiviste ; entretiens