‎In this paper, based on [A. Razani, V. Rako$check{c}$evi$acute{c}$ and Z. Goodarzi, Nonself mappings in modular spaces and common fixed point theorems, Cent. Eur. J. Math. 2 (2010) 357-366.] a fixed point theorem for non-self contraction mapping $T$ in the modular space $X_rho$ is presented. Moreover, we study a new version of Krasnoseleskii's fixed point theorem for $S+T$, where $T$ is a cont...

Quality of Classroom Life is considered as a serious issue in academia around the world, and it has recently received global inquiry in EFL and ESL contexts. However, no questionnaire has been developed to assess the Iranian students’ and teachers’ attitudes towards the quality of life in the classroom. After developing a conceptual framework, the final draft of the developed questionnaire with...

The prevalent strategy in the topology optimization phase is to select a subset of members existing in an excessively connected truss, called Ground Structure, such that the overall weight or cost is minimized. Although finding a good topology significantly reduces the overall cost, excessive growth of the size of topology space combined with existence of varied types of design variables challe...

This paper deals with further development of the timing-diagram based specification language destined for application in modular modeling of industrial automation systems. The results of this work are intended for application in formal verification of software intensive automation systems. Copyright © 2005 IFAC

We propose a new generic modeling framework, with validating hardware experiments, for hyper-modular mechanisms and robots (tens to thousands of modules) which may exhibit extreme redundancy and parallelism. Our framework efficiently captures the second-order effects of dimensional tolerance and uncertain mechanical play and flexibility, and helps enable efficient actuator cooperation for force...

This paper presents equivalent models of Modular Marx Multilevel Converter Diode (MCD) plus load, for bipolar or unipolar operation. With these models, it’s possible to analyze and understand the dynamic behavior of the pulse output voltage and current at the load. Simulation and experimental results, for different voltage levels, and various types of load are presented. Keywords-Modeling , Mul...

Modeling four aspect-oriented programming mechanisms shows the way in which each supports modular crosscutting. Comparing the models produces a clear three part characterization of what is required to support crosscutting structure: a common frame of reference that two (or more) programs can use to connect with each other and each provide their semantic contribution.

We present a formalism for modular modeling of hybrid systems, the Cottbus Timed Automata. For the theoretical basis, we build on work about timed and hybrid automata. We use concepts from concurrency theory to model communication of separately defined modules, and we extend these concepts to be able to express explicitly readand write-access to signals and variables.