in this paper, a complete model of an electro hydraulic driven dry clutch along with its performance evaluation has elucidated. through precision modeling, a complete nonlinear physical and full order sketch of clutch has drawn. ultimate nonlinearities existent in the system prohibits it from being controlled by conventional linear control algorithms and to compensate the behavior of the system...

one of the main requirements for providing software security is the enforcement of access control policies, which is sometimes referred to as the heart of security. the main purpose of access control policies is to protect resources of the system against unauthorized accesses. any error in the implementation of access control policies may lead to undesirable outcomes. hence, we should ensure th...

this paper proposes an optimal power flow (opf) algorithm by direct load control (dlc) programs to optimize the operational cost of smart grids considering various scenarios based on different constraints. the cost function includes active power production cost of available power sources and a novel flexible load curtailment cost associated with dlc programs. the load curtailment cost is based ...

One of the main requirements for providing software security is the enforcement of access control policies which aim to protect resources of the system against unauthorized accesses. Any error in the implementation of such policies may lead to undesirable outcomes. For testing the implementation of access control policies, it is preferred to use automated methods which are faster and more relia...

Signal optimization is affected during radio links between a transmitter and a receiver located in adjacent material media with differing optical densities. The optimization is carried out via the automated control theory method. The radio signal obtained after the optimization is coordinated with the two media's electrical characteristics simultaneously; and this enables low power and small an...

New automatic theorem proving (ATP) techniques for application in control syst~nR and artificial intelligence is proposed. We consider new logical languages in descrip~ive and constructive semantics. These languages censist of 1-st c~der fc~muins with type quantifie~s. We de’he logical calculi of classical and intuitionistic types as well as strategies of automated reasoning. In. formation on r...