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

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

Subject Terms: последовательностные схемы, синхронные схемы, троичное моделирование, ROBDD-графы

File Description: application/pdf

Access URL: http://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000585497

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

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

Subject Terms: булевы функции, интервальные расширения, последовательностные схемы, функции переходов в состояния, синхронные схемы, троичное моделирование, ROBDD-графы, моделирование

File Description: application/pdf

Access URL: http://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000585495

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

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

Subject Terms: потоковые графы, последовательностные схемы, синхронные схемы, множества, троичное моделирование, последовательности, ROBDD-графы

File Description: application/pdf

Access URL: http://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000585498

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

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

Subject Terms: троичное моделирование, синхронная последовательностная схема, ROBDD-графы

File Description: application/pdf

Access URL: 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

Authors: Голубева, Ольга Ивановна

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

Subject Terms: троичное моделирование, синхронные схемы, последовательностные схемы, ROBDD-графы

File Description: application/pdf

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

Availability: 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

Authors: Голубева, Ольга Ивановна

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

Subject Terms: троичное моделирование, синхронные схемы, последовательностные схемы, ROBDD-графы, последовательности, потоковые графы, множества

File Description: application/pdf

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

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

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

Authors: Голубева, Ольга Ивановна

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

Subject Terms: интервальные расширения, булевы функции, функции переходов в состояния, троичное моделирование, моделирование, синхронные схемы, последовательностные схемы, ROBDD-графы

File Description: application/pdf

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

Availability: 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

Authors: Голубева, Ольга Ивановна

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

Subject Terms: троичное моделирование, синхронная последовательностная схема, ROBDD-графы

File Description: application/pdf

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

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

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

Authors: Голубева, Ольга Ивановна

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

Subject Terms: троичное моделирование, комбинационные схемы, SAT-решатели

File Description: application/pdf

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

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

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

Authors: Ложкин, Алексей Сергеевич, Матросова, Анжела Юрьевна, Фатеева, Эвелина Сергеевна

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

Subject Terms: частичные функции, логические схемы, троичное моделирование

File Description: application/pdf

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

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

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

Authors: Голубева, Ольга Ивановна

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

Subject Terms: троичное моделирование, ROBDD-графы, комбинационные схемы, булевы функции

File Description: application/pdf

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

Availability: https://openrepository.ru/article?id=271760

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

Authors: Горцев, Александр Михайлович

Subject Terms: системы массового обслуживания, стохастические системы, информации теория, фильтрация, возмущения, моделирование управляющих систем, пуассоновский поток событий, спутниковые сети связи, марковские процессы, оптимальная нелинейная фильтрация, модели интенсивности, математическое ожидание, дисперсия, аномальные помехи, коммутация пакетов, имитационные модели, тренды, сплайны, сети связи, троичное моделирование, оценивание, фрактальное сжатие изображений

File Description: application/pdf

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

Availability: http://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000066421

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

Authors: Шаршунов, Сергей Георгиевич, Рудницкая, В. П.

Subject Terms: математические модели цифровых устройств, логическое моделирование, троичное моделирование, структурно-функциональное моделирование, модели макроэлементов, проектирование

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

Availability: https://openrepository.ru/article?id=113475

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

Authors: Шаршунов, Сергей Георгиевич, Рудницкая, В. П.

Index Terms: математические модели цифровых устройств, логическое моделирование, троичное моделирование, структурно-функциональное моделирование, модели макроэлементов, проектирование, учебные издания

URL: http://hdl.handle.net/rour/113475uri