There is an increasing demand for systems which handle higher density, additional loads as seen in storage workload modelling, where workloads can be characterized on-line. This paper aims to find a workload model which processes incoming data and then updates its parameters "on-the-fly." Essentially, this will be an incremental hidden Markov model (IncHMM) with an improved Baum-Welch algorithm...

We propose an extension with immediate multiactions of discrete time stochastic Petri Box Calculus (dtsPBC), presented by I.V. Tarasyuk. The resulting algebra dtsiPBC is a discrete time analogue of stochastic Petri Box Calculus (sPBC) with immediate multiactions, designed by H. Macià, V. Valero et al. within a continuous time domain. The step operational semantics is constructed via labeled pro...

We report large scale Monte Carlo simulations of the equilibrium discrete Laplacian roughening (dLr) model, originally introduced as the simplest one accommodating the hexatic phase in two-dimensional melting. The dLr model is also relevant to surface roughening in molecular beam epitaxy (MBE). Our data suggest a single phase transition, possibly of the Kosterlitz-Thouless type, between a flat ...

This paper considers the robustness of stochastic stability of Markovian jump linear systems in continuousand discrete-time with respect to their transition rates and probabilities respectively. The continuous-time (discrete-time) system is described via a continuous-valued state vector and a discrete-valued mode which varies according to a Markov process (chain). By using stochastic Lyapunov f...

anti-lock braking system (abs) is a nonlinear and time varying system including uncertainty, so it cannot be controlled by classic methods. intelligent methods such as fuzzy controller are used in this area extensively; however traditional fuzzy controller using simple type-1 fuzzy sets may not be robust enough to overcome uncertainties. for this reason an interval type-2 fuzzy controller is de...

this paper is pertained with the problem of admissibility analysis of uncertain discrete-time nonlinear singular systems by adopting the state-space takagi-sugeno fuzzy model with time-delays and norm-bounded parameter uncertainties. lyapunov krasovskii functionals are constructed to obtain delay-dependent stability condition in terms of linear matrix inequalities, which is dependent on the low...

There were no considerable up to date on the trace element requirements of commercial poultry in recent years in despite of the progress in their performance traits. One of the more prevalent problems in modern broiler production system which could be attributed to the trace mineral inadequacy is skeletal disorders. Zinc, is an essential trace element which acts as a co-factor in several metalo...

In concurrency theory, various semantic equivalences on labelled transition systems are based on traces enriched or decorated with some additional observations. They are generally referred to as decorated traces, and examples include ready, failure, trace and complete trace equivalence. Using the generalized powerset construction, recently introduced by a subset of the authors [13], we give a c...