This article presents the results of experiments on physical processes that occur during hardening process concrete in dry hot-climatic seasons and reduction their negative effects - as well mechanical properties. Under influence solar radiation high temperature, amount water newly laid mixture begins to evaporate rapidly. As a result intensive evaporation from bottom top, interconnected pores ...

A continuous-time Markov process X can be conditioned to in a given state at fixed time T>0 using Doob's h-transform. This transform requires the typically intractable transition density of X. The effect h-transform described as introducing guiding force on process. Replacing this with an approximation defines wider class guided processes. For certain approximations law approximates – and is eq...

1. Introduction. In the theory of stationary stochastic processes, much effort

This paper presents a mathematical formulation for large-scale continuous process scheduling problem using unit-specific event-based continuous-time representation. The formulation is based on the work of Ierapetritou et al., (1999). The model considers the changeovers for multi-purpose units and tanks, setup constraints for parallel units and tanks, and includes product tanks that satisfy dema...

In a recent paper Baier, Haverkort, Hermanns and Katoen [BHHK00], analyzed a new way of model-checking formulas of a logic for continuoustime processes called Continuous Stochastic Logic (henceforth CSL) – against continuous-time Markov chains – henceforth CTMCs. One of the important results of that paper was the proof that if two CTMCs were bisimilar then they would satisfy exactly the same fo...