SCIENCE CHINA Information Sciences, Volume 55

Volume 55, Number 1, January 2012

Special Focus on Terahertz Science and Technology

• 
  Shenggang Liu, Weixin Xie:
  Editor's note. 1
• 
  Ping Tan, Jiang Huang, Kaifeng Liu, Yongqian Xiong, Mingwu Fan:
  Terahertz radiation sources based on free electron lasers and their applications. 1-15
• 
  Juncheng Cao:
  Research progress in terahertz quantum cascade lasers. 16-26
• 
  Jianquan Yao, Pengxiang Liu, Degang Xu, Yingjin Lv, Da Lv:
  THz source based on optical Cherenkov radiation. 27-34
• 
  Renbin Zhong, Jun Zhou, Weihao Liu, Shenggang Liu:
  Theoretical investigation of a terahertz transmission line in bipolar coordinate system. 35-42
• 
  Fei Du, Chun Li, Mulin Zhou, Weimin Wang, Luning Su, Yi Zheng, Xulei Ge, Yutong Li, Jinglong Ma, Xiaolong Liu, Lu Zhang, Zhengming Sheng, Liming Chen, Xin Lu, Quanli Dong, Zhaohua Wang, Zhiyi Wei, Jie Zhang:
  Angular distribution of terahertz emission from laser interactions with solid targets. 43-48
• 
  Weixin Xie, Jing Li, Jihong Pei:
  THz-TDS signal analysis and substance identification via the conformal split. 49-63
• 
  Yi Jiang, Biaobing Jin, Weiwei Xu, Lin Kang, Jian Chen, Peiheng Wu:
  Terahertz detectors based on superconducting hot electron bolometers. 64-71
• 
  Fei Fan, Shengjiang Chang, Yu Hou:
  Metallic photonic crystals for terahertz tunable filters. 72-78
• 
  Yongjin Zhou, Quan Jiang, Tiejun Cui:
  Three-dimensional subwavelength components utilizing THz surface plasmons. 79-89
• 
  Lei Rao, Dongxiao Yang:
  Surface electromagnetic modes contribution to the anomalous terahertz transmission through double-layered metal hole array. 90-97
• 
  Jinshu Wang, Xizhu Zhang, Wei Liu, Yiman Wang, Meiling Zhou, Tieyong Zuo:
  High current density Sc₂O₃-W matrix dispenser cathode. 98-105
• 
  Yu Hou, Fei Fan, Xianghui Wang, Guohua Zhao, Shengjiang Chang:
  Terahertz switch and polarization controller based on photonic crystal fiber. 106-113
• 
  Guozhong Zhao, He Wang, Liming Liu, Xiaoyan Wang:
  THz spectra of parabens at low temperature. 114-119
• 
  Shengcai Shi:
  Development of superconducting mixers for THz astronomy. 120-126
• 
  Liangliang Zhang, Hua Zhong, Dechong Zhu, Jian Zuo, Cunlin Zhang:
  Feature extraction without phase error for THz reflective spectroscopy. 127-132
• 
  Wei Li, Ning Li:
  A formal semantics for program debugging. 133-148
• 
  Yibao Bao, Lihua Yin, Binxing Fang, Li Guo:
  A novel logic-based automatic approach to constructing compliant security policies. 149-164
• 
  Harald Niederreiter, Michael Vielhaber, Li-Ping Wang:
  Improved results on the probabilistic theory of the joint linear complexity of multisequences. 165-170
• 
  Kai Chen, Dengguo Feng, Purui Su, Yingjun Zhang:
  Black-box testing based on colorful taint analysis. 171-183
• 
  Huarong Xu, Xiaodong Wang, Zhiqiang Zeng, Qiu Fang:
  Data classification from the inverse n^th power gravitation. 184-190
• 
  Nong Xiao, Yingjie Zhao, Fang Liu, Zhiguang Chen:
  Dual queues cache replacement algorithm based on sequentiality detection. 191-199
• 
  Pengnian Chen, Huashu Qin, Yong Wang, Yiguang Hong:
  Bifurcation stabilization of nonlinear systems by dynamic output feedback with application to rotating stall control. 200-213
• 
  Chonghui Song, Chunyuan Bian, Xie Zhang, Chenglong Shi:
  Numerical optimization method for HJI equations derived from robust receding horizon control schemes and controller design. 214-227
• 
  Shaocheng Tong, Chang-E Ren, Yongming Li:
  Adaptive fuzzy decentralized control for nonlinear large-scale systems based on high-gain observer. 228-242

Volume 55, Number 2, February 2012

• 
  Yueguan Lin, Bingchen Zhang, Hai Jiang, Wen Hong, Yirong Wu:
  Multi-channel SAR imaging based on distributed compressive sensing. 245-259
• 
  Chen Xu, Hui Liu, Wenming Cao, Jiqiang Feng:
  Multispectral image edge detection via Clifford gradient. 260-269
• 
  Yuan Feng, Ran Tao, Yue Wang:
  Modeling and characteristic analysis of underwater acoustic signal of the accelerating propeller. 270-280
• 
  Xiefeng Cheng, Yong Ma, Chen Liu, Xuejun Zhang, Yufeng Guo:
  Research on heart sound identification technology. 281-292
• 
  Liang Tao, Juan-juan Gu:
  Fast parallel algorithms for discrete Gabor expansion and transform based on multirate filtering. 293-300
• 
  Zhenhai Jing, Baoming Bai, Xiao Ma:
  Price-based interference avoidance game in the Gaussian interference channel. 301-311
• 
  You He, LiFang Hu, Xin Guan, Yong Deng, Deqiang Han:
  New method for measuring the degree of conflict among general basic probability assignments. 312-321
• 
  Wangyong Lv, Huiqi Wang, Hong Ma, Yongdao Zhou:
  A novel adaptive V-BLAST algorithm based on subspace tracking and Hermitian matrix perturbation theorem. 322-336
• 
  Yan Liu, Qisong Wu, Guangcai Sun, Mengdao Xing, Baochang Liu, Zheng Bao:
  Parameter estimation of moving targets in the SAR system with a low PRF sampling rate. 337-347
• 
  Pan-liang Deng, Yuanan Liu, Gang Xie, Xiaoyu Wang, Bihua Tang, Jianfeng Sun:
  Error exponents for two-hop Gaussian multiple source-destination relay channels. 348-359
• 
  Zhihao Liu, Hanwu Chen, Wenjie Liu, Juan Xu, Zhiqiang Li:
  Deterministic secure quantum communication without unitary operation based on high-dimensional entanglement swapping. 360-367
• 
  Huanyao Dai, XueSong Wang, Yong Liu, Yongzhen Li, Shunping Xiao:
  Novel research on main-lobe jamming polarization suppression technology. 368-376
• 
  Youhua Fu, Yujie Han, Lvxi Yang, Wei-Ping Zhu, Chen Liu:
  Asymptotic SEP of MIMO beamforming in two-hop AF relaying systems. 377-383
• 
  Wenjin Wang, Xiqi Gao, Xiaofu Wu, Xiaohu You, Chunming Zhao, Kai-Kit Wong:
  Dual-turbo receiver architecture for turbo coded MIMO-OFDM systems. 384-395
• 
  Zhiyuan Ren, Hailin Zhang:
  A novel distortion elimination method of power amplifier in wideband OFDM system. 396-406
• 
  Hongchao Hu, Yunfei Guo, Peng Yi, Julong Lan:
  Achieve load balancing with a dynamic re-routing CICQ switching scheme. 407-418
• 
  Lei Liu, Hongxiang Guo, Xiaobin Hong, Jian Wu, Jintong Lin:
  Dynamic call and connection admission control in automatically switched optical network for grid computing applications. 419-432
• 
  Fei Dang, Xiaolong Yang, Keping Long:
  Spray and forward: Efficient routing based on the Markov location prediction model for DTNs. 433-440
• 
  Xu Zhang, Weihua Pei, Beiju Huang, Ning Guan, Hongda Chen:
  A low-noise fully-differential CMOS preamplifier for neural recording applications. 441-452
• 
  Jiapeng Zheng, Wei Li, Xueqing Lu, Yuhua Cheng, Yangyuan Wang:
  A low power and small area all digital delay-locked loop based on ring oscillator architecture. 453-460
• 
  Xiaofang Hu, Shukai Duan, Lidan Wang, Xiaofeng Liao:
  Memristive crossbar array with applications in image processing. 461-472
• 
  BaoXing Duan, Yintang Yang:
  Breakdown voltage analysis for the new RESURF AlGaN/GaN HEMTs. 473-479
• 
  Ziyi Hu, Yong Zhao, Xin'an Wang, Ru Huang, Teng Wang, Xing Zhang:
  Theory and verification of operator design methodology. 480-490

Volume 55, Number 3, March 2012

• 
  Yang Wang, Zhongliang Jing, Shiqiang Hu, Hongjian Zhang, Jingjing Wu:
  On the sensor order in sequential integrated probability data association filter. 491-500
• 
  Feng Lian, Chongzhao Han, Weifeng Liu, Jing Liu, Xianghui Yuan:
  Joint spatial registration and multi-target tracking using an extended PM-CPHD filter. 501-511
• 
  Xiaojing Shen, Yingting Luo, Yunmin Zhu, Enbin Song:
  Globally optimal distributed Kalman filtering fusion. 512-529
• 
  Jian Xu, Jianxun Li, Sheng Xu:
  Data fusion for target tracking in wireless sensor networks using quantized innovations and Kalman filtering. 530-544
• 
  Yingting Luo, Xiaojing Shen, Yunmin Zhu:
  Integrated optimization methods in multisensor decision and estimation fusion. 545-550
• 
  Chenglin Wen, Xiaobin Xu, Haina Jiang, Zhe Zhou:
  A new DSmT combination rule in open frame of discernment and its application. 551-557
• 
  Deqiang Han, Yong Deng, Chongzhao Han, Yi Yang:
  Some notes on betting commitment distance in evidence theory. 558-565
• 
  Canlong Zhang, Zhongliang Jing, Bo Jin, Zhixin Li:
  A dual-kernel-based tracking approach for visual target. 566-576
• 
  Gang Xiao, Xiao Yun, Jianmin Wu:
  A multi-cue mean-shift target tracking approach based on fuzzified region dynamic image fusion. 577-589
• 
  Huaping Liu, Fuchun Sun:
  Fusion tracking in color and infrared images using joint sparse representation. 590-599
• 
  Xiaowu Chen, Qing Li, Xin Li, Qinping Zhao:
  Video motion stitching using trajectory and position similarities. 600-614
• 
  Zeming Zhou, Yuanxiang Li, Hanqing Shi, Ning Ma, Ji Shen:
  Pan-sharpening: a fast variational fusion approach. 615-625
• 
  Lu Cao, Xiaoqian Chen, Tao Sheng:
  An algorithm for high precision attitude determination when using low precision sensors. 626-637
• 
  Ting Deng, Jinpeng Huai, Tianyu Wo:
  Complexity of synthesis of composite service with correctness guarantee. 638-649
• 
  Yao Zhao, Rongrong Ni, Zhenfeng Zhu:
  RST transforms resistant image watermarking based on centroid and sector-shaped partition. 650-662
• 
  Dehao Chen, Wenguang Chen, Weimin Zheng:
  CUDA-Zero: a framework for porting shared memory GPU applications to multi-GPUs. 663-676
• 
  Yongxian Wang, Zhenghua Wang:
  A fast successive over-relaxation algorithm for force-directed network graph drawing. 677-688
• 
  Hongchao Hu, Yunfei Guo, Peng Yi, Julong Lan:
  Achieving fair service with a hybrid scheduling scheme for CICQ switches. 689-700
• 
  Zongben Xu, Yongquan Zhang, Feilong Cao:
  Estimation of convergence rate for multi-regression learning algorithm. 701-713
• 
  Guofu Feng, Wenzhong Li, Sanglu Lu, Daoxu Chen, Rajkumar Buyya:
  The optimization of replica distribution in the unstructured overlays. 714-722
• 
  Bingru Yang, Wu Qu, Lijun Wang, Ying Zhou:
  A new intelligent prediction system model-the compound pyramid model. 723-736

Volume 55, Number 4, April 2012

• 
  Hao Wen, Chuang Lin, Fengyuan Ren, Jia Zhou, Yao Yue, Xiaomeng Huang:
  Retransmission or redundancy: Transmission reliability study in wireless sensor networks. 737-746
• 
  Chen Yuan, Haibin Kan:
  A characterization of solvability for a class of networks. 747-754
• 
  Lei Wang, Ruizhong Wei, Zi Hong Tian:
  Cluster based node scheduling method for wireless sensor networks. 755-764
• 
  Pinyi Ren, Jia Feng, Yichen Wang:
  A directional MAC protocol with long-range communication ability in ad hoc networks. 765-777
• 
  Zhiyuan Ren, Ting Jiang, Yi Zhong, Chenglin Zhao:
  Data-aided synchronization algorithm dispensing with searching procedures for UWB communications. 778-788
• 
  Yue Xiao, Wenling Bai, Lilin Dan, Gang Wu, Shaoqian Li:
  Performance analysis of peak cancellation in OFDM systems. 789-794
• 
  Enjie Ding, Guopeng Zhang, Peng Liu, Kun Yang:
  Energy-efficient power allocation for selfish cooperative communication networks using bargaining game. 795-804
• 
  Yubo Li, Qinye Yin, Chen Wang:
  Beamforming based decode-and-forward cooperation via backward synchronization. 805-814
• 
  Junling Mao, Jinchun Gao, Yuanan Liu, Gang Xie, Jian Zhang:
  Robust multiuser MIMO scheduling algorithms with imperfect CSI. 815-826
• 
  Yan Zhou, Jianxun Li, Dongli Wang:
  Target tracking in wireless sensor networks using adaptive measurement quantization. 827-838
• 
  Min Huang, Xiang Chen, Shidong Zhou, Jing Wang:
  Per-layer transmit and receive filters design for Tomlinson-Harashima precoding in multiuser MIMO systems. 839-849
• 
  Kunyi Guo, Xinqing Sheng:
  Precise recognition of warhead and decoy based on components of micro-Doppler frequency curves. 850-856
• 
  Renbiao Wu, Chan Li, Dan Lu:
  Power minimization with derivative constraints for high dynamic GPS interference suppression. 857-866
• 
  Yong-Sheng Zhou, Wen Hong, Yanping Wang, Yirong Wu:
  Maximal effective baseline for polarimetric interferometric SAR forest height estimation. 867-876
• 
  Hongxian Wang, Yi Liang, Mengdao Xing, Shouhong Zhang:
  ISAR imaging via sparse frequency-stepped chirp signal. 877-888
• 
  Yong Fang, Jiaji Wu, Bormin Huang:
  2D sparse signal recovery via 2D orthogonal matching pursuit. 889-897
• 
  Wei Cui, Jing Tian, Siliang Wu:
  A tracking loop based on tightly coupled range and velocity filter equations. 898-910
• 
  Chao Wang, Huanguo Zhang, Lili Liu:
  Evolutionary cryptography theory based generating method for a secure Koblitz elliptic curve and its improvement by a hidden Markov models. 911-920
• 
  Mu Li, Bo Li, Jinpeng Huai:
  Reliability-aware automatic composition approach for web services. 921-937
• 
  Zuying Luo, Guoxing Zhao, Joseph A. Gordon, Sheldon X.-D. Tan:
  Localized relaxation theory of circuits and its applications in electro-thermal analyses. 938-950
• 
  Dedong Han, Yi Wang, Shengdong Zhang, Lei Sun, Ruqi Han, Satoru Matsumoto, Yuji Ino:
  Influence of sputtering power on properties of ZnO thin films fabricated by RF sputtering in room temperature. 951-955
• 
  Laiyun Ji, Jie Ma, Jun Sun, Lang Wang, Yanqi Li, Bin Liu:
  Design and performance of dual-band high temperature superconducting filter. 956-961
• 
  YongShun Wang, JingJing Feng, ChunJuan Liu, Ziting Wang, ZaiXing Wang, Caizhen Zhang:
  Improvements on voltage-resistant performance of bipolar static induction transistor (BSIT) with buried gate structure. 962-970
• 
  Zhongming Wang, Zhibin Yao, Hongxia Guo, Min Lv:
  Bitstream decoding and SEU-induced failure analysis in SRAM-based FPGAs. 971-982

Volume 55, Number 5, May 2012

Special Focus on Geometry Computing and Digital Media Processing (983-1105)

• 
  Lin Gao, Guo-Xin Zhang, Yu-Kun Lai:
  L p shape deformation. 983-993
• 
  Seunghoon Lee, Soonhung Han, Duhwan Mun:
  Integrated management of facility, process, and output: data model perspective. 994-1007
• 
  Yutaro Nemoto, Fumiya Akasaka, Ryosuke Chiba, Yoshiki Shimomura:
  Establishment of a function embodiment knowledge base for supporting service design. 1008-1018
• 
  Hyeon-deok Lee, Myeong-Jo Son, Min-jae Oh, Hyung-Woo Le, Tae Wan Kim:
  Development of a simple model for batch and boundary information updation for a similar ship's block model. 1019-1031
• 
  Ting Li, Xianjie Qiu, He Huang, Zhaoqi Wang:
  Strict constraints on 2D primitive pairs for engineering symbol recognition: Theory and application. 1032-1041
• 
  Yan Gao, Zhihua Chen, Mingang Chen, Yang Shen:
  An improved approach to the efficient construction of and search operations in motion graphs. 1042-1051
• 
  Xiaofeng Zhang, Caiming Zhang, Wenjing Tang, ZhenWen Wei:
  Medical image segmentation using improved FCM. 1052-1061
• 
  Yuanzhang Chang, Kai Bao, Jian Zhu, Enhua Wu:
  A particle-based method for granular flow simulation. 1062-1072
• 
  Xiao Lin, Bin Sheng, Lizhuang Ma, Yang Shen, Zhihua Chen:
  Seamlet carving for shape-aware image resizing. 1073-1081
• 
  Mingang Chen, BoCong Sui, Yan Gao, Lizhuang Ma:
  Efficient video cutout based on adaptive multilevel banded method. 1082-1092
• 
  Ping Li, Hanqiu Sun, Bin Sheng, Jianbing Shen:
  Image stylization with enhanced structure on GPU. 1093-1105
• 
  Yue Ma, Yuefei Sui, Cungen Cao:
  The correspondence between the concepts in description logics for contexts and formal concept analysis. 1106-1122
• 
  Shen Yang, Yue Qi, Hong Qin:
  Simultaneous structure and geometry detail completion based on interactive user sketches. 1123-1137
• 
  Hong Han, MingLei Tong, Zhichao Chen, YouJian Fan:
  Variable structure multiple model for articulated human motion tracking from monocular video sequences. 1138-1150
• 
  Lin Dong, Daoshun Wang, Shundong Li, Yiqi Dai:
  (2, n) secret sharing scheme for gray and color images based on Boolean operation. 1151-1161
• 
  Ruming Yin, Jian Wang, Jian Yuan, Xiuming Shan, Xiqin Wang:
  Weak key analysis for chaotic cipher based on randomness properties. 1162-1171
• 
  Chunming Tang, Shuhong Gao:
  Leakproof secret sharing protocols with applications to group identification scheme. 1172-1185
• 
  Cheng Zhang, Jianxin Liao, Tonghong Li, Xiaomin Zhu:
  Probabilistic fault localization with sliding windows. 1186-1200
• 
  Wen-Xiao Zhao, Han-Fu Chen:
  Markov chain approach to identifying Wiener systems. 1201-1217
• 
  Renming Yang, Yuzhen Wang:
  Stability for a class of nonlinear time-delay systems via Hamiltonian functional method. 1218-1228

Volume 55, Number 6, June 2012

• 
  Jin-Li Suo, Xiangyang Ji, Qionghai Dai:
  An overview of computational photography. 1229-1248
• 
  WeiRen Wu, Yong Liu, Lei Liu, Jianliang Zhou, Geshi Tang, YongZhi Chen:
  Pre-LOI trajectory maneuvers of the CHANG′E-2 libration point mission. 1249-1258
• 
  Renbiao Wu, QiongQiong Jia, Hai Li:
  A novel STAP method for the detection of fast air moving targets from high speed platform. 1259-1269
• 
  Jun Shi, Naitong Zhang, Xiaoping Liu:
  A novel fractional wavelet transform and its applications. 1270-1279
• 
  Haiming Qi, Bin Hua, Xin Li, Weidong Yu, Wen Hong:
  A universal adaptive vector quantization algorithm for space-borne SAR raw data. 1280-1289
• 
  Xiaofei Shuai, Lingjiang Kong, Jianyu Yang:
  Adaptive detection for distributed targets in Gaussian noise with Rao and Wald tests. 1290-1300
• 
  Feng Liu, Huifa Xu, Ran Tao, Yue Wang:
  Research on resolution between multi-component LFM signals in the fractional Fourier domain. 1301-1312
• 
  Fengqi Yao, Feiqi Deng:
  Stability of impulsive stochastic functional differential systems in terms of two measures via comparison approach. 1313-1322
• 
  Shaoliang Peng, Shanshan Li, Xiangke Liao, Yuxing Peng, Nong Xiao:
  A scalable code dissemination protocol in heterogeneous wireless sensor networks. 1323-1336
• 
  Jinzhao Su, Jing Cao, Wei Wu:
  Gray physical interference model based link scheduling algorithms. 1337-1350
• 
  Dan Chen, Jiandong Li, Changle Li:
  Transmission scheduling algorithm for MIMO link ad hoc networks. 1351-1359
• 
  Xiaofeng Lu, Don Towsley, Pietro Liò, Zhang Xiong:
  An adaptive directional MAC protocol for ad hoc networks using directional antennas. 1360-1371
•