Low dynamic muscle strength and its associations with fatigue, functional performance, and quality of life in premenopausal patients with systemic lupus erythematosus and low disease activity: a case–control study

Abstract Background The purpose of the present study was to compare dynamic muscle strength, functional performance, fatigue, and quality of life in premenopausal systemic lupus erythematosus (SLE) patients with low disease activity versus matched-healthy controls and to determine the association of dynamic muscle strength with fatigue, functional performance, and quality of life in SLE patients. Methods We evaluated premenopausal (18–45 years) SLE patients with low disease activity (Systemic lupus erythematosus disease activity index [SLEDAI]: mean 1.5 ± 1.2). The control (n = 25) and patient (n = 25) groups were matched by age, physical characteristics, and the level of physical activities in daily life (International Physical Activity Questionnaire IPAQ). Both groups had not participated in regular exercise programs for at least six months prior to the study. Dynamic muscle strength was assessed by one-repetition maximum (1-RM) tests. Functional performance was assessed by the Timed Up and Go (TUG), in 30-s test a chair stand and arm curl using a 2-kg dumbbell and balance test, handgrip strength and a sit-and-reach flexibility test. Quality of life (SF-36) and fatigue were also measured. Results The SLE patients showed significantly lower dynamic muscle strength in all exercises (leg press 25.63%, leg extension 11.19%, leg curl 15.71%, chest press 18.33%, lat pulldown 13.56%, 1-RM total load 18.12%, P < 0.001-0.02) compared to the controls. The SLE patients also had lower functional performance, greater fatigue and poorer quality of life. In addition, fatigue, SF-36 and functional performance accounted for 52% of the variance in dynamic muscle strength in the SLE patients. Conclusions Premenopausal SLE patients with low disease activity showed lower dynamic muscle strength, along with increased fatigue, reduced functional performance, and poorer quality of life when compared to matched controls.

Impact of diabetes mellitus on arterial stiffness in a representative sample of an urban Brazilian population

Background Independent of other cardiovascular (CV) risk factors, increased arterial stiffness has been established as a predictor of morbidity and mortality. The main aim of this study was to investigate the impact of diabetes on arterial stiffness in a representative sample of an urban Brazilian population plus Amerindians. Methods A total of 1,415 individuals from the general population were randomly selected plus 588 Amerindians from a native community in Brazil. In addition, a sub-sample of 380 individuals from the general population had 5-year follow-up data. Pulse wave velocity (PWV) was measured with a non-invasive automatic device (Complior, Colson; Garges les Gonesses, France) and increased arterial stiffness was defined as PWV ≥ 12 m/s. Results In the overall group, diabetic individuals had higher frequencies of increased arterial stiffness and hypertension. They also had higher values of PWV, body mass index, total cholesterol, triglycerides, systolic and diastolic blood pressures compared to non-diabetic individuals (p < 0.01). In an analysis stratified by hypertension, PWV values and increased arterial stiffness frequency were higher in diabetic individuals in both groups (hypertensive and non-hypertensive) (p < 0.05). Furthermore, higher risk for increased arterial stiffness was observed in the diabetic individuals from the overall group (OR = 2.27; CI = 1.47-3.52, p < 0.001) and from the hypertensive group (OR = 2.70; CI = 1.58-4.75, p < 0.001), adjusted for covariates. Regarding the ethnic stratification, diabetic individuals from Amerindian, White, and Mulatto (mixed-race) groups had higher PWV values and a greater frequency of increased arterial stiffness compared to non-diabetic individuals. Both diabetic and non-diabetic individuals had higher PWV values after 5 years. There was no significant difference in the 5-year PWV progression in diabetic compared to non-diabetic individuals. Conclusions These results confirm, in a sample of Brazilian population, that the presence of diabetes is associated with increased arterial stiffness and it may contribute in part to increased cardiovascular risk in diabetic patients.

Physiological quality of osmoprimed eggplant seeds

Eggplant seeds germination can be slow and uneven, justifying the use of pre-germinative treatments to improve the performance of seed lots. One option of treatment is the controlled hydration of seeds by priming. In this way, this study aimed to evaluate the performance of eggplant seeds cv. Embu submitted to different methodologies of priming. The seeds used in the experiment were stored in cold chamber (15º C and 55% RH) in paper bags. The research was carried out at Central Laboratory of Seeds/UFLA. The seeds were submitted to the priming in aerated solutions varying the following factors: temperature (15º C and 25º C), time (24, 48 and 72 hours) and solution (water, PEG, KNO3 and PEG+KNO3). Seeds were washed in running water and dried at 30º C, until the return to the initial moisture content, around 10%. The variables analyzed were percentage of germination, percentage of emergence, speed index of emergence and electrical conductivity. The treatments were arranged in a completely randomized design, according to a factorial arrangement 2x3x4+1 (control - seeds without priming). The results showed that priming improves the vigour of eggplant seeds with no effect on viability; the priming in water or KNO3 is efficient to improve the seed vigour and priming in water or KNO3 may use temperature of 15º C or 25º C for 24, 48 or 72 hours.

Auditory processing in children and adolescents in situations of risk and vulnerability

CONTEXT AND OBJECTIVE: Children and adolescents who live in situations of social vulnerability present a series of health problems. Nonetheless, affirmations that sensory and cognitive abnormalities are present are a matter of controversy. The aim of this study was to investigate aspects to auditory processing, through applying the brainstem auditory evoked potential (BAEP) and behavioral auditory processing tests to children living on the streets, and comparison with a control group. DESIGN AND SETTING: Cross-sectional study in the Laboratory of Auditory Processing, School of Medicine, Universidade de São Paulo. METHODS: The auditory processing tests were applied to a group of 27 individuals, subdivided into 11 children (7 to 10 years old) and 16 adolescents (11 to 16 years old), of both sexes, in situations of social vulnerability, compared with an age-matched control group of 10 children and 11 adolescents without complaints. The BAEP test was also applied to investigate the integrity of the auditory pathway. RESULTS: For both children and adolescents, there were significant differences between the study and control groups in most of the tests applied, with significantly worse performance in the study group, except in the pediatric speech intelligibility test. Only one child had an abnormal result in the BAEP test. CONCLUSIONS: The results showed that the study group (children and adolescents) presented poor performance in the behavioral auditory processing tests, despite their unaltered auditory brainstem pathways, as shown by their normal results in the BAEP test.

Molecular epidemiology of animal rabies in the semiarid region of Paraíba, Northeastern Brazil

In the semiarid of the state of Paraíba, the anti-rabies vaccination is not common, most of the local inhabitants who deal with the animals do not know the incidence of the disease in the region. In this study, samples of foxes (Pseudalopex vetulus), insectivorous bats (Molossus molossus), raccoons (Procyon cancrivorous) and domestic animals brains were submitted to the diagnosis of rabies, by using the direct fluorescent antibody technique (d-FAT) and mouse inoculation test (MIT). Of the 581 examined materials, 50 (8.60 %) were positive for d-FAT and 47 (8.09 %) for MIT. From the positive samples for rabies, RNAs were extracted and transformed to cDNA, at the Laboratory of Rabies/Faculdade de Medicina Veterinária e Zootecnia/USP, SP. The phylogenetic characterization of the N gene was performed at the Universidade de São Paulo, Faculdade de Medicina Veterinária e Zootecnia, Departamento de Medicina Veterinária Preventiva e Saúde Animal, Universidade Nihon, Faculdade de Ciências Bioresource, Fujisawa, Kanagawa, Japão. Based on the results of genotyping and phylogenetic analyzes, it is concluded that the epidemiology of rabies is complex in the semiarid of Paraíba, with different viral variants being maintained in domestic dogs, foxes, insectivorous bats and vampire bats. All the isolates examined belong to the genotype I of the genus Lyssavirus and it is possible to state that in the region, foxes are important sylvatic reservoirs of the rabies virus.

The capability of endophytic fungi for production of hemicellulases and related enzymes

Abstract Background There is an imperative necessity for alternative sources of energy able to reduce the world dependence of fossil oil. One of the most successful options is ethanol obtained mainly from sugarcane and corn fermentation. The foremost residue from sugarcane industry is the bagasse, a rich lignocellulosic raw material uses for the production of ethanol second generation (2G). New cellulolytic and hemicellulytic enzymes are needed, in order to optimize the degradation of bagasse and production of ethanol 2G. Results The ability to produce hemicellulases and related enzymes, suitable for lignocellulosic biomass deconstruction, was explored using 110 endophytic fungi and 9 fungi isolated from spoiled books in Brazil. Two initial selections were performed, one employing the esculin gel diffusion assay, and the other by culturing on agar plate media with beechwood xylan and liquor from the hydrothermal pretreatment of sugar cane bagasse. A total of 56 isolates were then grown at 29°C on steam-exploded delignified sugar cane bagasse (DEB) plus soybean bran (SB) (3:1), with measurement of the xylanase, pectinase, β-glucosidase, CMCase, and FPase activities. Twelve strains were selected, and their enzyme extracts were assessed using different substrates. Finally, the best six strains were grown under xylan and pectin, and several glycohydrolases activities were also assessed. These strains were identified morphologically and by sequencing the internal transcribed spacer (ITS) regions and the partial β-tubulin gene (BT2). The best six strains were identified as Aspergillus niger DR02, Trichoderma atroviride DR17 and DR19, Alternaria sp. DR45, Annulohypoxylon stigyum DR47 and Talaromyces wortmannii DR49. These strains produced glycohydrolases with different profiles, and production was highly influenced by the carbon sources in the media. Conclusions The selected endophytic fungi Aspergillus niger DR02, Trichoderma atroviride DR17 and DR19, Alternaria sp. DR45, Annulohypoxylon stigyum DR47 and Talaromyces wortmannii DR49 are excellent producers of hydrolytic enzymes to be used as part of blends to decompose sugarcane biomass at industrial level.

The phylogeography of trypanosomes from South American alligatorids and African crocodilids is consistent with the geological history of South American river basins and the transoceanic dispersal of Crocodylus at the Miocene

Abstract Background Little is known about the diversity, phylogenetic relationships, and biogeography of trypanosomes infecting non-mammalian hosts. In this study, we investigated the influence of host species and biogeography on shaping the genetic diversity, phylogenetic relationship, and distribution of trypanosomes from South American alligatorids and African crocodilids. Methods Small Subunit rRNA (SSU rRNA) and glycosomal Glyceraldehyde Phosphate Dehydrogenase (gGAPDH) genes were employed for phylogenetic inferences. Trypanosomes from crocodilians were obtained by haemoculturing. Growth behaviour, morphology, and ultrastructural features complement the molecular description of two new species strongly supported by phylogenetic analyses. Results The inferred phylogenies disclosed a strongly supported crocodilian-restricted clade comprising three subclades. The subclade T. grayi comprised the African Trypanosoma grayi from Crocodylus niloticus and tsetse flies. The subclade T. ralphi comprised alligatorid trypanosomes represented by Trypanosoma ralphi n. sp. from Melanosuchus niger, Caiman crocodilus and Caiman yacare from Brazilian river basins. T. grayi and T. ralphi were sister subclades. The basal subclade T. terena comprised alligatorid trypanosomes represented by Trypanosoma terena n. sp. from Ca. yacare sharing hosts and basins with the distantly genetic related T. ralphi. This subclade also included the trypanosome from Ca. crocodilus from the Orinoco basin in Venezuela and, unexpectedly, a trypanosome from the African crocodilian Osteolaemus tetraspis. Conclusion The close relationship between South American and African trypanosomes is consistent with paleontological evidence of recent transoceanic dispersal of Crocodylus at the Miocene/Pliocene boundaries (4–5 mya), and host-switching of trypanosomes throughout the geological configuration of South American hydrographical basins shaping the evolutionary histories of the crocodilians and their trypanosomes.

Effects of Aedes aegypti salivary components on dendritic cell and lymphocyte biology

Abstract Background Saliva is a key element of interaction between hematophagous mosquitoes and their vertebrate hosts. In addition to allowing a successful blood meal by neutralizing or delaying hemostatic responses, the salivary cocktail is also able to modulate the effector mechanisms of host immune responses facilitating, in turn, the transmission of several types of microorganisms. Understanding how the mosquito uses its salivary components to circumvent host immunity might help to clarify the mechanisms of transmission of such pathogens and disease establishment. Methods Flow cytometry was used to evaluate if increasing concentrations of A. aegypti salivary gland extract (SGE) affects bone marrow-derived DC differentiation and maturation. Lymphocyte proliferation in the presence of SGE was estimated by a colorimetric assay. Western blot and Annexin V staining assays were used to assess apoptosis in these cells. Naïve and memory cells from mosquito-bite exposed mice or OVA-immunized mice and their respective controls were analyzed by flow cytometry. Results Concentration-response curves were employed to evaluate A. aegypti SGE effects on DC and lymphocyte biology. DCs differentiation from bone marrow precursors, their maturation and function were not directly affected by A. aegypti SGE (concentrations ranging from 2.5 to 40 μg/mL). On the other hand, lymphocytes were very sensitive to the salivary components and died in the presence of A. aegypti SGE, even at concentrations as low as 0.1 μg/mL. In addition, A. aegypti SGE was shown to induce apoptosis in all lymphocyte populations evaluated (CD4+ and CD8+ T cells, and B cells) through a mechanism involving caspase-3 and caspase-8, but not Bim. By using different approaches to generate memory cells, we were able to verify that these cells are resistant to SGE effects. Conclusion Our results show that lymphocytes, and not DCs, are the primary target of A. aegypti salivary components. In the presence of A. aegypti SGE, naïve lymphocyte populations die by apoptosis in a caspase-3- and caspase-8-dependent pathway, while memory cells are selectively more resistant to its effects. The present work contributes to elucidate the activities of A. aegypti salivary molecules on the antigen presenting cell-lymphocyte axis and in the biology of these cells.

The phylogeography of trypanosomes from South American alligatorids and African crocodilids is consistent with the geological history of South American river basins and the transoceanic dispersal of Crocodylus at the Miocene

Background: Little is known about the diversity, phylogenetic relationships, and biogeography of trypanosomes infecting non-mammalian hosts. In this study, we investigated the influence of host species and biogeography on shaping the genetic diversity, phylogenetic relationship, and distribution of trypanosomes from South American alligatorids and African crocodilids. Methods: Small Subunit rRNA (SSU rRNA) and glycosomal Glyceraldehyde Phosphate Dehydrogenase (gGAPDH) genes were employed for phylogenetic inferences. Trypanosomes from crocodilians were obtained by haemoculturing. Growth behaviour, morphology, and ultrastructural features complement the molecular description of two new species strongly supported by phylogenetic analyses. Results: The inferred phylogenies disclosed a strongly supported crocodilian-restricted clade comprising three subclades. The subclade T. grayi comprised the African Trypanosoma grayi from Crocodylus niloticus and tsetse flies. The subclade T. ralphi comprised alligatorid trypanosomes represented by Trypanosoma ralphi n. sp. From Melanosuchus niger, Caiman crocodilus and Caiman yacare from Brazilian river basins. T. grayi and T. ralphi were sister subclades. The basal subclade T. terena comprised alligatorid trypanosomes represented by Trypanosoma terena n. sp. from Ca. yacare sharing hosts and basins with the distantly genetic related T. ralphi. This subclade also included the trypanosome from Ca. crocodilus from the Orinoco basin in Venezuela and, unexpectedly, a trypanosome from the African crocodilian Osteolaemus tetraspis. Conclusion: The close relationship between South American and African trypanosomes is consistent with paleontological evidence of recent transoceanic dispersal of Crocodylus at the Miocene/Pliocene boundaries (4–5 mya), and host-switching of trypanosomes throughout the geological configuration of South American hydrographical basins shaping the evolutionary histories of the crocodilians and their trypanosomes.

Numerical analysis of control surface effects on AUV

Computational fluid dynamics, CFD, is becoming an essential tool in the prediction of the hydrodynamic efforts and flow characteristics of underwater vehicles for manoeuvring studies. However, when applied to the manoeuvrability of autonomous underwater vehicles, AUVs, most studies have focused on the de- termination of static coefficients without considering the effects of the vehicle control surface deflection. This paper analyses the hydrodynamic efforts generated on an AUV considering the combined effects of the control surface deflection and the angle of attack using CFD software based on the Reynolds-averaged Navier–Stokes formulations. The CFD simulations are also independently conducted for the AUV bare hull and control surface to better identify their individual and interference efforts and to validate the simulations by comparing the experimental results obtained in a towing tank. Several simulations of the bare hull case were conducted to select the k –ω SST turbulent model with the viscosity approach that best predicts its hydrodynamic efforts. Mesh sensitivity analyses were conducted for all simulations. For the flow around the control surfaces, the CFD results were analysed according to two different methodologies, standard and nonlinear. The nonlinear regression methodology provides better results than the standard methodology does for predicting the stall at the control surface. The flow simulations have shown that the occurrence of the control surface stall depends on a linear relationship between the angle of attack and the control surface deflection. This type of information can be used in designing the vehicle’s autopilot system.

Numerical simulation of an ethanol turbulent spray flame with RANS and diffusion combustion model

A detailed numerical simulation of ethanol turbulent spray combustion on a rounded jet flame is pre- sented in this article. The focus is to propose a robust mathematical model with relatively low complexity sub- models to reproduce the main characteristics of the cou- pling between both phases, such as the turbulence modulation, turbulent droplets dissipation, and evaporative cooling effect. A RANS turbulent model is implemented. Special features of the model include an Eulerian– Lagrangian procedure under a fully two-way coupling and a modified flame sheet model with a joint mixture fraction– enthalpy b -PDF. Reasonable agreement between measured and computed mean profiles of temperature of the gas phase and droplet size distributions is achieved. Deviations found between measured and predicted mean velocity profiles are attributed to the turbulent combustion modeling adopted

The capability of endophytic fungi for production of hemicellulases and related enzymes

Abstract BACKGROUND: There is an imperative necessity for alternative sources of energy able to reduce the world dependence of fossil oil. One of the most successful options is ethanol obtained mainly from sugarcane and corn fermentation. The foremost residue from sugarcane industry is the bagasse, a rich lignocellulosic raw material uses for the production of ethanol second generation (2G). New cellulolytic and hemicellulytic enzymes are needed, in order to optimize the degradation of bagasse and production of ethanol 2G. RESULTS: The ability to produce hemicellulases and related enzymes, suitable for lignocellulosic biomass deconstruction, was explored using 110 endophytic fungi and 9 fungi isolated from spoiled books in Brazil. Two initial selections were performed, one employing the esculin gel diffusion assay, and the other by culturing on agar plate media with beechwood xylan and liquor from the hydrothermal pretreatment of sugar cane bagasse. A total of 56 isolates were then grown at 29°C on steam-exploded delignified sugar cane bagasse (DEB) plus soybean bran (SB) (3:1), with measurement of the xylanase, pectinase, β-glucosidase, CMCase, and FPase activities. Twelve strains were selected, and their enzyme extracts were assessed using different substrates. Finally, the best six strains were grown under xylan and pectin, and several glycohydrolases activities were also assessed. These strains were identified morphologically and by sequencing the internal transcribed spacer (ITS) regions and the partial β-tubulin gene (BT2). The best six strains were identified as Aspergillus niger DR02, Trichoderma atroviride DR17 and DR19, Alternaria sp. DR45, Annulohypoxylon stigyum DR47 and Talaromyces wortmannii DR49. These strains produced glycohydrolases with different profiles, and production was highly influenced by the carbon sources in the media. CONCLUSIONS: The selected endophytic fungi Aspergillus niger DR02, Trichoderma atroviride DR17 and DR19, Alternaria sp. DR45, Annulohypoxylon stigyum DR47 and Talaromyces wortmannii DR49 are excellent producers of hydrolytic enzymes to be used as part of blends to decompose sugarcane biomass at industrial level.

Image analysis in the morphological and morphometric study of teeth

The subject of this doctoral dissertation concerns the definition of a new methodology for the morphological and morphometric study of fossilized human teeth, and therefore strives to provide a contribution to the reconstruction of human evolutionary history that proposes to extend to the different species of hominid fossils. Standardized investigative methodologies are lacking both regarding the orientation of teeth subject to study and in the analysis that can be carried out on these teeth once they are oriented. The opportunity to standardize a primary analysis methodology is furnished by the study of certain early Neanderthal and preneanderthal molars recovered in two caves in southern Italy [Grotta Taddeo (Taddeo Cave) and Grotta del Poggio (Poggio Cave), near Marina di Camerata, Campania]. To these we can add other molars of Neanderthal and modern man of the upper Paleolithic era, specifically scanned in the paleoanthropology laboratory of the University of Arkansas (Fayetteville, Arkansas, USA), in order to increase the paleoanthropological sample data and thereby make the final results of the analyses more significant. The new analysis methodology is rendered as follows: 1. Standardization of an orientation system for primary molars (superior and inferior), starting from a scan of a sample of 30 molars belonging to modern man (15 M1 inferior and 15 M1 superior), the definition of landmarks, the comparison of various systems and the choice of a system of orientation for each of the two dental typologies. 2. The definition of an analysis procedure that considers only the first 4 millimeters of the dental crown starting from the collar: 5 sections parallel to the plane according to which the tooth has been oriented are carried out, spaced 1 millimeter between them. The intention is to determine a method that allows for the differentiation of fossilized species even in the presence of worn teeth. 3. Results and Conclusions. The new approach to the study of teeth provides a considerable quantity of information that can better be evaluated by increasing the fossil sample data. It has been demonstrated to be a valid tool in evolutionary classification that has allowed (us) to differentiate the Neanderthal sample from that of modern man. In a particular sense the molars of Grotta Taddeo, which up until this point it has not been possible to determine with exactness their species of origin, through the present research they are classified as Neanderthal.

Architectures and design patterns for functional design of logic control and diagnostics in industrial automation

Recently in most of the industrial automation process an ever increasing degree of automation has been observed. This increasing is motivated by the higher requirement of systems with great performance in terms of quality of products/services generated, productivity, efficiency and low costs in the design, realization and maintenance. This trend in the growth of complex automation systems is rapidly spreading over automated manufacturing systems (AMS), where the integration of the mechanical and electronic technology, typical of the Mechatronics, is merging with other technologies such as Informatics and the communication networks. An AMS is a very complex system that can be thought constituted by a set of flexible working stations, one or more transportation systems. To understand how this machine are important in our society let considerate that every day most of us use bottles of water or soda, buy product in box like food or cigarets and so on. Another important consideration from its complexity derive from the fact that the the consortium of machine producers has estimated around 350 types of manufacturing machine. A large number of manufacturing machine industry are presented in Italy and notably packaging machine industry,in particular a great concentration of this kind of industry is located in Bologna area; for this reason the Bologna area is called “packaging valley”. Usually, the various parts of the AMS interact among them in a concurrent and asynchronous way, and coordinate the parts of the machine to obtain a desiderated overall behaviour is an hard task. Often, this is the case in large scale systems, organized in a modular and distributed manner. Even if the success of a modern AMS from a functional and behavioural point of view is still to attribute to the design choices operated in the definition of the mechanical structure and electrical electronic architecture, the system that governs the control of the plant is becoming crucial, because of the large number of duties associated to it. Apart from the activity inherent to the automation of themachine cycles, the supervisory system is called to perform other main functions such as: emulating the behaviour of traditional mechanical members thus allowing a drastic constructive simplification of the machine and a crucial functional flexibility; dynamically adapting the control strategies according to the different productive needs and to the different operational scenarios; obtaining a high quality of the final product through the verification of the correctness of the processing; addressing the operator devoted to themachine to promptly and carefully take the actions devoted to establish or restore the optimal operating conditions; managing in real time information on diagnostics, as a support of the maintenance operations of the machine. The kind of facilities that designers can directly find on themarket, in terms of software component libraries provides in fact an adequate support as regard the implementation of either top-level or bottom-level functionalities, typically pertaining to the domains of user-friendly HMIs, closed-loop regulation and motion control, fieldbus-based interconnection of remote smart devices. What is still lacking is a reference framework comprising a comprehensive set of highly reusable logic control components that, focussing on the cross-cutting functionalities characterizing the automation domain, may help the designers in the process of modelling and structuring their applications according to the specific needs. Historically, the design and verification process for complex automated industrial systems is performed in empirical way, without a clear distinction between functional and technological-implementation concepts and without a systematic method to organically deal with the complete system. Traditionally, in the field of analog and digital control design and verification through formal and simulation tools have been adopted since a long time ago, at least for multivariable and/or nonlinear controllers for complex time-driven dynamics as in the fields of vehicles, aircrafts, robots, electric drives and complex power electronics equipments. Moving to the field of logic control, typical for industrial manufacturing automation, the design and verification process is approached in a completely different way, usually very “unstructured”. No clear distinction between functions and implementations, between functional architectures and technological architectures and platforms is considered. Probably this difference is due to the different “dynamical framework”of logic control with respect to analog/digital control. As a matter of facts, in logic control discrete-events dynamics replace time-driven dynamics; hence most of the formal and mathematical tools of analog/digital control cannot be directly migrated to logic control to enlighten the distinction between functions and implementations. In addition, in the common view of application technicians, logic control design is strictly connected to the adopted implementation technology (relays in the past, software nowadays), leading again to a deep confusion among functional view and technological view. In Industrial automation software engineering, concepts as modularity, encapsulation, composability and reusability are strongly emphasized and profitably realized in the so-calledobject-oriented methodologies. Industrial automation is receiving lately this approach, as testified by some IEC standards IEC 611313, IEC 61499 which have been considered in commercial products only recently. On the other hand, in the scientific and technical literature many contributions have been already proposed to establish a suitable modelling framework for industrial automation. During last years it was possible to note a considerable growth in the exploitation of innovative concepts and technologies from ICT world in industrial automation systems. For what concerns the logic control design, Model Based Design (MBD) is being imported in industrial automation from software engineering field. Another key-point in industrial automated systems is the growth of requirements in terms of availability, reliability and safety for technological systems. In other words, the control system should not only deal with the nominal behaviour, but should also deal with other important duties, such as diagnosis and faults isolations, recovery and safety management. Indeed, together with high performance, in complex systems fault occurrences increase. This is a consequence of the fact that, as it typically occurs in reliable mechatronic systems, in complex systems such as AMS, together with reliable mechanical elements, an increasing number of electronic devices are also present, that are more vulnerable by their own nature. The diagnosis problem and the faults isolation in a generic dynamical system consists in the design of an elaboration unit that, appropriately processing the inputs and outputs of the dynamical system, is also capable of detecting incipient faults on the plant devices, reconfiguring the control system so as to guarantee satisfactory performance. The designer should be able to formally verify the product, certifying that, in its final implementation, it will perform itsrequired function guarantying the desired level of reliability and safety; the next step is that of preventing faults and eventually reconfiguring the control system so that faults are tolerated. On this topic an important improvement to formal verification of logic control, fault diagnosis and fault tolerant control results derive from Discrete Event Systems theory. The aimof this work is to define a design pattern and a control architecture to help the designer of control logic in industrial automated systems. The work starts with a brief discussion on main characteristics and description of industrial automated systems on Chapter 1. In Chapter 2 a survey on the state of the software engineering paradigm applied to industrial automation is discussed. Chapter 3 presentes a architecture for industrial automated systems based on the new concept of Generalized Actuator showing its benefits, while in Chapter 4 this architecture is refined using a novel entity, the Generalized Device in order to have a better reusability and modularity of the control logic. In Chapter 5 a new approach will be present based on Discrete Event Systems for the problemof software formal verification and an active fault tolerant control architecture using online diagnostic. Finally conclusive remarks and some ideas on new directions to explore are given. In Appendix A are briefly reported some concepts and results about Discrete Event Systems which should help the reader in understanding some crucial points in chapter 5; while in Appendix B an overview on the experimental testbed of the Laboratory of Automation of University of Bologna, is reported to validated the approach presented in chapter 3, chapter 4 and chapter 5. In Appendix C some components model used in chapter 5 for formal verification are reported.

Measurement of the muon-induced neutron flux at LNGS with the LVD experiment

In this thesis we describe in detail the Monte Carlo simulation (LVDG4) built to interpret the experimental data collected by LVD and to measure the muon-induced neutron yield in iron and liquid scintillator. A full Monte Carlo simulation, based on the Geant4 (v 9.3) toolkit, has been developed and validation tests have been performed. We used the LVDG4 to determine the active vetoing and the shielding power of LVD. The idea was to evaluate the feasibility to host a dark matter detector in the most internal part, called Core Facility (LVD-CF). The first conclusion is that LVD is a good moderator, but the iron supporting structure produce a great number of neutrons near the core. The second conclusions is that if LVD is used as an active veto for muons, the neutron flux in the LVD-CF is reduced by a factor 50, of the same order of magnitude of the neutron flux in the deepest laboratory of the world, Sudbury. Finally, the muon-induced neutron yield has been measured. In liquid scintillator we found $(3.2 \pm 0.2) \times 10^{-4}$ n/g/cm$^2$, in agreement with previous measurements performed at different depths and with the general trend predicted by theoretical calculations and Monte Carlo simulations. Moreover we present the first measurement, in our knowledge, of the neutron yield in iron: $(1.9 \pm 0.1) \times 10^{-3}$ n/g/cm$^2$. That measurement provides an important check for the MC of neutron production in heavy materials that are often used as shield in low background experiments.