evaluation of performance and productivity is among the fundamental concepts inmanagement. in order to achieve their goals, organizations must evaluate theirperformance. one of the important stages of performance appraisal is evaluation oforganization’s efficiency. banks, financial and credit institutions are among the mostimportant organizations of every economic system, because every activity...

We have developed a formal validation tool that has been used in several projects that are developing software for AT&T's 5ESS TM telephone switching system. The tool validates networks of communicating processes speciied in the Virtual Finite State Machine (VFSM) notation, which is used during the low-level-design phase of software development to specify the control behavior of an implementati...

For continuous time control systems, this paper analyzes output invariance entropy as a measure for the information necessary to achieve invariance of compact subsets of the output space. For linear control systems with compact control range, relations to controllability and observability properties are studied. Furthermore, the notion of asymptotic output invariance entropy is introduced and c...

in the classical data envelopment analysis (dea) models, inputs and outputs are assumed as known variables, and these models cannot deal with unknown amounts of variables directly. in recent years, there are few researches on handling missing data. this paper suggests a new interval based approach to apply missing data, which is the modified version of kousmanen (2009) approach. first, the prop...

recently, lotfi et al. [10] established an equivalence model between the output-oriented dual ccr model and multiple objective linear programming (molp) and used an interactive method for finding target unit on efficiency frontier such that the decision maker preferences can be taken into account. however their method is not applicable for situations in which some outputs are undesirable and ne...