2.3.2. Prove of Being a Martingale Process
At first, it is known that:
According to literature  , . Thus, regulate that .
Then it can be proved that is a martingale process, that is to prove
According to (5), it is clear that:
while it is known that:
Hence, it can be concluded that:
As , it is clear that:
From what have been discussed above, is proved to be a mar-
tingale process and .
2.3.3. is a Stopping Time of and Suits What Stopping Time Theory Require
The demonstration can be founded in literature  .
At first, proof of is needed.
According to (4), it can be concluded that:
As means there are continuously L units of ai, Ni is the first
time of a day that have continuously L units of ai on the ith day of a week. Therefore, only when , it can concluded that .
As for , as , it is clear that:
According to definition of and , it is obvious that . Thus, it is clear that:
According to what have been discussed above, it is known that:
As is a stopping time of and suits what stopping time theory require, it is obvious that:
3. Empirical Analysis
3.1. Taking Wuhan University of Technology for Example
Taking Wuhan University of Technology for example, it has 4 districts in Ma Fangshan district, which are Nan Hu district, Jian Hu district, Dong Yuan district and Xi Yuan district, and it also contains an accommodation area for students outside of the campus named Shengsheng. It can be clearly seen from the distribution of the school that the need for students to take the school bus is very urgent as there are 5 districts. Therefore, a good dispatch of the school bus is of a great importance.
To collect data, the number of people those take the school bus in every 3 minutes, from Monday to Friday, 7:30 a.m. to 9:00 a.m. is recorded. By using martingale process to predict peak time for each day, the schedule of the departure time can be optimized.
The data was collected in Nan Hu district, as it is the biggest district of the 5 ones and holds the largest population. There are 14 school buses in Wuhan University of Technology. According to our research, the average traffic for each day can be obtained. After studying on the data, it appears to relate to the total number of courses of the whole school, which makes sense.
3.2. The Determine of ai
Analyzing the data, ai is related to the real situations. Therefore, the values of ai combine with the real situations are determined.
As the number of courses is of a large amount in Monday, the traffic should be largest of the weak. Thus, a peak time for Monday is a period of time when there are more than 9 people arriving at the station continuously in adjacent L unit of time.
As the number of courses is not very crowded in Tuesday and Wednesday, a peak time for Tuesday and Wednesday is a period of time when there are more than 7 people arriving at the station continuously in adjacent L unit of time.
As most professors have their meetings on Thursday, the number of courses is not very large. Thus, a peak time for Thursday is a period of time when there are more than 5 people arriving at the station continuously in adjacent L unit of time.
As there are usually have practical courses on Friday, traffic is a little larger than Thursday. Thus, a peak time for Friday is a period of time when there are more than 6 people arriving at the station continuously in adjacent L unit of time.
That is Table 2.
3.3. The Determine of L
The value of ai has been determined by the feature of the data in section 3.2 while the value of L is not. According to what have been observed in each school bus station in Wuhan University of Technology, it will significantly be crowded when there are ai person arriving at the station to wait for the bus continuously in adjacent 3 unit of time. Thus L is determined as:
3.4. Results and Conclusions
Applying the model in section 2, the peak time for each day is predicted as shown in the Table 3.
It can be seen from the table that the peak time for Monday is around 12:05 and 17:25. T the peak time for Tuesday is around 10:33, the peak time for Wednesday is around 14:33, the peak time for Thursday is around 17:25 and the peak time for Friday is around 11:23. According to our research, it is corresponded to the real situation.
As for the occurrence of 2 peak times on Monday, according to the collected data, there are usually more people taking the bus on Monday in Wuhan University of Technology, thus there are 2 peak times that 9 person arrives at the station continuously in adjacent 3 unit of time in the original data. In this way, there are 2 peak times predicted by the model.
4. Conclusions and Suggestions
A peak time prediction model based on martingale process is established and solved with the stopping time theory. Taking Wuhan University of Technology for example, the peak time for each day is predicted by applying the model.
The suggestion is to reduce the time for departure to increase the trips when it comes to peak times. In this way, the efficiency of the school bus will increase and the cost will decrease at the same time. It will also provide a lot of convenience for students and professors. Besides, it is also suggested that students should prevent these time to take the school bus as far as possible.
The paper is financially supported by Students innovation and entrepreneurship
Table 2. The determine of ai.
Table 3. The prediction of the peak time for each day.
training program, Wuhan University of Technology, China (No.166814007).
 School of Economics and Management, Henan University of Science and Technology (2013) Research on the Model and Algorithm of School Bus Routing Problem. Journal of Henan University (Natural Science Edition), 43, 682-691.