A safety assessment methodology applied to CNS/ATM-based air traffic control system

In the last decades, the air traffic system has been changing to adapt itself to new social demands, mainly the safe growth of worldwide traffic capacity. Those changes are ruled by the Communication, Navigation, Surveillance/Air Traffic Management (CNS/ATM) paradigm, based on digital communication technologies (mainly satellites) as a way of improving communication, surveillance, navigation and air traffic management services. However, CNS/ATM poses new challenges and needs, mainly related to the safety assessment process. In face of these new challenges, and considering the main characteristics of the CNS/ATM, a methodology is proposed at this work by combining ""absolute"" and ""relative"" safety assessment methods adopted by the International Civil Aviation Organization (ICAO) in ICAO Doc.9689 [14], using Fluid Stochastic Petri Nets (FSPN) as the modeling formalism, and compares the safety metrics estimated from the simulation of both the proposed (in analysis) and the legacy system models. To demonstrate its usefulness, the proposed methodology was applied to the ""Automatic Dependent Surveillance-Broadcasting"" (ADS-B) based air traffic control system. As conclusions, the proposed methodology assured to assess CNS/ATM system safety properties, in which FSPN formalism provides important modeling capabilities, and discrete event simulation allowing the estimation of the desired safety metric. (C) 2011 Elsevier Ltd. All rights reserved.

An engineering methodology to assess effects of weld strength mismatch on cleavage fracture toughness using the Weibull stress approach

This work describes the development of an engineering approach based upon a toughness scaling methodology incorporating the effects of weld strength mismatch on crack-tip driving forces. The approach adopts a nondimensional Weibull stress, (sigma) over bar (w), as a the near-tip driving force to correlate cleavage fracture across cracked weld configurations with different mismatch conditions even though the loading parameter (measured by J) may vary widely due to mismatch and constraint variations. Application of the procedure to predict the failure strain for an overmatch girth weld made of an API X80 pipeline steel demonstrates the effectiveness of the micromechanics approach. Overall, the results lend strong support to use a Weibull stress based procedure in defect assessments of structural welds.

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.

Probable consequences of the mitigation of citrus canker eradication methodology in Sao Paulo state

Probable consequences of the mitigation of citrus canker eradication methodology in Sao Paulo state Recently the Sao Paulo state government mitigated its citrus canker eradication methodology adopted since 1999. In April 2009 at least 99.8% of commercial sweet orange orchards were free of citrus canker in Sao Paulo state. Consequently the mitigation of the eradication methodology reduced the high level of safety and the competitiveness of the citrus production sector in Sao Paulo state, Brazil. Therefore we suggest the re-adoption of the same eradication methodology of citrus canker adopted in Sao Paulo from 1999 to 2009, or the adoption of a new methodology, effective for citrus canker suppression, because in new sample surveys citrus canker was detected in >0.36% of affected orchards. This incidence threshold was calculated by using the Duncan test (P <= 0.05) to compare the yearly sample surveys conducted in Sao Paulo state to estimate citrus canker incidence between 1999 and 2009. The calculated minimum significant level was 0.28% among sample surveys and the lowest citrus canker incidence in Sao Paulo state was 0.08%, occurring in 2001. Thus, as an alternative, we suggest the adoption of a new eradication methodology for citrus canker suppression when a new sample survey detected >0.36% of affected orchards in Sao Paulo state, Brazil.

Sensory evaluation and physicochemical optimisation of soy-based desserts using response surface methodology

The objective of this study was to develop a dessert that contains soy protein (SP) (1%, 2%, 3%) and guava juice (GJ) (22%, 27%, 32%) using Response Surface Methodology (RSM) as the optimisation technique. Water activity, physical stability, colour, acidity, pH, iron, and carotenoid contents were analysed. Affective tests were performed to determine the degree of liking of colour, creaminess, and acceptability. The results showed that GJ increased the values of redness, hue angle, chromaticity, acidity, and carotenoid content, while SP reduced water activity. Optimisation suggested a dessert containing 32% GJ and 1.17% SP as the best proportion of these components. This sample was considered a source of fibres, ascorbic acid, copper, and iron and garnered scores above the level of `slightly liked` for sensory attributes. Moreover, RSM was shown to be an adequate approach for modelling the physicochemical parameters and the degree of liking of creaminess of desserts. (C) 2010 Elsevier Ltd. All rights reserved.

Physical Stability Assessment and Sensory Optimization of a Dairy-Free Emulsion Using Response Surface Methodology

Desserts made with soy cream, which are oil-in-water emulsions, are widely consumed by lactose-intolerant individuals in Brazil. In this regard, this study aimed at using response surface methodology (RSM) to optimize the sensory attributes of a soy-based emulsion over a range of pink guava juice (GJ: 22% to 32%) and soy protein (SP: 1% to 3%). WHC and backscattering were analyzed after 72 h of storage at 7 degrees C. Furthermore, a rating test was performed to determine the degree of liking of color, taste, creaminess, appearance, and overall acceptability. The data showed that the samples were stable against gravity and storage. The models developed by RSM adequately described the creaminess, taste, and appearance of the emulsions. The response surface of the desirability function was used successfully in the optimization of the sensory properties of dairy-free emulsions, suggesting that a product with 30.35% GJ and 3% SP was the best combination of these components. The optimized sample presented suitable sensory properties, in addition to being a source of dietary fiber, iron, copper, and ascorbic acid.

LC-UV Methodology for Simultaneous Determination of Lamivudine and Zidovudine in Plasma by Liquid-Liquid Extraction

This study describes an accurate, sensitive, and specific chromatographic method for the simultaneous quantitative determination of lamivudine and zidovudine in human blood plasma, using stavudine as an internal standard. The chromatographic separation was performed using a C8 column (150 x 4.6 mm, 5 mu m), and ultraviolet absorbency detection at 270 nm with gradient elution. Two mobile phases were used. Phase A contained 10 mM potassium phosphate and 3% acetonitrile, whereas Phase B contained methanol. A linear gradient was used with a variability of A-B phase proportion from 98-2% to 72-28%, respectively. The drug extraction was performed with two 4 mL aliquots of ethyl acetate.

Processing optimization of probiotic yogurt containing glucose oxidase using response surface methodology

Exposure to oxygen may induce a lack of functionality of probiotic dairy foods because the anaerobic metabolism of probiotic bacteria compromises during storage the maintenance of their viability to provide benefits to consumer health. Glucose oxidase can constitute a potential alternative to increase the survival of probiotic bacteria in yogurt because it consumes the oxygen permeating to the inside of the pot during storage, thus making it possible to avoid the use of chemical additives. This research aimed to optimize the processing of probiotic yogurt supplemented with glucose oxidase using response surface methodology and to determine the levels of glucose and glucose oxidase that minimize the concentration of dissolved oxygen and maximize the Bifidobacterium longum count by the desirability function. Response surface methodology mathematical models adequately described the process, with adjusted determination coefficients of 83% for the oxygen and 94% for the B. longum. Linear and quadratic effects of the glucose oxidase were reported for the oxygen model, whereas for the B. longum count model an influence of the glucose oxidase at the linear level was observed followed by the quadratic influence of glucose and quadratic effect of glucose oxidase. The desirability function indicated that 62.32 ppm of glucose oxidase and 4.35 ppm of glucose was the best combination of these components for optimization of probiotic yogurt processing. An additional validation experiment was performed and results showed acceptable error between the predicted and experimental results.

Synergism on antioxidant activity between natural compounds optimized by response surface methodology

Despite the increase in the use of natural compounds in place of synthetic derivatives as antioxidants in food products, the extent of this substitution is limited by cost constraints. Thus, the objective of this study was to explore the synergism on the antioxidant activity of natural compounds, for further application in food products. Three hydrosoluble compounds (x(1) = caffeic acid, x(2) = carnosic acid, and x(3) = glutathione) and three liposoluble compounds (x(1) = quercetin, x(2) = rutin, and x(3) = genistein) were mixed according to a ""centroid simplex design"". The antioxidant activity of the mixtures was analyzed by the ferric reducing antioxidant power (FRAP) and oxygen radical absorbance capacity (ORAL) methodologies, and activity was also evaluated in an oxidized mixed micelle prepared with linoleic acid (LAOX). Cubic polynomial models with predictive capacity were obtained when the mixtures were submitted to the LAOX methodology ((y) over cap = 0.56 x(1) + 0.59 x(2) + 0.04 x(3) + 0.41 x(1)x(2) - 0.41 x(1)x(3) - 1.12 x(2)x(3) - 4.01 x(1)x(2)x(3)) for the hydrosoluble compounds, and to FRAP methodology ((y) over cap = 3.26 x(1) + 2.39 x(2) + 0.04 x(3) + 1.51 x(1)x(2) + 1.03 x(1)x(3) + 0.29 x(1)x(3) + 3.20 x(1)x(2)x(3)) for the liposoluble compounds. Optimization of the models suggested that a mixture containing 47% caffeic acid + 53% carnosic acid and a mixture containing 67% quercetin + 33% rutin were potential synergistic combinations for further evaluation using a food matrix.

Electrooxidation of glyphosate herbicide at different DSA (R) compositions: pH, concentration and supporting electrolyte effect

This paper has investigated the electrochemical oxidation of glyphosate herbicide (GH) on RuO(2) and IrO(2) dimensionally stable anode (DSA (R)) electrodes. Electrolysis was achieved under galvanostatic control as a function of pH, GH concentration, supporting electrolyte, and current density. The influence of the oxide composition on GH degradation seems to be significant in the absence of chloride; Ti/Ir(0.30)Sn(0.70)O(2) is the best electrode material to oxidize GH. GH oxidation is favored at low pH values. The use of chloride medium increases the oxidizing power and the influence of the oxide composition is meaningless. At 30 mA cm(-2) and 4 h of electrolysis, complete GH removal from the electrolyzed solution has been obtained. In chloride medium, application of 50 mA cm(-2) leads to virtually total mineralization ( release of phosphate ions = 91%) for all the evaluated oxide materials. (C) 2008 Elsevier Ltd. All rights reserved.

Supporting content-based image retrieval and computer-aided diagnosis systems with association rule-based techniques

In this work, we take advantage of association rule mining to support two types of medical systems: the Content-based Image Retrieval (CBIR) systems and the Computer-Aided Diagnosis (CAD) systems. For content-based retrieval, association rules are employed to reduce the dimensionality of the feature vectors that represent the images and to improve the precision of the similarity queries. We refer to the association rule-based method to improve CBIR systems proposed here as Feature selection through Association Rules (FAR). To improve CAD systems, we propose the Image Diagnosis Enhancement through Association rules (IDEA) method. Association rules are employed to suggest a second opinion to the radiologist or a preliminary diagnosis of a new image. A second opinion automatically obtained can either accelerate the process of diagnosing or to strengthen a hypothesis, increasing the probability of a prescribed treatment be successful. Two new algorithms are proposed to support the IDEA method: to pre-process low-level features and to propose a preliminary diagnosis based on association rules. We performed several experiments to validate the proposed methods. The results indicate that association rules can be successfully applied to improve CBIR and CAD systems, empowering the arsenal of techniques to support medical image analysis in medical systems. (C) 2009 Elsevier B.V. All rights reserved.

GP5+/6+ SYBR Green methodology for simultaneous screening and quantification of human papillomavirus

Background: Detection and quantification of human papillomavirus (HPV) may help in predicting the evolution of HPV infection and progression of associated lesions. Objectives: We propose a novel protocol using consensus primers GP5+/6+ in a SYBR Green quantitative real-time (Q-RT) polymerase chain reaction (PCR). The strategy permits screening for HPV infection and viral load quantification simultaneously. Study design: DNA from 153 archived cervical samples, previously tested for HPV detection by GP5+/6+ PCR and typed by EIA-RLB (enzyme immunoassay-reverse line blot) or sequence analysis, was analysed using SYBR Green Q-RT PCR. Melting temperature assay (T(m)) and cycle threshold (C(t)) were used to evaluate HPV positivity and viral load. The T(m) in the range of 77-82 degrees C was considered to be positive for HPV-DNA. HPV results generated through GP5+/6+ conventional PCR were considered the gold standard against which sensitivity and specificity of our assay were measured. Results: Out of 104 HPV positive samples, 100 (96.2%) were also determined as positive by SYBR Green Q-RT PCR; of the 49 HPV-negative samples, all were determined as negative. There was an excellent positivity agreement (K = 0.94) between the SYBR Green Q-RT and the previous methods employed. The specificity and sensitivity were 100% and 96.2%, respectively. Comparison of SYBR Green Q-RT and TaqMan oligo-probe technologies gave an excellent concordance (pc = 0.95) which validated the proposed strategy. Conclusions: We propose a sensitive and easy-to-perform technique for HPV screening and viral load quantification simultaneously. (C) 2009 Elsevier B.V. All rights reserved.

Effect of extrusion on the emulsifying properties of soybean proteins and pectin mixtures modelled by response surface methodology

The objective of this study was to apply response surface methodology to estimate the emulsifying capacity and stability of mixtures containing isolated and textured soybean proteins combined with pectin and to evaluate if the extrusion process affects these interfacial properties. A simplex-centroid design was applied to the model emulsifying activity index (EAI), average droplet size (D-[4.3]) and creaming inhibition (Cl%) of the mixtures. All models were significant and able to explain more than 86% of the variation. The high predictive capacity of the models was also confirmed. The mean values for EAI, D-[4.3] and Cl% observed in all assays were 0.173 +/- 0.015 mn, 19.2 +/- 1.0 mu m and 53.3 +/- 2.6%, respectively. No synergism was observed between the three compounds. This result can be attributed to the low soybean protein solubility at pH 6.2 (<35%). Pectin was the most important variable for improving all responses. The emulsifying capacity of the mixture increased 41% after extrusion. Our results showed that pectin could substitute or improve the emulsifying properties of the soybean proteins and that the extrusion brings additional advantage to interfacial properties of this combination. (C) 2008 Elsevier Ltd. All rights reserved.

Response surface methodology applied to the analysis of rice bran oil extraction process with ethanol

P>Vegetable oils can be extracted using ethanol as solvent. The main goal of this work was to evaluate the ethanol performance on the extraction process of rice bran oil. The influence of process variables, solvent hydration and temperature was evaluated using the response surface methodology, aiming to maximise the soluble substances and gamma-oryzanol transfer and minimise the free fatty acids extraction and the liquid content in the underflow solid. It can be noted that oil solubility in ethanol was highly affected by the water content. The free fatty acids extraction is improved by increasing the moisture content in the solvent. Regarding the gamma-oryzanol, it can be observed that its extraction is affected by temperature when low level of water is added to ethanol. On the other hand, the influence of temperature is minimised with high levels of water in the ethanol.

Study of some physical properties of biodegradable films based on blends of gelatin and poly(vinyl alcohol) using a response-surface methodology

The aim of this work was to study the effect of the hydrolysis degree (HD) and the concentration (C(PVA)) Of two types of poly(vinyl alcohol) (PVA) and of the type (glycerol and sorbitol) and the concentration (C(P)) of plasticizers on some physical properties of biodegradable films based on blends of gelatin and PVA Using a response-surface methodology. The films were prepared with a film forming solutions (FFS) with 2 g of macromolecules (gelatin+PVA)/100 g de FFS. The responses analyzed were the mechanical properties, the solubility, the moisture Content. the color difference and the opacity. The linear model was statistically significant and predictive for puncture force and deformation. elongation at break, solubility in water, Moisture content and opacity. The CPVA affected strongly the elongation at break of the films. The interaction of the HD and the C(P) affected this property. Moreover. the puncture force was affected slightly by the C(PVA). Concerning the Solubility in water, the reduction of the HD increased it and this effect was greater for high CPVA Values. In general. the most important effect observed in the physical properties of the films was that of the plasticizer type and concentration. The PVA hydrolysis degree and concentration have an important effect only for the elongation at break, puncture deformation and solubility in water. (C) 2008 Elsevier B.V. All rights reserved.