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.

Natural and human forcing in recent geomorphic change; case studies in the Rio de la Plata basin

An analysis of geomorphic system`s response to change in human and natural drivers in some areas within the Rio de la Plata basin is presented The aim is to determine whether an acceleration of geomorphic processes has taken place in recent years and, if so, to what extent it is due to natural (climate) or human (land-use) drivers Study areas of different size, socio-economic and geomorphic conditions have been selected: the Rio de la Plata estuary and three sub-basins within its watershed Sediment cores were extracted and dated ((210)Pb) to determine sedimentation rates since the end of the 19th century. Rates were compared with time series on rainfall as well as human drivers such as population, GDP, livestock load, crop area, energy consumption or cement consumption, all of them related to human capacity to disturb land surface Data on river discharge were also gathered Results obtained indicate that sedimentation rates during the last century have remained essentially constant in a remote Andean basin, whereas they show important increases in the other two, particularly one located by the Sao Paulo metropolitan area Rates in the estuary are somewhere in between It appears that there is an intensification of denudation/sedimentation processes within the basin. Rainfall remained stable or varied very slightly during the period analysed and does not seem to explain increases of sedimentation rates observed. Human drivers, particularly those more directly related to capacity to disturb land surface (GDP, energy or cement consumption) show variations that suggest human forcing is a more likely explanation for the observed change in geomorphic processes It appears that a marked increase in denudation, of a ""technological"" nature, is taking place in this basin and leading to an acceleration of sediment supply This is coherent with similar increases observed in other regions (C) 2010 Elsevier B V All rights reserved

Effect of Fill Time on the Performance of Pilot-scale ASBR and AnSBBR Applied to Sanitary Wastewater Treatment

Many lab-scale studies have been carried out regarding the effect of feed strategy on the performance of anaerobic sequencing batch reactors (ASBR); however, more detailed pilot-scale studies should be performed to assess the real applicability of this type of operation. Therefore, the objective of this work was to assess the effect of feed strategy or fill time in a 1-m(3) mechanically stirred pilot-scale sequencing batch reactor, treating 0.65 m(3) sanitary wastewater in 8-h cycles at ambient temperature. Two reactor configurations were used: one containing granular biomass (denominated ASBR) and the other immobilized biomass on polyurethane foam as inert support (denominated anaerobic sequencing batch biofilm reactor (AnSBBR)). The reactors were operated under five distinct feed strategies, namely: typical batch and fed-batch for 25%, 50%, 75%, and 100% of the cycle length. Stirring frequency in the ASBR was 40 rpm with two flat-blade turbine impellers and 80 rpm in the AnSBBR with two helix impellers. The results showed that both the ASBR and AnSBBR when operated under typical batch, fed-batch for 50% and 75% of the cycle length, presented improved organic matter removal efficiencies, without significant differences in performance, thus showing important operational flexibility. In addition, the reactors presented operation stability under all conditions.

Kinetic studies of urban solid residues and leachate from sanitary landfill

Urban solid residues are constituted of food remaining, grass leaves, fruit peelings, paper, cardboard, rubber, plastic, etc. The organic fraction formed represents about 50% during the decomposition yields biogas and leachate, which are sources of pollution. Residue samples were collected from the landfill in different and cells from several ages and the corresponding leachate, both after treatments, were submitted to thermal analysis. Kinetic parameters were determined using Flynn-Wall-Ozawa method. The linear relation between the two kinetic parameters (ln A and E) was verified for organic residue urban`s samples, but not for leachate`s sample. The occurred difference can be attributed to the constituents present in leachate.

Coloured Petri nets and graphical simulation for the validation of a robotic cell in aircraft industry

This paper proposes a mixed validation approach based on coloured Petri nets and 3D graphic simulation for the design of supervisory systems in manufacturing cells with multiple robots. The coloured Petri net is used to model the cell behaviour at a high level of abstraction. It models the activities of each cell component and its coordination by a supervisory system. The graphical simulation is used to analyse and validate the cell behaviour in a 3D environment, allowing the detection of collisions and the calculation of process times. The motivation for this work comes from the aeronautic industry. The automation of a fuselage assembly process requires the integration of robots with other cell components such as metrological or vision systems. In this cell, the robot trajectories are defined by the supervisory system and results from the coordination of the cell components. The paper presents the application of the approach for an aircraft assembly cell under integration in Brazil. This case study shows the feasibility of the approach and supports the discussion of its main advantages and limits. (C) 2011 Elsevier Ltd. All rights reserved.

Urban upgrading interventions and engaging residents in fuzzy management: Case studies from Novos Alagados, Salvador, Brazil

International theory and practice have promoted state-assisted upgrading of `informal` urban areas worldwide since the late 1970s, with various forms of monitoring and assessment of impact. Two independent studies of how residents perceive and evaluate such interventions have recently been undertaken for neighbouring parts of the upgraded area of Novos Alagados on the Itapagipe peninsula in the northwestern part of Salvador, Brazil`s third largest city. These studies start from different premises and have been implemented in very different ways, but both have the objective of permitting the `voice` of the residents to be heard concerning the upgrading process. Comparing them helps highlight the essential `fuzzy` nature of values concerning urban interventions of this nature and leaves us with thought-provoking questions concerning the role of local society in relation to the state in urban development, and the potential this has for on-going forms of urban management in cities which are emerging globally. Crown Copyright (C) 2009 Published by Elsevier Ltd. All rights reserved.

Toxicity-directed approach of polyester manufacturing industry wastewater provides useful information for conducting treatability studies

A broader characterization of industrial wastewaters, especially in respect to hazardous compounds and their potential toxicity, is often necessary in order to determine the best practical treatment (or pretreatment) technology available to reduce the discharge of harmful pollutants to the environment or publicly owned treatment works. Using a toxicity-directed approach, this paper sets the base for a rational treatability study of polyester resin manufacturing. Relevant physical and chemical characteristics were determined. Respirometry was used for toxicity reduction evaluation after physical and chemical effluent fractionation. Of all the procedures investigated, only air stripping was significantly effective in reducing wastewater toxicity. Air stripping in pH 7 reduced toxicity in 18.2%, while in pH 11 a toxicity reduction of 62.5% was observed. Results indicated that toxicants responsible for the most significant fraction of the effluent`s instantaneous toxic effect to unadapted activated sludge were organic compounds poorly or not volatilized in acid conditions. These results led to useful directions for conducting treatability studies which will be grounded on actual effluent properties rather than empirical or based on the rare specific data on this kind of industrial wastewater. (C) 2008 Elsevier B.V. All rights reserved.

Modeling, control and experimental validation of a novel actuator based on shape memory alloys

The paper presents the development of a mechanical actuator using a shape memory alloy with a cooling system based on the thermoelectric effect (Seebeck-Peltier effect). Such a method has the advantage of reduced weight and requires a simpler control strategy as compared to other forced cooling systems. A complete mathematical model of the actuator was derived, and an experimental prototype was implemented. Several experiments are used to validate the model and to identify all parameters. A robust and nonlinear controller, based on sliding-mode theory, was derived and implemented. Experiments were used to evaluate the actuator closed-loop performance, stability, and robustness properties. The results showed that the proposed cooling system and controller are able to improve the dynamic response of the actuator. (C) 2009 Elsevier Ltd. All rights reserved.

Failure assessments of corroded pipelines with axial defects using stress-based criteria: Numerical studies and verification analyses

Conventional procedures used to assess the integrity of corroded piping systems with axial defects generally employ simplified failure criteria based upon a plastic collapse failure mechanism incorporating the tensile properties of the pipe material. These methods establish acceptance criteria for defects based on limited experimental data for low strength structural steels which do not necessarily address specific requirements for the high grade steels currently used. For these cases, failure assessments may be overly conservative or provide significant scatter in their predictions, which lead to unnecessary repair or replacement of in-service pipelines. Motivated by these observations, this study examines the applicability of a stress-based criterion based upon plastic instability analysis to predict the failure pressure of corroded pipelines with axial defects. A central focus is to gain additional insight into effects of defect geometry and material properties on the attainment of a local limit load to support the development of stress-based burst strength criteria. The work provides an extensive body of results which lend further support to adopt failure criteria for corroded pipelines based upon ligament instability analyses. A verification study conducted on burst testing of large-diameter pipe specimens with different defect length shows the effectiveness of a stress-based criterion using local ligament instability in burst pressure predictions, even though the adopted burst criterion exhibits a potential dependence on defect geometry and possibly on material`s strain hardening capacity. Overall, the results presented here suggests that use of stress-based criteria based upon plastic instability analysis of the defect ligament is a valid engineering tool for integrity assessments of pipelines with axial corroded defects. (C) 2008 Elsevier Ltd. All rights reserved.

Estimating wave spectra from the motions of moored vessels: Experimental validation

The practicability of estimating directional wave spectra based on a vessel`s 1st order response has been recently addressed by several researchers. Different alternatives regarding statistical inference methods and possible drawbacks that could arise from their application have been extensively discussed, with an apparent preference for estimations based on Bayesian inference algorithms. Most of the results on this matter, however, rely exclusively on numerical simulations or at best on few and sparse full-scale measurements, comprising a questionable basis for validation purposes. This paper discusses several issues that have recently been debated regarding the advantages of Bayesian inference and different alternatives for its implementation. Among those are the definition of the best set of input motions, the number of parameters required for guaranteeing smoothness of the spectrum in frequency and direction and how to determine their optimum values. These subjects are addressed in the light of an extensive experimental campaign performed with a small-scale model of an FPSO platform (VLCC hull), which was conducted in an ocean basin in Brazil. Tests involved long and short crested seas with variable levels of directional spreading and also bimodal conditions. The calibration spectra measured in the tank by means of an array of wave probes configured the paradigm for estimations. Results showed that a wide range of sea conditions could be estimated with good precision, even those with somewhat low peak periods. Some possible drawbacks that have been pointed out in previous works concerning the viability of employing large vessels for such a task are then refuted. Also, it is shown that a second parameter for smoothing the spectrum in frequency may indeed increase the accuracy in some situations, although the criterion usually proposed for estimating the optimum values (ABIC) demands large computational effort and does not seem adequate for practical on-board systems, which require expeditious estimations. (C) 2009 Elsevier Ltd. All rights reserved.

Integrated analysis of cooling water systems: Modeling and experimental validation

Cooling towers are widely used in many industrial and utility plants as a cooling medium, whose thermal performance is of vital importance. Despite the wide interest in cooling tower design, rating and its importance in energy conservation, there are few investigations concerning the integrated analysis of cooling systems. This work presents an approach for the systemic performance analysis of a cooling water system. The approach combines experimental design with mathematical modeling. An experimental investigation was carried out to characterize the mass transfer in the packing of the cooling tower as a function of the liquid and gas flow rates, whose results were within the range of the measurement accuracy. Then, an integrated model was developed that relies on the mass and heat transfer of the cooling tower, as well as on the hydraulic and thermal interactions with a heat exchanger network. The integrated model for the cooling water system was simulated and the temperature results agree with the experimental data of the real operation of the pilot plant. A case study illustrates the interaction in the system and the need for a systemic analysis of cooling water system. The proposed mathematical and experimental analysis should be useful for performance analysis of real-world cooling water systems. (C) 2009 Elsevier Ltd. All rights reserved.

Structural and morphological studies on SiOxNy thin films

In this work, the structure and morphology of silicon oxynitride films deposited by the PECVD technique were studied. The films were deposited under two different conditions: (a) SiOxNy with chemical compositions varying from SiO2 to Si3N4 via the control of a N2O + N-2 + SiH4 gas mixture, and (b) Si-rich SiOxNy films via the control of a N2O + SiH4 gas mixture. The analyses were performed using X-ray near edge spectroscopy (XANES) at the Si-K edge, transmission electron microscopy (TEM) and Rutherford backscattering spectroscopy (RBS). For samples with chemical composition varying from SiO2 to Si3N4, the diffraction patterns obtained by TEM exhibited changes with the chemical composition, in agreement with the XANES results. For silicon-rich silicon oxynitride samples, the formation of a-Si clusters was observed and the possibility of obtaining Si nanocrystals after annealing depending on the composition and temperature was realized. (C) 2007 Elsevier B.V. All rights reserved.

Mapping the Contemporary Studies on Alliances and Strategic Networks

The competition among the companies depends on the velocity and efficience they can create and commercialize knowledge in a timely and cost-efficient manner. In this context, collaboration emerges as a reaction to the environmental changes. Although strategic alliances and networks have been exploited in the strategic literature for decades, the complexity and continuous usage of these cooperation structures, in a world of growing competition, justify the continuous interest in both themes. This article presents a scanning of the contemporary academic production in strategic alliances and networks, covering the period from January 1997 to august 2007, based on the top five journals accordingly to the journal of Citation Report 2006 in the business and management categories simultaneously. The results point to a retraction in publications about strategic alliances and a significant growth in the area of strategic. networks. The joint view of strategic alliances and networks, cited by some authors a the evolutionary path of study, still did not appear salient. The most cited topics found in the alliance literature are the governance structure, cooperation, knowledge transfer, culture, control, trust, alliance formation,,previous experience, resources, competition and partner selection. The theme network focuses mainly on structure, knowledge transfer and social network, while the joint vision is highly concentrated in: the subjects of alliance formation and the governance choice.

Hormonal modulation of photomorphogenesis-controlled anthocyanin accumulation in tomato (Solanum lycopersicum L. cv Micro-Tom) hypocotyls: Physiological and genetic studies

Hormones are likely to be important factors modulating the light-dependent anthocyanin accumulation. Here we analyzed anthocyanin contents in hypocotyls of near isogenic Micro-Tom (MT) tomato lines carrying hormone and phytochrome mutations, as single and double-mutant combinations. In order to recapitulate mutant phenotype, exogenous hormone applications were also performed Anthocyanin accumulation was promoted by exogenous abscisic acid (ABA) and inhibited by gibberellin (GA), in accordance to the reduced anthocyanin contents measured in ABA-deficient (notabills) and GA-constitutive response (procera) mutants. Exogenous cytokinin also enhanced anthocyanin levels in MT hypocotyls. Although auxin-insensitive chageotropica mutant exhibited higher anthocyanin contents, pharmacological approaches employing exogenous auxin and a transport inhibitor did not support a direct role of the hormone in anthocyanin accumulation Analysis of mutants exhibiting increased ethylene production (epwastic) or reduced sensitivity (Never ripe), together with pharmacological data obtained from plants treated with the hormone, indicated a limited role for ethylene in anthocyanin contents. Phytochrome-deficiency (aurea) and hormone double-mutant combinations exhibited phenotypes suggesting additive or synergistic interactions, but not fully espistatic ones, in the control of anthocyanin levels in tomato hypocotyls. Our results indicate that phytochrome-mediated anthocyanin accumulation in tomato hypocotyls is modulated by distinct hormone classes via both shared and independent pathways. (C) 2010 Elsevier Ireland Ltd. All rights reserved

Validation of a root water uptake model to estimate transpiration constraints

Experimental results obtained from a greenhouse trial with common bean (Phaseolus vulgaris L) plants performed to test model hypotheses regarding the onset of limiting hydraulic conditions and the shape of the transpiration reduction curve in the falling rate phase are presented. According to these hypotheses based on simulations with an upscaled single-root model, the matric flux potential at the onset of limiting hydraulic conditions is as a function of root length density and potential transpiration rate, while the relative transpiration in the falling rate phase equals the relative matric flux potential. Transpiration of bean plants in water stressed pots with four different soils was determined daily by weighing and compared to values obtained from non-stressed pots. This procedure allowed determining the onset of the falling rate phase and corresponding soil hydraulic conditions. At the onset of the falling rate phase, the value of matric flux potential M(I) showed to differ in order of magnitude from the model predicted value for three out of four soils. This difference between model and experiment can be explained by the heterogeneity of the root distribution which is not considered by the model. An empirical factor to deal with this heterogeneity should be included in the model to improve predictions. Comparing the predictions of relative transpiration in the falling rate phase using a linear shape with water content, pressure head or matric flux potential, the matric flux potential based reduction function, in agreement with the hypothesis, showed the best performance, while the pressure head based equation resulted in the highest deviations between observed and predicted values of relative transpiration rates. (C) 2010 Elsevier B.V. All rights reserved.