关于3G与WLAN网络融合的安全性分析及形式化方法的应用-3G and WLAN networks on the integration of security analysis and the application of formal methods

小波分析是当前应用数学和工程学科中一个迅速发展的新领域，经过近10年的探索研究，重要的数学形式化体系已经建立，理论基础更加扎实。-Wavelet analysis is a new field currently applied mathematics and engineering disciplines in a rapidly evolving, after nearly 10 years of exploration and research, important mathematica