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...

We review recent developments in space mapping techniques for modeling of microwave devices. We present a surrogate modeling methodology that utilizes space mapping combined with radial basis function interpolation. The method has advantages both over the standard space mapping modeling methodology and the recently published space mapping modeling with variable weight coefficients. In particula...

the meaning of the yard as residential open space has changed in the contemporary iranian architecture, where its dignity has transformed to the public space in the sub-neighborhood. in the new urbanism according to the land limitation and economic problem, home’s space has decrease and share building has increased. this article has been conducted to investigate the possible landscape architect...