1Invariant generation algorithm based on WU's methodZHOU Ning, WU Jinzhao, WANG Chao1-72Formal verification of SSH-based trusted channelsCHANG Xiaolin, QIN Ying, XING Bin, ZUO Xianghui8-153Alternating iterative metric reconstruction from calibrated multi-view imagesCHEN Jing, YUAN Baozong, LIU Weibin16-234SAR image de-noised based on complex contourlet domain gaussian scale mixture modelLIU Shuaiqi, HU Shaohai, XIAO Yang24-285An adaptive algorithm to enhance convergence speed of VCPMAO Pengxuan, XIAO Yang29-346Research on receiver DCB estimation using single BeiDou satellite triple-frequency dataDAI Lianjun, TANG Tao, YANG Na35-397Study of data-based hybrid algorithm on track circuit fault diagnosisYANG Shiwu, WEI Xueye, FAN Bo, JIANG Daming40-46,618MVB NIC with VME bus used in safety computer in vehicleSONG Juan, WANG Lide, YAN Xiang, SHEN Ping47-539A user identity authentication protocol under universal identifier-based networkTANG Jianqiang, LIU Ying, WAN Ming, ZHANG Hongke54-6110Improved WTD technology used in Beijing-Shanghai high-speed railwayWU Donghua, WANG Yancui, ZHANG Ning, BAI Yu62-6911PD-type learning algorithm for uncertain control time-delay systemsZHANG Yanxin, XU Jianzhou70-73,8412Acquisition system of finger vein authenticationLIU Yun, WANG Yue74-7913Encryption and operating safeguard mechanisms of WTD technology used in Beijing-Shanghai high-speed railwayWU Donghua, WANG Yancui, ZHANG Chun, BAI Yu80-8414Flexible neural network-based self-regulation PID of magnetic bearing force controlWANG Xilian, GE Baoming, WU Zhaoli85-9015Modeling research of power-assist battery based on circuit transient analysisWANG Zhanguo, JIN Xinmin, SUN Bingxiang, GONG Minming, CAO Xueming91-9416A novel torgue estimation for induction motors based on calculating the electrical parametersZHAO Leiting, CHEN Jie, LIN Wenli, LIU Zhigang95-99,10417Optimized design of electric bus battery swap stationZhang Weige, Zhang Di, Wen Jiapeng, Zhang Caiping100-10418Load frequency control of power systems based on MPC algorithmYANG Gang, LIU Mingguang, QU Zhijian105-11019Electric parameters measurement and harmonics analysis for the pantograph-catenary arcing prototypeYang Zhipeng, Li Huawei, Sun Zhongguo, Li Guoguo111-11520Design of simulation platform of contact-loss of pantographLIU Wenzheng, WANG Weiliang, GONG Zhaofeng, LIU Ran116-119 