We present different ways of an approximate extrapolation of an optimal policy of a small model to that of a large equivalent of the model, which itself is too large to find its exact policy directly using probabilistic model checking (PMC). In particular, we obtain a global optimal resolution of non-determinism in several small Markov Decision Processes (MDP) or its extensions like Stochastic Multi-player Games (SMG) using PMC. We then use that resolution to form a hypothesis about an analytic decision boundary representing a respective policy in an equivalent large MDP/SMG. The resulting hypothetical decision boundary is then statistically approximately verified, if it is locally optimal and if it indeed represents a “good enough” policy. The verification either weakens or strengthens the hypothesis. The criterion of the optimality of the policy can be expressed in any modal logic that includes a version of the probabilistic operator P~p[·], and for which a PMC method exists.
Aiming at the problem of inaccurate and time-consuming of the fault diagnosis method for large-scale ship engine, an intelligent diagnosis method for large-scale ship engine fault in non-deterministic environment based on neural network is proposed. First, the possible fault of the engine was analyzed, and the downtime fault of large-scale ship engine and the main fault mode were identified. On this basis, the fault diagnosis model for large-scale ship engine based on neural network is established, and the intelligent diagnosis of engine fault is completed. The experiment proved that the proposed method has high diagnostic accuracy, engine fault diagnosis takes only about 3s, with a higher use value.
JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.