Epidemiologic aspects of the malaria transmission cycle in an area of very low incidence in Brazil

Abstract Background Extra-Amazonian autochthonous Plasmodium vivax infections have been reported in mountainous regions surrounded by the Atlantic Forest in Espírito Santo state, Brazil. Methods Sixty-five patients and 1,777 residents were surveyed between April 2001 and March 2004. Laboratory methods included thin and thick smears, multiplex-PCR, immunofluorescent assay (IFA) against P. vivax and Plasmodium malariae crude blood-stage antigens and enzyme-linked immunosorbent assay (ELISA) for antibodies against the P. vivax-complex (P. vivax and variants) and P. malariae/Plasmodium brasilianum circumsporozoite-protein (CSP) antigens. Results Average patient age was 35.1 years. Most (78.5%) were males; 64.6% lived in rural areas; 35.4% were farmers; and 12.3% students. There was no relevant history of travel. Ninety-five per cent of the patients were experiencing their first episode of malaria. Laboratory data from 51 patients were consistent with P. vivax infection, which was determined by thin smear. Of these samples, 48 were assayed by multiplex-PCR. Forty-five were positive for P. vivax, confirming the parasitological results, while P. malariae was detected in one sample and two gave negative results. Fifty percent of the 50 patients tested had IgG antibodies against the P. vivax-complex or P. malariae CSP as determined by ELISA. The percentages of residents with IgM and IgG antibodies detected by IFA for P. malariae, P. vivax and Plasmodium falciparum who did not complain of malaria symptoms at the time blood was collected were 30.1% and 56.5%, 6.2% and 37.7%, and 13.5% and 13%, respectively. The same sera that reacted to P. vivax also reacted to P. malariae. The following numbers of samples were positive in multiplex-PCR: 23 for P. vivax; 15 for P. malariae; 9 for P. falciparum and only one for P. falciparum and P. malariae. All thin and thick smears were negative. ELISA against CSP antigens was positive in 25.4%, 6.3%, 10.7% and 15.1% of the samples tested for "classical" P. vivax (VK210), VK247, P. vivax-like and P. malariae, respectively. Anopheline captures in the transmission area revealed only zoophilic and exophilic species. Conclusion The low incidence of malaria cases, the finding of asymptomatic inhabitants and the geographic separation of patients allied to serological and molecular results raise the possibility of the existence of a simian reservoir in these areas.

Genetic aspects of adolescent idiopathic scoliosis in a family with multiple affected members: a research article

Abstract Background The etiology of idiopathic scoliosis remains unknown and different factors have been suggested as causal. Hereditary factors can also determine the etiology of the disease; however, the pattern of inheritance remains unknown. Autosomal dominant, X-linked and multifactorial patterns of inheritances have been reported. Other studies have suggested possible chromosome regions related to the etiology of idiopathic scoliosis. We report the genetic aspects of and investigate chromosome regions for adolescent idiopathic scoliosis in a Brazilian family. Methods Evaluation of 57 family members, distributed over 4 generations of a Brazilian family, with 9 carriers of adolescent idiopathic scoliosis. The proband presented a scoliotic curve of 75 degrees, as determined by the Cobb method. Genomic DNA from family members was genotyped. Results Locating a chromosome region linked to adolescent idiopathic scoliosis was not possible in the family studied. Conclusion While it was not possible to determine a chromosome region responsible for adolescent idiopathic scoliosis by investigation of genetic linkage using microsatellites markers during analysis of four generations of a Brazilian family with multiple affected members, analysis including other types of genomic variations, like single nucleotide polymorphisms (SNPs) could contribute to the continuity of this study.

Antioxidant and inflammatory aspects of lipoprotein-associated phospholipase A2 (Lp-PLA2 ): a review

The association of cardiovascular events with Lp-PLA2 has been studied continuously today. The enzyme has been strongly associated with several cardiovascular risk markers and events. Its discovery was directly related to the hydrolysis of the platelet-activating factor and oxidized phospholipids, which are considered protective functions. However, the hydrolysis of bioactive lipids generates lysophospholipids, compounds that have a pro-inflammatory function. Therefore, the evaluation of the distribution of Lp-PLA2 in the lipid fractions emphasized the dual role of the enzyme in the inflammatory process, since the HDL-Lp-PLA2 enzyme contributes to the reduction of atherosclerosis, while LDL-Lp-PLA2 stimulates this process. Recently, it has been verified that diet components and drugs can influence the enzyme activity and concentration. Thus, the effects of these treatments on Lp-PLA2 may represent a new kind of prevention of cardiovascular disease. Therefore, the association of the enzyme with the traditional assessment of cardiovascular risk may help to predict more accurately these diseases.

Electroconvulsive therapy use in adolescents: a systematic review

Abstract Background Considered as a moment of psychological vulnerability, adolescence is remarkably a risky period for the development of psychopathologies, when the choice of the correct therapeutic approach is crucial for achieving remission. One of the researched therapies in this case is electroconvulsive therapy (ECT). The present study reviews the recent and classical aspects regarding ECT use in adolescents. Methods Systematic review, performed in November 2012, conformed to the PRISMA statement. Results From the 212 retrieved articles, only 39 were included in the final sample. The reviewed studies bring indications of ECT use in adolescents, evaluate the efficiency of this therapy regarding remission, and explore the potential risks and complications of the procedure. Conclusions ECT use in adolescents is considered a highly efficient option for treating several psychiatric disorders, achieving high remission rates, and presenting few and relatively benign adverse effects. Risks can be mitigated by the correct use of the technique and are considered minimal when compared to the efficiency of ECT in treating psychopathologies.

Epidemiological aspects of American cutaneous leishmaniasis and phlebotomine sandfly population, in the municipality of Monte Negro, State of Rondônia, Brazil

INTRODUCTION: This work was carried out on the purpose of identifying the species of phlebotomine sandflies in the municipality of Monte Negro, state of Rondonia, Brazil, that may have been transmitting the American cutaneous leishmaniasis (ACL), and concisely describe epidemiological aspects of disease. METHODS: The epidemiologic and socioeconomical indicators were obtained from government institutions and the local Municipal Secretary of Health. Phlebotomine sandflies were captured using CDC light traps between July 2006 to July 2008. The total of 1,240 of female sandflies were examined by PCR method directed to k-DNA. RESULTS: There has been a significant decrease in the incidence of ACL of about 50% over the last ten years in the municipality. A total of 1,935 specimens of 53 sandfly species were captured, three of the genus Brumptomyia genus and 50 of the genus Lutzomyia. The predominant species was Lutzomyia acanthopharynx, Lutzomyia whitmani, Lutzomyia geniculata and Lutzomyia davisi. None were positive for Leishmania sp. CONCLUSIONS: Four sandflies species were found in the State of Rondonia for the first time: Brumptomyia brumpti, Lutzomyia tarapacaensis, Lutzomyia melloi and Lutzomyia lenti. The presence of Lutzomyia longipalpis, was also captured. Socioeconomical improvement of Brazilian economy and the increase of environmental surveillance in the last 15 years collaborated in the decrease of people exposed to vectors, reducing the incidence of ACL.

Salt stress responses in pear and quince: physiological and molecular aspects

The productivity of agricultural crops is seriously limited by salinity. This problem is rapidly increasing, particularly in irrigated lands. Like almost all the fruit tree species, Pyrus communis is generally considered a salt sensitive species, but only little information is available on its behavior under saline conditions. Previous studies, carried out in the Department of Fruit Tree and Woody Plant Science (University of Bologna), focused their attention on pear and quince salt stress responses to understand which rootstock would be the most suitable for pear in order to tolerate a salt stress condition. It has been reported that pear and quince have different ability in the uptake, translocation and accumulation of chloride (Cl-) and sodium (Na+) ions, when plants were irrigated for one season with saline water (5 dS/m). The aim of the present work was to deepen these aspects and investigate salt stress responses in pear and quince. Two different experiments have been performed: a “short-term” trial in a growth chamber and a “long-term” experiment in the open field. In the short-term experiment, three different genotypes usually adopted as pear rootstocks (MC, BA29 and Farold®40) and the pear variety Abbé Fétel own rooted have been compared under salt stress conditions. The trial was performed in a hydroponic culture system, applying a 90 mM NaCl stress to half of the plants, after five weeks of normal growth in Hoagland’s solution. During the three-weeks of salt stress treatment, physiological, mineral and molecular analyses were performed in order to monitor, for each genotype, the development of the salt stress responses in comparison with the corresponding “unstressed” plants. Farold®40 and Abbé Fétel own rooted showed the onset of leaf necrosis, due to salt toxicity, one week before quinces. Moreover, quinces displayed a significant delay in premature senescence of old leaves, while pears emerged for their ability to regenerate new leaves from apparently dead foliage with the salt stress still running. Physiological measurements, such as shoots length, chlorophyll (Chl) content, and photosynthesis, have been carried out and revealed that pears exhibited a significant reduction in water content and a wilting aspect, while for quinces a decrease in Chl content and a growth slowdown were observed. At the end of the trial, all plants were collected and organs separated for dry weight estimation and mineral analyses (Cu, Fe, Mn, Zn Mg, Ca, K, Na and Cl). Mineral contents have been affected by salinity; same macro/micro nutrients were altered in some organs or relocated within the plant. This plant response could have partially contributed to face the salt stress. Leaves and roots have been harvested for molecular analyses at four different times during stress conditions. Molecular analyses consisted of the gene expression study of three main ion transporters, well known in Arabidopsis thaliana as salt-tolerance determinants in the “SOS” pathway: NHX1 (tonoplast Na+/H+ antiporter), SOS1 (plasmalemma Na+/H+ antiporter) and HKT1 (K+ high-affinity and Na+ low-affinity transporter). These studies showed that two quince rootstocks adopted different responsive mechanisms to NaCl stress. BA29 increased its Na+ sequestration activity into leaf vacuoles, while MC enhanced temporarily the same ability, but in roots. Farold®40, instead, exhibited increases in SOS1 and HKT1 expression mainly at leaf level in the attempt to retrieve Na+ from xylem, while Abbé Fétel differently altered the expression of these genes in roots. Finally, each genotype showed a peculiar response to salt stress that was the sum of its ability in Na+ exclusion, osmotic tolerance and tissue tolerance. In the long-term experiment, potted trees of the pear variety Abbé Fétel grafted on different rootstocks (MC, BA29 and Farold®40), or own rooted and also rootstocks only were subjected to a salt stress through saline water irrigation with an electrical conductivity of 5 dS/m for two years. The purposes of this study were to evaluate salinity effects on physiological (shoot length, number of buds, photosynthesis, etc.) and yield parameters of cultivar Abbé Fétel in the different combinations and to determine the salt amount that pear is able to tolerate over the years. With this work, we confirmed the previous hypothesis that pear, despite being classified as a salt-sensitive fruit tree, can be cultivated for two years under saline water irrigation, without showing any salt toxicity symptoms or severe drawbacks on plant development and production. Among different combinations, Abbé Fétel grafted on MC resulted interesting for its peculiar behaviors under salt stress conditions. In the near future, further investigations on physiological and molecular aspects will be necessary to enrich and broaden the knowledge of salt stress responses in pear.

Aspects of Integrability in Gauge/String Correspondence

In this thesis, we present our work about some generalisations of ideas, techniques and physical interpretations typical for integrable models to one of the most outstanding advances in theoretical physics of nowadays: the AdS/CFT correspondences. We have undertaken the problem of testing this conjectured duality under various points of view, but with a clear starting point - the integrability - and with a clear ambitious task in mind: to study the finite-size effects in the energy spectrum of certain string solutions on a side and in the anomalous dimensions of the gauge theory on the other. Of course, the final desire woul be the exact comparison between these two faces of the gauge/string duality. In few words, the original part of this work consists in application of well known integrability technologies, in large parte borrowed by the study of relativistic (1+1)-dimensional integrable quantum field theories, to the highly non-relativisic and much complicated case of the thoeries involved in the recent conjectures of AdS5/CFT4 and AdS4/CFT3 corrspondences. In details, exploiting the spin chain nature of the dilatation operator of N = 4 Super-Yang-Mills theory, we concentrated our attention on one of the most important sector, namely the SL(2) sector - which is also very intersting for the QCD understanding - by formulating a new type of nonlinear integral equation (NLIE) based on a previously guessed asymptotic Bethe Ansatz. The solutions of this Bethe Ansatz are characterised by the length L of the correspondent spin chain and by the number s of its excitations. A NLIE allows one, at least in principle, to make analytical and numerical calculations for arbitrary values of these parameters. The results have been rather exciting. In the important regime of high Lorentz spin, the NLIE clarifies how it reduces to a linear integral equations which governs the subleading order in s, o(s0). This also holds in the regime with L ! 1, L/ ln s finite (long operators case). This region of parameters has been particularly investigated in literature especially because of an intriguing limit into the O(6) sigma model defined on the string side. One of the most powerful methods to keep under control the finite-size spectrum of an integrable relativistic theory is the so called thermodynamic Bethe Ansatz (TBA). We proposed a highly non-trivial generalisation of this technique to the non-relativistic case of AdS5/CFT4 and made the first steps in order to determine its full spectrum - of energies for the AdS side, of anomalous dimensions for the CFT one - at any values of the coupling constant and of the size. At the leading order in the size parameter, the calculation of the finite-size corrections is much simpler and does not necessitate the TBA. It consists in deriving for a nonrelativistc case a method, invented for the first time by L¨uscher to compute the finite-size effects on the mass spectrum of relativisic theories. So, we have formulated a new version of this approach to adapt it to the case of recently found classical string solutions on AdS4 × CP3, inside the new conjecture of an AdS4/CFT3 correspondence. Our results in part confirm the string and algebraic curve calculations, in part are completely new and then could be better understood by the rapidly evolving developments of this extremely exciting research field.

La psicologia della Gestalt. Ricerche teoriche e sperimentali sulla percezione sonora e musicale (1890-1939)

The aim of the present work is a historical survey on Gestalt trends in psychological research between late 19th and the first half of 20th century with privileged reference to sound and musical perception by means of a reconsideration of experimental and theoretical literature. Ernst Mach and Christian von Ehrenfels gave rise to the debate about Gestaltqualität which notably grew thanks to the ‘Graz School’ (Alexius Meinong, Stephan Witasek, Anton Faist, Vittorio Benussi), where the object theory and the production theory of perception were worked out. Stumpf’s research on Tonpsychologie and Franz Brentano’s tradition of ‘act psychology’ were directly involved in this debate, opposing to Wilhelm Wundt’s conception of the discipline; this clearly came to light in Stumpf’s controversy with Carl Lorenz and Wundt on Tondistanzen. Stumpf’s concept of Verschmelzung and his views about consonance and concordance led him to some disputes with Theodor Lipps and Felix Krueger, lasting more than two decades. Carl Stumpf was responsible for education of a new generation of scholars during his teaching at the Berlin University: his pupils Wolfgang Köhler, Kurt Koffka and Max Wertheimer established the so-called ‘Berlin School’ and promoted the official Gestalt theory since the 1910s. After 1922 until 1938 they gave life and led together with other distinguished scientists the «Psychologische Forschung», a scientific journal in which ‘Gestalt laws’ and many other acoustical studies on different themes (such as sound localization, successive comparison, phonetic phenomena) were exposed. During the 1920s Erich Moritz von Hornbostel gave important contributions towards the definition of an organic Tonsystem in which sound phenomena could find adequate arrangement. Last section of the work contains descriptions of Albert Wellek’s studies, Kurt Huber’s vowel researches and aspects of melody perception, apparent movement and phi-phenomenon in acoustical field. The work contains also some considerations on the relationships among tone psychology, musical psychology, Gestalt psychology, musical aesthetics and musical theory. Finally, the way Gestalt psychology changed earlier interpretations is exemplified by the decisive renewal of perception theory, the abandon of Konstanzannahme, some repercussions on theory of meaning as organization and on feelings in musical experience.

Bioengineering of exercise: biomechanical and metabolic aspects

The field of research of this dissertation concerns the bioengineering of exercise, in particular the relationship between biomechanical and metabolic knowledge. This relationship can allow to evaluate exercise in many different circumstances: optimizing athlete performance, understanding and helping compensation in prosthetic patients and prescribing exercise with high caloric consumption and minimal joint loading to obese subjects. Furthermore, it can have technical application in fitness and rehabilitation machine design, predicting energy consumption and joint loads for the subjects who will use the machine. The aim of this dissertation was to further understand how mechanical work and metabolic energy cost are related during movement using interpretative models. Musculoskeletal models, when including muscle energy expenditure description, can be useful to address this issue, allowing to evaluate human movement in terms of both mechanical and metabolic energy expenditure. A whole body muscle-skeletal model that could describe both biomechanical and metabolic aspects during movement was identified in literature and then was applied and validated using an EMG-driven approach. The advantage of using EMG driven approach was to avoid the use of arbitrary defined optimization functions to solve the indeterminate problem of muscle activations. A sensitivity analysis was conducted in order to know how much changes in model parameters could affect model outputs: the results showed that changing parameters in between physiological ranges did not influence model outputs largely. In order to evaluate its predicting capacity, the musculoskeletal model was applied to experimental data: first the model was applied in a simple exercise (unilateral leg press exercise) and then in a more complete exercise (elliptical exercise). In these studies, energy consumption predicted by the model resulted to be close to energy consumption estimated by indirect calorimetry for different intensity levels at low frequencies of movement. The use of muscle skeletal models for predicting energy consumption resulted to be promising and the use of EMG driven approach permitted to avoid the introduction of optimization functions. Even though many aspects of this approach have still to be investigated and these results are preliminary, the conclusions of this dissertation suggest that musculoskeletal modelling can be a useful tool for addressing issues about efficiency of movement in healthy and pathologic subjects.

Body ares networks for human motor assessment

Healthcare, Human Computer Interfaces (HCI), Security and Biometry are the most promising application scenario directly involved in the Body Area Networks (BANs) evolution. Both wearable devices and sensors directly integrated in garments envision a word in which each of us is supervised by an invisible assistant monitoring our health and daily-life activities. New opportunities are enabled because improvements in sensors miniaturization and transmission efficiency of the wireless protocols, that achieved the integration of high computational power aboard independent, energy-autonomous, small form factor devices. Application’s purposes are various: (I) data collection to achieve off-line knowledge discovery; (II) user notification of his/her activities or in case a danger occurs; (III) biofeedback rehabilitation; (IV) remote alarm activation in case the subject need assistance; (V) introduction of a more natural interaction with the surrounding computerized environment; (VI) users identification by physiological or behavioral characteristics. Telemedicine and mHealth [1] are two of the leading concepts directly related to healthcare. The capability to borne unobtrusiveness objects supports users’ autonomy. A new sense of freedom is shown to the user, not only supported by a psychological help but a real safety improvement. Furthermore, medical community aims the introduction of new devices to innovate patient treatments. In particular, the extension of the ambulatory analysis in the real life scenario by proving continuous acquisition. The wide diffusion of emerging wellness portable equipment extended the usability of wearable devices also for fitness and training by monitoring user performance on the working task. The learning of the right execution techniques related to work, sport, music can be supported by an electronic trainer furnishing the adequate aid. HCIs made real the concept of Ubiquitous, Pervasive Computing and Calm Technology introduced in the 1988 by Marc Weiser and John Seeley Brown. They promotes the creation of pervasive environments, enhancing the human experience. Context aware, adaptive and proactive environments serve and help people by becoming sensitive and reactive to their presence, since electronics is ubiquitous and deployed everywhere. In this thesis we pay attention to the integration of all the aspects involved in a BAN development. Starting from the choice of sensors we design the node, configure the radio network, implement real-time data analysis and provide a feedback to the user. We present algorithms to be implemented in wearable assistant for posture and gait analysis and to provide assistance on different walking conditions, preventing falls. Our aim, expressed by the idea to contribute at the development of a non proprietary solutions, driven us to integrate commercial and standard solutions in our devices. We use sensors available on the market and avoided to design specialized sensors in ASIC technologies. We employ standard radio protocol and open source projects when it was achieved. The specific contributions of the PhD research activities are presented and discussed in the following. • We have designed and build several wireless sensor node providing both sensing and actuator capability making the focus on the flexibility, small form factor and low power consumption. The key idea was to develop a simple and general purpose architecture for rapid analysis, prototyping and deployment of BAN solutions. Two different sensing units are integrated: kinematic (3D accelerometer and 3D gyroscopes) and kinetic (foot-floor contact pressure forces). Two kind of feedbacks were implemented: audio and vibrotactile. • Since the system built is a suitable platform for testing and measuring the features and the constraints of a sensor network (radio communication, network protocols, power consumption and autonomy), we made a comparison between Bluetooth and ZigBee performance in terms of throughput and energy efficiency. Test in the field evaluate the usability in the fall detection scenario. • To prove the flexibility of the architecture designed, we have implemented a wearable system for human posture rehabilitation. The application was developed in conjunction with biomedical engineers who provided the audio-algorithms to furnish a biofeedback to the user about his/her stability. • We explored off-line gait analysis of collected data, developing an algorithm to detect foot inclination in the sagittal plane, during walk. • In collaboration with the Wearable Lab – ETH, Zurich, we developed an algorithm to monitor the user during several walking condition where the user carry a load. The remainder of the thesis is organized as follows. Chapter I gives an overview about Body Area Networks (BANs), illustrating the relevant features of this technology and the key challenges still open. It concludes with a short list of the real solutions and prototypes proposed by academic research and manufacturers. The domain of the posture and gait analysis, the methodologies, and the technologies used to provide real-time feedback on detected events, are illustrated in Chapter II. The Chapter III and IV, respectively, shown BANs developed with the purpose to detect fall and monitor the gait taking advantage by two inertial measurement unit and baropodometric insoles. Chapter V reports an audio-biofeedback system to improve balance on the information provided by the use centre of mass. A walking assistant based on the KNN classifier to detect walking alteration on load carriage, is described in Chapter VI.

Influence of processing conditions on quality aspects of potato-based fresh pasta

Gnocchi is a typical Italian potato-based fresh pasta that can be either homemade or industrially manufactured. The homemade traditional product is consumed fresh on the day it is produced, whereas the industrially manufactured one is vacuum-packed in polyethylene and usually stored at refrigerated conditions. At industrial level, most kinds of gnocchi are usually produced by using some potato derivatives (i.e. flakes, dehydrated products or flour) to which soft wheat flour, salt, some emulsifiers and aromas are added. Recently, a novel type of gnocchi emerged on the Italian pasta market, since it would be as much similar as possible to the traditional homemade one. It is industrially produced from fresh potatoes as main ingredient and soft wheat flour, pasteurized liquid eggs and salt, moreover this product undergoes steam cooking and mashing industrial treatments. Neither preservatives nor emulsifiers are included in the recipe. The main aim of this work was to get inside the industrial manufacture of gnocchi, in order to improve the quality characteristics of the final product, by the study of the main steps of the production, starting from the raw and steam cooked tubers, through the semi-finished materials, such as the potato puree and the formulated dough. For this purpose the investigation of the enzymatic activity of the raw and steam cooked potatoes, the main characteristics of the puree (colour, texture and starch), the interaction among ingredients of differently formulated doughs and the basic quality aspects of the final product have been performed. Results obtained in this work indicated that steam cooking influenced the analysed enzymes (Pectin methylesterase and α- and β-amylases) in different tissues of the tuber. PME resulted still active in the cortex, it therefore may affect the texture of cooked potatoes to be used as main ingredient in the production of gnocchi. Starch degrading enzymes (α- and β-amylases) were inactivated both in the cortex and in the pith of the tuber. The study performed on the potato puree showed that, between the two analysed samples, the product which employed dual lower pressure treatments seemed to be the most suitable to the production of gnocchi, in terms of its better physicochemical and textural properties. It did not evidence aggregation phenomena responsible of hard lumps, which may occur in this kind of semi-finished product. The textural properties of gnocchi doughs were not influenced by the different formulation as expected. Among the ingredients involved in the preparation of the different samples, soft wheat flour seemed to be the most crucial in affecting the quality features of gnocchi doughs. As a consequence of the interactive effect of the ingredients on the physicochemical and textural characteristics of the different doughs, a uniform and well-defined split-up among samples was not obtained. In the comparison of different kinds of gnocchi, the optimal physicochemical and textural properties were detected in the sample made with fresh tubers. This was probably caused not only by the use of fresh steam cooked potatoes, but also by the pasteurized liquid eggs and by the absence of any kind of emulsifier, additive or preserving substance.

Biomass Gasification - Process analysis and dimensioning aspects for downdraft units and gas cleaning lines

In such territories where food production is mostly scattered in several small / medium size or even domestic farms, a lot of heterogeneous residues are produced yearly, since farmers usually carry out different activities in their properties. The amount and composition of farm residues, therefore, widely change during year, according to the single production process periodically achieved. Coupling high efficiency micro-cogeneration energy units with easy handling biomass conversion equipments, suitable to treat different materials, would provide many important advantages to the farmers and to the community as well, so that the increase in feedstock flexibility of gasification units is nowadays seen as a further paramount step towards their wide spreading in rural areas and as a real necessity for their utilization at small scale. Two main research topics were thought to be of main concern at this purpose, and they were therefore discussed in this work: the investigation of fuels properties impact on gasification process development and the technical feasibility of small scale gasification units integration with cogeneration systems. According to these two main aspects, the present work was thus divided in two main parts. The first one is focused on the biomass gasification process, that was investigated in its theoretical aspects and then analytically modelled in order to simulate thermo-chemical conversion of different biomass fuels, such as wood (park waste wood and softwood), wheat straw, sewage sludge and refuse derived fuels. The main idea is to correlate the results of reactor design procedures with the physical properties of biomasses and the corresponding working conditions of gasifiers (temperature profile, above all), in order to point out the main differences which prevent the use of the same conversion unit for different materials. At this scope, a gasification kinetic free model was initially developed in Excel sheets, considering different values of air to biomass ratio and the downdraft gasification technology as particular examined application. The differences in syngas production and working conditions (process temperatures, above all) among the considered fuels were tried to be connected to some biomass properties, such elementary composition, ash and water contents. The novelty of this analytical approach was the use of kinetic constants ratio in order to determine oxygen distribution among the different oxidation reactions (regarding volatile matter only) while equilibrium of water gas shift reaction was considered in gasification zone, by which the energy and mass balances involved in the process algorithm were linked together, as well. Moreover, the main advantage of this analytical tool is the easiness by which the input data corresponding to the particular biomass materials can be inserted into the model, so that a rapid evaluation on their own thermo-chemical conversion properties is possible to be obtained, mainly based on their chemical composition A good conformity of the model results with the other literature and experimental data was detected for almost all the considered materials (except for refuse derived fuels, because of their unfitting chemical composition with the model assumptions). Successively, a dimensioning procedure for open core downdraft gasifiers was set up, by the analysis on the fundamental thermo-physical and thermo-chemical mechanisms which are supposed to regulate the main solid conversion steps involved in the gasification process. Gasification units were schematically subdivided in four reaction zones, respectively corresponding to biomass heating, solids drying, pyrolysis and char gasification processes, and the time required for the full development of each of these steps was correlated to the kinetics rates (for pyrolysis and char gasification processes only) and to the heat and mass transfer phenomena from gas to solid phase. On the basis of this analysis and according to the kinetic free model results and biomass physical properties (particles size, above all) it was achieved that for all the considered materials char gasification step is kinetically limited and therefore temperature is the main working parameter controlling this step. Solids drying is mainly regulated by heat transfer from bulk gas to the inner layers of particles and the corresponding time especially depends on particle size. Biomass heating is almost totally achieved by the radiative heat transfer from the hot walls of reactor to the bed of material. For pyrolysis, instead, working temperature, particles size and the same nature of biomass (through its own pyrolysis heat) have all comparable weights on the process development, so that the corresponding time can be differently depending on one of these factors according to the particular fuel is gasified and the particular conditions are established inside the gasifier. The same analysis also led to the estimation of reaction zone volumes for each biomass fuel, so as a comparison among the dimensions of the differently fed gasification units was finally accomplished. Each biomass material showed a different volumes distribution, so that any dimensioned gasification unit does not seem to be suitable for more than one biomass species. Nevertheless, since reactors diameters were found out quite similar for all the examined materials, it could be envisaged to design a single units for all of them by adopting the largest diameter and by combining together the maximum heights of each reaction zone, as they were calculated for the different biomasses. A total height of gasifier as around 2400mm would be obtained in this case. Besides, by arranging air injecting nozzles at different levels along the reactor, gasification zone could be properly set up according to the particular material is in turn gasified. Finally, since gasification and pyrolysis times were found to considerably change according to even short temperature variations, it could be also envisaged to regulate air feeding rate for each gasified material (which process temperatures depend on), so as the available reactor volumes would be suitable for the complete development of solid conversion in each case, without even changing fluid dynamics behaviour of the unit as well as air/biomass ratio in noticeable measure. The second part of this work dealt with the gas cleaning systems to be adopted downstream the gasifiers in order to run high efficiency CHP units (i.e. internal engines and micro-turbines). Especially in the case multi–fuel gasifiers are assumed to be used, weightier gas cleaning lines need to be envisaged in order to reach the standard gas quality degree required to fuel cogeneration units. Indeed, as the more heterogeneous feed to the gasification unit, several contaminant species can simultaneously be present in the exit gas stream and, as a consequence, suitable gas cleaning systems have to be designed. In this work, an overall study on gas cleaning lines assessment is carried out. Differently from the other research efforts carried out in the same field, the main scope is to define general arrangements for gas cleaning lines suitable to remove several contaminants from the gas stream, independently on the feedstock material and the energy plant size The gas contaminant species taken into account in this analysis were: particulate, tars, sulphur (in H2S form), alkali metals, nitrogen (in NH3 form) and acid gases (in HCl form). For each of these species, alternative cleaning devices were designed according to three different plant sizes, respectively corresponding with 8Nm3/h, 125Nm3/h and 350Nm3/h gas flows. Their performances were examined on the basis of their optimal working conditions (efficiency, temperature and pressure drops, above all) and their own consumption of energy and materials. Successively, the designed units were combined together in different overall gas cleaning line arrangements, paths, by following some technical constraints which were mainly determined from the same performance analysis on the cleaning units and from the presumable synergic effects by contaminants on the right working of some of them (filters clogging, catalysts deactivation, etc.). One of the main issues to be stated in paths design accomplishment was the tars removal from the gas stream, preventing filters plugging and/or line pipes clogging At this scope, a catalytic tars cracking unit was envisaged as the only solution to be adopted, and, therefore, a catalytic material which is able to work at relatively low temperatures was chosen. Nevertheless, a rapid drop in tars cracking efficiency was also estimated for this same material, so that an high frequency of catalysts regeneration and a consequent relevant air consumption for this operation were calculated in all of the cases. Other difficulties had to be overcome in the abatement of alkali metals, which condense at temperatures lower than tars, but they also need to be removed in the first sections of gas cleaning line in order to avoid corrosion of materials. In this case a dry scrubber technology was envisaged, by using the same fine particles filter units and by choosing for them corrosion resistant materials, like ceramic ones. Besides these two solutions which seem to be unavoidable in gas cleaning line design, high temperature gas cleaning lines were not possible to be achieved for the two larger plant sizes, as well. Indeed, as the use of temperature control devices was precluded in the adopted design procedure, ammonia partial oxidation units (as the only considered methods for the abatement of ammonia at high temperature) were not suitable for the large scale units, because of the high increase of reactors temperature by the exothermic reactions involved in the process. In spite of these limitations, yet, overall arrangements for each considered plant size were finally designed, so that the possibility to clean the gas up to the required standard degree was technically demonstrated, even in the case several contaminants are simultaneously present in the gas stream. Moreover, all the possible paths defined for the different plant sizes were compared each others on the basis of some defined operational parameters, among which total pressure drops, total energy losses, number of units and secondary materials consumption. On the basis of this analysis, dry gas cleaning methods proved preferable to the ones including water scrubber technology in al of the cases, especially because of the high water consumption provided by water scrubber units in ammonia adsorption process. This result is yet connected to the possibility to use activated carbon units for ammonia removal and Nahcolite adsorber for chloride acid. The very high efficiency of this latter material is also remarkable. Finally, as an estimation of the overall energy loss pertaining the gas cleaning process, the total enthalpy losses estimated for the three plant sizes were compared with the respective gas streams energy contents, these latter obtained on the basis of low heating value of gas only. This overall study on gas cleaning systems is thus proposed as an analytical tool by which different gas cleaning line configurations can be evaluated, according to the particular practical application they are adopted for and the size of cogeneration unit they are connected to.

Salute e sicurezza sul lavoro: significati e problemi della valutazione dei rischi da stress lavoro-correlato nelle aziende sanitarie

Work environment changes bring new risks, in particular an increase in certain diseases and illnesses caused by stress. The European Agreement of October 2004 defines stress as “a state accompanied by physical, psychological or social dysfunctions, due to the fact that people do not feel able to overcome the gap in relation to requests or expectations for them”. A new strategy aims to reduce accidents and occupational illnesses through a series of actions at European level. The approaches to prevent work related stress must specifically aim to face up organizational and social aspects, to provide training to managers and employees on management of stress, to reduce the impact and to develop suitable systems for rehabilitation and return to work for those who suffered health problems. The enterprises will have to carry out the obligations laid down by legislation, adopting detection systems customised on their size and on their specific interests. Currently manifold tools and methodologies are proposed from different subjects as employer associations, advisors for safety, psychologists etc., but none of these has been identified as a model to follow. After the reconstruction of the theoretical framework where the theme is placed in, the thesis, through a background analysis done by collecting the comments of experts who are involved in the management of occupational safety and the examination of a concrete assessment of work-related stress risk, carried out at a local health authority of Emilia-Romagna region, aims to highlight the main sociological implications related to the emergence of these new risks.

Theoretical and implementation aspects in the mechanization of the metatheory of programming languages

Interactive theorem provers are tools designed for the certification of formal proofs developed by means of man-machine collaboration. Formal proofs obtained in this way cover a large variety of logical theories, ranging from the branches of mainstream mathematics, to the field of software verification. The border between these two worlds is marked by results in theoretical computer science and proofs related to the metatheory of programming languages. This last field, which is an obvious application of interactive theorem proving, poses nonetheless a serious challenge to the users of such tools, due both to the particularly structured way in which these proofs are constructed, and to difficulties related to the management of notions typical of programming languages like variable binding. This thesis is composed of two parts, discussing our experience in the development of the Matita interactive theorem prover and its use in the mechanization of the metatheory of programming languages. More specifically, part I covers: - the results of our effort in providing a better framework for the development of tactics for Matita, in order to make their implementation and debugging easier, also resulting in a much clearer code; - a discussion of the implementation of two tactics, providing infrastructure for the unification of constructor forms and the inversion of inductive predicates; we point out interactions between induction and inversion and provide an advancement over the state of the art. In the second part of the thesis, we focus on aspects related to the formalization of programming languages. We describe two works of ours: - a discussion of basic issues we encountered in our formalizations of part 1A of the Poplmark challenge, where we apply the extended inversion principles we implemented for Matita; - a formalization of an algebraic logical framework, posing more complex challenges, including multiple binding and a form of hereditary substitution; this work adopts, for the encoding of binding, an extension of Masahiko Sato's canonical locally named representation we designed during our visit to the Laboratory for Foundations of Computer Science at the University of Edinburgh, under the supervision of Randy Pollack.

Equine and human mutual welfare: a whole subject? Critical aspects and possible strategies in equine-assisted activities and therapies

General aim of the study is equine welfare, particularly concerning different husbandry methodic and inter-specific relational factors. Specific aim is the evaluation of possible mutual (to humans and to equines) benefits and the analysis of critical factors/strength points, of human-horse relationship within Therapeutic Riding context (TR). The peculiarities of human-horse relationship (compared to the bond with “Pet”) are analyzed, concerning their socio-anthropological, psychological, psycho-dynamic distinctive characteristics. 8 European representative therapeutic riding centers (TRC) were therefore selected (on the basis of their different animals’ husbandry criteria, and of the different rehabilitative methodologies adopted). TRC were investigated through 2 different questionnaires, specifically settled to access objective/subjective animal welfare parameters; the quality of human-horse relationship; technicians’ emotional experienced. 3 Centers were further selected, and behavioral (145 hours of behavioral recording) and physiological parameters (heart rate and heart rate variability) were evaluated, aimed to access equine welfare and horses’ adaptive responses/coping (towards general environment and towards TR job). Moreover a specific “handling-task” was ideated and experimented, aimed to measure the quality of TR technicians-horses relationship. We did therefore evaluate both the individual horses’ responses and the possible differences among Centers. Data collected highlight the lack of univocal standardized methodic, concerning the general animals’ management and the specific methodologies (aimed to improve animal welfare and to empower TR efficacy). Some positive and some critical aspects were detected concerning TR personnel-horse relationship. Another experimental approach did evaluate the efficacy (concerning the mutual benefits’ empowerment) of an “ethologically-fitted” TR intervention, aimed to educate children to and through the relationship with horses. Our data evidenced that the improvement of human horse relationship, through structured educational programs for TR personnel might have important consequences both to human and equine welfare.