The effect of a single supernova explosion on the cuspy density profile of a small-mass dark matter halo

Some observations of galaxies, and in particular dwarf galaxies, indicate a presence of cored density profiles in apparent contradiction with cusp profiles predicted by dark matter N-body simulations. We constructed an analytical model, using particle distribution functions (DFs), to show how a supernova (SN) explosion can transform a cusp density profile in a small-mass dark matter halo into a cored one. Considering the fact that an SN efficiently removes matter from the centre of the first haloes, we study the effect of mass removal through an SN perturbation in the DFs. We find that the transformation from a cusp into a cored profile occurs even for changes as small as 0.5 per cent of the total energy of the halo, which can be produced by the expulsion of matter caused by a single SN explosion.

Possible evidence of asymmetry in SN 2007rt, a type IIn supernova

An optical photometric and spectroscopic analysis of the slowly-evolving type IIn SN 2007rt is presented, covering a duration of 481 days after discovery. Its earliest spectrum, taken approximately 100 days after the explosion epoch, indicates the presence of a dense circumstellar medium, with which the supernova ejecta is interacting. This is supported by the slowly-evolving light curve. A notable feature in the spectrum of SN 2007rt is the presence of a broad He I 5875 line, not usually detected in type IIn supernovae. This may imply that the progenitor star has a high He/H ratio, having shed a significant portion of its hydrogen shell via mass-loss. An intermediate resolution spectrum reveals a narrow H(alpha) P-Cygni profile, the absorption component of which has a width of 128 km s (1). This slow velocity suggests that the progenitor of SN 2007rt recently underwent mass-loss with wind speeds comparable to the lower limits of those detected in luminous blue variables. Asymmetries in the line profiles of H and He at early phases bears some resemblance to double-peaked features observed in a number of Ib/c spectra. These asymmetries may be indicative of an asymmetric or bipolar outflow or alternatively dust formation in the fast expanding ejecta. In addition, the late time spectrum, at over 240 days post-explosion, shows clear evidence for the presence of newly formed dust.

The effect of agitation speed, enzyme loading and substrate concentration on enzymatic hydrolysis of cellulose from brewer`s spent grain

Brewer`s spent grain components (cellulose, hemicellulose and lignin) were fractionated in a two-step chemical pretreatment process using dilute sulfuric acid and sodium hydroxide solutions. The cellulose pulp produced was hydrolyzed with a cellulolytic complex, Celluclast 1.5 L, at 45 degrees C to convert the cellulose into glucose. Several conditions were examined: agitation speed (100, 150 and 200 rpm), enzyme loading (5, 25 and 45 FPU/g substrate), and substrate concentration (2, 5 and 8% w/v), according to a 2(3) full factorial design aiming to maximize the glucose yield. The obtained results were interpreted by analysis of variance and response surface methodology. The optimal conditions for enzymatic hydrolysis of brewer`s spent grain were identified as 100 rpm, 45 FPU/g and 2% w/v substrate. Under these conditions, a glucose yield of 93.1% and a cellulose conversion (into glucose and cellobiose) of 99.4% was achieved. The easiness of glucose release from BSG makes this substrate a raw material with great potential to be used in bioconversion processes.

Obtaining polymeric composite membranes from lignocellulosic components of sugarcane bagasse for use in wastewater treatment

Currently, several research groups and industries are studying applications for the residues from agrobusiness, other than burning them. Thinking about a better use for the sugarcane bagasse, this study aims to obtain membranes of cellulose acetate composite with oxidized lignin, both isolated from sugarcane bagasse. Thus, we obtain a product with higher commercial value, from a natural fiber, which has applications in water and effluent treatment, and further contributes to the maintenance of the environment. Macromolecular components of bagasse were separated by steam explosion pre-treatment and a basic treatment with NaOH. The pulp obtained was bleached and acetylated, and subsequently membranes of this cellulose acetate were synthesized, incorporating oxidized lignin to these membranes in order to increase the metal retention capacity of them. The acetylated material was analyzed by IR, confirming acetylation. Degree of substitution was determined by volumetry, resulting in a diacetate to the MA I condition and a triacetate to MA II condition. It was observed that for the material with a lower degree of acetylation, it has better incorporation of oxidized lignins. SEM, showed membranes with dense structure. Tests were conducted to evaluate metal retention, and the average capacity of removal was 16% Cu(+2) in steady-state experiments.

A study on the pretreatment of a sugarcane bagasse sample with dilute sulfuric acid

Experiments based on a 2(3) central composite full factorial design were carried out in 200-ml stainless-steel containers to study the pretreatment, with dilute sulfuric acid, of a sugarcane bagasse sample obtained from a local sugar-alcohol mill. The independent variables selected for study were temperature, varied from 112.5A degrees C to 157.5A degrees C, residence time, varied from 5.0 to 35.0 min, and sulfuric acid concentration, varied from 0.0% to 3.0% (w/v). Bagasse loading of 15% (w/w) was used in all experiments. Statistical analysis of the experimental results showed that all three independent variables significantly influenced the response variables, namely the bagasse solubilization, efficiency of xylose recovery in the hemicellulosic hydrolysate, efficiency of cellulose enzymatic saccharification, and percentages of cellulose, hemicellulose, and lignin in the pretreated solids. Temperature was the factor that influenced the response variables the most, followed by acid concentration and residence time, in that order. Although harsher pretreatment conditions promoted almost complete removal of the hemicellulosic fraction, the amount of xylose recovered in the hemicellulosic hydrolysate did not exceed 61.8% of the maximum theoretical value. Cellulose enzymatic saccharification was favored by more efficient removal of hemicellulose during the pretreatment. However, detoxification of the hemicellulosic hydrolysate was necessary for better bioconversion of the sugars to ethanol.

Citric acid as anti-hydration additive for magnesia containing refractory castables

Magnesia hydration is a key concern in refractory castable processing. The volumetric expansion that follows this reaction can result in cracks or even explosion during the first heating-up. Citric acid (CA) and other chelants can significantly reduce MgO hydration rate in aqueous suspensions by forming an insoluble magnesium citrate protective coating on the magnesia particles` surface. In the present work, the performance of CA as an anti-hydration additive in refractory castables was evaluated by hydration tests, mechanical strength and apparent volumetric expansion (AVE) measurements and thermogravimetry. The results attained have shown that CA effectiveness depends strongly on the amount added and by the interaction with other raw materials in the composition, in particular calcium aluminate cement. (C) 2011 Elsevier Ltd and Techna Group S.r.l. All rights reserved.

A Functional Verification Methodology Based on Parameter Domains for Efficient Input Stimuli Generation and Coverage Modeling

Modern Integrated Circuit (IC) design is characterized by a strong trend of Intellectual Property (IP) core integration into complex system-on-chip (SOC) architectures. These cores require thorough verification of their functionality to avoid erroneous behavior in the final device. Formal verification methods are capable of detecting any design bug. However, due to state explosion, their use remains limited to small circuits. Alternatively, simulation-based verification can explore hardware descriptions of any size, although the corresponding stimulus generation, as well as functional coverage definition, must be carefully planned to guarantee its efficacy. In general, static input space optimization methodologies have shown better efficiency and results than, for instance, Coverage Directed Verification (CDV) techniques, although they act on different facets of the monitored system and are not exclusive. This work presents a constrained-random simulation-based functional verification methodology where, on the basis of the Parameter Domains (PD) formalism, irrelevant and invalid test case scenarios are removed from the input space. To this purpose, a tool to automatically generate PD-based stimuli sources was developed. Additionally, we have developed a second tool to generate functional coverage models that fit exactly to the PD-based input space. Both the input stimuli and coverage model enhancements, resulted in a notable testbench efficiency increase, if compared to testbenches with traditional stimulation and coverage scenarios: 22% simulation time reduction when generating stimuli with our PD-based stimuli sources (still with a conventional coverage model), and 56% simulation time reduction when combining our stimuli sources with their corresponding, automatically generated, coverage models.

A mechanism for the formation of oxygen and iron bimodal radial distribution in the disc of our Galaxy

Recently, it has been proposed that there are two type Ia supernova progenitors: short-lived and long-lived. On the basis of this idea, we develop a theory of a unified mechanism for the formation of the bimodal radial distribution of iron and oxygen in the Galactic disc. The underlying cause for the formation of the fine structure of the radial abundance pattern is the influence of the spiral arms, specifically the combined effect of the corotation resonance and turbulent diffusion. From our modelling, we conclude that in order to explain the bimodal radial distributions simultaneously for oxygen and iron and to obtain approximately equal total iron output from different types of supernovae, the mean ejected iron mass per supernova event should be the same as quoted in the literature if the maximum mass of stars, which eject heavy elements, is 50 M(circle dot). For the upper mass limit of 70 M(circle dot), the production of iron by a type II supernova explosion should increase by about 1.5 times.

Hydrodynamical simulations of Galactic fountains - II. Evolution of multiple fountains

The ejection of gas out of the disc in late-type galaxies is related to star formation and is mainly due to the explosion of Type II supernovae (SN II). In a previous paper, we considered the evolution of a single Galactic fountain, that is, a fountain powered by a single SN cluster. Using three-dimensional hydrodynamical simulations, we studied in detail the fountain flow and its dependence with several factors, such as the Galactic rotation, the distance to the Galactic centre and the presence of a hot gaseous halo. As a natural followup, this paper investigates the dynamical evolution of multiple generations of fountains generated by similar to 100 OB associations. We have considered the observed size-frequency distribution of young stellar clusters within the Galaxy in order to appropriately fuel the multiple fountains in our simulations. Most of the results of the previous paper have been confirmed, like for example the formation of intermediate velocity clouds above the disc by the multiple fountains. Also, this work confirms the localized nature of the fountain flows: the freshly ejected metals tend to fall back close to the same Galactocentric region where they are delivered. Therefore, the fountains do not change significantly the radial profile of the disc chemical abundance. The multiple fountain simulations also allowed us to consistently calculate the feedback of the star formation on the halo gas. We found that the hot gas gains about 10 per cent of all the SN II energy produced in the disc. Thus, the SN feedback more than compensate for the halo radiative losses and allow for a quasi steady-state disc-halo circulation to exist. Finally, we have also considered the possibility of mass infall from the intergalactic medium and its interaction with the clouds that are formed by the fountains. Though our simulations are not suitable to reproduce the slow rotational pattern that is typically observed in the haloes around the disc galaxies, they indicate that the presence of an external gas infall may help to slow down the rotation of the gas in the clouds and thus the amount of angular momentum that they transfer to the coronal gas, as previously suggested in the literature.

Fault Coverage-Driven Incremental Test Generation

In this paper, we consider a classical problem of complete test generation for deterministic finite-state machines (FSMs) in a more general setting. The first generalization is that the number of states in implementation FSMs can even be smaller than that of the specification FSM. Previous work deals only with the case when the implementation FSMs are allowed to have the same number of states as the specification FSM. This generalization provides more options to the test designer: when traditional methods trigger a test explosion for large specification machines, tests with a lower, but yet guaranteed, fault coverage can still be generated. The second generalization is that tests can be generated starting with a user-defined test suite, by incrementally extending it until the desired fault coverage is achieved. Solving the generalized test derivation problem, we formulate sufficient conditions for test suite completeness weaker than the existing ones and use them to elaborate an algorithm that can be used both for extending user-defined test suites to achieve the desired fault coverage and for test generation. We present the experimental results that indicate that the proposed algorithm allows obtaining a trade-off between the length and fault coverage of test suites.