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.

Methods of Fourier optics in digital holographic microscopy

In this paper, processing methods of Fourier optics implemented in a digital holographic microscopy system are presented. The proposed methodology is based on the possibility of the digital holography in carrying out the whole reconstruction of the recorded wave front and consequently, the determination of the phase and intensity distribution in any arbitrary plane located between the object and the recording plane. In this way, in digital holographic microscopy the field produced by the objective lens can be reconstructed along its propagation, allowing the reconstruction of the back focal plane of the lens, so that the complex amplitudes of the Fraunhofer diffraction, or equivalently the Fourier transform, of the light distribution across the object can be known. The manipulation of Fourier transform plane makes possible the design of digital methods of optical processing and image analysis. The proposed method has a great practical utility and represents a powerful tool in image analysis and data processing. The theoretical aspects of the method are presented, and its validity has been demonstrated using computer generated holograms and images simulations of microscopic objects. (c) 2007 Elsevier B.V. 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.

Directional Wave Spectrum Estimation Based on Vessel`s 1st-order Motions: Field Results

In this paper, 2 different approaches for estimating the directional wave spectrum based on a vessel`s 1st-order motions are discussed, and their predictions are compared to those provided by a wave buoy. The real-scale data were obtained in an extensive monitoring campaign based on an FPSO unit operating at Campos Basin, Brazil. Data included vessel motions, heading and tank loadings. Wave field information was obtained by means of a heave-pitch-roll buoy installed in the vicinity of the unit. `two of the methods most widely used for this kind of analysis are considered, one based on Bayesian statistical inference, the other consisting of a parametrical representation of the wave spectrum. The performance of both methods is compared, and their sensitivity to input parameters is discussed. This analysis complements a set of previous validations based on numerical and towing-tank results and allows for a preliminary evaluation of reliability when applying the methodology at full scale.

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.

Vortex configuration flow cell based on low temperature cofired ceramics as a compact chemiluminescence microsystern

The integration of optical detection methods in continuous flow microsystems can highly extend their range of application, as long as some negative effects derived from their scaling down can be minimized. Downsizing affects to a greater extent the sensitivity of systems based on absorbance measurements than the sensitivity of those based on emission ones. However, a careful design of the instrumental setup is needed to maintain the analytical features in both cases. In this work, we present the construction and evaluation of a simple miniaturized optical system, which integrates a novel flow cell configuration to carry out chemiluminescence (CL) measurements using a simple photodiode. It consists of a micro-mixer based on a vortex structure, which has been constructed by means of the low-temperature cofired ceramics (LTCC) technology. This mixer not only efficiently promotes the CL reaction due to the generated high turbulence but also allows the detection to be carried out in the same area, avoiding intensity signal losses. As a demonstration, a flow injection system has been designed and optimized for the detection of cobalt(H) in water samples. It shows a linear response between 2 and 20 mu M with a correlation of r > 0.993, a limit of detection of 1.1 mu M, a repeatability of RSD = 12.4 %, and an analysis time of 17 s. These results demonstrate the suitability of the proposal to the determination of compounds involved in CL reactions by means of an easily constructed versatile device based on low-cost instrumentation.

S/MIMO MC-CDMA Heuristic Multiuser Detectors Based on Single-Objective Optimization

This paper analyzes the complexity-performance trade-off of several heuristic near-optimum multiuser detection (MuD) approaches applied to the uplink of synchronous single/multiple-input multiple-output multicarrier code division multiple access (S/MIMO MC-CDMA) systems. Genetic algorithm (GA), short term tabu search (STTS) and reactive tabu search (RTS), simulated annealing (SA), particle swarm optimization (PSO), and 1-opt local search (1-LS) heuristic multiuser detection algorithms (Heur-MuDs) are analyzed in details, using a single-objective antenna-diversity-aided optimization approach. Monte- Carlo simulations show that, after convergence, the performances reached by all near-optimum Heur-MuDs are similar. However, the computational complexities may differ substantially, depending on the system operation conditions. Their complexities are carefully analyzed in order to obtain a general complexity-performance framework comparison and to show that unitary Hamming distance search MuD (uH-ds) approaches (1-LS, SA, RTS and STTS) reach the best convergence rates, and among them, the 1-LS-MuD provides the best trade-off between implementation complexity and bit error rate (BER) performance.

Electrochemical and spectroscopic characterization of screen-printed gold-based electrodes modified with self-assembled monolayers and Tc85 protein

This work investigates the formation of self-assembled monolayers (SAMs) of cystamine and cystamine-glutaraldehyde on a screen-printed electrode, and the immobilization of the Tc85 protein (from Trypanosoma cruzi) on these monolayers. The methods used included infrared techniques, cyclic voltammetry, and electrochemical impedance spectroscopy. The electrochemical studies were performed at pH 6.9 in 0.1 mol L(-1) phosphate buffer solution containing Fe(CN)(6)(-3/-4) redox species. The surface coverage (0) of the electrode was 0.10 (cystamine), 0.35 (cystamine-glutaraldehyde) and 0.84 (Tc85). Interpretation of electrochemical impedance spectroscopy results was based on a charge-transfer reaction involving Fe(CN)(6)(-3/-4) species at high frequencies, followed by a diffusion through the monolayers at lower frequencies. Estimates of the electrode surface coverage, active site radius, and distance between two adjacent sites assumed that charge transfer occurred at the active sites, and that there was a planar diffusion of redox species to these sites. (C) 2009 Elsevier B.V. All rights reserved.

Evaluation of FAO Penman-Monteith and alternative methods for estimating reference evapotranspiration with missing data in Southern Ontario, Canada

Grass reference evapotranspiration (ETo) is an important agrometeorological parameter for climatological and hydrological studies, as well as for irrigation planning and management. There are several methods to estimate ETo, but their performance in different environments is diverse, since all of them have some empirical background. The FAO Penman-Monteith (FAD PM) method has been considered as a universal standard to estimate ETo for more than a decade. This method considers many parameters related to the evapotranspiration process: net radiation (Rn), air temperature (7), vapor pressure deficit (Delta e), and wind speed (U); and has presented very good results when compared to data from lysimeters Populated with short grass or alfalfa. In some conditions, the use of the FAO PM method is restricted by the lack of input variables. In these cases, when data are missing, the option is to calculate ETo by the FAD PM method using estimated input variables, as recommended by FAD Irrigation and Drainage Paper 56. Based on that, the objective of this study was to evaluate the performance of the FAO PM method to estimate ETo when Rn, Delta e, and U data are missing, in Southern Ontario, Canada. Other alternative methods were also tested for the region: Priestley-Taylor, Hargreaves, and Thornthwaite. Data from 12 locations across Southern Ontario, Canada, were used to compare ETo estimated by the FAD PM method with a complete data set and with missing data. The alternative ETo equations were also tested and calibrated for each location. When relative humidity (RH) and U data were missing, the FAD PM method was still a very good option for estimating ETo for Southern Ontario, with RMSE smaller than 0.53 mm day(-1). For these cases, U data were replaced by the normal values for the region and Delta e was estimated from temperature data. The Priestley-Taylor method was also a good option for estimating ETo when U and Delta e data were missing, mainly when calibrated locally (RMSE = 0.40 mm day(-1)). When Rn was missing, the FAD PM method was not good enough for estimating ETo, with RMSE increasing to 0.79 mm day(-1). When only T data were available, adjusted Hargreaves and modified Thornthwaite methods were better options to estimate ETo than the FAO) PM method, since RMSEs from these methods, respectively 0.79 and 0.83 mm day(-1), were significantly smaller than that obtained by FAO PM (RMSE = 1.12 mm day(-1). (C) 2009 Elsevier B.V. All rights reserved.

Enzymatic-spectrophotometric determination of paraquat in urine samples: A method based on its toxic mechanism

Paraquat is a broad-spectrum contact herbicide that has been encountered worldwide in several cases of accidental, homicidal, and suicidal poisonings. The pulmonary toxicity of this compound is related to the depletion of NADPH in the pneumocytes, which is continuously consumed by the reduction/oxidation of paraquat and reductase enzyme systems in the presence of O(2) (redox cycling). Based on this mechanism, an enzymatic-spectrophotometric method was developed for the determination of paraquat in urine samples. The velocity of NADPH consumption was monitored at 340 nm, every 10 s during 15 min. The velocity of NADPH oxidation correlated with the paraquat levels found in samples. The enzymatic-spectrophotometric method showed to be sensitive, making possible the detection of paraquat in urine samples at concentrations as low as 0.05 mg/L.

Methods for detection of anatoxin-a(s) by liquid chromatography coupled to electrospray ionization-tandem mass spectrometry

Anatoxin-a(s) is a potent irreversible inhibitor of the enzyme acetylcholinesterase with a unique N-hydroxyguanidine methylphosphate ester chemical structure. Determination of this toxin in environmental samples is hampered by the lack of specific methods for its detection. Using the toxic strain of Anabaena lemmermani PH-160 B as positive control, the fragmentation characteristics of anatoxin-a(s) under collision-induced dissociation conditions have been investigated and new LC-MS/MS methods proposed. Recommended ion transitions for correct detection of this toxin are 253 > 58, 253 > 159, 235 > 98 and 235 > 96. Chromatographic separation is better achieved under HILIC conditions employing a ZIC-HILIC column. This method was used to confirm for the first time the production of anatoxin-a(s) by strains of Anabaena oumiana ITEP-025 and ITEP-026. Considering no standard solutions are commercially available, our results will be of significant use for the correct identification of this toxin by LC-MS/MS. (C) 2009 Elsevier Ltd. All rights reserved.

Determination of Vecuronium Bromide in Pharmaceuticals: Development, Validation and Comparative Study of HPLC and CZE Analytical Methods

Vecuronium bromide is a neuromuscular blocking agent used for anesthesia to induce skeletal muscle relaxation. HPLC and CZE analytical methods were developed and validated for the quantitative determination of vecuronium bromide. The HPLC method was achieved on an amino column (Luna 150 x 4.6 mm, 5 mu m) using UV detection at 205 nm. The mobile phase was composed of acetonitrile:water containing 25.0 mmol L(-1) of sodium phosphate monobasic (50:50 v/v), pH 4.6 and flow rate of 1.0 mL min(-1). The CZE method was achieved on an uncoated fused-silica capillary (40.0 cm total length, 31.5 cm effective length and 50 mu m i.d.) using indirect UV detection at 230 nm. The electrolyte comprised 1.0 mmol L(-1) of quinine sulfate dihydrate at pH 3.3 and 8.0% of acetonitrile. The results were used to compare both techniques. No significant differences were observed (p > 0.05).

Determination of chlorpheniramine in human plasma by HPLC-ESI-MS/MS: application to a dexchlorpheniramine comparative bioavailability study

In the present study a fast, sensitive and robust validated method to quantify chlorpheniramine in human plasma using brompheniramine as internal standard (IS) is described. The analyte and the IS were extracted from plasma by LLE (diethyl ether-dichloromethane, 80:20, v/v) and analyzed by HPLC-ESI-MS/MS. Chromatographic separation was performed using a gradient of methanol from 35 to 90% with 2.5 mm NH(4)OH on a Gemini Phenomenex C(8) 5 mu m column (50 x 4.6 mm i.d.) in 5.0 min/run. The method fitted to a linear calibration curve (0.05-10 ng/mL, R > 0.9991). The precision (%CV) and accuracy ranged, respectively: intra-batch from 1.5 to 6.8% and 99.1 to 106.6%, and inter-batch from 2.4 to 9.0%, and 99.9 to 103.1%. The validated bioanalytical procedure was used to assess the comparative bioavailability in healthy volunteers of two dexchlorpheniramine 2.0 mg tablet formulations (test dexchlorpheniramine, Eurofarma, and reference Celestamine (R), Schering-Plough). The study was conducted using an open, randomized, two-period crossover design with a 2 week washout interval. Since the 90% confidence interval for C(max) and AUC ratios were all within the 80-125% interval proposed by ANVISA and FDA, it was concluded that test and reference formulations are bioequivalent concerning the rate and the extent of absorption. Copyright (C) 2009 John Wiley & Sons, Ltd.

UV-Derivative Spectrophotometric and Stability-Indicating High-Performance Liquid Chromatographic Methods for Determination of Simvastatin in Tablets

A stability-indicating high-performance liquid chromatographic (HPLC) and a second-order derivative spectrophotometric (UVDS) analytical methods were validated and compared for determination of simvastatin in tablets. The HPLC method was performed with isocratic elution using a C18 column and a mobile phase composed of methanol:acetonitrile:water (60:20:20, v/v/v) at a flow rate of 1.0 ml/min. The detection was made at 239 nm. In UVDS method, methanol and water were used in first dilution and distilled water was used in consecutive dilutions and as background. The second-order derivative signal measurement was taken at 255 nm. Analytical curves showed correlation coefficients > 0.999 for both methods. The quantitation limits (QL) were 2.41 mu g/ml for HPLC and 0.45 mu g/ml for UVDS, respectively. Intra and inter-day relative standard deviations were < 2.0 %. Statistical analysis with t- and F-tests are not exceeding their critical values demonstrating that there is no significant difference between the two methods at 95 % confidence level.