persian gulf is known as one of the main areas of oil exploration and production, and in the meanwhile, this causes some problems for the contained water ecosystem by pollution. in this concern, one of the ways to face this problem is the use of oysters as biological treatment. sacostrea cucullata is one of endemic oyster species to persian gulf that is known as one of the important filterers. ...

this study was mainly designed to investigate and identify the amounts and types of heavy metals in the soils of national iranian oil refining & distribution company in shahrood region and tried to establish a logical relation between the presence of heavy metals and their damage on vegetation. in addition, considering the power of drained soil and due to the proximity of ground water in shahro...

in this paper the issue of evaluating iranian oil refineries performance has been discussed. the research is based on math modelling by operational research techniques. to do so, of the proposed scenarios and different math programming models, a model is made by combining dea with goal programming techniques that compared with the old classical dea models which measures the efficiency and produ...

Our purpose is to formalize two potential refinements of single-sorted algebraic data types – subalgebras and algebras which satisfy equivalence relations – by considering their categorical interpretation. We review the usual categorical formalization of singleand multi-sorted algebraic data types as initial algebras, and the correspondence between algebraic data types and endofunctors. We intr...

Inspired by Cardelli’s pioneering work, many type disciplines for object-oriented programming are based on enrichments of structural type theories with constructs such as subtyping and bounded polymorphism. A principal benefit of such a formulation is that the absence of “message not understood” errors is an immediate corollary of the type safety theorem. A principal drawback is that the result...

In this paper we present a calculus for re nement of business process models based on a precise de nition of business processes and process nets Business process models are a vital concept for communicating with experts of the application domain Depending on the roles and responsibilities of the application domain experts involved process models are discussed on di erent levels of ab straction ...

Oxygen, metals, silicon, and glass are raw materials that will be required for long-term habitation and production of structural materials and solar arrays on the Moon. A process sequence is proposed for refining these materials from lunar regolith, consisting of separating the required materials from lunar rock with fluorine. The fluorine is brought to the Moon in the form of potassium fluorid...