In this paper, we study a coupled system of nonlinear fractional differential equations with multi-point boundary condi- tions. The differential operator is taken in the Riemann-Liouville sense. Applying the Schauder fixed-point theorem and the contrac- tion mapping principle, two existence results are obtained for the following system D^{alpha}_{0+}x(t)=fleft(t,y(t),D^{p}_{0+}y(t)right), t in (0,...

We propose a framework to generate alternative mixed-integer nonlinear programming formulations for disjunctive convex programs that lead to stronger relaxations. We extend the concept of “basic steps” defined for disjunctive linear programs to the nonlinear case. A basic step is an operation that takes a disjunctive set to another with fewer number of conjuncts. We show that the strength of th...

we consider an approximation scheme using haar wavelets for solving a class of infinite horizon optimal control problems (ocp's) of nonlinear interconnected large-scale dynamic systems. a computational method based on haar wavelets in the time-domain is proposed for solving the optimal control problem. haar wavelets integral operational matrix and direct collocation method are utilized to ...

in this paper the real-world occurrence of the multiple-product multiple-constraint single period newsboy problem with two objectives, in which there is incremental discounts on the purchasing prices, is investigated. the constraints are the warehouse capacity and the batch forms of the order placements. the first objective of this problem is to find the order quantities such that the expected ...

Sufficient optimality criteria are derived for a control problem under generalized invexity. A Mond-Weir type dual to the control problem is proposed and various duality theorems are validated under generalized invexity assumptions on functionals appearing in the problems. It is pointed out that these results can be applied to the control problem with free boundary conditions and have linkage w...

This paper presents a new Lambda-Boolean reduction machine for Lambda-Boolean and Lambda-Beta Boolean reductions in the context of Lambda Calculus and introduces the role of Church–Rosser properties and functional computation model in symbolic and algebraic computation with induction. The algorithm which improved for Lambda-Beta Boolean reduction is simulated by the efficient logical programmin...

Optimization as an enabling technology has been one of the big success stories in process systems engineering. In this paper we present a review on recent research work in the area of logic-based discrete/continuous optimization. In particular, recent advances are presented in the modeling and solution of nonlinear mixed-integer and generalized disjunctive programming, global optimization and c...

A generalized fractional programming problem is specified as a nonlinear program where a nonlinear function defined as the maximum over several ratios of functions is to be minimized on a feasible domain of ~n. The purpose of this paper is to outline basic approaches and basic types of algorithms available to deal with this problem and to review their convergence analysis. The conclusion includ...