Методы повышения безопасности функционирования централизованных систем автоблокировки тема диссертации и автореферата по ВАК РФ 05.22.08, кандидат технических наук Павлов, Евгений Владимирович

• Павлов, Евгений Владимирович
• кандидат технических наук
• 2005

Оглавление диссертации кандидат технических наук Павлов, Евгений Владимирович

ВВЕДЕНИЕ.

1. МЕТОДЫ ОБЕСПЕЧЕНИЯ БЕЗОПАСНОСТИ ДВИЖЕНИЯ ПОЕЗДОВ.

1.1. Общие задачи обеспечения безопасности систем автоблокировки

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

1.3. Постановка задач и основные цели исследования.

2. ФОРМАЛИЗАЦИЯ ОПИСАНИЯ ФУНКЦИОНИРОВАНИЯ СИСТЕМ АВТОБЛОКИРОВКИ С ЦЕНТРАЛИЗОВАННЫМ РАЗМЕЩЕНИЕМ АППАРАТУРЫ.

2.1. Методы формализации задач решаемых системой автоблокировки

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

2.3. Разработка математических моделей на базе временных сетей Петри со сдерживающими дугами.

2.4. Выводы.

3. ОЦЕНКА ЭФФЕКТИВНОСТИ ЦЕНТРАЛИЗОВАННОЙ СИСТЕМЫ АВТОБЛОКИРОВКИ С ПРИМЕНЕНИЕМ ФУНКЦИИ КОНТРОЛЯ ПРОСЛЕДОВАНИЯ ПОЕЗДА ПО ПЕРЕГОНУ.

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

3.2. Методика анализа централизованных систем автоблокировки с функциональной избыточностью.

3.3. Идентификация опасных дестабилизирующих факторов.

3.4. Оценка степени влияния опасных дестабилизирующих факторов.

3.5. Количественная оценка эффективности применения функции контроля проследования поезда по перегону.

3.6. Выводы.

4. РАЗРАБОТКА СИСТЕМЫ АВТОБЛОКИРОВКИ С

РАСШИРЕННЫМИ ФУНКЦИОНАЛЬНЫМИ ВОЗМОЖНОСТЯМИ.

4.1. Разработка логики функционирования централизованной системы автоблокировки с применением функции контроля проследования поезда ЦАБ-Е.

4.2. Разработка алгоритма выполнения функций системы ЦАБ-Е.

4.3. Разработка методов повышения производительности системы ЦАБ-Е.

4.4. Выводы.

Введение диссертации (часть автореферата) на тему «Методы повышения безопасности функционирования централизованных систем автоблокировки»

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

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

Из всех систем управления наибольшее влияние на безопасность движения поездов оказывают системы автоматической блокировки (АБ), автоматической локомотивной сигнализации (AJIC), автоматического управления тормозами (САУТ) [1,2]. Эти системы получили название систем интервального регулирования, так как они ограничивают по соображениям безопасности минимальные интервалы между попутно следующими поездами. Кроме того, эти системы ограничивают и максимальные скорости движения поездов для исключения схода с рельсового пути их подвижного состава.

Значительный вклад в развитие теории систем интервального регулирования и обеспечения безопасности движения поездов с помощью средств автоматики и телемеханики внесли известные ученые В.М. Алексеев, И.В. Беляков, П.Ф. Бестемьянов, A.M. Брылеев, И.Е. Дмитриенко, Ю.А. Кравцов, И.М. Кокурин, В.М. Лисенков, Б.Д. Никифоров, A.C. Переборов, Н.Ф. Котляренко, Н.Ф. Пенкин, В.В. Сапожников, Вл.В. Сапожников, Ю.В. Соболев, Д.В. Шалягин, В.И. Шаманов, В.И. Шелухин, О.И. Шелухин, А.П. Шишляков, A.A. Явна и другие.

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

V , отказы, приводящие к определению ложной свободности блок участков. Так, за период с 1990 г по 2003 г 5 из 11 имевших место крушений по вине службы Ш, произошли в результате определения ложной свободности рельсовых линий и как следствие, блок-участков [1, 19, 20, 21, 22, 23, 24]).

Основными принципами повышения безопасности функционирования систем АБ, как и других технических средств являются [1,3]:

- уменьшение интенсивности опасных отказов;

- уменьшение числа видов опасных отказов;

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

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

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

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

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

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

Методы повышения безопасности функционирования технического средства путем увеличения коэффициента парирования предполагают выполнение двух операций - обнаружения опасного отказа и перевода устройства в защищенное состояние. Методы, основанные на этом принципе так же широко использовались ранее для обеспечения безопасности функционирования технических средств. Так, например осмотрщик вагонов обнаруживал неисправность буксы вагона и принимал меры к его своевременной отцепки для ремонта. Однако для обеспечения безопасности функционирования микропроцессорных систем АБ были разработаны автоматические средства парирования их опасных отказов [3, 4, 38, 48].

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

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

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

Заключение диссертации по теме «Управление процессами перевозок», Павлов, Евгений Владимирович

4.4. Выводы

1. Разработана логика функционирования микропроцессорной централизованной системы автоблокировки с применением функции контроля проследования поезда по перегону ЦАБ-Е. Предложена структура аппаратных средств и рассмотрено решение вопросов безопасности ПО микропроцессорной системы ЦАБ-Е.

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

3. Разработан и программно реализован алгоритм работы ведущей и ведомой ЭВМ системы ЦАБ-Е на основании проанализированной математической модели централизованной системы АБ с применением алгоритма контроля проследования поезда по перегону, построенной на базе временных сетей Петри со сдерживающими дугами.

4. Разработаны методы повышения производительности системы ЦАБ-Е. Проведенные экспериментальные исследования показали преимущества этих методов.

ЗАКЛЮЧЕНИЕ

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

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

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

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

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

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

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

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

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

7. Разработана логика функционирования микропроцессорной централизованной системы автоблокировки с применением функции контроля проследования поезда по перегону ЦАБ-Е. Для этой системы программно реализованы алгоритмы логики работы ведущей и ведомой ЭВМ, а так же разработаны методы повышения ее производительности.

Список литературы диссертационного исследования кандидат технических наук Павлов, Евгений Владимирович, 2005 год

1. Лисенков В.М. Статистическая теория безопасности движения поездов: Учеб. для вузов. М.: ВИНИТИ РАН, 1999. - 332 е., ил.

2. Кравцов Ю. А., Нестеров В. Л., Лекута Г. Ф., Бестемьянов П. Ф., Кокурин И. М., Беляков И. В, и др. Системы железнодорожной автоматики и телемеханики. М.: Транспорт, 1996. 400с.

3. Лисенков В.М. Безопасность технических средств в системах управления движением поездов.- М.: Транспорт, 1992.- 192с.

4. Павлов Е. В. Метод повышения безопасности функционирования микропроцессорных систем интервального регулирования. // Четвертая научно-практическая конференция «Безопасность движения поездов». Труды конференции. М.: МИИТ, 2003.

5. Дмитриев B.C., Петров А.Ф. Системы автоблокировки. М.: Автоматика, связь, информатика, № 2, 1999 г.- с.6-9.

6. Лисенков В.М., Беляков И.В., Ковалев И.П., Грушка В.А. Микропроцессорная система числовой кодовой автоблокировки. -М.: Автоматика, телемеханика и связь, № 8, 1995 г.- с.7-9.

7. Хоменков А. Н. Автоматическая блокировка в проекте реконструкции магистрали Санкт Петербург. - М.: Автоматика, связь, информатика, № 5, 2000 г.- с.4-8.

8. Неклюдов Ю. Н. Принципы построения и методы технической реализации микроэлектронной системы АБ-Е2. -М.: Автоматика, связь, информатика, №1, 1998 г.- с.8-11.

9. Березин М. А. Кодовая электронная автоблокировка. -М.: Автоматика, связь, информатика, № 1, 1998 г.- c.l 1 13.

10. Лисенков В. М., Беляков И. В., Ковалев И. П., Суханова И. В. Микроэлектронная система автоблокировки АБ-Е1. -М.: Автоматика, телемеханика и связь, № 5, 1996 г.- с.3-5.

11. Полыванный Д. В., Гусев С. В. Разработка и внедрение кодовых электронных блокировок КЭБ-1 и КЭБ-2. -М.: Автоматика, связь, информатика, № 10, 2001 г.- с.6-9.

12. Громановский Б. Е. Внедрение системы ЦАБ-АЛСО. -М.: Автоматика, связь, информатика, № 5, 2003 г.- с.7-9.

13. Зорин В. И., Воронин В. А., Шухина Е. Е., Ковалев И. ГГ. Микропроцессорная система автоблокировки с централизованным размещением аппаратуры АБТЦ-М. -М.: Автоматика, связь, информатика, №9, 2003 г.- с.8-10.

14. Зорин В. И., Воронин В. А., Кисельгоф Г. К. Технологические функции системы АБТЦ-М. -М.: Автоматика, связь, информатика, №10, 2003 г.- с.6-9.

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

16. Беляков И. В., Неклюдов Ю. И., Кочкин А. Г., Рыбаков А. А., Суханова Н. В. Микропроцессорная унифицированная система автоблокировки АБ-УЕ. -М.: Автоматика, связь, информатика, №6, 2002 г.-с.8-10.

17. Попов В.Г. Унифицированная система автоматической блокировки. М.: Автоматика, телемеханика и связь, № 5, 1987 г.

18. Лекута Г .Ф. Автоблокировка с централизованным размещением аппаратуры (АБТЦ) на базе системы ЕЬПоск 950. -М.: Автоматика, связь, информатика, № 5, 2002 г.

19. Анализ состояния безопасности движения на железных дорогах России в 1996 г. М.: Центр внедрения новой техники и технологий "Транспорт" МПС РФ, 1997.-111 с.

20. Анализ состояния безопасности движения на железных дорогах России в 1999 г. М.: Центр внедрения новой техники и технологий "Транспорт" МПС РФ, 2000.-83 с.

21. Анализ состояния безопасности движения на железных дорогах России в 2000 г. М.: Транспорт, 2001.- 121 с.

22. Анализ состояния безопасности движения на железных дорогах России в 2001 г. М.: Центр внедрения новой техники и технологий "Транспорт" МПС РФ, 2002.-145 с.

23. Анализ состояния безопасности движения на железных дорогах России в 2002 г. М.: Центр внедрения новой техники и технологий "Транспорт" МПС РФ, 2003.-220 с.

24. Анализ состояния безопасности движения на железных дорогах России в 2003 г. М.: Центр внедрения новой техники и технологий "Транспорт" МПС РФ, 2004.-166 с.

25. Аркатов В. С., Капитоненко Н. Г., Попов В. Г. Новая унифицированная система автоматической блокировки с непрерывными рельсовыми цепями 25 Гц. М.: Автоматика, телемеханика и связь, № 7, 1983г.

26. Попов В. Г., Терентьев А. С. Обеспечение безопасности движения и надежности устройств в системе У САБ. М.: Автоматика, телемеханика и связь, № 11, 1987 г.

27. Кравцов Ю.А., Степенский Б.М. Рельсовые цепи системы УСАБ при электротяге постоянного тока. М.: Автоматика, телемеханика и связь, № 11, 1987 г.

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

29. Лекута Г. Ф. Микропроцессорная централизация на железных дорогах России. // Железные дороги мира, 2003 .№5.

30. Платунов С. Б. Программа логики централизации. М.: Автоматика, телемеханика и связь, № 10, 1997 г.

31. Травников Р. А. Компьютер централизации. М.: Автоматика, телемеханика и связь, № 10, 1997 г.

32. Magyla T. Evaluation of Ebilock 950 Interlocking System Implementation by Using Analytic Hierarchy Process // TRANSPORTAS (Transport engineering). Vilnius: Technika, 2001, Vol. XVI, No.5, p. 131-137.

33. Брылеев A.M., Шишляков A.B., Кравцов Ю.А. Устройство и работа рельсовых цепей. -М.: Транспорт, 1996. 263 е.: илл.

34. Брылеев А.М., Котляренко Н.Ф. Электрические рельсовые цепи. -М.: Транспорт, 1970. 256 е.: илл.

35. Брылеев А.М., Кравцов Ю.А., Шишляков А.В. Теория, устройство и работа рельсовых цепей. М.: Транспорт, 1978. - 344 е.: илл.

36. Меньшиков Н.Я., Королев А.И., Ягудин Р.Ш. Надежность железнодорожных систем автоматики и телемеханики. М.: Транспорт, 1976.-215 е.: илл.

37. Вебер О. Принципы построения устройств обеспечения безопасности движения. // Железные дороги мира, 1983. № 10. с. 2-14.

38. Павлов Е. В. Направления развития систем интервального регулирования движением поездов. // Журнал «Объединенный научный журнал». М.: Тезарус, 2004. № 3.

39. Лисенков В.М. Теория автоматических систем интервального регулирования.- М.: Транспорт, 1987.- 150с.

40. Штрик А.А. и др. Структурное проектирование надежных программ встроенных ЭВМ.- Л.: Машиностроение, 1989.- 296 с.

41. Толковый словарь по вычислительным системам // Под ред. В.Иллингуорта и др.: Пер. с англ. Л.К.Белоцкого и др.; Под ред. Масловского.- М.: Машиностроение, 1990.- 560 с.

42. Leveson N.G. Software safety : Why, what, and how. ACM Comput. Surv. 18, 2 (June 1986).-pp. 125-163.

43. Барнард Р.Э. Микроэлектроника в системах СЦБ. // Железные дороги мира, 1988. N 9.- с. 38-44.

44. Software safety in embedded computer systems. "Communication of the 1", 1991.-pp. 35-46.

45. Саркисян А. А. Повышение качества программ на основе автоматизированных методов.- М.: Радио и связь, 1991.- 160 с.

46. Программное обеспечение АСУ ТП, критичных к вопросам безопасности. Международная электротехническая комиссия. ПК 65А/РГ9/ 45.- 1989.

47. Laprie J.C. and Costes A. Dependability : A unifying concept for reliable computing. In Proceeding of the 12th International Symposium on Tolerant Computing. IEEE, New York.-pp. 18-21.

48. Leveson N.G. Software safety in computer controlled systems. IEEE Computer (Feb.), 1984.- pp. 48-55.

49. Leveson N.G. and Harvey P.R. Analyzing software safety. IEEE Trans. Softw. Eng. SE-9 (Sept. 1983).-pp. 569-579.

50. Cheung R.C. A user-oriented software reliability model. IEEE Trans. Softw. Eng. 1980, SE-6, 2.- pp. 118-125.

51. Klaus P., Ludwid W. Der Sicherheitsnachweis fur die Programmierung 2ctromisher Stellwerke. <ETR: Eisenbahtechn. Rcisch.>, 1987, 36, N 11, 713718.

52. Сапожников B.B., Сапожников Вл.В., Наседкин О.А., Целиков Е.И. О структуре надежного программного обеспечения микропроцессорных систем железнодорожной автоматики. // Межвузовский сборник научных трудов МИИТа, 1992. Выпуск 862.- с.68-73.

53. Безопасность железнодорожной автоматики и телемеханики. Отраслевой стандарт. ОСТ 32.17-92.- ПИИТ, 1992.

54. Акита К., Накамура X. Безопасность и отказоустойчивость микропроцессорных систем сигнализации. // Железные дороги мира, 1991. №6.-с. 29-34.

55. Майоров С.А., Кириллов В.В., Приблуда А.А. Введение в микро-ЭВМ.-JI.: Машиностроение, 1988.-е. 132-136.

56. Першин А. Организация защиты вычислительных систем. -Компьютер Пресс, N 10, 1992.- с. 35-36.

57. Куммер П.И., Коптева Т.В. Электронные системы автоматики на рубежных железных дорогах.- М.: Транспорт, 1990. 118с.

58. Гуляев В.А., Коростиль Ю.М. Диагностирование программного обеспечения микропроцессорных систем,- К.: Тэхнжа, 1991.- 140с.

59. Башков Е.А. Аппаратное и программное обеспечение зарубежных микро ЭВМ.- К.: Выща школа, 1990.- 207 с.

60. Бородач Ю.С., Вальвачев А.Н., Кузьмич А.И. Паскаль для персональных компьютеров.- Мн.: Вышэйшая школа, 1991.-365 с.

61. Borland Pascal Users Guide. Borland International, INC.-1992.

62. Андерсон P. Доказательство правильности программ.- M.: Мир, 1982.- 168с.

63. Гранбанд М., Гюнтер X. Сравнение подходов к обеспечению безопасности на железнодорожном и воздушном транспорте. // Железные дороги мира, 1991.N 12.-е. 34-37.

64. Брандль X., Штрелов X. Опыт подтверждения безопасности электронных устройств С Ц Б. // Железные дороги мира, 1991.N 12.- с. 37-39.

65. Гронемейер М. Микропроцессорная система с безопасными отказами для использования на подвижном составе. // Железные дороги мира, 1992.N9.-c. 41-44.

66. Блейки Р. Использование вычислительной техники на Лондонском метрополитене. // Железные дороги мира, 1988. N 9.- с. 44-47.

67. Найт А., Юбель X. Микропроцессорная система централизованной автоблокировки. // Железные дороги мира, 1992. N 7.- с. 36-39.

68. Современные системы управления движением поездов на железных дорогах США. // Железные дороги мира, 1986. N 6.- с. 2-8.

69. Мураками X. Проблемы применения микроэлектроники в системах СЦБ. // Железные дороги мира, 1987. N 4.- с. 34-36.

70. Липаев В.В. Качество программного обеспечения. -М: Финансы и статистика, 1983. 264 с.

71. Tsichritsis D. Reliability. "Software Engineering. An Advanced Course", 1977,-pp. 319-373.

72. Bologna S., Daoud A.M. Defensive Techniques increase Software Reliability.- "3 Congres Nat. Reliability", Perros-Juires-Fregastel, 1976, vol. 2.-pp. 515-538.

73. Саркисян А. А. Машинонезависимая оптимизация исходных программ.- М.: Радио и связь, 1985.- 208 с.

74. Гантер Р. Методы управления проектированием программного обеспечения,- М.: Мир, 1981.- 388 с.

75. Питерсон Д. Теория сетей Петри и моделирование систем.- М.: Мир, 1984.-264 с.

76. Горбатов В.А. Основы дискретной математики.- М.: Высшая школа, 1986.-311с.

77. Leveson N.G. and Stolzy J.L. Safety analysis using Petri nets. IEEE Trans. Softw. Eng. SE-13 (Mar. 1987).-pp. 386-397.

78. Nelson R.A., Haibt L.M., and Sheridan P.B. Casting Petri nets into programs. IEEE Trans. Soft ware Eng., vol. SE-9, Sept. 1983.-pp. 590-602.

79. Ильин В.П., Смирнов М.И. Моделирование систем на основе ингибиторных временных сетей Петри, Электронное моделирование, т. 12.-Киев: Наукова думка, 1990.-е. 10-13.

80. Coolahan J.E. and Roussopoulos N. Timing requirements for time-driven systems using augmented Petri nets. IEEE Trans. Software Eng., vol. SE-9, Sept. 1983.-pp. 603-616.

81. Merlin P.M. and Farber DJ. Recoverability of communication ptotocols Implication of a theoretical study. IEEE Trans.Commun., vol. COM-24, pp. 1036-1043, Sept. 1976.

82. Павлов E. В. Расчет показателей безопасности функционирования микропроцессорных систем с применением сетей Петри. // Журнал «Аспирант и соискатель». М.: Спутник, 2004. № 5.

83. Вентцель Е.С. Теория вероятностей. М.: Наука, гл.ред.физ. -мат.лит, 1969. - 576 е.: илл.

84. Холстед М.Х. Начала науки о программах. // Пер. с англ. В.М. Юфы. -М.: Финансы и статистика, 1981.- 128 с.

85. Гуртовцев A.JL, Гудыменко С.В. Программы для микропроцессоров: Справ, пособие.- Мн.: Вышэйшая школа, 1989.- 352 с.

86. Беляков И.В., Ковалев И.П., Грушка В.А. Эффективность алгоритма кумулятивных сумм в системах контроля состояний рельсовых линий.*// Межвузовский сборник научных трудов МИИТа, 1993. Выпуск 876.- с. 10-16.

87. Бронштейн И.Н., Семендяев К.А. Справочник по математике для инженеров и учащихся вузов.- М.: Наука, 1980.- 976 с.

88. Петрович M.JL, Давидович М.И. Статистическое оценивание и проверка гипотез на ЭВМ.-М.: Финансы и статистика, 1989.- 191 с.

89. Элфринг Г. Программирование на языке ассемблера для микроЭВМ. -М.: Радио и связь, 1987.- 168 с.91. www.octagon-systems.com92. www.philips.com

90. Павлов Е. В. Микропроцессорная система автоблокировки с централизованным размещением аппаратуры "ЦАБ-Е". // Журнал «Аспирант и соискатель». М.: Спутник, 2004. № 5.

91. Бестемьянов П. Ф. Допустимое время контроля микропроцессорных систем интервального регулирования. // Сборник трудов научно-практической конференции "Безопасность движения поездов".- М.: МИИТ, 1999.-С. У-2-У-З.

92. Павлов Е. В. Ресурсосбережение в системах интервального регулирования движением поездов. // Журнал «Объединенный научный журнал». М.: Тезарус, 2004. № 3.

93. Дмитриев А.К., Мальцев П.А. Основы теории построения и контроля сложных систем. Л.: Энергоатомиздат. Ленингр. Отд-ние, 1988. -192 е.: ил.

94. Карибский В.В., Пархоменко П. П., Согомонян Е. С., Халчев В. Ф. Основы технической диагностики. Кн.1. Модели объектов, методы и алгоритмы диагноза. // Под ред. П.П.Пархоменко. М.: Энергия, 1976.

95. Погребинский С.Б., Стрельников В.П. Проектирование и надежность многопроцессорных ЭВМ. М.: Радио и связь, 1988. - 168 е.: ил.

96. Брейсуэлл Р. Преобразование Хартли: Пер. с англ.-М.: Мир, 1990,-175с., ил.

97. Сергеев В. В., Усачев В. В. Преобразование Хартли в задачах цифровой обработки двумерных сигналов // Компьютерная оптика, 1992. Вып.10-11. С.168-177.

98. Эрдейи А. Таблицы интегральных преобразований. М.: Наука, т. 1, 1969.

99. Двайт Г.Б. Таблицы интегралов и другие математические формулы. М.: Наука, 1977. - 228 е., ил.

100. Пархоменко П.П., Согомонян Е.С. Кн.2. Основы технической диагностики: Оптимизация алгоритмов диагностирования, аппаратурные средства. // Под ред. П.П.Пархоменко. М.: Энергия, 1981.