| 21. |
- Fotedar, Sunney, 1989, et al.
(författare)
-
Mathematical optimization of the tactical allocation of machining resources for an efficient capacity utilization in aerospace component manufacturing
- 2019
-
Ingår i: Proceedings of the 10th Aerospace Technology Congress. - : Linköping University Electronic Press. - 1650-3686 .- 1650-3740. - 9789175190068 ; , s. 183-188
-
Konferensbidrag (refereegranskat)abstract
- In the aerospace industry, with low volumes and many products, there is a critical need to efficiently use available manufacturing resources. Currently, at GKN Aerospace, resource allocation decisions that in many cases will last for several years are to some extent made with a short-term focus so as to minimize machining time, which results in a too high load on the most capable machines, and too low load on the less capable ones. This creates an imbalance in capacity utilization that leads to unnecessary queuing at some machines, resulting in long lead times and in an increase in tied-up capital. Tactical resource allocation on the medium to long-range planning horizon (six months to several years) aims to address this issue by allocating resources to meet the predicted future demand as effectively as possible, in order to ensure long range profitability. Our intent is to use mathematical optimization to find the best possible allocations.
|
|
| 22. |
- Obradovic, Gabrijela, 1994, et al.
(författare)
-
Simultaneous scheduling of replacement and repair of common components in operating systems A multi-objective mathematical optimization model
- 2022
-
Ingår i: Annals of Operations Research. - : Springer Science and Business Media LLC. - 0254-5330 .- 1572-9338. ; 322, s. 147-65
-
Tidskriftsartikel (refereegranskat)abstract
- In order for a system to stay operational, its components need maintenance. We consider two stakeholders-a system operator and a maintenance workshop-and a contract governing their joint activities. Components in the operating systems that are to be maintained are sent to the maintenance workshop, which should perform all maintenance activities on time in order to satisfy the contract. The maintained components are then sent back to be used in the operating systems. Our modeling of this system-of-systems includes stocks of damaged and repaired components, the workshop scheduling, and the planning of preventive maintenance for the operating systems. Our modeling is based on a mixed-binary linear optimization (MBLP) model of a preventive maintenance scheduling problem with so-called interval costs over a finite and discretized time horizon. We generalize and extend this model with the flow of components through the workshop, including the stocks of spare components. The resulting scheduling model-a mixed-integer optimization (MILP) model-is then utilized to optimize the main contract in a bi-objective setting: maximizing the availability of repaired (or new) components and minimizing the costs of maintaining the operating systems over the time horizon. We analyze the main contract and briefly discuss a turn-around time contract. Our results concern the effect of our modeling on the levels of the stocks of components over time, in particular minimizing the risk for lack of spare components.
|
|
| 23. |
- Willsch, Dennis, et al.
(författare)
-
Benchmarking Advantage and D-Wave 2000Q quantum annealers with exact cover problems
- 2022
-
Ingår i: Quantum Information Processing. - : Springer Science and Business Media LLC. - 1570-0755 .- 1573-1332. ; 21:4
-
Tidskriftsartikel (refereegranskat)abstract
- We benchmark the quantum processing units of the largest quantum annealers to date, the 5000 + qubit quantum annealer Advantage and its 2000+ qubit predecessor D-Wave 2000Q, using tail assignment and exact cover problems from aircraft scheduling scenarios. The benchmark set contains small, intermediate, and large problems with both sparsely connected and almost fully connected instances. We find that Advantage outperforms D-Wave 2000Q for almost all problems, with a notable increase in success rate and problem size. In particular, Advantage is also able to solve the largest problems with 120 logical qubits that D-Wave 2000Q cannot solve anymore. Furthermore, problems that can still be solved by D-Wave 2000Q are solved faster by Advantage. We find, however, that D-Wave 2000Q can achieve better success rates for sparsely connected problems that do not require the many new couplers present on Advantage, so improving the connectivity of a quantum annealer does not per se improve its performance.
|
|
| 24. |
- Åblad, Edvin, 1991, et al.
(författare)
-
Exact makespan minimization of unrelated parallel machines
- 2021
-
Ingår i: Open Journal of Mathematical Optimization. - : Cellule MathDoc/CEDRAM. - 2777-5860. ; 2
-
Tidskriftsartikel (refereegranskat)abstract
- We study methods for the exact solution of the unrelated parallel machine problem with makespan minimization, generally denoted as R||Cmax. Our original application arises from the automotive assembly process where tasks needs to be distributed among several robots. This involves the solutions of several R||Cmax instances, which proved hard for a MILP solver since the makespan objective induces weak LP relaxation bounds. To improve these bounds and to enable the solution of larger instances, we propose a branch–and–bound method based on a Lagrangian relaxation of the assignment constraints. For this relaxation we derive a criterion for variable fixing and prove the zero duality gap property for the case of two parallel machines. Our computational studies indicate that the proposed algorithm is competitive with state-of-the-art methods on different types of instances. Moreover, the impact of each proposed feature is analysed.
|
|
| 25. |
- Almquist, Martin, et al.
(författare)
-
Order-preserving interpolation for summation-by-parts operators at nonconforming grid interfaces
- 2019
-
Ingår i: SIAM Journal of Scientific Computing. - : Society for Industrial and Applied Mathematics Publications. - 1064-8275 .- 1095-7197. ; 41:2, s. A1201-A1227
-
Tidskriftsartikel (refereegranskat)abstract
- We study nonconforming grid interfaces for summation-by-parts finite difference methods applied to partial differential equations with second derivatives in space. To maintain energy stability, previous efforts have been forced to accept a reduction of the global convergence rate by one order, due to large truncation errors at the nonconforming interface. We avoid the order reduction by generalizing the interface treatment and introducing order-preserving interpolation operators. We prove that, given two diagonal-norm summation-by-parts schemes, order-preserving interpolation operators with the necessary properties are guaranteed to exist, regardless of the grid-point distributions along the interface. The new methods retain the stability and global accuracy properties of the underlying schemes for conforming interfaces.
|
|
| 26. |
- Arkeryd, Leif, 1940, et al.
(författare)
-
On stationary solutions to normal, coplanar discrete Boltzmann equation models
- 2020
-
Ingår i: Communications in Mathematical Sciences. - 1539-6746 .- 1945-0796. ; 18:8, s. 2215-2234
-
Tidskriftsartikel (refereegranskat)abstract
- The paper proves existence of renormalized solutions for a class of velocity-discrete coplanar stationary Boltzmann equations with given indata. The proof is based on the construction of a sequence of approximations with L-1- compactness for the integrated collision frequency and gain term. L-1-compactness of a sequence of approximations is obtained using the Kolmogorov-Riesz theorem and replaces the L-1-compactness of velocity averages in the continuous velocity case, not available when the velocities are discrete.
|
|
| 27. |
- Bandara, L., et al.
(författare)
-
Eigenvalue asymptotics for weighted Laplace equations on rough Riemannian manifolds with boundary
- 2021
-
Ingår i: Annali Della Scuola Normale Superiore Di Pisa-Classe Di Scienze. - : Scuola Normale Superiore - Edizioni della Normale. - 0391-173X .- 2036-2145. ; 22:4, s. 1843-1878
-
Tidskriftsartikel (refereegranskat)abstract
- Our topological setting is a smooth compact manifold of dimension two or higher with smooth boundary. Although this underlying topological structure is smooth, the Riemannian metric tensor is only assumed to be bounded and measurable. This is known as a rough Riemannian manifold. For a large class of boundary conditions we demonstrate a Weyl law for the asymptotics of the eigenvalues of the Laplacian associated to a rough metric. Moreover, we obtain eigenvalue asymptotics for weighted Laplace equations associated to a rough metric. Of particular novelty is that the weight function is not assumed to be of fixed sign, and thus the eigenvalues may be both positive and negative. Key ingredients in the proofs were demonstrated by Birman and Solomjak nearly fifty years ago in their seminal work on eigenvalue asymptotics. In addition to determining the eigenvalue asymptotics in the rough Riemannian manifold setting for weighted Laplace equations, we also wish to promote their achievements which may have further applications to modern problems.
|
|
| 28. |
- Bandara, L., et al.
(författare)
-
Riesz continuity of the Atiyah-Singer Dirac operator under perturbations of the metric
- 2018
-
Ingår i: Mathematische Annalen. - : Springer Science and Business Media LLC. - 0025-5831 .- 1432-1807. ; 370:1-2, s. 863-915
-
Tidskriftsartikel (refereegranskat)abstract
- We prove that the Atiyah-Singer Dirac operator D-g in L-2 depends Riesz continuously L-infinity on perturbations of complete metrics on a smooth manifold. The Lipschitz bound for the map g -> D-g(1 + D-g(2))(-1/2) depends on bounds on Ricci curvature and its first derivatives as well as a lower bound on injectivity radius. Our proof uses harmonic analysis techniques related to Caldern's first commutator and the Kato square root problem. We also show perturbation results for more general functions of general Dirac-type operators on vector bundles.
|
|
| 29. |
- Bandara, Lashi, et al.
(författare)
-
Riesz continuity of the Atiyah–Singer Dirac operator under perturbations of local boundary conditions
- 2019
-
Ingår i: Communications in Partial Differential Equations. - : Informa UK Limited. - 0360-5302 .- 1532-4133. ; 44:12, s. 1253-1284
-
Tidskriftsartikel (refereegranskat)abstract
- On a smooth complete Riemannian spin manifold with smooth compact boundary, we demonstrate that Atiyah–Singer Dirac operator /DB in L2 depends Riesz continuously on L∞ perturbations of local boundary conditions B. The Lipschitz bound for the map B→/DB(1+/D2B)−12 depends on Lipschitz smoothness and ellipticity of B and bounds on Ricci curvature and its first derivatives as well as a lower bound on injectivity radius away from a compact neighbourhood of the boundary. More generally, we prove perturbation estimates for functional calculi of elliptic operators on manifolds with local boundary conditions.
|
|
| 30. |
- Bauer, M., et al.
(författare)
-
Semi-invariant Riemannian metrics in hydrodynamics
- 2020
-
Ingår i: Calculus of Variations and Partial Differential Equations. - : Springer Science and Business Media LLC. - 0944-2669 .- 1432-0835. ; 59:2
-
Tidskriftsartikel (refereegranskat)abstract
- Many models in mathematical physics are given as non-linear partial differential equation of hydrodynamic type; the incompressible Euler, KdV, and Camassa-Holm equations are well-studied examples. A beautiful approach to well-posedness is to go from the Eulerian to a Lagrangian description. Geometrically it corresponds to a geodesic initial value problem on the infinite-dimensional group of diffeomorphisms with a right invariant Riemannian metric. By establishing regularity properties of the Riemannian spray one can then obtain local, and sometimes global, existence and uniqueness results. There are, however, many hydrodynamic-type equations, notably shallow water models and compressible Euler equations, where the underlying infinite-dimensional Riemannian structure is not fully right invariant, but still semi-invariant with respect to the subgroup of volume preserving diffeomorphisms. Here we study such metrics. For semi-invariant metrics of Sobolev Hk-type we give local and some global well-posedness results for the geodesic initial value problem. We also give results in the presence of a potential functional (corresponding to the fluid's internal energy). Our study reveals many pitfalls in going from fully right invariant to semi-invariant Sobolev metrics; the regularity requirements, for example, are higher. Nevertheless the key results, such as no loss or gain in regularity along geodesics, can be adopted.
|
|
