1. Introduction
Development of intelligent approaches to strategic planning of transport flows and operational decision support systems in logistics fulfils the goal of taking a leading position in the development and use of air and space, the World Ocean, the Arctic and Antarctic. It is necessary to solve multidimensional tasks of air flow planning in order to enhance the connectivity of Russian Federation regions due to long distances and a high number of small localities with poor road infrastructure. The effectiveness of present-day air transport systems is greatly enhanced by the potential of particular aircraft modifications, as well as by a reasonable approach to planning and controlling air transport complexes.
The modeling of transport flows and the evaluation of modeling results is complicated by a significant proportion of uncertain factors. These include pandemics, fundamental changes in the economy, and unpredictable political and military changes. Probabilistic estimates of these uncertainties are not always possible due to the uniqueness of situations and the lack of necessary statistical data.
The topic is important because airlines and government agencies have to make decisions on the planning of new air routes and on the assignment of certain types of aircraft to these routes. The implementation of these decisions requires a significant investment of time and money. In addition, not only do we need to offer specific recommendations to the decision maker, but also information about how much confidence we can have in estimates of the consequences of these decisions.
The research questions are:
- (1)
How, in the form of fuzzy numbers, we can estimate passenger flow between points in the transport network, based on information about traffic flows on separate arcs of the graph. Since how many passengers are forced to use some arcs for their transit, we calculate fuzzy estimates of passenger flow;
- (2)
how, based on fuzzy estimates, decisions can be made to modify the transportation graph by adding new arcs;
- (3)
how to evaluate the consequences of the decisions made in the form of fuzzy multi-criteria estimates.
This paper studies:
- (1)
real passenger flows using the transport graph of passenger air travel in Russia for 2017–2020;
- (2)
various methods of reconstructing the origin–destination matrix proposed by other scientists.
The contribution is a new method for obtaining fuzzy estimates of correspondences, through formalization and solution of a number of optimization problems of linear programming.
This method offers decision support for improving the transport infrastructure, taking into account the possible degree of uncertainty of the situation, and is well scaled when implemented in the software on modern computing systems.
2. Literature Review
The primary task which it is necessary to face in the creation of transport models is the formation of an origin–destination (OD) matrix. This problem is usually solved by classical methods proposed by researchers in road transport—these are approaches based on gravity and entropy models [
1]. The gravitational model attempts to find an analogy between classical physical forces of mass attraction and the attraction of people to certain areas of residence or work [
2]. However, the application of this approach to air travel is questionable. To travel in a city, it is natural to assume that the attraction to easily accessible areas is greater, but at longer distances other criteria work. There is no reason to believe that the attraction of passengers to a resort city has an inverse quadratic dependence on the cost of achieving it. Another criterion for determination of correspondence is the use of the approach based on maximum entropy, which corresponds to the attempt to find an analogy with thermodynamics, when the system tries to reach the equilibrium state with maximum entropy [
3]. For the “conditionally chaotic” motion of machines, such considerations may be fair, but in air transport we face greater “regularity”, due to the system of values of airlines and regulators. Nanda and Kikuchi developed a two-stage method which applied a fuzzy logic to the distribution of trips [
4]. The authors believed that, if at the first stage the scheme of movement is known, at the second level it is possible to estimate the OD matrix. However, to use their model experts are needed who can specify the input and output fuzzy flow for each vertex of the transport graph. Setting fuzzy numbers by experts is a non-trivial task, and it is also problematic to ensure the expert is conscientious and competent. Other researchers tested a fuzzy logic approach to evaluate the OD matrix of air passenger flows using known production and attraction methods [
5]. They found that the distribution of trips by traffic quantity scientists created a two-level output model based on fuzzy logic and entropy maximization. A general method for generating fuzzy rules from numerical data was proposed, and the same method was then applied to process the distribution of trips and modal selection [
6]. However, the use of fuzzy rules also requires the involvement of experts. Rearrangement of the fuzzy rules of movements along the transport graph is certainly a simpler task for the expert than specifying fuzzy numbers in [
4], but when using this approach there is still a need for a detailed survey by competent experts.
In 2008 [
7], scientists proved that fuzzy logic copes well in studying discretionary travel, after various works on the distribution of trips using the fuzzy approach in 2010 [
8] expanded its application to four stages of transport modeling and showed its practicality. In 2011 [
9], Jassbi et al. introduced a three-phase fuzzy output model to compare social and demographic variables with OD traps. In 2012 [
10], Kalic et al. reviewed fuzzy logic for both the generation and distribution of a trip and provided evidence for the practicality of this approach. In 2016, in order to estimate the OD matrix [
11], Salini et al. tried the fuzzy rule-based approach in a case study and obtained better results than those of the gravity model. Moreover, they were able to see the impact of income on travel distribution. These papers use social and economic aspects of people’s behavior, which again suggest fuzzy rules for finding fuzzy correspondences, with the authors of the papers acting as experts.
In 2013 [
12], Foulds et al. considered the estimation of the OD matrix in overloaded city networks where input data are incomplete, and used an iterative linear approach. These approaches are more suitable for estimating traffic flows in urban agglomerations than for global or regional air travel.
Determining the real needs for air traffic allows us to solve the problems of scheduling and assigning crews to flights in the future. In [
13], interesting formulations of aviation problems were proposed, which are solved when it is known which flights exist. In the present paper, too, an optimization problem similar to the scheduling problem is solved, whereas this is a primary problem, when there are no flights as yet and we try to determine requirements.
The importance of developing methods for multicriteria analysis of alternatives for evaluating decisions to reduce harmful emissions is well demonstrated in [
14]. The definition of a fuzzy OD matrix will make it possible to obtain the required estimates, including those for evaluating the efficiency of zero-carbon transport.
The aviation industry has quite detailed statistics on air transportation between individual airports. In Russia (in the form of 14GA) and in the U.S. (in the T-100 data bank) these data are collected monthly by aviation authorities. However, it is problematic to understand how many passengers are forced to transit. For a percentage of passengers, it is possible to use boarding coupon data, but usually this is unavailable, so the sample is very limited [
15]. Often an OD matrix is found through marketing surveys, but such surveys involve a fairly limited number of individuals.
Besides, classical methods for solving this problem, although they give an answer, do not allow an estimation of the degree of uncertainty of the answer.
3. Materials and Methods
Given the attached, oriented graph, for each arc there is a flow during a given unit of time: for the current applied air transport task this is the number of passengers per month between given airports, the top of the graph representing these airports. It is necessary to find an origin–destination matrix between these represented airports: how many people have moved between the given target start and target end.
Let us enter the notation: D = {d} set of arcs of the graph, and xij are the elements of the OD matrix to be found, i.e., a flow from point i to point j (xij ≥ 0). In general, this is the total flow from i to j on all routes. If i = j, then xij = 0. Vd is a thread, known to us by the arc d.
The solution of the problem must satisfy the system of equations:
where
is the fraction of a stream from vertex
i to vertex
j which uses arc
d. Usually the fraction is determined by the economic feasibility and comfort of using arc
d on the route from vertex
i to vertex
j. In the case of air travel, expediency is the cost of air tickets and the duration of the route. For the simplest way to determine the shares, it is necessary to take the Pareto optimal routes and divide the shares between them. A more accurate solution, in case of a large number of non-dominant alternatives, is to use methods of multi-criteria analysis, including the method of fuzzy areas of preference proposed by the authors of [
16].
In the current version of testing air transport models, the shortest in terms of number of route segments from the vertex i to the vertex j is taken as , while for the rest this is .
The above system from |D| equations would give an unambiguous solution if the number of equations were the same as the number of unknowns, but in practice there are usually more variables than equations. Therefore, there is no unambiguous solution.
Let define the flow from the vertex to the vertex in the form of a fuzzy number. We do not know these values, but we want to find them. Since we know the exact values of flows on each arc of the current transport network, it is possible that the real value of the needs for transportation from the vertex to the vertex belongs to some interval . is the minimum possible stream from the vertex to the vertex . is the maximum possible stream from the vertex to the vertex .
To search for a solution, it is suggested that we define the fuzzy origin–destination:
The membership function will have the triangular form:
Constraints (1) do not allow us to go beyond a certain interval. Some value of transportation will be the most possible. Intermediate values may not belong to a linear function, but taking into account a large degree of uncertainty, the accuracy is not so important and we can consider the membership function as linear at two intervals.
The left boundaries are found by solving linear optimization tasks (4) with limits (1) for each fixed combination of
i* and
j* values:
Within the framework of one optimization problem, we need to find the minimum value for one fixed variable
with fixed indices
; at the same time we can vary all variables
(
) within constraints (1). We solve such optimization problems with as many combinations of
values as possible. For example, for three vertices (
n = 3), the following tasks are solved:
The right boundaries are found by solving linear optimization tasks (4) with the same limitations (1):
For the graph, if the number of vertices is n, it is necessary to solve n(n − 1) optimization problems.
For some correspondences, it may turn out that
If
, it is necessary to select some value
from the range
such that
. This choice can be conditioned by a priori information about population migration. The information can be presented in an expert form, and it is acceptable to apply approaches to coordination of the expert estimates [
17]; the “experts” can also be strategic considerations which are used by the owner of the problem in the task of decision support.
Let us suppose a “generalized scenario” such as this:
The sign ≅ means approximate equality, because the selected may not be compatible in terms of the main restriction (1). and is the importance of shifting the highest possible estimate up () or down (). It follows from condition (9) that . The task to improve the connectivity of the regions is to consider the scenario when for , corresponding to a large transport hub, the load which we want to reduce, and , for the vertex of the graph whose connectivity we want to increase. If there are no considerations, we can choose .
Let us denote the highest possible grade:
Final scores
are calculated by solving an optimization task:
with restriction (1).
The absolute value function
is not a linear function, but the task can be brought to a linear form, and for this purpose we will enter 2 classes of technical additional variables
Let us add a restriction:
The target function (10) will be rewritten in the form:
The resulting task is equivalent to the original one, and the optimization algorithm will always get either or equal to zero and minimize the remaining non-zero variable.
The alternative formulation is oriented to minimize, not the total, but the largest deviation from the “ideal” solution:
This can also be reduced to a linear form by adding binary variables, so we can get a mixed integer linear problem. The choice of the type of target function (12) or (16) must be conditioned by the requirements of the decision maker for further application of the transport modeling results.
To estimate the passenger flow from the formal point of view, a restriction of the integer of optimization variables should be added. However, in the case of analysis of columns with hundreds and thousands of passengers on each arc, such accuracy has no practical value and the decision is simply rounded.
Software implementation of this mathematical model of fuzzy origin–destination calculation was developed in Python 3. SCIP Optimization Suite [
18] was used as the optimization package. This package provides an opportunity to solve the problems of linear general algorithm for mixed integer programming. It is free for non-commercial use and comes with an open source code. The PySCIPOpt integration module with open source allows combined source data preparation using fast Python generator expressions and solution of optimization tasks in one program.
The software implementation was placed on the portal of web methods of decision support WS-DSS [
19]. This portal was developed by one of the authors of the article and allows the running of software implementation of mathematical models, building sequential and parallel chains of module launch, with the transfer of parameters between them. The portal is written in Ruby to organize the call of the computational modules task manager Sidekiq, based on NoSQL. In Memory database, Redis is used, which provides high performance. In addition to modules in Python, the launch of modules in Ruby, R, C++ is implemented. With the help of Open Source Ruby on Rail framework, the ability to run models asynchronously through the RESTful API is implemented. Input and output parameters are transmitted in JSON and CSV formats. The results are saved to the PostgreSQL database.
Figure 1 shows a flowchart of the proposed method.
The general algorithm for software operation is as follows:
The web server WS-DSS receives an HTTP POST request with the source data for the task. In response, a unique ID of the created task is returned to the client.
WS-DSS forms the task for calculation in Sidekiq.
The Sidekiq workflow starts the calculation module in Python
An array of traffic volumes Vd through all arcs d is formed.
With the help of the NetworkX package using Dijkstra’s algorithm, all shortest paths between all nodes are calculated.
To fill in parameters, for all d, whether it is included in the shortest path from node i to node j is checked. If the answer is yes, then , where k is the total number of shortest paths from i to j.
Formation of constraints (1).
Calculation . Formation of the target function (4) solution of the obtained optimization task for all combinations of i* and j* values.
Calculation of . Formation of the target function (6) solution of the obtained optimization task for all combinations of i* and j* values.
Calculation of parameters by formula (11).
Formation of constraints (14)
Search by solving optimization (13) with restrictions (14) and (1).
Save the obtained in a PostgreSQL database.
Returning the received solution by HTTP request from GET client with ID task. If the solution is not yet received at the time of the request, a special status of ‘waiting for the result’ will be returned.
If necessary, the client can make an HTTP PUT request with the modified data for recalculation. The number of tasks for an ordinary user is limited to 10.
4. Results
The testing of the system was carried out according to the data on air traffic in Russia between seven airports:
Ekaterinburg,
Mineralnye Vody,
Moscow,
Omsk,
Samara,
Syktyvkar,
Makhachkala.
City numbers
i correspond to the ordinal numbers in the list. July 2019 was chosen for analysis, as July is a rather busy month, and the data of 2020, due to the coronavirus pandemic, were too small for representative analysis.
Figure 2 shows a graph of existing routes between cities.
As we can see from
Figure 1, not all cities from this list are currently connected by direct flights. At the same time, it is known that in the 1990s there were additional direct flights, for example, between 2 and 5 and 2 and 7, which are currently missing. The information from the origin–destination matrix will allow estimation of the expediency of these flights’ revival and and understanding pf what types of aircraft it is more expedient to develop.
Origin–destination between the specified cities obtained as a result of the optimization tasks is shown in
Table 1.
As can be seen from
Table 1, missing routes 2 and 5 and 2 and 7 have some potential, but the degree of uncertainty is quite high and should be taken into account when planning management decisions based on the results obtained.
On solving search tasks for different time periods, we can build forecasts based on fuzzy regression models and to carry out “fuzzy” smoothing of origin–destination fluctuations in search of rational models of transport and logistic systems development.
The fuzzy origin–destination matrix obtained in this paper allows the solution of the following problems:
optimal route planning,
rational scheduling,
assessment of aircraft import substitution prospects,
analysis of possibilities to replace outdated aircraft equipment,
support for decision making on modernization of existing transport infrastructure.
Let us consider a problem in deciding which of the new routes is more appropriate to add to the existing graph.
The final score is calculated using the standard fuzzy weighted sum formula
where
is the fuzzy evaluation of the new route
d by criterion
I,
is the fuzzy weight of criterion
i, and
is the final evaluation of the new route
d.
The rules of summation and the work of fuzzy numbers are executed on the basis of the principle of communication [
20]. Here is the membership function and corresponding operation:
where
η is the operation to be applied (in this case
is the multiplication and for the calculation
is the sum),
are the values to which the required operation is applied,
is the membership function for fuzzy values,
is the membership function for the result of the operation
.
—is an intersection operation for the membership functions. In this work this is min, but there are other types of this operation [
21].
Let us set the triangular membership functions to the fuzzy preference of the Pc development of direct air traffic with the corresponding city:
P1 = <0.10, 0.50, 0.55>,
P2 = <0.30, 0.70, 0.10>,
P4 = <0.50, 0.90, 1.00>,
P5 = <0.10, 0.60, 0.70>,
P6 = <0.10, 0.40, 0.70>,
P7 = <0.00, 0.20, 0.40>.
For the third city there is no specified preference, because it already has links with all cities. The preferences of the cities will be determined on the basis of the data on the preferred strategic development of the airport base region, using the methods of paired comparisons [
17] and fuzzy preference areas [
16].
For each new route, we use three fuzzy criteria: the importance of the departure city, the importance of the arrival city and the OD trip intensity on the given arc.
Let us set the weight of importance of the departure/arrival city with the triangular membership function:
W1 = W2 = <0.2, 0.25, 0.5>.
The OD trip intensity weight on a given arc is set in the same way:
W3 = <0.3, 0.5, 1>.
The final arc assessment
is calculated by the formula:
The resulting final scores are shown in
Figure 3. The question arises: how to construct a route ranking? How to determine which route is better? Instead of defuzzification, which is used in many papers, this paper proposes a move towards pairwise fuzzy rank comparisons.
Let us consider two routes:
Di and
Dj. We can define a fuzzy binary relationship between them:
. This indicates that the object
Di is no worse than the object
Dj. The degree of certainty that the two objects are in relation to ≽ is given by the number
. Thus, we can calculate a matrix of a fuzzy binary relation:
The elements of this matrix are found by analyzing the membership functions corresponding to
Di and
Dj objects:
In general, this matrix is neither symmetric nor inversely symmetric. The final rankings of objects can be found using the Saaty paired comparison method [
22]. The Saaty method assumes the use of a multiplicative matrix:
shows how many times one object is preferable to another, i.e.,
, but in our case it is not. By performing simple arithmetical transformations, we can achieve the required condition:
Further, from the equation:
we will find the maximum eigenvalue of
and its corresponding eigenvalue
. The element
will be the final route rank
Di.
For this example, we have obtained the route preferences shown in
Table 2.
From the example we can see that it is reasonable to develop a transport hub in city 7. Route 1–7 is the most preferable, but from
Figure 2 we can see that the degree of uncertainty in such a decision is quite high.
6. Conclusions
This paper solves the problem of finding the fuzzy OD matrix. The method is suitable for cases when we cannot establish the real points of departure and destination of specific passengers, but we know the number of passengers transported on specific arcs of the transport graph. This is a common situation in which strategic planning tasks have to be solved not at the level of individual airlines, but at the level of the state. The defined mathematical programming task, although it formally works with discrete optimization variables, in real business cases does not require precision at the level of one passenger, so the standard solvers of linear problems, which are quite capable of dealing with high-dimensional graphs, are used.
In the conditions of availability of trustworthy aviation statistics on transportation and the absence of an OD matrix, designers of transport-logistical systems can solve the problems of planning transportation routes, choosing the airplanes, and designing new airports using this model as a source of information on potential transportation. Scientists in the field of transport operations research can verify expert judgments and rules, in order to check their proximity to possible values of OD matrix elements.
The proposed search algorithm of the fuzzy OD matrix allows the planning of strategic development of transport infrastructure. Using methods of support for decision-making in the fuzzy information environment, it is possible to define both preferences for development of new routes for air transportation, and degree of confidence in the given decision.
The main advantage of the method, compared to analogues, is that it can find the fuzzy OD matrix even when there are no expert judgments. Another advantage is the use of a model in the form of linear target functions and constraints, which are quite easy to calculate. Initially, a number of independent mathematical programming problems are solved and therefore a part of the time-consuming computational process can be easily organized in parallel threads.
Software implementations for fuzzy OD matrix search and fuzzy ranking are placed on the portal of web services of decision support WS-DSS. These are available for use by a wide range of application developers of transport and logistics systems.