Constraint patterns are very useful for specifying OCL constraints on UML class models. They potentially shorten the development time and reduce the errors for constraint development by providing predefined templates that can be instantiated in particular contexts. Constraint patterns can be identified by analyzing existing constraints for recurring expressions and abstracting from them. This p...

In this paper, a bi-objective mixed-integer linear optimization model for Closed-loop Supply Chain Network Design Problem (CLSCND) is developed. The proposed model includes both the forward and reverse directions and includes different types of facilities, namely, manufacturing/remanufacturing centers, warehouses, and disassembly centers. The first objective function tried to minimize the total...

In this paper, slewing maneuver of a flexible spacecraft with large angle of rotation is considered and assuming structural frequency uncertainties a robust minimum-time optimal control law is developed. Considering typical bang-bang control commands with multiple symmetrical switches, a parameter optimization procedure is introduced to find the control forces/torques. The constrained minimizat...

Addressing an integrated decision-making structure for planting and harvesting scheduling may lead to more realistic, accurate, and efficient decision in fresh product supply chain. This study aims to develop an integrated bi-objective tactical and operational planning model for producing and distributing fresh crops. The first objective of the model is to maximize total revenue of supply chain...

location, 39accessible, 78annotation statement, 86assert, 89assignable, 78assume, 88augmented postcondition, 83augmented precondition, 83axiom, 42 Behavioral Interface Speci cation Lan-guage, 1behavioral subtype, 25\bigint, 12, 48 call stack, 17, 18class, 12Class (type), 12code fragment, 12annotated, 12constraint, see history const...

The paper focuses on the convergence rate of the augmented Lagrangian method for nonlinear second-order cone optimization problems. Under a set of assumptions of sufficient conditions, including the componentwise strict complementarity condition, the constraint nondegeneracy condition and the second order sufficient condition, we first study some properties of the augmented Lagrangian and then ...

The efficient management of nursing personnel is of vital importance in a hospital’s environment comprising a vast share of the hospital’s operational costs. In the nurse scheduling problem (NSP), the target is to allocate shifts to the nurses in order to satisfy the hospital’s demand during the planning horizon by considering different objective functions. This paper presents a multi-objective...

Hazardous waste management incorporates collection, separation, treatment, recycling and disposal of hazardous wastes. In this paper, a new multi-objective mixed integer model is presented for hazardous waste collection problem. The model aims to minimize transportation and construction costs, and environmental and population risks in hazardous waste management systems. This model is applied in...

We consider a class of constrained optimization problems where the objective function is a sum of a smooth function and a nonconvex non-Lipschitz function. Many problems in sparse portfolio selection, edge preserving image restoration and signal processing can be modelled in this form. First we propose the concept of the Karush-Kuhn-Tucker (KKT) stationary condition for the non-Lipschitz proble...