The analytical modelling of a condition monitoring for a system which is subject to degradation over time is considered. The system condition can be observed at discrete times by means of imperfect inspections. In addition to the critical threshold, for each time point of inspection a replacement threshold is introduced. The decision rule when checking system suitability for use in the upcoming...

We develop the tau-spectral method to solve the time-fractional heat equation (T-FHE) with nonlocal condition. In order to achieve highly accurate solution of this problem, the operational matrix of fractional integration (described in the Riemann-Liouville sense) for shifted Legendre polynomials is investigated in conjunction with tau-spectral scheme and the Legendre operational polynomials ar...

Constraint Handling Rules (CHR) allow one to specify and implement both propagation and simpliication for user-deened constraints. Since a propagation rule is applicable again and again, we present in this paper for the rst time an operational semantics for CHR that avoids the termination problem with propagation rules. In previous work AFM96], a suucient and necessary condition for the connuen...

Constraint Handling Rules (CHR) allow one to specify and implement both propagation and simpliication for user-deened constraints. Since a propagation rule is applicable again and again, we present in this paper for the rst time an operational semantics for CHR that avoids the termination problem with propagation rules. In previous work AFM96], a suucient and necessary condition for the connuen...

In this paper we introduce the concept of specialisable call correct program. It is based on the notion of specialised derivation which is intended to describe program behaviour whenever some constraints on procedure calls are assumed. Both operational and xpoint constructions are deened. They characterize successful derivations of programs where only atoms satisfying a given call-condition are...

this paper reports a cfd modeling study to investigate the hydrogen-air mixture combustion in a micro scale chamber. nine species with nineteen reversible reactions were considered in the premixed combustion model. the effect of operational and geometrical conditions including; combustor size, wall conductivity, reactant flow rates and hydrogen feed splitting on combustion stability and outlet ...

The promoted K-La nanocatalysts supported on ZSM-5 zeolite were prepared via wetness impregnation method and tested for biodiesel production from soybean oil. The effects of different weight percentage of La, loading of K as a promoter and calcination conditions on structure and activity of catalyst were investigated. Results showed that the supported catalyst containing 7wt.% of La was pro...

Train wheels, among other components, are critical for the safety and ride comfort of high-speed rail systems. Various machine learning methods have been used together with onboard monitoring data to assess wheel health conditions. However, only in some well-controlled experiments or authorized circumstances (source domain) can well-labelled supervised be obtained. Even so, due difference opera...