{"title":"基于高阶多型π演算建模的Ad hoc网络认知模型研究","authors":"Guosheng Zhao, N. Zhang, L. Sheng","doi":"10.1109/ICAIOT.2015.7111556","DOIUrl":null,"url":null,"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.","PeriodicalId":310429,"journal":{"name":"Proceedings of 2015 International Conference on Intelligent Computing and Internet of Things","volume":"111 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2015-05-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"1","resultStr":"{\"title\":\"Study of cognitive model for Ad hoc network based on high-order multi-type π calculus modeling\",\"authors\":\"Guosheng Zhao, N. Zhang, L. Sheng\",\"doi\":\"10.1109/ICAIOT.2015.7111556\",\"DOIUrl\":null,\"url\":null,\"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.\",\"PeriodicalId\":310429,\"journal\":{\"name\":\"Proceedings of 2015 International Conference on Intelligent Computing and Internet of Things\",\"volume\":\"111 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2015-05-25\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"1\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Proceedings of 2015 International Conference on Intelligent Computing and Internet of Things\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/ICAIOT.2015.7111556\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Proceedings of 2015 International Conference on Intelligent Computing and Internet of Things","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/ICAIOT.2015.7111556","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
Study of cognitive model for Ad hoc network based on high-order multi-type π calculus modeling
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.