One of the important factor in the design of automated guided vehicle systems (AGVS) is the flow path design. This paper presents a branch-and-bound algorithm to determining the flow path by considering not only loaded-vehicles, but also empty-vehicles. The objective is to find the flow path, which will minimize total travel of loaded vehicles. We know that in branch-and-bound method a branch c...

FPGA platforms have been widely used in many modern digital applications due to their low prototyping cost, short time-to-market and flexibility. Field-programmability of FPGA bitstream has made it as a flexible and easy-to-use platform. However, access to bitstream degraded the security of FPGA IPs because there is no efficient method to authenticate the originality of bitstream by the FPGA pr...

in the maximum flow network interdiction problem, an attacker attempts to minimize the maximum flow by interdicting flow on the arcs of network. in this paper, our focus is on the nodal interdiction for network instead of the arc interdiction. two path inequalities for the node-only interdiction problem are represented. it has been proved that the integrality gap of relaxation of the maximum fl...

One of the important factor in the design of automated guided vehicle systems (AGVS) is the flow path design. This paper presents a branch-and-bound algorithm to determining the flow path by considering not only loaded-vehicles, but also empty-vehicles. The objective is to find the flow path, which will minimize total travel of loaded vehicles. We know that in branch-and-bound method a branch c...

Algorithm design may be defined as the task of finding an efficient data and control structure that implements a given inputoutput specification. This paper describes a methodology for control structure design, applicable to combinatorial algorithms involving search or minimization. The methodology includes an abstract process representation based on generators, constraints, mappings and orderi...

In this work, we present a flow restoration based network design problem where we assume the knowledge of possible failure situations. We use the idea of a situation disjoint path couple (nominal path, backup path) which are constructed in such a way that atleast one of them is operational in any given failure situation for a flow. We present a linear programming formulation of the problem and ...

Micromixer is a significant component of microfluidics particularly in lab-on-chip applications so that there has been a growing need for design and fabrication of micromixers with a shorter length and higher efficiency. Despite most of the passive micromixers that suffer from long mixing path and complicated geometry to increase the efficiency, our novel design suggests a highly efficient micr...

In ASIC construction, design changes can occur at all phases of the product development cycle. When changes occur late in the development cycle, say after datapath synthesis and verification, it can be very expensive not to maintain a significant portion of the pre-existing design. However, changes in this environment require accommodation of the limitations of the pre-existing data-path, which...