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.

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.

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.

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.

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.

Body weight as an indicator of fat-free mass in active elderly women

Objective: Fat-free mass (FFM) reduction and the tendency for a reduction in surrounding fatty issue and increase in the middle are a natural consequence of growing old and should be studied in order to gain a better understanding of the aging process. This study set out to find the FFM differences between active elderly women in two age groups (60-69 and 70-80 years) and to determine which of the anthropometric measurements, body weight (BW), abdominal circumference (AC), or body mass index (BMI) are the best predictors of FFM variation within the group. Methods: Eighty-one (n = 81) active elderly women of the Third Age willingly signed up to participate in the research during the activities at the University of the Third Age (UTA) in Brazil. The research was approved by the Research Ethics Committee of the Faculty of Medical Sciences of the State University of Campinas (UNICAMP). Body weight (BW), height (H) and the BMI were measured according to the international standards. The AC was measured in centimetres at the H of the navel and body composition was ascertained using bioimpedance analysis. The SAS program was used to perform the statistical analysis of independent samples and parametric data. Results: The results showed FFM values with significant differences between the two groups, with the lowest values occurring among the women who were over 70 years of age. In the analysis, the Pearson`s Correlation Coefficient for each measured independent variable was ascertained, with the BW measurement showing the highest ratio (0.900). Conclusions: The BW measurement was regarded as reliable, low-cost and easy to use for monitoring FFM in elderly women who engage in physical activities. (C) 2011 Elsevier Ireland Ltd. All rights reserved.

Body composition and quality of life (QoL) of the elderly offered by the ""University Third Age`` (UTA) in Brazil

The investigation of the factors that interfere in the well-being of the elderly and their QoL can provide theoretical and methodological subsidies in structuring actions and policies in the health area, in order to fulfill the needs of that population. In this descriptive transversal study, body composition and QoL of elderly women at the UTA program in Piracicaba (Sao Paulo, Brazil) were verified. The participants were 81 women from UTA, and the general levels of physical activity were evaluated, as well as body weight (BW), height, and bodymass index (BMI). The waist circumference (WC) was measured at the level of the umbilical scar and the body composition by impedance (BIA 310e). QoL was verified by means of WHOQOL-Bref and statistical analysis developed with the SAS program. The decrease of weight, height, BMI, and fat-free mass (FFM) was observed among the several age groups, although with no significant difference. The average levels of the general QoL scores and physical, psychological and environmental domains decreased in higher age groups, but social domains showed the opposite result. This fact can be a particular characteristic of the UTA group, and factors the influence such behavior are yet to be studied. (C) 2010 Elsevier Ireland Ltd. All rights reserved.

The introduction of the Salmonella/microsome mutagenicity assay in a groundwater monitoring program

The objective of this study was to verify the possible inclusion of the Salmonella/microsome mutagenicity assay in a groundwater monitoring program as a complementary assay to assess water quality. Groundwater samples belonging to seven wells from different types of aquifers were analyzed. Three different methods for sample preparation were used: membrane filtration; liquid-liquid and XAD-4 extraction. The filtered samples were tested using TA98, TA100, YG1041 and YG1042 and the water extracts only with TA98 and TA100. No mutagenic activity was observed in any of the 16 filtered samples tested. Out of the 10 samples analyzed using XAD-4 extraction, five showed mutagenic activity with potency ranging from 130 to 1500 revertants/L. Concerning the liquid-liquid extraction, from the 11 samples analyzed, 3 showed mutagenicity. The XAD-4 extraction was the most suitable sample preparation. TA98 without S9 was found to be the most sensitive testing condition. The wells presenting water samples with mutagenic activity belonged to unconfined aquifers, which are more vulnerable to contamination. The data suggest that Salmonella/microsome assay can be used as an efficient screening tool to monitor groundwater for mutagenic activity. (C) 2009 Elsevier B.V. All rights reserved.

QSAR Modeling of a Set of Pyrazinoate Esters as Antituberculosis Prodrugs

Tuberculosis is an infection caused mainly by Mycobacterium tuberculosis. A first-line antimycobacterial drug is pyrazinamide (PZA), which acts partially as a prodrug activated by a pyrazinamidase releasing the active agent, pyrazinoic acid (POA). As pyrazinoic acid presents some difficulty to cross the mycobacterial cell wall, and also the pyrazinamide-resistant strains do not express the pyrazinamidase, a set of pyrazinoic acid esters have been evaluated as antimycobacterial agents. In this work, a QSAR approach was applied to a set of forty-three pyrazinoates against M. tuberculosis ATCC 27294, using genetic algorithm function and partial least squares regression (WOLF 5.5 program). The independent variables selected were the Balaban index (I), calculated n-octanol/water partition coefficient (ClogP), van-der-Waals surface area, dipole moment, and stretching-energy contribution. The final QSAR model (N = 32, r(2) = 0.68, q(2) = 0.59, LOF = 0.25, and LSE = 0.19) was fully validated employing leave-N-out cross-validation and y-scrambling techniques. The test set (N = 11) presented an external prediction power of 73%. In conclusion, the QSAR model generated can be used as a valuable tool to optimize the activity of future pyrazinoic acid esters in the designing of new antituberculosis agents.

Development and validation of a method for quantitative determination of econazole nitrate in cream formulation by capillary zone electrophoresis

A simple, fast, inexpensive and reliable capillary zone electrophoresis (CZE) method for the determination of econazole nitrate in cream formulations has been developed and validated. Optimum conditions comprised a pH 2.5 phosphate buffer at 20 mmol L(-1) concentration, +30 kV applied voltage in a 31.5 cm x 50 mu m I.D. capillary. Direct UV detection at 200 nm led to an adequate sensitivity without interference from sample excipients. A single extraction step of the cream sample in hydrochloric acid was performed prior to injection. Imidazole (100 mu g mL(-1)) was used as internal standard. Econazole nitrate migrates in approximately 1.2 min. The analytical curve presented a coefficient of correlation of 0.9995. Detection and quantitation limits were 1.85 and 5.62 mu g mL(-1), respectively. Excellent accuracy and precision were obtained. Recoveries varied from 98.1 to 102.5% and intra- and inter-day precisions, calculated as relative standard deviation (RSD), were better than 2.0%. The proposed CZE method presented advantageous performance characteristics and it can be considered suitable for the quality control of econazole nitrate cream formulations. (c) 2008 Elsevier B.V. All rights reserved.

Development and validation of sensitive methods for determination of sibutramine hydrochloride monohydrate and direct enantiomeric separation on a protein-based chiral stationary phase

Sibutramine hydrochloride monohydrate, chemically 1-(4-chlorophenyl)-N,N-dimethyl-alpha-(2-methylpropyl) hydrochloride monohydrate (SB center dot HCl center dot H2O), was approved by the U.S. Food and Drug Administration for the treatment of obesity. The objective of this study was to develop, validate, and compare methods using UV-derivative spectrophotometry (UVDS) and reversed-phase high-performance liquid chromatography (HPLC) for the determination of SB center dot HCl center dot H2O in pharmaceutical drug products. The UVDS and HPLC methods were found to be rapid, precise, and accurate. Statistically, there was no significant difference between the proposed UVDS and HPLC methods. The enantiomeric separation of SB was obtained on an alpha-1 acid glycoprotein column. The R- and S-sibutramine were eluted in < 5 min with baseline separation of the chromatographic peaks (alpha = 1.9 and resolution = 1.9).

Process Capability Indexes Determination on Tabletting Performance during the Process Validation for Metamizol Tablets

The aim of the present study was to provide a numerical measure, through the process capability indexes (PCIs), C(p) and C(pk), on whether or not the manufacturing process can be considered capable of producing metamizol (500 mg) tablets. They were also used as statistical tool in order to prove the consistency of the tabletting process, making sure that the tablet weight and the content uniformity of metamizol are able to comply with the preset requirements. Besides that, the ANOVA, the t-test and the test for equal variances were applied to this study, allowing additional knowledge of the tabletting phase. Therefore, the proposed statistical approach intended to assure more safety, precision and accuracy on the process validation analysis.

Validation of an HPLC analytical method for determination of pancuronium bromide in pharmaceutical injections

Pancuronium bromide is used with general anesthesia in surgery for muscle relaxation and as an aid to intubation. A high performance liquid chromatographic method was fully validated for the quantitative determination of pancuronium bromide in pharmaceutical injectable solutions. The analytical method was performed on an amino column (Luna 150mm4.6mm, 5m). The mobile phase was composed of acetonitrile:water containing 50mmol L-1 of 1-octane sulfonic acid sodium salt (20:80v/v) with a flow rate of 1.0mL min-1 and ultraviolet (UV) detection at 210nm. The proposed analytical method was compared with that described in the British Pharmacopoeia.