173 research outputs found

    Exploring Millions of 6-State FSSP Solutions: the Formal Notion of Local CA Simulation

    Full text link
    In this paper, we come back on the notion of local simulation allowing to transform a cellular automaton into a closely related one with different local encoding of information. This notion is used to explore solutions of the Firing Squad Synchronization Problem that are minimal both in time (2n -- 2 for n cells) and, up to current knowledge, also in states (6 states). While only one such solution was proposed by Mazoyer since 1987, 718 new solutions have been generated by Clergue, Verel and Formenti in 2018 with a cluster of machines. We show here that, starting from existing solutions, it is possible to generate millions of such solutions using local simulations using a single common personal computer

    Master of Science

    Get PDF
    thesisTo better understand the role of small particles in the microphysical processes and the radiative properties of cirrus, the reliability of the historical in situ measurement database must be understood. A means of establishing this validity is to assume that the in situ measurements are at least consistent, in a broad sense, with the remote sensing data, and vice versa. In this study, an algorithm using Doppler radar moments and Raman lidar extinction is developed to retrieve a bimodal particle size distribution and its uncertainty. Case studies and statistics compiled over an entire year show that the existence of high concentrations in excess of 1 cm-3 of small particles in cirrus is not consistent with any reasonable interpretation of remote sensing data and is therefore likely from an artifact of the in situ measurement process. This study shows that while the particle concentrations from the Two-Dimensional Cloud Probe generally agree well with the retrieval results, simultaneous concentrations from the Forward Scattering Spectrometer Probe are much higher than the concentrations of small particles implied by the remote sensing measurements. The one-year statistics of the cirrus microphysical properties, including the ice water content, the effective radius and the total particle concentration, show that the occurrence frequency of the concentrations larger than 1 cm-3 is below 1%, and, given the possibility of errors in retrieved concentration as large as 100%, this study concludes that the existence of particle concentrations in cirrus in excess of 1 cm-3 is extraordinarily rare instead of common as suggested by uncritical acceptance of in situ data

    A review on Estimation of Distribution Algorithms in Permutation-based Combinatorial Optimization Problems

    Get PDF
    Estimation of Distribution Algorithms (EDAs) are a set of algorithms that belong to the field of Evolutionary Computation. Characterized by the use of probabilistic models to represent the solutions and the dependencies between the variables of the problem, these algorithms have been applied to a wide set of academic and real-world optimization problems, achieving competitive results in most scenarios. Nevertheless, there are some optimization problems, whose solutions can be naturally represented as permutations, for which EDAs have not been extensively developed. Although some work has been carried out in this direction, most of the approaches are adaptations of EDAs designed for problems based on integer or real domains, and only a few algorithms have been specifically designed to deal with permutation-based problems. In order to set the basis for a development of EDAs in permutation-based problems similar to that which occurred in other optimization fields (integer and real-value problems), in this paper we carry out a thorough review of state-of-the-art EDAs applied to permutation-based problems. Furthermore, we provide some ideas on probabilistic modeling over permutation spaces that could inspire the researchers of EDAs to design new approaches for these kinds of problems

    On the definition of dynamic permutation problems under landscape rotation.

    Get PDF
    Dynamic optimisation problems (DOPs) are optimisation problems that change over time. Typically, DOPs have been defined as a sequence of static problems, and the dynamism has been inserted into existing static problems using different techniques. In the case of dynamic permutation problems, this process has been usually done by the rotation of the landscape. This technique modifies the encoding of the problem and maintains its structure over time. Commonly, the changes are performed based on the previous state, recreating a concatenated changing problem. However, despite its simplicity, our intuition is that, in general, the landscape rotation may induce severe changes that lead to problems whose resemblance to the previous state is limited, if not null. Therefore, the problem should not be classified as a DOP, but as a sequence of unrelated problems. In order to test this, we consider the flow shop scheduling problem (FSSP) as a case study and the rotation technique that relabels the encoding of the problem according to a permutation. We compare the performance of two versions of the state-of-the-art algorithm for that problem on a wide experimental study: an adaptive version that benefits from the previous knowledge and a restarting version. Conducted experiments confirm our intuition and reveal that, surprisingly, it is preferable to restart the search when the problem changes even for some slight rotations. Consequently, the use of the rotation technique to recreate dynamic permutation problems is revealed in this work

    Adaptation and parameters studies of CS algorithm for flow shop scheduling problem

    Get PDF
    Scheduling concerns the allocation of limited resources overtime to perform tasks to fulfill certain criterion and optimize one or several objective functions. One of the most popular models in scheduling theory is that of the flow-shop scheduling. During the last 40 years, the permutation flow-shop sequencing problem with the objective of makespan minimization has held the attraction of many researchers. This problem characterized as Fm/prmu/Cmax in the notation of Graham, involves the determination of the order of processing of n jobs on m machines. In addition, there was evidence that m-machine permutation flow-shop scheduling problem (PFSP) is strongly NP-hard for m ≥3. Due to this NP-hardness, many heuristic approaches have been proposed, this work falls within the framework of the scientific research, whose purpose is to study Cuckoo search algorithm. Also, the objective of this study is to adapt the cuckoo algorithm to a generalized permutation flow-shop problem for minimizing the total completion time, so the problem is denoted as follow: Fm | | Cmax. Simulation results are judged by the total completion time and algorithm run time for each instance processed
    corecore