Process Completing Sequences for Resource Allocation Systems with Synchronization

This paper considers the problem of establishing live resource allocation in workflows with synchronization stages. Establishing live resource allocation in this class of systems is challenging since deciding whether a given level of resource capacities is sufficient to complete a single process is NP-complete. In this paper, we develop two necessary conditions and one sufficient condition that provide quickly computable tests for the existence of process completing sequences. The necessary conditions are based on the sequence of completions of � subprocesses that merge together at a synchronization. Although the worst case complexity is O(2�), we expect the number of subprocesses combined at any synchronization will be sufficiently small so that total computation time remains manageable. The sufficient condition uses a reduction scheme that computes a sufficient capacity level of each resource type to complete and merge all � subprocesses. The worst case complexity is O(�⋅�), where � is the number of synchronizations. Finally, the paper develops capacity bounds and polynomial methods for generating feasible resource allocation sequences for merging systems with single unit allocation. This method is based on single step look-ahead for deadly marked siphons and is O(2�). Throughout the paper, we use a class of Petri nets called Generalized Augmented Marked Graphs to represent our resource allocation systems

A SImulation-Based Approach for Dock Allocation in a Food Distribution Center

This research endeavor focused on the warehouse receiving process at a large food distribution center, which comprises of trucks with goods reaching the destination warehouse, unloading and finally putting away the contents to the specific aisles. Discrete event simulation was used to model the current system’s functioning and to identify operational inefficiencies which were quantified through a detailed value stream mapping exercise. Inspired by ‘lean’ philosophy, a dock allocation algorithm was designed to take into account the relationship between the dock location and the destination aisle to ‘optimally’ assign the trucks to the docks. After validating the baseline, new scenarios incorporating the allocation algorithm were tested. Two of the scenarios showed an average reduction of 30% in daily travel distance for the ‘put-away’ personnel. The simulation model also helped visualize the benefits that would accrue through the use of lean principles to reduce the non-value added time in warehouse operations

Modeling of Biological Intelligence for SCM System Optimization

This article summarizes some methods from biological intelligence for modeling and optimization of supply chain management (SCM) systems, including genetic algorithms, evolutionary programming, differential evolution, swarm intelligence, artificial immune, and other biological intelligence related methods. An SCM system is adaptive, dynamic, open self-organizing, which is maintained by flows of information, materials, goods, funds, and energy. Traditional methods for modeling and optimizing complex SCM systems require huge amounts of computing resources, and biological intelligence-based solutions can often provide valuable alternatives for efficiently solving problems. The paper summarizes the recent related methods for the design and optimization of SCM systems, which covers the most widely used genetic algorithms and other evolutionary algorithms

Suppression of superconductivity in nanowires by bulk superconductors

Transport measurements were made on a system consisting of a zinc nanowire array sandwiched between two bulk superconducting electrodes (Sn or In). It was found that the superconductivity of Zn nanowires of 40 nm diameter is suppressed either completely or partially by the superconducting electrodes. When the electrodes are driven into their normal state by a magnetic field, the nanowires switch back to their superconducting state. This phenomenon is significantly weakened when one of the two superconducting electrodes is replaced by a normal metal. The phenomenon is not seen in wires with diameters equal to and thicker than 70 nm.Comment: 4 pages, 5 figure

Design of Air Traffic Control Weather Related Training Program

Essential components of a new scenario-based air traffic control (ATC) training platform whose effectiveness is being analyzed are outlined with respect to its use in the decision-making skills of trainees when confronted with emergency situations. The custom designed platform allows the trainee to interact with the program such that the 10-minute ramification of a proposed aircraft redirection can be explored visually before a decision is made. Actual previous extreme weather incidences are used. Testing of the platform is ongoing with ATC students from Kent State University. Data from subjective pre- and postquestionnaires as well as objective decision parameters are currently being taken