Model checking is an automatic technique for software verification through which all reachable states are generated from an initial state to finding errors and desirable patterns. In the model checking approach, the behavior and structure of system should be modeled. Graph transformation system is a graphical formal modeling language to specify and model the system. However, modeling of large s...

Composition, change and complexity have attracted ev- eryone’s attention towards Self-Adaptive systems. These systems, inspired by the human body, are capable of adapting to changes in the inner and outer environment. The main objective of this study is to achieve a more con- venient availability for e-banking services in the payment switch, using self-healing systems and focusing on the failur...

Composition, change and complexity have attracted ev- eryone’s attention towards Self-Adaptive systems. These systems, inspired by the human body, are capable of adapting to changes in the inner and outer environment. The main objective of this study is to achieve a more con- venient availability for e-banking services in the payment switch, using self-healing systems and focusing on the failur...

for prolonging the time that drug remains in stomach, new methods used as floating drug delivery systems, that available in various forms such as floating tablets. these systems enhance drug absorption and decrease plasma concentration fluctuations. iron deficiency and its inadequate absorption in diet are of community health problems. for prolonging the time that drug remains in stomach, new m...

due to the changes which may occur in their parameters, systems are usually demonstrated by some subsystems for different conditions. this paper employs modified petri nets (mpn) to model theses subsystems and makes it simple to analyze them. in this method, first, the continuous transfer function is converted to a discrete transfer function and then, by mpn, system is modeled and analyzed. all...

A new non-linear method for design and analysis of solid state power amplifiers is presented and applied to an aluminum gallium nitride, gallium nitride (AlGaN-GaN) high electron-mobility transistor (HEMTs) on silicon-carbide (SiC) substrate for Ku band (12.4 13.6 GHz) applications. With combining output power of 8 transistors, maximum output power of 46.3 dBm (42.6 W), PAE of 43% and linear ga...

the objective of this research is to identify the characteristics of cost accounting systems (cas) in manufacturing companies located in the state of fars. the research is designed to answer the following questions: 1- what kind of management information systems (mis) are in - use. 2-what information are provided by these systems. 3-how - offen financial information. are issues. 4- what groups ...

Singular systems have been studied extensively during the last two decades due Abstract to their many practical applications. Such systems possess numerous properties not shared by the well-known state variable systems. This paper considers the linear tracking problem for the continuous-time singular systems. The Hamilton-Jacobi theory is used in order to compute the optimal control and associa...

This paper presents a theoretical approach to implementation of the “Multi-realization of nonlinear MIMO systems”. This method aims to find state-variable realization for a set of systems, sharing as many parameters as possible. In this paper a special nonlinear multi-realization problem, namely the multi-realization of feedback linearizable nonlinear systems is considered and an algorithm for ...