logic analysis and attack construction methods are two major approaches in verification of cryptographic protocols. however, it is almost preferable to use both of them for a complete analysis. in this paper, a generic framework for the integration of the two verification approaches is presented. using the framework we can propose analysis methods in which security properties and breach scenari...

the analysis of flow in water-distribution networks with several pumps by the content model may be turned into a non-convex optimization uncertain problem with multiple solutions. newton-based methods such as gga are not able to capture a global optimum in these situations. on the other hand, evolutionary methods designed to use the population of individuals may find a global solution even for ...

‎In this paper‎, ‎we study stability of fractional-order nonlinear dynamic systems by means of Lyapunov‎ ‎method‎. ‎To examine the obtained results‎, ‎we employe the developed techniques on test examples‎.

in this paper, an efficient method for solving optimal control problemsof the linear differential systems with inequality constraint is proposed. by usingnew adjustment of hat basis functions and their operational matrices of integration,optimal control problem is reduced to an optimization problem. also, the erroranalysis of the proposed method is investigated and it is proved that the order o...

data envelopment analysis (dea) is a non-parametric approach for performance analysis of decision making units (dmus) which uses a set of inputs to produce a set of outputs without the need to consider internal operations of each unit. in recent years, there have been various studies dealt with two-stage production systems, i.e. systems which consume some inputs in their first stage to produce ...

the new competitive environment changes the paradigm of power system operation. in the transmission area, open access process provides fair accessibility for all market participants. congestion management is one of the most important side effects of this new process. this paper proposes a new approach for congestion management which is based on both active and reactive re-dispatch of the networ...