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.

Justified Fault-Ride-Through Requirements for Wind Turbines in Power Systems

In this paper, a novel adaptive strategy to obtain technically justified fault-ride-through requirements for wind turbines (WTs) is proposed. The main objective is to promote an effective integration of wind turbines into power systems with still low penetration levels of wind power based on technical and economical considerations. The level of requirement imposed by the strategy is increased stepwise over time, depending on system characteristics and on wind power penetration level. The idea behind is to introduce stringent requirements only when they are technically needed for a reliable and secure power system operation. Voltage stability support and fault-ride-through requirements are considered in the strategy. Simulations are based on the Chilean transmission network, a midsize isolated power system with still low penetration levels of wind power. Simulations include fixed speed induction generators and doubly fed induction generators. The effects on power system stability of the wind power injections, integrated into the network by adopting the adaptive strategy, are compared with the effects that have the same installed capacity of wind power but only considering WTs able to fulfill stringent requirements (fault-ride-through capability and support voltage stability). Based on simulations and international experience, technically justified requirements for the Chilean case are proposed.

Diet quality index adjusted for energy requirements in adults

This study aimed to develop a diet quality index (DQI-a) adjusted for energy requirement. Dietary intake of adults was assessed using 24-hour food recall. The DQI was developed for scores evenly distributed across ten items characterizing different aspects of diet: food groups, nutrients, and variety. The components categorized under the food groups from the Dietary Guide for Brazilians were adjusted according to the estimated energy requirements of the population studied. Index consistency and correlation with nutrients of the diet was analyzed by Cronbach's alpha. A total of 737 individuals were assessed and energy requirements ranged from 1,800 to 2,500kcal among women and 2,500 to 3,400kcal in men. The food group with greatest variation in total portions was cereals and tubers. Cronbach's alpha of the DQI-a was 0.643 and the index correlated with most of the nutrients. The DQI-a can be considered a valuable instrument for assessing diet quality of the Brazilian population.

Specification of Supervisory Control Systems for Ventricular Assist Devices

One of the most important recent improvements in cardiology is the use of ventricular assist devices (VADs) to help patients with severe heart diseases, especially when they are indicated to heart transplantation. The Institute Dante Pazzanese of Cardiology has been developing an implantable centrifugal blood pump that will be able to help a sick human heart to keep blood flow and pressure at physiological levels. This device will be used as a totally or partially implantable VAD. Therefore, an improvement on device performance is important for the betterment of the level of interaction with patient`s behavior or conditions. But some failures may occur if the device`s pumping control does not follow the changes in patient`s behavior or conditions. The VAD control system must consider tolerance to faults and have a dynamic adaptation according to patient`s cardiovascular system changes, and also must attend to changes in patient conditions, behavior, or comportments. This work proposes an application of the mechatronic approach to this class of devices based on advanced techniques for control, instrumentation, and automation to define a method for developing a hierarchical supervisory control system that is able to perform VAD control dynamically, automatically, and securely. For this methodology, we used concepts based on Bayesian network for patients` diagnoses, Petri nets to generate a VAD control algorithm, and Safety Instrumented Systems to ensure VAD system security. Applying these concepts, a VAD control system is being built for method effectiveness confirmation.

Dietary lysine requirement of juvenile pacu Piaractus mesopotamicus (Holmberg, 1887)

Lysine is the reference essential amino acid in fish feeds and usually the most limiting amino acid in feedstuffs. The dietary lysine requirement of juvenile pacu Piaractus mesopotamicus (4.3 g) was determined using five isonitrogenous (32% CP) test diets containing graded levels of lysine (0.9, 1.17, 1.44, 1.69 and 1.96% of dry diet) fed three times a day to four groups of 18 fish for 74 days. Growth, body composition, nutrient retention and hematological parameters of pacu were analyzed. Analysis of variance showed that all growth performance parameters were significantly affected by dietary treatments. The lysine requirements estimated using regression analysis for maximum weight gain and feed efficiency were 1.45 and 1.51% of dry diet, respectively. Nitrogen retention efficiency increased with increasing levels of dietary lysine up to 1.43% (p<0.05). Whole-body protein increased (p<0.05) and whole-body lipid decreased (p<0.05) with increasing dietary lysine level. Thus, the lysine requirement of juvenile pacu was estimated as being 1.4-1.5% of dry diet or 4.4-4.7% of dietary protein. (c) 2009 Elsevier B.V. All rights reserved.

Estimating Amino Acid Requirement of Brazilian Freshwater Fish from Muscle Amino Acid Profile

Information on nutritional requirement of some Brazilian farmed fish species, especially essential amino acids (EAA) requirements, is scarce. The estimation of amino acids requirements based on amino acid composition of fish is a fast and reliable alternative. Matrinxa, Brycon amazonicus, and curimbata, Prochilodus lineatus, are two important Brazilian fish with potential for aquaculture. The objective of the present study was to estimate amino acid requirements of these species and analyze similarities among amino acid composition of different fish species by cluster analysis. To estimate amino acid requirement, the following formula was used: amino acid requirement = [(amount of an individual amino acid in fish muscle tissue) x (average totalEAA requirement among channel catfish, Ictalurus punctatus, Nile tilapia, Oreochromis niloticus, and common carp, Cyprinus carpio)]/(average fish muscle totalEAA). Most values found lie within the range of requirements determined for other omnivorous fish species, in exception of leucine requirement estimated for both species, and arginine requirement estimated for matrinxa alone. Rather than writing off the need for regular dose-response assays under the ideal protein concept to determine EAA requirements of curimbata and matrinxa, results set solid base for the study of tropical species dietary amino acids requirements.

Use of L-Proline and ATP Production by Trypanosoma cruzi Metacyclic Forms as Requirements for Host Cell Invasion

The process of host cell invasion by Trypanosoma cruzi depends on parasite energy. What source of energy is used for that event is not known. To address this and other questions related to T. cruzi energy requirements and cell invasion, we analyzed metacyclic trypomastigote forms of the phylogenetically distant CL and G strains. For both strains, the nutritional stress experienced by cells starved for 24, 36, or 48 h in phosphate-buffered saline reduced the ATP content and the ability of the parasite to invade HeLa cells proportionally to the starvation time. Inhibition of ATP production by treating parasites with rotenone plus antimycin A also diminished the infectivity. Nutrient depletion did not alter the expression of gp82, the surface molecule that mediates CL strain internalization, but increased the expression of gp90, the negative regulator of cell invasion, in the G strain. When L-proline was given to metacyclic forms starved for 36 h, the ATP levels were restored to those of nonstarved controls for both strains. Glucose had no such effect, although this carbohydrate and L-proline were transported in similar fashions. Recovery of infectivity promoted by L-proline treatment of starved parasites was restricted to the CL strain. The profile of restoration of ATP content and gp82-mediated invasion capacity by L-proline treatment of starved Y-strain parasites was similar to that of the CL strain, whereas the Dm28 and Dm30 strains, whose infectivity is downregulated by gp90, behaved like the G strain. L-Proline was also found to increase the ability of the CL strain to traverse a gastric mucin layer, a property important for the establishment of T. cruzi infection by the oral route. Efficient translocation of parasites through gastric mucin toward the target epithelial cells in the stomach mucosa is an essential requirement for subsequent cell invasion. By relying on these closely associated ATP-driven processes, the metacyclic trypomastigotes effectively accomplish their internalization.

Upgrading a TCABR data analysis and acquisition system for remote participation using Java, XML, RCP and modern client/server communication/authentication

The TCABR data analysis and acquisition system has been upgraded to support a joint research programme using remote participation technologies. The architecture of the new system uses Java language as programming environment. Since application parameters and hardware in a joint experiment are complex with a large variability of components, requirements and specification solutions need to be flexible and modular, independent from operating system and computer architecture. To describe and organize the information on all the components and the connections among them, systems are developed using the extensible Markup Language (XML) technology. The communication between clients and servers uses remote procedure call (RPC) based on the XML (RPC-XML technology). The integration among Java language, XML and RPC-XML technologies allows to develop easily a standard data and communication access layer between users and laboratories using common software libraries and Web application. The libraries allow data retrieval using the same methods for all user laboratories in the joint collaboration, and the Web application allows a simple graphical user interface (GUI) access. The TCABR tokamak team in collaboration with the IPFN (Instituto de Plasmas e Fusao Nuclear, Instituto Superior Tecnico, Universidade Tecnica de Lisboa) is implementing this remote participation technologies. The first version was tested at the Joint Experiment on TCABR (TCABRJE), a Host Laboratory Experiment, organized in cooperation with the IAEA (International Atomic Energy Agency) in the framework of the IAEA Coordinated Research Project (CRP) on ""Joint Research Using Small Tokamaks"". (C) 2010 Elsevier B.V. All rights reserved.

Scheduling Grid Applications with Software Requirements

The aim of task scheduling is to minimize the makespan of applications, exploiting the best possible way to use shared resources. Applications have requirements which call for customized environments for their execution. One way to provide such environments is to use virtualization on demand. This paper presents two schedulers based on integer linear programming which schedule virtual machines (VMs) in grid resources and tasks on these VMs. The schedulers differ from previous work by the joint scheduling of tasks and VMs and by considering the impact of the available bandwidth on the quality of the schedule. Experiments show the efficacy of the schedulers in scenarios with different network configurations.

Relação entre o consumo de açúcares de adição e a adequação da dieta de adolescentes residentes no município de São Paulo

OBJETIVO: Avaliar a relação entre o consumo de açúcares de adição e a adequação do consumo de nutrientes e grupos alimentares em adolescentes residentes no município de São Paulo. MÉTODOS: Foram avaliados 793 adolescentes, provenientes de um estudo de base populacional, realizado em 2003. O consumo alimentar foi medido pelo recordatório de 24 horas, tendo sido aplicado método de ajuste por meio de subamostra de 195 indivíduos. O consumo de açúcares foi categorizado em adequado ou inadequado, quando ≤10% ou >10% do valor energético total da dieta, respectivamente. A adequação de ingestão de macronutrientes considerou intervalos de distribuição aceitável, e a prevalência de inadequação dos micronutrientes foi calculada pelo método Estimated Average Requirement como ponto de corte. O consumo mediano dos alimentos foi estimado além dos percentis 25 e 75. Foram utilizados testes de Qui-quadrado, Wald e mediana, com nível de significância de 5%. RESULTADOS: Identificou-se maior proporção de adolescentes com consumo adequado de carboidratos entre aqueles com maior ingestão de açúcares de adição. Todos os adolescentes apresentaram ingestão proteica dentro dos valores preconizados e verificou-se associação significativa entre a adequação de lipídeos e o consumo de açúcares de adição somente entre os adolescentes do sexo masculino. Maior porção mediana de leite, carnes, frutas, suco industrializado, refrigerante e achocolatado em pó foi identificada entre os adolescentes com consumo excessivo de açúcares de adição. CONCLUSÃO: O consumo excessivo de açúcares de adição se mostrou relacionado à menor adequação do consumo de nutrientes e à menor ingestão de alimentos de alta densidade nutritiva.

Per capita versus adult-equivalent estimates of calorie availability in household budget surveys

This study aims to estimate an adult-equivalent scale for calorie requirements and to determine the differences between adult-equivalent and per capita measurements of calorie availability in the Brazilian population. The study used data from the 2002-2003 Brazilian Household Budget Survey. The calorie requirement for a reference adult individual was based on the mean requirements for adult males and females (2,550kcal/day). The conversion factors were defined as the ratios between the calorie requirements for each age group and gender and that of the reference adult. The adult-equivalent calorie availability levels were higher than the per capita levels, with the largest differences in rural and low-income households. Differences in household calorie availability varied from 22kcal/day (households with adults and an adolescent) to 428kcal/day (households with elderly individuals), thus showing that per capital measurements can underestimate the real calorie availability, since they overlook differences in household composition.

Importance of considering a material micro-failure criterion in the numerical modelling of the shot peening process applied to parabolic leaf springs

Shot peening is a cold-working mechanical process in which a shot stream is propelled against a component surface. Its purpose is to introduce compressive residual stresses on component surfaces for increasing the fatigue resistance. This process is widely applied in springs due to the cyclical loads requirements. This paper presents a numerical modelling of shot peening process using the finite element method. The results are compared with experimental measurements of the residual stresses, obtained by the X-rays diffraction technique, in leaf springs submitted to this process. Furthermore, the results are compared with empirical and numerical correlations developed by other authors.

Using the ultrasound and instrumented indentation techniques to measure the elastic modulus of engineering materials

Currently, the acoustic and nanoindentation techniques are two of the most used techniques for material elastic modulus measurement. In this article fundamental principles and limitations of both techniques are shown and discussed. Last advances in nanoindentation technique are also reviewed. An experimental study in ceramic, metallic, composite and single crystals was also done. Results shown that ultrasonic technique is capable to provide results in agreement with those reported in literature. However, ultrasonic technique does not allow measuring the elastic modulus of some small samples and single crystals. On the other hand, the nanoindentation technique estimates the elastic modulus values in reasonable agreement with those measured by acoustic methods, particularly in amorphous materials, while in some policristaline materials some deviation from expected values was obtained.

High-throughput SNP genotyping in the highly heterozygous genome of Eucalyptus: assay success, polymorphism and transferability across species

Background: High-throughput SNP genotyping has become an essential requirement for molecular breeding and population genomics studies in plant species. Large scale SNP developments have been reported for several mainstream crops. A growing interest now exists to expand the speed and resolution of genetic analysis to outbred species with highly heterozygous genomes. When nucleotide diversity is high, a refined diagnosis of the target SNP sequence context is needed to convert queried SNPs into high-quality genotypes using the Golden Gate Genotyping Technology (GGGT). This issue becomes exacerbated when attempting to transfer SNPs across species, a scarcely explored topic in plants, and likely to become significant for population genomics and inter specific breeding applications in less domesticated and less funded plant genera. Results: We have successfully developed the first set of 768 SNPs assayed by the GGGT for the highly heterozygous genome of Eucalyptus from a mixed Sanger/454 database with 1,164,695 ESTs and the preliminary 4.5X draft genome sequence for E. grandis. A systematic assessment of in silico SNP filtering requirements showed that stringent constraints on the SNP surrounding sequences have a significant impact on SNP genotyping performance and polymorphism. SNP assay success was high for the 288 SNPs selected with more rigorous in silico constraints; 93% of them provided high quality genotype calls and 71% of them were polymorphic in a diverse panel of 96 individuals of five different species. SNP reliability was high across nine Eucalyptus species belonging to three sections within subgenus Symphomyrtus and still satisfactory across species of two additional subgenera, although polymorphism declined as phylogenetic distance increased. Conclusions: This study indicates that the GGGT performs well both within and across species of Eucalyptus notwithstanding its nucleotide diversity >= 2%. The development of a much larger array of informative SNPs across multiple Eucalyptus species is feasible, although strongly dependent on having a representative and sufficiently deep collection of sequences from many individuals of each target species. A higher density SNP platform will be instrumental to undertake genome-wide phylogenetic and population genomics studies and to implement molecular breeding by Genomic Selection in Eucalyptus.

Engineering interactions for quasiperfect transfer of polariton states through nonideal bosonic networks of distinct topologies

We present a scheme for quasiperfect transfer of polariton states from a sender to a spatially separated receiver, both composed of high-quality cavities filled by atomic samples. The sender and the receiver are connected by a nonideal transmission channel -the data bus- modelled by a network of lossy empty cavities. In particular, we analyze the influence of a large class of data-bus topologies on the fidelity and transfer time of the polariton state. Moreover, we also assume dispersive couplings between the polariton fields and the data-bus normal modes in order to achieve a tunneling-like state transfer. Such a tunneling-transfer mechanism, by which the excitation energy of the polariton effectively does not populate the data-bus cavities, is capable of attenuating appreciably the dissipative effects of the data-bus cavities. After deriving a Hamiltonian for the effective coupling between the sender and the receiver, we show that the decay rate of the fidelity is proportional to a cooperativity parameter that weighs the cost of the dissipation rate against the benefit of the effective coupling strength. The increase of the fidelity of the transfer process can be achieved at the expense of longer transfer times. We also show that the dependence of both the fidelity and the transfer time on the network topology is analyzed in detail for distinct regimes of parameters. It follows that the data-bus topology can be explored to control the time of the state-transfer process.