recently, incremental sheet metal forming (ismf) process as one of the new methods in rapid prototyping collection has been considered by researchers. this process is based on a defined path in cnc controller and applies a spherical-head tool that supplies the required pressure for sheet metal forming. despite affirmation of process ability in forming symmetric geometries, some of its aspects s...

This paper is concerned with some feasibility issues in mathematical programs with equilibrium constraints (MPECs) where additional joint constraints are present that must be satis ed by the state and design variables of the problems. We introduce su cient conditions that guarantee the feasibility of these MPECs. It turns out that these conditions also guarantee the feasibility of the quadratic...

This paper reviews results related to the parallel machine scheduling problem under availability constraints. The motivation of this paper comes from the fact that no survey focusing on this specific problem was published. The problems of single machine, identical, uniform, and unrelated parallel machines under different constraints and optimizing various objective functions were analyzed. For ...

Segmentation of femurs in Anterior-Posterior x-ray images is very important for fracture detection, computer-aided surgery and surgical planning. Existing methods do not perform well in segmenting bones in x-ray images due to the presence of large amount of spurious edges. This paper presents an atlas-based approach for automatic segmentation of femurs in x-ray images. A robust global alignment...

The job shop scheduling problem (JSP) is one of the most difficult problems in traditional scheduling because any job consists of a set operations and also any operation processes by a machine. Whereas the operation is placed in the machine, it is essential to be considering setup times that the times strongly depend on the various sequencing of jobs on the machines. This research is developed ...

It is vital for a scheduler to efficiently determine when a resource is unassigned to some previously scheduled operation. Efficient algorithms are needed for calculating, querying, and updating this information. This paper presents an approach for using height-balanced trees for storing resource availablity information. We show that availibility queries are then efficient and that updates can ...

Recently, the Cluster of Computers (COC) has been used to run large parallel programs increasingly. Task migration is a desirable and useful facility to implement Load-Balance and High-Availibility in COCs. This paper presents a quick migration protocol for MPI tasks, which allows nonmigrating tasks to execute during most of the time of migration. Process table updating and synchronization are ...