automated test program generation for an industrial optimizing compiler

Association for Computing Machinery, ACM; IEEE; IEEE Computer Society; SIGSOFT

Quality analysis of herbal medicine products prepared from Herba sarcandrae by capillary electrophoresis with electrochemical detection

A capillary electrophoresis with electrochemical detection(CE-ED) method was developed for the quality analysis of herbal medicine products prepared from the same herb of Herba Sarcandrae: Fufang Caoshanhu tablets, Qingrexiaoyanning capsules, and Xuekang oral liquids. Under the optimal analysis conditions, the low detection limit[1.0x10(-7) mol/L(S/N=3)] and the wide linear range(1.0x10(-7)-1.0x10(-4) mol/L) were obtained for quality standard compound of isofraxidin. The precisions of the peak current and the migration time(as RSDs) for the real sample analysis were 2.0%-2.6%, and 1.2%-1.8% for isofraxidin, respectively.

The use of CE-electrochemiluminescence with ionic liquid for the determination of bioactive constituents in Chinese traditional medicine

CE/tris(2,2-bipyridyl) ruthenium(ll) (Ru(bpy)(3)(2+)) electrochemiluminescence (ECL), CEECL, with an ionic liquid (IL) detection system was established for the determination of bioactive constituents in Chinese traditional medicine opium poppy which contain large amounts of coexistent substances. A minimal sample pretreatment which involves a one-step extraction approach avoids both sample loss and environmental pollution. As the nearby hydroxyl groups in some alkaloid such as morphine may react with borate to form complexes and IL, as a high-conductivity additive in running buffer, could cause an enhanced field-amplified effect of electrokinetic injection. Running buffer containing 25 mM borax-8 mM 1-ethyl-3-methylimidazolium tetrafluoroborate (EMImBF(4)) IL (pH 9.18) was used which resulted in significant changes in separation selectivity and obvious enhancement in ECL intensities for those alkaloids with similar structures. Sensitive detection could be achieved when the distance between the Pt working electrode and the outlet of separation capillary was set at 150 mu m and the stainless steel cannula was fixed approximately 1 cm away from the outlet of the capillary. Quantitative analysis of four alkaloids was achieved at a detection voltage of 1.2 V and a separation voltage of 15 kV in less than 7 min.

Capillary electrophoresis with amperometric detection of curcumin in Chinese herbal medicine pretreated by solid-phase extraction

In the present study, curcumin from Chinese herbal medicine turmeric was determined by capillary electrophoresis with amperometric detection (CE-AD) pretreated by a self-designed, simple, inexpensive solid-phase extraction (SPE) cartridge based on the material of tributyl phosphate resin. An average concentration factor of 9 with the recovery of >80% was achieved when applied to the analysis of curcumin in extracts of turmeric. Under the optimized CE-AD conditions: a running buffer composed of 15 mM phosphate buffer at a pH 9.7, separation voltage at 16 W, injection for 6 s at 9 W and detection at 1.20 V, CE-AD with SPE exhibited low detection limit as 3 - 10(-8) mol/l (SIN = 3), high efficiency of 1.0(.)10(5) N, linear range of 7(.)10(-4) -3(.)10(-6) mol/l (r = 0.9986) for curcumin extracted from light petroleum. The method developed resulted in enhancement of the detection sensitivity and reduction of interference from sample matrix in complicated samples and exhibited the potential application for routine analysis, especially in food, because a relatively complete process of sample treatment and analysis was described.

Seed Germination of Swertia mussotii,an Important Application in Tibetan Folk Medicine

In this study,the effects of temperature,the growth regulator GA3 and storage conditions on seed germination of the biennial Swertia mussotii Franch were compared in seeds from a natural high altitude alpine site and after one-cycle of artificial cultivation at a low altitude.The untreated seeds from high altitude displayed higher germination than those from low altitude.Both GA3 and storage conditions enhanced germination from all sources.After treatment,the final germination of seeds from different sources shows no distinct difference.These results suggest that:(i) all seeds of this species,irrespective of their sources,have similar kinds of dormancy;(ii) the dormancy of this species can not been broken through one-cycle adaptation in ex situ cultivation and thus might be genetically controlled;(iii) both GA3 and 4℃ cold storage are effective for dormancy breaking in ex situ cultivation of this important medicinal species.

Analysis of carbohydrates in a tibetan medicine using new labeling reagent, 1-(2-naphthyl)-3-methyl-5-pyrazolone, by HPLC with DAD detection and ESI-MS identification

A new labeling reagent, 1-(2-naphthyl)-3-methyl-5-pyrazolone (NMP), coupling with liquid chromatography (LC) with electrospray ionization mass spectrometry (ESI-MS) for the detection of carbohydrates from a famous Tibetan medicine is reported. Carbohydrates were derivatized to their bis-NMP-labeled derivatives. The method, in conjunction with a gradient elution, offered a baseline resolution of carbohydrate derivatives on a reversed phase Hypersil ODS-2 column. The carbohydrates such as mannose, galacturonic acid, glucuronic acid, rhamnose, glucose, galactose, xylose, arabinose, and fucose could be successfully detected by UV and ESI-MS. Derivatives showed intense protonated molecular ion at m/z [M+H]+ in positive ion mode. The mass to charge ratios of characteristic fragment ions at m/z 473.0 could be used for the accurately qualitative identification of carbohydrates; this characteristic fragment ion was from the cleavage of C2-C3 bond in the carbohydrate chain giving the specific fragment ions at m/z [MH-CmH2m+1Om-H2O](+) for pentose, hexose, and glyceraldehydes, and at m/z [MH-CmH2m-1Om+1-H2O](+) for alduronic acids, such as galacturonic acid and glucuronic acid (m=n-2, n is carbon atom number of carbohydrate). Compared with the traditional 1-phenyl-3-methyl-5-pyrazolone (PMP) reagent, currently synthesized NMP show the advantage of higher sensitivity to carbohydrate compounds with UV and ESI-MS detection.

Analysis of five pharmacologically active compounds from the Tibetan medicine Elsholtzia with micellar electrokinetic capillary chromatography

A high performance capillary electrophoresis method with diode array detector detection for the determination of five bioactive ingredients in Tibetan medicine Elsholtzia, namely quercetin, rutin, saussurenoside, kaempferol, and oleanolic acid, has been developed. The effects of several factors, such as the acidity, concentration of running buffer, separation voltage, temperature, and SDS concentration were investigated. The optimal conditions were 44 mmol/L boric acid running buffer (pH 8.5), 45 mmol/L SDS, 16 KV voltage, 20 degrees C, and 10.0% (V/V) of acetonitrile. Under the optimum conditions, five components could be separated with a good baseline resolution within 17 min. The calibration curves showed good linear relationship over the concentration range of 5 x 10(-4)similar to 0.1 mg/mL for quercetin, rutin, saussurenoside, kaempferol, and 1 x 10(-3) similar to 0.1 mg/mL for oleanolic acid. The average recoveries of the method and RSD were ( 99.2%, 3.2%) for quercetin, (102.1%, 2.1%) for rutin, (99.4%, 1.5%) for saussurenoside, (98.9%, 1.8%) for kaempferol, and (99.0%, 2.9%) for oleanolic acid, respectively. The detection limits (S/N = 3) were 1.1 x 10(-4) mg/mL for quercetin, 2.6 x 10(-4) mg/mL for rutin, 1.8 x 10(-4) mg/mL for saussurenoside, 2.9 x 10(-4) mg/mL for kaempferol, and 6.3 x 10(-4) mg/mL for oleanolic acid, respectively. The method was simple, rapid, and reproducible and could be applied for the determination of quercetin, rutin, saussurenoside, kaempferol, and oleanolic acid in Tibetan medicine Elsholtzia, and the assay results were satisfactory.

HPLC-APCI-MS determination of free fatty acids in Tibet folk medicine Lomatogonium rotatum with fluorescence detection and mass spectrometric identification

A simple and sensitive method for the determination of free fatty acids (FFAs) using acridone-9-ethyl-p-toluenesulfonate (AETS) as a fluorescence derivatization reagent by high performance liquid chromatography (HPLC) has been developed. Free fatty acid derivatives were separated on an Eclipse XDB-C-8 column with a good baseline resolution and detected with the fluorescence of which excitation and emission wavelengths of derivatives were set at lambda(ex) 404 and lambda(em) 440 nm, respectively. Identification of 19 fatty acid derivatives was carried out by online post-column mass spectrometry with an atmospheric pressure chemical ionization (APCI) source under positive-ion detection mode. Nineteen FFAs from the extract of Lomatogonium rotatum are sensitively determined. The results indicate that the plant Lomatogonium rotatum is enriched with an abundance of FFAs and FFAs of higher contents, which mainly focus on even carbon atoms, C-14, C-16, and C-18. The validation of the method including linearity, repeatability, and detection limits was examined. Most linear correlation coefficients for fatty acid derivatives are > 0.9989, and detection limits (at signal-to-noise of 3: 1) are 12.3-43.7 fmol. The relative standard deviations (RSDs) of the peak areas and retention times for 19 FFAs standards are < 2.24% and 0.45%, respectively. The established method is rapid and reproducible for the separation determination of FFAs from the extract of Lomatogonium rotatum with satisfactory results.

Variation of active constituents of an important Tibet folk medicine Swertia mussotii Franch. (Gentianaceae) between artificially cultivated and naturally distributed

Concentrations of seven phytochemical constituents (swertiamarin, mangiferin, swertisin, oleanolic acid, 1,5,8-trihydroxy-3methoxyxanthone, 1,8-dihydroxy-3,7-dimethoxyxanthone and 1,8-dihydroxy-3,5-dimethoxyxanthone) of "ZangYinChen" (Swertia mussotii, a herb used in Tibetan folk medicine) were determined and compared in plants collected from naturally distributed high-altitude populations and counterparts that had been artificially cultivated at low altitudes. Levels of mangiferin, the most abundant active compound in this herb, were significantly lower in cultivated samples and showed a negative correlation with altitude. The other constituents were neither positively nor negatively correlated with cultivation at low altitude. Concentrations of all of the constituents varied substantially with growth stage and were highest at the bud stage in the cultivars, but there were no distinct differences between flowering and fruiting stages in this respect. (c) 2005 Elsevier Ireland Ltd. All rights reserved.

Automated Program Recognition by Graph Parsing

Recognizing standard computational structures (cliches) in a program can help an experienced programmer understand the program. We develop a graph parsing approach to automating program recognition in which programs and cliches are represented in an attributed graph grammar formalism and recognition is achieved by graph parsing. In studying this approach, we evaluate our representation's ability to suppress many common forms of variation which hinder recognition. We investigate the expressiveness of our graph grammar formalism for capturing programming cliches. We empirically and analytically study the computational cost of our recognition approach with respect to two medium-sized, real-world simulator programs.

Program Improvement by Automatic Redistribution of Intermediate Results

Introducing function sharing into designs allows eliminating costly structure by adapting existing structure to perform its function. This can eliminate many inefficiencies of reusing general componentssin specific contexts. "Redistribution of intermediate results'' focuses on instances where adaptation requires only addition/deletion of data flow and unused code removal. I show that this approach unifies and extends several well-known optimization classes. The system performs search and screening by deriving, using a novel explanation-based generalization technique, operational filtering predicates from input teleological information. The key advantage is to focus the system's effort on optimizations that are easier to prove safe.