Homing and Synchronizing Sequences
نویسنده
چکیده
منابع مشابه
Synchronizing sequences on not strongly connected Petri nets
Abstract: In testing Discrete Event System, an important topic is determining the final state of the machine after the application of a test. Synchronizing and homing sequences have been proposed in the sixties to solve the problem using Mealy machines. A synchronizing sequence drives an implementation of a given model, seen as a black box, to a known state regardless of its initial state and t...
متن کاملNew Algorithms for Finding Short Reset Sequences in Synchronizing Automata
Finding synchronizing sequences for the finite automata is a very important problem in many practical applications (part orienters in industry, reset problem in biocomputing theory, network issues etc). Problem of finding the shortest synchronizing sequence is NP-hard, so polynomial algorithms probably can work only as heuristic ones. In this paper we propose two versions of polynomial algorith...
متن کاملSequential Circuit Test Generation Using Dynamic State
A new method for state justiication is proposed for sequential circuit test generation. The linear list of states dynamically obtained during the derivation of test vectors is used to guide the search during state justiication. State-transfer sequences may already be known that drive the circuit from the current state to the target state. Otherwise, genetic engineering of existing state-transfe...
متن کاملOn Synchronizing Sequences and Test Sequence Partitioning
We consider two topics related to testing of synchronous sequential circuits. The first topic deals with synchronizable circuits and their synchronizing sequences. Synchronizing sequences are important in facilitating the test generation process for detectable faults, and in identifying undetectable faults. They are also important in determining whether an undetectable fault can be removed from...
متن کاملMelatonin Pretreatment Enhances the Homing of Bone Marrow-derived Mesenchymal Stem Cells Following Transplantation in a Rat Model of Liver Fibrosis
Background: Bone marrow-derived mesenchymal stem cells (BMMSCs) transplantation has been considered as a promising milestone in liver fibrosis treatment. However, low amounts of homing are a major obstacle. We aimed to investigate the role of melatonin pretreatment in BMMSC homing into experimental liver fibrosis. Methods: BMMSCs were obtained, grown, propagated and preconditioned with 5 µ...
متن کامل