Multifemale nests and social behavior in Euglossa melanotricha (Hymenoptera,Apidae, Euglossini)

The nesting biology and social behavior of the euglossine bee species Euglossa melanotricha was analyzed based on the monitoring of eight nests found in man-made cavities and transferred to observation boxes. Euglossa melanotricha females usually construct their nests in cavities in the ground, in buildings, or in mounds. In this study, we present new data on the nesting biology of E. melanotricha. The process of reactivation of nests was commonly observed with one to three females participating in the reactivation. The duration of the process of reactivation ranged from 10 to 78 days (n = 31) and were longer during the rainy season. Time spent (in days) for provisioning, oviposition and closing a single cell was higher in reactivations that occurred during the dry period. 151 emergences were observed (39 males and 112 females). 90 (80.3%) of the emerged females returned to the natal nest, but only 35(38.9%) remained and actively participated in the construction and provisioning of cells. The other 55 abandoned the nests after several days without performing any work in the nest. Matrifilial nest structure was regulated by dominance-subordinate aggressive behavior among females, where the dominant female laid almost all eggs. Task allocation was recognized by behavioral characteristics, namely, agonism and oophagy in cells oviposited by other females. Euglossa melanotricha is multivoltine and its nesting is asynchronous with respect to season. Our observations suggest a primitively eusocial organization. These observations of E. melanotricha provide valuable information for comparison with other species of Euglossa in an evolutionary context.

An Extreme Case of Plant-Insect Codiversification: Figs and Fig-Pollinating Wasps

It is thought that speciation in phytophagous insects is often due to colonization of novel host plants, because radiations of plant and insect lineages are typically asynchronous. Recent phylogenetic comparisons have supported this model of diversification for both insect herbivores and specialized pollinators. An exceptional case where contemporaneous plant-insect diversification might be expected is the obligate mutualism between fig trees (Ficus species, Moraceae) and their pollinating wasps (Agaonidae, Hymenoptera). The ubiquity and ecological significance of this mutualism in tropical and subtropical ecosystems has long intrigued biologists, but the systematic challenge posed by >750 interacting species pairs has hindered progress toward understanding its evolutionary history. In particular, taxon sampling and analytical tools have been insufficient for large-scale cophylogenetic analyses. Here, we sampled nearly 200 interacting pairs of fig and wasp species from across the globe. Two supermatrices were assembled: on an average, wasps had sequences from 77% of 6 genes (5.6 kb), figs had sequences from 60% of 5 genes (5.5 kb), and overall 850 new DNA sequences were generated for this study. We also developed a new analytical tool, Jane 2, for event-based phylogenetic reconciliation analysis of very large data sets. Separate Bayesian phylogenetic analyses for figs and fig wasps under relaxed molecular clock assumptions indicate Cretaceous diversification of crown groups and contemporaneous divergence for nearly half of all fig and pollinator lineages. Event-based cophylogenetic analyses further support the codiversification hypothesis. Biogeographic analyses indicate that the present-day distribution of fig and pollinator lineages is consistent with a Eurasian origin and subsequent dispersal, rather than with Gondwanan vicariance. Overall, our findings indicate that the fig-pollinator mutualism represents an extreme case among plant-insect interactions of coordinated dispersal and long-term codiversification.

Chronic mucocutaneous candidiasis and systemic lupus erythematosus: a new variant of chronic mucocutaneous candidiasis?

Chronic mucocutaneous candidiasis (CMC) is characterized by susceptibility to Candida infection of skin, nails, and mucous membranes. Autoimmune endocrinopathies are common in CMC patients, but there are no reports of the involvement of systemic autoimmune disorders. We present here the first case of this kind of association in a patient with an autosomal dominant variant of CMC. The individual had had this disorder since childhood and systemic lupus erythematosus with secondary antiphospholipid syndrome, as well as renal, articular and hepatic manifestations without thymoma.

Structural aspects of polyanion and hydrophobically modified polycation multilayers on hydrophilic or hydrophobic surfaces

Multilayer films of carboxymethylcellulose (CMC), a polyanion, and bromide salts of poly(4-vinylpyridine) quaternized with linear aliphatic chains of 2 (ethyl) and 5 (pentyl) carbon atoms, coded as QPVP-C2 and QPVP-C5, respectively, were fabricated by layer-by-layer (LbL) self-assembly onto Si/SiO2 wafers (hydrophilic substrate) or polystyrene, PS, films (hydrophobic substrate). The films were characterized by means of ex situ and in situ ellipsometry, atomic force microscopy (AFM), contact angle measurements and sum frequency generation vibrational spectroscopy (SFG). Antimicrobial tests were used to assess the exposure of pyridinium moieties to the aqueous medium. In situ ellipsometry indicated that for Si/SiO2 the chains were more expanded than the PS films and both substrates systems composed of QPVP-C5 were thicker than those with QPVP-C2. For dried layers, the alkyl side group size had a small effect on the thickness evolution, regardless of the substrate. At pH 2 the multilayers showed high resistance, evidencing that the build-up is driven not only by cooperative polymer-polymer ion pairing, but also by hydrophobic interactions between the alkyl side chains. The LbL films became irregular as the number of depositions increased. After the last deposition, the wettability of QPVP-C2 or QPVP-C5 terminated systems on the Si/SiO2 wafers and PS films were similar, except for QPVP-C2 on Si/SiO2 wafers. Unlike the morphology observed for LbL films on Si/SiO2 wafers, PS induced the formation of porous structures. SFG showed that in air the molecular orientation of pyridinium groups in multilayers with QPVP-C5 was stronger than in those containing QPVP-C2. The exposure of pyridinium moieties to the aqueous medium was more pronounced when the LbL were assembled on Si/SiO2 wafers.

Combined expression of BUB1B, DLGAP5, and PINK1 as predictors of poor outcome in adrenocortical tumors: validation in a Brazilian cohort of adult and pediatric patients

Background: A recent microarray study identified a set of genes whose combined expression patterns were predictive of poor outcome in a cohort of adult adrenocortical tumors (ACTs). The difference between the expression values measured by qRT-PCR of DLGAP5 and PINK1 genes was the best molecular predictor of recurrence and malignancy. Among the adrenocortical carcinomas, the combined expression of BUB1B and PINK1 genes was the most reliable predictor of overall survival. The prognostic and molecular heterogeneity of ACTs raises the need to study the applicability of these molecular markers in other cohorts. Objective: To validate the combined expression of BUB1B, DLGAP5, and PINK1 as outcome predictor in ACTs from a Brazilian cohort of adult and pediatric patients. Patients and methods: BUB1B, DLGAP5, and PINK1 expression was assessed by quantitative PCR in 53 ACTs from 52 patients - 24 pediatric and 28 adults (one pediatric patient presented a bilateral asynchronous ACT). Results: DLGAP5 PINK1 and BUB1B PINK1 were strong predictors of disease-free survival and overall survival, respectively, among adult patients with ACT. In the pediatric cohort, these molecular predictors were only marginally associated with disease-free survival but not with overall survival. Conclusion: This study confirms the prognostic value of the combined expression of BUB1B, DLGAP5, and PINK1 genes in a Brazilian group of adult ACTs. Among pediatric ACTs, other molecular predictors of outcome are required.

Efeito de revestimentos comestíveis na conservação de mamões minimamente processados

Avaliou-se o efeito de revestimentos à base de carboidratos nas características microbiológicas, físicas, físico-químicas e sensoriais de mamão Formosa minimamente processado (MP), armazenado sob refrigeração. Após tratamento com cloreto de cálcio, os frutos descascados e cortados foram imersos em soluções de amido de arroz (AA) 3%; alginato de sódio (AS) 0,5%; carboximetilcelulose (CMC) 0,25%, e armazenados a 5 ºC e 90% de UR. Os produtos foram avaliados nos dias 1, 3, 6, 9, 12 e 15. O uso de revestimentos à base de AA, AS e CMC em mamões MP resultou em menor contagem de coliformes totais que o controle. Mamões revestidos com AA e CMC apresentaram redução e aumento do processo respiratório, respectivamente. Os frutos revestidos apresentaram menores teores de sólidos solúveis e seus valores de pH se tornaram menores após o 9º dia de armazenamento. O uso da CMC como revestimento proporcionou, no 15º dia, maior firmeza da polpa. As variações nos parâmetros de cor (Luminosidade, Hue e Croma) não comprometeram a qualidade sensorial do mamão MP. Os atributos sensoriais dos mamões com revestimentos não diferiram do controle durante os 15 dias de estudo. Como a maioria dos efeitos positivos das coberturas ocorreu aos 12º e 15º dias e, considerando-se o custo da tecnologia e o preço dos revestimentos, a melhor opção, até 9 dias de armazenamento, consiste em apenas sanitizar os frutos, como feito no controle. Se o interesse for preservar a vida útil por um período maior, até 15 dias, os revestimentos utilizados podem ter resultados satisfatórios, desde que respeitadas as condições de estocagem utilizadas no estudo.

A stochastic spatially structured epidemic model with diffusive processes

We developed a stochastic lattice model to describe the vector-borne disease (like yellow fever or dengue). The model is spatially structured and its dynamical rules take into account the diffusion of vectors. We consider a bipartite lattice, forming a sub-lattice of human and another occupied by mosquitoes. At each site of lattice we associate a stochastic variable that describes the occupation and the health state of a single individual (mosquito or human). The process of disease transmission in the human population follows a similar dynamic of the Susceptible-Infected-Recovered model (SIR), while the disease transmission in the mosquito population has an analogous dynamic of the Susceptible-Infected-Susceptible model (SIS) with mosquitos diffusion. The occurrence of an epidemic is directly related to the conditional probability of occurrence of infected mosquitoes (human) in the presence of susceptible human (mosquitoes) on neighborhood. The probability of diffusion of mosquitoes can facilitate the formation of pairs Susceptible-Infected enabling an increase in the size of the epidemic. Using an asynchronous dynamic update, we study the disease transmission in a population initially formed by susceptible individuals due to the introduction of a single mosquito (human) infected. We find that this model exhibits a continuous phase transition related to the existence or non-existence of an epidemic. By means of mean field approximations and Monte Carlo simulations we investigate the epidemic threshold and the phase diagram in terms of the diffusion probability and the infection probability.

Data and behavioral contracts for web services

The recent trend in Web services is fostering a computing scenario where loosely coupled parties interact in a distributed and dynamic environment. Such interactions are sequences of xml messages and in order to assemble parties – either statically or dynamically – it is important to verify that the “contracts” of the parties are “compatible”. The Web Service Description Language (wsdl) is a standard used for describing one-way (asynchronous) and request/response (synchronous) interactions. Web Service Conversation Language extends wscl contracts by allowing the description of arbitrary, possibly cyclic sequences of exchanged messages between communicating parties. Unfortunately, neither wsdl nor wscl can effectively define a notion of compatibility, for the very simple reason that they do not provide any formal characterization of their contract languages. We define two contract languages for Web services. The first one is a data contract language and allow us to describe a Web service in terms of messages (xml documents) that can be sent or received. The second one is a behavioral contract language and allow us to give an abstract definition of the Web service conversation protocol. Both these languages are equipped with a sort of “sub-typing” relation and, therefore, they are suitable to be used for querying Web services repositories. In particular a query for a service compatible with a given contract may safely return services with “greater” contract.

Design and control techniques of optical networks

The world of communication has changed quickly in the last decade resulting in the the rapid increase in the pace of peoples’ lives. This is due to the explosion of mobile communication and the internet which has now reached all levels of society. With such pressure for access to communication there is increased demand for bandwidth. Photonic technology is the right solution for high speed networks that have to supply wide bandwidth to new communication service providers. In particular this Ph.D. dissertation deals with DWDM optical packet-switched networks. The issue introduces a huge quantity of problems from physical layer up to transport layer. Here this subject is tackled from the network level perspective. The long term solution represented by optical packet switching has been fully explored in this years together with the Network Research Group at the department of Electronics, Computer Science and System of the University of Bologna. Some national as well as international projects supported this research like the Network of Excellence (NoE) e-Photon/ONe, funded by the European Commission in the Sixth Framework Programme and INTREPIDO project (End-to-end Traffic Engineering and Protection for IP over DWDM Optical Networks) funded by the Italian Ministry of Education, University and Scientific Research. Optical packet switching for DWDM networks is studied at single node level as well as at network level. In particular the techniques discussed are thought to be implemented for a long-haul transport network that connects local and metropolitan networks around the world. The main issues faced are contention resolution in a asynchronous variable packet length environment, adaptive routing, wavelength conversion and node architecture. Characteristics that a network must assure as quality of service and resilience are also explored at both node and network level. Results are mainly evaluated via simulation and through analysis.

Expressiveness of Concurrent Languages

The aim of this thesis is to go through different approaches for proving expressiveness properties in several concurrent languages. We analyse four different calculi exploiting for each one a different technique. We begin with the analysis of a synchronous language, we explore the expressiveness of a fragment of CCS! (a variant of Milner's CCS where replication is considered instead of recursion) w.r.t. the existence of faithful encodings (i.e. encodings that respect the behaviour of the encoded model without introducing unnecessary computations) of models of computability strictly less expressive than Turing Machines. Namely, grammars of types 1,2 and 3 in the Chomsky Hierarchy. We then move to asynchronous languages and we study full abstraction for two Linda-like languages. Linda can be considered as the asynchronous version of CCS plus a shared memory (a multiset of elements) that is used for storing messages. After having defined a denotational semantics based on traces, we obtain fully abstract semantics for both languages by using suitable abstractions in order to identify different traces which do not correspond to different behaviours. Since the ability of one of the two variants considered of recognising multiple occurrences of messages in the store (which accounts for an increase of expressiveness) reflects in a less complex abstraction, we then study other languages where multiplicity plays a fundamental role. We consider the language CHR (Constraint Handling Rules) a language which uses multi-headed (guarded) rules. We prove that multiple heads augment the expressive power of the language. Indeed we show that if we restrict to rules where the head contains at most n atoms we could generate a hierarchy of languages with increasing expressiveness (i.e. the CHR language allowing at most n atoms in the heads is more expressive than the language allowing at most m atoms, with m

Studies on the interaction of surfactants and neutral cyclodextrins by capillary electrophoresis. Application to chiral analysis

In the present study, mixed systems composed of SDS in the presence of neutral cyclodextrins were considered. Firstly, the effect of the CDs on the CMC of the surfactant was evaluated by CE experiments. Furthermore, a new CE approach based on electric current measurement was developed for the estimation of the stoichiometry as well as of the binding constants of SDS-CDs complexes. The results of these investigations were compared to those obtained with a different technique, electronic paramagnetic resonance (EPR). The obtained results suggested that methylated CDs, in particular (2,6-di-O-methyl)-beta-cyclodextrin (DM-beta-CD), strongly affect the micellization of SDS in comparison to the other studied CDs. This effect also paralleled the chiral CD-MEKC performance, as indicated by the enantioresolution of (+/-)-Catechin, which was firstly selected as a model compound representative of important chiral phytomarkers. Then a CD-MEKC system, composed of sodium dodecyl sulfate as surfactant (90 mM) and hydroxypropyl-beta-cyclodextrin (25 mM) as chiral selector, under acidic conditions (25 mM borate – phosphate buffer, pH 2.5) was applied to study the thermal epimerisation of epi-structured catechins, (-)-Epicatechin and (-)-Epigallocatechin, to non epi-structured (-)-Catechin and (-)-Gallocatechin. The latter compounds, being non-native molecules, were for the first time regarded as useful phytomarkers of tea sample degradation. The proposed method was applied to the analysis of more than twenty tea samples of different geographical origins (China, Japan, Ceylon), having undergone different storage conditions and manufacturing processes.

Tecniche di progettazione tollerante alle variazioni per circuiti digitali in tecnologie nanometriche

The digital electronic market development is founded on the continuous reduction of the transistors size, to reduce area, power, cost and increase the computational performance of integrated circuits. This trend, known as technology scaling, is approaching the nanometer size. The lithographic process in the manufacturing stage is increasing its uncertainty with the scaling down of the transistors size, resulting in a larger parameter variation in future technology generations. Furthermore, the exponential relationship between the leakage current and the threshold voltage, is limiting the threshold and supply voltages scaling, increasing the power density and creating local thermal issues, such as hot spots, thermal runaway and thermal cycles. In addiction, the introduction of new materials and the smaller devices dimension are reducing transistors robustness, that combined with high temperature and frequently thermal cycles, are speeding up wear out processes. Those effects are no longer addressable only at the process level. Consequently the deep sub-micron devices will require solutions which will imply several design levels, as system and logic, and new approaches called Design For Manufacturability (DFM) and Design For Reliability. The purpose of the above approaches is to bring in the early design stages the awareness of the device reliability and manufacturability, in order to introduce logic and system able to cope with the yield and reliability loss. The ITRS roadmap suggests the following research steps to integrate the design for manufacturability and reliability in the standard CAD automated design flow: i) The implementation of new analysis algorithms able to predict the system thermal behavior with the impact to the power and speed performances. ii) High level wear out models able to predict the mean time to failure of the system (MTTF). iii) Statistical performance analysis able to predict the impact of the process variation, both random and systematic. The new analysis tools have to be developed beside new logic and system strategies to cope with the future challenges, as for instance: i) Thermal management strategy that increase the reliability and life time of the devices acting to some tunable parameter,such as supply voltage or body bias. ii) Error detection logic able to interact with compensation techniques as Adaptive Supply Voltage ASV, Adaptive Body Bias ABB and error recovering, in order to increase yield and reliability. iii) architectures that are fundamentally resistant to variability, including locally asynchronous designs, redundancy, and error correcting signal encodings (ECC). The literature already features works addressing the prediction of the MTTF, papers focusing on thermal management in the general purpose chip, and publications on statistical performance analysis. In my Phd research activity, I investigated the need for thermal management in future embedded low-power Network On Chip (NoC) devices.I developed a thermal analysis library, that has been integrated in a NoC cycle accurate simulator and in a FPGA based NoC simulator. The results have shown that an accurate layout distribution can avoid the onset of hot-spot in a NoC chip. Furthermore the application of thermal management can reduce temperature and number of thermal cycles, increasing the systemreliability. Therefore the thesis advocates the need to integrate a thermal analysis in the first design stages for embedded NoC design. Later on, I focused my research in the development of statistical process variation analysis tool that is able to address both random and systematic variations. The tool was used to analyze the impact of self-timed asynchronous logic stages in an embedded microprocessor. As results we confirmed the capability of self-timed logic to increase the manufacturability and reliability. Furthermore we used the tool to investigate the suitability of low-swing techniques in the NoC system communication under process variations. In this case We discovered the superior robustness to systematic process variation of low-swing links, which shows a good response to compensation technique as ASV and ABB. Hence low-swing is a good alternative to the standard CMOS communication for power, speed, reliability and manufacturability. In summary my work proves the advantage of integrating a statistical process variation analysis tool in the first stages of the design flow.

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.

Die Beziehung zwischen genetischem Polymorphismus von Populationen und Umweltvariabilität: Anwendung der Fitness-Set Theorie

Die Beziehung zwischen genetischem Polymorphismus von Populationen und Umweltvariabilität: Anwendung der Fitness-Set Theorie Das Quantitative Fitness-Set Modell (QFM) ist eine Erweiterung der Fitness-Set Theorie. Das QFM kann Abstufungen zwischen grob- und feinkörnigen regelmäßigen Schwankungen zweier Umwelten darstellen. Umwelt- und artspezifische Parameter, sowie die bewirkte Körnigkeit, sind quantifizierbar. Experimentelle Daten lassen sich analysieren und das QFM erweist sich in großen Populationen als sehr genau, was durch den diskreten Parameterraum unterstützt wird. Kleine Populationen und/oder hohe genetische Diversität führen zu Schätzungsungenauigkeiten, die auch in natürlichen Populationen zu erwarten sind. Ein populationsgrößenabhängiger Unschärfewert erweitert die Punktschätzung eines Parametersatzes zur Intervallschätzung. Diese Intervalle wirken in finiten Populationen als Fitnessbänder. Daraus ergibt sich die Hypothese, dass bei Arten, die in dichten kontinuierlichen Fitnessbändern leben, Generalisten und in diskreten Fitnessbändern Spezialisten evolvieren.Asynchrone Reproduktionsstrategien führen zur Bewahrung genetischer Diversität. Aus dem Wechsel von grobkörniger zu feinkörniger Umweltvariation ergibt sich eine Bevorzugung der spezialisierten Genotypen. Aus diesem Angriffspunkt für disruptive Selektion lässt sich die Hypothese Artbildung in Übergangsszenarien von grobkörniger zu feinkörniger Umweltvariation formulieren. Im umgekehrten Fall ist Diversitätsverlust und stabilisierende Selektion zu erwarten Dies ist somit eine prozessorientierte Erklärung für den Artenreichtum der (feinkörnigen) Tropen im Vergleich zu den artenärmeren, jahreszeitlichen Schwankungen unterworfenen (grobkörnigen) temperaten Zonen.

Production, purification, properties and application of the cellulases from a wild type strain of a yeast isolate

Kurzzusammenfassung Produktion, Reinigung, Eigenschaften und Anwendung von Cellulasen eines Wildtyp-Hefeisolates. Die effiziente Verwendung von Cellulose wird in naher Zukonft ein wichtiges Instrument zur Vermeidung einer Nahrungsmittel- und Energieknappheit werden. Deshalb haben wir uns intensiv mit Cellulasen befaßt, die aus Hefestämmen isoliert wurden. Die Fähigkeit der Cellulase-produktion eines Hefe-Stammes der Feuerwanze Pyrrhocoris apterus wurde genauer untersucht. Die systematische Stellung des Hefe-Isolates PAG1 wurde durch Sequenzierung der 18S rDNA bestimmt. Es zeigte eine nahe Verwandtschaft zu einem bereits beschriebenen Stämme der Gattung Trichosporon. Außerdem wurden die Wachstums-bedingungen für eine optimale Cellulase–Produktion bestimmt. Anschließend konnte eine der produzierten Cellulasen mit FPLC aufgereinigt und deren biochemische Eigenschaften (z.B. Substratspezifität, Temperatur optimum, optimaler pH-Wert, Einfluß von Chemikalien) untersucht werden. Eine Analyse der Abbau-Produkte zeigte, daß kristalline Cellulose und CMC zu Cellobiose, Cellulotriose, Cellulotetraose und Cellulopentaose in einem molaren Verhältnis von 32:16:8:1 umgesetezt wurden. Bei Zusatz von ?-Glykosidase aus demselben Hefestamm entstand nur Glucose und Cellobiose in einem molaren Verhältnis von 1:10. Da bisher nur eine Publikation über Cellulase-produzierende Hefe-Stämme erschienen ist, zeigen auch unsere Untersuchungen, daß Wildtyp-Hefestämme Cellulasen mit interessanten Eigenschaften produzieren können.