This note accompanies the DCA algorithm paper [1] by Daniels et. al. This paper presents two channel assignment algorithms, one based on an Integer Programming (IP) model and the other based on a heuristic. The number of channels required to satisfy linearly increasing demand function in the randomly distributed Typev cells are presented here for reuse distances greater than 2 and 3. The result...

the problem of lot sizing, sequencing and scheduling multiple products in flow line production systems has been studied by several authors. almost all of the researches in this area assumed that setup times and costs are sequence –independent even though sequence dependent setups are common in practice. in this paper we present a new mixed integer non linear program (minlp) and a heuristic meth...

We present a heuristic for automated lemma discovery that generates lemmas that might help ACL2 in proving theorems like ∀x : t1(x) = t2(x). This heuristic exploits manually created examples of x. These examples are used to produce ground terms t′1 and t ′ 2, for which semantical models are built. In order to generate useful intermediate lemmas, we search for a specific pattern in these two mod...

a new meta-heuristic method, based on neuronal communication (nc), is introduced in this article. the neuronal communication illustrates how data is exchanged between neurons in neural system. actually, this pattern works efficiently in the nature. the present paper shows it is the same to find the global minimum. in addition, since few numbers of neurons participate in each step of the method,...

In the literature, the application of multi-objective dynamic scheduling problem and simple priority rules are widely studied. Although these rules are not efficient enough due to simplicity and lack of general insight, composite dispatching rules have a very suitable performance because they result from experiments. In this paper, a dynamic flexible flow line problem with sequence-dependent se...

risk management is one of the most important aspects of project management that identifies, assesses and responds to project risks. although many papers have been published in project risk response, presented tools and methods are poor. hence, in this paper, we present an optimization model to respond project risk that seeks to optimize two key criteria of project: cost and time. the proposed m...