Synthetic Evaluation of Equipment Maintenance System Based on TOPSIS Method

A synthetic evaluation of equipment maintenance system effectiveness based on TOPSIS method is discussed in this article. The synthetic evaluation order of every system are given which can avoid the difficulty in traditional evaluations that regard the multi-evaluation parameters as a single efficiency evaluating value. The article supply a new system to the synthetic evaluation of diesel equipment maintenance system effectiveness.

Synthetic Evaluation of Warfare Capability of Submarine Launched Torpedoes Based on Projection Pursuit Model

Projection Pursuit method invert a number of evaluating indicator into a one-dimensional projection values by the best projection direction, to avoid anthropogenic interference with the expert scoring factors. Application of projection pursuit method for three models of the submarine launched torpedoes capability to conduct a comprehensive evaluation, the best projection direction of the evaluation indicator is got, and a synthetic comprehensive evaluation order of the models is obtained. These supply scientific budget for the operational use , improvements and development of torpedoes.

From Interpreter to Compiler and Virtual Machine: A Functional Derivation

We show how to derive a compiler and a virtual machine from a compositional interpreter. We first illustrate the derivation with two evaluation functions and two normalization functions. We obtain Krivine's machine, Felleisen et al.'s CEK machine, and a generalization of these machines performing strong normalization, which is new. We observe that several existing compilers and virtual machines--e.g., the Categorical Abstract Machine (CAM), Schmidt's VEC machine, and Leroy's Zinc abstract machine--are already in derived form and we present the corresponding interpreter for the CAM and the VEC machine. We also consider Hannan and Miller's CLS machine and Landin's SECD machine.<br /> <br />We derived Krivine's machine via a call-by-name CPS transformation and the CEK machine via a call-by-value CPS transformation. These two derivations hold both for an evaluation function and for a normalization function. They provide a non-trivial illustration of Reynolds's warning about the evaluation order of a meta-language.