ДИАГНОСТИКА ЛОГИЧЕСКИХ СХЕМ
intern. workshop on protocol test systems. France, Pau, 1993. 68. Евтушенко Н.В., Лебедев А.В., Петренко А.Ф.
Построение проверяющего множества для компоненты последовательной автоматной сети // Автоматика и телемеханика. 1994.
8. С.145-153. 69. Petrenko A., Yevtushenko N., Dssouli R. Testing strategies for communicating FSMs // IFIP Proc.
7th intern. workshop on protocol test systems. Japan, 1994. P.181-198.
70. Petrenko A., Yevtushenko N., Bochmann G. V. Testing deterministic implementations from their nondeterministic specifications // IFIP proc. 9th intern. workshop on testing of communicating systems. 1996.
71. Petrenko A., Yevtushenko N., Bochmann G.V. Fault models for testing in context // Proc. intern. conf. FORTE-96.
Germany, 1996. 72. Yevtushenko N, Petrenko A., Trennkaev V. A testing strategy for communicating finite state machines // Proc. Baltic electronic conf.
BEC96. Tallinn, 1996. 73. Евтушенко Н.В., Петренко А. Ф., Тренькаев В.Н.
Метод тестирования автоматных сетей, основанный на тестируемом поведении компоненты // Автоматика и вычислительная техника. 1996. 2. С.48-58. 74.
Куфарева И.Б., Евтушенко Н.В. Синтез проверяющих тестов для недетерминировнных автоматов относительно редукции в классе автоматов с неисправной функцией выходов // Автоматизация проектирования дискретных систем.
Материалы 2-й международной конференции. Т. 3. Минск: ИТК АН Беларуси, 1997.
С. 51-58. 75.
Petrenko A., Yevtushenko N. Fault detection in embedded component // X workshop on testing of communicating systems. Korea: Chapman Hall, 1997. P. 272-288. 76.
Евтушенко Н.В., Лебедев А.В. О контрольном эксперименте с детерминированной реализацией при недетерминированном эталоне // Кибернетика. 1998. 3. 77.
Куфарева И.Б., Евтушенко Н.В., Петренко А.Ф. Синтез проверяющих тестов для недетерминированного автомата относительно редукции // Автоматика и вычислительная техника.
1998. 3. 78. Yevtushenko N., Cavalli A.R., Lima L. Test suite minimization for testing in context // Testing of communicating systems. Boston, Dordrecht, London: Kluwer Academic Publishers, 1998.
P. 127-145. 79. Petrenko A., Yevtushenko N. Solving asynchronous equations // Proceedings of 3rd joint conference FORTE/PSTV. 1998.
P. 231-248. 80.
Евтушенко Н.В., Прокопенко СА. Построение проверяющих тестов для входо-выходных полуавтоматов // Новые информационные технологии в исследовании дискретных структур.
Екатеринбург: УрО РАН, 1998. С. 216-218. 81.
Евтушенко Н.В., Тренькаев В.Н. Методы синтеза тестов для компоненты автоматной сети // Новые информационные технологии в исследовании дискретных структур.
Екатеринбург: УрО РАН, 1998. С. 219-223.
82. Kufareva I., Petrenko A., Yevtushenko N. Test generation driven by user-defined fault models // Proceedings of 12th IEEE international workshop on testing of communicating systems.
Budapest, 1999. 83. Прокопенко С.А., Евтушенко Н.В. Минимизация проверяющих тестов для сложных многокомпонентных устройств // Автоматизация проектирования дискретных систем (Computer-aided design of discrete devices CAD DD'99): Материалы третьей международной конференции (10-12 ноября 1999 г., Минск.
Т. 3) Минск: Ин-т Техн. киб. НАН Беларуси, 1999.
С. 14-20.
ДИАГНОСТИКА ЛОГИЧЕСКИХ СХЕМ
84. Матросова А.Ю. Метод обнаружения неисправности в дискретном устройстве // Автоматика и телемеханика. 1977.
12. С. 128-137.
85. Матросова А.Ю.
Построение полного теста для схем, синтезированных факторизационным методом // Автоматика и вычислительная техника. 1978. 5. С. 42-46.
86. Бузанов В.А. О вычислении неисправностей в структурном автомате // Алгоритмы решения задач дискретной математики. Вып.
2. Томск: Изд-во Том. ун-та, 1987. С. 127-129.
87. Матросова А.Ю. Алгоритмические методы синтеза тестов дискретных устройств. Томск: Изд-во Том. ун-та, 1990.
108 с. 88. Евтушенко Н.В., Матросова А.Ю. Вероятностные оценки управляемости элементов логической сети // Автоматика и телемеханика. 1993.
11. 89. Евтушенко Н.В., Матросова А.Ю., Янковская А.Е., Цури-ков С. Логический подход к вычислению вероятностных оценок принятия решений в системах искусственного интеллекта // Известия РАН.
Техническая кибернетика. 1994. 2. 90. Matrosova A., Yevtushenko N., Strizhov M., Yankovskaya A. Output data compression for of-line testing // Procedings of the second international conference on computer aided design of discrete devices (CAD DD’97).
Vol. 1. Minsk, 1997. P. 118-123.
91. Астафьев М.В., Матросова А.Ю. Минимизация BDD-графов // Новые информационные технологии в исследовании дискретных структур.
Екатеринбург: УрО РАН, 1998. С. 198-203.
92. Голубева О.И. Коррекция результатов троичного моделирования на последовательностях произвольной длины // Новые информационные технологии в исследовании дискретных структур. Екатеринбург: УрО РАН, 1998.
С. 62-68. 93. Матросова А.Ю., Голубева О.И.
О коррекции результатов одного шага троичного моделирования // Новые информационные технологии в исследовании дискретных структур. Екатеринбург: УрО РАН, 1998.
С. 112-116. 94. Голубева О. И. Троичное моделирование синхронных последовательностных схем // Математическое моделирование. Кибернетика.
Информатика. Томск: Изд-во Том. ун-та, 1999. С. 53-59. 95.
Бузанов В.А. Интервальные операции для задач тестовой диагностики // Математическое моделирование.
Кибернетика. Информатика. Томск: Изд-во Том. ун-та, 1999. С. 7-17.
96. Го-лубева О.И.
Метод вычисления вероятности обнаружения неисправности, основанный на BDD представлении // The third international symposium Application of the conversion research results for international cooperation (Sibconvers'99). Proceedings. Tomsk: Tomsk state university of control systems and radioelectronics.
1999. C. 195-197. 97.
Голубева О.И., Матросова А.Ю. Точный метод вычисления вероятности обнаружения неисправности, основанный на ОДНФ-представлении функции // Автоматизация проектирования дискретных систем (Computer-aided design of discrete devices CAD DD'99): Материалы третьей международной конференции (10-12 ноября 1999 г., Минск. Т. 3). Минск: Ин-т Техн. киб.
НАН Беларуси, 1999. С. 64-71.
ЛОГИЧЕСКИЙ СИНТЕЗ
98. Павлов В.Л. О синтезе логических схем из элементов ИЛИ-НЕ с ограниченным числом входов // Вычислительная техника.
Т. 2. Каунас: Каунасский политехн. ин-т, 1971. С. 219-223. 99.
Агибалов Г.П., Комаров ЮМ., Липский В.Б. Синтез комбинационных схем, свободных от статических состязаний // Автоматика и вычислительная техника. 1979. 3. С. 1-6.
100. Агибалов Г.П., Дрягин Ю.С. К синтезу схем из функциональных элементов декомпозиционным методом // Алгоритмы решения задач дискретной математики.
Томск: Изд-во Том. ун-та, 1979. С. 112-123. 101.
Агибалов Г.П., Комаров ЮМ. Метод синтеза функционально-устойчивых комбинационных схем // Алгоритмы решения задач дискретной математики.
Томск: Изд-во Том. ун-та, 1979. С. 124-131. 102. Агибалов Г.П., Евтушенко Н.В.
К реализации систем булевых функций каскадным соединением однотипных настраиваемых элементов // Кибернетика. 1980.
1. С. 71-74. 103.
Матросова А.Ю., Байда В.Д., Сафронов В.В. Синтез легкодиагностируемых автоматов // Методы и системы техниче-ской диагностики. Вып.
1. Саратов: Изд-во Сарат. ун-та, 1980. С. 17-26. 104.
Agibalov G.P., Lipskij V.B. Analyse und synthese stabilier binarer auto-maten mit hilfe logisher gleichungen // Boolische gleichungen. Berlin: VEB Verlag Technik, 1984.
Z. 175-183. 105. Павлов В.Л. Синтез комбинационных схем в произвольном базисе // Алгоритмы решения задач дискретной математики.
Томск: Изд-во Том. ун-та, 1987. Вып. 2. С. 53-59. 106.
Панкратова И.А. Синтез комбинационных функциональных схем в многозначной логике // Алгоритмы решения задач дискретной математики.
Томск: Изд-во Том. ун-та, 1987. Вып. 2. С. 59-64. 107.
Липский В.Б. Система логического синтеза интервальных автоматов - СИНТА // Алгоритмы решения задач дискретной математики. Томск: Изд-во Том. ун-та, 1987. Вып.
2. С. 65-72. 108. Matrosova A., Yevtushenko N. On testable FSM network design // Proc. Intern.
Conf. EUROCHIP. Grenoble, 1992. 109.
Евтушенко Н.В., Янковская А.Е. О дифференциальном проектировании устройств логического управления // Известия РАН. Теория и системы управления.
995. 3. 110. Yevtushenko N., Petrenko A., Dssouli R., Karoni K., Prokopenko S. On the design for testability of communication protocols // IFIP Proc. 8th intern. workshop on protocol test systems.
1995. 111. Прокопенко СА, Евтушенко Н.В.
К построению легко тестируемых автоматов // Автоматизация проектирования дискретных систем. Материалы 2-й международной конференции.
Т. 3. Минск: ИТК АН Беларуси, 1997. С. 66-73. 112.
Липский В. Б. Логическая модель интегральных схем // Автоматизация проектирования дискретных систем: Материалы 2-й международной конференции. Т. 2. Минск: ИТК АН Беларуси, 1997.
С. 46-50. 113. Оранов АМ.
О комбинаторном сходстве задач синтеза и компоновки схем // Автоматизация проектирования дискретных систем. Материалы 2-й международной конференции. Т. 2. Минск: ИТК АН Беларуси, 1997. С. 113-118.
114. Матросова А.Ю., Останин СА. Синтез самопроверяемых синхронных устройств и сетей из них // Новые информационные технологии в исследовании дискретных структур. Екатеринбург: УрО РАН, 1998.
С. 173-179. 115. Матросова А.Ю., Останин С.А., Паршина Н.А.
К синтезу контролепригодных комбинационных устройств //Автоматика и телемеханика. 1999. 2. С. 129-137. 116.
Levin I., Matrosova A., Sinelnikov V., Ostanin S. Totally selfchecking FPGA-based FSM // Fifth IEEE international on-line testing workshop. Rhodes, 1999. 117.
Останин С.А. Синтез самопроверяемых асинхронных автоматов с нормальными функциями переходов/выходов // Математическое моделирование. Кибернетика.
Информатика. Томск: Изд-во Том. ун-та, 1999.
С.120-126. 118. Останин С.А.
Синтез самопроверяемых асинхронных последовательностных схем с нормальными функциями переходов/выходов // The third international symposium Application of the conversion research results for international cooperation (Sibconvers'99). Proceedings. Tomsk: Tomsk state university of control systems and radioelectronics. 1999.
P. 222-224. 119. Воробьев ВА., Лаходынова Н.В. Процессорная матрица с перестраиваемой структурой и перестраиваемым резервом // Автометрия.
1994. 1. С. 90-98. 120. Воробьев ВА., Еремина Н.Л., Лаходынова Н.В.
Алгоритмы адресации отказоустойчивой процессорной матрицы на СБИС // Новые информационные технологии в исследовании дискретных структур. Екатеринбург: УрО РАН, 1996.
С. 109-111. 121. Воробьев ВА., Еремина Н.Л., Лаходынова Н.В.
Анализ алгоритмов перестройки структуры процессорной матрицы // Автометрия. 1996.
3. С. 69-77. 122. Воробьев ВА., Еремина Н.Л. Программная реализация реконфигурации отказоустойчивой процессорной матрицы // Автометрия.
1996. 2. С. 111-121. 123. Воробьев ВА., Лаходынова Н.В.
Реконфигурация отказоустойчивой процессорной матрицы на основе сигналов согласия // Автометрия. 1997.
6. С. 108-113.
124. Воробьев В.А., Лаходынова Н.В. Вложение решеток в процессорную матрицу с отказами на основе сигналов согласия // Новые информационные технологии в исследовании дискретных структур.
Екатеринбург: УрО РАН, 1996. С. 153-156.
РАЗНОЕ
125. Паршина НА. Задача о выполнимости: некоторые полиномиальные классы КНФ // Кибернетика и системный анализ.
1992. 1. С. 156-160.
126. Yevtushenko N., Yankovskaya A. FSM-based knowledge representation in tutorial intelligent systems // Proc. intern. conf. Computers and education. Singapore, 1995.
127. Agibalov G.P. Parallel computations on finite partially ordered sets // Lecture notes in computer science.
Springer-Verlag, 1997. 1227.
P. 7-12. 128.
Паршина Н.А. Минимизация частичных булевых функций в классе ортогональных днф // Новые информационные технологии в исследовании дискретных структур.
Екатеринбург: УрО РАН, 1998. С. 181-184. 129.
Быкова С.В., Никитин К.В. Фрактальное сжатие изображений // Математическое моделирование. Кибернетика. Информатика.
Томск: Изд-во Том. ун-та, 1999. С. 27-33. 130. Евтушенко Н.В., Паршина НА., Янковская А.Е.
Автоматная модель контроля знаний в интеллектуальных обучающих системах // Математическое моделирование. Кибернетика.
Информатика. Томск: Изд-во Том. ун-та, 1999.
С. 60-66. 131. Быкова С.В., Никитин К.В. О фрактальном подходе к сжатию изображений // The third international symposium Application of the conversion research results for international coopera-tion (Sibconvers'99).
Proceedings. Tomsk: Tomsk state university of control systems and radioelectronics.
1999. C. 307-309.
