We distinguish static and dynamic optimization of programs: whereas static optimization modifies a program before runtime and is based only its syntactical structure, dynamic optimization is based on the statistical properties of the input source and examples of program execution. Explanation-based generalization is a commonly used dynamic optimization method, but its effectiveness as a speedup...

Genetic algorithms are widely adopted to solve optimization problems in robotic applications. In such safety-critical systems, it is vitally important to formally prove the correctness when genetic algorithms are applied. This paper focuses on formal modeling of crossover operations that are one of most important operations in genetic algorithms. Specially, we for the first time formalize cross...

In this study, a novel model called Function Deployment Model (FDM) for decision making in new product development is introduced. To demonstrate its usefulness pragmatically, the model is applied to the design problem of development of the micro/nano injection molding machine. Based on the Quality Function Deployment (QFD) technique, this model translates the customer needs to engineering chara...

In this paper we try to introduce the Ant Colony Optimization (ACO) and its application in Economic Dispatch ED). In the step one we present theory and performance of ant colony and its history and its application in various applications and how work the ant colony algorithm. In step two we present ant colony optimization include Basic Concept, Ant Searching Behavior, Path Retracing and Pheromo...

Logistics Network Design includes network configuration decisions having long-standing influences on other tactical and operational decisions. Recently, regarding environmental issues and customer awareness and global warming closed-loop supply chain network design is taken into consideration. The proposed network for the integrated forward and reverse logistics is developed by formulating a cy...

Developmental programing is gaining considerable leverage as a conceptual framework for understanding individual variability in human behavioral and somatic health. The current mini-review examines some of the key conceptual and methodological challenges for developmental programing research focused on fetal sex steroid exposure and physical, behavioral, physiological, and health outcomes. Spec...

This paper presents the FPGA implementation of sliding mode control algorithm for bilateral teleoperation, such that, the problem of haptic teleoperation is addressed. The presented study improves haptic fidelity by widening the control bandwidth. For wide control bandwidth, short control periods as well as short sampling periods are required that was achieved by the FPGA. The presented FPGA de...