Equity measures can be used as working tools to explore management alternatives for :I \ \ater qualit! system. Several example measures of equity are discussed which proved useful in suggesting nra m;inagsment programs, in identifying critical waste dischargers. in suggesting Lones for grouping dischargers. and for understanding given management programs. The example equity measures were evelua...

The T-calculus is a typed functional extension of the tiled signal algebra previously defined for handling, with advanced synchronization feature, audio or musical finite signals. Primarily designed for programing interactive music systems, the T-calculus can also be seen as a multi-purpose programing language proposal that addresses the difficult problem of globally asynchronous and locally sy...

Robin Milner's paper, 'The use of machines to assist in rigorous proof', introduces methods for automating mathematical reasoning that are a milestone in the development of computer-assisted theorem proving. His ideas, particularly his theory of tactics, revolutionized the architecture of proof assistants. His methodology for automating rigorous proof soundly, particularly his theory of type po...

The paper presents in an applicative manner a parameter-based methodology about design, modeling and optimization of spur gear pump, currently under production Romanian company. Wanting to expand their product range, the company asked for design this type FEM simulations its conception cover wider range flow rates, as required by current beneficiaries. purpose research was find improved alterna...

Today using evolutionary programing for solving complex, nonlinear mathematical problems like optimum power flow is commonly in use. These types of problems are naturally nonlinear and the conventional mathematical methods aren’t powerful enough for achieving the desirable results. In this study an Optimum Power Flow problem solved by means of minimization of fuel costs for IEEE 30 buses test s...

This study extends a mathematical model that integrates the location, allocation, inventory replenishment and routing decisions simultaneously. To cope with inherent uncertainty of parameters, we implement a continuous-time Markov process and derive the performance measures of the system. Using the obtained results, the problem is formulated as a mixed integer nonlinear programing model (MINLP)...

After occurrence of some disturbances in power system that causes the sever imbalance between generation power and electrical load, the power system frequency begins to decrease. To prevent power system frequency instability and stop the frequency decay below the power system allowable frequency limitation, load shedding schemes should be utilized by applying under frequency load shedding relay...

From a conventional mathematical programming model, and in accordance with which fuzzification is used, several models of fuzzy mathematical programming problems can be obtained. This paper deals with the study of the optimality concept for (g,p)-fuzzified mathematical programming problems. An auxiliary parametric mathematical programming problem is presented which allows the above model to be ...

appropriate scheduling and sequencing of tasks on machines is one of the basic and significant problems that a shop or a factory manager encounters; this is why in recent decades extensive studies have been done on scheduling issues. one type of scheduling problems is just-in-time (jit) scheduling and in this area, motivated by jit manufacturing, this study investigates a mathematical model for...