Study of cognitive model for Ad hoc network based on high-order multi-type π calculus modeling

Abstract

This paper proposed a cognitive model for Ad hoc network, and combined formal modeling of cognitive model with quantitative analysis of cognitive performance, thus at the same time of formal modeling through quantitative analysis obtained Ad hoc network cognitive performance parameters.