Search Results (14)

A critical part of Automated Material Handling Systems (AMHS) is the task allocation and dispatching strategy employed. In order to better understand and investigate this component, we here present an extensive experimental evaluation of three different approaches with randomly generated, as well as custom designed, environment configurations. While previous studies typically focused on use cases based on highly constrained navigation capabilities (e.g., overhead hoist transport systems), our evaluation is built around highly mobile, free-ranging vehicles, i.e., Autonomous Mobile Robots (AMR) that are gaining popularity in a broad range of applications. Consequently, our experiments are conducted using a microscopic agent-based simulation, instead of the more common discrete-event simulation model. Dispatching methods often are built around the assumption of the asynchronous evaluation of an event-based model, i.e., vehicles trigger a cascade of individual dispatching decisions, e.g., when reaching intersections. We find that this does not translate very well to a fleet of highly mobile systems that can change direction at any time. With this in mind, we present formulations of well known dispatching approaches that are better suited for a synchronous evaluation of the dispatching decisions. The formulations are based on the Stable Marriage Problem (SMP) and the Linear Sum Assignment Problem (LSAP). We use matching and assignment algorithms to compute the actual dispatching decisions. The selected algorithms are evaluated in a multi-agent simulation environment. To integrate a centralised fleet management, a digital twin concept is proposed and implemented. By this approach, the fleet management is independent of the implementation of the specific agents, allowing to quickly adapt to other simulation-based or real application scenarios. For the experimental evaluation, two new performance measures related to the efficiency of a material handling system are proposed, Travel Efficiency and Throughput Effort. The experimental evaluation indicates that reassignment mechanisms in the dispatching method can help to increase the overall efficiency of the fleet. We did not find significant differences in absolute performance in terms of throughput rate. Additionally, the difference in performance between SMP- and LSAP-based dispatching with reassignment seems negligible. We conclude with a discussion, where we consider potential confounding factors and relate the findings to previously reported results found in the literature. Full article

This paper studies the integration of data collection and offloading for maritime Internet of Things (IoT) systems with multiple unmanned aerial vehicles (UAVs). In the considered multi-UAV maritime IoT system, the UAVs act as the aerial base stations to complete the missions of data collection from buoys and data offloading to the offshore base station (OBS). In this case, the UAVs need to adaptively select the mission mode between data collection and data offloading according to the network resources and mission requirements. In this paper, we aimed to minimize the completion time of data collection and offloading missions for all UAVs by jointly optimizing the UAV trajectories, mission mode selection, transmit power of buoys, and association relationships between the UAVs and buoy/OBS. In order to solve the mixed-integer non-convex minimization problem, we first designed a multi-agent deep reinforcement learning algorithm based on a hybrid discrete and continuous action space to preliminarily obtain the UAV trajectories, mission mode selection, and the transmit power of buoys. Then, we propose an algorithm based on the stable marriage problem to determine the buoy–UAV and UAV–OBS association relationships. Finally, the simulation results show that the proposed algorithms can effectively shorten the total mission completion time of data collection and offloading for the multi-UAV-assisted maritime IoT system. Full article

We studied the stable marriage problem with dynamic preferences. The dynamic preference model allows the agent to change its preferences at any time, which may cause instability in a matching. However, preference changing in SMP instances does not necessarily break all pairs of an existing match. Sometimes, only a few couples want to change their partners, while others choose to stay with their current partners; this motivates us to find stable matching on a new instance by updating an existing match rather than restarting the matching process from scratch. By using the update mechanism, we try to minimize the revision cost when rematching occurs. The challenge when updating a matching is that a cyclic process may exist, and stable matching is never achieved. Our proposed mechanism can update a match and avoid the cyclic process. Full article

Deployment of unmanned aerial vehicles (UAVs) as aerial base stations (ABSs) has been considered to be a feasible solution to provide network coverage in scenarios where the conventional terrestrial network is overloaded or inaccessible due to an emergency situation. This article studies the problem of optimal placement of the UAVs as ABSs to enable network connectivity for the users in such a scenario. The main contributions of this work include a less complex approach to optimally position the UAVs and to assign user equipment (UE) to each ABS, such that the total spectral efficiency (TSE) of the network is maximized, while maintaining a minimum QoS requirement for the UEs. The main advantage of the proposed approach is that it only requires the knowledge of UE and ABS locations and statistical channel state information. The optimal 2-dimensional (2D) positions of the ABSs and the UE assignments are found using K-means clustering and a stable marriage approach, considering the characteristics of the air-to-ground propagation channels, the impact of co-channel interference from other ABSs, and the energy constraints of the ABSs. Two approaches are proposed to find the optimal altitudes of the ABSs, using search space constrained exhaustive search and particle swarm optimization (PSO). The numerical results show that the PSO-based approach results in higher TSE compared to the exhaustive search-based approach in dense networks, consuming similar amount of energy for ABS movements. Both approaches lead up to approximately 8-fold energy savings compared to ABS placement using naive exhaustive search. Full article

The simulation of population dynamics and social processes is of great interest in nonlinear systems. Recently, many scholars have paid attention to the possible applications of population dynamics models, such as the competitive Lotka–Volterra equation, in economic, demographic and social sciences. It was found that these models can describe some complex behavioral phenomena such as marital behavior, the stable marriage problem and other demographic processes, possessing chaotic dynamics under certain conditions. However, the introduction of external factors directly into the continuous system can influence its dynamic properties and requires a reformulation of the whole model. Nowadays most of the simulations are performed on digital computers. Thus, it is possible to use special numerical techniques and discrete effects to introduce additional features to the digital models of continuous systems. In this paper we propose a discrete model with controllable phase-space volume based on the competitive Lotka–Volterra equations. This model is obtained through the application of semi-implicit numerical methods with controllable symmetry to the continuous competitive Lotka–Volterra model. The proposed model provides almost linear control of the phase-space volume and, consequently, the quantitative characteristics of simulated behavior, by shifting the symmetry of the underlying finite-difference scheme. We explicitly show the possibility of introducing almost arbitrary law to control the phase-space volume and entropy of the system. The proposed approach is verified through bifurcation, time domain and phase-space volume analysis. Several possible applications of the developed model to the social and demographic problems’ simulation are discussed. The developed discrete model can be broadly used in modern behavioral, demographic and social studies. Full article

The Stable Fixtures problem (Irving and Scott (2007)) is a generalized matching model that nests the well-known Stable Roommates, Stable Marriage, and College Admissions problems as special cases. This paper extends a result of the Stable Roommates problem to demonstrate that a class of homophilic preferences with an appealing psychological interpretation is sufficient to ensure that starting from an arbitrary matching, a decentralized process of allowing the sequential matching of randomly chosen blocking pairs will converge to a pairwise-stable matching with probability one. Strategic implications of this class of preferences are examined and further possible generalizations and directions for future research are discussed. Full article

Sweat pores on the human fingertip have meaningful patterns that enable individual identification. Although conventional automatic fingerprint identification systems (AFIS) have mainly employed the minutiae features to match fingerprints, there has been minimal research that uses sweat pores to match fingerprints. Recently, high-resolution optical sensors and pore-based fingerprint systems have become available, which motivates research on pore analysis. However, most existing pore-based AFIS methods use the minutia-ridge information and image pixel distribution, which limit their applications. In this context, this paper presents a stable pore matching algorithm which effectively removes both the minutia-ridge and fingerprint-device dependencies. Experimental results show that the proposed pore matching algorithm is more accurate for general fingerprint images and robust under noisy conditions compared with existing methods. The proposed method can be used to improve the performance of AFIS combined with the conventional minutiae-based methods. Since sweat pores can also be observed using various systems, removing of the fingerprint-device dependency will make the pore-based AFIS useful for wide applications including forensic science, which matches the latent fingerprint to the fingerprint image in databases. Full article

We build an abstract model, closely related to the stable marriage problem and motivated by Hungarian college admissions. We study different stability notions and show that an extension of the lattice property of stable marriages holds in these more general settings, even if the choice function on one side is not path independent. We lean on Tarski’s fixed point theorem and the substitutability property of choice functions. The main virtue of the work is that it exhibits practical, interesting examples, where non-path independent choice functions play a role, and proves various stability-related results. Full article

We describe a flow model related to ordinary network flows the same way as stable matchings are related to maximum matchings in bipartite graphs. We prove that there always exists a stable flow and generalize the lattice structure of stable marriages to stable flows. Our main tool is a straightforward reduction of the stable flow problem to stable allocations. For the sake of completeness, we prove the results we need on stable allocations as an application of Tarski’s fixed point theorem. Full article

The stable matching problem (also known as the stable marriage problem) is a well-known problem of matching men to women, so that no man and woman, who are not married to each other, both prefer each other. Such a problem has a wide variety of practical applications, ranging from matching resident doctors to hospitals, to matching students to schools or, more generally, to any two-sided market. In the classical stable marriage problem, both men and women express a strict preference order over the members of the other sex, in a qualitative way. Here, we consider stable marriage problems with weighted preferences: each man (resp., woman) provides a score for each woman (resp., man). Such problems are more expressive than the classical stable marriage problems. Moreover, in some real-life situations, it is more natural to express scores (to model, for example, profits or costs) rather than a qualitative preference ordering. In this context, we define new notions of stability and optimality, and we provide algorithms to find marriages that are stable and/or optimal according to these notions. While expressivity greatly increases by adopting weighted preferences, we show that, in most cases, the desired solutions can be found by adapting existing algorithms for the classical stable marriage problem. We also consider the manipulability properties of the procedures that return such stable marriages. While we know that all procedures are manipulable by modifying the preference lists or by truncating them, here, we consider if manipulation can occur also by just modifying the weights while preserving the ordering and avoiding truncation. It turns out that, by adding weights, in some cases, we may increase the possibility of manipulating, and this cannot be avoided by any reasonable restriction on the weights. Full article

The stable marriage (SM) problem has a wide variety of practical applications, ranging from matching resident doctors to hospitals, to matching students to schools or, more generally, to any two-sided market. In the classical formulation, n men and n women express their preferences (via a strict total order) over the members of the other sex. Solving an SM problem means finding a stable marriage where stability is an envy-free notion: no man and woman who are not married to each other would both prefer each other to their partners or to being single. We consider both the classical stable marriage problem and one of its useful variations (denoted SMTI (Stable Marriage with Ties and Incomplete lists)) where the men and women express their preferences in the form of an incomplete preference list with ties over a subset of the members of the other sex. Matchings are permitted only with people who appear in these preference lists, and we try to find a stable matching that marries as many people as possible. Whilst the SM problem is polynomial to solve, the SMTI problem is NP-hard. We propose to tackle both problems via a local search approach, which exploits properties of the problems to reduce the size of the neighborhood and to make local moves efficiently. We empirically evaluate our algorithm for SM problems by measuring its runtime behavior and its ability to sample the lattice of all possible stable marriages. We evaluate our algorithm for SMTI problems in terms of both its runtime behavior and its ability to find a maximum cardinality stable marriage. Experimental results suggest that for SM problems, the number of steps of our algorithm grows only as O(n log(n)), and that it samples very well the set of all stable marriages. It is thus a fair and efficient approach to generate stable marriages. Furthermore, our approach for SMTI problems is able to solve large problems, quickly returning stable matchings of large and often optimal size, despite the NP-hardness of this problem. Full article

We consider a two-sided market under incomplete preference lists with ties, where the goal is to find a maximum size stable matching. The problem is APX-hard, and a 3/2-approximation was given by McDermid [1]. This algorithm has a non-linear running time, and, more importantly needs global knowledge of all preference lists. We present a very natural, economically reasonable, local, linear time algorithm with the same ratio, using some ideas of Paluch [2]. In this algorithm every person make decisions using only their own list, and some information asked from members of these lists (as in the case of the famous algorithm of Gale and Shapley). Some consequences to the Hospitals/Residents problem are also discussed. Full article

In the stable marriage problem, any instance admits the so-called man-optimal stable matching, in which every man is assigned the best possible partner. However, there are instances for which all men receive low-ranked partners even in the man-optimal stable matching. In this paper we consider the problem of improving the man-optimal stable matching by changing only one man’s preference list. We show that the optimization variant and the decision variant of this problem can be solved in time O(n³) and O(n²), respectively, where n is the number of men (women) in an input. We further extend the problem so that we are allowed to change k men’s preference lists. We show that the problem is W[1]-hard with respect to the parameter k and give O(n^2k+1)-time and O(n^k+1)-time exact algorithms for the optimization and decision variants, respectively. Finally, we show that the problems become easy when k = n; we give O(n^2.5 log n)-time and O(n²)-time algorithms for the optimization and decision variants, respectively. Full article