Двоично-разностные и спектрально-сигнатурные методы технической диагностики микропроцессорных информационно-управляющих систем на железнодорожном транспорте тема диссертации и автореферата по ВАК РФ 05.13.06, кандидат технических наук Калинин, Тимур Сергеевич

• Калинин, Тимур Сергеевич
• кандидат технических наук
• 2012

Оглавление диссертации кандидат технических наук Калинин, Тимур Сергеевич

СПИСОК СОКРАЩЕНИЙ.

ВВЕДЕНИЕ.

1 ЗАДАЧИ ОБЕСПЕЧЕНИЯ ТЕХНИЧЕСКОЙ ДИАГНОСТИКИ И КОНТРОЛЕПРИГОДНОСТИ МИКРОПРОЦЕССОРНЫХ СИСТЕМ И УСТРОЙСТВ ЖЕЛЕЗНОДОРОЖНОЙ АВТОМАТИКИ

И ТЕЛЕМЕХАНИКИ.

1.1 Задачи технической диагностики на железнодорожном транспорте.

1.2 Состояние проблемы технического диагностирования станционных и перегонных систем железнодорожной автоматики и телемеханики.

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

1.4 Объекты диагностирования и классификация неисправностей станционных и перегонных устройств.

1.5 Формализация задач диагностирования на основе автоматных моделей и показателей контролепригодности.

1.6 Постановка задачи разработки двоично-разностных и спектрально-сигнатурных методов технической диагностики.

1.7 Выводы.

2 ДИФФЕРЕНЦИАЛЬНАЯ ДИАГНОСТИКА И

КОНТРОЛЕПРИГОДНОСТЬ ЦИФРОВЫХ УСТРОЙСТВ.

2.1 Булевы дифференциалы и параметрическая модель неисправностей.

2.2 Функциональная, дифференциальная и кратная модели неисправностей.

2.3 Дифференциально-логические модели неисправностей на основе математического аппарата конечных полей.

2.4 Модель и метод анализа контролепригодности аппаратных средств микропроцессорных информационно-управляющих систем на транспорте.

2.5 Выводы.

3 СПЕКТРАЛЬНО-СИГНАТУРНАЯ ДИАГНОСТИКА

ЦИФРОВЫХ УСТРОЙСТВ.

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

3.2 Метод составления спектральной сигнатуры для диагностики микропроцессорных информационно-управляющих систем.

3.3 Метод спектральной генерации тестов.

3.4 Численный метод расчета корреляционных коэффициентов на основе спектрального преобразования Уолша.

3.5 Автокорреляционное тестирование.

3.6 Выводы.

4 ТЕХНОЛОГИЧЕСКАЯ БЕЗОПАСНОСТЬ И ДИАГНОСТИКА ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ МИКРОПРОЦЕССОРНЫХ ИНФОРМАЦИОННО-УПРАВЛЯЮЩИХ СИСТЕМ

НА ЖЕЛЕЗНОДОРОЖНОМ ТРАНСПОРТЕ.

4.1 Программное обеспечение микропроцессорных информационно-управляющих систем и классификация его отказов.

4.2 Критерии технологической безопасности управляющего программного обеспечения.

4.3 Анализ условий безопасного программного управления в автоматизированных системах железнодорожного транспорта.

4.4 Обнаружение ошибок в программном обеспечении на основе двоично-разностных методов.

4.5 Выводы.

Введение диссертации (часть автореферата) на тему «Двоично-разностные и спектрально-сигнатурные методы технической диагностики микропроцессорных информационно-управляющих систем на железнодорожном транспорте»

Актуальность темы исследования

Железнодорожный транспорт является системообразующим элементом экономики Российской Федерации. Качество работы железнодорожного транспорта напрямую влияет на успешное развитие производства в масштабах страны. Для поддержки необходимого уровня качества работы железнодорожного транспорта требуется непрерывное совершенствование процессов управления транспортными перевозками и эффективное использование имеющихся технических средств, в том числе систем и устройств автоматизации и управления.

Рост производительности труда, экономия топливно-энергетических ресурсов и трудозатрат во многом могут быть достигнуты благодаря совершенствованию технологии автоматизированного управления движением поездов, за счет уменьшения простоев, задержек и сбоев графика движения и внедрению более надежных устройств автоматизации технологических процессов. Проблемы надежности устройств автоматизации приобретает все большее значение по мере увеличения сферы применения цифровой вычислительной техники в микропроцессорных информационно-управляющих системах (МИУС) на железнодорожном транспорте. Одним из подходов к решению этих проблем является разработка алгоритмических методов диагностики технического состояния объектов, или, другими словами, разработка методов контроля и поиска неисправностей.

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

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

В результате требования универсальности появляются новые качественные аспекты, характеризующие объект диагноза, которые требуют разработки новых математических моделей, а также новых алгоритмов технической диагностики. Это определило выбор темы исследования.

Анализ и теоретическое обобщение состояния технической диагностики для МИУС на железнодорожном транспорте, построенных на базе микропроцессорной вычислительной техники, показал наличие большого числа неструктурированных и математически неформализованных методов контроля неисправностей, в связи с чем был сделан вывод о нерешенности проблемы и сформулированы основные направления диссертационной работы.

1. Разработка единой концепции математического обеспечения технического диагностирования МИУС на железнодорожном транспорте.

2. Выбор математического аппарата технической диагностики, подходящего для обнаружения неисправностей, как в аппаратном, так и в программном обеспечении.

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

4. Разработка вычислительно эффективных методов и процедур технической диагностики аппаратного и программного обеспечения МИУС.

Степень разработанности проблемы

Перед постановкой задач диссертации были проведены многочисленные исследования, касающиеся проблем автоматизации на железнодорожном транспорте и технической диагностики.

Проблемы развития железнодорожного транспорта, пути инновационных внедрений новых технологий автоматизации и управления транспортными системами, экономические аспекты применения новых технологических решений содержатся в работах В.А. Гапановича, В.М. Кайнова, В.И. Якунина.

Основополагающие работы в области МИУС, систем горочной автоматизации принадлежат В.Н. Иванченко, С.М. Ковалеву, H.H. Лябаху,

A.Н. Шабельникову.

Проблемы технической диагностики и устройства микропроцессорных централизаций рассматриваются в работах И.Д. Долгого, В.А. Кононова, С.А. Куренкова, A.A. Лыкова, O.A. Наседкина, А.Б. Никитина A.A. Прокофьева, М.С. Трясова.

Технологической безопасности автоматизированных систем управления на транспорте посвятили свои работы E.H. Розенберг, И.Н. Розенберг.

В области технической диагностики на железнодорожном транспорте, логико-алгебраического моделирования, математических моделей технической диагностики выделяются труды следующих ученых: И.А. Биргера, Г.В. Дружинина , Г. Майерса, П.П. Пархоменко, Д.А. Поспелова, В.В. Сапожни-кова, Вл.В. Сапожникова, И.Б. Шубинского, И.А. Ушакова; в области дифференциального исчисления логических функций - работы С.Б. Акерса, Д. Бохманна, В.А. Горбатова, М.Д. Давио, К. Постхоффа, Б. Стейнбаха, А. Тейза, С.Н. Янушкевич; в теории конечных полей - труды Р. Лидла, Г. Нидеррайдера, в области спектрального представления логических функций - труды Й.Т. Астола, М.Г. Карповского, Б.И. Голубова, A.B. Ефимова,

B.А. Скворцова.

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

Цель и задачи диссертационного исследования.

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

Для достижения поставленной цели необходимо решение следующих задач.

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

2. Развитие методов дифференциальной двоично-разностной технической диагностики состояний в виде методов анализа контролепригодности цифровых устройств МИУС на железнодорожном транспорте.

3. Разработка концепции анализа контролепригодности устройств, входящих в состав МИУС на железнодорожном транспорте.

4. Разработка компактных принципов спектральной диагностики состояний, включающих преобразования Уолша-Адамара для составления спектральной сигнатуры логической схемы устройств железнодорожной автоматики и телемеханики.

5. Анализ условий программного управления с целью выделения критериев технологической безопасности управляющего программного обеспечения МИУС на железнодорожном транспорте для обеспечения минимизации риска от неисправного функционирования систем.

6. Определение двоично-разностных универсальных условий для обнаружения ошибок в программном обеспечении МИУС, представляемом в виде технологических алгоритмов на основе формальных булевых спецификаций.

Объектом исследования в диссертации являются МИУС, применяющиеся на различных участках автоматизации технологических процессов железнодорожного транспорта, разрабатываемые на базе цифровых программно-управляемых устройств.

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

Методы исследования основываются на использовании фундаментальных исследований в области логического дифференциального исчисления, математического моделирования дискретных систем над конечными полями, спектральных преобразований логических функций, современных методов технической диагностики программного и аппаратного обеспечения информационных систем (ИС).

Экспериментальная проверка разработанных моделей и методов осуществлялась путем программной проверки в среде МаНаЪ предложенных вычислительных схем и алгоритмов.

Объект, предмет и методы исследования отвечают формуле специальности 05.13.06, так как содержанием работы является разработка методов моделирования, математического, алгоритмического обеспечения, повышения надежности и технической диагностики автоматизированных систем управления технологическими процессами и соответствуют пунктам паспорта специальности: «4. Теоретические основы и методы математического моделирования организационно-технологических систем и комплексов, функциональных задач и объектов управления и их алгоритмизация», «12. Методы контроля, обеспечения достоверности, защиты и резервирования информационного и программного обеспечения АСУТП, АСУП,

АСТПП и др.», «13. Теоретические основы и прикладные методы анализа и повышения эффективности, надежности и живучести АСУ на этапах их разработки, внедрения и эксплуатации», «14. Теоретические основы, методы и алгоритмы диагностирования, (определения работоспособности, поиск неисправностей и прогнозирования) АСУТП, АСУП, АСТПП и др.».

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

К наиболее существенным научным результатам относятся следующие результаты.

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

2. Формализована задача поиска неисправностей в логических схемах цифровых устройств железнодорожной автоматики и телемеханики в терминах зарекомендовавших себя математических методов двоично-разностной и спектрально-сигнатурной диагностики.

3. Разработаны следующие математические модели неисправностей в цифровых устройствах автоматизированных систем управления: параметрическая модель; функциональная модель; дифференциальная модель; кратная модель неисправностей.

4. Предложена модель анализа контролепригодности аппаратных средств МИУС на железнодорожном транспорте и ряд новых коэффициентов расчета контролепригодности.

5. На основе аппарата булева дифференциального исчисления сформулировано общее условие контролепригодности комбинационных схем цифровых устройств МИУС к различным видам неисправностей типа замыканий.

6. Доказано утверждение о разрешимости логического дифференциального уравнения, позволяющее решить логическое дифференциальное уравнение над конечным полем с помощью рекурсивного расчета частных логических производных.

7. Предложена новая модель, устанавливающая связь между коэффициентами спектрального преобразования логической функции и двоично-разностными коэффициентами (булевыми производными) логической функции, позволившая предложить вычислительно эффективный метод спектрально-сигнатурной диагностики МИУС на железнодорожном транспорте.

8. Новая модель автокорреляционного тестирования аппаратных средств МИУС на железнодорожном транспорте, и утверждение, полезное для обнаружения неисправностей, использующее свойства автокорреляционной функции булевой функции.

9. На базе двоично-разностных методов предложены новые модели, определяющие условия обнаружения ошибок в двоичных формальных программных спецификациях, записанные в виде предикатных и символьных выражений.

Основные результаты, выносимые на защиту

1. Постановка и решение задачи технической диагностики МИУС в виде автоматной модели технического диагноза.

2. Постановка и решение задачи дальнейшего развития двоично-разностного и спектрально-сигнатурного методов для целей обнаружения неисправностей в логических схемах и устройствах МИУС.

3. Метод анализа контролепригодности аппаратных средств МИУС, в результате которого предложены и доказаны утверждения, позволяющие оценивать контролепригодность комбинационных схем к неисправностям вида «монтажное И», «монтажное ИЛИ».

4. Численные формулы, позволяющие рассчитывать коэффициенты контролепригодности МИУС, приспособленности к техническому диагностированию и самопроверке.

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

6. Метод быстрого спектрального преобразования логических функций для нахождения булевых производных

7. Метод составления спектральной сигнатуры для диагностики МИУС, в результате которого предложены утверждения, раскрывающие взаимосвязь спектра булевой функции и булевых производных.

8. Вычислительная схема алгоритма спектрально-сигнатурной диагностики МИУС.

9. Метод спектральной генерации тестов для диагностики МИУС.

10. Метод автокорреляционного тестирования аппаратных средств МИУС на основе автокорреляционной функции булевой функции.

11. Критерии технологической безопасности программного обеспечения с точки зрения степени технологического риска системы в процессе своего функционирования и методика анализа условий технологически безопасного программного обеспечения.

12. Методы обнаружения программных ошибок различных классов на основе двоично-разностных методов булева дифференцирования, применимые для формальных булевых спецификаций программного обеспечения, записываемых в дизъюнктивной нормальной форме и в произвольной символьной форме.

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

Практическая значимость состоит в том, что разработанные в работе методы, подходы и алгоритмы внедрены в конкретных системах автоматизации технологических процессов, а именно в подсистеме распределенной системы технического диагностирования и мониторинга (СТДМ) автоматизации диагностирования и контроля устройств железнодорожной автоматики и телемеханики (АДК-СЦБ).

Внедрены и практическую ценность представляют следующие результаты:

1. Метод анализа контролепригодности аппаратных средств распределенной системы диагностирования и мониторинга.

2. Метод составления спектральной сигнатуры подсистем диагностики, повышающий качество контроля, мониторинга и прогнозирования технологического процесса обслуживания станционных и перегонных устройств железнодорожной автоматики и телемеханики.

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

Перечисленные результаты позволили повысить качество функционирования систем диагностики объектов автоматизации.

Результаты диссертационного исследования внедрены в СТДМ АДК-СЦБ, разработанную НПП «Югпромавтоматизация» (г. Ростов-на-Дону).

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

Апробация результатов работы. Основные положения и результаты работы докладывались и одобрены на заседании кафедры «Прикладной математики и вычислительной техники» Ростовского государственного строительного университета, совместном заседании кафедр «Информатика» и «Автоматика и телемеханика на железнодорожном транспорте» Ростовского государственного университета путей сообщения. Результаты апробированы на ряде международных научно-практических конференций: V Всероссийской научно-практической конференции «Актуальные задачи математического моделирования и информационных технологий» (2009 г.); Международной научно-практической конференции «Проблемы и перспективы развития транспортного комплекса: образование, наука, производство» (2009 г.); V Международной научно-практической конференции «Автоматика и телемеханика на железнодорожном транспорте ТрансЖАТ - 2010»; XI Международной научно-практической конференции «Теория, методы и средства измерений, контроля и диагностики» (2010 г.); Всероссийской научно-практической конференции «Транспорт-2011».

Публикации. Полученные в диссертации теоретические и практические результаты нашли свое отражение в 10 печатных работах, 5 из которых опубликованы в изданиях, рекомендованных ВАК РФ.

Структура и объем работы. Диссертация состоит из введения, четырех глав, заключения, списка литературных источников из 85 наименований, заключения, приложения. Общий объем диссертации 158 страниц.

Заключение диссертации по теме «Автоматизация и управление технологическими процессами и производствами (по отраслям)», Калинин, Тимур Сергеевич

Основные результаты работы связаны с развитием математического обеспечения технической диагностики систем автоматизации технологических процессов на железнодорожном транспорте, базой построения которых являются программно-управляемые цифровые устройства. Разработанные в диссертации методы служат для создания единой универсальной концепции технической диагностики с применением двоично-разностных и спектрально-сигнатурных методов и предназначены для повышения надежности, бесперебойности, отказоустойчивости и технологической безопасности аппаратных и программных средств МИУС на железнодорожном транспорте, а также для возможностей самодиагностики их подсистем и онлайновой диагностики в процессе функционирования. При решении этих проблем получены следующие основные научные и практические результаты.

1. Выполнена формальная постановка задач технической диагностики МИУС с единых методологических позиций в виде модели автоматного диагноза, при которой за основу берутся математические методы булева дифференциального исчисления и спектральных преобразований булевых функций.

2. Развиты математические модели и методы булева дифференциального исчисления в направлении выявления в аппаратном обеспечении МИУС трудно обнаруживаемых классов неисправностей, связанных с различными видами замыканий.

3. На основе развития булевых дифференциалов предложены четыре новых модели неисправностей МИУС, описываемых в терминах обобщенных булевых функций: параметрическая модель, функциональная модель, дифференциальная модель и модель кратных неисправностей.

4. Разработана концепция анализа контролепригодности устройств, входящих в состав МИУС, заключающаяся в оценке приспособленности объектов к проведению технического диагностирования и самодиагностирования, в результате которой разработаны числовые показатели контролепригодности.

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

6. Предложена дифференциально-логическая модель системы с неисправностями, описываемой как система над конечным полем. Модель дается в виде булева дифференциального уравнения, и предлагается метод его решения с помощью рекурсивного расчета частных булевых производных. Предложен также метод расчета коэффициентов чувствительности логической схемы к неисправностям, использующий спектральные преобразования.

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

8. Предложен метод составления спектральной сигнатуры для диагностики МИУС, использующий взаимосвязь спектра и булевых производных булевой функции. Предложена вычислительная схема алгоритма спектрально-сигнатурной диагностики МИУС.

9. Предложен метод спектральной генерации тестов для технической диагностики МИУС.

10. Разработан метод автокорреляционного тестирования неисправностей аппаратной части МИУС.

11. Разработана методика формализации критериев технологической безопасности и анализа безопасного программного управления для программного обеспечения МИУС. Результатом методики является построение формальной логической спецификации программного обеспечения.

12. Предложен метод обнаружения ошибок в программных спецификациях на основе двоично-разностного подхода.

ЗАКЛЮЧЕНИЕ

Список литературы диссертационного исследования кандидат технических наук Калинин, Тимур Сергеевич, 2012 год

1. Ахмед Н., Pao K.P. Ортогональные преобразования при обработке цифровых сигналов. -М.: Связь, 1980.

2. Белявский Г. И., Чернов А. В. Математические модели линейных контролируемых дискретных динамических систем // Научно-технические ведомости СПбГПУ. СПб.: Изд-во политехнического университета. 2009. № 2. С. 145 - 151.

3. Биргер И. А. Техническая диагностика. -М.: Машиностроение, 1978.

4. Бохманн Д., Постхофф X. Двоичные динамические системы. М.: Энер-гоатомиздат, 1986.

5. Бушуев C.B., Гундырев К.В. Распределенная телеметрическая подсистема диагностики компьютерной электрической централизации // Информационные технологии и безопасность технологических процессов: Сб. науч. тр. Екатеринбург, 2004. - С. 3-8

6. Гибридная централизация стрелок и светофоров «РПЦ-ДОН»: Монография; Под общей ред. доктора технических наук, профессора Долгого И.Д. и кандидата технических наук Кулькина А.Г. -Ростов-на-Дону, РГУПС, 2012.

7. Голубов Б.И., Ефимов A.B., Скворцов В.А. Ряды и преобразования Уол-ша: Теория и применения. Изд.2, испр. и доп. М: Изд-во URSS, 2008.

8. Горбатов В. А. Фундаментальные основы дискретной математики. Информационная математика. М.: Наука, Физматлит, 2000.

9. ГОСТ 26656-85 «Техническая диагностика. Контролепригодность. Общие требования», ГОСТ 27518-87 «Диагностирование изделий. Общие требования»

10. Гуда А.Н., Калинин Т.С., Чернов A.B. Реализация надежного программного обеспечения задач технической диагностики информационно-управляющих систем // Известия высших учебных заведений. СевероКавказский регион. Технические науки. № 4, 2011. С. 26 31.

11. Гуда А.Н., Калинин Т.С., Чернов A.B. Предикатная модель диагностики программного обеспечения в процессе функционирования информационных систем // Вестник Ростовского государственного университета путей сообщения, №4, 2009. С. 92-99.

12. Долгий И.Д., Кулькин А.Г., Пономарев Ю.Э., Кузнецов Л.П. Диспетчерская централизация ДЦ-Юг с распределенными контролируемыми пунктами // Автоматика, связь информатика. 2002, №8.

13. Залманзон Л.А. Преобразования Фурье, Уолша, Хаара и их применение в управлении, связи и других областях. -М.: Наука, Гл. ред. физ.-мат. лит., 1989.

14. Зернов В. Н., Шатковский О. Ю. Оптоволоконная система передачи данных системы микропроцессорной централизации МПЦ-МЗ-Ф. // Молодой ученый. -2009, №9.

15. Золотарев C.B. Периферийные устройства системы МПЦ. Система объектных контролеров МПЦ Ebilock 950 // Автоматика, телемеханика и связь. 1997, № 10.

16. Казиев Г.Д., Милехин Д.А., Смагин Ю.С. Микропроцессорная централизация стрелок и сигналов МПЦ-МЗ-Ф //Автоматика, связь, информатика. -2008, №2.

17. Казимов Г.А. Новое поколение ЭЦ для железных дорог России // Автоматика, телемеханика и связь. 1997, № 1

18. Каменев А.И., Долгий И.Д., Кулькин А.Г. Система управления малыми станциями РПЦ «Дон» // Автоматика, связь, информатика. 2007, №5.

19. Канер С. Тестирование программного обеспечения. Фундаментальные концепции менеджмента бизнес-приложений. Пер. с англ. К.: Издательство «ДиаСофт», 2001.

20. Карповский М.Г., Москалев Э.С. Спектральные методы анализа и синтеза дискретных устройств. Д., «Энергия», 1973.

21. Крылов А.Ю., Колочко А.Н. Управляющий вычислительный комплекс систем «Диалог-Ц» // Автоматика, связь информатика. 2009, №1.

22. Лекута Г.Ф. Техническое обслуживание МПЦ Ebilock-950 // Автоматика, связь и информатика. 2004, №8.

23. Лидл Р., Нидерайтер Г. Конечные поля. Т. 1. Т. 2. М.: Мир, 1988.

24. Липаев В. В. Качество программного обеспечения. М.: СИНТЕГ, 1988.

25. Липаев В.В. Надежность программного обеспечения АСУ. М.: Энергоиз-дат, 1981.

26. Липаев В.В. Тестирование программ. М.: Радио и Связь, 1986.

27. Майерс Г. Искусство тестирования программ: Пер. с англ. —М.: Финансы и статистика, 1982.

28. Майерс Г. Надежность программного обеспечения / пер. с англ. -М.: Мир, 1980. 360 с.

29. Нестеров В.В., Першин Д.С. Центр диагностики и мониторинга устройств ЖАТ // Автоматика, связь информатика. 2009, №1.

30. Пресняк С.С., Запорожченко Е.Г., Цыркин A.B. Разработка, внедрение и перспективы отечественных систем микропроцессорной централизации // Автоматика, связь, информатика. 2001, № 10.

31. Пресняк С.С., Запорожченко Е.Г., Цыркин A.B. Опытная эксплуатация систем микропроцессорной централизации ЭЦ-ЕМ // Автоматика, связь, информатика- 2001,№ 2

32. Рид И.С. Класс кодов с исправлением нескольких ошибок и схема декодирования. Кибернетический сб., 1. М., Изд-во иностр. лит-ры, 1960, 189-205).

33. Руководящий документ РД 1115842.07-2004 «Системы технического диагностирования и мониторинга. Эксплуатационно-технические требования», утвержденные ЦШ ОАО «РЖД» от 10.08.2004 г.

34. Сапожников В.В., Никитин А.Б. Микропроцессорная система электрической централизации МПЦ-МПК // Наука и транспорт; М., 2009. С. 18-21.

35. Сапожников В.В., Сапожников Вл.В. Основы технической диагностики: Учебное пособие для студентов вузов ж-д. транспорта. М.: Маршрут, 2004.

36. Сапожников В.В., Сапожников В л.В. Самопроверяемые дискретные устройства. СПб.: Энергоатомиздат, 1992.

37. Сапожников В.В., Сапожников Вл.В., Талалаев В.И. Безопасность железнодорожной автоматики и телемеханики. Термины и определения. // Автоматика, телемеханика и связь. 1992, № 4. С. 30-32.

38. Сапожников В.В., Сапожников Вл.В., Шаманов В.И. Надежность систем железнодорожной автоматики, телемеханики и связи. М.: Маршрут, 2003.

39. Сапожников Вл.В. и др. Микропроцессорные системы централизации. М.: Маршрут, 2006.

40. Сепетый А.А, Федорчук А.Е. и др. Информационное и техническое обеспечение системы АДК-СЦБ: структуры БД и технология проектирования. РГУПС, Ростов-на-Дону, 2010.

41. Сепетый A.A., Федорчук А.Е. и др. Система технического диагностирования и мониторинга устройств ЖАТ (СТДМ АДК-СЦБ). РГУПС, Ростов-на-Дону, 2012.

42. Тейер Т., Липов М., Нельсон Э. Надежность программного обеспечения. Анализ крупномасштабных разработок / пер. с англ. М.: Мир, 1981.

43. Чернов A.B. Модели и методы дискретного анализа и синтеза в задачах технической диагностики информационных систем. Ростов-на-Дону, Издательство Южного федерального университета, 2009. 170 с.

44. Чернов А.В., Калинин Т.С. Спектральные преобразования дискретных функций для вычисления логических производных// Обозрение прикладной и промышленной математики. М., т. 17, вып. 6, 2010. С. 951-952.

45. Чернов, А. В. Методы линеаризации и модели контролируемых нелинейных дискретных динамических систем // Научно-технические ведомости СПбГПУ. СПб.: Изд-во политехнического университета. 2009. № 2. С. 156 -162.

46. Шацков В.В. Центр технической диагностики и мониторинга // Автоматика, связь информатика. 2008, №10.

47. Янушкевич С., Бохманн Д., Станкович Р., Тожич Ж., Шмерко В. Логическое дифференциальное исчисление: достижения, тенденции и приложения // Автоматика и телемеханика. 2000. № 6.

48. Яценко В.В. Система микропроцессорной централизации ЭЦ-ЕМ и автоблокировки АБТЦ-ЕМ на базе МПЦ РА // Автоматика, связь, информатика. 2004, № 6.

49. Abramovici М., Breuer A., Friedman A. Digital Systems Testing and Testable Design, Wiley-IEEE Press, New York, 1994.

50. Akers S. B. On a theory of Boolean functions // J. Society for Industrial and Applied Mathematics. 1959. V. 7. № 4. P. 487 498.

51. Amman P. Offut J. Introduction to Software Testing. Cambridge University Press, 2008.

52. Bartee Т. C., Schneider D. I. Computation with Finite Fields // Inform, and Contr., v. 6, 1963. P. 79-98.

53. Bennetts R.G., Hurst S.L. Rademacher-Walsh spectral transform: a new tool for problems in digital-network fault diagnosis? // Computers and Digital Techniques, vol.1, no. 2, 1978.

54. Dertouzos M. L. Threshold logic: a synthesis approach. // Mass.Inst.Tech., Cambridge, Res.Monograph 32.Cambridge, Mass.: M.I.T.Press, 1965.

55. Eris E., Miller D.M. Syndrome-testable internally unate combinational networks, Electron. Lett., 1983,19, (16), pp. 637-639

56. Eris E., Muzio J.C. Syndrome and autocorrelation-testable internally unate combinational networks, Electron. Lett., 1984, 20, (6), pp. 264-266

57. Foster K. . Sensitive test data for logical expressions. SIGSOFT Softw. Eng. Notes 9,2.1984

58. Karpovsky M.G., Stankovic R.S., Astola J.T. Spectral Logic and Its Applications for the Design of Digital Devices. John Wiley and Sons, Inc., Hoboken, New Jersey, 2008.

59. Kuhn D. A technique for analyzing the effects of changes in formal specifications. BCS Comput. J. 35,1992, № 6.

60. Meinel C., Theobald T. Algorithms and Data Structures in VLSI Design. OBDD Foundations and Applications. - Berlin: Springer-Verlag, Heidelberg, New York, 1998.

61. Menger, K. S. Jr. A Transform for Logic Networks // IEEE Trans. Comput., v. C-18, 1969. P. 241 -250.

62. Miller D.M., Muzio J.C. Spectral fault signatures for internally unate combinational networks, 1983, C-32, pp. 1058-1062

63. Morrel L. Theoretical insights into fault-based testing. In Proceedings of the 2nd Workshop on Software Testing, Analysis, and Verification (TAV '88). ACM Press, New York, NY. 1988.

64. Ninomia I. Theory of Coordinate Representation of Switching Functions // Memoirs. Fac. Engg., v. 10, 1958. P. 175 190.

65. Offutt A. J., Liu S. Generating test data from SOFL specifications. Tech. Rep. ISSE-TR-97-02. George Mason Univ., Fairfax, VA. 1997.

66. Posthoff C., Steinbach B. Logic Functions and Equations. Binary Models for Computer Science. Springer, 2003. 392 p.

67. Pradhan D. K. A Theory of Galois Switching Function // IEEE Trans. Corn-put., v. C-27, 1978. P. 239 248.

68. Pomeranz I., et al. On the Characterization of Hard-to-Detect Bridging Faults, Proceedings of the Design, Automation and Test in Europe Conference and Exhibition (DATE'03), 2003.

69. Reddy S. M. Easily Testable Realizations for Logic Functions // IEEE Trans. Computers, v. 21, no. 11. P. 183 188, Nov. 1972.

70. Sasao T. Easily Testable Realizations for Generalized Reed-Muller Expressions // IEEE Transactions on Computers. V. 46, no. 6, June 1997. P. 709 716.

71. Savir J. : Syndrome-testable design of combinational circuits, IEEE Trans. Comput., 1980, C-29, pp. 442-451

72. Siewiorek D. P., Scliwarz R. S. The Theory and Practice of Reliable System Design. Bedford, Digital Press, 1982.

73. Thayse A., Davio M. Boolean differential calculus and its application to switching theory // IEEE Transactions on Computers, 22, 1973. P. 409 420.

74. Thayse A, Davio M. J., Deschamps P., . Discrete and Switching Functions. McGraw-Hill, New York, 1978.

75. Thornton M. A., Drechsler R., Miller D. M. Spectral Techniques in VLSI CAD, Springer 2001.