This paper presents an efficient solution approach to tackle large-scale singlefloor process plant layout problems. Based on the mixed integer linear programming (MILP) model proposed by Papageorgiou and Rotstein [1], the final layout (i.e. coordinates and dimensions) is determined from an initial feasible solution by an iterative improvement procedure using mixed integer optimisation. The appl...

In this paper, the results of studies of the sorption activity of Salvadora Persica fine particles that were provided from internal natural resources at Iran, with respect to Crystal Violet, Basic Violet-16 and Basic Blue-41 dyes were presented. Thus, Salvadora Persica particles were modified and prepared via particle size decreasing and characterized by CHNS, XRD, SEM and FT-IR analysis. In th...

Dept. of Elec. Eng. and Computer Science; Syracuse University; Syracuse, NY 13244 USA. Email: [email protected]. Research supported in part by NSF grant CCR-9522987. Dept. of Computer Science; University of Victoria; Victoria, BC V8W 3P6 Canada. Email: [email protected]. Dept. of Elec. Eng. and Computer Science; Syracuse University; Syracuse, NY 13244 USA. Email: [email protected]....

This paper describes our experience in implementing an industrial application using the Finite Domain solver of the ECL i PS e Constraint Logic Programming (CLP) system, in conjunction with the Mathematical Programming (MP) system, FortMP. In this technique, the ECL i PS e system generates a feasible solution that is adapted to construct a starting point (Basic solution) for the MP solver. The ...

We introduce a typed programming formalism, type-2 inflationary tiered loop programs or ITLP2, that characterizes the type-2 basic feasible functionals. ITLP2 is based on Bellantoni and Cook’s [BC92] and Leivant’s [Lei95] type-theoretic characterization of polynomial-time and turns out to be closely related to Kapron and Cook’s [KC91, KC96] machine-based characterization of the type-2 basic fea...

We provide a natural characterization of the type two Mehlhorn-CookUrquhart basic feasible functionals as the provably total type two functionals of our (classical) applicative theory PT introduced in [30], thus providing a proof of a result claimed in the conclusion of [30]. This further characterization of the basic feasible functionals underpins their importance as a key candidate for the no...

In the context of a feasible theory for analysis, we investigate three fundamental theorems of analysis: the Heine/Borel covering theorem for the closed unit interval, and the uniform continuity and the maximum principles for real valued continuous functions defined on the closed unit interval. §1. The three results. The business of reverse mathematics is to investigate the logico-mathematical ...

In this work, organomodified nanoclay has been used as the adsorbent for the removal ofbasic blue 41, cationic dye from an aqueous solution. The performance of the organomodified nanoclay was tested in a batch system under varying pH (2–12), adsorbent dosage (0.1–2 g L-1), initial dye concentration (10–60 mgL-1), and contact time (5- 100 min). The best conditions were achieved at pH of 7,...