Design of automata theory of cubical complexes with applications to diagnosis and algorithmic description
暂无分享,去创建一个
The following problems are considered: (1) methods for development of logic design together with algorithms, so that it is possible to compute a test for any failure in the logic design, if such a test exists, and developing algorithms and heuristics for the purpose of minimizing the computation for tests; and (2) a method of design of logic for ultra LSI (large scale integration). It was discovered that the so-called quantum calculus can be extended to render it possible: (1) to describe the functional behavior of a mechanism component by component, and (2) to compute tests for failures, in the mechanism, using the diagnosis algorithm. The development of an algorithm for the multioutput two-level minimization problem is presented and the program MIN 360 was written for this algorithm. The program has options of mode (exact minimum or various approximations), cost function, cost bound, etc., providing flexibility.
[1] J. P. Roth. Theory of cubical complexes with applications to diagnosis and algorithmic description Quarterly report, 26 May - 10 Aug. 1970 , 1970 .
[2] J. Paul Roth,et al. Algorithms for logical design , 1961, Transactions of the American Institute of Electrical Engineers, Part I: Communication and Electronics.
[3] M. Perlman,et al. Space Applications of a Minimization Algorithm , 1969, IEEE Transactions on Aerospace and Electronic Systems.
[4] J. P. Roth. Systematic design of automata , 1965, AFIPS '65 (Fall, part I).