Search for a standard model Higgs boson produced in association with a top-quark pair and decaying to bottom quarks using a matrix element method

Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)

Measurement of top quark-antiquark pair production in association with a W or Z boson in pp collisions at root s=8 TeV

Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)

Search for standard model production of four top quarks in the lepton plus jets channel in pp collisions at root S=8 TeV

Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)

Measurement of the top-quark mass in all-jets t(t)over-bar events in pp collisions at root s=7 TeV

Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)

Information Access Patterns of Faculty in Arts and Sciences Colleges in Chidambaram

The term “user study” focuses on information use patterns, information needs, and information-seeking behaviour. Information- seeking behaviour and information access patterns are areas of active interest among librarians and information scientists. This article reports on a study of the information requirements, usefulness of library resources and services, and problems encountered by faculty members of two arts and science colleges, Government Arts & Science College and Sri Raghavendra Arts & Science College, Chidambaram.

Population Growth of Antarctic Fur Seals: Limitation by a Top Predator, The Leopard Seal?

Antarctic fur seals (Arctocephalus gazella) in the South Shetland Islands are recovering from 19th-century exploitation more slowly than the main population at South Georgia. To document demographic changes associated with the recovery in the South Shetlands, we monitored fur seal abundance and reproduction in the vicinity of Elephant Island during austral summers from 1986/1987 through 1994/1995. Total births, mean and variance of birth dates, and average daily mortality rates were estimated from daily live pup counts at North Cove (NC) and North Annex (NA) colonies on Seal Island. Sightings of leopard seals (Hydrurga leptonyx) and incidents of leopard seal predation on fur seal pups were recorded opportunistically during daily fur seal research at both sites. High mortality of fur seal pups, attributed to predation by leopard seals frequently observed at NC, caused pup numbers to decline rapidly between January and March (i.e., prior to weaning) each year and probably caused a long-term decline in the size of that colony. The NA colony, where leopard seals were never observed, increased in size during the study. Pup mortality from causes other than leopard seal predation appeared to be similar at the two sites. The number of pups counted at four locations in the Elephant Island vicinity increased slowly, at an annual rate of 3.8%, compared to rates as high as 11% at other locations in the South Shetland Islands. Several lines of circumstantial evidence are consistent with the hypothesis that leopard seal predators limit the growth of the fur seal population in the Elephant Island area and perhaps in the broader population in the South Shetland Islands. The sustained growth of this fur seal population over many decades rules out certain predator–prey models, allowing inference about the interaction between leopard seals and fur seals even though it is less thoroughly studied than predator–prey systems of terrestrial vertebrates of the northern hemisphere. Top-down forces should be included in hypotheses for future research on the factors shaping the recovery of the fur seal population in the South Shetland Islands.

Contrasting patterns of genetic diversity at three different genetic markers in a marine mammal metapopulation

Many studies use genetic markers to explore population structure and variability within species. However, only a minority use more than one type of marker and, despite increasing evidence of a link between heterozygosity and individual fitness, few ask whether diversity correlates with population trajectory. To address these issues, we analyzed data from the Steller’s sea lion, Eumetiopias jubatus, where three stocks are distributed over a vast geographical range and where both genetic samples and detailed demographic data have been collected from many diverse breeding colonies. To previously published mitochondrial DNA(mtDNA) and microsatellite data sets,we have added new data for amplified fragment length polymorphism (AFLP) markers, comprising 238 loci scored in 285 sea lions sampled from 23 natal rookeries. Genotypic diversity was low relative to most vertebrates, with only 37 loci (15.5%) being polymorphic. Moreover, contrasting geographical patterns of genetic diversity were found at the three markers, with Nei’s gene diversity tending to be higher for AFLPs and microsatellites in rookeries of the western and Asian stocks, while the highest mtDNA values were found in the eastern stock. Overall, and despite strongly contrasting demographic histories, after applying phylogenetic correction we found little correlation between genetic diversity and either colony size or demography. In contrast, we were able to show a highly significant positive relationship between AFLP diversity and current population size across a range of pinniped species, even though equivalent analyses did not reveal significant trends for either microsatellites or mtDNA.

SEASONAL, HABITAT AND SEX-SPECIFIC PATTERNS OF FOOD UTILIZATION BY RED-WINGED BLACKBIRDS (Agelaius phoeniceous) IN EASTERN ONTARIO AND THEIR ECONOMIC IMPORTANCE

Crop depredation by red-winged blackbirds (Agelaius phoeniceus) causes serious economic losses to agricultural crops each year in both Canada and the United States. The concentration of vulnerable, monocultural crops, particularly corn, during periods when large flocks of blackbirds congregate in roosting areas prior to migration has invariably led to heavy feeding pressure (Stone et al., 1972; Wiens and Dyer, 1975; Tyler et al., 1978). Efforts to reduce damage levels by mechanical and chemical dispersal agents have been largely unsuccessful, at least in terms of a long-term solution to the problem. Recently, the lethal control of blackbird populations using surfactants has been proposed. However, the potential repercussions of the removal of substantial numbers of birds from northern breeding areas are virtually unknown (Robertson et al., 1978). Much of the research dealing with the feeding ecology of red-winged blackbirds has been limited to fall and winter periods when large aggregations of birds are actively involved in crop depredation (Goddad, 1969; Williams, 1976; Dolbeer et al., 1978) or pose a potential health hazard (Monroe and Cronholm, 1976). However, what is not known is the degree to which the removal of deleterious weed seed and insect pests cited in several studies (Bird and Smith, 1964; Mott et al., 1972; Robertson et al., 1978) might be of potential value to agriculture. The issue of whether the benefits derived from redwing foraging compensate for the negative aspects associated with crop depredation and health hazards remains largely unresolved. The present study attempted to evaluate the pest status of this species using diet information derived from food habits analysis conducted during the residency of red- winged blackbirds in a northern breeding area. By determining how the feeding ecology of red-winged blackbirds varies on a seasonal basis, among different breeding habitats and between sexes, we hoped to determine more realistically which segments of the population might be responsible for the greatest benefits or detriments and, thereby, more accurately evaluate the economic impact of the species as a whole. To achieve this aim, the study provides an accurate description of the common insects and weed pests utilized by redwings. By determining the relative proportions of those items known to be detrimental, we hoped to illustrate, at least qualitatively, the degree to which redwing foraging is comprised of both beneficial and harmful components.

Temporal and Spatial Patterns of Avifauna on Wetlands in the Vicinity of Bush Field Airport, Augusta, Georgia, USA

Responding to a U.S. Federal court order to improve discharged wastewater quality, Augusta, Georgia initiated development of artificial wetlands in 1997 to treat effluents. Because of the proximity to Augusta Regional Airport at Bush Field, the U.S. Federal Aviation Administration expressed concern for potential increased hazard to aircraft posed by birds attracted to these wetlands. We commenced weekly low-level aerial surveys of habitats in the area beginning January, 1998. Over a one-year period, 49 surveys identified approximately 42,000 birds representing 52 species, including protected Wood Storks and Bald Eagles, using wetlands within 8 km of the airport. More birds were observed during the mid-winter and fall/spring migratory seasons (1,048 birds/survey; October - April) than during the breeding/post-breeding seasons (394 birds/survey; May - September). In winter, waterfowl dominated the avian assemblage (65% of all birds). During summer, wading birds were most abundant (56% of all birds). Habitat changes within the artificial wetlands produced fish kills and exposed mudflats, resulting in increased use by wading birds and shorebirds. No aquatic birds were implicated in 1998 bird strikes, and most birds involved could safely be placed within songbird categories. Airport incident reports further implicated songbirds. These findings suggested that efforts to decrease numbers of songbirds on the airport property must be included in the development of a wildlife hazard management plan. Seasonal differences in site use among species groups should also be considered in any such plan. Other wetlands within 8 km of the airport supported as many or more birds than the artificial wetlands. With proper management of the artificial wetlands, it should be possible to successfully displace waterfowl and wading birds to other wetlands further from the airport.

Hemolymph ion regulation and kinetic characteristics of the gill (Na+, K+)-ATPase in the hermit crab Clibanarius vittatus (Decapoda, Anomura) acclimated to high salinity

We examine hemolymph ion regulation and the kinetic properties of a gill microsomal (Na+, K+)-ATPase from the intertidal hermit crab, Clibanarius vittatus, acclimated to 45 parts per thousand salinity for 10 days. Hemolymph osmolality is hypo-regulated (1102.5 +/- 22.1 mOsm kg(-1) H2O) at 45 parts per thousand but elevated compared to fresh-caught crabs (801.0 +/- 40.1 mOsm kg(-1) H2O). Hemolymph [Na+ (323.0 +/- 2.5 mmol L-1) and [Me2+) (34.6 +/- 1.0 mmol L-1) are hypo-regulated while [Ca2+] (22.5 +/- 0.7 mmol L-1) is hyper-regulated; [K+] is hyper-regulated in fresh-caught crabs (17.4 +/- 0.5 mmol L-1) but hypo-regulated (6.2 +/- 0.7 mmol L-1) at 45 parts per thousand. Protein expression patterns are altered in the 45 parts per thousand-acclimated crabs, although Western blot analyses reveal just a single immunoreactive band, suggesting a single (Na+, K+)-ATPase alpha-subunit isoform, distributed in different density membrane fractions. A high-affinity (Vm = 46.5 +/- 3.5 U mg(-1); K-0.5 = 7.07 +/- 0.01 mu mol L-1) and a low-affinity ATP binding site (Vm = 108.1 +/- 2.5 U mg(-1); K-0.5 = 0.11 +/- 0.3 mmol L-1), both obeying cooperative kinetics, were disclosed. Modulation of (Na+, K+)-ATPase activity by Mg2+, K+ and NH4+ also exhibits site-site interactions, but modulation by Na+ shows Michaelis-Menten kinetics. (Na+, K+)-ATPase activity is synergistically stimulated up to 45% by NH4+ plus K+. Enzyme catalytic efficiency for variable [K+] and fixed [NH4+] is 10-fold greater than for variable [NH4+] and fixed [K+]. Ouabain inhibited approximate to 80% of total ATPase activity (K-I=464.7 +/- 23.2 mu mol L-1), suggesting that ATPases other than (Na+, K+)-ATPase are present. While (Na+, K+)-ATPase activities are similar in fresh-caught (around 142 nmol Pi min(-1) mg(-1)) and 45 parts per thousand-acclimated crabs (around 154 nmol Pi min(-1) mg(-1)), ATP affinity decreases 110-fold and Na+ and K+ affinities increase 2-3-fold in 45 parts per thousand-acclimated crabs. (C) 2012 Elsevier Inc. All rights reserved.

SPATIAL PATTERN OF FOUR FOREST COMMUNITIES BY RIPLEY'S K FUNCTION IN SAO PAULO STATE

Investigating tree's spatial patterns according to their size classes and according to their more abundant species can provide evidences about the structure of the vegetal community, since the spatial pattern is a key question for forestry ecology studies. The tree spatial organization patterns on the environment depend on several ecological processes and on the specific characteristics of each environment, so that the best understanding of this frame provides important elements for the knowledge on forestry formation. This paper aimed to study tree spatial patterns, according to the diameter classes and from four most abundant species in different forests, in order to provide evidences regarding to the ecology of each vegetal community. The spatial pattern description in each forestry formation was developed using Ripley's K function. The studied forestry formations were: Ombrophilous Forest, Cerradao, Seasonal Forest and Restinga Forest. In this work, a 10.24 ha plot was installed in each forestry formation, and every tree, with a circumference at breast height (CBH) larger than 15 cm were measured, georeferenced and identified. The obtained data highlights the aggregated character in tropical forests, as observed in every studied forest. The 'Cerraddo' and 'Restinga' forest trees showed close aggregate patterns. In the Ombrophilous forest, for all distance scales, the aggregate pattern was meaningful. In the seasonal forest, a random tendency was observed, although a meaningful aggregation was observed in all short distances. The spatial pattern by diameter classes was generally aggregated for trees smaller than 10 cm of diameter and between 10 and 20 cm and random for the others, proving the existence of a tendency which in young trees is more aggregated than in old ones. The spatial pattern of the dominant species is always strongly similar to the general pattern of each forestry formation. The differences between the spatial patterns of two or three coincident species, among the forestry formations, indicate that its pattern is influenced by each different environment. This stands out the importance of its self-ecology and of its ecological processes, intrinsic of each community that can explain the observed patterns.

Superconductivity at 9.5 K in the Ti2GeC compound

We report on the investigation of the Ti2GeC properties by X-ray diffraction, magnetic and electrical resistivity measurements. Polycrystalline samples of Ti2GeC with nominal compositions were prepared by solid state reaction. X-ray powder patterns suggest that all peaks can be indexed with the hexagonal phase of Cr2AlC prototype. The temperature dependence of both electrical resistivity and magnetization indicate a bulk type-II superconductivity at 9.5 K. Magnetoresistive data suggest an upper critical field of B-c2 similar to 8.1 T and coherence length similar to 61 A degrees . Furthermore, the results highlight the highest critical temperature reported up to now for an H-phase.

Bioremediation of PAHs - Limitations and soultions

Introduction 1.1 Occurrence of polycyclic aromatic hydrocarbons (PAH) in the environment Worldwide industrial and agricultural developments have released a large number of natural and synthetic hazardous compounds into the environment due to careless waste disposal, illegal waste dumping and accidental spills. As a result, there are numerous sites in the world that require cleanup of soils and groundwater. Polycyclic aromatic hydrocarbons (PAHs) are one of the major groups of these contaminants (Da Silva et al., 2003). PAHs constitute a diverse class of organic compounds consisting of two or more aromatic rings with various structural configurations (Prabhu and Phale, 2003). Being a derivative of benzene, PAHs are thermodynamically stable. In addition, these chemicals tend to adhere to particle surfaces, such as soils, because of their low water solubility and strong hydrophobicity, and this results in greater persistence under natural conditions. This persistence coupled with their potential carcinogenicity makes PAHs problematic environmental contaminants (Cerniglia, 1992; Sutherland, 1992). PAHs are widely found in high concentrations at many industrial sites, particularly those associated with petroleum, gas production and wood preserving industries (Wilson and Jones, 1993). 1.2 Remediation technologies Conventional techniques used for the remediation of soil polluted with organic contaminants include excavation of the contaminated soil and disposal to a landfill or capping - containment - of the contaminated areas of a site. These methods have some drawbacks. The first method simply moves the contamination elsewhere and may create significant risks in the excavation, handling and transport of hazardous material. Additionally, it is very difficult and increasingly expensive to find new landfill sites for the final disposal of the material. The cap and containment method is only an interim solution since the contamination remains on site, requiring monitoring and maintenance of the isolation barriers long into the future, with all the associated costs and potential liability. A better approach than these traditional methods is to completely destroy the pollutants, if possible, or transform them into harmless substances. Some technologies that have been used are high-temperature incineration and various types of chemical decomposition (for example, base-catalyzed dechlorination, UV oxidation). However, these methods have significant disadvantages, principally their technological complexity, high cost , and the lack of public acceptance. Bioremediation, on the contrast, is a promising option for the complete removal and destruction of contaminants. 1.3 Bioremediation of PAH contaminated soil & groundwater Bioremediation is the use of living organisms, primarily microorganisms, to degrade or detoxify hazardous wastes into harmless substances such as carbon dioxide, water and cell biomass Most PAHs are biodegradable unter natural conditions (Da Silva et al., 2003; Meysami and Baheri, 2003) and bioremediation for cleanup of PAH wastes has been extensively studied at both laboratory and commercial levels- It has been implemented at a number of contaminated sites, including the cleanup of the Exxon Valdez oil spill in Prince William Sound, Alaska in 1989, the Mega Borg spill off the Texas coast in 1990 and the Burgan Oil Field, Kuwait in 1994 (Purwaningsih, 2002). Different strategies for PAH bioremediation, such as in situ , ex situ or on site bioremediation were developed in recent years. In situ bioremediation is a technique that is applied to soil and groundwater at the site without removing the contaminated soil or groundwater, based on the provision of optimum conditions for microbiological contaminant breakdown.. Ex situ bioremediation of PAHs, on the other hand, is a technique applied to soil and groundwater which has been removed from the site via excavation (soil) or pumping (water). Hazardous contaminants are converted in controlled bioreactors into harmless compounds in an efficient manner. 1.4 Bioavailability of PAH in the subsurface Frequently, PAH contamination in the environment is occurs as contaminants that are sorbed onto soilparticles rather than in phase (NAPL, non aqueous phase liquids). It is known that the biodegradation rate of most PAHs sorbed onto soil is far lower than rates measured in solution cultures of microorganisms with pure solid pollutants (Alexander and Scow, 1989; Hamaker, 1972). It is generally believed that only that fraction of PAHs dissolved in the solution can be metabolized by microorganisms in soil. The amount of contaminant that can be readily taken up and degraded by microorganisms is defined as bioavailability (Bosma et al., 1997; Maier, 2000). Two phenomena have been suggested to cause the low bioavailability of PAHs in soil (Danielsson, 2000). The first one is strong adsorption of the contaminants to the soil constituents which then leads to very slow release rates of contaminants to the aqueous phase. Sorption is often well correlated with soil organic matter content (Means, 1980) and significantly reduces biodegradation (Manilal and Alexander, 1991). The second phenomenon is slow mass transfer of pollutants, such as pore diffusion in the soil aggregates or diffusion in the organic matter in the soil. The complex set of these physical, chemical and biological processes is schematically illustrated in Figure 1. As shown in Figure 1, biodegradation processes are taking place in the soil solution while diffusion processes occur in the narrow pores in and between soil aggregates (Danielsson, 2000). Seemingly contradictory studies can be found in the literature that indicate the rate and final extent of metabolism may be either lower or higher for sorbed PAHs by soil than those for pure PAHs (Van Loosdrecht et al., 1990). These contrasting results demonstrate that the bioavailability of organic contaminants sorbed onto soil is far from being well understood. Besides bioavailability, there are several other factors influencing the rate and extent of biodegradation of PAHs in soil including microbial population characteristics, physical and chemical properties of PAHs and environmental factors (temperature, moisture, pH, degree of contamination). Figure 1: Schematic diagram showing possible rate-limiting processes during bioremediation of hydrophobic organic contaminants in a contaminated soil-water system (not to scale) (Danielsson, 2000). 1.5 Increasing the bioavailability of PAH in soil Attempts to improve the biodegradation of PAHs in soil by increasing their bioavailability include the use of surfactants , solvents or solubility enhancers.. However, introduction of synthetic surfactant may result in the addition of one more pollutant. (Wang and Brusseau, 1993).A study conducted by Mulder et al. showed that the introduction of hydropropyl-ß-cyclodextrin (HPCD), a well-known PAH solubility enhancer, significantly increased the solubilization of PAHs although it did not improve the biodegradation rate of PAHs (Mulder et al., 1998), indicating that further research is required in order to develop a feasible and efficient remediation method. Enhancing the extent of PAHs mass transfer from the soil phase to the liquid might prove an efficient and environmentally low-risk alternative way of addressing the problem of slow PAH biodegradation in soil.

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.

Patterns in and kinetics of phase separation in binary mixtures

This work focused mainly on two aspects of kinetics of phase separation in binary mixtures. In the first part, we studied the interplay of hydrodynamics and the phase separation of binary mixtures. A considerably flat container (a laterally extended geometry), at an aspect ratio of 14:1 (diameter: height) was chosen, so that any hydrodynamic instabilities, if they arise, could be tracked. Two binary mixtures were studied. One was a mixture of methanol and hexane, doped with 5% ethanol, which phase separated under cooling. The second was a mixture of butoxyethanol and water, doped with 2% decane, which phase separated under heating. The dopants were added to bring down the phase transition temperature around room temperature.rnrnAlthough much work has been done already on classical hydrodynamic instabilities, not much has been done in the understanding of the coupling between phase separation and hydrodynamic instabilities. This work aimed at understanding the influence of phase separation in initiating any hydrodynamic instability, and also vice versa. Another aim was to understand the influence of the applied temperature protocol on the emergence of patterns characteristic to hydrodynamic instabilities. rnrnOn slowly cooling the system continuously, at specific cooling rates, patterns were observed in the first mixture, at the start of phase separation. They resembled the patterns observed in classical Rayleigh-Bénard instability, which arises when a liquid continuously is heated from below. To suppress this classical convection, the cooling setup was tuned such that the lower side of the sample always remained cooler by a few millikelvins, relative to the top. We found that the nature of patterns changed with different cooling rates, with stable patterns appearing for a specific cooling rate (1K/h). On the basis of the cooling protocol, we estimated a modified Rayleigh number for our system. We found that the estimated modified Rayleigh number is near the critical value for instability, for cooling rates between 0.5K/h and 1K/h. This is consistent with our experimental findings. rnrnThe origin of the patterns, in spite of the lower side being relatively colder with respect to the top, points to two possible reasons. 1) During phase separation droplets of either phases are formed, which releases a latent heat. Our microcalorimetry measurements show that the rise in temperature during the first phase separation is in the order of 10-20millikelvins, which in some cases is enough to reverse the applied temperature bias. Thus phase separation in itself initiates a hydrodynamic instability. 2) The second reason comes from the cooling protocol itself. The sample was cooled from above and below. At sufficiently high cooling rates, there are situations where the interior of the sample is relatively hotter than both top and bottom of the sample. This is sufficient to create an instability within the cell. Our experiments at higher cooling rates (5K/h and above) show complex patterns, which hints that there is enough convection even before phase separation occurs. Infact, theoretical work done by Dr.Hayase show that patterns could arise in a system without latent heat, with symmetrical cooling from top and bottom. The simulations also show that the patterns do not span the entire height of the sample cell. This is again consistent with the cell sizes measured in our experiment.rnrnThe second mixture also showed patterns at specific heating rates, when it was continuously heated inducing phase separation. In this case though, the sample was turbid for a long time until patterns appeared. A meniscus was most probably formed before the patterns emerged. We attribute the reason of patterns in this case to Marangoni convection, which is present in systems with an interface, where local differences in surface tension give rise to an instability. Our estimates for the Rayleigh number also show a significantly lower number than that's required for RB-type instability.rnrnIn the first part of the work, therefore, we identify two different kinds of hydrodynamic instabilities in two different mixtures. Both are observed during, or after the first phase separation. Our patterns compare with the classical convection patterns, but here the origins are from phase separation and the cooling protocol.rnrnIn the second part of the work, we focused on the kinetics of phase separation in a polymer solution (polystyrene and methylcyclohexane), which is cooled continuously far down into the two phase region. Oscillations in turbidity, denoting material exchange between the phases are seen. Three processes contribute to the phase separation: Nucleation of droplets, their growth and coalescence, and their subsequent sedimentation. Experiments in low molecular binary mixtures had led to models of oscillation [43] which considered sedimentation time scales much faster than the time scales of nucleation and growth. The size and shape of the sample therefore did not matter in such situations. The oscillations in turbidity were volume-dominated. The present work aimed at understanding the influence of sedimentation time scales for polymer mixtures. Three heights of the sample with same composition were studied side by side. We found that periods increased with the sample height, thus showing that sedimentation time determines the period of oscillations in the polymer solutions. We experimented with different cooling rates and different compositions of the mixture, and we found that periods are still determined by the sample height, and therefore by sedimentation time. rnrnWe also see that turbidity emerges in two ways; either from the interface, or throughout the sample. We suggest that oscillations starting from the interface are due to satellite droplets that are formed on droplet coalescence at the interface. These satellite droplets are then advected to the top of the sample, and they grow, coalesce and sediment. This type of an oscillation wouldn't require the system to pass the energy barrier required for homogenous nucleation throughout the sample. This mechanism would work best in sample where the droplets could be effectively advected throughout the sample. In our experiments, we see more interface dominated oscillations in the smaller cells and lower cooling rates, where droplet advection is favourable. In larger samples and higher cooling rates, we mostly see that the whole sample becomes turbid homogenously, which requires the system to pass the energy barrier for homogenous nucleation.rnrnOscillations, in principle, occur since the system needs to pass an energy barrier for nucleation. The height of the barrier decreases with increasing supersaturation, which in turn is from the temperature ramp applied. This gives rise to a period where the system is clear, in between the turbid periods. At certain specific cooling rates, the system can follow a path such that the start of a turbid period coincides with the vanishing of the last turbid period, thus eliminating the clear periods. This means suppressions of oscillations altogether. In fact we experimentally present a case where, at a certain cooling rate, oscillations indeed vanish. rnrnThus we find through this work that the kinetics of phase separation in polymer solution is different from that of a low molecular system; sedimentation time scales become relevant, and therefore so does the shape and size of the sample. The role of interface in initiating turbid periods also become much more prominent in this system compared to that in low molecular mixtures.rnrnIn summary, some fundamental properties in the kinetics of phase separation in binary mixtures were studied. While the first part of the work described the close interplay of the first phase separation with hydrodynamic instabilities, the second part investigated the nature and determining factors of oscillations, when the system was cooled deep into the two phase region. Both cases show how the geometry of the cell can affect the kinetics of phase separation. This study leads to further fundamental understandings of the factors contributing to the kinetics of phase separation, and to the understandings of what can be controlled and tuned in practical cases. rn