Построение аппроксимирующих схем для синхронных автоматов в рамках технологии троирования

Πηγή: Вестник Томского государственного университета. Управление, вычислительная техника и информатика. 2023. № 62. С. 124-131

Θεματικοί όροι: троирование, последовательностные схемы, константные неисправности, аппроксимирующие схемы

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

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

Detection and masking of trojan circuits in sequential logic

Συγγραφείς: Matrosova, Anjela Yu., Ostanin, Sergey A., Butorina, Nataly Borisovna, Pahomova, Elena Grigorievna, Shulga, Sergey Anatolievich, Mitrofanov, Evgenii V.

Πηγή: Вестник Томского государственного университета. Управление, вычислительная техника и информатика. 2018. № 42. С. 89-99

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

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

Σύνδεσμος πρόσβασης: http://journals.tsu.ru/uploads/import/1680/files/42_089.pdf
http://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000623064

A Fault-tolerant Sequential Circuit Design for Stuck-at Faults and Path Delay Faults

Συγγραφείς: Matrosova, Anjela Yu., Kirienko, Irina E., Nikolaeva, Ekaterina A., Ostanin, Sergey A.

Πηγή: Вестник Томского государственного университета. Управление, вычислительная техника и информатика. 2017. № 41. С. 61-68

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

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

Σύνδεσμος πρόσβασης: http://journals.tsu.ru/uploads/import/1637/files/41_061.pdf
http://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000624110

Реконструкция линейных скремблеров на основе автоматных моделей ; Реконструкція лінійних скремблерів на основі автоматних моделей ; Reconstruction of linear scramblers based on automaton models

Συγγραφείς: В.П. Семеренко, V.P. Semerenko

Πηγή: Системи обробки інформації. — 2016. — № 4(141). 72-76 ; Системы обработки информации. — 2016. — № 4(141). 72-76 ; Information Processing Systems. — 2016. — № 4(141). 72-76 ; 1681-7710

Θεματικοί όροι: Інформаційні технології в технічних системах, УДК 004.4:681.3, скремблеры, криптография, поточное шифрование, линейные последовательностные схемы, время, обратный автомат, скремблери, криптографія, потокове шифрування, лінійні послідовнісні схеми, час, обернений автомат, scrambler, cryptography, stream encryption, linear finite-state machine, time, reversible automaton

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

Relation: http://www.hups.mil.gov.ua/periodic-app/article/16559/soi_2016_4_15.pdf; http://www.hups.mil.gov.ua/periodic-app/article/16559

Διαθεσιμότητα: http://www.hups.mil.gov.ua/periodic-app/article/16559

Троичное моделирование синхронных схем с памятью на последовательностях произвольной длины, основанное на 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. Т. 60, № 10. С. 170-178

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

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

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

Параллельное декодирование укороченных циклических кодов

Συγγραφείς: Семеренко, В. П.

Θεματικοί όροι: вкорочені циклічні коди, вкорочені коди Ріда-Соломона, лінійні послідовніснісхеми, граф, паралельна обробка, укороченные циклические коды, укороченные коды Рида-Соломона, линейные последовательностные схемы, параллельная обработка, shortened cyclic codes, and shortened Reed-Solomon codes, linear finite-state machines, graph, parallel processing

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

Relation: http://oeipt.vntu.edu.ua/index.php/oeipt/article/view/246; http://ir.lib.vntu.edu.ua/handle/123456789/3313; 519.725

Διαθεσιμότητα: http://ir.lib.vntu.edu.ua/handle/123456789/3313
http://oeipt.vntu.edu.ua/index.php/oeipt/article/view/246

НЕПРЕРЫВНЫЙ ПОДХОД К ПОСТРОЕНИЮ ТЕСТОВ РЕЗИСТИВНЫХ МОСТИКОВЫХ НЕИСПРАВНОСТЕЙ

Συγγραφείς: Кащеев, Николай, Подъяблонский, Федор

Θεματικοί όροι: РЕЗИСТИВНАЯ МОДЕЛЬ, МОСТИКОВЫЕ НЕИСПРАВНОСТИ, ЦИФРОВЫЕ СХЕМЫ, ПОСЛЕДОВАТЕЛЬНОСТНЫЕ СХЕМЫ, АВТОМАТИЧЕСКОЕ ПОСТРОЕНИЕ ТЕСТОВ, МОДЕЛИРОВАНИЕ НЕИСПРАВНОСТЕЙ, НЕПРЕРЫВНЫЕ МОДЕЛИ

Περιγραφή αρχείου: text/html

Διαθεσιμότητα: http://cyberleninka.ru/article/n/nepreryvnyy-podhod-k-postroeniyu-testov-rezistivnyh-mostikovyh-neispravnostey
http://cyberleninka.ru/article_covers/14912008.png

Высокопроизводительные алгоритмы для исправления независимых ошибок в циклических кодах

Συγγραφείς: Семеренко, В. П.

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

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

Relation: http://ir.lib.vntu.edu.ua/handle/123456789/9385; 519.725

Διαθεσιμότητα: http://ir.lib.vntu.edu.ua/handle/123456789/9385

Высокопроизводительные алгоритмы для исправления независимых ошибок в циклических кодах ; Високопродуктивні алгоритми для виправлення незалежних помилок в циклічних кодах ; High-performance algorithms for correction of independent errors in cyclic codes

Συγγραφείς: В.П. Семеренко, V.P. Semerenko

Πηγή: Системи обробки інформації. — 2010. — № 3(84). 80-86 ; Системы обработки информации. — 2010. — № 3(84). 80-86 ; Information Processing Systems. — 2010. — № 3(84). 80-86 ; 1681-7710

Θεματικοί όροι: Інформаційна та економічна безпека, УДК 519.725, циклические коды, исправление ошибок, линейные последовательностные схемы, граф, параллельная обработка, циклічні коди, виправлення помилок, лінійні послідовнісні схеми, паралельна обробка, cyclic codes, correction of errors, linear sequential charts, count, simultaneous processing

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

Relation: http://www.hups.mil.gov.ua/periodic-app/article/7435/soi_2010_3_26.pdf; http://www.hups.mil.gov.ua/periodic-app/article/7435

Διαθεσιμότητα: http://www.hups.mil.gov.ua/periodic-app/article/7435

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

Συνεισφορές: Томский государственный университет Факультет прикладной математики и кибернетики Кафедра программирования, Томский государственный университет Факультет прикладной математики и кибернетики Публикации студентов и аспирантов ФПМК

Πηγή: Вестник Томского государственного университета. Управление, вычислительная техника и информатика. 2013. № 2. С. 140-147

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

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

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

К верификации логических схем на основе временных автоматов

Συνεισφορές: Томский государственный университет Радиофизический факультет Публикации студентов и аспирантов РФФ

Πηγή: Известия высших учебных заведений. Физика. 2012. Т. 55, № 9/2. С. 335-336

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

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

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

Непрерывный подход к построению тестов резистивных мостиковых неисправностей

Πηγή: Вестник Нижегородского университета им. Н.И. Лобачевского.

Θεματικοί όροι: РЕЗИСТИВНАЯ МОДЕЛЬ, МОСТИКОВЫЕ НЕИСПРАВНОСТИ, ЦИФРОВЫЕ СХЕМЫ, ПОСЛЕДОВАТЕЛЬНОСТНЫЕ СХЕМЫ, АВТОМАТИЧЕСКОЕ ПОСТРОЕНИЕ ТЕСТОВ, МОДЕЛИРОВАНИЕ НЕИСПРАВНОСТЕЙ, НЕПРЕРЫВНЫЕ МОДЕЛИ

Περιγραφή αρχείου: text/html

Σύνδεσμος πρόσβασης: http://cyberleninka.ru/article_covers/14912008.png
http://cyberleninka.ru/article/n/nepreryvnyy-podhod-k-postroeniyu-testov-rezistivnyh-mostikovyh-neispravnostey

Построение тестовых пар для неисправностей задержек путей в логических схемах с использованием операций над ROBDD-графами

Συγγραφείς: Матросова, Анжела Юрьевна, Андреева, Валентина Валерьевна, Николаева, Екатерина Александровна

Πηγή: Известия высших учебных заведений. Физика. 2018. Т. 61, № 5. С. 169-173

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

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

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

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

Троичное моделирование синхронных схем с памятью на последовательностях произвольной длины, основанное на 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

Обнаружение ложных путей в последовательностных схемах

Συγγραφείς: Андреева, Валентина Валерьевна, Чернышов, Семен Владимирович, Рожкова, Светлана Владимировна, Кудин, Дмитрий Владимирович, Матросова, Анжела Юрьевна

Πηγή: Известия высших учебных заведений. Физика. 2017. Т. 60, № 10. С. 170-178

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

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

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

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