Since the complexity of software systems continues to grow, most engineers face two serious problems: the state space explosion problem and the problem of how to debug systems. In this paper, we propose a game-theoretic approach to full branching time model checking on three-valued semantics. The three-valued models and logics provide successful abstraction that overcomes the state space explos...

It is difficult to learn about systems that contain state variables when those variables are not directly observable. This paper formalizes this learning problem and presents a method called the @rarlve exrension merhod for solving it. In the iterative extension method, the learner gradually constructs a partial theory of the state-containing system. At each stage, the learner applies this part...

In this paper fractional order averaged model for DC/DC Buck converter in continues condition mode (CCM) operation is established. DC/DC Buck converter is one of the main components in the wind turbine system which is used in this research. Due to some practical restriction there weren’t exist input voltage and duty cycle of converter therefor whole of the wind system was simulated in Matlab/Si...

In the present study, we analyze the multi-channel service system with ordered entryfrom finite-source and finite-storage at each channel. The arrival and service rates are assumedto be state dependent. The steady state probabilities of the system are obtained by usingChapmann-Kolmogorov equations. Some other performance indices viz. utilization of servers,expected number of units in the system...

This paper provides a solution to guidance of multiple unmanned aerial vehicles that carry sensors for locating a detected emitter of radio frequency signals. Guidance in this paper refers to updating the state of each vehicle to the most desirable position and velocity, reachable within a given time for the location purpose. The vehicles can then be guided to the updated sensor states for furt...

the safavid dynasty was the first iranian centralized administration, which chose shia’a branch of islam as the official religion and the judicial system for iran. in safavi period the state officially established two separate and distinct court system. first the state courts (the urf courts) under the supervision of the secular minister of justice (divan-begi) and the secondly the islamic cour...

the srk two-parameter cubic equation of state has been used for the calculation of the equilibrium constant using the liquid and vapor fugacity coefficients for three binary mixtures. dew and bubble points have been determined using the equilibrium constants and the phase envelope has been plotted showing dearly that retrograde condenstaion occurs. the following percent deviations have been obt...