performance evaluation of universities is an important issue between researchers. classic data envelopment analysis (dea) models with deterministic data have been used by many authors to measure efficiency of universities in different countries. however, dea with stochastic data are, rarely used to measure efficiency of universities. in this paper, input oriented model in stochastic data envelo...

CPDPs (Communicating Piecewise Deterministic Markov Processes) can be used for compositional specification of systems from the class of stochastic hybrid processes formed by PDPs (Piecewise Deterministic Markov Processes). We define CPDPs and the composition of CPDPs, and prove that the class of CPDPs is closed under composition. Then we introduce a notion of bisimulation for PDPs and CPDPs and...

We model the intrinsic dynamic behavior of a neuron using stochastic differential equations and Brownian motion. Basis of our work is the deterministic one-compartmental multi-conductance model of cerebellar granule cell. We develop a novel modeling approach for our test neuron by incorporating the stochasticity inherently present in the operation of voltage-dependent ion channels. Our new stoc...

Failure diagnosis in large and complex systems is a critical task. A discrete event system (DES) approach to the problem of failure diagnosis is presented in this paper. A classic solution to solve DES’s diagnosis is a stochastic Petri net. The foraging behavior of ant colonies can give rise to the shortest path, which will reduce the state explosion of stochastic Petri net. Therefore, a new mo...