nowadays urban sanitary landfill compatible with environmental principles and in line with sustainable development is a necessity. in this paper for the purpose of determining appropriate sanitary landfill sites in kohgilooye & boyerahmad province, , many data layers were used including: slope, land cover, distance to main roads, distance to cities & villages, geology, surface water network, di...

Many existing computer-aided design systems for microelectromechanical systems require the generation of a three-dimensional mesh for computational analysis of the microdevice. Mesh generation requirements for microdevices are very complicated because of the presence of mixed-energy domains. Point methods or meshless methods do not require the generation of a mesh, and computational analysis ca...

Quadruped robots have unique capabilities for motion over uneven natural environments. This article presents a stable gait for a quadruped robot in such motions and discusses the inverse-dynamics control scheme to follow the planned gait. First, an explicit dynamics model will be developed using a novel constraint elimination method for an 18-DOF quadruped robot. Thereafter, an inverse-dynamics...

In this paper we present an overview of the unfold/fold proof method, a method for proving theorems about programs, based on program transformation. As a metalanguage for specifying programs and program properties we adopt constraint logic programming (CLP), and we present a set of transformation rules (including the familiar unfolding and folding rules) which preserve the semantics of CLP prog...

the aim of this work is to investigate the variational discretization and mixed finite element methods for optimal control problem governed by semi linear parabolic equations with integral constraint. the state and co-state are approximated by the lowest order raviart-thomas mixed finite element spaces and the control is not discreted. optimal error estimates in l2 are established for the state...

this paper considers a two-stage assembly flow shop problem (tafsp) where m machines are in the first stage and an assembly machine is in the second stage. the objective is to minimize a weighted sum of earliness and tardiness time for n available jobs. jit seeks to identify and eliminate waste components including over production, waiting time, transportation, inventory, movement and defective...