Abstract

With the development of alternative fuel (AF) vehicle technologies, studies on finding the potential location of AF refueling stations in transportation networks have received considerable attention. Due to the strong limited driving range, AF vehicles for long-distance intercity trips may require multiple refueling stops at different locations on the way to their destination, which makes the AF refueling station location problem more challenging. In this paper, we consider that AF vehicles requiring multiple refueling stops at different locations during their long-distance intercity trips are capable of making detours from their preplanned paths and selecting return paths that may be different from original paths for their round trips whenever AF refueling stations are not available along the preplanned paths. These options mostly need to be considered when an AF refueling infrastructure is not fully developed on a highway system. To this end, we first propose an algorithm to generate alternative paths that may provide the multiple AF refueling stops between all origin/destination (OD) vertices. Then, a new mixed-integer programming model is proposed to locate AF refueling stations within a preselected set of candidate sites on a directed transportation network by maximizing the coverage of traffic flows along multiple paths. We first test our mathematical model with the proposed algorithm on a classical 25-vertex network with 25 candidate sites through various scenarios that consider a different number of paths for each OD pair, deviation factors, and limited driving ranges of vehicles. Then, we apply our proposed model to locate liquefied natural gas refueling stations in the state of Pennsylvania considering the construction budget. Our results show that the number of alternative paths and deviation distance available significantly affect the coverage of traffic flows at the stations as well as computational time.

1. Introduction

Reducing greenhouse gas (GHG) emissions in the transportation sector is one of the most vital steps in fighting against global warming in the United States (U.S.). According to the U.S. Environmental Protection Agency [1], the transportation sector generates the largest share of GHG emissions. In order to cut down tail-pipe emissions in the transportation sector, vehicles using alternative fuel (AF), such as biodiesel, hydrogen, electrical energy, and natural gas, have received significant attention in recent years because they emit less well-to-wheel GHG than that of vehicles using traditional fossil fuels, such as diesel and gasoline. Currently, 367 light-duty and 216 medium- and heavy-duty vehicles for the 2018 and 2019 model years are available in the U.S. AF vehicle market [2].

While the public interest in using AF vehicles instead of conventional vehicles has increased, the number of public refueling stations for AF vehicles is still insufficient, especially for intercity trips between urban and rural counties. Table 1 shows the 2010 census total population, number of electric charging stations, and the number of electric charging stations per 100,000 residents in the U.S. based on the Census Bureau’s urban-rural classification [3, 4]. In this table, counties are categorized into three groups according to their population density: mostly urban, mostly rural, and completely rural. It indicates that urban areas have more than twice as many electric charging stations than rural areas with a similar population size. One of the barriers to the invigoration and development of AF infrastructures in highway systems, which play a major role in intercity trips among urban and rural counties, is high construction cost. For example, the construction cost of one natural gas refueling station is at least $1.8 million in the Pennsylvania Turnpike [5].

Due to the sparse distribution of AF refueling stations between urban areas in highway systems, AF vehicles with a short driving range that travel long-distance intercity trips may need to use longer paths with refueling availability, including multiple refueling stops at different locations on the way to their destination, rather than their shortest paths without available refueling stations, so they can safely complete their trips. Thus, AF vehicle drivers may need to make detours to be able to refuel their vehicles.

Generally, road structures in highway systems are different than those in other transportation networks. First, highway roads are divided into two pathways separated by either a raised barrier or an unpaved median. In order to offer uninterrupted traffic flow, highway roads do not have any traffic intersections, and vehicles are only able to enter/leave highway systems through entrance and exit ramps. Next, highway systems have built-in service facilities where drivers are able to take a rest and refuel their vehicles. Since highway roads are physically partitioned by a barrier or an unpaved median, some built-in service facilities, called single-access stations, can only be accessed from one side of the road, while the rest, called dual-access stations, can be accessed from both sides of the road. Hwang et al. [6, 7] and Ventura et al. [5] model this type of transportation systems as directed transportation networks.

In general, concerning the design of an AF refueling infrastructure along transportation networks, a number of studies allowing repeated trips between origin/destination (OD) vertices assume that vehicles make symmetric round trips traveling along preplanned (shortest) paths between the corresponding OD vertices. It also assumes that the set of candidate station locations is a subset of vertices in the network, and therefore, all the candidate locations are dual-access sites. These assumptions imply that, if a vehicle travels from an origin to a destination on a single path by filling up at some stations, it also stops by the same stations on the return path back to the origin. These assumptions, however, have made the refueling station location problem for AF vehicles less practical since they do not reflect the characteristics of AF vehicles well at its early stage of market.

By relaxing the assumptions listed above, this paper aims at determining more reliable locations of AF refueling stations in real-world applications based on the distinct features of AF vehicles traveling intercity trips on directed transportation networks. We first consider that some candidate sites for AF refueling stations are single-access and drivers may choose different return paths from original paths to be able to refuel their vehicles in both directions. Also, since several paths are available between ODs, AF refueling availability is considered as one of the AF vehicle drivers’ top priorities when they select paths to travel in highway systems. Thus, we allow AF vehicles to make nonsymmetric round trips between their ODs. We first generate multiple paths between all OD pairs through a revised -th shortest path algorithm considering a maximum deviation distance. Then we formulate a new mixed-integer programming model that considers a set of predetermined paths for each OD pair and a preliminary set of candidate station location sites, including single-access and dual-access sites, on a directed transportation network in which AF vehicles are able to use any of the corresponding OD paths depending on the availability of refueling service. The proposed model determines the optimal set of station locations for a given number of stations and the selected round trips for all ODs that maximize the total traffic flow covered (in round trips per time unit) by the stations. For computational experiments, we first apply the proposed model to a classical 25-vertex network with 25 candidate sites through various scenarios. We also validate our proposed model with a budget constraint to construct AF refueling stations in the state of Pennsylvania.

Our model proposed in this study is applicable to various types of AF vehicles, especially to liquefied natural gas (LNG) vehicles, with their refueling station location problems. LNG vehicles are similar to the existing long-haul vehicles powered by diesel in terms of powertrain and refueling, but LNG vehicles are known to provide economic and environmental benefits; thus, LNG vehicles are well-suited for replacing the current long-haul vehicles powered by diesel on a highway road system. For example, UPS has been working to shift their high carbon-fueled vehicles to new generation of LNG vehicles since the late 20th century and has been increasing their number [8]. In the U.S., UPS has deployed their LNG vehicles mainly in Indianapolis, Chicago, Earth City, and Nashville, and plans to use these LNG vehicles in larger areas [9]. In addition to LNG vehicles, battery-electric vehicles and hydrogen fuel cell vehicles will also be applied to our proposed model once they are fully available for long haul logistics on a highway system.

The remaining of this paper is organized as follows. Section 2 reviews the related literature and shortly discusses the main distinctions of our research work over the existing studies as well. In Section 3, we first introduce the AF refueling station location problem with detour traffic flows on a highway road system and provide properties of feasible paths. Next, an algorithm that generates a set of multiple feasible paths for which the properties are satisfied on a given network is proposed. In Section 4, we provide covering conditions with candidate sites to cover round trips for each OD pair. Then, we propose a mixed-integer programming model to locate a given number of AF refueling stations on a directed transportation network with the objective of maximizing the total traffic flow covered, considering multiple paths for each OD pair. In Section 5, the proposed model is tested on a well-known 25-vertex network to evaluate the effects of the number of multiple paths, maximum deviation distance, and vehicle driving range on the coverage of traffic flows. The proposed model is then validated in Section 6 with an application to the state of Pennsylvania to demonstrate its performance on a large-size problem. Lastly, we provide conclusions and discuss the future work of AF refueling station location problems in Section 7.

2. Literature Review

In this section, we take a look at the literature relevant to this paper. First, in Subsection 2.1, we review the literature addressing -shortest path problems, and in Subsection 2.2, we examine the literature related to AF refueling station location problems. Then, we organize the main distinctions of our research work by comparing with the relevant literature in Subsection 2.3.

2.1. -shortest Path Problems

The -shortest path problem is to find shortest paths between two vertices in a given network in a nondecreasing order of length, where refers to the number of shortest paths to find. The -shortest path problem can be classified into two types according to whether paths are allowed to have cycles or required to be simple with no cycles.

The first type of -shortest path problem, proposed by Hoffman and Pavley [10], allows repeated vertices along any path. Fox [11] develops an algorithm to apply this type of problem to probabilistic networks. Eppstein [12] uses the concept of binary heap data structure in a nondecreasing order of additional path length due to deviation to find the shortest paths in polynomial time. Since the experimental results of Eppstein’s algorithm still take considerable time to find the shortest paths, Jiménez and Marzal [13] present a modified version of Eppstein’s algorithm to improve its practical performance. Aljazzar and Leue [14] propose a directed search algorithm to search for the shortest paths between two given vertices of a network. Their algorithm provides the same asymptotic worst-case complexity but uses less memory than Eppstein’s algorithm. Liu et al. [15] propose a novel -shortest path algorithm for neural networks. Given a set of battery exchange stations, Adler et al. [16] suggest a polynomial time algorithm to solve the electric vehicle shortest-walk problem with battery exchanges considering vehicle’s limited driving range. This algorithm shows the chance of extension to the -shortest path problem by transforming the original traffic network into the so called refueling shortest path network.

The second type of -shortest path problem does not allow any repeated vertex along a path, and is thus called the -shortest simple (or loopless) path problem. Since this type of problem needs an additional constraint to allow only loopless paths, it turns out to be more challenging than the first type of problem [17]. Pollack [18] introduces the concept of the -shortest simple path problem and solves it by modifying Hoffman and Pavley’s method [10], so as to avoid paths containing repeated vertices. Clarke et al. [19] present a branch-and-bound procedure to find the -shortest simple paths, but this method requires a significant computational effort and storage requirements in the main memory. Sakarovitch [20] first identifies several shortest paths that may contain repeated vertices by using the efficient version of Hoffman and Pavley’s method [10], and then picks up -shortest simple paths among them. By applying a procedure that partitions a path into two subpaths, Yen [21] develops an efficient algorithm to find the -shortest simple path. Lawler [22] generalizes a procedure that can reduce the amount of storage required in solving the -shortest simple path problem. Katoh et al. [23] present an improved version of Yen’s algorithm that solves the problem efficiently in an undirected network. The practical performance of Yen’s algorithm is comparatively analyzed with other -shortest path algorithms [24, 25]. An implementation of Yen’s algorithm is also studied to improve its practical performance [17, 26]. Hershberger and Suri [27, 28] suggest the efficient replacement path algorithm for finding shortest simple paths in a directed network. Zeng et al. [29] present a heuristic -shortest path algorithm that is based on Yen’s algorithm when determining an eco-friendly path that results in minimum carbon dioxide emissions from light-duty vehicles.

2.2. Alternative Fuel Refueling Station Location Problems

The maximal covering location and the set-covering location approaches are two main streams of research for addressing AF refueling station location problems. Kuby and Lim [30] are one of the first applying a maximal covering location model to solve an AF refueling station location problem. They introduce the flow-refueling location model (FRLM) to find the optimal location of refueling stations for AF vehicles by considering their limited driving range per refueling with the objective of maximizing the total traffic flow covered. Upchurch and Kuby [31] show that the FRLM identifies more stable locations for AF refueling stations than the -median model, especially in a statewide case study. In general, the FRLM requires a significant computational effort to pregenerate all feasible location combinations of refueling stations that allow vehicles to make round trips between ODs. Lim and Kuby [32] propose three heuristic versions for the FRLM. Kuby et al. [33] apply two of them to locate hydrogen refueling stations in Florida. Capar and Kuby [34] present a new formulation for the FRLM that skips the pregeneration of all feasible combinations on every path. Capar et al. [35] suggest an arc-cover-path-cover model that focuses on the arcs comprising each path, so as to solve the problem efficiently without the pregeneration of all feasible location combinations of stations on each path for the FRLM. Jochem et al. [36] apply the Capar et al. [35] model to allocate charging stations in the German autobahn. While most AF refueling station location problems assume that the AF refueling stations can only be located at the vertices, Kuby and Lim [37] and Ventura et al. [38] consider additional candidate sites along arcs. Kweon et al. [39] extend the approach suggested in Ventura et al. [38] to locate a refueling station anywhere along a tree network to the case where a portion of drivers are willing to deviate to receive refueling service. He et al. [40] propose a bilevel model to solve the optimal locations of electric charging stations, through taking the driving range limitation of an electric vehicle, the battery charging time required, and the situation in which some electric vehicle drivers possibly charge at home into account.

While Kuby and Lim [30] and the following studies solve the AF refueling station location problem using a maximal covering location problem, Wang and Lin [41] solve this problem using a set-covering model with the objective of minimizing the total cost of locating stations to cover all the traffic flow on a given transportation network. Wang and Wang [42] integrate Wang and Lin’s model [41] into the classic set-covering model considering vertex-based and flow-based demands for the AF refueling station location problem. Since Wang and Lin’s model [41] requires a significant computational effort to evaluate the effect of the limited vehicle driving range on the number of charging stations needed for achieving multiple origin-destination intercity travel with electric vehicles on Taiwan, MirHassani and Ebrazi [43] propose a novel approach by using the conservation of flow law, which is able to solve large-scale problems. Chung and Kwon [44] extend MirHassani and Ebrazi’s model [43] to a multiperiod planning problem for allocating charging stations in the Korea Expressway. Hosseini and MirHassani [45] use the idea of MirHassani and Ebrazi’s model [43] to propose a two-stage stochastic mixed integer programming model for the refueling station location problem, where the traffic flow of AF vehicles is uncertain and portable AF refueling stations are considered. Kang and Recker [46] use the idea of the set-covering problem to locate hydrogen refueling stations with the assumption that at most one refueling stop per trip is required in a city. Assuming that vehicles only require one refueling stop per trip, two refueling station location models, including the versions that consider limited capacity of refueling stations [47], and refueling demand uncertainty and driver route choice behavior [48], are developed to minimize the total cost imposed on a planner and drivers over multiple time periods. Using the Adaptive Large Neighborhood Search algorithm [49] and the Adaptive Variable Neighborhood Search algorithm [50], locations for battery swap stations and electric vehicle routes are determined to provide services with the objective of minimizing the sum of the station construction cost and routing cost. To minimize the total cost to locate electric vehicle charging stations in road networks, Gagarin and Corcoran [51] suggest a novel approach that searches for the dominating set of locations among the candidate locations whose distance is below a certain threshold from a given driver. Using a parallel computing strategy, Tran et al. [52] propose an efficient heuristic algorithm for location of AF refueling stations based on the solution of a sequence of subproblems.

In general, drivers often deviate from their original paths of shortest travel time or distance to be able to refuel their vehicles [53]. Both the maximal covering location and the set-covering location approaches have been extended to consider driver’s deviation options under a variety of situations. Kim and Kuby [54] address the deviation version of the FRLM (DFRLM) where drivers are able to deviate from their paths of shortest length between ODs, and Kim and Kuby [55] propose a heuristic algorithm for the DFRLM to solve large-scale problems. Huang et al. [56] develop a new model, called the multipath refueling location model (MPRLM), by considering multiple deviation paths between ODs. For intracity trips that require at most one refueling stop, Miralinaghi et al. [47, 48] suggest deviation versions of the set-covering location problem to find potential locations of AF refueling stations. For intercity trips of large-scale problems, Yıldız et al. [57] use a branch and price algorithm, which does not need pregeneration of path generation, for the AF refueling station location problem adding the routing aspect of drivers. Most recently, Göpfert and Bock [58] and Arslan et al. [59] suggest novel projection and branch and cut methods in dealing with the deviation version of the refueling infrastructure planning, so as to extend the computational efficiency even further to solve large-size problem instances with less computational effort.

2.3. Main Distinctions of Our Research Work

Comparing with the literature listed above, we shortly provide the main distinctions of our research work over the existing studies as follows:(i) Our problem is an extension of Hwang et al. [6] problem to consider potential deviation paths on directed transportation networks, such as highway network systems. This leads to consider (1) the mixed set of single-access and dual-access candidate sites to locate AF refueling stations, and (2) nonsymmetric round trips between ODs, where return paths are allowed to be different from original paths for refueling services in both directions.(ii) Our study is well-suited for the AF refueling station location problem, specially with LNG vehicles traveling long-distance intercity round trips. Some number of recent studies, including Miralinaghi et al. [47, 48], limits this type of problem only for AF vehicles with intracity trips, which needs at most one refueling stop per trip. On the other hand, we apply covering condition procedures depending on LNG vehicle driving range, so as for LNG vehicles traveling intercity trips to allow multiple refueling stops at different locations.(iii) In our research work, paths are not fixed for every OD pair. Instead, paths are flexible to consider detour traffic flows. While Kim and Kuby [54, 55] and Huang et al. [56] apply Hoffman and Pavley’s algorithm [10] and Yen’s algorithm [21] to take deviation paths into account, we develop a new algorithm based on Eppstein’s algorithm [12] to rigorously and efficiently find shortest paths allowing repeated vertices along paths within the tolerance (i.e., maximum deviation distance) of the driver. This helps reduce the computational effort in solving our proposed mixed-integer programming model.(iv) We conduct computational experiments on a classical 25-vertex network (with 300 OD pairs) and a large network at Pennsylvania state (with 2,211 OD pairs) (1) to evaluate the performance of our research work; and (2) to analyze the effects of number of alternative paths including deviation paths, maximum deviation distance, and vehicle driving range on the optimal location as well as the corresponding total traffic flow covered.

The major differences between the proposed model and the existing studies that are directly relevant to ours are summarized in Table 2.

3. The AF Refueling Station Location Problem with Detour Traffic on a Highway Road System

In this section, we first introduce the AF refueling station location problem with detour traffic flows on a highway road system, where AF vehicles are able to make detours for refueling and to select different paths between original and return trips. Next, we provide three small instances to describe concepts of feasible paths on a directed simple network in this problem. Also, based on the examples, we derive four properties of feasible paths. Then, an algorithm is presented to determine multiple paths for which the four properties are satisfied for all ODs. This paper aims to locate a given number of AF refueling stations on a directed transportation network so as to maximize the coverage of detour traffic flows by considering multiple paths between ODs. To this end, a mixed-integer programming model will be presented in Section 4.

3.1. Problem Statement

We define the problem on a simple directed network , where is the set of vertices for ODs, is the set of arcs having nonnegative lengths, , and . The road network in this problem has neither loops nor multiple parallel road segments in the same direction between any pair of vertices. Let be the set of OD pairs. For any , vehicles perform the same round trip, which can be divided into the original path from origin to destination , and the return path from to . For convenience, and are defined as the sets of original and return paths, respectively. Let be the set of constituent vertices in path ; then, each path can be represented as a sequence of vertices such that , where , , is the -th vertex in and is the number of vertices in . Also, the length of is calculated as , where is the arc length from the -th vertex to the next vertex in . Similarly, is defined as the length of the return path. If and are the shortest distances from to and from to , respectively, then the corresponding original and return paths are denoted as and . Also, we define and as the -th shortest feasible original and return paths for OD pair . In Subsections 3.2 and 3.3, we will discuss in detail the properties of feasible paths.

Next, the locations of candidate sites for AF refueling stations, denoted as , are assumed to be predetermined, where some candidate sites can only be accessed from one side of the road (i.e., single-access) and the rest can be accessed from both sides of the road (i.e., dual-access). We define as the sequence of candidate sites in , where , such that . In order to represent the distances between , , and site , such that , denotes the distance from to in . If is the arc that passes through in , such that , then is calculated as , where is the vertex adjacent to and is the distance from to . Similarly, , which refers to the distance from to , is calculated as , where indicates the distance from to . Furthermore, the distance between two candidate sites and , where , is denoted as . When we select the two arcs, and , which include and , respectively, such that , . Figure 1 shows a representation of vertex and candidate site sequences, as well as distances between vertices and candidate sites.

We consider that vehicles make a complete round trip between their ODs. They have a limited driving range under free flow conditions, denoted as , which refers to the maximum travel distance with a single refueling. Since vehicles’ home locations or final destinations are generally far away from highway interchanges, we assume they have at least a half-full tank when they enter and exit the road network. From now on, we call this assumption the half-full tank assumption. The half-full tank assumption was first introduced by Kuby and Lim [30], considering that data about the actual fuel tank level of vehicles when entering and exiting a highway road system are hard to obtain or likely to be inaccurately estimated. This assumption has been then followed by the existing literature. The half-full tank assumption originally aims at ensuring that vehicles can repeat round trips several times without running out of fuel during their round trip. That is, a vehicle accessing the last refueling station and reaching the origin/destination with at least a half-full tank is able to make the original/return trip from the origin/destination with a half-full tank and access the same station without running out of fuel. The half-full tank assumption in our study similarly makes vehicles refueled at stations positioned within a distance of from their origin interchanges and again at stations placed within the same distance from their destination interchanges in both the original and return trips. In this respect, we define , , and as the following three sets of candidate sites in , which are categorized depending on their distances from and :

Note that we consider only for such that . For return paths, we similarly define , , , and . When a feasible set of AF refueling stations is located in , , , , , and , the corresponding paths can be covered by the refueling stations. In Section 4, we will discuss in detail the covering conditions that depend on path lengths. The half-full tank assumption can be relaxed using Hwang et al.’s [7] model to consider different fuel tank levels of vehicles at their origins and destinations when detours are available on directed transportation networks, but it is left for future research to mainly focus on addressing the refueling station location problem with deviation options on a highway road system in this study.

In general, drivers deviate from their preferred paths, e.g., the least time or shortest distance paths, in as short a distance as possible if the preferred paths do not offer refueling availability. Also, a GPS navigation system provides a certain number of routes to travelers who detour from their familiar paths. In this respect, we first consider that vehicles can deviate from their shortest path up to a maximum deviation distance, which is calculated by multiplying the length of the shortest path by a positive deviation factor, denoted as . Then, a predetermined maximum number of paths, denoted as , whose length does not exceed the maximum deviation distance is nominated for each driving direction. This implies that, if a shortest distance path does not provide refueling service, then drivers can select up to alternative paths for the same OD pair depending on their refueling availability and the limited additional deviation travel distance. Table 3 summarizes the relevant notation and parameters. Note that data about the actual values of deviation factor and maximum number of paths for each OD pair are difficult to obtain or likely to be inaccurately predicted. Besides, different drivers would have different standards for the proper values of and , as well as different vehicle driving ranges . Thus, this study does not fix their values. Instead, in Section 5 we change their values for a given number of refueling stations to demonstrate the coupled effects of these parameters on the coverage of OD traffic flows.

3.2. Three Small Instances

The concept of feasible path on a directed transportation network is illustrated with three small disconnected networks with seventeen vertices , two dual-access candidate sites , and five single-access candidate sites in Figure 2. Suppose we are trying to determine whether vehicles with can perform round trips without running out of fuel. First, since vehicles are considered to have at least a half-full tank at theirs ODs, for , shortest paths and are feasible because the corresponding trips can be covered by placing a single refueling station at site . However, for , since candidate sites are available in neither nor , drivers need to deviate from these paths to receive refueling service in their round trips. If a refueling station is located at site , then vertex sequence for the original path and opposite sequence for the return path are feasible paths for . Second, suppose that there are two AF refueling stations available at sites and . Then, the shortest original path of does not offer AF refueling availability because vehicles cannot reach with at least a half-full tank when they exit the network. For the shortest return path, vehicles that reenter the network with a half-full tank at cannot reach the AF refueling station at site . Thus, vehicles in would need to make detours using vertex sequence for the original path and opposite sequence for the return path. These two deviation paths are feasible paths for . Lastly, suppose that sites and are selected as AF refueling stations. Vehicles in cannot be refueled by these two AF refueling stations if they use the shortest original and return paths. However, if vehicles make multiple cycles at vertex , then vertex sequence becomes a feasible original path and vertex sequence turn out to be a feasible return path for . Note that another vertex sequence also provides AF refueling availability for the return path, but drivers would not choose this vertex sequence because this path is longer than the path defined by the previous vertex sequence . From these observations, we can state four feasible path properties in the next subsection.

3.3. Four Properties of Feasible Paths

We derive four properties of feasible paths on a directed transportation network. Based on these four properties, an existing -th shortest path algorithm will be modified in the next subsection to generate multiple feasible paths for all OD pairs. Since we consider round trips, the four properties are applicable to both feasible original and return paths. The first property represents that feasible paths have a proper sequence of candidate sites to be selected for AF refueling stations which cover trips in feasible paths.

Property 1. Let be the -th shortest feasible original path from to that contains feasible candidate sites for AF refueling stations to be able to cover trips in , and denote the sequence of candidate sites in , where . According to the cardinality of , denoted as , one of the following two cases must be satisfied:

(a) If , then .(b) If , then , , and for any two adjacent candidate sites .

Proof. Since is a feasible path, the half-full tank assumption implies that . In case (a), there is a single candidate site available for a refueling station on , and by the half-full tank assumption, this site is located within a distance of from and to ensure that vehicles on make a successful trip from to . Then, by definition of and , this site should be located in the common segment in . This implies that .
In case (b), there are at least two candidate sites available on . If either or , then cannot offer any AF refueling service. Thus, and . For any two adjacent candidate sites , if , then vehicles at site cannot reach site , i.e., does not have AF refueling availability. It also contradicts the definition of . Thus, for any two adjacent candidate sites .

In practice, vehicles do not need to visit the same refueling station located at a single-access site several times. For example, let us consider two return path alternatives of in Figure 2. While a vertex sequence goes over site twice, vehicles can also use a vertex sequence to travel from to with a single visit to site . That is, a shorter feasible path is always preferred to a longer feasible path that goes through a single-access candidate multiple times. On the other hand, it is unavoidable for vehicles to revisit the same refueling station when the station is placed at a dual-access candidate site. From one of the original paths of in Figure 2, a feasible vertex sequence passes through a refueling station at dual-access site twice, but in opposite directions. In this respect, prior to checking whether paths go over candidate sites multiple times, we treat a dual-access candidate site as two distinct single-access sites. From this observation, we derive the second property for candidate sites of feasible paths.

Property 2. For , suppose that is an original path that satisfies Property 1 and passes through a single-access candidate site twice:

Then, there must exist an original path, denoted as , that satisfies Property 1 and goes over site only one time, such that :

Thus, .

Proof. Let and be the -th and -th candidate sites in which are located at the same site such that , where . By eliminating all consecutive candidate sites from to and the corresponding arcs in , we can construct path with . Then, from Property 1, since , vehicles at can reach in . This implies that vehicles at can reach in because and are placed at the same site . Thus, is a feasible sequence of candidate sites for and .

When drivers decide to make detours from their preplanned paths for refueling, they would be reluctant to travel along unnecessary paths to reach available refueling stations. For instance, let us take an original path of from the previous network in Figure 2. Recall that a vertex sequence is one of the feasible original paths for . Now, let us consider a different vertex sequence defined by . The candidate site sequence for this second path is , which enables successful trips from to without running out of fuel. However, drivers would not travel further along the subpath of the second path, because they can reach without refueling at site . They would return at after visiting the refueling station at site , i.e., they would use the first feasible path, , instead of the second one for the original path of . Similarly, drivers can consider two possible paths for the return path of . While vehicles using a vertex sequence require each refueling stop at both sites and , vehicles in a vertex sequence need only one refueling stop at site . Since the length of the latter path is shorter, vehicles in the return path of would use the second vertex sequence instead of the first one. Based on these observations, we conclude that drivers would not make detours along a vertex sequence which requires unnecessary travel to reach available refueling stations. From now on, we call a site in unnecessary subpaths an irrelevant candidate site, so that feasible paths can be represented by vertex sequences without irrelevant candidate sites. Property 3 provides conditions under which there exist irrelevant candidate sites in paths.

Property 3. Given two paths, and , such that , which satisfy Properties 1 and 2, includes irrelevant candidate sites in set when one of the following conditions is satisfied:

(a)If , then (1) , and (2) either or .(b)If , then (1) , (2) , (3) , and (4) , where .

Proof. In case (a), suppose that . By Property 1, , which implies that . Thus, any candidate site in is irrelevant because vehicles covered by a single refueling station at site can complete trips from to . Similarly, it can be shown when .
In case (b), by Condition (4), such that , , and . This implies that any additional refueling stop is unnecessary between and . Then, by Conditions (1), (2), and (3), , which implies that includes irrelevant candidate sites.

Given two feasible paths, and such that , for the same OD pair , if any subset of candidate sites that covers the trips in is also able to cover the trips in , then we say that is dominated by . This implies that is unnecessary to be considered in our proposed model. In practice, drivers would use only because . For example, let us take the previous example of in Figure 2. Recall that . Then, we can find another feasible original path, which is for vehicles with . They have the same sequence of candidate sites, but vehicles may prefer to because . Furthermore, in order to clarify the concept of dominated feasible paths, let us see another example of in Figure 2. For the return path, we have two feasible return paths, and , such that and . For , we have five possible sets of candidate sites to cover the trip, i.e., , , , , and . In case of , is the only feasible set. That is, . It means that is dominated by because . In this respect, Property 4 shows that the shortest feasible paths can dominate other feasible paths when the candidate sites of the shortest feasible paths include the candidate sites of the other paths.

Property 4. Given , let be the shortest feasible original path with . Suppose that there exists another feasible original path, denoted as , such that and . Then, is dominated by .

Proof. By definition of dominated paths, we need to show that any subset of candidate sites to cover the trips in is also able to cover the trips in . Suppose that is a set of candidate sites that covers trips in . This implies that , and therefore, because . If , then it is trivial to show that can cover trips in because . If , then we select the first and last sequences of candidate sites in , denoted as and , respectively. When we decompose into , , and , we have that . If , then we can construct a shorter feasible path whose length is . It contradicts that is the shortest feasible path. Thus, . Similarly, it can be shown that . Furthermore, if such that , then it also contradicts that is the shortest feasible path. Thus, can cover trips in by Property 1.

3.4. -th Shortest Nondominated Feasible Path Algorithm

In this subsection, we describe the -th shortest nondominated feasible (SNDF) path algorithm to generate multiple paths that (1) offer AF refueling availability, (2) contain unique single-access candidate sites, (3) do not have irrelevant candidate sites, and (4) are not dominated by other paths for all OD pairs. We extend the -th shortest path algorithm developed by Eppstein [12] to first construct candidate paths between ODs for SNDF paths, and then eliminate some of the paths that violate the four properties discussed on the previous subsection. Finally, given a deviation factor and a maximum number of SNDF paths, the -th SNDF path algorithm determines up to SNDF paths from to and another up to SNDF paths from to .

The first step of the -th SNDF path algorithm is to transform a simple directed network with the set of vertices and the set of arcs into an expanded directed network, denoted as , by transforming each dual-access candidate site in into two distinct single-access candidate sites, one in each side of the road, and setting all candidate sites in as vertices in . Then, the maximum cardinalities of and can be written as and , respectively, where and refer to the number of single- and dual-access candidate sites. Next, for interchange , denotes a shortest path arborescence rooted at vertex containing the shortest path to each in . The shortest path arborescence for interchange in can be constructed using Dijkstra’s algorithm in time . Let denote the set of arcs composing . If we select arc and follow the shortest path from to instead of taking the shortest path in , then the additional distance from , denoted as , is computed as: . Note that for and for in . This implies that we can calculate the length of path by adding the values of for the arcs in to the length of since for in . These arcs aside from do not belong to , and Eppstein’s algorithm calls these arcs the sidetracks of . The sidetracks are used to generate the k-shortest path of . For , a special tree-based data structure, called the min-heap data structure, in which it is a completely binary tree with data structure in a nondecreasing order of values of sidetracks, is applied to build shortest paths of using the depth first search algorithm in time . The k-th shortest path of , for , generated through the min-heap data structure, is called a candidate path from to and is denoted as .

When generating , we determine whether or not is included in the set of SNDF paths for by Properties 1, 2, 3, and 4. First, needs to have AF refueling availability by Property 1. If either when or , , and for when , then has AF refueling availability. Second, if repeats some single-access candidate sites, then the path is excluded from the set of SNDF paths because we also construct a similar feasible path without repeating these candidate sites whose length is shorter than by Property 2. Next, regarding Properties 3 and 4, we compare with ’s when . If for , we diagnose whether or not has irrelevant candidate sites by Property 3. If for , then is removed from the set of SNDF paths for because the associated OD pair already has shortest feasible paths which dominate by Property 4. Until reaching the maximum number, , of SNDF paths, Eppstein’s algorithm updates a binary heap that includes sets of sidetracked arcs to find the next paths. However, the -th SNDF path algorithm can even stop before reaching if the sum of sidetracked arcs’ on the root of the binary heap becomes greater than the value of . This represents that the length of a newly constructed path cannot exceed a maximum deviation distance of drivers. After determining at most SNDF paths from interchanges ’s to a certain interchange , we similarly apply the above procedures to other interchanges ’s. Regarding SNDF paths in , Algorithm 1 describes the pseudocode of the -th SNDF path algorithm for all OD pairs.

Algorithm 1: -th SNDF Path Algorithm
Input: and
Output: , sets of all SNDF original paths, and SNDF return paths for all OD pairs
Construct an expanded directed network by transforming dual-candidate sites into two separate single-candidate sites on each direction and adding all sites to as vertices.
Set .
Repeat
   Build a shortest path arborescence rooted at vertex .
  Set .
  Repeat
   Set .
   Construct a min binary heap data structure, denoted as , with sequences of sidetracked arcs using the corresponding values of , , through Eppstein’s algorithm. Note that the binary heap initially has the empty sequence of sidetracked arcs because the empty sequence of sidetrack arcs represents .
   Repeat
    Construct a candidate path by inserting a sequence of sidetracked arcs on the root of into .
    Construct
    If is satisfied with Properties 1, 2, 3, and 4, then define , , and as , , , and , respectively, and set .
    Remove the current sequence of sidetracked arcs on the root of , and insert new sequences of sidetracked arcs from the min-heap data structure to the binary heap by maintaining the min-heap property.
   Until, , or the min-heap data structure does not have any sidetracked arcs.
   Set .
  Until reaches .
  Set .
Until reaches .

We prove below that at most SNDF paths (i.e., up to original paths and another up to SNDF return paths) for each OD pair can be determined by the -th SNDF path algorithm.

Theorem 1. Given a value for the maximum number of paths, , the -th SNDF path algorithm generates at most SNDF paths for each OD pair in .

Proof. After transforming into , given , is generated by Eppstein’s algorithm. The -th SNDF path algorithm determines , and then classifies the sequence of candidate sites into , , and by measuring distances between the sites, and . The algorithm checks first whether or not meets Properties 1 and 2. Next, if the corresponding OD pair already has SNDF paths, then is compared with for by Properties 3 and 4. If for , then the algorithm checks whether or not has irrelevant candidate sites. If for , then is not included in the set of SNDF paths for . Otherwise, the algorithm assigns to the -th SNDF path and increases the value of by one. If , a next temporary path can be constructed by adding new sequences of sidetracked arcs into . The additional distance of the next path can be calculated as , where is the set of newly added arcs and . If the additional travel distance does not exceed , then the above processes are repeated until . Otherwise, the algorithm moves to the next interchange in the shortest path arborescence . After determining at most SNDF paths, we repeat the algorithm by building a new shortest path arborescence for other interchanges. Therefore, for each OD pair, this algorithm determines up to SNDF paths from origin to destination and up to other SNDF paths from destination to origin, which leads to at most SNDF paths.

Since the original network has single- and dual-access candidate sites for AF refueling stations, vehicles can select different return paths from their SNDF original paths when they come back to their origin interchanges. This means that nonsymmetric round trips can be considered for each OD pair in our proposed model. In practice, drivers would make different detours from their SNDF original paths if the original paths do not provide AF refueling service in the opposite direction. For convenience, and denote the sets of all SNDF original paths and SNDF return paths for all OD pairs, respectively.

Theorem 2. In order to generate SNDF original and return paths for all OD pairs, the complexity of the -th SNDF path algorithm takes time , where and . Recall that , , and Also, and refer to the number of single- and dual-access candidate sites, respectively.

Proof. Time is required to transform with the set of all candidate sites to a simple expanded directed network by regarding dual-access candidate sites as two distinct single-access candidate sites on arcs. Given , the basic version of Eppstein’s algorithm takes time to find the -th shortest path to from any other interchanges. In time , the algorithm constructs a shortest path arborescence and a min-heap data structure to output . Then, in time , it generates ’s from a specific interchange to . After we construct and classify into , , and , it takes time for Property 1. Next, we find out which candidate sites are repeated in in time for Property 2. Also, when , time is required to compare with for Properties 3 and 1. These processes are repeated until either feasible paths are generated or the length of a newly constructed path does not exceed in time . Next, we move to other interchanges ’s, , , which requires time . In summary, generating SNDF paths from other interchanges to a certain interchange requires time . Finally, since the number of interchanges for ODs is , the total computational complexity of the algorithm takes time in order to generate SNDF original and return paths in all OD pairs.

4. Model Formulation

Due to the limited driving range and the amount of fuel remaining at ODs, AF refueling stations should be properly placed at candidate sites along paths to ensure vehicles safely travel from one point to another without running out of fuel. In other words, in order to cover trips on , when , at least one AF refueling station should be located at each candidate site in and , and then locating additional stations at candidate sites in are required if the distance between the two candidate sites in and is greater than . On the other hand, when , since the distance between the two candidate sites in and is less than or equal to , additional AF refueling stations are unnecessary to be considered for AF refueling stations between the sites in and . Similar covering conditions are applied to the return path. From this observation, the following types of -th SNDF path are defined according to and for and , respectively, in OD pairs :(i) Type 1 -th SNDF original path: ,(ii) Type 1 -th SNDF return path: ,(iii) Type 2 -th SNDF original path: ,(iv) Type 2 -th SNDF return path: .

4.1. Coverage for Type 1 -th SNDF Path

In case of Type 1 -th SNDF original paths, since the distance between two candidate sites in and is at most , vehicles can travel from to by visiting two refueling stations at the sites. Sometimes, if there exists a single candidate site in the common area of and , then locating a refueling station at this common area is sufficient to cover trips on Type 1 -th SNDF original paths. Thus, for proper AF refueling availability on Type 1 -th SNDF original paths, AF refueling stations should be located at either one common or two distinct candidate sites in and . Figure 3 depicts trips in covered by AF refueling stations at either or and . Similar covering conditions are also applied to Type 1 -th SNDF return paths.

4.2. Coverage for Type 2 -th SNDF Path

When two candidate sites in each and are available to locate AF refueling stations on Type 2 SNDF original paths, the distance between the two sites can be longer than because the length of Type 2 -th SNDF original paths is greater than . That is, if vehicles at a station in cannot reach the other stations in due to the limited driving range, then additional refueling stations at candidate sites in should be located to ensure that the distance between consecutive stations is less than or equal to . In order to consider this covering condition for Type 2 -th SNDF original paths, we define identification coefficients that indicate whether a vehicle that is refueled at a station located in a candidate site can reach another station located at a subsequent candidate site to receive refueling services. For candidate sites in , we determine identification coefficients and use them as constraint coefficients for covering conditions of Type 2 -th SNDF original paths in our proposed model.

The values of identification coefficients , where and , are determined as follows:

Identification coefficient indicates that site follows along the -th path and their distance is less than or equal to . In an example in Figure 4, we have and . If , , and , then the corresponding identification coefficients for site are set as , , , , and . These values mean that a refueling station must be located at either site or , so as to reach site in . Note that Hwang et al. [6] apply a similar procedure that uses identification coefficients to setup coverage restrictions to a unique path for each OD pair. For Type 2 -th SNDF return paths, is similarly defined to determine identification coefficients.

4.3. Mixed-Integer Programming Model

Given a predetermined maximum number of feasible paths and predetermined locations of candidate sites for AF refueling stations on a directed transportation network, a mixed-integer programming model is formulated to select the optimal station locations that maximize the traffic flow covered (in round trips per time unit) along multiple feasible original and return paths between ODs. We first introduce two types of parameters and three types of decision variables as follows:

4.3.1. Parameters

: average traffic flow in round trips per time unit between interchanges and ,

: identification coefficient for sites and for Type 2 -th SNDF path.

4.3.2. Decision Variables.

Then, we propose the following a mixed-integer programming model:

subject to

In this formulation, the objective function (10) maximizes the traffic flow that is covered by the set of AF refueling stations located at the selected candidate sites on the transportation network. Constraint sets (11) and (12) guarantee that trips along SNDF original paths of Types 1 and 2 receive refueling service from one station in set of candidate sites and another one in set of candidate sites . The -th SNDF return paths have similar refueling conditions in Constraint sets (13) and (14). Next, coefficients in Constraint set (15) are determined by identification coefficients for and , where if and ; otherwise, . This constraint set guarantees that, if a refueling station is located at in , then one of sites in should be selected to locate another station which would provide refueling for vehicles to reach the station at . Similarly, Constraint set (16) is applied to candidate sites on Type 2 SNDF return paths. In addition, since round trips in OD pairs are considered in this problem, all possible combinations of original and return paths are determined by Constraint sets (17) and (18), respectively. These constraint sets ensure vehicles on a directed transportation network to make nonsymmetric round trips if necessary for refueling service. Constraint (19) allows exactly AF refueling stations to be located at the predetermined candidate site locations. Lastly, the three kinds of binary decision variables are defined in Constraint sets (20) to (23).

The main stakeholders of the proposed model that maximizes the covered traffic flows can be shareholders, investors, employers and employees, and any other private entities whose stake is directly or indirectly tied to this objective function, assuming that the revenue is proportional to the traffic flow covered by a given number of stations; that is, the more traffic flow covered by the stations, the higher revenue the stakeholders expect. If we assume that the construction cost does not significantly differ by station type or region, then Constraint (19) can play a role as the budget constraint. This assumption, however, would not be always true in practice [60]. So, we can relax this assumption by replacing Constraint (19) by the following constraint:

where refers to the capital cost for building a refueling station in candidate site , and the refueling infrastructure budget. Constraint (24) allows different capital costs by station type (e.g., single-access vs. dual-access) or by region and forces the model to determine candidate sites for refueling stations within the budget. This constraint is used to build AF refueling stations in a statewide network to showcase that the proposed model is well-suited for solving practical problems in Section 6.

5. Computational Experiments

The proposed mixed-integer programming model with the -th SNDF path algorithm is applied to a well-known directed transportation network with 25 vertices, 43 arcs, and 300 OD pairs provided by Simchi-Levi and Berman [61]. Figure 5 shows the arc lengths next to each arc. It also displays 25 randomly selected candidate station locations, including 10 single- and 15 dual-access sites, to allocate the AF refueling stations in the test network. A single-access candidate site is symbolized by a triangular shape on one side of the arc, and a dual-access candidate site is depicted by a diamond shape in the middle of the arc. To analyze the effects of number of SNDF paths, maximum deviation distance, and vehicle driving range on the OD flow coverage, we consider three route options, and 5, three deviation factors, and 100%, and three driving ranges, and 30.

All computational experiments in Section 5 were conducted on an Intel i5 2.2 GHZ Dual-Core laptop with 12 GB RAM. Our computational experiments have three procedures. In the first procedure that is denoted as P1, to determine SNDF original and return paths for all OD pairs, we ran the -th SNDF path algorithm with the three limited driving ranges (i.e.,  15, 20, and 30) and the three deviation factors (i.e.,  0%, 50%, and 100%) using MATLAB R2013a. Note that the same deviation factors were applied to both original and return paths. Then, in the second procedure, denoted as P2, the mixed-integer programming model with the SNDF paths and set of candidate sites was programmed in MATLAB to generate CPLEX format files that follow the syntax rules of CPLEX. In the last procedure, denoted as P3, all the problems were solved by version 12.4 of CPLEX.

Table 4 provides the computational times for the three solution procedures above, P1, P2, and P3. In general, the overall computational time increases as the number of SNDF paths increases and the deviation factor is larger. Specifically, the large number of SNDF paths affects the computational time because it is directly related to the problem size. In the -th SNDF path algorithm, SNDF original and return paths are generated for all OD pairs, so that the number of decision variables and constraints in the mathematical model for this optimization application largely increase as increases. However, the results show that, the longer the limited driving range, the shorter the computational time. This can be explained by the relationship between the limited driving range and Type 2 SNDF paths. That is, if the limited driving range is sufficiently large, the paths that satisfy the four properties of feasible paths are quickly determined and the number of constraints for Type 2 SNDF paths decreases, so that the computational time also decreases.

5.1. Effect of the Number of SNDF Paths

We first analyze the effect of the different number of SNDF paths on the coverage of OD traffic flows for each deviation factor. The three graphs in Figure 6 show the coverage of traffic flows (in %) with  0%, 50%, and 100% of as we increase the number of refueling stations from to . Note that we fix in this subsection.

First, when , the coverage is not significantly affected by the values of , but a slight improvement is obtained between and when the number of refueling stations increases from to . For example, when and , the first SNDF return path of , i.e., is not covered. In the case of and with , the mixed-integer programming model locates one refueling station at site and then , which is the second SNDF return path of , is covered by the one refueling station. This indicates that some OD pairs have multiple shortest paths which satisfy the properties of feasible paths, so that all these paths can be selected in our model. Note that is enough for multiple SNDF paths to be considered in the network when because there is no difference in coverage between and from to . Second, as we allow drivers to take paths with long detour distances, the effect of the value of on the coverage of traffic flows by a given number of refueling stations is significantly noticeable. In particular, the coverage improvement between and ranges from 0% to 8.31% when , while the improvement increases up to 13.07% when . The -th SNDF path algorithm can generate more SNDF paths under , so that more paths can be considered to locate the optimal sets of refueling stations in the mixed-integer programming model. Then, more traffic flows using SNDF original and return paths can be covered by a given number of stations. Note that the coverage improvement between different number of SNDF paths fades away slowly as the refueling network becomes mature. Lastly, in all cases, OD pairs are not fully covered when we locate refueling stations at all candidate sites. For example, considering with for both original and return paths, which is the maximum deviation factor in the experiments, 70.58% of all traffic flows can be refueled with . This is because some refueling stations at single-access candidate sites can provide refueling service only to traffic flows in the same driving direction. Table 5 summarizes the coverage of traffic flows with , 50%, and 100% for when we allow a different number of SNDF paths for each OD pair.

5.2. Effect of the Maximum Deviation Distance

This subsection analyzes how much traffic flow makes detours from their preplanned paths for refueling and how long is the average deviation distance of covered detour traffic flows. For each OD pair, vehicles are able to deviate from shortest original path and shortest return path up to and , respectively, in order to reach AF refueling stations. Table 6 shows the proportions of the covered detour traffic flows with respect to the total flow covered, denoted as , and the average deviation factor values of the vehicles that deviate from their shortest paths, denoted as , when the number of refueling stations ranges from  1 to 25. Note that we fix and consider  1, 3, and 5 in the table. For example, given , when vehicles are allowed to deviate to alternative paths whose lengths are at most 50% longer than those of the corresponding shortest paths and , the covered detour flows account for only 12.47% of the total covered flows and their average deviation factor is 19.99% of their shortest path lengths. First, regardless of the value of , we observe that the value of generally increases from  1 to when we consider only one SNDF path between ODs. This represents that the deviation factor largely affects the coverage if vehicles have few options to select their route regardless of the number of refueling stations. However, with  3 and 5, the value of tends to increase when refueling stations are scarce, while the value of starts decreasing after the traffic flows are mostly covered. These patterns imply that the effect of on the traffic flow covered gradually diminishes as the number of refueling stations increases, especially when vehicles have multiple path options between OD pairs. Next, regarding , we have an extreme case where the value of drops rapidly when we consider and the number of refueling stations is small. However, in most cases, the value of does not change significantly as the coverage of traffic flows increases. This result can be explained by the predetermined locations of candidate sites. In other words, even though we allow trips along many feasible paths with long detour distances between OD pairs, the coverage proportion of detour flows is usually small with respect to all traffic flows because the candidate sites are predetermined before establishing AF refueling stations.

5.3. Effect of the Limited Driving Range

In order to observe the effect of the limited driving range on the coverage for different deviation factors, Figures 7(a) and 7(c) provide comparisons of optimal coverages of no-detour versus detour flows when and 30 for . We set the coverages of traffic flows with , i.e., the coverage of no-detour flows, as the reference value of comparisons. Then, Figures 7(b) and 7(d) show their differences between the coverages of no-detour and detour flows for and . Note that we fix in all the cases. In general, compared to the coverage of no-detour flows, the improvement in the coverage of detour flows is easily observed for both and . For example, at most an additional 15% of traffic flows can be covered if vehicles with are allowed to travel an additional distance of up to 50% of for all OD pairs. The coverage improvement rises as the deviation factor increases for both and . On the other hand, the trends of improvement for and have different patterns. When , the coverage difference between no-detour () and detour flows ( or ) continuously increases until the number of refueling stations reaches to some level ( for , for ), and then the coverage difference is steady. This implies that, if an additional refueling station is added to a network, the coverge of vehicles with short driving ranges can increase significantly when a long deviation distance is allowable. Next, when , the coverage difference between and is insignificant. However, if vehicles are able to deviate further from their preplanned paths, i.e., , the trends of improvement fluctuate according to the number of refueling stations, especially for  1–8. This shows that a significant coverage improvement can be expected by adding one refueling station at a time on a network where the infrastructure of AF refueling stations is insufficient if vehicles with a long driving range are allowed to make adequate detours. Table 7 summarizes comparisons of optimal coverages of no-detour versus detour flows and their coverage differences for 30 when .

6. Case Study: The State of Pennsylvania

In this section, we apply the proposed model with different capital costs to build LNG refueling stations for long haul logistics on a highway system by their station type (single-access vs. dual-access) into the state of Pennsylvania with 2,211 OD pairs, so as to demonstrate the performance in a large-size problem.

From the Topologically Integrated Geographic Encoding and Referencing (TIGER) database, we first make a map of Pennsylvania with center points of 67 counties and centroid-to-centroid routes, as shown in Figure 8. Then, we randomly add 50 of single- and 50 of dual-access candidate locations for LNG refueling stations. We use $2.75 M and $3.40 M as the construction cost of single- and dual-access LNG refueling stations, respectively, which are derived as the median values of the estimated construction costs to develop LNG refueling infrastructure in the Pennsylvania Turnpike by Ventura et al. [5]. The OD flows between counties are estimated by a simple gravity spatial interaction model [62]. We use the Freight Analysis Framework Version 4 long distance truck volume for the year of 2045 in the state of Pennsylvania, which was developed by the Federal Highway Administration in 2016 [63]. Also, to consider a conservative range for current and older models of LNG trucks with a single fuel tank [64] and improving technologies of dual fuel tank systems [65], we set and for LNG trucks. Lastly, we conduct this experiment by using Intel(R) i7-6700 K CPU 4.00 GHz and 16 GB RAM desktop PC.

Table 8 provides comparisons of number of selected stations and optimal coverage for no-detour versus 50-percent detour flows with and when and . Also, Figure 9 shows trade-off between budget and optimal coverage for the two LNG truck driving ranges () and three route options (, with , and with ). We apply our coverage maximization model with the budget constraint to the state of Pennsylvania using the budget range from $10 M to $200 M in $10 M increments.

First, we easily identify the effect of detour flows (both and ) on the optimal coverage for different budgets. For example, the smallest budget of $10 M allows only construction of two dual-access LNG refueling stations with the optimal coverages of 19.99% and 21.14% for and , respectively, when trucks merely use shortest paths between each OD. When we allow trucks to make detours between ODs, the corresponding coverages increase to 27.91% and 29.40% for the both limited driving ranges. This implies, when we do not have enough budget to construct dual-access LNG refueling stations, construction of additional single-access stations can be beneficial to trucks making detours between ODs.

Next, we observe that we can spend a large amount of budget effectively when trucks have more route options between ODs. If we have more than $120 M and trucks with have three SNDF paths (i.e., ), more dual-access LNG refueling stations are selected instead of single-access LNG refueling stations comparing to the case of trucks with a single SNDF path (i.e., ). It means that since trucks can have many alternative paths to make round trips between ODs, the proposed model with the budget constraint effectively selects more dual-access LNG refueling stations on their routes and improves the optimal coverage for a given budget. The case of trucks with also shows a similar situation.

Next, as shown in Figure 9, the marginal optimal coverage resulting from additional refueling stations generally decreases with the amount of construction budget available. In other words, initially, a large percentage of the optimal coverage can be achieved with a relatively small construction budget. After that, the rate of increase of optimal coverage declines as the construction budget increases. One of the interesting things here is that the optimal coverage gap between no-detour and detour flows, however, increases as the construction budget increases. For example, for , when the budget is initially $10 M, the optimal coverage gap between no-detour () and detour flows () with is 7.91%; when the budget later becomes $200 M, this gap increases to 11.63%. This result implies that, even if the LNG refueling infrastructure becomes mature (e.g., the budget is around $200 M or more), the effect of detour flows on the optimal coverage would be even more noticeable. The next interesting thing is that the effect of the different number of SNDF paths on the optimal coverage declines as the construction budget increases. That is, when LNG trucks are allowed to deviate from their shortest path up to 50% of , the optimal coverage gap between detour flows with and detour flows with declines as the construction budget increases. For example, for , at the budget of initial $10 M, this optimal coverage gap is 5.96%; later at the budget of $200 M, the gap declines to 1.85%. It supports our result analysis discussed in Subsection 5.1 on the effect of the number of SNDF paths. Another interesting one here is that the effect of driving range of on the optimal coverage also declines as the construction budget increases, especially when considering detour options. In other words, comparing Figures 9(a) and 9(b) show that the optimal coverage gap between and for detour flows with declines overall as the budget increases. For example, at the budget of initial $10 M, this optimal coverage gap is 1.49%; later at the budget greater than or equal to $120 M, this gap declines to less than or equal to 0.15%. Thus, if the LNG refueling infrastructure becomes mature (e.g., if the budget is around $120 M or more) and if drivers allow reasonable detour options, using LNG trucks with driving range would not lead to a significant improvement on the LNG refueling coverage.

Lastly, the last row of Table 8 presents the computational times for P1, P2, and P3 when we run the case study of the state of Pennsylvania. As the computational times of the small instances in Section 5 are shown, the large number of SNDF paths increases the overall computational time. Also, we verify the relationship between the limited driving range and the computational time; that is, the longer the limited driving range, the shorter the computational time because, when the limited driving range is long, the paths that meet the four properties of feasible paths are determined quickly and the number of constraints for Type 2 SNDF paths decreases.

7. Conclusions and Future Research

Most path-based demand models available in the literature assume that AF vehicles travel along a unique path between ODs to complete their round trips. In this research work, we have considered that, if preplanned paths for each OD pair cannot offer any AF refueling service, then alternative paths can be used by AF vehicles to receive refueling service. With the four feasible path properties derived in Subsection 3.3, we have proposed an algorithm that generates SNDF paths in each path direction for all OD pairs. A new mixed-integer programming model has been also proposed to optimally locate AF refueling stations at candidate sites with the objective of maximizing the coverage of traffic flows using multiple SNDF paths on a directed transportation network. In order to test our proposed model with the -th SNDF path algorithm, we have run two experiments: (i) a classical 25-vertex network containing 300 OD pairs with 10 single- and 15 dual-access candidate sites, and (ii) a statewide network of Pennsylvania state containing 2,211 OD pairs with 50 single- and 50 dual-access candidate sites. For our experiment on the classical 25-vertex network, we have analyzed the effects of number of SNDF paths, deviation distance, and vehicle driving range on the coverage of no-detour and detour flows for a given number of AF refueling stations. Computational experiments have shown that the number of SNDF paths and maximum deviation factor largely affect the coverage of traffic flows, especially when the network does not have enough AF refueling stations to cover most of the traffic flows. Next, for our experiment on the case study of Pennsylvania state, we have also analyzed the effects of detour flows, station type (single-access vs. dual-access), and longer driving range for different construction budget levels for the LNG refueling infrastructure to present more insights into our society.

For future research, our proposed model can be applied to a variety of real-world problems to locate AF refueling stations in highways. To reduce the complexity of the -th SNDF path algorithm, we can also attempt to develop a more efficient version of the -th SNDF path algorithm for large-scale networks. Upchurch et al. [66] consider available fueling capacity of AF refueling stations to cover traffic flows. Similarly, our proposed model can be extended to contemplate the limited capacity of AF refueling stations. Lastly, we generalize our solution approach to address the continuous version of the AF refueling station location problem where stations can be located anywhere along the network. As we have discussed the effect of predetermined candidate sites on the coverage in Subsection 5.2, if we were able to locate stations anywhere along the network, the suboptimality of the optimal solutions of the discrete version of the problem could be significantly improved.

Data Availability

The data used to support the findings of this study are available from the corresponding author upon request.

Conflicts of Interest

The authors declare that they have no conflicts of interest.

Acknowledgements

The first author was supported by the Research Initiation Funds provided to new faculty by Hongik University. The second author was supported by the Settlement Research Funds (Project Number 1.190090.01) of Ulsan National Institute of Science & Technology (UNIST).