基于PAR的算法形式化开发

形式化方法是构建可信软件的重要途径.基于对算法问题的分析,针对形式化方法PAR开发算法的特征,刻划了问题分划、递推关系构造方面的规律.从一类问题的形式化功能规约出发,可机械地完成问题的分划及规约的变换,自然地揭示出求解问题的算法思想,在相关工具的支持下自动生成算法程序.研究结果将算法设计中尽可能多的创造性劳动转化为非创造性劳动,降低了形式化求解算法问题的难度,提高了算法程序的可靠性和形式化开发效率.

PAR方法和循环不变式的范畴语义

范畴论对理解程序规约及程序设计和正确性证明十分有用.PAR方法则是建立在严格的数学基础之上的一种统一的算法程序设计方法.循环不变式在循环算法程序的设计中至关重要.使用格理论和范畴论作为工具对PAR方法建立一个理论框架,并对其用范畴论的概念加以解释,从而使得PAR有更强的理论基础.在此基础上引入不动点原理深入刻划循环不变式的含义,循环不变式可以表示为谓词泛函的最小不动点,并从范畴论的角度解释该过程.

Phosphoproteome analysis of mouse liver using immobilized metal affinity purification and linear ion trap mass spectrometry

Since protein phosphorylation is a dominant mechanism of information transfer in cells, there is a great need for methods capable of accurately elucidating sites of phosphorylation. In recent years mass spectrometry has become an increasingly viable alternative to more traditional methods of phosphorylation analysis. The present study used immobilized metal affinity chromatography (IMAC coupled with a linear ion trap mass spectrometer to analyze phosphorylated proteins in mouse liver. A total of 26 peptide sequences defining 26 sites of phosphorylation were determined. Although this number of identified phosphoproteins is not large, the approach is still of interest because a series of conservative criteria were adopted in data analysis. We note that, although the binding of non-phosphorylated peptides to the IMAC column was apparent, the improvements in high-speed scanning and quality of MS/MS spectra provided by the linear ion trap contributed to the phosphoprotein identification. Further analysis demonstrated that MS/MS/MS analysis was necessary to exclude the false-positive matches resulting from the MS/MS experiments, especially for multiphosphorylated peptides. The use of the linear ion trap considerably enabled exploitation of nanoflow-HPLC/MS/MS, and in addition MS/MS/MS has great potential in phosphoproteome research of relatively complex samples. Copyright (C) 2004 John Wiley Sons, Ltd.

Affinity membrane chromatography for the analysis and purification of proteins

Affinity chromatography is unique among separation methods as it is the only technique that permits the purification of proteins based on biological functions rather than individual physical or chemical properties. The high specificity of affinity chromatography is due to the strong interaction between the ligand and the proteins of interest. Membrane separation allows the processing of a large amount of sample in a relatively short time owing to its structure, which provides a system with rapid reaction kinetics. The integration of membrane and affinity chromatography provides a number of advantages over traditional affinity chromatography with porous-bead packed columns, especially with regard to time and recovery of activity. This review gives detailed descriptions of materials used as membrane substrates, preparation of basic membranes, coupling of affinity ligands to membrane supports, and categories of affinity membrane cartridges. It also summarizes the applications of cellulose/glycidyl methacrylate composite membranes for proteins separation developed in our laboratory. (C) 2001 Elsevier Science B.V. All rights reserved.

Expression, purification and spectral characterization of p21(Waf1/Cip1)

p21(Waf1/Cip1), best known as a broad-specificity inhibitor of cyclin/cyclin-dependent kinase complexes, can interact with various target proteins, and this ability relies on its structural plasticity. Therefore, studies on the structural properties of p(21) are very important to understand its structure-function relationship. However, detailed studies on its secondary structure and biophysical properties have been comparatively sparse. A human p(21) gene was cloned into the temperature expression vector pBV220 and transformed into Escherichia coli strain JM109.

Purification, sequencing and biological activity of polypeptide from velvet antler

The velvet antler polypeptide CNT14 was extracted and purified by gel filtration, ion exchange chromatography and RP C, which showed a single peak in HPLC chromatography and a single band in SDS-PAGE. The molecular weight measured by MALDI/TOF/MS spectrum was 1479. 9028. The polypeptide consisted mostly of Glu, Leu, Val, Pro. The amino acid sequence of the polypeptide was detected with ESI-MS/ MS, and the sequence was E-P-T-V-L-D-E-V-C-L-A-H-G-P. The experiments of biological activity of polypeptide CNT14 in vivo were carried out, and the results show that CNT14 has stimulant effects on the growth of rat HT22 cells. Then we produced the polypeptide CNT14 according the amino acid sequence by solid phase synthesis, confirmed the sequence of the polypeptide to be consistent with the amino acid sequence of polypeptide CNT14 which was separated from the velvet antler.

Purification and structure identification of hyaluronic acid

Polysaccharide produced by mutated strain of Streptococcus zooepidemicus was purified by the procedures including Savage method, quaternary ammonium compound precipitation, DEAE-cellulose(DE52) chromatography and Sephadex G-75 gel filtration. The structure of the purified polysaccharide has been characterized by means of chemical composition analysis, C-13 NMR spectrum, infrared spectrum and circular dichroism (CD). All the results showed that the purified polysaccharide was hyaluronic acid (HA). The single helix conformation of the purified HA was determined by Congo red experiment. The molecular weight of the HA was about 1.16x10(6)D, which was measured by viscosity method.

Column chromatographic purification free synthesis of long-chain monodisperse oligo(1,4-phenyleneethynylene)s: towards large-scale automatic synthesis of molecular wires

A facile, mild and rapid solid phase synthetic route free of column chromatographic purification to the synthesis of soluble monodisperse long-chain oligo(1,4-phenyleneethynylene)s is presented.

Purification and characterization of L-amino acid oxidase from Agkistrodon blomhoffii ussurensis snake venom of Changbai Mountains

The L-a. a, oxidase of Agkistrodon blomhof fii ussurensis of Changbai Mountains in northeast of China has been separated by using ion-exchange and gel filtration techniques, This enzyme is composed of two subunits, the molecular weight of one subunit is about 36 000, the another is about 57 000, determined by sodium dodecyl sulfate-polyacryamide gel electrophoresis and matrix assisted laser desorption ion/time of flight mass spectrometry, The activity of L-a, a. oxidase determined using L-Leu as substrate. The optimal pH of the enzyme is 4. 5 similar to 5. 5 and 8 similar to 9. The UV-Visible absorption spectrum of L-a, a. oxidase shows the characteristics of flavor-proteins.

Purification of R-phycoerythrin from Porphyra haitanensis (Bangiales, Rhodophyta) using expanded-bed absorption

R-phycoerythrin (R-PE) was purified from leafy gametophyte of Porphyra haitanensis T. J. Chang et B. F. Zheng (Bangiales, Rhodophyta) by a simple, scaleable procedure. Initially, phycobiliproteins were extracted by repeated freeze-thaw cycles, resulting in release from the algal cells by osmotic shock. Next, R-PE was recovered by applying the crude extract with a high concentration of (NH4)(2)SO4 salt directly to the expanded-bed columns loaded with phenyl-sepharose. An expanded-bed volume twice the settled-bed volume was maintained; then low (NH4)(2)SO4 concentration was used to develop the column. After two rounds of hydrophobic interaction chromatography (HIC), R-PE was purified by anion-exchange column. The method was also successful with free-living conchocelis of P. haitanensis. The purified R-PE was identified with electrophoresis, and absorption and fluorescence emission spectroscopy. The results were in agreement with those previously reported. The yield with a spectroscopic purity (OD565/OD280) higher than 3.2 (the ratio of A(565)/A(620) <= 0.02) was 1.4 mg . g(-1) of leafy gametophyte of P. haitanensis. For the free-living conchocelis of P. haitanensis extract, R-PE could be purified successfully with only one round of HIC. The yield with a spectroscopic purity (OD565/OD280) higher than 3.2 (the ratio of A(565)/A(620) <= 0.02) was 5.0 mg . g(-1) of free-living conchocelis of P. haitanensis. The method described here is a scaleable technology that allows a large quantity of R-PE to be recovered from the unclarified P. haitanensis crude extract. It is also a high protein recovery technology, reducing both processing costs and times, which enhances the value of this endemic Porphyra of China.

Purification and characterization of the chitosanase from Aeromonas sp HG08

In this work, the characterization of a chitosanase-producing bacterium isolated from soil was reported and this strain was grouped under the genus Aeromonas by virtue of its morphological, physiological properties and 16S rDNA gene sequences. It is the first report that the genus Aeromonas could produce chitosanase. Aeromonas sp. HG08 could secrete the chitosanase ( named AsChi) with molecular weight of 70 kDa. The optimum pH and temperature of AsChi was 6.0 and 55 degrees C, respectively. The activity of AsChi was markedly enhanced by Mn2+ and inhibited by Fe3+, Cu2+, Ag+ and Hg2+; additionally, the activity of AsChi was increased with the degree of deacetylation ( DDA) of chitosan. Through viscosimetric assay, AsChi probably hydrolyzed chitosan in an endo-type fashion.