MATLAB Application of Matlab in Analysing and Modeling Financial Time Sequences

Σχετικά έγγραφα
1 (forward modeling) 2 (data-driven modeling) e- Quest EnergyPlus DeST 1.1. {X t } ARMA. S.Sp. Pappas [4]

2016 IEEE/ACM International Conference on Mobile Software Engineering and Systems

ER-Tree (Extended R*-Tree)

Schedulability Analysis Algorithm for Timing Constraint Workflow Models

Quick algorithm f or computing core attribute

Vol. 31,No JOURNAL OF CHINA UNIVERSITY OF SCIENCE AND TECHNOLOGY Feb

ΝΕΟ ΠΡΟΓΡΑΜΜΑ ΣΠΟΥΔΩΝ, ΤΜΗΜΑ ΔΙΟΙΚΗΣΗΣ ΕΠΙΧΕΙΡΗΣΕΩΝ, ΣΧΟΛΗ ΔΙΟΙΚΗΣΗΣ ΚΑΙ ΟΙΚΟΝΟΜΙΑΣ, ΤΕΙ ΙΟΝΙΩΝ ΝΗΣΩΝ ΕΙΣΑΓΩΓΙΚΗ ΚΑΤΕΥΘΥΝΣΗ ΔΙΟΙΚΗΣΗ ΕΠΙΧΕΙΡΗΣΕΩΝ

n 1 n 3 choice node (shelf) choice node (rough group) choice node (representative candidate)

ΠΩΣ ΕΠΗΡΕΑΖΕΙ Η ΜΕΡΑ ΤΗΣ ΕΒΔΟΜΑΔΑΣ ΤΙΣ ΑΠΟΔΟΣΕΙΣ ΤΩΝ ΜΕΤΟΧΩΝ ΠΡΙΝ ΚΑΙ ΜΕΤΑ ΤΗΝ ΟΙΚΟΝΟΜΙΚΗ ΚΡΙΣΗ

ΧΩΡΙΚΑ ΟΙΚΟΝΟΜΕΤΡΙΚΑ ΥΠΟΔΕΙΓΜΑΤΑ ΣΤΗΝ ΕΚΤΙΜΗΣΗ ΤΩΝ ΤΙΜΩΝ ΤΩΝ ΑΚΙΝΗΤΩΝ SPATIAL ECONOMETRIC MODELS FOR VALUATION OF THE PROPERTY PRICES

Χρονικές σειρές 9 Ο μάθημα: Μεικτά μοντέλα ARMA

Optimization Investment of Football Lottery Game Online Combinatorial Optimization

NOB= Dickey=Fuller Engle-Granger., P. ( ). NVAR=Engle-Granger/Dickey-Fuller. 1( ), 6. CONSTANT/NOCONST (C) Dickey-Fuller. NOCONST NVAR=1. TREND/NOTREN

ΤΕΙ ΗΠΕΙΡΟΥ ΤΜΗΜΑ ΤΗΛΕΠΛΗΡΟΦΟΡΙΚΗΣ ΚΑΙ ΔΙΟΙΚΗΣΗΣ

Queensland University of Technology Transport Data Analysis and Modeling Methodologies

Nov Journal of Zhengzhou University Engineering Science Vol. 36 No FCM. A doi /j. issn

2. ΕΠΙΛΟΓΗ ΤΟΥ ΜΕΓΕΘΟΥΣ ΤΩΝ ΠΑΡΑΤΗΡΗΣΕΩΝ

Zigbee. Zigbee. Zigbee Zigbee ZigBee. ZigBee. ZigBee

The Impact of Stopping IPO in Shenzhen A Stock Market on Guiding Pattern of Information in China s Stock Markets

Research of Han Character Internal Codes Recognition Algorithm in the Multi2lingual Environment

Simplex Crossover for Real-coded Genetic Algolithms

Research on model of early2warning of enterprise crisis based on entropy

A research on the influence of dummy activity on float in an AOA network and its amendments

Module 5. February 14, h 0min

Models for Asset Liability Management and Its Application of the Pension Funds Problem in Liaoning Province

Durbin-Levinson recursive method

HW 3 Solutions 1. a) I use the auto.arima R function to search over models using AIC and decide on an ARMA(3,1)

!! " # $%&'() * & +(&( 2010

Web-based supplementary materials for Bayesian Quantile Regression for Ordinal Longitudinal Data

ΕΠΙΤΡΟΠΗ ΜΕΛΕΤΗΣ ΕΠΙΠΤΩΣΕΩΝ ΚΛΙΜΑΤΙΚΗΣ ΑΛΛΑΓΗΣ

Α Typing System for Privacy

Research on vehicle routing problem with stochastic demand and PSO2DP algorithm with Inver2over operator

ΑΝΑΛΥΣΗ ΣΥΜΠΕΡΙΦΟΡΑΣ ΤΟΥ ΚΛΑΔΟΥ ΑΣΦΑΛΙΣΗΣ ΤΩΝ ΜΗΧΑΝΟΚΙΝΗΤΩΝ ΟΧΗΜΑΤΩΝ (MOTOR VEHICLE) ΤΗΣ ΚΥΠΡΟΥ

ΕΘΝΙΚΟ ΜΕΤΣΟΒΙΟ ΠΟΛΥΤΕΧΝΕΙΟ

Ερευνητική+Ομάδα+Τεχνολογιών+ Διαδικτύου+

EM Baum-Welch. Step by Step the Baum-Welch Algorithm and its Application 2. HMM Baum-Welch. Baum-Welch. Baum-Welch Baum-Welch.

Probabilistic Approach to Robust Optimization

Single-value extension property for anti-diagonal operator matrices and their square

ΜΕΤΑΠΤΥΧΙΑΚΟ ΠΡΟΓΡΑΜΜΑ ΣΠΟΥΔΩΝ

ΠΑΝΕΠΙΣΤΗΜΙΟ ΠΕΙΡΑΙΑ ΤΜΗΜΑ ΟΙΚΟΝΟΜΙΚΗΣ ΕΠΙΣΤΗΜΗΣ ΠΡΟΓΡΑΜΜΑ ΜΕΤΑΠΤΥΧΙΑΚΩΝ ΣΠΟΥΔΩΝ ΟΙΚΟΝΟΜΙΚΗ ΚΑΙ ΕΠΙΧΕΙΡΗΣΙΑΚΗ ΣΤΡΑΤΗΓΙΚΗ ΔΙΠΛΩΜΑΤΙΚΗ ΕΡΓΑΣΙΑ

Introduction to the ML Estimation of ARMA processes

: Monte Carlo EM 313, Louis (1982) EM, EM Newton-Raphson, /. EM, 2 Monte Carlo EM Newton-Raphson, Monte Carlo EM, Monte Carlo EM, /. 3, Monte Carlo EM

2 ~ 8 Hz Hz. Blondet 1 Trombetti 2-4 Symans 5. = - M p. M p. s 2 x p. s 2 x t x t. + C p. sx p. + K p. x p. C p. s 2. x tp x t.

ΑΝΩΤΑΤΟ ΤΕΧΝΟΛΟΓΙΚΟ ΕΚΠΑΙΔΕΥΤΙΚΟ ΙΔΡΥΜΑ ΣΧΟΛΗ ΤΕΧΝΟΛΟΓΙΚΩΝ ΕΦΑΡΜΟΓΩΝ ΤΜΗΜΑ ΜΗΧΑΝΟΛΟΓΙΑΣ

Μια εισαγωγή στην ασύρματη δικτύωση. Δρ. Χατζημίσιος Περικλής

GPU. CUDA GPU GeForce GTX 580 GPU 2.67GHz Intel Core 2 Duo CPU E7300 CUDA. Parallelizing the Number Partitioning Problem for GPUs

Medium Data on Big Data

Buried Markov Model Pairwise

Analysis of energy consumption of telecommunications network and application of energy-saving techniques

ΒΙΟΓΡΑΦΙΚΟ ΣΗΜΕΙΩΜΑ ΠΡΟΣΩΠΙΚΑ ΣΤΟΙΧΕΙΑ ΣΠΟΥΔΕΣ

ΤΟ ΠΡΟΤΥΠΟ ΙΕΕΕ ΑΣΥΡΜΑΤΗΣ ΕΥΡΥΖΩΝΙΚΗΣ ΠΡΟΣΒΑΣΗΣ

YOU Wen-jie 1 2 JI Guo-li 1 YUAN Ming-shun 2

Optimization Investment of Football Lottery Game Online Combinatorial Optimization

I. Μητρώο Εξωτερικών Μελών της ημεδαπής για το γνωστικό αντικείμενο «Μη Γραμμικές Ελλειπτικές Διαφορικές Εξισώσεις»

Homomorphism in Intuitionistic Fuzzy Automata

ΚΟΝΤΟΚΩΣΤΑΣ ΔΗΜΗΤΡΙΟΣ - ΒΙΟΓΡΑΦΙΚΟ

Ο ΔΕΙΚΤΗΣ ΑΝΘΡΩΠΙΝΗΣ ΑΝΑΠΤΥΞΗΣ ΣΤΗΝ ΕΛΛΑΔΑ ΤΟ 1991 & 2001 HUMAN DEVELOPMENT INDEX IN GREECE IN 1991 & 2001

ΠΤΥΧΙΑΚΗ ΕΡΓΑΣΙΑ ΒΑΛΕΝΤΙΝΑ ΠΑΠΑΔΟΠΟΥΛΟΥ Α.Μ.: 09/061. Υπεύθυνος Καθηγητής: Σάββας Μακρίδης

Ένα µοντέλο Ισοδύναµης Χωρητικότητας για IEEE Ασύρµατα Δίκτυα. Εµµανουήλ Καφετζάκης

ΠΤΥΧΙΑΚΕΣ ΕΡΓΑΣΙΕΣ ΤΜΗΜΑΤΟΣ ΤΗΛΕΠΛΗΡΟΦΟΡΙΚΗΣ ΚΑΙ ΔΙΟΙΚΗΣΗΣ

Χρονολογικές Σειρές (Time Series) Lecture notes Φ.Κουντούρη 2008

ΟΙΚΟΝΟΜΙΚΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΑΘΗΝΩΝ

ΑΠΟΣΠΑΣΜΑ Π Ρ Α Κ Τ Ι Κ ΟΥ 3 ΤΟΥ ΣΥΜΒΟΥΛΙΟΥ ΣΧΟΛΗΣ ΤΕΧΝΟΛΟΓΙΚΩΝ ΕΦΑΡΜΟΓΩΝ

ΔΙΠΛΩΜΑΤΙΚΕΣ ΕΡΓΑΣΙΕΣ

Test Data Management in Practice

Development of a Seismic Data Analysis System for a Short-term Training for Researchers from Developing Countries

High order interpolation function for surface contact problem

ΤΟ ΤΡΑΠΕΖΙΚΟ ΣΥΣΤΗΜΑ- ΟΙ ΣΥΓΧΡΟΝΕΣ ΤΡΑΠΕΖΙΚΕΣ ΥΠΗΡΕΣΙΕΣ- ΧΡΗΜΑΤΟΙΚΟΝΟΜΙΚΉ ΑΝΑΛΥΣΗ ΤΩΝ ΤΕΣΣΑΡΩΝ ΣΥΣΤΗΜΙΚΩΝ ΤΡΑΠΕΖΩΝ

Arbitrage Analysis of Futures Market with Frictions

Bundle Adjustment for 3-D Reconstruction: Implementation and Evaluation

ΑΥΤΟΜΑΤΟΠΟΙΗΣΗ ΜΟΝΑΔΑΣ ΘΡΑΥΣΤΗΡΑ ΜΕ ΧΡΗΣΗ P.L.C. AUTOMATION OF A CRUSHER MODULE USING P.L.C.

MAC. MAC Protocol for Hidden Terminal Problem Alleviation using Transmission Pause Control in Wireless Multi Hop Networks

Summary of the model specified

ΤΕΧΝΟΛΟΓΙΚΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΥΠΡΟΥ ΣΧΟΛΗ ΓΕΩΤΕΧΝΙΚΩΝ ΕΠΙΣΤΗΜΩΝ ΚΑΙ ΔΙΑΧΕΙΡΙΣΗΣ ΠΕΡΙΒΑΛΛΟΝΤΟΣ. Πτυχιακή εργασία

Pb Chip Ferrite Inductor (MFI Series) Engineering Spec.

Reading Order Detection for Text Layout Excluded by Image

Quantum dot sensitized solar cells with efficiency over 12% based on tetraethyl orthosilicate additive in polysulfide electrolyte

Δρομολόγηση πακέτων σε ασύρματα δίκτυα ad hoc με κριτήρια εξασφάλισης ποιότητας επικοινωνίας και ελέγχου ενεργειακής κατανάλωσης.

Διπλωματική Εργασία του φοιτητή του Τμήματος Ηλεκτρολόγων Μηχανικών και Τεχνολογίας Υπολογιστών της Πολυτεχνικής Σχολής του Πανεπιστημίου Πατρών

Gro wth Properties of Typical Water Bloom Algae in Reclaimed Water

Vol. 30 No Journal of Jilin University Information Science Edition Sept. 2012

/MAC DoS. A Coding Scheme Using Matched Filter Resistant against DoS Attack to PHY/MAC Layer in Wireless Communications

User Behavior Analysis for a Large2scale Search Engine

HOSVD. Higher Order Data Classification Method with Autocorrelation Matrix Correcting on HOSVD. Junichi MORIGAKI and Kaoru KATAYAMA

ΔΘΝΙΚΗ ΥΟΛΗ ΓΗΜΟΙΑ ΓΙΟΙΚΗΗ ΚΑ ΔΚΠΑΙΓΔΤΣΙΚΗ ΔΙΡΑ ΣΔΛΙΚΗ ΔΡΓΑΙΑ

ΖΩΝΟΠΟΙΗΣΗ ΤΗΣ ΚΑΤΟΛΙΣΘΗΤΙΚΗΣ ΕΠΙΚΙΝΔΥΝΟΤΗΤΑΣ ΣΤΟ ΟΡΟΣ ΠΗΛΙΟ ΜΕ ΤΗ ΣΥΜΒΟΛΗ ΔΕΔΟΜΕΝΩΝ ΣΥΜΒΟΛΟΜΕΤΡΙΑΣ ΜΟΝΙΜΩΝ ΣΚΕΔΑΣΤΩΝ

Τεχνολογίες Υλοποίησης Αλγορίθµων

ΓΡΑΜΜΙΚΟΣ & ΔΙΚΤΥΑΚΟΣ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΣ

Microsoft Visual Studio Γιώργος Καµαρινός Developer Programs Marketing Manager Microsoft Hellas

ΠΟΛΥΤΕΧΝΕΙΟ ΚΡΗΤΗΣ ΣΧΟΛΗ ΜΗΧΑΝΙΚΩΝ ΠΕΡΙΒΑΛΛΟΝΤΟΣ

University of Macedonia Master Information Systems Networking Technologies Professors: A.A. Economides & A. Pomportsis

ΚΑΤΑΣΚΕΥΑΣΤΙΚΟΣ ΤΟΜΕΑΣ

Προϋπολογισµός Εταιρίας Πρακτική Εφαρµογή & Θεωρία

Motion analysis and simulation of a stratospheric airship

Χρονικές σειρές 8 Ο μάθημα: Μοντέλα κινητού μέσου

Applying Markov Decision Processes to Role-playing Game

4.6 Autoregressive Moving Average Model ARMA(1,1)

ΠΠΜ 511: Προγραµµατισµός και Διεύθυνση Κατασκευών

Analyze/Forecasting/Create Models

þÿ Ç»¹º ³µÃ ± : Ãż²» Ä Â

Transcript:

CN4321258/ TP ISSN 10072130X 2004 26 7 COMPUTER ENGINEERING & SCIENCE Vol126,No17,2004 10072130X(2004) 0720100205 MATLAB Ξ Application of Matlab in Analysing and Modeling Financial Time Sequences 1 2, LI Xing2xu 1, CUI Jian2fu 2 ( 1., 650221;2., 650091) ( 1. Yunnan University of Finance and Economics, Kunming 650221; 2. Department of Statistics, Yunnan University, Kunming 650091, China) MATLAB, MATLAB Abstract MATLAB is an outstanding mathematical computing tool. In this paper, we expatiate how to analyze and model financial time sequences with MATLAB. ;MATLAB ; ;ARMA ; GARCH Key words financial time sequence ;MATLAB ; technical analysis ; ARMA ; GARCH O245 A 1 MATLAB MathWorks MATLAB,,, MATLAB GARCH,MATLAB, ARMAX GARCH, ;, Eviews TSP,,, MAT2, 2 LAB, GARCH Ξ 2003204223 ; 2003206220 (2000A0003M) (1966 - ),,,, ;, 650221 ;Tel (0871) 5114941 ; E2mail xingxu1967 @sina. com Address School of Statistics and Information, Yunnan University of Finance and Economics, Kunming, Yunnan 650221,P. R. China 100

,, 3 MATLAB 2. 1 ( MACD) MACD (DIF) (DEA),DIF,DEA DIF MACD, DIF DEA, ;DIF DEA, 2 IBM DIF macdts = macd(tsobj, series - name) ; tsobj,series - name ; IBM 10/ 01/ 95212/ 31/ 95 ; macd - ibm = macd(part - ibm) ; plot (macd - ibm) ; 1 rsi - ibm = rsindex(part - ibm) ; plot (rsi - ibm) ; 3 IBM 3, { y ( t) } 1 t, 1 IBM, 2. 2 ( William s %R) 3. 1 William s %R 3. 1. 1, - 100 %0 %, (Autocorrelation Function, ACF) William s %R - 20 %, Cov[ y ( t), y ( t - k) ] k =, ;William s %R - 80 % [ V ( y ( t) ) V ( y ( t - k) ) ] 1/ 2,,, wpctrts = willpctr (tsobj, nperiods) ; nperiods(, 14) ; IBM William s %R wpctr - ibm = willpctr (part - ibm) ; plot (wpctr - ibm) ;datetick(x,mm/ dd/ yy ) ; 2 2. 3 ( RSI) RSI, rsits = rsindex(tsobj, nperiods,parametername, Parameter2 Value) ; nperiods ; IBM RSI ; y (1), y (2),, y ( T),, [ACF,Lags,Bounds] = autocorr (Series,nLags,M,nSTDs) Series,nLags( ) ACF,M( ) Lags > M, ACF 0, nstds( ) ACF ACF,Lags,Bounds ACF szzs. txt, 2000 szzs = ascii2fts(szzs. txt,1,3) ; part - szzs = szzs(01/ 04/ 2000 12/ 24/ 2000 ) ; closepri = fts2mtx (part - szzs. close) ; [ ACF,Lags, Bounds ] = autocorr ( closepri, ( length (closepri) - 1) ) ; autocorr (closepri, (length(closepri) - 1) ) ; Bounds = ( - 0. 1307,0. 1307), ACF Lag 4 101

[ PartialACF, Lags, Bounds] = parcorr (Series, nlags, R, nstds) ; PartialACF ; parcorr (closepri, (length(closepri) - 1) ) ; ACF, 2000 PACF 5 1 1 AR( na) MA( nc) ARMA( na, nc) 1, MATLAB ARMA ( na, nc) 4 3. 1. 2 (Partial ACF, PACF) m = armax( data, orders) k AR( k) y ( data, orders = [ na nc ] t) = < k1, na nc ; na = 0, y ( t - 1) + + < kk y ( MA( nc),nc = 0 t - k) + t < kk, <, AR ( na) m kk, FPE Akaike Yule2Walker, 2000 ACF (4) PACF ( 5), closepri, ACF PACF logclose = log(closepri) ; subplot (2,1,1) ; autocorr (logclose) ; subplot (2, 1, 2) ; parcorr (logclose) ; 6 log (closepri) ACF, AR( na), 2,,ARIMA(2,0) M = armax(logclose,[2 0 ]) A ( q) = 1-1. 147 q - 1 + 0. 1468 q - 2 5 3. 2 na [AR ( na) ] A ( q) y ( t) = e ( t), A ( q) = 1 + a 1 q - 1 + a 2 q - 2 + + a na q - na, a i < 1, q, q - m =( y ( t) = C ( q) e ( t), C ( q) = 1 + c 1 q - 1 + + c nc q - nc, ARCH AR( na) MA ( nc), AR2 (Generalized ARCH, GARCH) (Bollerselv, MA( na, nc) A ( q) y ( t) = C ( q) e ( t) 6 closepri ACF PACF 3. 3 ARCH( q) ), q - m y ( t) = y ( t - m), e ( t) WN (0, 2 y ( t) = + t U t ),, U t, t, E { e ( t) }, ( U t ) = 0, V ( u t ) = 1, t = ( 0 + nc [MA ( nc) ] q i = 1 a i ( y ( t - i) - u) 2 ) 1/ 2,ARCH, 1986,1988) GARCH( p, q) 2 t = q i =1 a i p j =1 j 2 t - j 102 0 + 2 t - i +

, p > 0 j 0,1 j p, y ( t) = 0. 0018753 + t, 2 t - 2. 0624 e - 005, + 0. 50595 2 t - 1 + 0. 49405 2 t - 1, (3), GARCH,garchfit, GARCH (LLF) (innova2 ( Fat tions) ( sigma), garchplot Tails) (Volatility Clustering) garchplot (innovations, sigma) MATLAB GARCH 8, GARCH 2000,, plot (innovations. / sigma), (1), 9 returnmtx = price2ret (closepri) ; % Create the daily return vector returnmtx subplot (2,2,1) ; plot (returnmtx) ; title (The Daily Return ) ; subplot(2,2,2) ; autocorr ( returnmtx) ; title (ACF of Daily Re2 turn ) ; subplot (2,2,3) ; parcorr (returnmtx) ; title (PACF of the Daily Re2 turn ) ; subplot (2,2,4) ; autocorr (returnmtx.^2) ; title (ACF of the Square of Daily Return ) ; 8 7 2000 7,, ACF PACF, ACF 9, Q2 ARCH Q2 ARCH [ H,pValue, Stat, CriticalValue ] = lbqtest ( returnmtx2mean ( return2 mtx),[10 15 20 ],0. 05) [ H,pValue,Stat,CriticalValue ] = archtest ( returnmtx2mean ( return2 mtx),[10 15 20 ],0. 05) Q2 0 0. 071 4 17. 134 1 18. 307 0 0 0. 193 2 19. 469 4 24. 995 8 0 0. 058 0 30. 788 6 31. 410 4 ARCH 1. 0 0. 001 5 28. 586 8 18. 307 0 1. 0 0. 010 2 30. 505 0 24. 995 8 1. 0 0. 018 5 35. 319 0 31. 410 4, ARCH Q2 H = 0, ; ARCH H = 1, ARCH (2) [coeff, errors, LLF, innovations, sigma, summary] = garchfit (re2 turnmtx) ; garchdisp (coeff, errors) [ H,pValue,Stat,CriticalValue ] = lbqtest ( (innovations. / sigma). ^ 2,[10 15 20 ],0. 05) [ H, pvalue, Stat, CriticalValue ] = archtest (innovations. / sigma, [10 15 20 ],0. 05) ; Q2 0 0. 980 8 3. 027 6 18. 307 0 0 0. 997 3 4. 113 2 24. 995 8 0 0. 989 7 8. 300 0 31. 410 4 ARCH 0 0. 970 8 3. 386 0 18. 307 0 0 0. 995 7 4. 487 0 24. 995 8 0 0. 995 5 7. 310 9 31. 410 4 H = 0, GARCH(1,1) 4, MATLAB GARCH(1,1), 103

, AP AP, t1 m MATLAB 3, ( ),,MATLAB, [1 ] []T C Mills... 2 [M].,2002. [2 ]. MATLAB 6. 0 [M].,2001. [3 ] [] G E P Box,.. [M].,1997. ( 99 ) ( vgc) AP1 ( t1, s1, m) t ( t ) MS ( t, s) ( gm rmovem ( smove, t) AP2 ( t, s2, m) t ( vgc) AP1 ( t1, s1, m) MS ( t, s) ( gm rmovem ( smove, t) AP2 ( t, s2, m) ( vgc) gm ( smove, t) IdentAP1 ( s1, m) MS ( t, s) m ( smove, t) AP2 ( t, s2, m) ( vgc) IdentAP1 ( s1, m) MS ( t2, s) AP2 ( t2, s2, m) System2, 2 3 2 Handoff 3 Handoff 2 MS AP, ;,MS s, ( select = true), AP,, 3 t2 ;, 104 5,, 802. 11MAC,,,,, [1 ] R Milner, J Parrow, D Walker. A Calculus of Mobile Processes [A]. Information and Computation[M]. 1992. [2 ] D Sangiorgi,D Walker. The 2Calculus A Theory of Mobile Pro2 cesses[m]. Cambridge University Press, 2001. [ 3 ] R Milner. Communicating and Mobile Systems The 2Calculus [M]. Cambridge University Press, 1999. [4 ] M Abadi,A D Gordon. A Calculus for Cryptographic Protocols The Spi 2Calculus[A]. Information and Computation[M]. 1999. [5 ] L Cardelli, S D Gordon. Mobile Ambient[A]. Proc of Foundations of Software Science and Computation Structures ( ToSSaCS), Euro2 pean Joint Conf on Theory and Practice of Software[ C]. 1998. [6 ] C Fournet,G Gonthier. The Receive CHAM and the Join Calculus [ A ]. 23rd ACM Symp on Principles of Programming Languages (POPL 96) [ C]. 1996. [7 ] Engberg,Nielsen. A Calculus of Communicating Systems with Label Passing[ R ]. Research Report DAIMI PB2208, Computing Science Department,University of Aarhus,1986. [8 ] C A R Hoare. Communicating Sequential Processes[M]. Prentice2 Hall International,1985. [9 ] R Milner. Communication and Concurrency[M]. Prentice2Hall In2 ternational,1989. [10 ] IEEE 802. 11. Part 11 Wireless LAN Medium Access Control (MAC) and Physical Layer (PHY) Specifications[ S]. 1999. [11 ] IEEE. Recommended Practice for Multi2Vendor Access Point In2 teroperability via an Inter2Access Point Protocol Across Distribu2 tion Systems Supporting IEEE 802. 11 Operation[ Z]. IEEE Draft 802. 1f/ D3,2002.