Support Tool to the Validation Process of Functional Requirements

The activity of validating identified requirements for an information system helps to improve the quality of a requirements specification document and, consequently, the success of a project. Although various different support tools to requirements engineering exist in the market, there is still a lack of automated support for validation activity. In this context, the purpose of this paper is to make up for that deficiency, with the use of an automated tool, to provide the resources for the execution of an adequate validation activity. The contribution of this study is to enable an agile and effective follow-up of the scope established for the requirements, so as to lead the development to a solution which would satisfy the real necessities of the users, as well as to supply project managers with relevant information about the maturity of the analysts involved in requirements specification.

Synthesis, characterization, and bactericidal properties of composites based on crosslinked resins containing silver

Two different commercial crosslinked resins (Amberlite GT73 and Amberlite IRC748) were employed for anchoring silver. The -SH and -N(CH2COOH)2 groups, respectively, present on these resins were used for Ag+ chelation from an aqueous solution. The Ag+ ions were reduced with three different reductants: hydrazine, hydroxylamine, and formaldehyde (under an alkaline pH). The produced composites were characterized with thermogravimetry/differential thermogravimetry and scanning electron microscopy combined with a backscattered scanning electron detector. Energy-dispersive X-ray spectroscopy coupled to scanning electron microscopy allowed the observation of submicrometer particles of silver, and chemical microanalysis of emitted X-rays revealed the presence of metal on the internal and external surfaces of the composite microspheres. The amount of incorporated silver was determined by titration. The antibacterial activity of the silver/resin composites was determined toward 10(3)-10(7) cells/mL dilutions of the auxotrophic AB1157 Escherichia coli strain; the networks containing anchored submicrometer silver particles were completely bactericidal within a few minutes because of the combined action of silver and functional groups of the resins. (c) 2007 Wiley Periodicals, Inc.

Functional characterization of the oxaloacetase encoding gene and elimination of oxalate formation in the beta-lactam producer Penicillium chrysogenum

Penicillium chrysogenum is widely used as an industrial antibiotic producer, in particular in the synthesis of g-lactam antibiotics such as penicillins and cephalosporins. In industrial processes, oxalic acid formation leads to reduced product yields. Moreover, precipitation of calcium oxalate complicates product recovery. We observed oxalate production in glucose-limited chemostat cultures of P. chrysogenum grown with or without addition of adipic acid, side-chain of the cephalosporin precursor adipoyl-6-aminopenicillinic acid (ad-6-APA). Oxalate accounted for up to 5% of the consumed carbon source. In filamentous fungi, oxaloacetate hydrolase (OAH; EC3.7.1.1) is generally responsible for oxalate production. The P. chrysogenum genome harbours four orthologs of the A. niger oahA gene. Chemostat-based transcriptome analyses revealed a significant correlation between extracellular oxalate titers and expression level of the genes Pc18g05100 and Pc22g24830. To assess their possible involvement in oxalate production, both genes were cloned in Saccharomyces cerevisiae, yeast that does not produce oxalate. Only the expression of Pc22g24830 led to production of oxalic acid in S. cerevisiae. Subsequent deletion of Pc22g28430 in P. chrysogenum led to complete elimination of oxalate production, whilst improving yields of the cephalosporin precursor ad-6-APA. (C) 2011 Elsevier Inc. All rights reserved.

Electrochemical study of modified non-functional bis-silane layers on Al alloy 2024-T3

In the last few years great efforts have been made in order to find and to develop environmentally friendly substitutes for Cr6+ pre-treatments applied on aluminium alloys used in the aircraft industry. Among the potential substitutes, silane layers have attracted considerable interest from researchers and from the industry. The present work investigates the anti-corrosion behaviour of (bis-1, 2-(triethoxysilyl) ethane (BTSE)) silane layers modified with Ce ions and/or silica nanoparticles applied on Al alloy 2024-T3 substrates. The corrosion behaviour was investigated in 0.1 M NaCl solution via d.c. polarization and electrochemical impedance spectroscopy (EIS). Contact angle measurements and XPS were used to assess information on the chemistry of the silane pre-treated surfaces. The results have shown that the introduction of additives improves the corrosion protection properties of the silane layer. (c) 2008 Elsevier Ltd. 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.

The rheological behavior and surface charging of gelcasting alumina suspensions

Aim of this work is to investigate the effect of monomers containing either carboxylate (ammonium acrylate) or acrylamide (hydroxymethylacrylamide) functional groups on the surface charging and theological behavior of alumina suspensions. The rheological behavior was investigated by changing the concentrations of dispersant (ammonium polyacrylate) and monomers in the suspensions. The zeta potential of alumina suspensions containing each of the different monomers was measured as a function of dispersant additions. The suspension theological behavior varied significantly depending on the monomer type, which could be explained in terms of repulsive forces, pH changes and additive interactions. (C) 2006 Elsevier Ltd and Techna Group S.r.l. All rights reserved.

Life history of Proctolaelaps bulbosus feeding on the coconut mite Aceria guerreronis and other possible food types occurring on coconut fruits

Aceria guerreronis Keifer (Acari: Eriophyidae) is a major pest of coconut fruits (Cocos nucifera L.) in many countries of the Americas, Africa, and parts of Asia. Considerable attention has been given to studies of biological control agents of A. guerreronis. Proctolaelaps bulbosus Moraes, Reis and Gondim Jr. is a predator recently discovered in association with A. guerreronis. Nothing is known about its biology. The aim of this study was to determine suitable food sources for P. bulbosus, among items commonly found on coconut fruits, including A. guerreronis. Food sources evaluated included the mites A. guerreronis, Steneotarsonemus concavuscutum Lofego and Gondim Jr., and Tyrophagus putrescentiae (Schrank), the fungus Rhizopus aff. stolonifer (Ehrenb.) Vuill and coconut pollen; the mite Tetranychus urticae Koch was also included in the assessments, for being a commonly used prey for mass production and laboratory rearing of predatory mites. Proctolaelaps bulbosus was able to develop up to adulthood when fed A. guerreronis, R. aff. stolonifer and T. putrescentiae. It had the highest population growth rates when feeding on the former (R (o) = 17.5; r (m) = 0.392). These results indicate that A. guerreronis is the most suitable food for P. bulbosus among the possible food sources found on coconut fruits and that P. bulbosus can survive in the absence of eriophyid using R. aff. stolonifer as a food source.

Vector within-host feeding preference mediates transmission of a heterogeneously distributed pathogen

2. We documented the within-host distribution of two vector species that differ in transmission efficiency, the leafhoppers Draeculacephala minerva and Graphocephala atropunctata, and which are free to move throughout entirely caged alfalfa plants. The more efficient vector D. minerva fed preferentially at the base of the plant near the soil surface, whereas the less efficient G. atropunctata preferred overwhelming the top of the plant. 3. Next we documented X. fastidiosa heterogeneity in mechanically inoculated plants. Infection rates were up to 50% higher and mean bacterial population densities were 100-fold higher near the plant base than at the top or in the taproot. 4. Finally, we estimated transmission efficiency of the two leafhoppers when they were confined at either the base or top of inoculated alfalfa plants. Both vectors were inefficient when confined at the top of infected plants and were 20-60% more efficient when confined at the plant base. 5. These results show that vector transmission efficiency is determined by the interaction between leafhopper within-plant feeding behaviour and pathogen within-plant distribution. Fine-scale vector and pathogen overlap is likely to be a requirement generally for efficient transmission of vector-borne pathogens.

Diet-dependent life history, feeding preference and thermal requirements of the predatory mite Neoseiulus baraki (Acari: Phytoseiidae)

Neoseiulus baraki Athias-Henriot (Acari: Phytoseiidae) has been reported from the Americas, Africa and Asia, often in association with Aceria guerreronis Keifer (Acari: Eriophyidae), one of the most important pests of coconut (Cocos nucifera L.) in diVerent parts of the world. That phytoseiid has been considered one of the most common predators associated with A. guerreronis in Brazil. The objective of this study was to evaluate the feeding preference and the eVect of food items commonly present on coconut fruits and several temperature regimes on the life history of a Brazilian population of N. baraki. Completion of immature development was possible when N. baraki was fed A. guerreronis, Steneotarsonemus concavuscutum Lofego and Gondim Jr., and Tyrophagus putrescentiae (Schrank). Fecundity was highest on T. putrescentiae (39.4 eggs), followed by A. guerreronis (24.8 eggs). In choice tests, irrespective of the food on which N. baraki was reared, a larger number of adults of this predator chose leaf discs containing A. guerreronis than discs containing other food items, demonstrating a preference of the former for the latter as food. Egg to adult thermal developmental time was calculated as 84.2 degree-days, above a threshold of 15.8 degrees C. This lower developmental threshold is higher than previously published for phytoseiid species from higher latitudes. Neoseiulus baraki was shown to have higher biotic potential at 30 degrees C (r(m) 0.29). The results suggest N. baraki to be a promising biological control agent of A. guerreronis, well adapted to survive and develop in areas with relatively high temperatures, where that pest prevails.

Analysis of genomic and functional RFLP derived markers associated with sucrose content, fiber and yield QTLs in a sugarcane (Saccharum spp.) commercial cross

Expressed sequence tags derived markers have a great potential to be used in functional map construction and QTL tagging. In the present work, sugarcane genomic probes and expressed sequence tags having homology to genes, mostly involved in carbohydrate metabolism were used in RFLP assays to identify putative QTLs as well as their epistatic interactions for fiber content, cane yield, pol and tones of sugar per hectare, at two crop cycles in a progeny derived from a bi-parental cross of sugarcane elite materials. A hundred and twenty marker trait associations were found, of which 26 at both crop cycle and 32 only at first ratoon cane. A sucrose synthase derived marker was associated with a putative QTL having a high negative effect on cane yield and also with a QTL having a positive effect on Pol at both crop cycles. Fifty digenic epistatic marker interactions were identified for the four traits evaluated. Of these, only two were observed at both crop cycles.

Characterization of new polymorphic functional markers for sugarcane

Fundacao de Amparo a Pesquisa do Estado de Sao Paulo (FAPESP)[02/01167-1]

Cow/calf preweaning efficiency of Nellore and Bos taurus x Bos indicus crosses

The objectives of this study were to determine if percentage Bos taurus (0 or 50%) of the cow had an effect on ME requirements and milk production, and to compare cow/calf efficiency among 3 mating systems. Metabolizable energy requirements were estimated during a feeding trial that encompassed a gestation and lactation feeding trial for each of 2 groups of cows. Cows were 0 or 50% Bos taurus ( 100 or 50% Nellore) breed type: Nellore cows (NL; n = 10) mated to Nellore bulls, NL cows ( n = 9) mated to Angus bulls, Angus x Nellore (ANL; n = 10) and Simmental x Nellore (SNL; n = 10) cows mated to Canchim (5/ 8 Charolais 3/ 8 Zebu) bulls. Cows were individually fed a total mixed diet that contained 11.3% CP and 2.23 Mcal of ME/kg of DM. At 14-d intervals, cows and calves were weighed and the amount of DM was adjusted to keep shrunk BW and BCS of cows constant. Beginning at 38 d of age, corn silage was available to calves ad libitum. Milk production at 42, 98, 126, and 180 d postpartum was measured using the weigh-suckle-weigh technique. At 190 d of age, calves were slaughtered and body composition estimated using 9-10-11th-rib section to obtain energy deposition. Regression of BW change on daily ME intake (MEI) was used to estimate MEI at zero BW change. Increase in percentage Bos taurus had a significant effect on daily ME requirements (Mcal/d) during pregnancy (P < 0.01) and lactation (P < 0.01). Percentage Bos taurus had a positive linear effect on maintenance requirements of pregnant (P = 0.07) and lactating (P < 0.01) cows; during pregnancy, the ME requirements were 91 and 86% of those in lactation (131 +/- 3.5 vs. 145 +/- 3.4 Mcal.kg(-0.75).d(-1)) for the 0 and 50% B. taurus groups, respectively. The 50% B. taurus cows, ANL and SNL, suckling crossbred calves had greater total MEI (4,319 +/- 61 Mcal; P < 0.01) than 0% B. taurus cows suckling NL (3,484 +/- 86 Mcal) or ANL calves (3,600 +/- 91 Mcal). The 0% B. taurus cows suckling ANL calves were more efficient (45.3 +/- 1.6 g/Mcal; P = 0.03) than straightbred NL (35.1 +/- 1.5 g/Mcal) and ANL or SNL pairs (41.0 +/- 1.0 g/Mcal). Under the conditions of this study, crossbreeding improved cow/ calf efficiency and showed an advantage for cows that have lower energy requirements.

Feeding Dietary Mannan Oligosaccharides to Juvenile Nile Tilapis, Oreochromis niloticus, Has No Effect on Hematological Parameters and Showed Decreased Feed Consumption

Impaired immune system by environmental stressors can lead fishes to be more susceptible to diseases that limit the economic development of aquaculture systems. This study was set out to determine the effect of six levels of mannan oligosaccharides (MOS; ActiveMOS((R)); Biorigin, Lencois Paulista, Sao Paulo, Brazil) on the performance index and hematology of Nile tilapia, Oreochromis niloticus juveniles. Fish (13.62 g) were randomly distributed into 18 plastic aquaria (300 L; 20 fishes per aquarium) and fed during 45 d with a commercial diet supplemented with 0, 0.2, 0.4, 0.6, 0.8, and 1% dietary MOS, in a totally randomized design trial (n = 3); biometrical and hematological data were collected and analyzed. There were no significant differences in hematological parameters between fish fed control and MOS supplementation diets, and daily feed consumption (FC) decreased (P < 0.05) with increasing levels of dietary MOS. Dietary MOS did not increase leukocyte count and presented negative effects on FC of Nile tilapia. At 0.4% MOS supplementation, the individual weight gain was higher in absolute values but not different (P > 0.05) compared to control diet.

Winter-feeding systems for gestating sheep II. Effects on feedlot performance, glucose tolerance, and carcass composition of lamb progeny

Mature pregnant crossbred ewes (n = 90) were used in a randomized complete block design experiment and were assigned to 1 of 3 winter-feeding systems differing in primary feed source: haylage (HL), limit-fed corn (CN), or limit-fed dried distillers grains (DDGS). Effects of these winter-feeding strategies on postweaning progeny performance were determined. Lamb progeny (n = 96) were weaned at 61 +/- 4 d of age and fed a common high-concentrate diet. Lambs were assigned to feedlot pen (n = 18) based on dam mid-gestation pen. Growth rate, DMI, and ADG were determined for the first 40 d of the finishing period. At 96 +/- 4 d of age, 1 wether lamb was randomly selected from each pen (n = 18) for a glucose tolerance test. The experiment was terminated, and lambs were slaughtered individually when they were determined to have achieved 0.6-cm 12th-rib fat thickness. After a 24-h chill, carcass data were collected and a 2.54-cm chop was removed from each lamb from the LM posterior to the 12th rib for ether extract analysis. Additional carcass measurements of bone, muscle, and fat from the shoulder, rack, loin, and leg were collected on 35 carcasses. At weaning, lamb BW was not different among treatments, whereas final BW tended to be greater (P = 0.09) for lambs from ewes fed DDGS and CN during gestation than from those fed HL. Overall lamb growth rate from birth to slaughter was not different among treatments. Lambs from ewes fed DDGS vs. CN or HL tended to have a greater initial insulin response (P = 0.09). Dressing percent was less (P = 0.04) in lambs from ewes fed DDGS, but no difference (P = 0.16) was detected in HCW among treatments. As expected, 12th rib fat thickness was similar among treatments, whereas LM area was largest to smallest (P = 0.05) in lambs from ewes fed CN, HL, and DDGS, respectively. Proportion of internal fat tended to be greatest to smallest (P = 0.06) in lambs from ewes fed DDGS, CN, and HL, respectively. Calculated boneless trimmed retail cuts percentage was less (P = 0.04) in lambs from ewes fed DDGS than CN or HL. Loin muscle weight as a percentage of wholesale cut tended (P = 0.10) to be greater in lambs from ewes fed CN and HL than DDGS, whereas other muscle, bone, and fat weights and proportions were similar (P > 0.24) among treatments. Prepartum diet during mid to late gestation of ewes altered postnatal fat and muscle deposition and may be associated with alterations in insulin sensitivity of progeny.

Components of Surface Charge in Tropical Soils With Contrasting Mineralogies

Study of surface electric charges of soil colloids helps in understanding the physicochemical phenomena that influence the capacity of retaining nutrients and their availability to plants. The structural charge (sigma(0), (min)), the variable charge (sigma(q, min)), and the organic matter (OM) charge (sigma(total) (OM)) of 12 tropical soils with contrasting mineralogies were evaluated based on the difference of selectivity for Cs(+) and Li(+) between the functional ionizable surfaces groups and the mineral 2:1 siloxane surface. Soils were divided into three groups: G1, soils with a predominance of kaolinite and gibbsite in the clay fraction; G2, soils with hydroxy-interlayered 2:1 minerals; and G3, soils with smectite but without hydroxy-interlayered 2:1 minerals. The Cs absorption method was efficient for detecting the charge components in tropical soils. The mineral structural charge contributed 11% and 16%, 28% and 31%, and 52% and 59% of total soil charge of A and B horizons of soils from groups G 1, G2, and G3, respectively. On the other hand, OM contributed 53% and 37%, 48% and 41%, and 21% and 20% of total charge for the same samples, respectively, In highly weathered soils of group G I and, to a lesser extent, in soils in group G2, surface charges depended mainly on their variable components, resulting from the OM (sigma(toal) (OM)), as well as from imperfections found in 1:1 minerals (sigma(q, min)). The importance of OM in determining the magnitude of electric charges in humid tropical soils is highlighted.