Results 41 to 50 of about 276,000 (165)
On the Aggregation Techniques in Stochastic Petri Nets and Stochastic Process Algebras [PDF]
The Computer Journal, 1995 Stochastic Petri Nets and Stochastic Process Algebras can both be used for the qualitative and quantitative analysis of parallel and distributed systems. However, sometimes the complexity of the system can make such analysis infeasible, due to the large size of the state space underlying the model.
openaire +2 more sources
Clark-Ocone type formulas in the Meixner white noise analysis
Karpatsʹkì Matematičnì Publìkacìï, 2013 In the classical Gaussian analysis the Clark-Ocone formula allows to reconstruct an integrand if we know the Ito stochastic integral. This formula can be written in the form$$F=\mathbf EF+\int\mathbf E\big\{\partial_t F|_{\mathcal F_t}\big\}dW_t,$$where ...
N. A. Kachanovsky
doaj +1 more source
Some Reliability Issues of the Corrugated I-Beam Girder
Engineering Transactions, 2015 The main aim of this paper is reliability analysis of the corrugated-web I-girder carried out to verify its susceptibility to the random corrosion of the web and to make a comparison of the results of the first and of the second order reliability ...
Damian SOKOŁOWSKI +1 more
doaj +1 more source
Embedding Real Time in Stochastic Process Algebras
, 2006 We present a stochastic process algebra including immediate actions, deadlock and termination, and explicit stochastic delays, in the setting of weak choice between immediate actions and passage of time. The operational semantics is a spent time semantics, avoiding explicit clocks.
Markovski, J., Vink, de, E.P.
openaire +2 more sources
Visualisation for Stochastic Process Algebras: The Graphic Truth [PDF]
, 2011 There have historically been two approaches to performance modelling. On the one hand, textual language-based formalisms such as stochastic process algebras allow compositional modelling that is portable and easy to manage. In contrast, graphical formalisms such as stochastic Petri nets and stochastic activity networks provide an automaton-based view ...
Michael J. A. Smith, Stephen Gilmore
openaire +1 more source
Stochastic Elasto-Plastic Analysis of Necking Bar with Random Tvergaard Coefficients
MATEC Web of Conferences, 2019 This paper reports on the computational modelling of static extension tests of the round steel bar. The main objective was to apply the generalised stochastic perturbation technique implemented as the Stochastic Finite Element Method to carry out the ...
Strąkowski Michai, Kamiñski Marcin
doaj +1 more source
Stochastic Process Algebra Models of a Circadian Clock
, 2006 We present stochastic process algebra models of a Circadian clock mechanism used in many biological organisms to regulate time-based behaviour. We compare modelling techniques from different modelling paradigms, PEPA and stochastic $pi$-calculus.
Bradley, Jeremy T., Thorne, Thomas
openaire +4 more sources
Frontiers in Applied Mathematics and Statistics, 2019 System theory has its roots in mathematical formalisms developed by mathematicians and physicists, such as Leibniz, Euler, and Newton, and applied by congenial chemists and biologists such as Lotka and Bertalanffy.
Wolfram Weckwerth, Wolfram Weckwerth
doaj +1 more source
Fluid semantics for passive stochastic process algebra cooperation
ValueTools, 2008 Fluid modelling is a next-generation technique for analysing massive performance models. Passive cooperation is a popular cooperation mechanism frequently used by performance engineers. Therefore having an accurate translation of passive cooperation into
R. A. Hayden, J. Bradley
semanticscholar +1 more source
Integrable stochastic processes associated with the D2 algebra
Nuclear Physics BWe introduce an integrable stochastic process associated with the $D_2$ quantum group, which can be decomposed into two symmetric simple exclusion processes. We establish the integrability of the model under three types of boundary conditions (periodic, twisted, and open boundaries), and present its exact solution, including the spectrum, eigenstates ...
Guang-Liang Li +4 more
openaire +2 more sources