«Электронное моделирование»

Том 37, № 6 (2015)

ЗМІСТ

Математичне моделювання та обчислювальні методи

  ЛИСТРОВОЙ С.В., МОЦНЫЙ С.В.
Алгоритм решения задачи о наименьшем вершинном покрытии произвольного графа с помощью систем квадратичных уравнений


3-18
  ПАЛАГИН В.В.
Кумулянтные модели и полиномиальные методы обнаружения сигналов при аддитивном взаимодействии с коррелированными негауссовыми помехами


19-34
  ТИМЧЕНКО Л.И., КОКРЯЦКАЯ Н.И., ПОДДУБЕЦКАЯ М.П.
Метод моделирования параллельно-иерархической сети для обработки данных на основе построения функциональных рядов


35-48

Обчислювальні процеси і системи

  САПОЖНИКОВ В.В., САПОЖНИКОВ Вл.В., ЕФАНОВ Д.В., ДМИТРИЕВ В.В., ЧЕРЕПАНОВА М.Р.
Организация систем функционального контроля комбинационных схем на основе модифицированного кода с суммированием взвешенных переходов

49-68

Застосування методів і засобів моделювання

  ФАРХАДЗАДЕ Э.М., МУРАДАЛИЕВ А.З., ФАРЗАЛИЕВ Ю.З.
Распределение выборки непрерывной случайной величины


69-82
  САМОЙЛОВ В.Д., ВИННИЧУК С.Д., АБРАМОВИЧ Р.П.
Метод подъема токов нагрузок к узлу ввода для расчета энергетических распределительных сетей


83-98
  ЛЮБИМОВА Н.А.
Сравнительная оценка апостериорных вероятностей выбросов в многокомпонентных процессах загрязнения атмосферы энергетическим предприятием


99-110
  ВОЛОШКО А.В., БЕДЕРАК Я.С., ЛУТЧИН Т.Н.
Оперативное прогнозирование электропотребления на предприятиях с непрерывным циклом работы

111-118

Кольорові малюнки до статей - на вклейках

 

 

Алгоритм решения задачи о наименьшем вершинном покрытии произвольного графа с помощью систем квадратичных уравнений

С.В. Листровой, д-р техн. наук, С.В. Моцный, аспирант
Украинский государственный университет железнодорожного транспорта
(Украина, 61050, Харьков, пл. Фейербаха, 7,
тел. +380509355042, +380987290907,
e-mail: Ця електронна адреса захищена від спам-ботів. Вам необхідно увімкнути JavaScript, щоб побачити її., Ця електронна адреса захищена від спам-ботів. Вам необхідно увімкнути JavaScript, щоб побачити її.)

АННОТАЦИЯ

Запропоновано алгоритм роз’язку задачі про найменше покриття довільного графа за допомогою систем квадратичних рівнянь, які дозволяють досягати високого ступіню розпаралелювання операцій. Для розв’язку цієї задачі на практиці використовують наближені алгоритми з різними коефіцієнтами апроксимації. Наведено результати експериментального аналізу, які свідчать про перевагу описаного алгоритму в порівнянні з існуючими.

КЛЮЧЕВЫЕ СЛОВА:

вершинное покрытие, степень аппроксимации, системы квадратичных уравнений, частота появления слагаемых.

СПИСОК ЛИТЕРАТУРЫ

1. Кристофидес Н. Теория графов. Алгоритмический подход.—М. : Мир, 1978.—309 с.
2. Vijay V. Vazirani. Approximation Algorithms. 2nd Ed.— Berlin: Springer-Verlag, 2003.—P. 306—334.
3. Zhang Y., Qi G., Fleisher R. et al. Approximating the minimum weight weak vertex cover // Elsevier: Theoretical Computer Science. —1992.— Vol. 7, Iss. 4. — P. 404—416.
4. Roth-Korostensky C. Algorithms for building multiple sequence alignments and evolutionary trees// Doctoral thesis. — ETH Z urich, Institute of Scientific Computing, Switzerland, 2000.— 161 p.
5. Stege U. Resolving conflicts in problems from computational biology// Doctoral thesis. — ETH Zrich, Institute of Scientific Computing, Switzerland, 2000. — 158 p.
6. Jianer C., Iyad K.A., Ge X. Improved Parameterized Upper Bounds for Vertex Cover//Elsevier: Theoretical Computer Science.—2010.—Vol. 411.—P. 3736—3756.
7. Jianer C., Iyad K.A., Ge X. Simplicity is beauty: Improved upper bounds for vertex cover//Technical Report 05-008, Texas A&M University, Utrecht, Netherlands, April 2005.
8. Karakostas G. A better approximation ratio for the vertex cover problem// ACM Transactions on Algorithms (TALG). — 2009. — Vol. 5, Iss. 4. — P. 1—8.
9. Cheng W., Yuren Z., Weiping T. Hybrid genetic algorithm for vertex cover problem// Computer Engineering and Applications. — 2007. — Vol. 43, No. 14. — P. 27—29.
10. Miehalewiez Z., Fogel D.B. How to Solve It: Modern Heuristics. — Berlin, Heidelberg:Springer-Verlag, 2004.— 554 p.
11. Листровой С.В., Минухин С.В. Метод решения задач о минимальном вершинном покрытии в произвольном графе и задачи о наименьшем покрытии// Электрон. моделирование. — 2012.— 34, № 1. — С. 29—45.
12. Listrovoy S.V., Minukhin S.V. Investigation of the Scheduler for Heterogeneous Distributed Computing Systems based on Minimal Cover Method// Intern. Journal of Computer Applications. — 2012.— Vol. 51, No.19. — P. 35—44.

ЛИСТРОВОЙ Сергей Владимирович, д-р техн. наук, профессор, профессор кафедры специализированных компьютерных систем Украинского государственного университета железнодорожного транспорта. В 1972 г. окончил Харьковское высшее военное командно-инженерное училище. Область научных исследований—задачи дискретной оптимизации и теории графов и их приложение к анализу вычислительных систем и сетей.

МОЦНЫЙ Станислав Владимирович, аспирант кафедры специализированных компьютерных систем Украинского государственного университета железнодорожного транспорта. В 2012 г. окончил Украинскую государственную академию железнодорожного транспорта (г. Харьков). Область научных исследований —информационная безопасность в телекоммуникационных системах и сетях, оптимизация процессов в распределенных системах.

Полный текст: PDF (русский)

Кумулянтные модели и полиномиальные методы обнаружения сигналов при аддитивном взаимодействии с коррелированными негауссовыми помехами

В.В. Палагин, д-р техн. наук
Черкасский государственный технологический университет
(Украина, 18006, Черкассы, бул.Шевченко, 460,
тел. (0472) 730261, е-mail: Ця електронна адреса захищена від спам-ботів. Вам необхідно увімкнути JavaScript, щоб побачити її.)

АННОТАЦИЯ

Запропоновано моделі і методи обробки статистично залежних випадкових величин для синтезу і аналізу поліноміальних алгоритмів виявлення сигналів на фоні негаусових корельованих завад при моментно-кумулянтному описі випадкових процесів. Показано, що нелінійна обробка вибіркових значень і врахування параметрів негаусового розподілу статистично залежних випадкових величин дозволяє підвищити ефективність поліноміальних розв’язувальних правил і зменшити ймовірність виникнення помилок першого і другого роду в порівнянні з відомими результатами.

КЛЮЧЕВЫЕ СЛОВА:

стохастические полиномы, моментные критерии качества, коррелированные негауссовы помехи.

СПИСОК ЛИТЕРАТУРЫ

1. Левин Б.Р. Теоретические основы статистической радиотехники. Изд. 3-е, перераб. и доп. — М. : Радио и связь, 1989.— 696 с.
2. Van Trees H.L. Detection Estimation and Modulation Theory. 2nd ed. — John Wiley & Sons, 2013. — 1176 p.
3. Vijay K. Madisetti The Digital signal processing Handbook. Digital signal processing fundamentals.— CRC Press, 2010. — 906 p.
4 Fabing Duan, Franсois Chapeau-Blondeau, Derek Abbott Non-Gaussian noise benefits for coherent detection of narrowband weak signal // Physics Letters A 378.—2014.—P. 1820—1824.
5. Безрук В.М., Певцов Г.М. Теоретические основы проектирования систем распознавания сигналов для автоматизированного радиоконтроля. — Харьков: Коллегиум, 2007.— 430 с.
6. Малахов А.Н. Кумулянтный анализ негауссовских процессов и их преобразований. — М.: Сов. радио, 1979.— 376 с.
7. Kunchenko Y. Polynomial Parameter Estimations of Close to Gaussian Random variables.—Shaker Verlag, 2002.— 396 p.
8. Палагин В.В. Моментный критерий качества проверки статистических гипотез для обработки сигналов на фоне коррелированных негауссовских помех // Системы обработки информации. — 2009.— Вып. 4 (78). — С. 96—101.
9. Palahin V.V., Goncharov А.V., Filipov V.V. Features of the constant signal parameter estimation by the method of truncated polynomial maximization // Oxford Journal of Scientific Research. — 2015.— IV, No 1. (9). — P. 170—177.
10. Палагин В.В. Программные средства компьютерного моделирования процессов обнаружения и различения сигналов на фоне негауссовских помех // Информатика и математические методы в моделировании. — 2015. — 5, № 5. — С. 103—114.
11. Кендалл М. , Стюарт А. Статистические выводы и связи.— М. : Наука, 1973.—900 с.

ПАЛАГИН Владимир Васильевич, д-р техн. наук, зав. кафедрой радиотехники и информационно-телекоммуникационных систем Черкасского государственного технологического университета. В 1992 г. окончил Киевский политехнический ин-т. Область научных исследований — методы математического и компьютерного моделирования в задачах обработки сигналов и негауссовых процессов.

Полный текст: PDF (русский)

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

Л.И. Тимченко, д-р техн. наук, Н.И. Кокряцкая, канд. техн. наук
Государственный экономико-технологический университет транспорта
(Украина, 03049, Киев, ул. Лукашевича, 19,
тел.: +380673550976, +380432531123,
е-mail: Ця електронна адреса захищена від спам-ботів. Вам необхідно увімкнути JavaScript, щоб побачити її., Ця електронна адреса захищена від спам-ботів. Вам необхідно увімкнути JavaScript, щоб побачити її.),
М.П. Поддубецкая
Винницкий национальный технический университет
(Украина, 21021, Винница, ул. Хмельницкое шоссе, 95,
тел. +380969644470, е-mail: Ця електронна адреса захищена від спам-ботів. Вам необхідно увімкнути JavaScript, щоб побачити її.)

АННОТАЦИЯ

Подано метод моделювання паралельно-ієрархічної мережі на основі функціональних рядів. Розроблено програмне забезпечення, яке дозволяє моделювати G-перетворення на кожному рівні мережі відповідно до раніше обраних елементів, а також програмне забезпечення, яке моделює базисну мережу довільної розмірності за допомогою формування її функціональних рядів. Отримані результати можна використовувати для вирішення задач обробки і систематизації великих об’ємів даних, в тому числі графічних.

КЛЮЧЕВЫЕ СЛОВА:

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

СПИСОК ЛИТЕРАТУРЫ

1. Ruei-Yu Wu, Gen-Huey Chen, Jung-Sheng Fu et al. Finding cycles in hierarchical hypercube networks // J. Information Proc. Letters.—2008.—Vol. 109, Iss. 2.—P. 112—115.
2. Sven Behnke Hierarchical Neural Networks for Image Interpretation. — Berlin—Heeidelberg — N Y: Springer-Verlag, 2003.
3. Srivastava L., Singh S.N., Sharma J. Parallel self-organising hierarchical neural networkbased fast voltage estimation//IEE Proc. — Generation Transmission and Distribution. — 1998. — Vol. 145, Iss. 1. — P. 98—104.
4. Middleton V.T.C., Hawkins R. Sustainable Tourism: A Marketing Perspective. — Oxford:Butterworth — Heinemann, 1998.
5. Thompson R.H., Swanson L.W. Hypothesis-driven structural connectivity analysis supports network over hierarchical model of brain architecture// Proc. of the National Academy of Sciences USA. — 107 (34). — P. 15235—15239. Published online 2010 August 9. doi:10.1073/pnas.1009112107.
6. Lafer-Sousa Rosa, Conway Bevil R. Parallel, multi-stage processing of colors, faces and shapes inmacaque inferior temporal cortex // Nature Neuroscience.—2013.—¹16.—P. 1870—1878.
7. Kaiser M. Time-Delay Neural Networks for Control // 4th International Symposium on Robot Control (SYROCO’94), Capri, Italy, 1994.
8. Тимченко Л.И., Мельников В.В, Кокряцкая Н.И. и др. Метод организации параллельноиерархической сети для распознавания образов// Кибернетика и системный анализ.—2011. — № 1. — C. 152—163.
9. Тимченко Л.И., Мельников В.В., Кокряцкая Н.И. и др. Применение параллельноиерархического метода распознавания изображений пятен лазерных пучков // Материалы Междунар. научно-техн. конф. «Многопроцессорные вычислительные и управляющие системы». Таганрог, 28 сентября — 3 октября 2009 г. — Таганрог: ЮФУ, 2009.— Т. 2. — С. 147—149.
10. Тимченко Л.I. Конвергентнi та дивергентнi процеси в реальних та штучних нейронних мережах // Вiсник ВПI. — 1997.— № 1. — С. 5—10.
11. Тимченко Л.И. Многоэтапная параллельно-иерархическая сеть как модель нейроподобной схемы вычислений//Кибернетика и системный анализ.—2000.— №2.—С. 114—134.
12. Timchenko L. I., Kokryatskaya N.I., Melnikov V.V., Kosenko G.L. Method of forecasting energy center positions of laser beam spot images using a parallel hierarchical network for optical communication systems //J. Opt. Eng. 52 (5), 055003 (May 09, 2013). — doi: 10.1117/1.OE.52.5.055003.

ТИМЧЕНКО Леонид Иванович, д-р техн. наук, профессор, зав. кафедрой телекоммуникационных технологий и автоматики Государственного экономико-технологического университета транспорта. В 1979 г. окончил Винницкий политехнический ин-т. Область научных исследований — системы искусственного интеллекта.

КОКРЯЦКАЯ Наталья Ивановна, канд. техн. наук, доцент кафедры телекоммуникационных технологий и автоматики Государственного экономико-технологического университета транспорта. В 1973 г. окончила Винницкий педагогический ин-т. Область научных исследований — математическое моделирование и параллельная обработка информации.

ПОДДУБЕЦКАЯ Марина Петровна, магистрант кафедры программного обеспечения Винницкого национального технического университета. Область научных исследований — синтез и анализ изображений.

Полный текст: PDF (русский)

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

В.В. Сапожников, Вл.В. Сапожников, доктора техн. наук,
Д.В. Ефанов, канд. техн. наук, В.В. Дмитриев, М.Р. Черепанова
Федеральное государственное бюджетное образовательное учреждение
высшего профессионального образования «Петербургский государственный
университет путей сообщения Императора Александра I»,
(Российская Федерация, 190031, Санкт-Петербург, Московский пр., 9,
тел. (+7) 9117092164, (+7) (812) 4578579, e-mail: Ця електронна адреса захищена від спам-ботів. Вам необхідно увімкнути JavaScript, щоб побачити її.)

АННОТАЦИЯ

Запропоновано спосіб побудови коду з підсумовуванням, базований на зважуванні переходів між розрядами, які займають сусідні позиції в інформаційному векторі, та наступнихопераціях з ваговими коефіцієнтами переходів. Встановлено послідовність вагових коефіцієнтів та прості правила модифікації коду з підсумовуванням зважених переходів, які дозволяють будувати оптимальні коди по критерію мінімуму загальної кількості похибок, що не виявляються, в інформаційних векторах. Показано, що нові коди практично дозволяють створювати системи функціонального контролю із зменшеною апаратурною надлишковістю.

КЛЮЧЕВЫЕ СЛОВА:

система функционального контроля, контролепригодная структура, система дублирования, система контроля по паритету, код с суммированием, код Бергера, модифицированный код с суммированием взвешенных переходов, контрольная комбинационная схема.

СПИСОК ЛИТЕРАТУРЫ

1. McCluskey E.J. Logic Design Principles: With Emphasis on Testable Semicustom Circuits.— N.J.: Prentice Hall PTR, 1986. — 549 p.
2. Smolens J.C., Jangwoo Kim, Hoe J.C., Falsafi B. Understanding the Performance of Concurrent Error Detecting Superscalar Microarchitectures // Proc. of the Fifth IEEE International Symposium on Signal Processing and Information Technology.—Athens, Greece, 21 December, 2005.— P. 13—18.
3. Fujiwara E. Code Design for Dependable Systems: Theory and Practical Applications.—N. J.: John Wiley & Sons, 2006.— 720 p.
4. Choudhury M.R., Mohanram K. Approximate Logic Circuits for Low Overhead, Non-Intrusive Concurrent Error Detection // Proc. of the conf. on Design, automation and test in Europe (DATE’08).— Munich, Germany, 10-14 March, 2008. — P. 903—908.
5. Theeg G., Vlasenko S. Railway Signalling & Interlocking—International Compendium.— Eurailpress, 2009.— 448 p.
6. Bousselam K., Di Natale G., Flottes M., Rouzeyre B. Evaluation of Concurrent Error Detection Techniques on the Advanced Encryption Standard // Proc. of 16th IEEE International On-Line Testing Symposium (IOLTS).—Corfu, Greece, 5-7 July, 2010.—P. 223—228.
7. Ubar R., Raik J., Vierhaus H.-T. Design and Test Technology for Dependable Systemson-Chip (Premier Reference Source). — Information Science Reference, Hershey. — NY: IGI Global, 2011.— 578 p.
8. Goessel M., Graf S. Error Detection Circuits.— London: McGraw-Hill, 1994. — 261 p.
9. Lala P.K. Self-checking and Fault-tolerant Digital Design.—University of Arkansas, 2001.—216 p.
10. Согомонян Е.С., Слабаков Е.В. Самопроверяемые устройства и отказоустойчивые системы. — М.: Радио и связь, 1989. — 208 с.
11. Сапожников В.В., Сапожников Вл.В. Самопроверяемые дискретные устройства.—СПб: Энергоатомиздат, 1992.— 224 с.
12. Пархоменко П.П., Согомонян Е.С. Основы технической диагностики (оптимизация алгоритмов диагностирования, аппаратурные средства). — М. : Энергоатомиздат, 1981.— 320 с.
13. Слабаков Е.В., Согомонян Е.С. Самопроверяемые вычислительные устройства и системы (обзор) // Автоматика и телемеханика. — 1981. — № 11. —C. 147—167.
14. Piestrak S.J. Design of Self-Testing Checkers for Unidirectional Error Detecting Codes.—Wrocaw: Oficyna Wydawnicza Politechniki Wrocavskiej, 1995. — 111 p.
15. Touba N.A., McCluskey E.J. Logic Synthesis of Multilevel Circuits with Concurrent Error Detection // IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems. — 1997.— Vol. 16, Jul. — P. 783—789.
16. Nicolaidis M., Zorian Y. On-Line Testing for VLSI — A Compendium of Approaches // Journal of Electronic Testing: Theory and Applications. — 1998. — Iss. 12. — P. 7—20.
17. Mitra S., McClaskey E.J.Which Concurrent Error Detection Scheme to Choose? // Proc. of Intern. TestConference, 2000.—USA,Atlantic City,NJ, 03-05 October, 2000.—P. 985— 994.
18. Matrosova A., Levin I., Ostanin S. Survivable Self-Checking Sequential Circuits // Proc. of 2001 IEEE Intern. Symposium on Defect and Fault Tolerance in VLSI Systems (DFT 2001).—CA San Francisco, 24-26 October, 2001. — P. 395—402.
19. Kastensmidt F.L., Carro L., Reis R. Fault-Tolerance Techniques for SRAM-based. —Dordrecht: Springer, 2006.— 183 p.
20. Ефанов Д.В., Сапожников В.В., Сапожников Вл.В. Освойствах кода с суммированием в схемах функционального контроля // Автоматика и телемеханика.—2010.—№ 6.— C. 155—162.
21. Сапожников В.В., Сапожников Вл.В., Ефанов Д.В. Применение кодов с суммированием при синтезе систем железнодорожной автоматики и телемеханики на программируемых логических интегральных схемах // Автоматика на транспорте.— 2015. — 1, № 1. — C. 84—107.
22. Сапожников В.В., Сапожников Вл.В., Ефанов Д.В. Обнаружение опасных ошибок на рабочих выходах комбинационных логических схем // Там же.— 2015.—1, №2.— С. 195—211.
23. Согомонян Е.С. Построение самопроверяемых схем встроенного контроля для комбинационных устройств // Автоматика и телемеханика.—1974.—№2.— С. 121—133.
24. Аксенова Г.П. Необходимые и достаточные условия построения полностью проверяемых схем свертки по модулю 2 // Там же. — 1979. — № 9. — С. 126—135.
25. Ghosh S., Basu S., Touba N.A. Synthesis of Low Power CED Circuits Based on Parity Codes // Proc. of 23rd IEEE VLSI Test Symposium (VTS’05). — 2005. — P. 315—320.
26. Palframan D.J., Nam Sung Kim, Lipasti M.H. Time redundant parity for low-cost transient error detection // Proc. of the conference on Design, automation and test in Europe (DATE’11). — Grenoble, France, 14-18 March, 2011. — P. 1—6.
27. Berger J.M. À Note on Error Detecting Codes for Asymmetric Channels // Information and Control.— 1961.— Vol. 4, Iss. 1. —P. 68—73.
28. Bose B., Lin D.J. Systematic Unidirectional Error-Detection Codes // IEEE Trans. Comput. — 1985.— Vol. C-34, Nov. — P. 1026—1032.
29. Das D., Touba N.A. Synthesis of Circuits with Low-Cost Concurrent Error Detection Based on Bose-Lin Codes // J. of Electronic Testing: Theory and Applications.—1999.—Vol. 15, Iss. 1-2.— P. 145—155.
30. Блюдов А.А., Ефанов Д.В., Сапожников В.В., Сапожников Вл.В. Построение модифицированного кода Бергера с минимальным числом необнаруживаемых ошибок информационных разрядов // Электрон. моделирование.—2012.—34, № 6.—С. 17—29.
31. Блюдов А.А., Ефанов Д.В., Сапожников В.В., Сапожников Вл.В. О кодах с суммированием единичных разрядов в системах функционального контроля // Автоматика и телемеханика. — 2014.— № 8. —С. 131—145.
32. Berger J.M. A Note on Burst Detecting Sum Codes // Information and Control.—1961.— Vol. 4, Iss. 2-3. — P. 297—299.
33. Das D., Touba N.A. Weight-Based Codes and Their Application to Concurrent Error Detection of Multilevel Circuits // Proc. of the 17th IEEE VLSI Test Symposium. — USA, CA, Dana Point, 25-29 April, 1999.— P. 370—376.
34. Das D., Touba N.A., Seuring M., Gossel M. Low Cost Concurrent Error Detection Based on Modulo Weight-Based Codes // Proc. of the 6th IEEE International On-Line Testing Workshop (IOLTW). — Spain, Palm de Mallorca, July 3-5, 2000. — P. 171—176
35. Ghosh S., Lai K.W., Jone W.B., Chang S.C. Scan Chain Fault Identification Using Weight-Based Codes for SoC Circuits // Proc. of the 13th Asian Test Symposium. — Taiwan, Kenting, 15-17 November, 2004.— P. 210—215.
36. Srihari P. Sum Codes: A Binary Channel Coding Scheme // International Journal of Computer Science and Technology.— 2014. —Vol. 5, Iss. 1. — P. 60—64.

37. Сапожников В.В., Сапожников Вл.В., Ефанов Д.В. Взвешенные коды с суммированием для организации контроля логических устройств // Электрон. моделирование.—2014.— 36, № 1. — С. 59—80.
38. Efanov D., Sapozhnikov V., Sapozhnikov Vl., Nikitin D. Sum Code Formation with Minimum Total Number of Undetectable Errors in Data Vectors // Proc. of 13th IEEE East-West Design & Test Symposium (EWDTS’2015).— Batumi, Georgia, 26-29 September, 2015.— P. 141— 148.
39. Saposhnikov V., Saposhnikov Vl. New Code for Fault Detection in Logic Circuits // Proc. 4th Int. Conf. on Unconventional Electromechanical and Electrical Systems.— St. Petersburg, Russia, 21-24 June, 1999.— P. 693—696.
40. Mehov V., Saposhnikov V, Sapozhnikov Vl., Urganskov D. Concurrent Error Detection Based on New Code with Modulo Weighted Transitions between Information Bits // Proc. of 7th IEEE East-West Design & Test Workshop (EWDTW2007).— Erevan, Armenia, 25-30 September, 2007.— P. 21—26.
41. Мехов В.Б., Сапожников В.В., Сапожников Вл.В. Контроль комбинационных схем на основе модифицированных кодов с суммированием // Автоматика и телемеханика.—2008. — № 8. — С. 153—165.
42. Сапожников В.В., Сапожников Вл.В., Ефанов Д.В., Дмитриев В.В. Свойства кодов с суммированием взвешенных переходов с прямой последовательностью весовых коэффициентов // Информатика и системы управления.—2014.—№4.—С. 77—88.
43. Sapozhnikov V., Sapozhnikov Vl., Efanov D., Dmitriev V., Cherepanova M. Optimum Sum Codes, that Effectively Detect the Errors of Low Multiplicities // RadioElectronics & Informatics. — 2015.— No 1. — P. 17—22.
44. Busaba F.Y., Lala P.K. Self-Checking Combinational Circuit Design for Single and UnidirectionalMultibit Errors // J. of Electronic Testing: Theory and Applications.— 1994.— Iss. 5. — P. 19—28.
45. Saposhnikov V.V., Morosov A., Saposhnikov Vl.V., G oessel M. A New Design Method for Self-Checking Unidirectional Combinational Circuits // Ibid.— 1998.—Vol. 12, Iss. 1-2.— P. 41—53.
46. Benchmarks: LGSynth89. — [Электронный ресурс]. — Режим доступа: http://www.cbl.ncsu.edu:16080/benchmarks/ LGSynth89/mlexamples/. 
47. Collection of Digital Design Benchmarks.—[Электронный ресурс]. —Режим доступа:
http://ddd.fit.cvut.cz/prj/ Benchmarks/.
48. Yang S. Logic Synthesis and Optimization Benchmarks User Guide: Version 3.0 // Technical Report 1991-IWLS-UG-Saeyang, MCNC. — 44 p.
49. Sentovich E.M., Singh K.J., Lavagno L. et al. SIS:ASystem for Sequential Circuit Synthesis // Electronics Research Laboratory, Department of Electrical Engineering and Computer Science. — Berkeley: University of California, 1992. — 45 p.

САПОЖНИКОВ Валерий Владимирович, д-р техн. наук, профессор кафедры «Автоматика и
телемеханика на железных дорогах» Петербургского государственного университета путей
сообщения Императора Александра I. В 1963 г. окончил Ленинградский ин-т инженеров
железнодорожного транспорта. Область научных исследований — надежностный синтез
дискретных устройств, синтез безопасных систем, синтез самопроверяемых схем, техническая
диагностика дискретных систем.

САПОЖНИКОВ Владимир Владимирович, д-р техн. наук, профессор кафедры «Автоматика и
телемеханика на железных дорогах» Петербургского государственного университета путей
сообщения Императора Александра I. В 1963 г. окончил Ленинградский ин-т инженеров
железнодорожного транспорта. Область научных исследований — надежностный синтез
дискретных устройств, синтез безопасных систем, синтез самопроверяемых схем, техническая
диагностика дискретных систем.

ЕФАНОВ Дмитрий Викторович, канд. техн. наук, доцент кафедры «Автоматика и телемеханика
на железных дорогах» Петербургского государственного университета путей сообщения
Императора Александра I, который окончил в 2007 г. Область научных исследований—
дискретная математика, надежность и техническая диагностика дискретных систем.

ДМИТРИЕВ Вячеслав Владимирович, ассистент кафедры «Автоматика и телемеханика на
железных дорогах» Петербургского государственного университета путей сообщения Императора
Александра I, который окончил в 2007 г. Область научных исследований—дискретная
математика, программирование и моделирование.

ЧЕРЕПАНОВА Мария Родионовна, студент факультета «Автоматизация и интеллектуальные
технологии» Петербургского государственного университета путей сообщения Императора
Александра I. Область научных исследований—автоматика и дискретная математика.

Полный текст: PDF (русский)