%0 Journal Article
%T 带π演算验证的fmipv6优化方案
%A 李向丽
%A 王晓燕
%A 王正斌
%A 屈智巍
%J 计算机应用
%D 2012
%X ？为解决fmipv6的切换延迟长和丢包率高的问题，提出一种改进方案pi-fmipv6。该方案通过引入信息学习机制、绑定代理机制及隧道定时器，将转交地址配置、重复地址检测、绑定注册等工作提前完成，并合理设置隧道生存期，优化了fmipv6切换流程。通过π演算对pi-fmipv6方案进行数学模型定义和推导，证明了pi-fmipv6方案的规范性和严谨性。同时，ns-2仿真结果表明，改进方案pi-fmipv6相对原fmipv6方案减少至少60.7%的切换延迟和61.5%的丢包率，验证了其性能优于fmipv6，更好地满足了实时业务的需求。
%K 信息学习
%K 隧道定时器
%K 绑定代理
%K π演算
%U http://www.joca.cn/CN/abstract/abstract15752.shtml