data envelopment analysis (dea) is a method for measuring the efficiency of peer decision making units (dmus) with multiple inputs and outputs. the traditional dea treats decision making units under evaluation as black boxes and calculates their efficiencies with first inputs and last outputs. this carries the notion of missing some intermediate measures in the process of changing the inputs to...

this paper proposes an alternative approach for efficiency analysis when a set of dmus uses interval scale variables in the productive process. to test the influence of these variables, we present a general approach of deriving dea models to deal with the variables. we investigate a number of performance measures with unrestricted-in-sign interval and/or interval scale variables.

this paper proposes a suitable benchmark for inefficient commercial bank branches by using data envelopment analysis (dea). in order to render an inefficient bank branch efficient, it is necessary to decrease inputs and increase outputs. as there are priorities for decreasing some certain inputs and increasing some certain outputs over other inputs and outputs, respectively, it is necessary to ...

an experiment was performed to investigate the energy efficiency and effect of poultry house size on energy productivity in 3 different capacity management systems. capacities of houses were 10000(3 housings), 20000 (2 housings) and 28000 (1 housing) birds per production period and were assigned as hi, hii and hiii respectively. this experiment was conducted in a completely randomized design ap...

The existing testing theories for CSP cater verification of interaction patterns (traces) and deadlocks, but not time. We address here refinement based on a dialect CSP, called tock -CSP, which can capture discrete time properties. This version has been widespread interest decades; recently, it given denotational semantics, model checking become possible using well established tool. Here, we fi...

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

While the conventional DEA based production plans aim to minimize all the inputs consumption and maximize all the outputs production, there are many real world production systems may also generate undesirable by-products. One methodological difficulty associated with the previous DEA-based production planning models is how to incorporate undesirable factors in the planning models, while the sim...