In this paper, we present an algorithm for finding utilitarian optimal solutions to Simple and Disjunctive Temporal Problems with Preferences (STPPs and DTPPs) based on Benders’ decomposition and adopting SAT techniques. In our approach, each temporal constraint is replaced by a Boolean indicator variable and the decomposed problem is solved by a tightly integrated STP solver and SAT solver. Se...

Induction motors are mainly used for variable load applications and it is vital to have a condition monitoring system with capabilities to diagnose motor faults in variable load conditions. The environment noise varies has non-linear relation with motor load and it challenges the decision making capability of the condition monitoring system. This paper addresses the issue of reliable decision m...

We investigate the complexity of modal satisfiability for certain combinations of modal logics. In particular we examine four examples of multimodal logics with dependencies and demonstrate that even if we restrict our inputs to diamond-free formulas (in negation normal form), these logics still have a high complexity. This result illustrates that having D as one or more of the combined logics,...

We consider the scheme of indeenite constraint databases proposed by Koubarakis. This scheme can be used to represent indefinite information arising in temporal, spatial and truly spatiotemporal applications. The main technical problem that we address in this paper is the discovery of tractable classes of databases and queries in this scheme. We start with the assumption that we have a class of...

The paper discusses about upgrading the overhead crane anti-sway method base on induction motor torque control from rotor resistance starter to variable frequency drives (VFDs). included two phases. phase 1 is identify performance of operation using (old existing starter). 2 that use a drive (new primary equations connecting tractive force and load sway angle, which law based designed for 0% wo...

in this article, an effective method to control a power system during emergency conditions is presented. based on fuzzy linear programming (flp), a new technique is developed to solve the load shedding and generation reallocation (lsgr) optimization problem. the objective function consists of terms of load curtailments and deviations in generation schedules. the constraints are power system var...