An expeditious and consistent procedure for tetrahydrofuran (THF) drying and deoxygenation by the still apparatus

Despite the availability of alternative methods for drying tetrahydrofuran (THF), the use of the still apparatus, wherein a THF solution containing Na-bezophenone ketyl is heated to reflux, remains widespread. We herein propose a set of procedures to solve the problems usually faced in applying this drying technique. Moreover, a discussion is made on the chemical knowledge underlying such procedures. Safety and economy issues concerned with the operation of the THF still apparatus are also discussed.

Photometric procedure for quantitative analysis of Aflatoxin B1 in peanuts by thin-layer chromatography using charge coupled device detector

A photometric procedure was developed for determination of aflatoxin B1 in peanuts by TLC-CCD technique. The quantification and detection limit were 1.2 μg kg-1 and 0.4 ng per spot, respectively, with mean recovery of 98%. The CCD camera is sufficiently sensitive to detect small changes in spots fluorescence intensity and the results for performance confirmed the efficiency of the method. Another important property of CCD detector is its linearity for a wide range of luminous stimulus determined by analysis of five-point calibration curves using the intensity of AFB1 fluorescence versus AFB1 concentration (0.8 to 4.8 ng per spot). The method was applied to the analysis of thirty nine peanut samples and aflatoxin B1 levels ranged from 16 to 115 μg kg-1. The TLC-CCD and the photometric procedure developed in this study demonstrated to be a simple and efficient tool for quantitative analyses of AFB1 in peanut samples.

MSPD procedure combined with GC-MS for the determination of procymidone, bifenthrin, malathion and pirimicarb in honey

A method based on matrix solid-phase dispersion and gas chromatography-mass spectrometry to determine procymidone, malathion, bifenthrin and pirimicarb in honey is described. The best results were obtained using 1.0 g of honey, 1.0 g of silica-gel as dispersant sorbent and acetonitrile as eluting solvent. The method was validated by fortified honey samples at three concentration levels (0.2, 0.5 to 1.0 mg kg-1). Average recoveries (n=7) ranged from 54 to 84%, with relative standard deviations between 3.7 and 8.5%. Detection and quantification limits attained by the developed method ranged from 0.02 to 0.08 mg kg-1 and 0.07 to 0.25 mg kg-1 for the honey, respectively.

Sistema de análises em fluxo polivalente para a determinação espectrofotométrica de fármacos

A flow system based on the sandwich technique is proposed for the sequential determination of ascorbic acid, dipyrone, acetylcysteine, captopril and paracetamol. The procedure is based on the reduction of Cu(II) by the analytes followed by the spectrophotometric measurement of the complex of Cu(I) with 2,2'-biquinoline 4,4'-dicarboxylic acid. Linear responses were achieved in the µmol L-1 range, with coefficients of variation better than 1.7%. Sampling rate was estimated as 60 determinations per hour, consuming 230 µg of BQA and generating 2.5 mL of waste per determination. Results for commercial samples agreed with those obtained by procedures recommended by the American and European pharmacopeias at the 95% confidence level.

Optimization of a HPLC procedure for simultaneous determination of cisplatin and the complex cis,cis,trans-diamminedichlorodihydroxoplatinum(IV) in aqueous solutions

A RP-HPLC procedure for the simultaneous determination of cisplatin and the complex cis,cis,trans-diamminedichlorodihydroxo-platinum(IV), was development. The developed procedure was validated in terms of linearity, accuracy, precision, limits of detection (LOD), limits of quantification (LOQ) and specificity. The limits of detection (LOD) were 0.47 x 10-4 and 0.53 x 10-4 mol L-1 and the limits of quantification (LOQ) were 1.57 x 10-4 and 1.75 x 10-4 mol L-1, for cisplatin and cis,cis,trans-diamminedichlorodihydroxopla-tinum(IV), respectively. The average recoveries of cisplatin and cis,cis,trans-diamminedichlorodihydroxoplatinum(IV) was 100.6% ± 1.4 and 101.2% ± 1.1, respectively. Intermediate (inter-day) precision, repeatability and specificity of the procedure for hydrolysis products of cisplatin were studied. The results of the study showed that the proposed RP-HPLC procedure is simple, rapid, precise, accurate and specific.

Estudio de la contaminación por metales en sedimentos acuáticos de la Bahía de Matanzas

Surface sediments of the Bay of Matanzas (Cuba) were studied to assess its environmental quality by using several criteria (metal content index, pollution load index and sediment quality guidelines). Two partial digestion sediment procedures and a modified BCR sequential extraction were used. The concentrations of metals were measured by atomic spectroscopy methods. The founded contents of Cu (2,4-27,9 mg kg-1), Zn (2,5-55,5 mg kg-1) and Ni (8,8-99,2 mg kg-1) were below those reported by other authors. The results obtained suggested that the most polluted sites were 3, 5, and 6. The sequential extraction procedure showed that most of the studied metals were associated to the more stable fractions.

Determinação de Cu, Fe, Mn, Zn e do teor de proteína total em amostras de trigo e soja após procedimento de extração sequencial

A sequential extraction procedure was applied to wheat and soybean seed samples. The total protein content (determined by two distinct methods: Bradford and bicinchoninic acid-BCA) and distribution of Cu, Fe, Mn and Zn in each fraction was determined. The sequential extraction employed four different solutions: water, 0.5 mol L-1 NaCl, ethanol/water (70:30 v v-1) and 0.5 mol L-1 NaOH. For both samples, the highest concentration of metals was observed in those extracts associated with globulin-type proteins using NaCl solution. Regarding protein content, higher levels were obtained using the BCA method.

EVALUATION OF A BUFFERED SOLID PHASE DISPERSION PROCEDURE ADAPTED FOR PESTICIDE ANALYSES IN THE SOIL MATRIX

An evaluation of the pesticides extracted from the soil matrix was conducted using a citrate-buffered solid phase dispersion sample preparation method (QuEChERS). The identification and quantitation of pesticide compounds was performed using gas chromatography-mass spectrometry. Because of the occurrence of the matrix effect in 87% of the analyzed pesticides, the quantification was performed using matrix-matched calibration. The method's quantification limits were between 0.01 and 0.5 mg kg-1. Repeatability and intermediate precision, expressed as a relative standard deviation percentage, were less than 20%. The recoveries in general ranged between 62% and 99%, with a relative standard deviation < 20%. All the responses were linear, with a correlation coefficient (r) ≥0.99.

Characteristics of pyridine adsorption on Au(111) and Au(210) by EIS parameters fitting procedure

Some aspects of the application of electrochemical impedance spectroscopy to studies of solid electrode / solution interface, in the absence of faradaic processes, are analysed. In order to perform this analysis, gold electrodes with (111) and (210) crystallographic orientations in an aqueous solution containing 10 mmol dm-3 KF, as supporting electrolyte, and a pyridine concentration varying from 0.01 to 4.6 mmol dm-3, were used. The experimental data was analysed by using EQUIVCRT software, which utilises non-linear least squares routines, attributing to the solid electrode / solution interface behaviour described by an equivalent circuit with a resistance in series with a constant phase element. The results of this fitting procedure were analysed by the dependence on the electrode potential on two parameters: the pre-exponential factor, Y0, and the exponent n f, related with the phase angle shift. By this analysis it was possible to observe that the pyridine adsorption is strongly affected by the crystallographic orientation of the electrode surface and that the extent of deviation from ideal capacitive behaviour is mainly of interfacial origin.

Determination of hydroquinone in a square wave voltammetry procedure using a graphite-polyurethane composite electrode

In order to a better characterization of a graphite-polyurethane composite intended to be used as a voltammetric sensor, the performance in a square wave voltammetric procedure was investigated. Using hydroquinone (HQ) as a probe, the electrode showed to be useful in square wave voltammetry with limit of detection of 0.28 µmol L-1, with recoveries between 99.1 and 101.5%. The results of the proposed method agreed with HPLC ones within 95% confidence level.

Spectrophotometric flow injection procedure to indirect determination of paracetamol in pharmaceutical formulations using o-tolidine as reagent

A spectrophotometric flow injection method for the determination of paracetamol in pharmaceutical formulations is proposed. The procedure was based on the oxidation of paracetamol by sodium hypochloride and the determination of the excess of this oxidant using o-tolidine dichloride as chromogenic reagent at 430 nm. The analytical curve was linear in the paracetamol concentration range from 8.50 x 10-6 to 2.51 x 10-4 mol L-1 with a detection limit of 5.0 x 10-6 mol L-1. The relative standard deviation was smaller than 1.2% for 1.20 x 10-4 mol L-1 paracetamol solution (n = 10). The results obtained for paracetamol in pharmaceutical formulations using the proposed flow injection method and those obtained using a USP Pharmacopoeia method are in agreement at the 95% confidence level.

Tool-supported invariant-based programming

The development of correct programs is a core problem in computer science. Although formal verification methods for establishing correctness with mathematical rigor are available, programmers often find these difficult to put into practice. One hurdle is deriving the loop invariants and proving that the code maintains them. So called correct-by-construction methods aim to alleviate this issue by integrating verification into the programming workflow. Invariant-based programming is a practical correct-by-construction method in which the programmer first establishes the invariant structure, and then incrementally extends the program in steps of adding code and proving after each addition that the code is consistent with the invariants. In this way, the program is kept internally consistent throughout its development, and the construction of the correctness arguments (proofs) becomes an integral part of the programming workflow. A characteristic of the approach is that programs are described as invariant diagrams, a graphical notation similar to the state charts familiar to programmers. Invariant-based programming is a new method that has not been evaluated in large scale studies yet. The most important prerequisite for feasibility on a larger scale is a high degree of automation. The goal of the Socos project has been to build tools to assist the construction and verification of programs using the method. This thesis describes the implementation and evaluation of a prototype tool in the context of the Socos project. The tool supports the drawing of the diagrams, automatic derivation and discharging of verification conditions, and interactive proofs. It is used to develop programs that are correct by construction. The tool consists of a diagrammatic environment connected to a verification condition generator and an existing state-of-the-art theorem prover. Its core is a semantics for translating diagrams into verification conditions, which are sent to the underlying theorem prover. We describe a concrete method for 1) deriving sufficient conditions for total correctness of an invariant diagram; 2) sending the conditions to the theorem prover for simplification; and 3) reporting the results of the simplification to the programmer in a way that is consistent with the invariantbased programming workflow and that allows errors in the program specification to be efficiently detected. The tool uses an efficient automatic proof strategy to prove as many conditions as possible automatically and lets the remaining conditions be proved interactively. The tool is based on the verification system PVS and i uses the SMT (Satisfiability Modulo Theories) solver Yices as a catch-all decision procedure. Conditions that were not discharged automatically may be proved interactively using the PVS proof assistant. The programming workflow is very similar to the process by which a mathematical theory is developed inside a computer supported theorem prover environment such as PVS. The programmer reduces a large verification problem with the aid of the tool into a set of smaller problems (lemmas), and he can substantially improve the degree of proof automation by developing specialized background theories and proof strategies to support the specification and verification of a specific class of programs. We demonstrate this workflow by describing in detail the construction of a verified sorting algorithm. Tool-supported verification often has little to no presence in computer science (CS) curricula. Furthermore, program verification is frequently introduced as an advanced and purely theoretical topic that is not connected to the workflow taught in the early and practically oriented programming courses. Our hypothesis is that verification could be introduced early in the CS education, and that verification tools could be used in the classroom to support the teaching of formal methods. A prototype of Socos has been used in a course at Åbo Akademi University targeted at first and second year undergraduate students. We evaluate the use of Socos in the course as part of a case study carried out in 2007.

Kinetic behavior of nitrification in the post-treatment of poultry wastewater in a sequential batch reactor

A sequential batch reactor with suspended biomass and useful volume of 5 L was used in the removal of nutrients and organic matter in workbench scale under optimal conditions obtained by central composite rotational design (CCRD), with cycle time (CT) of 16 h (10.15 h, aerobic phase, and 4.35 h, anoxic phase) and carbon: nitrogen ratio (COD/NO2--N+NO3--N) equal to 6. Complete cycles (20), nitrification followed by denitrification, were evaluated to investigate the kinetic behavior of degradation of organic (COD) and nitrogenated (NH4+-N, NO2--N and NO3--N) matter present in the effluent from a bird slaughterhouse and industrial processing facility, as well as to evaluate the stability of the reactor using Shewhart control charts of individual measures. The results indicate means total inorganic nitrogen (NH4+-N+NO2- -N+NO3--N) removal of 84.32±1.59% and organic matter (COD) of 53.65±8.48% in the complete process (nitrification-denitrification) with the process under statistical control. The nitrifying activity during the aerobic phase estimated from the determination of the kinetic parameters had mean K1 and K2 values of 0.00381±0.00043 min-1 and 0.00381±0.00043 min-1, respectively. The evaluation of the kinetic behavior of the conversion of nitrogen indicated a possible reduction of CT in the anoxic phase, since removals of NO2--N and NO3--N higher than 90% were obtained with only 1 h of denitrification.

Pseudomixoma peritoneal: abordagem cirúrgica em dois casos

The authors report the surgical procedure in two patients with pseudomyxoma peritonei, histologically considered as mucinous adenocarcinoma. In both patients, intestinal loops and other visceras were blocked and it was not possible to localize the tumor's origin. There was, in both cases, a great volume of mucinous ascitis. In the first patient a laparotomy was performed and a drainage by a five centimeters peritoneostomy in the abdominal upper left quadrant. In the second just a peritoneostomy was performed in the same location. The sequential irrigation of the abdominal cavity controlled the ascitis in a few days. Certainly this approach avoided a second procedure to clean the mucinous ascitis.