The contents ofMg, Al, Si, Ti, Cr, Mn, Fe, Co, Cu, Ga, As, Se, Cd, Sb, Pb and Bi in high purity nickel were determined by high resolution inductively coupled plasma mass spectrometry （HR-ICP-MS）. The sample was diss...The contents ofMg, Al, Si, Ti, Cr, Mn, Fe, Co, Cu, Ga, As, Se, Cd, Sb, Pb and Bi in high purity nickel were determined by high resolution inductively coupled plasma mass spectrometry （HR-ICP-MS）. The sample was dissolved in HNO3 and HCI by microwave digestion. Most of the spectral interferences could be avoided by measuring in the high resolution mode. The matrix effects because of the presence of excess HC1 and nickel were evaluated. Correction for matrix effects was made using Sc, Rh and T1 as internal standards. The optimum conditions for the determination were tested and discussed. The detection limits range from 0.012 to 1.76 ~tg/g depending on the type of elements. The applicability of the proposed method is also validated by the analysis of high purity nickel reference material （NIST SRM 671）. The relative standard deviation （RSD） is less than 3.3%. Results for determination of trace elements in high purity nickel were presented.展开更多
This paper is focused on automated reasoning based on classical propositional logic and lattice valued propositional logic LP(X) . A new method of automated reasoning is given, and the soundness and completeness...This paper is focused on automated reasoning based on classical propositional logic and lattice valued propositional logic LP(X) . A new method of automated reasoning is given, and the soundness and completeness theorems of this method are proved.展开更多
An SPECT system dedicated to small animal imaging shall be of a millimeter spatial resolution or even better.This study was aimed at achieving 0.5-mm spatial resolution for a small animal SPECT system at low cost.It w...An SPECT system dedicated to small animal imaging shall be of a millimeter spatial resolution or even better.This study was aimed at achieving 0.5-mm spatial resolution for a small animal SPECT system at low cost.It was developed from a single-head clinical SPECT scanner,with a seven-pinhole collimator and a four-degree-offreedom motion control stage.Several key techniques were developed,including high-resolution image reconstruction algorithm,high accuracy geometrical calibration method,and optimized system matrix derivation scheme.The system matrix was derived from Monte-Carlo simulation and de-noised by fitting each point spread function to a two dimensional Gaussian function.Experiments of point source and ultra micro hot rod phantom were conducted.With a spatial resolution of 0.5-0.6 mm,this system provides a practical way for low-cost high-resolution animal imaging on a clinic SPECT system.展开更多
基金Project(21075138) supported by the National Natural Science Foundation of ChinaProject(cstc2011jjA0780) supported by Natural Science Foundation of Chongqing City,ChinaProject(KJ121311) supported by Educational Commission of Chongqing City of China
文摘The contents ofMg, Al, Si, Ti, Cr, Mn, Fe, Co, Cu, Ga, As, Se, Cd, Sb, Pb and Bi in high purity nickel were determined by high resolution inductively coupled plasma mass spectrometry （HR-ICP-MS）. The sample was dissolved in HNO3 and HCI by microwave digestion. Most of the spectral interferences could be avoided by measuring in the high resolution mode. The matrix effects because of the presence of excess HC1 and nickel were evaluated. Correction for matrix effects was made using Sc, Rh and T1 as internal standards. The optimum conditions for the determination were tested and discussed. The detection limits range from 0.012 to 1.76 ~tg/g depending on the type of elements. The applicability of the proposed method is also validated by the analysis of high purity nickel reference material （NIST SRM 671）. The relative standard deviation （RSD） is less than 3.3%. Results for determination of trace elements in high purity nickel were presented.
基金theNationalNaturalScienceFoundationofChina (No .60 0 740 1 4)
文摘This paper is focused on automated reasoning based on classical propositional logic and lattice valued propositional logic LP(X) . A new method of automated reasoning is given, and the soundness and completeness theorems of this method are proved.
基金Supported by Specialized Research Fund for the Doctoral Program of Higher Education(SRFDP200800031071)National Natural Science Foundation of China (No.10975086)the National High Technology Research and Development Program of China(No.2006AA020802)
文摘An SPECT system dedicated to small animal imaging shall be of a millimeter spatial resolution or even better.This study was aimed at achieving 0.5-mm spatial resolution for a small animal SPECT system at low cost.It was developed from a single-head clinical SPECT scanner,with a seven-pinhole collimator and a four-degree-offreedom motion control stage.Several key techniques were developed,including high-resolution image reconstruction algorithm,high accuracy geometrical calibration method,and optimized system matrix derivation scheme.The system matrix was derived from Monte-Carlo simulation and de-noised by fitting each point spread function to a two dimensional Gaussian function.Experiments of point source and ultra micro hot rod phantom were conducted.With a spatial resolution of 0.5-0.6 mm,this system provides a practical way for low-cost high-resolution animal imaging on a clinic SPECT system.
