Convective drying is the most common method, and mathematical modelling of dewatering process an essential part it, playing important role in development optimization devices. Modelling leek can be difficult as specific structure this vegetable, which slices are delaminated into uneven single rings at different times during material surface changes more than other vegetables. This study aimed p...

in this paper, a new enhanced version of the particle swarm optimization (pso) is presented. an important modification is made by adding probabilistic functions into pso, and it is named probabilistic particle swarm optimization (ppso). since the variation of the velocity of particles in pso constitutes its search engine, it should provide two phases of optimization process which are: explorati...

control of production processes in an industrial environment needs the correct setting of input factors, so that output products with desirable characteristics will be resulted at minimum cost. moreover, such systems havetomeetset of qualitycharacteristicstosatisfycustomer requirements.identifyingthemosteffectivefactorsindesignoftheprocesswhichsupportcontinuousandcontinualimprovement isrecently...

Markov chains (MC) and Markov decision processes (MDP) are widely used as operational models for the quantitative system analysis. They can be understood as transition systems augmented with distributions for the states (in MC) or state-action pairs (in MDPs) to specify the probabilities for the successor states. Additionally one might add weight functions for modeling accumulated costs or rewa...

This paper studies the problem of model-checking of probabilistic automaton and probabilistic one-counter automata against probabilistic branching-time temporal logics (PCTL and PCTL∗). We show that it is undecidable for these problems. We first show, by reducing to emptiness problem of probabilistic automata, that the modelchecking of probabilistic finite automata against branching-time tempor...