Identification of nominal release policies implemented in a multi-purpose water reservoir

Derivation of conflict resolution rule-curves in multi-purpose multi-reservoir system for inter-basin water transfer during drought

mesuring the staff technology readiness, the case of a multi national chemical company operating in iran

چکیده ندارد.

Ant Colony Optimization for Multi-Purpose Reservoir Operation

In this paper a metaheuristic technique called Ant Colony Optimization (ACO) is proposed to derive operating policies for a multi-purpose reservoir system. Most of the real world problems often involve non-linear optimization in their solution with high dimensionality and large number of equality and inequality constraints. Often the conventional techniques fail to yield global optimal solution...

A Recursion Combinator for Nominal Datatypes Implemented in Isabelle/HOL

The nominal datatype package implements an infrastructure in Isabelle/HOL for defining languages involving binders and for reasoning conveniently about alpha-equivalence classes. Pitts stated some general conditions under which functions over alpha-equivalence classes can be defined by a form of structural recursion and gave a clever proof for the existence of a primitive-recursion combinator. ...

Optimization of Water Distribution in the kalamarz Multi - Reservoir System, Mianeh Basin

Limitations on water resources and the high costs of new hydraulic structure construction intensify the need for an optimum operation of Iranian reservoir systems. For appropriate water distribution and management in a 9-reservoir system on the Kalamarz river, Mianeh basin optimizing mathematical models are applied. Considering the stochastic nature of river discharges and the constant amount o...