On the derivation of the terminal velocity for the falling magnet from dimensional analysis

Dimensional analysis was employed to develop a predictive formula for the terminal velocity for a magnet dropped down a metallic tube. In this particular application, the technique succeeded in generating the same formula theoretically derived and that has been published by others. The analysis thus presented suggests other applications that can be developed for motivating in the use of the technique.

The role of the C-terminal region of pulchellin A-chain in the interaction with membrane model systems

Pulchellin is a Ribosome Inactivating Protein containing an A-chain (PAC), whose toxic activity requires crossing the endoplasmic reticulum (ER) membrane. In this paper, we investigate the interaction between recombinant PAC (rPAC) and Langmuir monolayers of dipalmitoyl phosphatidyl glycerol (DPPG), which served as membrane model. Three catalytically active, truncated PACs with increasing deletion of the C-terminal region, possessing 244,239 and 236 residues (rPAC(244), rPAC(239) and rPAC(236)), were studied. rPAC had the strongest interaction with the DPPG monolayer, inducing a large expansion in its surface pressure-area isotherm. The affinity to DPPG decreased with increased deletion of the C-terminal region. When the C-terminal region was deleted completely (rPAC(236)), the interaction was recovered, probably because other hydrophobic regions were exposed to the membrane. Using Polarization Modulated-Infrared Reflection Absorption Spectroscopy (PM-IRRAS) we observed that at a bare air/water interface rPAC comprised mainly alpha-helix structures, the C-terminal region had unordered structures when interacting with DPPG. For rPAC(236) the alpha-helices were preserved even in the presence of DPPG. These results confirm the importance of the C-terminal region for PAC-ER membrane interaction. The partial unfolding only with preserved C-terminal appears a key step for the protein to reach the cytosol and develop its toxic activity. (C) 2011 Elsevier B.V. All rights reserved.

Serological detection of Plasmodium vivax malaria using recombinant proteins corresponding to the 19-kDa C-terminal region of the merozoite surface protein-1

Abstract Background Serological tests to detect antibodies specific to Plasmodium vivax could be a valuable tool for epidemiological studies, for screening blood donors in areas where the malaria is not endemic and for diagnosis of infected individuals. Because P. vivax cannot be easily obtained in vitro, ELISA assays using total or semi-purified antigens are rarely used. Based on this limitation, we tested whether recombinant proteins representing the 19 kDa C-terminal region of the merozoite surface protein-1 of P. vivax (MSP119) could be useful for serological detection of malaria infection. Methods Three purified recombinant proteins produced in Escherichia coli (GST-MSP119, His6-MSP119 and His6-MSP119-PADRE) and one in Pichia pastoris (yMSP119-PADRE) were compared for their ability to bind to IgG antibodies of individuals with patent P. vivax infection. The method was tested with 200 serum samples collected from individuals living in the north of Brazil in areas endemic for malaria, 53 serum samples from individuals exposed to Plasmodium falciparum infection and 177 serum samples from individuals never exposed to malaria. Results Overall, the sensitivity of the ELISA assessed with sera from naturally infected individuals was 95%. The proportion of serum samples that reacted with recombinant proteins GST-MSP119, His6-MSP119, His6-MSP119-PADRE and yMSP119-PADRE was 90%, 93.5%, 93.5% and 93.5%, respectively. The specificity values of the ELISA determined with sera from healthy individuals and from individuals with other infectious diseases were 98.3% (GST-MSP119), 97.7% (His6-MSP119 and His6-MSP119-PADRE) or 100% (yMSP119-PADRE). Conclusions Our study demonstrated that for the Brazilian population, an ELISA using a recombinant protein of the MSP119 can be used as the basis for the development of a valuable serological assay for the detection of P. vivax malaria.

Arquitetura brutalista e estratégia de transportes no triângulo mineiro: estações ferroviárias da Mogiana e Terminal Rodoviário Presidente Castelo Branco

Em 1989, Brandão descrevia o Triângulo Mineiro como “fruto da ambiguidade de seu estigma de fazer parte de Minas, mas ser articulada economicamente a São Paulo.” A mesorregião do Triângulo Mineiro e Alto Paranaíba, faz fronteira com os estados de Goiás, São Paulo e Mato Grosso do Sul, interligando também com a Central Mineira e com o Oeste de Minas, sendo a característica de “rota de passagem” como principal fator do desenvolvimento de sua economia. O posicionamento estratégico da região, como eixo de ligação da capital paulista ao chamado Brasil Central, pode ser considerado um importante fator no estreitamento dos laços entre a região e São Paulo, somado ao sentimento de não pertencimento do Triângulo ao estado de Minas Gerais, o qual resultou por décadas em manifestações separatistas na região. A arquitetura moderna produzida no Triângulo Mineiro e Alto Paranaíba deu um salto significativo no momento de construção da nova capital federal, em finais da década de 1950, onde o papel de mediação, principalmente da cidade de Uberlândia, no processo de infra-estruturação da nova cidade foi determinante nos avanços construtivos do Triângulo. Esse momento coincidiu com o início do processo de verticalização das principais cidades da região e o aumento de arquitetos residentes nas cidades. Por meio, em especial, dos edifícios para as estações ferroviárias da Cia Mogiana, de Oswaldo Arthur Bratke em Uberaba e Uberlândia (déc. 1960) e do Terminal Rodoviário Presidente Castelo Branco em Uberlândia, dos arquitetos Fernando Graça, Flávio Almada e Ivan Curpertino (1970), este trabalho objetiva conduzir uma discussão acerca da produção de arquitetura moderna no Triângulo Mineiro ligada às estratégias de transportes intermunicipais como própria cultura de desenvolvimento econômico da região. Nos interessa valer do debate entre o uso da estética brutalista, e da própria escolha por uma arquitetura moderna, como artifício no plano de desenvolvimento das empresas de transporte, e dos governos locais. Sobretudo, discutir as interlocuções do Triângulo Mineiro com São Paulo, rebatendo-as na formação do conjunto arquitetonico moderno produzido na região. Este trabalho é fruto da pesquisa de mestrado da autora cujo tema central é a difusão da arquitetura moderna no Triângulo Mineiro e Alto Paranaíba, pelo Iau/Usp, e financiado pela Capes.

Grandparents Left with AIDS-orphans; Challenges and Strategies Handling Poverty and Stigma

By 2010 it is estimated that one third of the African children will be orphans as an effect of HIV/AIDS. The crisis is already a fact and most orphans are absorbed by the extended family where the grandparents become the primary caretakers. This qualitative study was carried out in Kenya to explore the situation of these grandparents and to define their current resources and needs. Eight grandparents living in rural village or urban slum caring for their orphaned grandchildren were interviewed. The results showed that these families live under extremely poor conditions lacking food, other vital neccesities and a basic social network. Local churches and support groups emerged as the grandparents main sources to enhance strength and support. Key factors causing the acute poverty is HIV-related stigma and lack of access to land.

Caracterización del ciclo sexual y del crecimiento folicular terminal en la oveja de la raza canaria

Programa de Medicina y Sanidad Animal

Constraint handling rules. Compositional semantics and program transformation

This thesis intends to investigate two aspects of Constraint Handling Rules (CHR). It proposes a compositional semantics and a technique for program transformation. CHR is a concurrent committed-choice constraint logic programming language consisting of guarded rules, which transform multi-sets of atomic formulas (constraints) into simpler ones until exhaustion [Frü06] and it belongs to the declarative languages family. It was initially designed for writing constraint solvers but it has recently also proven to be a general purpose language, being as it is Turing equivalent [SSD05a]. Compositionality is the first CHR aspect to be considered. A trace based compositional semantics for CHR was previously defined in [DGM05]. The reference operational semantics for such a compositional model was the original operational semantics for CHR which, due to the propagation rule, admits trivial non-termination. In this thesis we extend the work of [DGM05] by introducing a more refined trace based compositional semantics which also includes the history. The use of history is a well-known technique in CHR which permits us to trace the application of propagation rules and consequently it permits trivial non-termination avoidance [Abd97, DSGdlBH04]. Naturally, the reference operational semantics, of our new compositional one, uses history to avoid trivial non-termination too. Program transformation is the second CHR aspect to be considered, with particular regard to the unfolding technique. Said technique is an appealing approach which allows us to optimize a given program and in more detail to improve run-time efficiency or spaceconsumption. Essentially it consists of a sequence of syntactic program manipulations which preserve a kind of semantic equivalence called qualified answer [Frü98], between the original program and the transformed ones. The unfolding technique is one of the basic operations which is used by most program transformation systems. It consists in the replacement of a procedure-call by its definition. In CHR every conjunction of constraints can be considered as a procedure-call, every CHR rule can be considered as a procedure and the body of said rule represents the definition of the call. While there is a large body of literature on transformation and unfolding of sequential programs, very few papers have addressed this issue for concurrent languages. We define an unfolding rule, show its correctness and discuss some conditions in which it can be used to delete an unfolded rule while preserving the meaning of the original program. Finally, confluence and termination maintenance between the original and transformed programs are shown. This thesis is organized in the following manner. Chapter 1 gives some general notion about CHR. Section 1.1 outlines the history of programming languages with particular attention to CHR and related languages. Then, Section 1.2 introduces CHR using examples. Section 1.3 gives some preliminaries which will be used during the thesis. Subsequentely, Section 1.4 introduces the syntax and the operational and declarative semantics for the first CHR language proposed. Finally, the methodologies to solve the problem of trivial non-termination related to propagation rules are discussed in Section 1.5. Chapter 2 introduces a compositional semantics for CHR where the propagation rules are considered. In particular, Section 2.1 contains the definition of the semantics. Hence, Section 2.2 presents the compositionality results. Afterwards Section 2.3 expounds upon the correctness results. Chapter 3 presents a particular program transformation known as unfolding. This transformation needs a particular syntax called annotated which is introduced in Section 3.1 and its related modified operational semantics !0t is presented in Section 3.2. Subsequently, Section 3.3 defines the unfolding rule and prove its correctness. Then, in Section 3.4 the problems related to the replacement of a rule by its unfolded version are discussed and this in turn gives a correctness condition which holds for a specific class of rules. Section 3.5 proves that confluence and termination are preserved by the program modifications introduced. Finally, Chapter 4 concludes by discussing related works and directions for future work.

Il Sistema Gateway nello sviluppo della rete del trasporto combinato in Europa: il caso del terminal di Verona Quadrante Europa

Il trasporto intermodale ha acquisito un ruolo sempre più importante nello scenario dei trasporti comunitari merci durante gli ultimi quindici anni. La sfida che si era posta a inizi anni novanta in Europa consisteva nello sviluppo di una rete europea di trasporto combinato strada-ferrovia. A questo fine è stata fondamentale la cooperazione tra gli operatori del settore e le istituzioni (comunitarie e nazionali), nonché l’impulso dato dalla liberalizzazione del trasporto ferroviario, che fortemente influenza il trasporto combinato. Questa tesi, in particolare, intende studiare il ruolo del Sistema Gateway come strumento innovativo e di nuovo impulso per lo sviluppo della rete di trasporto combinato strada-rotaia in ambito europeo. Grazie a questo sistema, le unità di carico, dirette in una determinata regione, giungono ad un "Terminal Gateway", dove secondo un sistema di tipo “hub-and-spoke” vengono trasbordate a mezzo gru su treni “Shuttle” verso la destinazione finale. Tutto ciò avviene con operazioni fortemente automatizzate e veloci con sensibile vantaggio in termini di tempo e costi. La tesi parte da una descrizione del trasporto intermodale, facendo un focus sugli aspetti strutturali, tecnici e organizzativi del trasporto combinato strada – rotaia e del suo funzionamento. Passando attraverso l’analisi delle reti di trasporto merci in Europa, nel secondo capitolo. Il terzo capitolo entra nel vivo della Tesi introducendo l’oggetto dell’indagine: il Sistema Gateway nell’ambito dello sviluppo della rete europea del traffico combinato strada-ferrovia. Nella seconda parte della tesi è voluto studiare il Sistema Gateway con l’ausilio dei metodi d’analisi che vengono applicati per la scelta fra progetti alternativi nel campo della pianificazione dei trasporti, pertanto sono stati presi in rassegna e descritti i metodi più utilizzati: l’Analisi Benefici-Costi e l’Analisi Multicriteria. Nel caso applicativo è stata utilizzata l’Analisi Benefici-Costi. Infine nel capitolo sesto è stato presentato dettagliatamente il caso reale di studio che riguarda il progetto per la trasformazione del terminal di Verona Quadrante Europa in un terminal gateway.

Fluid dynamic analysis and modelling of industrial chemical equipment

The research is aimed at contributing to the identification of reliable fully predictive Computational Fluid Dynamics (CFD) methods for the numerical simulation of equipment typically adopted in the chemical and process industries. The apparatuses selected for the investigation, specifically membrane modules, stirred vessels and fluidized beds, were characterized by a different and often complex fluid dynamic behaviour and in some cases the momentum transfer phenomena were coupled with mass transfer or multiphase interactions. Firs of all, a novel modelling approach based on CFD for the prediction of the gas separation process in membrane modules for hydrogen purification is developed. The reliability of the gas velocity field calculated numerically is assessed by comparison of the predictions with experimental velocity data collected by Particle Image Velocimetry, while the applicability of the model to properly predict the separation process under a wide range of operating conditions is assessed through a strict comparison with permeation experimental data. Then, the effect of numerical issues on the RANS-based predictions of single phase stirred tanks is analysed. The homogenisation process of a scalar tracer is also investigated and simulation results are compared to original passive tracer homogenisation curves determined with Planar Laser Induced Fluorescence. The capability of a CFD approach based on the solution of RANS equations is also investigated for describing the fluid dynamic characteristics of the dispersion of organics in water. Finally, an Eulerian-Eulerian fluid-dynamic model is used to simulate mono-disperse suspensions of Geldart A Group particles fluidized by a Newtonian incompressible fluid as well as binary segregating fluidized beds of particles differing in size and density. The results obtained under a number of different operating conditions are compared with literature experimental data and the effect of numerical uncertainties on axial segregation is also discussed.

Analisi di performance di un terminal aeroportuale e sistemi a coda: studio teorico e applicazione numerica per la mobilità land-side dell'aeroporto `G.Marconi' di Bologna

Questa tesi si propone di indagare l'impatto di alcuni scenari di sviluppo aeroportuale legati alla prevista implementazione di un sistema di trasporto APM - People Mover, in termini di performance del terminal passeggeri dell'Aeroporto `G.Marconi' di Bologna, per fornire soluzioni efficaci alla mobilità. Il background teorico è rappresentato dai risultati ottenuti dalla ricerca sperimentale e ormai acquisiti dalla trattazione classica per code markoviane avanzate (bulk queus), mentre il metodo messo a punto, del tutto generale,parte dagli arrivi schedulati e attraverso una serie di considerazioni econometriche costruisce una serie di scenari differenti,implementati poi attraverso la simulazione dinamica con l'utilizzo del software ARENA. Le principali grandezze di stato descrittive dei processi modellizzati ottenute in output vengono confrontate e valutate nel complesso, fornendo in prima approssimazione previsioni sull'efficacia del sistema previsto. Da ultimo, vengono proposti e confrontati i due approcci forniti tanto dalla manualistica di settore quanto da contributi di ricerca per arrivare a definire un dimensionamento di massima di strutture per la mobilità (una passerella di collegamento del terminal alla stazione APM) e una verifica della piattaforma per l'attesa ad essa contigua.