one of the most important challenges in nonlinear, multi-input multi-output (mimo) and time variant systems (e.g., robot manipulator) is designing a controller with acceptable performance. this paper focused on design a new artificial non linear controller with on line tunable gain applied in the robot manipulator. the sliding mode fuzzy controller (smfc) was designed as 7 rules mamdani’s infer...

rock selection in modeling and simulation studies is usually based on two techniques; routinely defined rock types and those defined by special core analysis (scal). the challenge in utilizing these two techniques is that they are frequently assumed to be the same, but in practice, static rock-types (routinely defined) are not always representative of dynamic rock-types (scal defined) in the re...

We introduce a substructural propositional calculus of Sequential Dynamic Logic (SDL) that subsumes a propositional part of dynamic predicate logic (DPL), and is shown to be expressively equivalent to propositional dynamic logic (PDL). Completeness of the calculus with respect to the intended relational semantics is established.

a study on the evaluating equivalent damping and response modification factors of frames equipped by pall friction dampers is presented. to do so, buildings with various stories were considered. nonlinear and linear dynamic time history analysis has been performed to evaluate equivalent damping for pall friction dampers. ground motions with various frequency characteristics scaled with iranian ...