Троичное моделирование синхронных схем с памятью на последовательностях произвольной длины, основанное на ROBDD представлении функций

Πηγή: Таврический научный обозреватель. 2017. № 3, ч. 1. С. 129-140

Θεματικοί όροι: последовательностные схемы, синхронные схемы, троичное моделирование, ROBDD-графы

Περιγραφή αρχείου: application/pdf

Σύνδεσμος πρόσβασης: http://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000585497

Интервальные расширения булевых функций и троичное моделирование последовательностных схем

Πηγή: Таврический научный обозреватель. 2017. № 5. С. 208-220

Θεματικοί όροι: булевы функции, интервальные расширения, последовательностные схемы, функции переходов в состояния, синхронные схемы, троичное моделирование, ROBDD-графы, моделирование

Περιγραφή αρχείου: application/pdf

Σύνδεσμος πρόσβασης: http://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000585495

Троичное моделирование последовательностной схемы и построение на его основе входных последовательностей, обеспечивающих заданные переходы схемы

Πηγή: Таврический научный обозреватель. 2017. № 4, ч. 1. С. 122-135

Θεματικοί όροι: потоковые графы, последовательностные схемы, синхронные схемы, множества, троичное моделирование, последовательности, ROBDD-графы

Περιγραφή αρχείου: application/pdf

Σύνδεσμος πρόσβασης: http://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000585498

Использование неточных результатов для сокращения вычислительных затрат точного троичного моделирования последовательностных схем

Πηγή: Таврический научный обозреватель. 2017. № 4, ч. 1. С. 136-146

Θεματικοί όροι: троичное моделирование, синхронная последовательностная схема, ROBDD-графы

Περιγραφή αρχείου: application/pdf

Σύνδεσμος πρόσβασης: http://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000587159

Троичное моделирование синхронных схем с памятью на последовательностях произвольной длины, основанное на ROBDD представлении функций ; Three-value simulation of sequential circuits on the input sequences of the arbitrary length, based on the ROBDD representation of functions

Συγγραφείς: Голубева, Ольга Ивановна

Πηγή: Таврический научный обозреватель. 2017. № 3, ч. 1. С. 129-140

Θεματικοί όροι: троичное моделирование, синхронные схемы, последовательностные схемы, ROBDD-графы

Περιγραφή αρχείου: application/pdf

Relation: vtls:000585497; http://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000585497

Διαθεσιμότητα: http://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000585497

Троичное моделирование последовательностной схемы и построение на его основе входных последовательностей, обеспечивающих заданные переходы схемы ; Three-value simulation of the sequential circuit and the construction on its basis of transition sequences

Συγγραφείς: Голубева, Ольга Ивановна

Πηγή: Таврический научный обозреватель. 2017. № 4, ч. 1. С. 122-135

Θεματικοί όροι: троичное моделирование, синхронные схемы, последовательностные схемы, ROBDD-графы, последовательности, потоковые графы, множества

Περιγραφή αρχείου: application/pdf

Relation: vtls:000585498; http://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000585498

Διαθεσιμότητα: http://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000585498

Интервальные расширения булевых функций и троичное моделирование последовательностных схем ; Interval extensions of boolean functions and three-value simulation of sequential circuits

Συγγραφείς: Голубева, Ольга Ивановна

Πηγή: Таврический научный обозреватель. 2017. № 5. С. 208-220

Θεματικοί όροι: интервальные расширения, булевы функции, функции переходов в состояния, троичное моделирование, моделирование, синхронные схемы, последовательностные схемы, ROBDD-графы

Περιγραφή αρχείου: application/pdf

Relation: vtls:000585495; http://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000585495

Διαθεσιμότητα: http://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000585495

Использование неточных результатов для сокращения вычислительных затрат точного троичного моделирования последовательностных схем ; Using inexact results for the reduction of the computational costs of the exact three-value simulation of sequential circuits

Συγγραφείς: Голубева, Ольга Ивановна

Πηγή: Таврический научный обозреватель. 2017. № 4, ч. 1. С. 136-146

Θεματικοί όροι: троичное моделирование, синхронная последовательностная схема, ROBDD-графы

Περιγραφή αρχείου: application/pdf

Relation: vtls:000587159; http://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000587159

Διαθεσιμότητα: http://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000587159

Троичное моделирование комбинационных схем с использованием SAT-решателей и его применение при верификации

Συγγραφείς: Голубева, Ольга Ивановна

Πηγή: Современные проблемы физико-математических наук [Электронный ресурс] : материалы VI Всероссийской научно-практической конференции c международным участием (4 – 5 декабря 2020 г., г. Орел). Орел, 2020. С. 335-340

Θεματικοί όροι: троичное моделирование, комбинационные схемы, SAT-решатели

Περιγραφή αρχείου: application/pdf

Relation: koha:000897776; https://vital.lib.tsu.ru/vital/access/manager/Repository/koha:000897776

Διαθεσιμότητα: https://vital.lib.tsu.ru/vital/access/manager/Repository/koha:000897776

Построение частичных функций для подсхем

Συγγραφείς: Ложкин, Алексей Сергеевич, Матросова, Анжела Юрьевна, Фатеева, Эвелина Сергеевна

Πηγή: Материалы VII Международной молодежной научной конференции "Математическое и программное обеспечение информационных, технических и экономических систем", Томск, 23-25 мая 2019 г. Томск, 2019. С. 183-190

Θεματικοί όροι: частичные функции, логические схемы, троичное моделирование

Περιγραφή αρχείου: application/pdf

Relation: vtls:000707328; http://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000707328

Διαθεσιμότητα: http://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000707328

Троичное моделирование комбинационных схем с использованием ROBDD

Συγγραφείς: Голубева, Ольга Ивановна

Πηγή: Компьютерные науки и информационные технологии : материалы Международной научной конференции, 2-3 июля 2018 г., Саратов. Саратов, 2018. С. 112-114

Θεματικοί όροι: троичное моделирование, ROBDD-графы, комбинационные схемы, булевы функции

Περιγραφή αρχείου: application/pdf

Relation: vtls:000651616; https://openrepository.ru/article?id=271760

Διαθεσιμότητα: https://openrepository.ru/article?id=271760

Математическое моделирование. Кибернетика. Информатика

Συγγραφείς: Горцев, Александр Михайлович

Θεματικοί όροι: системы массового обслуживания, стохастические системы, информации теория, фильтрация, возмущения, моделирование управляющих систем, пуассоновский поток событий, спутниковые сети связи, марковские процессы, оптимальная нелинейная фильтрация, модели интенсивности, математическое ожидание, дисперсия, аномальные помехи, коммутация пакетов, имитационные модели, тренды, сплайны, сети связи, троичное моделирование, оценивание, фрактальное сжатие изображений

Περιγραφή αρχείου: application/pdf

Relation: vtls:000066421; URN:ISBN:5751110463; http://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000066421

Διαθεσιμότητα: http://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000066421

Теоретические основы проектирования ЭВМ : часть 1. Теория и анализ схем

Συγγραφείς: Шаршунов, Сергей Георгиевич, Рудницкая, В. П.

Θεματικοί όροι: математические модели цифровых устройств, логическое моделирование, троичное моделирование, структурно-функциональное моделирование, модели макроэлементов, проектирование

Relation: fefu:2891; https://openrepository.ru/article?id=113475

Διαθεσιμότητα: https://openrepository.ru/article?id=113475

Теоретические основы проектирования ЭВМ : часть 1. Теория и анализ схем

Συγγραφείς: Шаршунов, Сергей Георгиевич, Рудницкая, В. П.

Όροι ευρετηρίου: математические модели цифровых устройств, логическое моделирование, троичное моделирование, структурно-функциональное моделирование, модели макроэлементов, проектирование, учебные издания

Σύνδεσμος: http://hdl.handle.net/rour/113475uri