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...

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...

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...

The issues of disparities, regional imbalance development and attempt to reducing development disparities among various regions have been attracted considerable attention among researchers, planners and policy makers. In this regard, this study employs a mathematical programing model for budget resources allocation among Iran provinces in order to development disparities reduction among them. I...

Through the use of application-specific branch-and-bound directives it is possible to find solutions to combinatorial models that would otherwise be difficult or impossible to find by just using generic branch-and-bound techniques within the framework of mathematical programing. Minto is an example of a system which offers the possibility to incorporate userprovided directives (written in C) to...

Welcome to the rst functional programming column! Functional programmers and formal methoders have much to say to each other, and this column is intended to further such communication. Functional programming supports formal methods. A large number of proof systems and other formal methods packages have been implemented in functional languages. ML, the doyen of functional languages, takes its na...

This study assesses the economic and water quality impacts of implementing a dairy pricing policy under Federal Milk Marketing Order system designed to alleviate milk prices plummet occurred at beginning pandemic. Using 12-region, positive mathematical programing model livestock production in Chesapeake Bay watershed, we find that induces significant expansions sectors, generates higher level t...

Prescription charts are not designed with the task of programing medical devices in mind [cf. 1]. This is surprising because we know that charts need to be consulted for programing values. This paper summarizes what we know about chart design, and then reflects on what we do not know. In order to design charts that facilitate programing, we need a better understanding of how they are used in ho...