Journal of Southeast University(English Edition) 2009 Issue 2 Formal analysis of robust email protocol based on authentication tests

Formal analysis of robust email protocol based on authentication tests
Jiang Rui;Hu Aiqun

..............page:147-151

Frame erasure concealment in wideband speech coding based on large hidden Markov model
Wang Shikui;Tang Yibin;You Hongyan;Wu Zhenyang

..............page:152-155

Analysis of throughput and stability for ACK-ALOHA-CDMA channel
Shao Jianhua;Yin Kuixi;Zhao Hua

..............page:156-160

A novel approach to conductive EMI noise source modeling
Qiu Xiaohui;Zhao Yang;Xie Shaojun;Chu Jiamei;Jiang Ningqiu

..............page:161-166

Downlink BER performance analysis of distributed antenna systems over shadowed Rayleigh fading channels
Chen Huamin;Chen Ming

..............page:167-170

Modulation classification of MPSK signals based on nonparametric Bayesian inference
Chen Liang;Cheng Hanwen;Wu Lenan

..............page:171-174

Neuronal signal detecting and stimulating circuit array for monolithic integrated MEA
Xie Shushan;Wang Zhigong;Pan Haixian;Lü Xiaoying

..............page:175-179

Design of CMOS class-E power amplifier for low power applications
Yuan Cheng;Li Zhiqun;Liu Jihua;Wang Zhigong

..............page:180-184

New battery management system for multi-cell li-ion battery packs
Chen Chen;Jin Jin;He Lenian

..............page:185-188

Life prediction for vacuum fluorescent display using maximum likelihood estimation
Zhang Jianping;Wang Ruitao

..............page:189-192

Greedy calibration method for binocular camera system via characteristic homography matrix
Liu Tianliang;Jin Feiyi;Luo Limin

..............page:193-198

Anti-reverse rotation startup method for sensorless brushless DC motor
Lin Mingyao;Zhang Zhiyao;Lin Keman;Zhou Guqing

..............page:199-202

Optimization of linear induction machines based on a novel adaptive genetic algorithm
Zhuang Yingchao;Yu Haitao;Xia Jun;Hu Minqiang

..............page:203-207

Robust admissibility analysis of uncertain switched singular systems:a switched Lyapunov function approach
Lin Jinxing;Fei Shumin;Shen Jiong;Yu Jianjiang

..............page:208-212

Improved delay-dependent stability criteria for stochastic systems with time-varying interval delay
Yu Jianjiang;Zhang Kanjian;Fei Shumin

..............page:213-218

Method of integer overflow detection to avoid buffer overflow
Zhang Shirui;Xu Lei;Xu Baowen

..............page:219-223

Super point detection based on sampling and data streaming algorithms
Cheng Guang;Qiang Shiqing

..............page:224-227

Fish maneuver analysis system based on sequence images
Jiang Ming;He Xiaoyuan

..............page:228-231

Oriented quantum coalgebra structure on the tensor product of an oriented quantum coalgebra with itself
Ma Tianshui;Wang Shuanhong

..............page:286-288

On existence and uniqueness of the solution of elastoplastic contact problems
Guo Xiaoming

..............page:232-235

Finite element failure analysis of continuous prestressed concrete box girders
Zhang Feng;Li Shucai;Li Shuchen;Ye Jianshu;Lei Xiao

..............page:236-240

Simplified stiffness-based approach for seismic performance evaluation of moment-resisting frame
Yu Qi;Meng Shaoping;Wu Jing;Sun Weiwei

..............page:241-246

FNM method for estimating reliability of existing bridges
Peng Keke;Huang Peiyan

..............page:247-251

Decision model and algorithm for traffic rescue resource dispatching on expressway
Chai Gan;Zhu Canghui;Wan Shui;Pu Juyi

..............page:252-256

Influence range of emergency under special events based on CTM
Chen Qian;Li Wenquan

..............page:257-261

Study on compressibility of traffic flow
Wang Dianhai;Liang Chunyan;Cheng Yao;Yao Ronghan

..............page:262-266

Impact of box ratio and pinwheel pattern on the pallet loading problem
Yi Junmin;Wang Dupeng;Zhou Jing

..............page:267-270

Evolution mechanism of demand for comprehensive transportation system based on metabolic ecology
Qiu Yuzhuo;Chen Senfa;Chen Tao

..............page:271-273

Scales, methods and technical analysis of China's residential environment evaluation
Li Sui;Shi Tiemao;Zhou Le

..............page:274-277

Determination of pollution point source in parabolic system model
Wang Zewen

..............page:278-285