Journal: Science in China Series F: Information Sciences

Volume 51, Issue 9

1193 -- 1203Keping Long, Yun Li, Weiliang Zhao, Chonggang Wang, Kazem Sohraby. ::::p:::: -RWBO: a novel low-collision and QoS-supported MAC for wireless ad hoc networks
1204 -- 1214Ju Wang, Yuncheng Jiang, Yuming Shen. Satisfiability and reasoning mechanism of terminological cycles in description logic ::::v::::::::L::::
1215 -- 1230Jing Peng, Dongqing Yang, Shi-Wei Tang, Tengjiao Wang, Jun Gao. A new similarity computing method based on concept similarity in Chinese text processing
1231 -- 1238Shun-Dong Li, Yiqi Dai, Daoshun Wang, Ping Luo. Comparing two sets without disclosing them
1239 -- 1255Qinping Zhao, Zhong Zhou, Fang Lü. Algorithm of simulation time synchronization over large-scale nodes
1256 -- 1268Bin Zhou, Guang-Ren Duan. Global stabilization of linear systems by bounded controls with guaranteed poles
1269 -- 1280Feng Ding, Huizhong Yang, Fei Liu. Performance analysis of stochastic gradient algorithms under weak conditions
1281 -- 1290Lina Yao, Hong Wang 0001. Robust fault diagnosis for non-Gaussian stochastic systems based on the rational square-root approximation model
1291 -- 1304Ming Dong. A novel approach to equipment health management based on auto-regressive hidden semi-Markov model (AR-HSMM)
1305 -- 1318Wei Yang. Performance analysis of uplink MIMO MC-CDMA systems based on linear zero-forcing V-BLAST algorithm
1319 -- 1339Yifei Pu, Weixing Wang, Jiliu Zhou, Yiyang Wang, Huading Jia. Fractional differential approach to detecting textural features of digital image and its fractional differential filter implementation
1340 -- 1348Tieqi Xia, Xuegang Wang, Yi Zheng, Qun Wan. Joint diagonalization DOA matrix method
1349 -- 1359Xian-Hua Han, Shuiyan Dai, Jian Li, Guorong Xia. Edge detection algorithm based on ICA-domain shrinkage in noisy images
1360 -- 1371Qian Yang, Ran Tao, Yue Wang, Enqing Chen. MIMO-OFDM system based on fractional Fourier transform and selecting algorithm for optimal order
1372 -- 1383Cheng Hu, Teng Long, Tao Zeng. The possibility of isolated target 3-D position estimation and optimal receiver position determination in SS-BSAR
1384 -- 1390Tao Zuo, Lan Fang, XinJie Zhao, Xu Zuo, TieGe Zhou, ShaoLin Yan. HTS filter subsystem for future mobile communication system
1391 -- 1400Ou Xu, ShaoHua Lu, XiaoWei Dong, Bin Li, TiGang Ning, ShuiSheng Jian. Theoretical analysis of transmission characteristics for all fiber, multi-cavity Fabry-Perot filters based on fiber Bragg gratings

Volume 51, Issue 8

985 -- 999XianPing Tao, Xiaoxing Ma, Jian Lu, Ping Yu, Yu Zhou. Multi-mode interaction middleware for software services
1000 -- 1009Yunfeng Peng, Yujun Kuang, Keping Long. Optical local area network emulations over Ethernet passive optical networks: A survey
1010 -- 1024Jun Lang, Ran Tao, QiWen Ran, Yue Wang. The multiple-parameter fractional Fourier transform
1025 -- 1038Jiangshe Zhang, Yuqian Yang, Xiaowen Chen, Chenghu Zhou. Enhanced piecewise regression based on deterministic annealing
1039 -- 1054Yongming Yang, Chao Xu. A wavelet packet based block-partitioning image coding algorithm with rate-distortion optimization
1055 -- 1063Shuai Chen, XianXin Zhong, ZhengZhong Wu. Chaos block cipher for wireless sensor network
1064 -- 1082Maoguo Gong, Licheng Jiao, Wenping Ma, Haifeng Du. Multiobjective optimization using an immunodominance and clonal selection inspired algorithm
1083 -- 1095Zhengjun Cao, Mulan Liu. Classification of signature-only signature models
1096 -- 1105Changan Zhao, Fangguo Zhang, Jiwu Huang. Efficient Tate pairing computation using double-base chains
1106 -- 1116Xiaolei Dong, Zhenfu Cao, Licheng Wang. New designing of cryptosystems based on quadratic fields
1117 -- 1124BoJin Zhuang, WeiTao Yuan, Lizhong Peng. Lifting scheme of symmetric tight wavelets frames
1125 -- 1137Ling Wang, JianWei Wan, Yunhui Liu, JinXin Shao. Cooperative localization method for multi-robot based on PF-EKF
1138 -- 1153Lan Du, Hongwei Liu, Zheng Bao, Junying Zhang. Radar automatic target recognition based on feature extraction for complex HRRP
1154 -- 1166Hui Liu, Jun Zhang. High dynamic adaptive mobility network model and performance analysis
1167 -- 1176Mei E Fang, GuoZhao Wang. omegaB-splines
1177 -- 1183Xiaolu Li, YueSong Jiang. Compound solitons in fiber Bragg grating
1184 -- 1192QuanJun Cao, YiMen Zhang, YuMing Zhang, HongLiang Lv, YueHu Wang, XiaoYan Tang, Hui Guo. Improved empirical DC I-V model for 4H-SiC MESFETs

Volume 51, Issue 7

825 -- 847Wei Zhao, Lu Zhang, Jiasu Sun, Hong Mei. An objective-oriented approach to program comprehension using multiple information sources
848 -- 858Zhixin Liu, Lei Guo. Connectivity and synchronization of Vicsek model
859 -- 880Ran Tao, Feng Zhang, Yue Wang. Research progress on discretization of fractional Fourier transform
881 -- 895Dong Xiang, Mingjing Chen, Jia-Guang Sun. Scan BIST with biased scan test signals
896 -- 909Xiaoping Li, Cheng Wu. Heuristic for no-wait flow shops with makespan minimization based on total idle-time increments
910 -- 923Ling Wei, Jian-Jun Qi, Wen-Xiu Zhang. Attribute reduction theory of concept lattice based on decision formal contexts
924 -- 935Kaiquan Shi, Jianli Zhao. Function S-rough sets and security-authentication of hiding law
936 -- 947Haina Zhang, Lin Li, Xiaoyun Wang. Fast correlation attack on stream cipher ABC v3
948 -- 964JianCheng Long, ZiYou Gao, HuaLing Ren, AiPing Lian. Urban traffic congestion propagation and bottleneck identification
965 -- 974Guangliang Ren, Yilin Chang, Huining Zhang. SNR estimation algorithm based on the preamble for wireless OFDM systems
975 -- 984Fei Qiao, Huazhong Yang, Gang Huang, Hui Wang. Implementation of low-swing differential interface circuits for high-speed on-chip asynchronous interconnection

Volume 51, Issue 6

610 -- 622Fuqing Yang, Jian Lü, Hong Mei. Technical framework for Internetware: An architecture centric approach
623 -- 637Jiafu Xu, Fangmin Song. Quantum programming languages: A tentative study
638 -- 660Ruqian Lu, Zhi Jin. From knowledge based software engineering to knowware based software engineering
661 -- 682Jifeng He. Service refinement
683 -- 721Jian Lü, Xiaoxing Ma, XianPing Tao, Chun Cao, Yu Huang 0002, Ping Yu. On environment-driven software model for Internetware
722 -- 742Hong Mei, Gang Huang, Ling Lan, Junguo Li. A software architecture centric self-adaptation approach for Internetware
743 -- 755Yangyuan Wang, Xing Zhang, Xiaoyan Liu, Ru Huang. Novel devices and process for 32 nm CMOS technology and beyond
756 -- 764XuBang Shen. Evolution of MPP SoC architecture techniques
765 -- 773Chenming Hu. BSIM - making the first international standard MOSFET model
774 -- 779T. P. Ma. Novel electrical characterization for advanced CMOS gate dielectrics
780 -- 789Jinfeng Zhang, Yue Hao, JinCheng Zhang, JinYu Ni. The mobility of two-dimensional electron gas in AlGaN/GaN heterostructures with varied Al content
790 -- 798Shaojun Wei. Key technologies of system on chip design
799 -- 806Ru Huang, FaLong Zhou, YiMao Cai, DaKe Wu, Xing Zhang. Novel vertical channel double gate structures for high density and low power flash memory applications
807 -- 818Yuhua Cheng. A glance of technology efforts for design-for-manufacturing in nano-scale CMOS processes
819 -- 824Wei Wang, Yu Zhao, YinHua Lei, Zhihong Li. Nanoparticle-based lift-off technique for ultra-thin nanoporous film preparation

Volume 51, Issue 5

449 -- 459Deyi Li, Kun Liu, Yan Sun, MingChang Han. Emergent computation: Virtual reality from disordered clapping to ordered clapping
460 -- 475Weixin Xie, Wenming Cao, Shan Meng. Coverage analysis for sensor networks based on Clifford algebra
476 -- 488He Jiang, Xianchao Zhang, Guoliang Chen, MingChu Li. Backbone analysis and algorithm design for the quadratic assignment problem
489 -- 498Jieyu Zhao. Live facial feature extraction
499 -- 510Kaiquan Shi, Bingxue Yao. Function S-rough sets and law identification
511 -- 523LinYing Xiang, Zhongxin Liu, Zengqiang Chen, Zhuzhi Yuan. Pinning weighted complex networks with heterogeneous delays by a small number of feedback controllers
524 -- 534Wei Chen, Chen ZongJi. Prediction-based adaptive control of a class of discrete-time nonlinear systems with nonlinear growth rate
535 -- 549Junzhi Yu, Long Wang, Wei Zhao, Min Tan. Optimal design and motion control of biomimetic robotic fish
550 -- 559LianLin Li, Fang Li. Solution of time-domain Maxwell equation with PML by using modified Laguerre polynomials
560 -- 570Zhang Rui, Yao Yu, Ma KeMao, Chen SongLin. Mixed ::::H:::: ::2::/ ::::H:::: :: INFINITY :: filtering for a class of high-speed sampling uncertain systems
571 -- 585Qiuling Tang, Liuqing Yang, Tuanfa Qin, Shuyi Zhang. Energy-saving PPM schemes for WSNs
586 -- 591XingLong Guo, Yan Jin, Lei Liu, WeiXia Ouyang, Zongsheng Lai. Design and fabrication of miniature antenna based on silicon substrate for wireless communications
592 -- 598WeiLi Zhang, Wei Pan, Bin Luo, MengYao Wang, XiHua Zou. Mode hopping and polarization switching of mutually coupled vertical-cavity surface-emitting lasers
599 -- 608Guofang Tu, Can Zhang, Heinrich Niemann, Jie Xu, Weiren Wu. Scalable video object coding & QoS control for next generation space internet

Volume 51, Issue 4

337 -- 351Cheng-Yi Xiong, Jin-Wen Tian, Jian Liu. High performance word level sequential and parallel coding methods and architectures for bit plane coding
352 -- 367Tao Feng, FengHua Li, Jianfeng Ma, Sang-Jae Moon. A new approach for UC security concurrent deniable authentication
368 -- 380Peizhong Lu, Yan Zou. Fast computation of Gröbner basis of homogenous ideals of /mathbb::::F:::: /mathbb{F} [ ::::x, y:::: ]
381 -- 393Zuyuan Yang, Zhaoshui He, Shengli Xie, Yuli Fu. Adaptive blind separation of underdetermined mixtures based on sparse component analysis
394 -- 407Min Zhang, LeWei Li, LiangChao Li, ZhenSen Wu. Efficient approach and application of the Green s functions in spatial domain in multilayered media
408 -- 416Linfang Dong, Yantai Shu, Haiming Chen, Maode Ma. Packet delay analysis on IEEE 802.11 DCF under finite load traffic in multi-hop ad hoc networks
417 -- 424Hanxing Wang, Guilin Lu, Weijia Jia, Wei Zhao. Connectivity in finite ad-hoc networks
425 -- 432Ming-Hui Wang, Qun Wan, Zhisheng You. A gate size estimation algorithm for data association filters
433 -- 439Yong Fang, Jechang Jeong, Chengke Wu. Error detection based on MB types
440 -- 448Deyuan Xiao, Gary Chen, Roger Lee, Yung Liu, ChiCheong Shen. Planar split dual gate MOSFET

Volume 51, Issue 3

225 -- 239Gang Huang, Xuanzhe Liu, Hong Mei. Online approach to feature interaction problems in middleware based system
240 -- 257Shangmin Luan, Guozhong Dai. An algebraic approach to revising propositional rule-based knowledge bases
258 -- 272MaoZhi Xu, ChunLai Zhao, Min Feng, ZhaoRong Ren, JiQing Ye. Cryptography on elliptic curves over ::::p:::: -adic number fields
273 -- 282Hongda Li, Bao Li. Existence of 3-round zero-knowledge proof systems for NP
283 -- 292Xiaoxin Liao, Yuli Fu, Shengli Xie, Pei Yu. Globally exponentially attractive sets of the family of Lorenz systems
293 -- 305ZhenLi Lu, Shugen Ma, Bin Li, Yuechao Wang. Gaits-transferable CPG controller for a snake-like robot
306 -- 319Zi Li, Yueming Cai. Maximum-likelihood detection based on branch and bound algorithm for MIMO systems
320 -- 336Peng Zhou, Chunming Zhao, Zhihua Shi, Xiaoqun Gong. Performance evaluation for PCC-OFDM systems impaired by carrier frequency offset over AWGN channels

Volume 51, Issue 2

113 -- 119Renjiang Zhang, Guojin Wang. The sharp upper bound on the distance between a parametric patch and its interpolated triangle
120 -- 127Longjiang Qu, Chao Li. On the 2:::m:::-variable symmetric Boolean functions with maximum algebraic immunity
128 -- 144Chunming Tang, Dingyi Pei, Xiaofeng Wang, Zhuojun Liu. Delegateable signatures based on non-interactive witness indistinguishable and non-interactive witness hiding proofs
145 -- 157GuiMing Luo, Jian Huang. Recursive algorithm for the two-stage EFOP estimation method
158 -- 170Qi Luo, Feiqi Deng, Xuerong Mao, JunDong Bao, Yu-Tian Zhang. Theory and application of stability for stochastic reaction diffusion systems
171 -- 182Kunqi Guo, Lixin Sun, Ping Wang, Shilou Jia. Efficiency-aware and fairness-aware joint-layer optimization for downlink data scheduling in OFDM
183 -- 195Rongxing Lu, Xiaolei Dong, Zhenfu Cao. Designing efficient proxy signature schemes for mobile communication
196 -- 212Layuan Li, ChunLin Li. QoS multicast routing protocol in hierarchical wireless MANET
213 -- 224Yici Cai, Qiang Zhou, Xianlong Hong, Rui Shi, Yang Wang. Application of optical proximity correction technology

Volume 51, Issue 12

1919 -- 1934Yun Wang, Junling Wang. Non-blocking message total ordering protocol
1935 -- 1946Xinyu Yang, Yi Shi, Huijun Zhu. Detection and location algorithm against local-worm
1947 -- 1957Junying Zhang, Qiang Qin. A new neural network algorithm for planarization problems
1958 -- 1979Dan Hu, Hongxing Li, Xianchuan Yu. The information content of rules and rule sets and its application
1980 -- 1991Yiping Luo, Wenhua Xia, Guorong Liu, Feiqi Deng. ::::W:::: :::1, 2:::( :::: OHM :::: )- and ::::X:::: :::1, 2:::( :::: OHM :::: )-stability of reaction-diffusion cellular neural networks with delay
1992 -- 2004Wei Feng, Jifeng Zhang. Input-to-state stability of switched nonlinear systems
2005 -- 2021Junchun Yang, Jun Hu, Maolin Ni. Adaptive guidance law design based on characteristic model for reentry vehicles
2022 -- 2032Bin Liu, Jiaxiong Peng. Multi-spectral image fusion method based on two channels non-separable wavelets
2033 -- 2046Zhuohua Duan, Zixing Cai, Jinxia Yu. An adaptive particle filter for soft fault compensation of mobile robots
2047 -- 2061Jaekwan Park, Bonghee Hong, ChaeHoon Ban. A query index for continuous queries on RFID streaming data
2062 -- 2073Min Lin, Min Li, Luxi Yang, Bin Li. Combined adaptive beamforming with space-time block coding for multi-antenna communications
2074 -- 2086Longjun Zhai, Yonghua Jiang, Longhe Liu. Two dimensional coupled oscillators array with rhombus structure and its application in active antenna array
2087 -- 2093Lei Li, Rongqing Xu, Gaopeng Li. Robust ionospheric clutter mitigation method for high frequency surface wave radar
2094 -- 2100Wen Pan, Zhanjun Jiang, Zhengfeng Du, Yan Wang, Xiaohu You. Analysis of a reduced-ML algorithm in BLAST
2101 -- 2114Huading Jia, Ding Yuan, Daiyuan Peng, Ling Guo. On a general class of quadratic hopping sequences
2115 -- 2125Yudong Zhang, Lenan Wu. Improved image filter based on SPCNN
2126 -- 2134Haiming Qi, Weidong Yu, Xi Chen. Piecewise linear mapping algorithm for SAR raw data compression
2135 -- 2149Yufei Zhou, Xuedong Jiang, Jun-Ning Chen. Analysis of complex intermittency in Boost converter from a bifurcation control viewpoint

Volume 51, Issue 11

1633 -- 0Jianping Wu. Editor s note
1634 -- 1660Jianping Wu, Ying Liu, Qian Wu. Theoretical research progress in new-generation Internet architecture
1661 -- 1680Ke Xu, Mingwei Xu, Qi Li, Song Lin. Analysis and case study on multi-dimensional scalability of the Internet architecture
1681 -- 1691Jianping Wu, Gang Ren, Xing Li. Building a next generation Internet with source address validation architecture
1692 -- 1702Yong Cui, Mingwei Xu, Jianping Wu, Xing Li. IETF softwire unicast and multicast framework for IPv6 transition
1703 -- 1722Xia Yin, Zhiliang Wang, Chuanming Jing, Xingang Shi. A TTCN-3-based protocol testing system and its extension
1723 -- 1744Zhiliang Wang, Xia Yin, Chuanming Jing. A formal method to real-time protocol interoperability testing
1745 -- 1760Xicheng Lu, Gaofeng Lü, Peidong Zhu, Yijiao Chen. MASK: An efficient mechanism to extend inter-domain IP spoofing preventions
1761 -- 1771ZhiGang Sun, Yi Dai, Zhenghu Gong. MPFS: A truly scalable router architecture for next generation Internet
1772 -- 1784Lei Gao, Zhenghu Gong, Yaping Liu, Ming-che Lai, Wei Peng. A TLP approach for BGP based on local speculation
1785 -- 1803Fengyuan Ren, Yunhe Yin, Chuang Lin. Design and analysis of an ONOFF variable structure controller for AQM routers supporting TCP flows
1804 -- 1821Guang Cheng, Jian Gong, Wei Ding, Hua Wu, ShiQiang Qiang. Adaptive sampling algorithm for detection of superpoints
1822 -- 1840Fangchun Yang, Sen Su, Zhen Li. Hybrid QoS-aware semantic web service composition strategies
1841 -- 1856Sen Su, Fei Li, Fangchun Yang. Iterative selection algorithm for service composition in distributed environments
1857 -- 1870LingWei Chu, Shihong Zou, Shiduan Cheng, Wendong Wang. Active probing based Internet service fault management in uncertain and noisy environment
1871 -- 1882Hong Zhang, Hai-Xin Duan, Wu Liu. RRM: An incentive reputation model for promoting good behaviors in distributed systems
1883 -- 1897Lanjia Wang, Hai-Xin Duan, Xing Li. Dynamic emulation based modeling and detection of polymorphic shellcode at the network level
1898 -- 1907Song Huang, Yong Xu, Ling Zhang. Study of network survivability based on multi-path routing mechanism
1908 -- 1918Jilong Wang, ZhongHui Li, Guohan Lu, Caiping Jiang, Xing Li, Qianli Zhang. DRAGON-Lab - Next generation internet technology experiment platform

Volume 51, Issue 10

1401 -- 1414Yi Zhuang, Yueting Zhuang, Fei Wu. An encoding-based dual distance tree high-dimensional index
1415 -- 1426JunYong Yan, Yi Jin, KaiZhong Zuo. Decrease-radix design principle for carrying/borrowing free multi-valued and application in ternary optical computer
1427 -- 1444Jiye Liang, Yuhua Qian. Information granules and entropy theory in information systems
1445 -- 1465Yongming Li. Approximation and universality of fuzzy Turing machines
1466 -- 1474Guoxin Wang, Xijian Ping, ManKun Xu, Tao Zhang, XiRui Bao. Steganalytic method based on short and repeated sequence distance statistics
1475 -- 1486Tao Li. Dynamic detection for computer virus based on immune system
1487 -- 1507HongJie He, Jiashu Zhang, Fan Chen. A self-recovery fragile watermarking scheme for image authentication with superior localization
1508 -- 1520Yungang Liu. Global stabilization by output feedback for a class of nonlinear systems with uncertain control coefficients and unmeasured states dependent growth
1521 -- 1531WangBao Xu, XueBo Chen. Artificial moment method for swarm robot formation control
1532 -- 1546Jinguo Liu, Shugen Ma, Yuechao Wang, Bin Li. Network-based reconfiguration routes for a self-reconfigurable robot
1547 -- 1562Xieping Gao, Chunhong Cao. Minimum-energy wavelet frame on the interval
1563 -- 1571Shang Ma, JianHao Hu, Lin Zhang, Xiang Ling. An efficient RNS parity checker for moduli set {2::: ::::n::::::: - 1, 2::: ::::n:::: ::: + 1, 2:::2 ::::n:::: ::: + 1} and its applications
1572 -- 1584Gang Wang, NiNi Rao, Ying Zhang. Atrial fibrillatory signal estimation using blind source extraction algorithm based on high-order statistics
1585 -- 1593Tieqi Xia, Qun Wan, Xuegang Wang, Yi Zheng. 2-D DOAs estimation in impulsive noise environments using joint diagonalization fractional lower-order spatio-temporal matrices
1594 -- 1606Tao Liu, Xuesong Wang, ShunPing Xiao. Statistical characteristics of the normalized Stokes parameters
1607 -- 1613Zhihui Chen, Qingxin Chu. Stability analysis of the extended ADI-FDTD technique including lumped models
1614 -- 1622Jianbing Li, Xuesong Wang, Tao Wang. A universal solution to one-dimensional oscillatory integrals
1623 -- 1632Zuyuan Yang, Beihai Tan, GuoXu Zhou, Jinlong Zhang. Source number estimation and separation algorithms of underdetermined blind separation

Volume 51, Issue 1

1 -- 12Yiqing Huang, HanFu Chen, Haitao Fang. Identification of Wiener systems with nonlinearity being piecewise-linear function
13 -- 24QianQian Hu, Guojin Wang. A novel algorithm for explicit optimal multi-degree reduction of triangular surfaces
25 -- 39Shoujun Zhou, Jun Yang, Wufan Chen, Yongtian Wang. New approach to the automatic segmentation of coronary artery in X-ray angiograms
40 -- 52Yi Deng, Dongdai Lin. Novel Omega-protocols for NP
53 -- 62Yongliang Guo, Shihua Zhu. Non-coherent space-time code based on full diversity space-time block coding
63 -- 80Baojun Wei, Gengji Zhang, Qinghuo Liu. Recursive algorithm and accurate computation of dyadic Green s functions for stratified uniaxial anisotropic media
81 -- 92Quanwei Cai, Ping Wei, Xianci Xiao. A blind separation method of overlapped multi-components based on time varying AR model
93 -- 100Zhong Wen, LiPing Li, TianQi Chen, Xixiang Zhang. Joint multiple parameters estimation for coherent chirp signals using vector sensor array
101 -- 110JinHai Niu, YiFei Liu, QiuShi Ren, Yang Zhou, Ye Zhou, Shuai Niu. Vision implants: An electrical device will bring light to the blind