Hoctor R, Tomlinson H. Delay-hopped transmitted-reference RF communications//Proceedings of the IEEE Conference on Ultra-Wideband Systems and Technologies. Baltimore: , 2002: 265-270.
Zhang Jian, Hu Hanying, Liu Luokun, et al. Code-orthogonalized transmitted-reference ultra-wideband (UWB) wireless communication system//Proceedings of International Conference on Wireless Communications, Networking and Mobile Computing. Shanghai: , 2007: 528-532.
[4]
Winkler M R. Chirp signals for communications //1962 IEEE WESCON Convention Record. : IEEE Press, 1962, 14(2): 113-115.
[5]
Koike Y, Ishii S, Kohno R. Chirp UWB system with software defined receiver for industrial mobile ranging and autonomous control// 2004 IEEE Conference on Ultra-Wideband Systems and Technologies. Chiba: IEEE Press, 2004: 381-385.
[6]
Zhang Peng, Liu Hao. An ultra-wide band system with chirp spread spectrum transmission technique //2006 International Conference on ITS Telecommunications. Chengdu: IEEE Press, 2006: 294-297.
[7]
Liu Hao. Multicode ultra-wideband scheme using chirp waveforms [J]. IEEE Journal on Selected Areas in Communication, 2006, 24(4): 885-891.
[8]
Zhang Jian, Hu Hanying, Zhang Zhiyuan, et al. Chirp frequency-translated reference ultra-wideband (UWB) wireless communication system //2008 International Conference on Wireless Communications, Networking and Mobile Computing. Dalian: IEEE Press, 2004: 1-4. (上接第106页)
[9]
Cousot P, Cousot R, Feret J, et al. The astree analyser//ESOP 2005. Edinburgh: LNCS, 2005: 21-30.
[10]
Cousot P, Cousot R, Feret J, et al. Varieties of static analyzers: a comparison with ASTREE//TASE 2007. Shanghai: IEEE, 2007: 3-17.
[11]
Flanagan C, Leino K R M, Lillibridge M. Extended static checking for Java//PLDI 2002. Berlin: ACM, 2002: 234-245.
[12]
Aho A V, Sethi R, Ullman J D. Compilers: principles, techniques, and tools [M]. 北京: 人民邮电出版社, 2002: 608-633.
[13]
杨朝红, 宫云战, 肖庆. 基于缺陷模式的软件测试中的区间运算应用 [J]. 计算机辅助设计与图形学学报, 2008, 20(12): 1-6. Yang Zhaohong, Gong Yunzhan, Xiao Qing. The application of interval computation in software testing based on defect patterns [J]. Journal of Computer-Aided Design & Computer Graphics, 2008, 20(12): 1-6.
[14]
王雅文, 宫云战, 肖庆. 扩展区间运算的变量值范围分析技术[J]. 北京邮电大学学报, 2009, 32(3): 36-41. Wang Yawen, Gong Yunzhan, Xiao Qing. Variable range analysis based on interval computation[J]. Journal of Beijing University of Posts and Telecommunications, 2009, 32(3): 36-41.
