this research presents a mathematical model for oil and gas optimal allocation to different sectors in iran using operations research techniques. sectors are residential and commercial, transportation, industries, agriculture, exports, injection to oil reservoirs and power plans as a secondary energy producer. optimal allocation of energy resources to end-uses from 2011 to 2021 has been done us...

Verifying that a piece of software has no bugs means proving that it has certain desired properties, such as an array index not taking values outside certain bounds. Abstract interpretation is used in the static analysis of code to establish the inclusion-wise smallest set of values (numerical invariant) that the program variables can attain during program execution. Such sets can be used to de...

This paper describes a narrative-oriented approach to the design and the analysis of a computational system and a set of activities for mathematical learning. Our central contention is that programming can offer a key to resolving the tension between the different representational structures of narrative and mathematical formalism. In the course of describing our approach, we make a distinction...

The ntd>mensiond veotor, &, 1s selected from E+-=I&. &bQ]. ,1 solution to P i s at hand hexh hen the solution to E satisfies the complementary alackness mnditlon gwen by. ?*#(?*) =&*bO and g(z*i s b 0 , ?\-here ?* eolves E far &=?* B n o o ~ s .WD C:EOFFAIOY'~' hare related this to the elsssical rork of K m m o Tucx~n's"" raddle-pomt erloivalenee by sholring thst. if &* exists, then (s? &'i 1s ...

The aim of this study is to compare three mathematical programing models used for sustainable land and farm management. sample the comparison was 219 agricultural holdings participating as beneficiaries measure ‘Modernization holdings’ in Rural Development Plan at Region Central Macedonia Greece. Using crop plan these farms programming calculate optimum solution under different conflicting goal...

Facets for the polyhedron of two-connected networks with bounded rings Abstract. We study the polyhedron associated with a network design problem which consists in determining at minimum cost a two-connected network such that the shortest cycle to which each edge belongs (a \ring") does not exceed a given length K. We present here a new formulation of the problem and derive facet results for di...

All numerals in this text are recycled. Preface Avoid reality at all costs — fortune() As the inclined reader will find out soon enough, this thesis is not about deeply involved mathematics as a mean in itself, but about how to apply mathematics to solve real-world problems. We will show how to shape, forge, and yield our tool of choice to rapidly answer questions of concern to people outside ...

Symmetry is mainly exploited in mathematical programming in order to reduce the computation times of enumerative algorithms. The most widespread approach rests on: (a) finding symmetries in the problem instance; (b) reformulating the problem so that it does not allow some of the symmetric optima; (c) solving the modified problem. Sometimes (b) and (c) are performed concurrently: the solution al...