Defragmentation Scheme Based on Exchanging Primary and Backup Paths in 1+1 Path Protected Elastic Optical Networks

The paper proposes a Fast ReRoute model with the realization of path and bandwidth protection scheme, which can be used in MPLS for SDN. The task of calculating the set of disjoint primary and backup paths during fast rerouting was reduced to solving the optimization problem of Integer Linear Programming. The advantage of the proposed solution is the possibility of implementing 1:1, 1:2, …, 1:n path protection schemes without the introduction of an additional set of control (routing) variables, which contributes to reducing the dimension of the optimization problem being solved and the computational complexity of its practical implementation. The criterion of optimality of routing solutions contributes to the formation of the primary and backup disjoint paths with the highest possible bandwidth. In this case, the path with the maximum bandwidth will correspond to the primary path, while the remaining paths will be used as backup ones in decreasing order of their bandwidth. The total number of calculated disjoint paths depends on the selected redundancy scheme. The study conducted showed the efficiency and adequacy of the proposed Fast ReRoute model when using various redundancy schemes.

Recently, space-division multiplexing (SDM) has been incorporated with elastic optical networks (EONs) to enhance the fiber capability, which forms space-division multiplexing-based elastic optical networks (SDM-EONs). During transmission of optical signals through multi-core fibers, inter-core crosstalk (XT) and intra-core physical layer impairments (PLIs) arise, which deteriorate the signal quality. Existing models typically handle inter-core XT and intra-core PLIs separately and set a single XT threshold for each modulation format, which results in an unacceptable lightpath due to the degradation of signal quality or leads to inefficient spectrum utilization. This paper proposes a routing, modulation, spectrum, and core allocation (RMSCA) model for SDM-EONs to consider inter-core XT and intra-core PLIs jointly. For each modulation format, it sets different XT thresholds and transmission reaches according to inter-core XT and intra-core PLIs. An optimization problem is formulated as an integer linear programming (ILP) problem. We prove that the RMSCA decision problem is NP-complete. We introduce a heuristic algorithm when the ILP problem is not tractable. Numerical results demonstrate that, by setting several XT limits for each modulation format, the proposed model increases spectrum efficiency compared to a benchmark model based on the literature.

Space-division multiplexing-based elastic optical networks (SDM-EONs) enhance the fiber capacity. Inter-core crosstalk (XT) and intra-core physical layer impairments (PLIs) occur in the multi-core fiber and degrade the optical signal. An existing model separately considers inter-core XT and intra-core PLIs, and sets a single XT threshold to each modulation format. This can lead to an unacceptable lightpath due to signal degradation or the occurrence of spectrum inefficiency. This paper proposes a routing, modulation, spectrum, and core allocation (RMSCA) model, which jointly considers inter-core XT and intra-core PLIs for SDM-EONs. The proposed model sets multiple XT thresholds for each modulation format based on inter-core XT and intra-core PLIs. We present an optimization problem and formulate it as an integer linear programming (ILP) problem. We introduce a heuristic algorithm for a network where the ILP problem is not tractable. Numerical results observe that the proposed model improves the spectrum efficiency by setting multiple XT thresholds to each modulation format.

This paper presents a distributed server allocation model with preventive start-time optimization against a single server failure. The presented model preventively determines the assignment of servers to users under each failure pattern to minimize the largest maximum delay among all failure patterns. We formulate the proposed model as an integer linear programming (ILP) problem. We prove the NP-completeness of the considered problem. As the number of users and that of servers increase, the size of ILP problem increases; the computation time to solve the ILP problem becomes excessively large. We develop a heuristic approach that applies simulated annealing and the ILP approach in a hybrid manner to obtain the solution. Numerical results reveal that the developed heuristic approach reduces the computation time by 26% compared to the ILP approach while increasing the largest maximum delay by just 3.4% in average. It reduces the largest maximum delay compared with the start-time optimization model; it avoids the instability caused by the unnecessary disconnection permitted by the run-time optimization model.

As millimeter wave (mmWave) technology becomes more integrated into today's communication infrastructure, its application to mobile scenarios has attracted considerable interests. In particular, mmWave technology is one of the leading candidates in Vehicle-to-Everything (V2X) community to address the ever-rising data exchange demand from vehicles. However, the inherent directionality of the technology poses challenges to peer discovery and transmission scheduling in typical V2X scenarios, causing significant loss of network capacity. To mitigate this issue, we propose a novel sub-6 GHz V2X-assisted synchronous mmWave communication scheduler in this paper. The sub-6 GHz channel serves as control channel for mmWave scheduling. The scheduler carefully considers data importance and freshness in determining communication schedule, such that network utility across mmWave links is maximized. We formulate the scheduling problem into an integer linear programming (ILP) problem. However, ILP problem is NP-hard and has exponential computational complexity for the worst cases. We then develop a scheduling algorithm, maximum weight matching based iterative algorithm (MWMIA), that operates in polynomial time with performance guarantees for the NP-hard ILP, by leveraging structural properties of link conflicts. Comparative simulation studies verify the effectiveness of our scheduler against other solutions.

Data-parallel applications generate a mix of coflows with and without deadlines. Deadline coflows are mission-critical and must be completed within deadlines, while the non-deadline coflows desire to be completed as soon as possible. Scheduling such mix-coflows is an important problem in modern datacenters. However, existing solutions only focus on one of the two types of coflows: they either solely concentrate on meeting the deadlines of deadline-aware coflows or reducing the coflow completion times (CCTs) of non-deadline coflows. In this article, we study the problem of optimizing deadline and non-deadline coflows simultaneously. To this end, we present a new optimization framework, <italic xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">mixCoflow</i> , to schedule deadline coflows to minimize and balance their bandwidth footprint, such that non-deadline coflows can be scheduled as early as possible. Specifically, we develop the mathematical model and formulate the scheduling problem for deadline coflows as a lexicographical min-max integer linear programming (ILP) problem. Through rigorous theoretical analysis, this ILP problem has been proved to be equivalent to a linear programming (LP) problem that can be solved with standard LP solvers. By solving this LP, <italic xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">mixCoflow</i> is able to balance the bandwidth footprint of deadline coflows while guaranteeing their deadlines. As a result, non-deadline coflows can be scheduled as soon as possible whenever they arrive. To demonstrate the effectiveness of our work, we have conducted extensive simulations based on a widely used Facebook data trace. The simulation results verify that <italic xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">mixCoflow</i> can achieve significant improvement on the average CCT of non-deadline coflows, at no expense of increasing the deadline miss rates of deadline coflows, when compared to the state-of-art solutions.

Distributed sub-light-tree based multicast provisioning with shared protection in elastic optical datacenter networks

Network Function Virtualization (NFV) is a paradigm that virtualizes traditional network functions and instantiates Virtual Network Functions (VNFs) as software instances separate from hardware appliances. Service Chaining (SC), seen as one of the major NFV use cases, provides customized services to users by concatenating VNFs. A VNF placement model for SC that relaxes the visit order constraints of requested VNFs has been considered. Relaxing the VNF visit order constraints reduces the number of VNFs which need to be placed in the network. However, since the model does not permit any loop within an SC path, the efficiency of utilization of computation resources deteriorates in some topologies. This paper proposes a VNF placement model for SC which minimizes the cost for placing VNFs and utilizing link capacity while allowing both relaxation of VNF visit order constraints and configuration of SC paths including loops. The proposed model determines routes of requested SC paths, which can have loops, by introducing a logical layered network generated from an original physical network. This model is formulated as an Integer Linear Programming (ILP) problem. A heuristic algorithm is introduced for the case that the ILP problem is not tractable. Simulation results show that the proposed model provides SC paths with smaller cost compared to the conventional model.

This paper addresses the fault diagnosis problem in discrete event systems using backward conflict-free Petri nets, where two different transitions have no common output places. The notion of generalized markings is employed, where the number of tokens in a place can be negative. Based on the special structures of backward conflict-free Petri nets and the generalized marking corresponding to an observed transition sequence, an integer linear programming (ILP) problem is constructed where the numbers of unknown integer variables and constraints are independent of the length of the observed transition sequence. A diagnosis algorithm is proposed by associating two different objective functions with the ILP problem and solving it. The computational efficiency of the proposed algorithm depends on the net structure only, regardless of the length of an observed transition sequence.

An accelerated Benders decomposition approach for virtual base station formation in stochastic Cloud-RANs

Spectrum Expansion/Contraction and Survivable Routing and Spectrum Assignment problems on EONs with time-varying traffic

A suggested algorithm to solve triangular fuzzy rough integer linear programming (TFRILP) problems with α-level is introduced in this paper in order to find rough value optimal solutions and decision rough integer variables, where all parameters and decision variables in the constraints and the objective function are triangular fuzzy rough numbers. In real-life situations, the parameters of a linear programming problem model may not be defined precisely, because of the current market globalization and some other uncontrollable factors. In order to solve this problem, a proper methodology is adopted to solve the TFRILP problems by the slice-sum method with the branch-and-bound technique, through which two fuzzy integers linear programming (FILP) problems with triangular fuzzy interval coefficients and variables were constructed. One of these problems is an FILP problem, where all of its coefficients are the upper approximation interval and represent rather satisfactory solutions; the other is an FILP problem, where all of its coefficients are the lower approximation interval and represent completely satisfactory solutions. Moreover, α-level at α = 0.5 is adopted to find some other rough value optimal solutions and decision rough integer variables. Integer programming is used, since a lot of the linear programming problems require that the decision variables be integers. In addition, the motivation behind this study is to enable the decision makers to make the right decision considering the proposed solutions, while dealing with the uncertain and imprecise data. A flowchart is also provided to illustrate the problem-solving steps. Finally, two numerical examples are given to clarify the obtained results.

We consider routing in survivable networks that provide protection against node or link failures. In these networks resilience against failures is provided by routing connections on pairs of disjoint paths called primary and backup paths. The primary path of a connection carries its traffic under normal circumstances and in the eventuality of a network failure effecting the primary path the connection traffic (all or some portion of it) is rerouted over its backup path. In an online setting as connection requests arrive a pair of disjoint primary and backup paths of least total cost (under some link cost metric) are selected to route the connections. In many situations the cost metric used for the primary path differs from the cost metric used for the backup path. Also in many realistic settings these two cost metrics are related to each other. In this paper we study the problem of finding a pair of edge or node disjoint paths of least total cost where the cost of the primary path is the total cost of its links while the cost for the backup path is α times the sum of the cost of its links, for some given α < 1. We show that the problem is hard to approximate to within a factor $$\Omega((\frac{1}{\alpha})^{1-\epsilon})$$ for any positive $$\epsilon \le 1$$ . In addition we show that the problem is complete for a set of hard to approximate problems. On the positive side we show that a simple algorithm achieves an approximation ratio of $$O(\frac{1}{\alpha})$$ for the problem.

An efficient critical protection scheme for intra-domain routing using link characteristics

Integer Programming for Optimal Control of Geostationary Station Keeping of Low-Thrust Satellites