Academic Journal
Троичное моделирование последовательностной схемы и построение на его основе входных последовательностей, обеспечивающих заданные переходы схемы
| Τίτλος: | Троичное моделирование последовательностной схемы и построение на его основе входных последовательностей, обеспечивающих заданные переходы схемы |
|---|---|
| Πηγή: | Таврический научный обозреватель. 2017. № 4, ч. 1. С. 122-135 |
| Στοιχεία εκδότη: | 2017. |
| Έτος έκδοσης: | 2017 |
| Θεματικοί όροι: | потоковые графы, последовательностные схемы, синхронные схемы, множества, троичное моделирование, последовательности, ROBDD-графы |
| Περιγραφή: | Рассматривается метод точного троичного моделирования синхронных последовательностных схем. Моделирование выполняется с использованием ROBDD функций переходов в состояния схемы. Функции переходов в состояния схемы строятся путем перемножения функций переходов или их инверсий в соответствии с кодами состояний схемы. В работе модифицируется ранее предложенный метод троичного моделирования последовательностной схемы с целью дальнейшего сокращения вычислительных затрат. Предлагается метод построения последовательности входных векторов минимальной длины, обеспечивающей переход из некоторого состояния одного множества состояний схемы в одно из состояний другого множества, на основе представленных методов и свойств. Кроме того, рассмотрено построение потокового графа схемы. Также приводятся алгоритмы решения других задач для последовательностной схемы, использующие представленные методы и свойства. |
| Τύπος εγγράφου: | Article |
| Περιγραφή αρχείου: | application/pdf |
| Γλώσσα: | Russian |
| Σύνδεσμος πρόσβασης: | http://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000585498 |
| Αριθμός Καταχώρησης: | edsair.od......3810..2fe39851a9c253ae4fb3bb8f5f92bef7 |
| Βάση Δεδομένων: | OpenAIRE |
καταχωρήστε σχόλιο πρώτοι!