VANET信息广播模型定量验证方法

Abstract

Abstract: Aiming at the characteristics in vehicular ad hoc networks (VANET) such as randomness and uncertainty of sending and receiving information, high speed movement of VAENT node and fast topology change, we proposed a quantitative verification method based on model detection. In order to improve the reliability of VANET broadcast protocol information transmission, the IPTA model of interval probabilistic real\|time automata was used to represent the nodes in the VANET, and using the interval probability to represent the probability of automatic state transition. We verified the successful probability of sending and receiving broadcast information in VANET, and proved the feasibility of the method.

Key words: interval probabilistic real-time automata, quantitative modeling and verification, interval probabilistic distribution, vehicular ad hoc networks (VANET)

CLC Number:

TP311

WANG Xiaotian, ZHAO Yingying, HAN Xiao. Quantitative Verification Method for InformationBroadcasting Model in VANET[J].Journal of Jilin University Science Edition, 2017, 55(05): 1255-1260.

[1]	YANG Guang, JIA Yanxin, CHEN Xiang, XU Shuyuan. Stack Overflow Question Post Classification Method Based on Deep Learning [J]. Journal of Jilin University Science Edition, 2021, 59(4): 922-928.
[2]	LI Fang, QU Yubin, CHEN Xiang, LI Long, YANG Fan. A Sentiment Analysis Method Based on Class Imbalance Learning [J]. Journal of Jilin University Science Edition, 2021, 59(4): 929-935.
[3]	QU Yubin, CHEN Xiang, LI Long. Cross-Version Software Defect Prediction Method for Relieving Class Overlap Problem [J]. Journal of Jilin University Science Edition, 2021, 59(2): 372-378.
[4]	HE Kaiqi, MA Yuxiao, ZHANG Yan, LIU Huaxiao. A Data-Based Personalized Mixed Recommendation Method for GitHub Projects [J]. Journal of Jilin University Science Edition, 2020, 58(6): 1399-1406.
[5]	HU Huangshui, ZHAO Siyuan, LIU Qingxue, WANG Chuhang, WANG Tingting. BP Neural Network PID Parameter Tuning Algorithm Based on Momentum Factor Optimized Learning Rate [J]. Journal of Jilin University Science Edition, 2020, 58(6): 1415-1420.
[6]	MU Xiangyu, FAN Yu, LI Suji, ZHANG Peng, LIU Lei. Method of Generating Metamorphic Relationship Based on Gradient Descent Algorithm [J]. Journal of Jilin University Science Edition, 2020, 58(6): 1429-1435.
[7]	WANG Yiming, CHU Jianfeng, WANG Yongjun, CHEN Yandong. Efficient Blockchain Consensus Algorithm Based on Directed Acyclic Graph [J]. Journal of Jilin University Science Edition, 2020, 58(5): 1167-1172.
[8]	LUO Jiaohuang. Distributed Algorithm of Coarse Granularity DataBased on Convolutional Neural Network [J]. Journal of Jilin University Science Edition, 2020, 58(4): 906-912.
[9]	WU Chunqiong. Characteristic Trend Reasoning Algorithm for LargeScale Data [J]. Journal of Jilin University Science Edition, 2020, 58(2): 364-370.
[10]	CHU Xi, ZHOU Zhixiang, DENG Guojun, SHAO Shuai. Improved Algorithm for Intelligent Detection ofDiscontinuous Edges of Blurred Images#br# [J]. Journal of Jilin University Science Edition, 2019, 57(04): 875-881.
[11]	LIU Liangfeng, LIU Sanyang. ynamic Fuzzy Clustering AlgorithmBased on Weighted Difference Degree [J]. Journal of Jilin University Science Edition, 2019, 57(3): 574-582.
[12]	WEI Xiaohui, XU Guowei, WANG Xingwang, XU Haixiao. Link Prediction Based on Time Series Combined\=from Node Similarities and Link Number [J]. Journal of Jilin University Science Edition, 2019, 57(3): 583-590.
[13]	LIU Jiubiao. Reverse Nearest Neighbor Clustering Method of Spatial Database [J]. Journal of Jilin University Science Edition, 2019, 57(2): 387-392.
[14]	ZHANG Shizheng. Image Restoration Algorithm Based on Displacement Hermitian Splitting [J]. Journal of Jilin University Science Edition, 2019, 57(1): 97-104.
[15]	WANG Xiaotian, BIAN Siyu. PID Parameters Selftuning Based onGenetic Algorithm and Neural Network [J]. Journal of Jilin University Science Edition, 2018, 56(4): 953-958.

Quantitative Verification Method for InformationBroadcasting Model in VANET

PDF (PC)

Like

Knowledge

Abstract

Cite this article

share this article

References

Related Articles 15

Metrics

Comments

Recommended 10