There are more and more districts being constructed to provide students with comfortable environment to study and live in   . In a meanwhile, it becomes further and further from one district to another, which makes it inconvenient for students and professors to travel in the campus  . As people need to come and go to different districts in a short period of time, the school bus has become the most important means of transportation  . Accordingly, the optimization of its schedule is badly needed to convenient those who take the bus  .
According to literatures, problems of the optimization of distributions of the bus stations, dispatches and routes of the buses have already been discussed for many times  . And good algorithms are given by the predecessors, such as classic VRP (Vehicle Routing Problem) Algorithm  and complex SBRP Algorithm  . However, only few literatures that focus on predicting peak time of people taking the buses can be founded. The main problem exists in school buses in some universities is that the number of buses is not big enough when it comes to peak time while it is too much when it comes to non-peak time due to the irrational dispatch. Thus, a martingale process based on collected data is established and it can predict peak time of the day according to stopping time theory  .
2. The Peak Time Prediction Model
2.1. Definitions of Peak Time
The phenomenon of being crowded and short of buses in a time when there are a large amount of people arriving at the station continuously in adjacent period of time is of a high possibility to happen in-campus according to some literatures  . Thus, a peak time is defined as a period of time when there are more than ai people arriving at the station continuously in adjacent L unit of time. Where i is the ith workday, ai is a threshold that stands the number of people taking the school bus in adjacent L continuous unit of time on the ith workday, which is related to real situations.
2.2. The Establishment of the Model
In order to establish our model, several variables are assumed as follows (Table 1):
As it is inferred in 3.1 that a peak time is a period of time when there are more than ai people arriving at the station continuously in adjacent L unit of time, it can be concluded that the total number of people taking the school bus in adjacent L unit of time should be when it comes to peak time. That is:
Hence, the peak time prediction model on the ith workday can be expressed as:
2.3. Model Solving
The stopping time theory of martingale process is applied to solve the model.
2.3.1. Establishment of Martingale Process
At first, a stochastic process L: is defined, where
Table 1. Symbol description.
In a meanwhile, it can be concluded that:
It is obvious that .
Then a martingale process can be stablished:
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.