Search results

[2] Haicheng Yang, Guoning Qi.Manufacturing informatization technology development trend[J].
[9] Feng Tian.

(in Chinese) [4] Ligong Chen，Junxiu Dong，Guoxu Chen．Tribology, Vol.16(1996),p.247(in Chinese) [5] Yujie Feng , Yan Tian, Xiaojun Sun.Journal of the Chinese Rare Earth Society,Vol.20(2002),p.207 (in Chinese) [6] LvXi Chen, ZhankunYang, Minggui Xie.
Chemical Research and Application,Vol.1( 2001),p560 (inChinese) [8] Sugiyama K，Yoshimura D，Miyamac T．Appl Phys Lett，Vol.83(1998)，p4928 [9] JunPeng Shi,ZhenChao Wen, ChangAn Song et al. , Journal of Semiconductors ,Vol.26 (2005), p1979 (in Chinese) [10] Chi-biao Liu, Yong-kui Shan，Xiang-guang Yang ，et a1．Journal of Catalysis，Vol.168 (1997)，p.35

Chinese Fiber Plant Fiber and products, Vol.24(2002), p.22–24 [7] Quangling Yang, Ang Lue, Lina Zhang.
Tian Xin.

[3] LI Wuzhong, TIAN Wenguang, SUN Bin, et al. 2008.
[5] WEI Yuanjiang, WANG Yonghua, YANG Qi, et al. 2008.

[4] X.Zh.Wang, T.C.Zhao and Y.Zh.Tian: Safety Evaluation (Coal Industry Press, Beijing 2004, in Chinese)
[5] K.R.Yang and Q.D.Yin: OIL & GAS STRORAGE AND TRANSPORATION.

Tian, H.
Yang, X.

[3] Zhu Huajun, Tian Zhihong, Han Lujia, Wang Maohua Dependence of agricultural mechanization on financial investment[J].Transactions of Chinese Society of Agricultural Engineering,Vol.3,pp.273-278,Dec.,2007
[4] Yang Min-li, Bai Ren-piao.

[3] Xinghua Yang, Changlu Shao, Hongyu Guan, et al., Inrog.
[13] Wei Tian , Tianyou Zhai , Chao Zhang Adv.

Network security technology and application, 3:25-27, 2010 [6] W Zhu, Q Zhou, W Yang, et al, A Novel Algorithm for Intrusion Detection Based on RASL Model Checking, mathematical problems in engineering, vol. 2013, Article ID 621203, 10 pages, 2013.
[9] Z Duan, C Tian, L Zhang， A decision procedure for propositional projection temporal logic with infinite models, Acta Informatica, 45(1):43-78, 2008 [10] Z Duan, Temporal Logic and Temporal Logic Programming, Beijing: Science Press, 2005.

References [1] HUANG Bao-tian, Chen Dong-yin.
[3] HUANG Wei, YANG Gang, SONG Run-quan , ZHUANG Qi-heng.