The new models of finite-automaton type and automaton modelling methods for modelling of the new class finite-valued random sequences and also the development of the methodology for hardware-software organization of the probabilistic automata have been developed. The new designs and proposals on the synthesis of the processors, equipment prototypes, board of the specialized co-processor and algorithms for technical diagnostics of the digital devices have been developed. The specialized devices of the computer engineering and diagnostic algorithms of the digital devices have been introducedAvailable from VNTIC / VNTIC - Scientific & Technical Information Centre of RussiaSIGLERURussian Federatio
Abstract. We survey various notions of probabilistic automata and probabilistic bisimulation, accumu...
The following software-hardware systems have been considered: robotic-technical systems, flexible pr...
Analog-to-digital computer systems of personal type and scientific investigation automated systems (...
The paper deals with the processing of information about the state of a computer system using a prob...
The theoretical bases for analysis and synthesis of the automaton control systems have been created ...
Methods of the knowledge base organization and mechanisms of the logical output in expert systems of...
Probabilistic automata (p.a.) are a generalization of finite deterministic automata. We follow the f...
The problem of finite automata minimization is important for software and hardware designing. Differ...
The aim of the work is to simplify the formation of the random process with given spectral character...
The methods and algorithms for verification of the software-hardware structure in the board informat...
Stochastic processes of the pseudorandom functional control of dicorete devices of computer engineer...
We survey various notions of probabilistic automata and probabilistic bisimulation, accumulating in ...
Probabilistic timed automata can be used for modeling and verification of systems whose characterist...
The hardware random test generators and also the information compaction circuits have been studied. ...
The study deals with ship electropower complex and element base of digital logical automatons. The w...
Abstract. We survey various notions of probabilistic automata and probabilistic bisimulation, accumu...
The following software-hardware systems have been considered: robotic-technical systems, flexible pr...
Analog-to-digital computer systems of personal type and scientific investigation automated systems (...
The paper deals with the processing of information about the state of a computer system using a prob...
The theoretical bases for analysis and synthesis of the automaton control systems have been created ...
Methods of the knowledge base organization and mechanisms of the logical output in expert systems of...
Probabilistic automata (p.a.) are a generalization of finite deterministic automata. We follow the f...
The problem of finite automata minimization is important for software and hardware designing. Differ...
The aim of the work is to simplify the formation of the random process with given spectral character...
The methods and algorithms for verification of the software-hardware structure in the board informat...
Stochastic processes of the pseudorandom functional control of dicorete devices of computer engineer...
We survey various notions of probabilistic automata and probabilistic bisimulation, accumulating in ...
Probabilistic timed automata can be used for modeling and verification of systems whose characterist...
The hardware random test generators and also the information compaction circuits have been studied. ...
The study deals with ship electropower complex and element base of digital logical automatons. The w...
Abstract. We survey various notions of probabilistic automata and probabilistic bisimulation, accumu...
The following software-hardware systems have been considered: robotic-technical systems, flexible pr...
Analog-to-digital computer systems of personal type and scientific investigation automated systems (...