Journal: Science in China Series F: Information Sciences

Volume 55, Issue 9

1925 -- 1934Xiongjun Wu, Zongli Lin. Design of multiple anti-windup loops for multiple activations
1935 -- 1948Tengjiao Wang, Ziyu Lin, Bishan Yang, Jun Gao, Allen Huang, Dongqing Yang, Qi Zhang, Shiwei Tang, Jinzhong Niu. MBA: A market-based approach to data allocation and dynamic migration for cloud database
1949 -- 1960Feng Liu, Qingping Tan, Otmane Aït Mohamed. Formal proof of integer adders using all-prefix-sums operation
1961 -- 1971Xuejun Yang, Tao Tang, Guibin Wang, Jia Jia, Xinhai Xu. MPtostream: an OpenMP compiler for CPU-GPU heterogeneous parallel systems
1972 -- 1982Lei Wang, Zheng Wang, Chen Yang, Li Zhang. Evolution and stability of Linux kernels based on complex networks
1983 -- 2007Jianwen Tao, Fu-Lai Chung, Shitong Wang. A kernel learning framework for domain adaptation learning
2008 -- 2030Zhihong Deng, Zhonghui Wang, Jia-Jian Jiang. A new algorithm for fast mining frequent itemsets using N-lists
2031 -- 2043Weien Chen, Yongzhi Cao, Hanpin Wang. Behavioural equivalences of a probabilistic pi-calculus
2044 -- 2055Huixian Shi, Guojun Wang. Maximal contractions in Boolean algebras
2056 -- 2074Jing Li, Junzheng Wang, Shou-kun Wang, Liling Ma, Wei Shen. Dynamic image stabilization precision test system based on the Hessian matrix
2075 -- 2089Yongwei Miao, Jonas Bösch, Renato Pajarola, M. Gopi, Jieqing Feng. Feature sensitive re-sampling of point set surfaces with Gaussian spheres
2090 -- 2101Lin Zhang, Zhong Zhou, Lin Liu 0001, Wei Wu. Displacement residual based DDM matching algorithm
2102 -- 2108Li Wang, Jiansheng Chen, Jinping He, Guangda Su. High-speed reconstruction for ultra-low resolution faces
2109 -- 2118Hui Zhang, Lizhi Cheng, Jianping Li. Reweighted minimization model for MR image reconstruction with split Bregman method
2119 -- 2127Haijiang Zhu, Ping Yang, Shigang Li. Estimating fisheye camera parameters from homography
2128 -- 2138Chenglin Wen, Aibing Qiu, Bin Jiang. An output delay approach to fault estimation for sampled-data systems
2139 -- 2148Changji Wang. A provable secure fuzzy identity based signature scheme
2149 -- 2160Yang Yang, Guang Zeng, Chenghui Jin, Yunying Qu. New application methods for word-oriented cryptographic primitives
2161 -- 2170Bin Zhang 0015, Chenhui Jin. Practical security against linear cryptanalysis for SMS4-like ciphers with SP round function

Volume 55, Issue 8

1721 -- 0Yirong Wu. Editor's note
1722 -- 1754Bingchen Zhang, Wen Hong, Yirong Wu. Sparse microwave imaging: Principles and applications
1755 -- 1775Jinshan Zeng, Jian Fang, ZongBen Xu. Sparse SAR imaging based on L 1/2 regularization
1776 -- 1788Chenxi Hu, Yimin Liu, Gang Li, Xiqin Wang. Improved FOCUSS method for reconstruction of cluster structured sparse signals in radar imaging
1789 -- 1800Hongxia Bu, Xia Bai, Ran Tao. Compressed sensing SAR imaging based on sparse representation in fractional Fourier domain
1801 -- 1815Chenglong Jiang, Bingchen Zhang, Zhe Zhang, Wen Hong, Yirong Wu. Experimental results and analysis of sparse microwave imaging from spaceborne radar raw data
1816 -- 1829Huaping Xu, Yanan You, Chunsheng Li, Lvqian Zhang. Spotlight SAR sparse sampling and imaging method based on compressive sensing
1830 -- 1837Ze Yu, Min Liu. Suppressing azimuth ambiguity in spaceborne SAR images based on compressed sensing
1838 -- 1851Jian Fang, Jinshan Zeng, ZongBen Xu, Yao Zhao. Efficient DPCA SAR imaging with fast iterative spectrum reconstruction method
1852 -- 1859Cao Zeng, Minhang Wang, Guisheng Liao, Shengqi Zhu. Sparse synthetic aperture radar imaging with optimized azimuthal aperture
1860 -- 1875Gang Xu, Jialian Sheng, Lei Zhang 0019, Mengdao Xing. Performance improvement in multi-ship imaging for ScanSAR based on sparse representation
1876 -- 1887Jinping Sun, Yuxi Zhang, Jihua Tian, Jun Wang. A novel spaceborne SAR wide-swath imaging approach based on Poisson disk-like nonuniform sampling and compressive sensing
1888 -- 1897Yuan Chen, Rong Zhang, Dong Yin. Multi-polarimetric SAR image compression based on sparse representation
1898 -- 1909Jialian Sheng, Lei Zhang 0019, Gang Xu, Mengdao Xing, Zheng Bao. Coherent processing for ISAR imaging with sparse apertures
1910 -- 1924Feng Zhu, Qun Zhang, Ying Luo, Kai-ming Li, Fufei Gu. A novel cognitive ISAR imaging method with random stepped frequency chirp signal

Volume 55, Issue 7

1475 -- 1492Guoqiang Zhang, Mingdong Tang, Suqi Cheng, Guoqing Zhang, Haibin Song, Jiguang Cao, Jing Yang 0001. P2P traffic optimization
1493 -- 1508Feng Huang, Xicheng Lu, Dongsheng Li, Yiming Zhang. SCautz: a high performance and fault-tolerant datacenter network for modular datacenters
1509 -- 1519Xu Zhao, Zhong Zhou, Wei Wu. Radiance-based color calibration for image-based modeling with multiple cameras
1520 -- 1527Shijun Xiang, Jianquan Yang, Jiwu Huang. Perceptual video hashing robust against geometric distortions
1528 -- 1540Cheng Cheng, Ru Jiang, Xuemei Dong. Human knowledge acquisition from 3D interaction in virtual environments
1541 -- 1550Hongjiang Xiao, Xiangyang Ji, Qionghai Dai. Relay-assisted hierarchical adaptation scheme for multi-user scalable video delivery to heterogeneous mobile devices
1551 -- 1562Liwei Wang, Xiaocheng Deng, Zhaoxiang Jing, Jufu Feng. Further results on the margin explanation of boosting: new algorithm and experiments
1563 -- 1578Xiang-Hai Wang, Mingying Chen, Chuanming Song, Mengchun Xu, Lingling Fang. Contourlet HMT model with directional feature
1579 -- 1587Yang Lu, Juan Yang, Qiang Wang, ZhenJin Huang. The upper bound of the minimal number of hidden neurons for the parity problem in binary neural networks
1588 -- 1604Ming Tang, Zhenlong Qiu, Si Gao, Mu Yi, Shubo Liu, Huanguo Zhang, Yingzhen Jin. Polar differential power attacks and evaluation
1605 -- 1616Wenjie Wang, Hongyan Jiang, Xiang-Gen Xia, Pengcheng Mu, Qinye Yin. A wireless secret key generation method based on Chinese remainder theorem in FDD systems
1617 -- 1623Jie Zhang, ShouChao Song, Jiao Du, Qiaoyan Wen. On the construction of multi-output Boolean functions with optimal algebraic immunity
1624 -- 1630YeFeng He, Wenping Ma, Parminder Kang. On semi-bent functions with Niho exponents
1631 -- 1638Yongtao Wang, Kefei Chen, Yu Long, Zhaohui Liu. Accountable authority key policy attribute-based encryption
1639 -- 1649Yan Zhu, Mengyang Yu, Hongxin Hu, Gail-Joon Ahn, Hong-Jia Zhao. Efficient construction of provably secure steganography under ordinary covert channels
1650 -- 1665Conghua Zhou, Zhifeng Liu, HaiLing Wu, Song Chen, Shiguang Ju. Symbolic algorithmic verification of intransitive generalized noninterference
1666 -- 1674Hui Li, Chuankun Wu. CMQV+: An authenticated key exchange protocol from CMQV
1675 -- 1692T. John Koo, Rongqing Li, Michael Melholt Quottrup, Charles A. Clifton, Roozbeh Izadi-Zamanabadi, Thomas Bak. A framework for multi-robot motion planning from temporal logic specifications
1693 -- 1703Rongxin Cui, Weisheng Yan, Demin Xu. Synchronization of multiple autonomous underwater vehicles without velocity measurements
1704 -- 1714Shengping Li, YingHui Fan. An adaptive control with optimal disturbances rejection
1715 -- 1720Dengping Wei, Ting Wang, Ji Wang. A logistic regression model for Semantic Web service matchmaking

Volume 55, Issue 6

1229 -- 1248Jin-Li Suo, Xiangyang Ji, Qionghai Dai. An overview of computational photography
1249 -- 1258Weiren Wu, Yong Liu, Lei Liu, Jianliang Zhou, Geshi Tang, Yongzhi Chen. Pre-LOI trajectory maneuvers of the CHANG′E-2 libration point mission
1259 -- 1269Renbiao Wu, QiongQiong Jia, Hai Li. A novel STAP method for the detection of fast air moving targets from high speed platform
1270 -- 1279Jun Shi, Naitong Zhang, Xiaoping Liu. A novel fractional wavelet transform and its applications
1280 -- 1289Haiming Qi, Bin Hua, Xin Li, Weidong Yu, Wen Hong. A universal adaptive vector quantization algorithm for space-borne SAR raw data
1290 -- 1300Xiaofei Shuai, Lingjiang Kong, Jianyu Yang. Adaptive detection for distributed targets in Gaussian noise with Rao and Wald tests
1301 -- 1312Feng Liu, Huifa Xu, Ran Tao, Yue Wang 0001. Research on resolution between multi-component LFM signals in the fractional Fourier domain
1313 -- 1322Fengqi Yao, Feiqi Deng. Stability of impulsive stochastic functional differential systems in terms of two measures via comparison approach
1323 -- 1336Shaoliang Peng, Shanshan Li, Xiangke Liao, Yuxing Peng, Nong Xiao. A scalable code dissemination protocol in heterogeneous wireless sensor networks
1337 -- 1350Jinzhao Su, Jing Cao, Wei Wu. Gray physical interference model based link scheduling algorithms
1351 -- 1359Dan Chen, Jiandong Li, Changle Li. Transmission scheduling algorithm for MIMO link ad hoc networks
1360 -- 1371Xiaofeng Lu, Don Towsley, Pietro Liò, Zhang Xiong. An adaptive directional MAC protocol for ad hoc networks using directional antennas
1372 -- 1387Qimei Cui, Xueqing Huang, Bing Luo, Xiaofeng Tao, Jun Jiang. Capacity analysis and optimal power allocation for coordinated transmission in MIMO-OFDM systems
1388 -- 1396Zhong Chen, Xianda Zhang, Lanjuan Yang. Optimal MAC based cooperative spectrum sensing in cognitive radio networks
1397 -- 1401Bin Sheng, Xiaohu You. Blind estimation of multipath delays in OFDM systems
1402 -- 1414Qunhuan Wang, Huiming Wang, Qinye Yin. Optimal user scheduling and power control in multi-user cognitive broadcast systems
1415 -- 1428Zhiqun Li, Lili Chen, Wei Li, Li Zhang. A 12×10 Gb/s fully integrated CMOS parallel optical receiver front-end amplifier array
1429 -- 1435Ning Guan, Xu Zhang, Bo Liu, Zan Dong, Beiju Huang, Yun-gui, Jianqiang Han, Yuan Wang, Zanyun Zhang, Hongda Chen 0002. CMOS image sensor with optimal video sampling scheme
1436 -- 1440Qingxin Chu, Xukun Tian. Design of UWB bandpass filter with dual notched bands
1441 -- 1445Dedong Han, Yi Wang, Shengdong Zhang, Lei Sun, Ruqi Han, Satoru Matsumoto, Yuji Ino. Fabrication and characteristics of ZnO thin films deposited by RF sputtering on plastic substrates for flexible display
1446 -- 1460Shukai Duan, Xiaofang Hu, Lidan Wang, Chuandong Li, Pinaki Mazumder. Memristor-based RRAM with applications
1461 -- 1468Junrui Qin, Shuming Chen, Biwei Liu, Bin Liang, Jianjun Chen. Device-physics-based analytical model for SET pulse in sub-100 nm bulk CMOS Process
1469 -- 1474Le Wang, Ke Wu, Qianmin Dong, Xiaoyan Li, Siyu Xiong, Leiting Xu, Pei Liang. Effect of surface passivation on optical and electronic properties of ultrathin silicon nanosheets

Volume 55, Issue 5

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

Volume 55, Issue 4

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

Volume 55, Issue 3

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

Volume 55, Issue 2

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

Volume 55, Issue 12

2663 -- 2674Minxue Pan, You Li, Lei Bu, Xuandong Li. Loop reduction techniques for reachability analysis of linear hybrid automata
2675 -- 2693Mengfei Yang, Zheng Wang, Geguang Pu, Shengchao Qin, Bin Gu, Jifeng He. The stochastic semantics and verification for periodic control systems
2694 -- 2707Alexandre David, Dehui Du, Kim G. Larsen, Marius Mikucionis, Arne Skou. An evaluation framework for energy aware buildings using statistical model checking
2708 -- 2722Ziyou Wang, Minghui Zhou, Hong Mei. Towards a degradation-based mechanism for adaptive overload control
2723 -- 2737Wei Dong, Changzhi Zhao, Shaoxian Shu, Martin Leucker. Anticipatory active monitoring for safety- and security-critical software
2738 -- 2756Jianmin Jiang, Shi Zhang, Ping Gong, Zhong Hong, Houguang Yue. Modeling and analyzing mixed communications in service-oriented trustworthy software
2757 -- 2773Haibo Mi, Huaimin Wang, Yangfan Zhou, Michael R. Lyu, Hua Cai. Localizing root causes of performance anomalies in cloud computing systems by analyzing request trace logs
2774 -- 2784Yanxiang He, Wei Wu, Yong Chen. An efficient method for detecting concurrency errors in object-oriented programs
2785 -- 2799Yuhua Qi, Xiaoguang Mao, Yanjun Wen, Ziying Dai, Bin Gu. More efficient automatic repair of large-scale programs using weak recompilation
2800 -- 2815Yuming Zhou, Hareton Leung, Qinbao Song, Jianjun Zhao, Hongmin Lu, Lin Chen, Baowen Xu. An in-depth investigation into the relationships between structural metrics and unit testability in object-oriented systems
2816 -- 2825Qinghua Zheng, Zhijiang Ou, Ting Liu, Zijiang Yang, Yuqiao Hou, Chao Zheng. Software structure evaluation based on the interaction and encapsulation of methods
2826 -- 2840Chunrong Fang, Zhenyu Chen, Baowen Xu. Comparing logic coverage criteria on test case prioritization
2841 -- 2848Qiulei Dong, Zhaopeng Gu, Zhanyi Hu. Automatic real-time SLAM relocalization based on a hierarchical bipartite graph model
2849 -- 2864Shihong Yue, Teresa Wu, Lijun Cui, Huaxiang Wang. Clustering mechanism for electric tomography imaging
2865 -- 2880Haikun Liu, Hai Jin, Xiaofei Liao, Bo Ma, Cheng-Zhong Xu. VMckpt: lightweight and live virtual machine checkpointing
2881 -- 2887Ning Li, XinWei Zha, Qian Lan. Secure quantum report with authentication based on six-particle cluster state and entanglement swapping
2888 -- 2898Xiaofeng Ai, Xiaohai Zou, YongZhen Li, Jianhua Yang, ShunPing Xiao. Bistatic scattering centres of cone-shaped targets and target length estimation
2899 -- 2907Fuping Sun, Shuai Liu, Xinhui Zhu, Baohong Men. Research and progress of Beidou satellite navigation system
2908 -- 2914Zhang Xiong, Hao Sheng, Wenge Rong, Dave E. Cooper. Intelligent transportation systems for smart cities: a progress review

Volume 55, Issue 11

2417 -- 2427Wei Liang, Yuming Shi, Chi K. Tse, Yanli Wang. Study on co-occurrence character networks from Chinese essays in different periods
2428 -- 2444Wenfeng Zhao, Chuanchang Liu, Junliang Chen. Automatic composition of information-providing web services based on query rewriting
2445 -- 2453Chen Yuan, Haibin Kan, Xin Wang, Hideki Imai. A construction method of matroidal networks
2454 -- 2465Guoqiang Zhang, Guoqing Zhang. Communication network designing: Transmission capacity, cost and scalability
2466 -- 2472Wenqi Huang, Tao Ye, Duanbing Chen. Corner occupying theorem for the two-dimensional integral rectangle packing problem
2473 -- 2484Hongda Li, Dengguo Feng, Bao Li, Haixia Xue. Round-optimal zero-knowledge proofs of knowledge for NP
2485 -- 2494Jing Zhao, Chongzhao Han, Bin Wei. Binary particle swarm optimization with multiple evolutionary strategies
2495 -- 2507Zibao Lu, Ge Guo. Communications and control co-design: a combined dynamic-static scheduling approach
2508 -- 2520Xiao Zhang, Wei Li, Zhiming Zheng, BingHui Guo. Optimized statistical analysis of software trustworthiness attributes
2521 -- 2529Wenying Zhang, Yanyan Li, Lei Wu. A new one-bit difference collision attack on HAVAL-128
2530 -- 2541Taek-Young Youn, Dowon Hong. Signcryption with fast online signing and short signcryptext for secure and private mobile communication
2542 -- 2554Jikai Teng, Chuankun Wu, Chunming Tang. An ID-based authenticated dynamic group key agreement with optimal round
2555 -- 2569Ming Tang, Zhenlong Qiu, Min Yang, Pingpan Cheng, Si Gao, Shubo Liu, Qingshu Meng. Evolutionary ciphers against differential power analysis and differential fault analysis
2570 -- 2581Yong Zhang, Zhe-Ming Lu, Dongning Zhao. An oblivious fragile watermarking scheme for images utilizing edge transitions in BTC bitmaps
2582 -- 2589Hai Zhang, Yong Liang, HaiLiang Gou, ZongBen Xu. The essential ability of sparse reconstruction of different compressive sensing strategies
2590 -- 2603Ying Luo, Qun Zhang, Wen Hong, Yirong Wu. Waveform design and high-resolution imaging of cognitive radar based on compressive sensing
2604 -- 2610Feng Shu, Junhui Zhao, Xiaohu You, Michael Mao Wang, Qian Chen, Stevan M. Berber. An efficient sparse channel estimator combining time-domain LS and iterative shrinkage for OFDM systems with IQ-imbalances
2611 -- 2623Mingtao Ding, Zi Jin, Zheng Tian, Xifa Duan, Wei Zhao, LiJuan Yang. Object registration for remote sensing images using robust kernel pattern vectors
2624 -- 2634Zelong Zhang, Fuliang Xiao, Yihua He, Zhaoguo He, Chang Yang, Xiaoping Zhou, Lijun Tang. Quasi-linear modeling of gyroresonance between different MLT chorus and geostationary orbit electrons
2635 -- 2645Yuwei Wu, Bo Ma, Pei Li. A variational method for contour tracking via covariance matching
2646 -- 2655Yongjian Nian, JianWei Wan, Yi Tang, Bo Chen. Near lossless compression of hyperspectral images based on distributed source coding
2656 -- 2662Yingmei Chen, Hui Wang, Shuangchao Yan, Li Zhang. A 10 GHz multiphase LC VCO with a ring capacitive coupling structure

Volume 55, Issue 10

2171 -- 2182Jiaju She, Shanzhi Chen, Bo Hu, Yingmin Wang, Xin Su. Practical conditions of signal space alignment for generalized MIMO Y channel
2183 -- 2193Huanfei Ma, Haibin Kan. A new scheme of digital communication using chaotic signals in MIMO channels
2194 -- 2206Bo Bai, Baoming Bai, Xiao Ma. Simple rateless error-correcting codes for fading channels
2207 -- 2215Xianhua Niu, Daiyuan Peng, Zhengchun Zhou. Frequency/time hopping sequence sets with optimal partial Hamming correlation properties
2216 -- 2225Wenjie Wang, Bobin Yao, Qinye Yin. AOD estimation in WSN localization system with synthetic aperture technique
2226 -- 2233Shan Liu, Xin'an Wang, Jinpeng Shen, Bo Wang, Tao Ye, Ru Huang. A novel compact low-power direct conversion receiver for mobile UHF RFID reader
2234 -- 2242Yunbi Chen, Zhengdong Li, Li Guo, Jinsheng Xie, Long Zhao. Architecture design of low-power motion estimation based on DHS-NPDS for H.264/AVC
2243 -- 2256Zhao Zhang, Jun Hu. Stability analysis of a hypersonic vehicle controlled by the characteristic model based adaptive controller
2257 -- 2268Kewu Huang, Ran Tao, Yue Wang 0001. Fractional Fourier domain equalization for single carrier broadband wireless systems
2269 -- 2280Cheng Hu, Xiaoliang Li, Teng Long, Chao Zhou. An accurate SISAR imaging method of ground moving target in forward scatter radar
2281 -- 2291Yingbin Chen, Bin Deng, Hongqiang Wang, Yuliang Qin, Jincan Ding. Vibration target detection and vibration parameters estimation based on the DPCA technique in dual-channel SAR
2292 -- 2300Peng Xiao, Ze Yu, Chunsheng Li. Compressive sensing SAR range compression with chirp scaling principle
2301 -- 2317Zhe Zhang, Bingchen Zhang, Chenglong Jiang, Yin Xiang, Wen Hong, Yirong Wu. Influence factors of sparse microwave imaging radar system performance: approaches to waveform design and platform motion analysis
2318 -- 2328Liangkui Lin, Hui Xu, Weidong Sheng, Wei An. Multi-target state-estimation technique for the particle probability hypothesis density filter
2329 -- 2342Wenfei Gong, Xin Sun. An improved reduced-rank STAP interference suppression method in design of GNSS receivers
2343 -- 2357Quanbo Ge, Chenglin Wen, Tingliang Xu. Networked Kalman filtering with combined constraints of bandwidth and random delay
2358 -- 2368Yi Guo, Zhenxing Wang. An immune-theory-based model for monitoring inter-domain routing system
2369 -- 2389Bo Wang, Xiaoping Jin, Bo Cheng. Lion pride optimizer: An optimization algorithm inspired by lion pride behavior
2390 -- 2398Xiayu Li, Song Jia, Limin Liu, Yuan Wang, Ganggang Zhang. Design of novel, semi-transparent flip-flops (STFF) for high speed and low power application
2399 -- 2408Linlin Liu, Zunchao Li. A quantum-confinement model for surrounding-gate MOSFETS from subthreshold to strong-inversion regions
2409 -- 2416Zan Dong, Wei Wang, Beiju Huang, Xu Zhang, Ning Guan, Hongda Chen 0002. A 630dpi dynamic LED display array in standard Si-based CMOS technology

Volume 55, Issue 1

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