We present a method to capture decision maker’s preferences in multiobjective problems and we discuss its use as a base for a decision maker – multiobjective optimization model interface. We illustrate the idea on a small but illustrative numerical example of the airport gate assignment problem.

We present a new method for assignment of devices with different Vth in a double-Vth-process, whereas leakage is reduced and performance increases or is constant. A mixed-Vth gate type is developed, which renders new masks unnecessary. As compared with known methods, our approach achieves an additional leakage reduction of 25% while leakage reduction in raw designs is average 65%.

We address the problem of checking the routability of segmented channels using satisfiability. The segmented channel routing problem arises in the context of row-based field programmable gate array (FPGAs). Our approach transforms the routing task into a single large Boolean equation such that any assignment of input variables that satisfies the equation specifies a valid routing. It considers ...

This paper presents a high-level, algorithmic, single-assignment programming language and its optimizing compiler for reconfigurable systems. The compiler is capable of accepting our proposed instruction sets and generating a set of synthesizable VHDL codes. Simulated annealing algorithm at the heart of this compiler determines the design speed and resource needed on Field Programmable Gate Arr...

An engineered form of iso-1-cytochrome c with lysine 73 mutated to histidine is shown to increase by nearly 500-fold the rate of a conformational gate that modulates the rate of electron transfer into this protein. This result demonstrates the potential of protein engineering to provide electron transfer gates with tailored properties. The pH dependence of the rate of the conformational electro...

today, due to rising passenger expectations and other resource constraints, the airport managers and staff do to develop appropriate programs in order to optimize the allocation of the resources. gates and counters are important resources in airport. in this research problem of gate and counter for arrival flights is considered simultaneously and mathematical model is prepared. the objectives o...