Abstract
This paper presents a proposal of simultaneous consideration of load and wear associated with it , of tribological systems of ship main engines (intended for ship propulsion) . Based on results of investigations it was assumed that both the load Q (i.e. a cause of wear ) and the wear Z (i.e. an effect of load occurrence) considered in a given time t (0 ≤ t ≤ tn) are random variables Qt and Zt ,respectively. There was characterized operational principle of ship main engines in definite external conditions (WZ) as well as consequences of excessive load of engines. Three hypotheses highlighting relations existing between load and wear of the above mentioned systems, have been proposed. The first of them deals with explanation of stochastic relation between load and wear, the second highlights why it is possible to assume that the load Qt and the wear Zt are positively correlated , and the third - why it is possible to assume that coefficient of correlation between Qt and Zt may be taken close to one.
Simplifying the Formal Verification of Safety Requirements in Zone Controllers Through Problem Frames and Constraint-Based Projection
