Автоматизированное диагностирование железнодорожных технологических процессов на основе операторных схем
Диссертация
Поплавского A.A., Шарова В. А., Резера С. М., Елисеева С. Ю., Вишнякова В. Ф., Красковского А. Е., теоретическим вопросам диагностирования систем — труды Пархоменко П. П., Калявина В. П., Согомоняна Е. С., Сапожникова Вал.В., Сапожникова В. В., Микони C.B., Данилова В. В., Мозгалевского А. Н. и др. Как показывает анализ отраслевых АСУ, обзор публикаций и отраслевых научно-исследовательских работ… Читать ещё >
Содержание
- ОБОЗНАЧЕНИЯ И СОКРАЩЕНИЯ
- 1. ПРОБЛЕМЫ И МЕТОДОЛОГИЯ АВТОМАТИЗИРОВАННОГО ДИАГНОСТИРОВАНИЯ ЖЕЛЕЗНОДОРОЖНЫХ ТЕХНОЛОГИЧЕСКИХ ПРОЦЕССОВ
- 1. 1. Анализ особенностей развития и эксплуатации железнодорожных АСУ ТП и диагностирования технологических процессов
- 1. 2. Понятия, термины, цели, задачи и проблемы технологической диагностики
- 1. 3. Методология автоматизированного диагностирования железнодорожных технологических процессов на основе операторных схем
- 1. 4. Выводы
- 2. РАЗРАБОТКА МАТЕМАТИЧЕСКОЙ МОДЕЛИ И ОПЕРАТОРНЫХ СХЕМ ТЕХНОЛОГИЧЕСКИХ ПРОЦЕССОВ
- 2. 1. Разработка теоретико-множественной операционно-событийной модели технологических процессов
- 2. 2. Операторно-схемная интерпретация моделей технологических процессов
- 2. 3. Классы операторных схем процессов
- 2. 3. 1. Координатные схемы
- 2. 3. 2. Алгоритмические схемы
- 2. 3. 3. Асинхронные схемы
- 2. 3. 4. Схемы с произвольными реализациями
- 2. 3. 5. Комбинированные схемы
- 2. 4. Исследования технологий и технологических процессов с применением операторных схем
- 2. 4. 1. Вопросы разработки операторных схем процессов и использования компьютерных технологий
- 2. 4. 2. Исследование реконфигурируемых процессов и эквивалентных технологий с применением операторных схем
- 2. 4. 3. Анализ внутреннего параллелизма технологий и процессов
- 2. 4. 4. Выводы
- 3. 1. Диагностические модели на основе операционно-событийной модели и классов операторных схем процессов
- 3. 2. Диагностическая модель на основе операторных схем процессов и событийно-позиционной системы дефектов
- 3. 3. Методы и алгоритмы обнаружения дефектов
- 3. 4. Исследования и анализ систем дефектов и диагностических моделей
- 3. 5. Выводы
- 4. 1. Основные положения организации автоматизированных систем диагностирования технологических процессов с использованием операторных схем
- 4. 2. Подсистема диагностического обеспечения и автоматизация обработки схем процессов
- 4. 3. Алгоритмы и программно-технические средства технологического диагностирования
- 4. 4. Критерии оценки эффективности автоматизированных систем диагностирования технологических процессов
- 4. 5. Выводы
- 5. 1. Разработка диагностической модели реконфигурируемых процессов
- 5. 2. Разработка и анализ информационно-логических схем
- 5. 3. Разработка и анализ контролирующих счётчиковых сетей
- 5. 4. Алгоритмы и средства диагностирования реконфигурируемых технологических процессов по спусковым функциям
- 5. 5. Выводы
- 6. 1. Объекты и задачи внедрения АСД ТП на Куйбышевской железной дороге
- 6. 2. Автоматизированное диагностирование технологических процессов в АСУ сменно-суточного планирования грузовой работы
- 6. 2. 1. Назначение, архитектура и программное обеспечение
- 6. 2. 2. Технологические процессы сменно-суточного планирования грузовой работы
- 6. 2. 3. Внедрение и эффективность автоматизированной системы диагностирования
- 6. 3. Автоматизированное диагностирование технологических процессов в АС контроля за дислокацией цистерн собственных и арендованных
- 6. 3. 1. Назначение, архитектура и технология работы
- 6. 3. 2. Внедрение средств диагностирования и оценка эффективности
- 6. 4. Внедрение средств технологического диагностирования в АСУ сортировочной станции
- 6. 5. Выводы
Список литературы
- Baer J. L., Bovet D. P., Estrin G. Legality and other properties of graph models of computations. J. ACM, 1987. -V. 17, № 3. -P.543−554.
- Borgenson B. R. Dynamic configuration of system integrity. Proc. Full Joint Computer Conf., 1972. — P.89 — 96.
- Comfort W. T. A fault tolerant systems architecture for navy applications // IBM J. Research and Development, 1983. — V.27, № 3. — P.219−236.
- Dennis J. B. The varieties of data flow computers // Proc. IEEE Int. conf. Destributed Comput. Syst. Huntsvill, June, 1979. N.Y.: IEEE, 1979. — P.430−439.
- Dijrstra E. W. Guarded command, nondeterminacy and formal derivation of programs. Communs ACM, 1975. — V.18, № 8. — P.453−457.
- Endrews G. Concurrent Programming. Principles and Practice /Cummings Publishing, 1991. P.25−32.
- Foo S. Y., Musgrave G. Comparison of graph models for parallel computation and their extension. Int. Symp. Comput. Hardware Descript/ Land, and Appl. Proc.-N.Y., 1975.-P. 15−21. ,
- FTECPU: a fault-tolerant module for real-time monitoring applications / Ruiz R., Zapata E. L., Mira J. EUROCON 86: f— Eur. Conf. Electrotech.: Adv. Technol. and Process Commun. and Power Syst., Paris, 21−22 Apr., 1986. Paris, 1986. P.77−83.
- Keller R. M. Parallel Schemata and Maximal Parallelism // JASM, 1973. -Vol. 20, № 3. -P.514−537- Vol. 20, № 4. -P.696−710.
- Lee Y.-H., Shin K. G. Optimal reconfiguration strategy for a degradable multimodule computing system. J. ACM, 1987. — V.34, № 2. — P.326−348.
- Lehman D. Algebraic structures for transitive closure // Theoretical. Computer. Sci., 1977. — V.4. — P.59—76.
- Lester B. Art of Parallel Programming. Prentice Hall, 1993. 301 p.
- Lu D. F. Watchdog processor and structural integrity checking // IEEE Trans of
- Comp., 1982. V. C-31, № 7. — P.681−685.
- Mahmood A., McCluskey G. J. Concurent error detection using watchdog processors A survey. — IEEE Trans. Comp., 1988. — V.37, № 2. — p. 160−174.
- Marka D. A., McGovan K. L. SADT: Structured Analysis and Design Technique. N. Y.: McGraw Hill, 1988. 401 c.
- Martin D. F., Estrin G. Models of computational systems cyclic to acyclic graph transformations. — IEEE Trans. Electronic Comput., 1967. — V. EC — 16, № 1. — P.70−79.
- Martin D. F., Estrin G. Models of computations and systems evaluation of vertex probabilities in graph models of computations. — J. ACM, 1967. — V.14, № 2. -P.281−299.
- Mayeda W., Sehu S. Generation of trees without duplications // IEEE Trans. Circuit Theory, 1965. V. CT-12. — P. 181−185.
- Namjoo M., McCluskey G. J. Watchdog processors and capability checking. -FTCS 12- Annu. Int. Symp. Fault Tolerant Comput., Santa Monica, Calif. June 22−24, 1982 — Dig. Pap., 1982. -N.Y., P.245−247.
- Pallo J. M. Enumerating, ranking and unranking binary trees // Comput. J., 1986. V.29, № 2. — P.171−175.
- Peterson J. L., Bredt T. H. A comparison of models of parallel computations. -Proc. IFIP Congress 74. Amsterdam: North-Holland Pub. Co., 1974. — V.3. -P.466−470.
- Pradhan D. K. Dynamically restructurable fault tolerant processor network architectures // IEEE Trans. Comput. — 1985. — V. C-34, № 5. — P.434147.
- Ramanathan J., Kennedy K. Pathlisting applied to data flow analysis // Acta Informatica, 1981. -V. 16, № 3. -P.253−273.
- Sheldon M. R. Simulation // Academic Press, 2002. 274 p.
- Siewiorek D. P. Architecture of fault-tolerant computers // Computer, 1984. -V.17, № 8. -P.9−18.
- Structures and Relations in Knowledge Organization: Proceedings 5th Int.
- KO-Conference, Lille, 25—29 August 1998 / Ed. By Widad Mustafa el Hadi, Jacques Maniez, Stephen A. Pollitt. Berlin: ERGON Verlag, 1998. 450 p.
- A.c. № 1 229 763 СССР. Устройство для контроля системы синхронизации параллельных вычислений / С. Н. Ткаченко, В. В. Герасименко, Г. Н. Тимонькин, В. С. Харченко. Опубл. БИ № 17. — 1986. — 8 с.
- A.c. № 1 249 521 (СССР). Устройство для контроля следования модулей программы / Подсвирнов A.A., Кормилицина H.H., Глонти Е. В. и др. -Опубл. БИ № 29. 1986. — 12 с.
- A.c. № 1 315 981 СССР. Устройство для контроля выполнения программ (его варианты) / В, В, Антосик и др. Опубл. БИ № 21.- 1987. — 15 с.
- A.c. № 1 365 986 СССР. Устройство для контроля блоков управления / Никищенков С. А., Барашенков В. В., Казак А. Ф. и др. Опубл. БИ № 1. -1988.- 10 с.
- A.c. № 1 451 697 СССР. Устройство для контроля параллельной вычислительной системы / Никищенков С. А., Барашенков В. В., Казак А. Ф. и др. Опубл. БИ № 2.-1989- 16 с.
- A.c. № 1 548 843 СССР. Устройство для распределения импульсов с контролем / Никищенков С. А., Барашенков В. В., Казак А. Ф. и др. Опубл. БИ № 9.-1990.-8 с.
- Абрамян Р. Р. Жизненный цикл заявки // Вестник транспорта Поволжья. -2009. № 3(19). — С. 26−28.
- Авиженис А. Отказоустойчивость — свойство, обеспечивающее постоянную работоспособность цифровых систем /А. Авиженис // ТИИЭР. -1978. -Т.66. № 10. — С.5−25.
- Автоматизация сменно-суточного планирования погрузки грузов по роду подвижного состава / С. Ю. Елисеев, Н. В. Сугробов, П. В. Куренков, Е. А. Жукова // Транспорт: наука, техника, управление / ВИНИТИ. 2004. — № 9. -С.6−11.
- Автоматизированная система взаимодействия с программными комплексами ОАО «РЖД» / С. М. Колесников, С. А. Никищенков, М. В. Петров. Свидетельство об официальной регистрации программы для ЭВМ № 2 005 611 735 от 14.07.2005.
- Автоматизированная система сменно-суточного планирования по номенклатурным группам грузов (АСУ ССП НГГ) / А. В. Ковтунов, П. В. Куренков, С. А. Никищенков и др. Свидетельство об официальной регистрации программы для ЭВМ № 2 005 610 618 от 11.03.2005.
- Автоматизированная система формирования и присвоения кода приоритета погрузки заявкам грузоотправителей / С. М. Колесников, А. В. Ковтунов, С. А. Никищенков и др. — Свидетельство об официальной регистрации программы для ЭВМ № 2 005 610 623 от 11.03.2005.
- Автоматизированные системы управления на железнодорожном транспорте. -М.: ЦНИИТЭИ МПС, 1993. 76 с.
- Адельсон-Вельский Г. М. Потоковые алгоритмы / Г. М. Адельсон-Вельский, Е. А. Диниц, А. В. Карзанов. М.: Наука, 1975. — 197 с.
- Алгоритмы, математическое обеспечение и архитектура многопроцессорных вычислительных систем / под ред. А. П. Ершова. М.: Наука, 1982.-336 с.
- Анишев П.А. О детерминированности параллельных графических схем / П. А. Анишев // Вопросы теории построения вычислительных систем. — Новосибирск: СО АН СССР. 1978. — Вып. 73. — С.40−52.
- Анфилатов В. С. Системный анализ в управлении/ В. С. Анфилатов, А. А. Емельянов, А. А. Кукушкин. М.: Финансы и статистика, 2003. — 368 с.
- Артынов А. П. Программный моделирующий комплекс для исследования транспортных систем: препринт / А. П. Артынов, Г. А. Кондратьев- ДНЦ АН СССР. Владивосток, 1988. — 22 с.
- Ачасова С. М. Корректность параллельных вычислительных процессов/ С. М. Ачасова, О. Л. Бандман. Новосибирск: Наука, 1990. — 252 с.
- Базовый программный модуль для моделирования реконфигурируемой конвейерной системы обработки информации / С. А. Никищенков, С. В. Сиваков, А. П. Припутников. Свидетельство об официальной регистрации программ для ЭВМ № 2 005 610 580 от 4.03.2005.
- Бакланова Е. Г. Сетевые базы данных как единый информационный ресурс / Е. Г. Бакланова, И. Е. Юдаева // Автоматика, связь, информатика. -2005. № 6. — С.31—32.
- Балакин В. Н. Синтез устройства диагностирования по схемам алгоритмов управления / В. Н. Балакин, В. В. Барашенков, Ю. Е. Усачев // Автоматика и телемеханика. 1984. — № 6. — С. 13 8−148.
- Балакин В. Н. Средства контроля информационно-логических схем алгоритмов, встраиваемые в БИС / В. Н. Балакин, А. Ф. Казак, С. А.
- Никищенков // Конструирование и технология микроэлектронных устройств: тез. докл. Всесоюз. науч.-техн. конф. М., 1986. — С.60.
- Барашенков В. В. Анализ и преобразования операторных схем алгоритмов / В. В. Барашенков Л.: ЛЭТИ, 1979. — 103 с.
- Барашенков В. В. Интерпретация операторных схем алгоритмов / В. В. Барашенков. Л.: ЛЭТИ, 1978. — 75 с.
- Барашенков В. В. Контроль выполнения программ в реконфигурируемых параллельных вычислительных системах / В. В. Барашенков, А. Ф. Казак, С.
- A. Никищенков // Распараллеливание обработки информации: тез. докл. VI Всесоюз. школы-семинара, 18−23 мая 1987 г. Львов, 1987. -4.1. — С.8−10.
- Барашенков В. В. Контроль выполнения программ по ярусно-параллельным формам / В. В. Барашенков, А. Ф. Казак, С. А. Никищенков // Известия ЛЭТИ: сб. науч. тр. / Ленингр. злектротехн. ин-т им. В. И. Ульянова (Ленина). Л., 1988. — Вып. 394. — С.29−33.
- Барашенков В. В. Теоретические вопросы диагностирования вычислительных систем по информационным схемам алгоритмов / В.
- B. Барашенков, С. А. Никищенков // Математические вопросы кибернетики и их применение: межвуз.науч. сб. Саратов: СарГУ. — Вып. 14. — 1990. —1. C.52−55.
- Барбан А. П. Распараллеливание структурированных программ / А. П.
- Барбан, В. В. Игнатущенко // Электронное моделирование, 1982. № 2. — С.28−35.
- Большие системы. Связность, сложность и катастрофы / Д. Касти. М.: Мир, 1982.-216 с.
- Бунич А. Л. Параллельные вычисления и задачи управления: аналитический обзор / А. Л. Бунич // Автоматика и телемеханика. — 2002. — № 12. С.3−23.
- Бурков В. Н. Модели и методы управления организационными системами / В. Н. Бурков. М.: Наука, 1994. — 270 с.
- Былинский Ю. В. Центры управления и транспортного обслуживания: материальные и информационные потоки / Ю. В. Былинский // Железнодорожный транспорт. 2000. — № 6. — С.74−77.
- Вальковский В. А. Распараллеливание алгоритмов и программ. Структурный подход / В. А. Вальковский. М.: Радио и связь, 1989. — 176 с.
- Вальковский В. А. Синтез параллельных программ и систем на вычислительных моделях / В. А. Вальковский, В. А. Малышкин. — Новосибирск: Наука, 1988. 128 с.
- Валях Е. Последовательно-параллельные вычисления / Е. Валях- пер. с англ. -М.: Мир, 1985. 456 с.
- Варгунин В. И. Железнодорожные перевозки нефтепродуктов как безопасная транспортная система / В. И. Варгунин, С. Н. Шишкина // Безопасность и логистика транспортных систем: тр. междунар. науч.-практ. конф. Самара: СамГАПС, 2004. — 4.2. — С. 121−124.
- Величко В. И. Современная технология планирования перевозок / В. И. Величко // Железнодорожный транспорт. 2000. — № 8. — С.20−26.
- Вентцель Е. С. Теория случайных процессов и её инженерные приложения / Е. С. Вентцель, Л. А. Овчаров. М.: Наука, 1991. — 384 с.
- Вербицкайте И. Б. Семантические модели в теории параллелизма / И. Б. Вербицкайте. Новосибирск: Изд-во ИСИ СО РАН, 2000. — 249 с.
- Верлань А. Ф. Об одной реализации метода автоматического распараллеливания алгоритмов и программ / А. Ф. Верлань, В. Ф. Горячев, И. Е. Ефимов // Электронное моделирование. 1981. — № 2. — С.23−25.
- Вишняков В. Ф. Эксплуатация информационно-вычислительных ресурсов / В. Ф. Вишняков // Автоматика, связь, информатика. 2004. — № 10.- С.20−23.
- Влияние геофизических явлений и природно-климатических факторов на эффективность управляющей деятельности оператора перевозочного процесса / Козубенко В. Г. и др. // Вестник РГУПС. Ростов-на-Дону: РГУПС, 2001. — № 2. — С.138−140.
- Воеводин В. В. Параллельные вычисления / В. В. Воеводин. СПб.: БХВ- Петербург, 2002. 608 с.
- Гаскаров Д. В. Сетевые модели распределенных автоматизированных систем / Д. В. Гаскаров, Е. П. Истомин, О. И. Кутузов. СПб.: Энергоатомиздат, 1998. -352 с.
- Глушков В. М. Алгебра. Языки. Программирование / В. М. Глушков, Г. Е. Цейтлин, Е. JI. Ющенко. Киев: Наукова думка, 1978.-320с.
- Головкин Б. А. Параллельные вычислительные системы / Б. А. Головкин -М.: Наука, 1980. 520 с.
- Головкин Б. А. Расчет характеристик и планирование параллельных вычислительных процессов / Б. А. Головкин. М.: Радио и связь, 1983. -272 с.
- ГОСТ 19.701−90 (ИСО 5807−85). Единая система программной документации. Схемы алгоритмов, программ, данных и систем. Условные обозначения и правила выполнения. -М.: Издательство стандартов, 1991. —26 с.
- ГОСТ 20 911–89. Техническая диагностика. Термины и определения М.: Издательство стандартов, 1990. — 15 с.
- ГОСТ Р ИСО 9000−2001. Системы менеджмента качества. Основные положения и словарь. М.: Госстандарт России, 2001. — 26 с.
- ГОСТ Р ИСО/МЭК 12 207−99. Информационная технология. Процессы жизненного цикла программных средств. М.: Издательство стандартов, 2000.-46 с.
- Диагностирование вычислительных систем по схемам алгоритмов / В. В. Барашенков, А. Ф. Казак, О. С. Дорофеева, С. А. Никищенков // Известия ЛЭТИ: сб. науч. тр. Вып. 415. — Л.: ЛЭТИ, 1989. — С.403.
- Дьяконов В. П. VisSim+Mathcad+MATLAB. Визуальное математическое моделирование / В. П. Дьяконов. М.: СОЛОН-Пресс, 2004. — 384 с.
- Евреинов Э. В. Однородные вычислительные системы, структуры и среды / Э. В. Евреинов. М.: Радио и связь, 1981. — 208 с,
- Евстигнеев А. Основы параллельной обработки. Анализ программных зависимостей / А. Евстигнеев. Новосибирск: Изд-во НГУ, 1996. — 75 с.
- Елисеев С. Ю. Информационные и аналитические технологии управления перевозками / С. Ю. Елисеев // Железнодорожный транспорт. 2001. — № 4. -С.28−33.
- Ершов А. П. Теория программирования и вычислительные системы / А. П. Ершов. М.: Знание, 1972. — 64 с.
- Запевалов А. В. Повышение описательной мощности Е-сетей при моделировании управляемых динамически реконфигурируемых систем / А. В. Запевалов, Г. П. Цапко. — Томск: Политехи, ун-т, 1995. 67 с.
- Зыков А. А. Основы теории графов / А. А. Зыков М.: Наука, 1987. -466 с.
- Игнатущенко В. В. Организация структур управляющих многопроцессорных вычислительных систем / В. В. Игнатущенко. М.: Энергоатомиздат, 1984. — 184 с.
- Инженерные имитационные игры (на примерах железнодорожного транспорта) / Г. В. Дружинин и др.- под ред. Г. В. Дружинина. М.: Транспорт. 1992. — 207 с.
- Инструкция по организации обращения грузовых поездов повышенного веса и длины на участках Куйбышевской железной дороги. № 5/НЗД. -Самара, Кбш.ж.д., 2006. 20 с.
- Информационные схемы алгоритмов: синтез, анализ, интерпретация и преобразования / Казак А. Ф., Дорофеева О. С., Никищенков С. А. 1988. -32 с. — Деп. рук. ВИНИТИ, № 6233-В88.
- Информационные технологии на железнодорожном транспорте / Э. К. Лецкий и др. М.: УМК МПС России, 2000. — 680 с.
- Казак А. Ф. Параллельные операторные схемы в задачах контроля реконфигурируемых технологических систем / А. Ф. Казак, С. А. Никищенков, Д. В. Тихонов // Информационные технологии. 2005. — № 5. -С.47−54.
- Калявин В.П. Основы теории надежности и диагностики / В. П. Калявин. -СПб.: Элмор, 1998. 172с.
- Кандрашина Е. Ю. Представление знаний о времени и пространстве в интеллектуальных системах / Е. Ю. Кандрашина, Л. В. Литвинцева, Д. А. Поспелов. М.: Наука, 1989. — 327 с.
- Карпов Ю.Г. Имитационное моделирование систем. Введение в моделирование с AnyLogic 5. СПб.: БХВ-Петербург, 2005. — 400 с.
- Касьянов А. И. Эффективность структурных преобразований / А. И. Касьянов // Железнодорожный транспорт. 2001. — № 6. — С.34−39.
- Касьянов В. Н. Графы в программировании: обработка, визуализация и применение / В. Н. Касьянов, В. А. Евстигнеев. СПб.: БХВ — Петербург, 2003.-1104 с.
- Кизуб В. А. Приложение аппарата сетей Петри для решения задач технической диагностики / В. А. Кизуб, А. Ю. Гобземис // Автоматика и вычислительная техника. 1985. — № 1. — С.21−28.
- Козлов П. А. Приоритетные научно-технические разработки / П. А. Козлов // Железнодорожный транспорт. 2001. — № 6. — С.61−64:
- Колесников С. М. Инструмент достоверного планирования / С. М. Колесников //РЖД-Партнер. № 3. — С.74−77.
- Колмогоров А. Н. Введение в математическую логику / А. Н. Колмогоров, А. Г. Драгалин. М.: Из-во Московского университета, 1982. -120с.
- Колосова Ю.А. Реализация и анализ причинного порядка событий в распределенных вычислениях: препринт / Ю. А. Колосова- ВЦ СО РАН, № 1046.-Новосибирск, 1995.
- Комаров А. В. Основы, транспортного законодательства Российской Федерации' / А. В. Комаров // Транспорт: наука, техника, управление / ВИНИТИ 1998. — № 7. — С.2−20.
- Комментарий к Уставу железнодорожного транспорта Российской федерации / под ред. Вайпана В. А. -М.: ЗАО «Юстицинфор», 2005. 144 с:
- Комплекс методик для повышения эффективности- корпоративного аналитического документооборота / С. А. Никищенков, С. А. Юшков, А. П. Припутников. Свидетельство ВНТИЦ № 73 200 100 241 от 04.12.2001.
- Конвей Р. В. Теория расписаний / Р. В'. Конвей, В. Л. Максвелл, Л. В Миллер. -М.: Наука, 1975.-360 с.
- Контроль выполнения программ / С. А. Никищенков, А. Ф. Казак, О. С. Дорофеева, В. В. Филончева // Проблемы автоматизации контроля электронных устройств: тез. докл. респуб. науч.-техн. конф. Киев, 1990 .-С.41−43.
- Котов В. Е. Асинхронные вычислительные процессы над памятью / В. Е. Котов, А. С. Нариньяни // Кибернетика. 1966. -№ 3. — С.64−71.
- Котов В. Е. Теория параллельного программирования. Прикладные аспекты / В. Е. Котов // Кибернетика. 1974. — № 1. — С.1−16- № 2. — С.1−18.
- Котов, В. Е. Теория схем программ / В. Е. Котов, В. К Сабельфельд. — М.: Наука, 1991.-325 с.
- Коуги П. М. Архитектура конвейерных ЭВМ / пер. с англ.- М.: Радио и связь, 1985.-360 с.
- Красковский А. Е., Фортунатов В. В. Принятие управленческих решений на железнодорожном транспорте: история и современность СПб.: ПГУПС, 2009.-274 с.
- Крэг Л. Применение ЦМЬ 2.0 и шаблонов проектирования / Л. Крэг. — М.: Вильяме, 2006. — С. 736.
- Кудинов А. К. Информационная составляющая инфраструктуры ОАО «РЖД» / А. К. Кудинов, А. Б. Соломатина // Автоматика, связь, информатика. 2005. — № 9. — С.21−24.
- Куренков П: В. Внешнеторговые перевозки в смешанном' сообщении. Экономика. Логистика. Управление / П. В. Куренков, А. Ф. Котляренко. -Самара: СамГАПС, 2002. 636 с.
- Лазарев В. Г. Синтез управляющих автоматов / В. Г. Лазарев, К. И. Пийль. М.: Энергия, 1978. — 408 с.
- Ларичев О. И. Наука и искусство принятия решений / О. И Ларичев.1. М. :Наука, 1979.-200 с.
- Лескин А. А. Сети Петри. Моделирование и управление / А. А. Лескин, П. А. Мальцев, А. М, Спиридонов. Л:: Наука, 1989- - 133 с.
- Лецкий Э. К. Модели и методы расчета временных характеристик систем сбора и обработки данных / Э: К. Лецкий. -М.: МИИТ, 1994. -40 с.
- Липаев В- В. Качество программных средств / В. В. Липаев. М.: Янус-К, 2002. — 400 с.
- Липаев В. В. Надежность программного обеспечения АСУ- / В. В. Липаев. М.: Энергия, 1981. — 239 с.
- Липаев В. В. Технико-экономическое обоснование сложных программных средств / В. В. Липаев. М.: СИНТЕГ, 2004. — 284 с.
- Лисенков В. М- Безопасность технических, средств' в системах управления движением поездов./ В. М. Лисенков. М.: Транспорт, 1992. -192 с.
- Лоу А. М. Имитационное моделирование / А. М. Лоу, В. Д. Кельтон. -СПб.: Питер- Киев: ВНУ, 2004. 847 с.
- Майоров С. А. Принципы организации цифровых машин / С. А. Майоров, Г. И- Новиков. Л. ^ Машиностроение, 1974-.- 432, е./
- Макаров-Землянский Н. В. Организация живучих вычислительных структур / Н. В. Макаров-Землянский, И: В: Машечкин- под ред: Л. Н: Королева. М.: Наука, 1985- - 95 с-.
- Мальцев А. И-. Алгебраические системы / А. И. Мальцев. М.: Наука, 1970.-348 с. .
- Мамзелев И. А. Вычислительные системы в технике связи / И. А. Мамзелев. М.: Радио и связь, 1987. — 240 с.
- Мамиконов А. Г. Автоматизация проектирования АСУ / А. Г. Мамиконов, В. В. Кульба, А. Д. Цвиркун. М.: Энергоиздат, 1981 — С. 328.
- Метод контроля вычислительных процессов в микропроцессорных вычислительных системах / А. Ф. Казак, О. С. Дорофеева, С. А. Никищенков // Микропроцессоры в системах контроля и управления: тез. докл. рег. науч.— техн. конф. Пенза: ПДНТП, 1989. — С.33−35.
- Методика функционального диагностирования конвейерных систем обработки информации / О. А. Никищенков- А. П. -Припутников. -Свидетельство ВНТИЦ № 73 200 400 052 от 15.03.2004.
- Методические указания по расчету норм времени на маневровые работы, выполняемые на. железнодорожном транспорте / Департамент управления перевозками МПС РФ. М., 1998. — 89 с.
- Методология функционального моделирования ШЕБО. Руководящий документ. Госстандарт России. М.: Издательство стандартов, 2000. — 75 с.
- Методы, параллельного микропрограммирования / П. А. Акишев и др. -Новосибирск: Наука, 1981.-181 с.
- Микони С. В. Методы и алгоритмы принятия решений / С. В. Микони,
- А. Н. Баушев. Спб.: ПГУПС, 1997. — 65 с.
- Микони С. В. Общие диагностические базы знаний вычислительных систем / С. В. Микони. СПб.: СПИИРАН, 1992.-234 с.
- Микони С. В. Сетевые методы отказоустойчивых вычислений на ЭВМ с динамической архитектурой / С. В. Микони. JI.: ЛИИА АН СССР, 1988. -48 с.
- Микони С. В. Элементы дискретной математики / С. В. Микони. СПб.: ПГУПС, 1999. — 124 с.
- Минько А. А. Статистический анализ в MS Excel / А. А. Минько М.: Издательский дом «Вильяме», 2004. — 448 с.
- Модернизация транспортной системы России (2002 2010 годы): федеральная целевая программа. — М.: ФЗ от 22.03.2002. — 38 с.
- Модуль нейроподобной ячейки контролирующей счётчиковой сети / С. А. Никищенков, — С. В. Сиваков, А. П. Припутников. Свидетельство об официальной регистрации программ для ЭВМ № 2 005 610 598 от 9.03.2005.
- Мохонько В. П. Автоматизация сменно-суточного планирования погрузки по номенклатурным группам грузов / В. П. Мохонько, Н. В. Сугробов, П. В: Куренков // Транспорт: наука, техника, управление / ВИНИТИ. 2004. — № 7. — С.3−11.
- Мухопад Ю. Ф. Комбинаторно-нейронные сети / Ю. Ф. Мухопад, А. Ю. Мухопад // Информационные технологии контроля и управления на транспорте. Иркутск: ИрИИТ, 2000. — Вып.8. — С.54−62.
- Мухопад Ю. Ф. Микроэлектронные информационно-управляющие системы / Ю. Ф. Мухопад. Иркутск: ИрГУПС, 2004. — 404 с.
- Никищенков С. А. Автоматизированное диагностирование железнодорожных технологических систем с использованием операторных схем процессов / С. А. Никищенков. Самара: СНЦ РАН, СамГУПС, 2007. — 179 с.
- Никищенков С. А. Автоматизированное технологическое диагностирование железнодорожных систем с использованием операторных схем процессов / С. А. Никищенков // Транспорт: наука, техника, управление / ВИНИТИ. 2008. — № 5. — С.33−35.
- Никищенков' С. А. Автоматизированные системы диагностирования железнодорожных технологических процессов на основе операторных схем // Вестник СамГУПС. 2009. — № 5(17). — С. 141 -144″.
- Никищенков С. А. Графовые диагностические модели реконфи-гурируемых параллельных систем / С. А. Никищенков, С. В'. Сиваков // Тез. докл. XI Российской науч. конф. ПГАТИ: Самара: ПГАТИ, 2004. — С.243−244.
- Никищенков С. А. Диагностические информационно-логические модели реконфигурируемых производственных систем / С. А. Никищенков // Автоматизация в промышленности. — 2004. — № 7. — С.44−46.
- Никищенков С. А. Инженерные языки описания реконфигурируемых транспортных систем / С. А. Никищенков, М. В. Петров, — А. Н. Черемухин // Тез.докл. ХИРоссийской-научной конф. проф.-преп. сост. ПГАТИ. — Самара, ПГАТИ, 2005. 0.398−399.
- Никищенков С. А. Информационно-логические схемы в задачах диагностирования реконфигурируемых систем / С. А Никищенков // Стратегия развития транспортной логистики Самарского региона: тез. докл. per. науч.-практ. конф. Самара: СамИИТ, 2002. — С.67−68.
- Никищенков С. А. Информационные схемы алгоритмов в задачах диагностирования управляющих устройств / С. А. Никищенков, В. В.
- Барашенков // Автоматизация контроля вычислительных устройств и систем: тез. докл. респуб. науч.-техн. конф. Киев: КПИ, 1988. — С.63−64.
- Никищенков С. А. Контролирующие счетчиковые сети / С. А. Никищенков, С. В. Сиваков, И. А. Дудоров // Тез. докл. XII Российской научной конф. ПГАТИ.- Самара: ПГАТИ, 2005. -С.310.
- Никищенков С. А. Метод контроля реконфигурируемых транспортных систем по спусковым функциям / С. А-. Никищенков // НТТ — наука и техника транспорта. № 3. — 2004. — С.62−69.
- Никищенков С. А. Методология описания и анализа реконфигурируемых технологических систем. Свидетельство ВНТИЦ № 73 200 300 238 от 28.11.2003.
- Никищенков С. А. Методология описания и анализа сложных технических систем // Тез. докл. XI Российской науч. конф. проф.-преп.сост. / ПГАТИ. Самара: ПГАТИ, 2004. — С.322−323.
- Никищенков С. А. Методы анализа и контроля реконфигурируемых технологических систем / С. А. Никищенков // Информационные и математические технологии: тр. Байкальской Всероссийской конф. Иркутск: ИСЭМ СО РАН, 2004. — С.241−246.
- Никищенков С. А. Организация контроля потока управления по информационно-логическим схемам алгоритмов // Известия ЛЭТИ: сб. науч. тр. / Ленингр. злектротехн. ин-т им. В. И. Ульянова (Ленина). Л., 1987. -Вып. 376. — С.96−99.
- Никищенков С. А. Параллельные модели в задачах оперативного контроля сборочных процессов // Информационные и математические технологии: тр. Байкальской Всероссийской конф. Иркутск: ИСЭМ СО РАН, 2004.-С.251−258.
- Никищенков С. А. Применение моделей параллельных процессов* в задачах оперативного контроля механо-сборочных производств // Известия Самарского научного центра РАН, 2003- Т.5. № 2. — С.401−410.
- Никищенков С. А. Принципы функционального диагностирования управляю-щих систем по информационно-логическим схемам процессов / С. А. Никищенков. Свидетельство ВНТИЦ № 73 200 100 204 от 15.10.2001.
- Никищенков С. А. Программные и- организационно-технические средства контроля конвейерных систем / С. А. Никищенков, А. П. Припутников, Н. В. Михайлов // Тез.докл. XI Российской научной конф. ПГАТИ.- Самара, ПГАТИ, 2004. С.210−211.
- Никищенков С. А. Способ контроля программных комплексов на основеинформационно-логических схем процессов / С. А. Никищенков, С. В. Сиваков // Межвуз. сб. науч. тр. студентов, аспирантов и молодых ученых. Вып. 5. — Самара: СамГАПС, 2004. — С. 135−136.
- Никищенков С. А. Способы функционального диагностирования реконфигурируемых технологических систем по параллельным операторным схемам / С. А. Никищенков // Приборы и системы: управление, контроль, диагностика. 2005. — № 10. — С.41−48.
- Никищенков С. А. Способы функционального диагностирования управля-ющих систем по информационно-логическим схемам процессов. -Свидетельство ВНТИЦ № 73 200 100 203 от 15.10.2001.
- Никищенков С. А. Спусковые функции и контроль процессов / С. А. Никищенков // Обозрение прикладной и промышленной математики. 2004. -Т.П. -Вып.2. — С.380.
- Никищенков С. А. Стратегии и реконфигурации контролируемых технологических систем // Вестник Самарского государственного технического университета. Самара: СамГТУ. — 2004. — № 24. — С.9−13. -(Сер. Технические науки).
- Никищенков С. А. Способы функционального диагностирования реконфигурируемых технологических систем по параллельным операторным схемам / С. А. Никищенков // Приборы и системы: управление, контроль, диагностика. 2005. — № 10. — С.41−48.
- Никищенков С. А. Способы функционального диагностирования управля-ющих систем по информационно-логическим схемам процессов. -Свидетельство ВНТИЦ № 73 200 100 203 от 15.10.2001.
- Никищенков С. А. Спусковые функции и контроль процессов / С. А. Никищенков // Обозрение прикладной и промышленной математики. 2004. -Т.П. -Вып.2. -С.380.
- Никищенков С. А. Стратегии и реконфигурации контролируемых технологических систем // Вестник Самарского государственного технического университета. Самара: СамГТУ. — 2004. — № 24. — С.9−13. -(Сер. Технические науки).
- Никищенков С. А. Теория диагностирования технологических процессов на основе операторных схем // Вестник транспорта Поволжья. —2009.-№ 3(19).-С.29−32.
- Никищенков С. А. Технологическое диагностирование железнодорожных- систем*, с: использованием операторных схем процессов / С. А Никищенков > // Транспорт Урала: 2007. — № 14. -С. 18−21.
- Никищенков. С. Л. Функциональное: диагностирование реконфигурируемых информационно-управляющих систем на макроуровне / С. А. Никищенков // Ведомственные: корпоративные сети- и системы. — 2002. № 6.-с.187−188. ./ -'
- Никищенков С. А. Функциональное диагностирование- управляющей- части реконфигурируемых многопроцессорных вычислительных систем по информационным схемам алгоритмов: Автореф. дис. канд. техн. наук. Л.: ЛЭТИ, 1988. .-16 с. '
- Никищенков С. А. Экспертиза и диагностика транспортных конвейерных информационных систем / С. А. Никищенков, А. П. Прииутников, А. Ю. Кочетков // Транспорт: наука, техника, управление /
- ВИНИТИ. 2007. — № 1. — С.34−36.
- Об итогах производственной и финансово-экономической деятельности ОАО «РЖД» и задачах по повышению эффективности на 2006 г.: протокол заседания правления ОАО «РЖД» 21−22 дек. 2005 г. М.: 2005.
- Ойхман Е. Г. Реинжинирнг бизнеса: реинжиниринг предприятий и информационные технологии / Е. Г. Ойхман, Э. В. Попов. М.: Финансы и статистика, 1997. — 336 с.
- Орлюк А. А. Инфраструктура информационных технологий АСУ грузовыми перевозками / А. А. Орлюк, А. И. Грушенков // Автоматика, связь,-информатика. -2004. № 8. — С.21−23.
- ОРММ ИСЖТ 2.01−00. Комплекс отраслевых руководящих методических материалов на информационные системы-на железнодорожном транспорте. Требования к составу, содержанию и оформлению документов при создании информационных систем.
- Основы технической диагностики: модели объектов, методы и алгоритмы диагноза / под ред. П. П. Пархоменко. М.: Энергия, 1976. -464 с.
- Основы технической диагностики: Оптимизация алгоритмов диагностирования, аппаратурные средства / под ред. П. П. Пархоменко. — М.: Энергия, 1981.-320 с.
- Оценка безопасности информационных технологий. Общие критерии / А. П. Трубачев и др. М.: СИП РИА, 2001. — 204 с.
- Параллельные вычислительные системы с общим управлением / И. В. Прангишвили и др. -М.: Энергоатомиздат, 1983.-312 с.
- Перечень нормативно-распорядительных документов МПС России, действующих в области грузовой и коммерческой работы. — М.: Транспорт, 1997.-38 с.
- Пешков А. М. Целевое, управление и сквозные технологии / А. М. Пешков, В. А. Шаров // Железнодорожный транспорт. 2001. — № 6. -С.24−27.
- Питерсон Дж. Теория сетей Петри и- моделирование систем / Дж. Питерсон. М*.: Мир- 1984. — 264 с. 243. Планирование эксперимента в исследовании технологических процессов / К. Хартман и др.- пер. с нем- под ред. Э. Лецкого. М.: Мир, 1977. -552 с.
- Поддавашкин Э. С. Концепция управления железнодорожным транспортом на основе современных информационных технологий- / Э. С. Поддавашкин // Транспорт: наука, техника, управление / ВИНИТИ. .- 1998. -№ 2. С. З-Г5-
- Расчеты автоматизированных систем управления (на примерах АСУ железнодорожным транспортом) / Г. В. Дружинин и др. М.: Транспорт, 1985.-223 с.
- Редактор конфигурации организационной структуры железной дороги / С. В. Сиваков, И. А. Иордан, С. А. Никищенков. Свидетельство об официальной регистрации программы для ЭВМ № 2 005 610 625 от 11.03.2005.
- Результаты пилотного проекта по интегрированной системе менеджмента качества на Куйбышевской железной дороге. Самара: Куйбышевская железная дорога — филиал ОАО «РЖД», 2006. — 322 с.
- Родкина Т. А. Информационная логистика / Т. А. Родкина М.: Экзамен, 2001.-288 с.
- Рыжиков Ю. И. Имитационное моделирование. Теория и технология / Ю. И. Рыжиков. СПб.: КОРОНАпринт, 2004. — 384 с:
- Рыжков А. П*. Организация конвейерного выполнения, параллельных программ / А. П. Рыжков // Программирование. 1985. — № 1- С.26−34.
- Рыжков А. П. Правильная билогическая граф-модель параллельного вычислительного процесса и его свойства / А. П. Рыжков // Известия АН СССР. Техническая кибернетика. 1976. — № 2. — С.96−104.
- Сапожников В. В. Надежность систем железнодорожной автоматики, телемеханики и связи / В. В. Сапожников, В. И. Шаманов. М.: Маршрут, 2003.-263 с.
- Сапожников В. В. Основы технической диагностики / В. В. Сапожников, Вл.В. Сапожников. М.: Маршрут, 2004. — 312 с.
- Сачков В. Н. Комбинаторные методы дискретной математики / В. Н. Сачков. М.: Наука, 1977. — 317 с.
- Сборник действующих международных стандартов ИСО серии 9000. Т. 1−3. -М.: ВНИИКИ, 1998.-324 с.
- Сборник основных федеральных законов о железнодорожном транспорте. М.: Юридическая фирма «Юртранс», 2003. — 192 с.
- Сборник правил перевозок грузов на железнодорожном транспорте. -Кн. 1. -М.: Юридическая фирма «КОНТРАКТ», 2001. 599 с.
- Скляр В. В: Отказоустойчивые компьютерные системы управления с версионной пороговой адаптацией: способы адаптации, оценка надежности, выбор архитектур / В. В. Скляр, В. С. Харченко // «Автоматика и телемеханика. 2002. — № 11. — С. 131−145.
- Скляров В. А. Синтез управляющих автоматов по параллельным ГСА /
- B. А. Скляров // Автоматика и вычислительная техника. 1987. — № 5.1. C.68−76.
- Словарь иностранных слов. М.: Русский язык, 1980. — 624 с.
- Современные программные разработки для Куйбышевской железной дороги / С. А Никищенков и др. // Тез. докл. XII Российской научной конф. ПГАТИ Самара:.ПГАТИ, 2005. — С.292−293.
- Согомонян Е. С. Аппаратурное и программное обеспечение отказоустойчивости вычислительных систем / Е. С. Согомонян, И. В. Шагаев // Автоматика и телемеханика. 1988. — № 2. — С.2−39.
- Согомонян Е. С. Отказоустойчивые избыточные структуры / Е. С. Согомонян // Автоматика и телемеханика. 1986. — № 10. — С.135−143.
- Средства встроенного программного контроля автоматизированной системы управления, сменно-суточным планированием (АСУ. ССП) / С. А. Никищенков, М. В. Петров. Свидетельство об официальной регистрации программы для ЭВМ № 2 005 611 734 от 14.07.2005.
- Статистические методы управления качеством. Statistical Process Control. Самара: Куйбышевская- железная? дорога — филиал ОАО «РЖД», 2006. -27 с. •: «- «.¦
- Степанян С. О- Коммуникационные сети в многопроцессорных ЭВМ / С. О. Степанян // Автоматика и вычислительная техника. 1987. — № 3. -С.3113.
- Стеценко В. В. Планирование грузовых перевозок / В. В. Стеценко, Е. А. Тлухова // Железнодорожный транспорт. 1999. — № 4. — С. 15−17.
- Стратегическая программа. развития, открытого: акционерного общества «Российские железные дороги» (июнь 2004 г.): М.: ОАО «РЖД». -81с.
- Танаев В. С. Теория расписаний. Многостадийные системы / В. С. Танаев, Ю. Н. Сотсков, В. А. Струсевич. М.: Наука, 1989. — 328 с.
- Технология функционального диагностирования реконфигурируемых транспортных систем / С. А. Никищенков, М. В. Петров, С. В. Сиваков, А. Н. Черемухин // Транспорт: наука, техника, управление / ВИНИТИ: 2005. -№ 4.-С. 15−20.
- Тимонькин Г. Н. Графологические схемы алгоритмов и их использование в задачах контроля управляющих автоматов / Г. Н. Тимонькин, В. С. Харченко // Автоматика и вычислительная техника. 1984. -№ 1. — С.77−82.
- Типовой технологический процесс работы агентства фирменного транспортного обслуживания (АФТО) — Утвержден 31.12.2004 г. М.: ОАО «РЖД», 2005. — 91 с.
- Типовой технологический процесс работы грузовой станции в условиях функционирования автоматизированной системы управления. — М.: ИПЦ «Глобус», 1998. 144 с.
- Тишкин Е. М. Информационно-управляющие технологии эксплуатации вагонного парка / Е. М. Тишкин. М.: ВНИИАС, 2005. — 187 с.
- Тишкин Е. М. Управление перевозками наливных грузов в системе ДИСПАРК / Е. М. Тишкин, В. С. Гершвальд // Вестник ВНИИЖТ. 2000. -№ 2. — С.3−5.
- Томпсон Д. Неустойчивости и катастрофы в науке и технике / Д. Томпсон. -М.: Мир, 1985.
- Торгашев В. А. Мультипроцессоры с динамической архитектурой / В. А. Торгашев, В. У. Плюснин, В. М. Пономарев // Электронно-вычислительная техника. -М.: Радио и связь, 1988. С.172−182.
- Трифанов В. Н. Инвариантный статистический анализ и управление в транспортных системах / В. Н. Трифанов. СПб.: Элмор, 2003. — 243 с.
- Успенский В. А. Теория алгоритмов: основные открытия и приложения / В. А. Успенский, A. JI. Семенов. М.: Наука, 1987. — 288 с.
- Функциональное диагностирование цифровых систем / В. В. Данилов и др. // Электронное моделирование. 1987. -Т.6. -№ 3. -С.46−51.
- Функционально-ориентированные процессоры / А. И. Водяхо и др. -Л.: Машиностроение, 1988. 224 с.
- Хоар Ч. Взаимодействующие последовательные процессы / Ч. Хоар. -М.: Мир, 1989.-264 с.
- Харченко В. С. Модели и алгоритмы реконфигурации отказоустойчивых систем с адаптивной многоярусной мажоритарно-резервированной структурой / В. С. Харченко // Автоматика и телемеханика. 2000. — № 12. -С. 162−175.
- Харченко В. С. Теоретические основы дефектоустойчивых цифровых систем с версионной избыточностью / В. С. Харченко. — Харьков: ХВУ, 1996. -266 с.
- Храмов В. В. Концепция обеспечения эффективности организационно-технических систем на основе бионико-интеллектуального подхода / В. В. Храмов // Вестник РГУПС. Ростов-на-Дону: РГУПС, 2001. — № 2. — С.138−140.
- Черемухин А. Н'. Проблемы информатизации и реинжиниринга на железнодорожном транспорте / А. Н. Черемухин //. Транспорт: наука, техника, управление / ВИНИТИ. 2003. — № 7. — С. 18−21.
- Чертыковцев В. К. Логистика риска / В. К. Чертыковцев. Самара: СамИИТ, 2000. — 66 с.
- Шамароков Б. Г. Программно-технический комплекс ОАО «РЖД» / Б. Г. Шамароков, Н. М. Абдрахманова, М. С. Фридман // Автоматика, связь, информатика. 2005. — № 9. — С.25−27.
- Шаров В. А. Особенности управления качеством на железнодорожном транспорте / В. А. Шаров // Информационные технологии на железнодорожном транспорте: тез. докл. 9-й междунар. науч.-практ. конф. «Инфотранс-2004». СПб:: ПГУПС, 2004. — С.8−9.
- Щербаков Н. С. Структурная теория контроля цифровых автоматов / Н. С. Щербаков, Б. П. Подкопаев. М.: Машиностроение, 1982. — 191 с.
- Элементы параллельного программирования / В. А. Вальковский и др. -М.: Радио и связь, 1983. 240 с.
- Юсипов Р. А. Самообучение модели учета влияния погодных условий на продолжительность выполнения технологических операций / Р. А. Юсипов // Вестник ВНИИЖТ. 2003. — № 5. — С.43−47.
- Предложил использовать операторные схемы для диагностики процессов в АСУ ССПГР
- Предложил использовать операторные схемы для диагностики процессов материально-технического снабжения
- Теоретически обосновал и проработал применение схем программ, схем параллельных вычислений и теоремы Бернштейна-Рассела-Нариньяни для диагностики технологических процессов
- Предложил операторно-схемную модель реконфигурируемых транспортных систем191,192. Разработал концепцию применения контролирующих счетчиковых сетей для обнаружения дефектов в дискретных процессах