Institutul de Matematică şi Informatică "Vladimir Andrunachievici"
Universitatea de Stat din MoldovaRO EN
Parallel logical control algorithms: verification and hardware implementation
Authors: A. Zakrevskij
– 0.16 Mb
Abstract
A formal language (PRALU) has been proposed for representation of parallel algorithms for logical control. The paper contains a short description of its syntax and semantics, methods of checking PRALU-algorithms for correctness and methods for their hardware implementation. They include using suggested parallel automata as a standard form of algorithms, coding their partial states by ternary vectors, and obtaining appropriate minimized systems of logical equations of the sequent type. The latter ones could be easily implemented by logic nets with matrix structure.Arkadij Zakrevskij,
Institute of Engineering Cybernetics,
Surganova str. 6,
220012 Minsk, Belarus,
e-mail:
Institute of Engineering Cybernetics,
Surganova str. 6,
220012 Minsk, Belarus,
e-mail:
Fulltext
– 0.16 Mb
Contents
- Parallel logical control algorithms: verification and hardware implementation
- Hypertext technology in teaching: reality and trends
- The inflexion regularities for the Romanian language
- An approach to the word division into syllables for Romanian language
- Optimization of fuzzy controllers by exhaustiv, trial & error and genetic methods. Medical applications
- Design of the real time systems using temporal logic specifications: a case study
- A quantitative analysis of the performance of functional distributed architectures
