Методы и алгоритмы автоматизации моделирования и проверки проектов станционных систем железнодорожной автоматики
Диссертация
Несмотря на значительные результаты, полученные в области анализа АТК УДП путем создания моделей, в большинстве исследований проблема анализа функционирования АТК УДП рассматривается вне связи с информационными потоками, обеспечивающими проектирование и эксплуатацию систем железнодорожной автоматики. Такой подход не позволял получить полный эффект от разработанных теорий и методов. Сложность… Читать ещё >
Список литературы
- Василенко М. Н., Денисов Б. П., Культин В. Б., Максименко О. А. Система автоматизированной проверки принципиальных схем систем ЖАТ / / Автоматика, связь, информатика. — 2004. — № 5. — с. 43−44.
- Максименко О. А. Автоматизация экспертизы принципиальных схем проектов ЭЦ / / Автоматика, связь, информатика. — 2004. — № 9. — с. 33−35.
- Максименко О. А. Автоматизация проверки принципиальных схем железнодорожной автоматики на станциях / / Известия Петербургского университета путей сообщения. — СПб: ПГУПС, 2004. — Вып. 1. — с. 69−74.
- Максименко О, А., Соколов М. Б. Моделирование электрических схем систем железнодорожной автоматики и телемеханики / / Шаг в будущее (Неделя науки-2004). Материалы научно-технической конференции, — СПб: ПГУПС, 2004.
- Василенко М. Н. Теория и методы анализа качества функционирования автоматизированных технологических комплексов на железнодорожном транспорте: Диссертация на соискание ученой степени доктора технических наук. — Санкт-Петербург, 1992. — 332 с.
- Сапожников В. В., Василенко М. Н. и др. Принципы построения комплексной системы автоматизации проектирования железнодорожной автоматики и телемеханики / / Автоматика, телемеханика и связь. — 1990. — № 10. — с. 8−11.
- Петров А. Ф. Листая страницы истории. — Санкт-Петербург, 2001, — 244 с.
- Василенко М. И., Трохов В. Г., Рубинштейн Н. И., Денисов Б. П. Интегрированная система проектирования и ведения технической документации / / Автоматика, связь, информатика. — 2001. — № 9. — с. 29−32.
- Василенко М. Н., Марков Д. С, Рубинштейн Н. И. Анализ работоспособности систем автоматики средствами вычислительной техники / / Автоматика, телемеханика и связь. — 1987. — № 8. — с. 17−19.
- Василенко М. Н., Гриненко А. В., Мясников Д. А. Эффективное средство исследования систем горочной автоматики / / Автоматика, телемеханика и связь. — 1988. — с. 48−49.
- Сапожников В. В., Василенко М. Н., Быков В. П., Рубинштейн Н. И. Экспертные системы железнодорожной автоматики и телемеханики / / Автоматика, телемеханика и связь. — 1992. — № 6. — с. 13−16.
- Василенко М. Н., Быков В. П., Денисов Б. П., Трохов В. Г. АРМ по ведению технической документации железнодорожной автоматики / / Автоматика, телемеханика и связь. — 1996. — № 11. — с. 12−14.
- Василенко М. Н., Трохов В. Г., Рубинштейн Н. И., Денисов Б. П. АРМ по ведению технической документации / / Автоматика, связь, информатика. — 1999. — № 4. — с. 32−34.
- Укрупненные нормативы трудозатрат на разработку проектной документации. — Л.: Гипротранссигналсвязь, 1984, — 25 с.
- Нормативы трудозатрат на разработку проектной документации электрической централизации. — Л.: Гипротранссигналсвязь, 1985. — 23 с.
- Гасов В. М., Соломонов Л. А. Инженерно-психологическое проектирование взаимодействия человека с техническими средствами, — М.: Высшая школа, 1990. — 125 с.
- Перникис Б, Д. Вопросы повышения восстанавливаемости систем электрической централизации. Дис. на соиск. уч. степени к.т.н.: — Л.: ЛИИЖТ, 1968.
- Андреевских А. В. Исследование вопросов автоматического контроля исправного состояния устройств железнодорожной автоматики и телемеханики. Дис. на соиск. уч. степени к.т.н.: — Л.: ЛИИЖТ, 1978. — 148 с.
- Дмитренко И. Е. Техническая диагностика и автоконтроль систем железнодорожной автоматики и телемеханики. — М.: Транспорт, 1986.
- Перникис Б, Д., Ягудин Р. Ш, Предупреждение и устранение неисправностей в устройствах СЦБ. — М.: Транспорт, 1984.
- Прокофьев А. А. Разработка методов и технических средств диагностирования логических и монтажных схем железнодорожной автоматики и телемеханики. Дис. на соиск. уч. степени к.т.н.: — Л.: ЛИИЖТ, 1982. — 147 с.
- Кузовков Н. Т. и др. Непрерывные и дискретные системы управления и методы идентификации. — М.: Машиностроение, 1978. — 222 с.
- Бусленко Н.П. Моделирование сложных систем. — М.: Наука, 1978.
- Мишарин А. Имитационная система для построения двухуровневых АСУ железнодорожным транспортом / / Автоматики и телемеханика. — 2003. — № 8. — с. 172−184.
- Василенко М. Н., Трохов В. Г., Булавский П. Е., Максименко О. А. Отраслевой формат технической документации на устройства СЦБ / / Автоматика, связь, информатика. — 2003. — № 4. — с. 9−11.
- Василенко М. Н., Гриненко А. В., Марков Д. Анализ систем железнодорожной автоматики на основе машинного моделирова-Г ния / / Автоматика, телемеханика и связь, — 1989. — № 1. — с. 15−17.
- Гордон М. А., Максименко О. А. Графический редактор схем автоматики и связи / / Неделя науки-2002. Программа и тезисы докладов. — СПб: ПГУПС, 2002.
- Рубинштейн Н. И. Методы и средства анализа качества функционирования систем автоматики и телемеханики на перегоне. Дис. на соиск. уч. степени к.т.н.: — СПб: ПГУПС, 1995,
- Чуа Л. О., Линь Пен-Мин. Машинный анализ электронных схем: Алгоритмы и вычислительные методы, — М.: Энергия, 1980. — 640 с.
- Хейгеман Л., Янг Д. Прикладные итерационные методы. — М.: Мир, 1986. — 446 с.
- Марчук Г. И. Методы вычислительной математики. — М.: Наука, 1989
- Боевкин В. И., Окин А. А., Шныров А. Б. Моделирование процессов в электрических сетях / / Математическое моделирование. — 2003, т. 15. — № 2. — с. 3−13.
- Петровский И. Г. Лекции по теории обыкновенных дифференциальных уравнений. — М.: Наука, 1964. — 272 с.
- Прицкер А. Введение в имитационное моделирование и язык СЛАМ П. — М.: Мир, 1987. — 646 с.
- SIMULINK. The ultimate simulation environment. — MathWorks, 1994.
- Kolesov Y.B., Senichenkov Y.B.: Model Vision 3.0 for Windows 95/NT. The graphical environment for complex dynamic system design. ICI&C'97 PROCEEDINGS, v.2, p.704−711, St. Petersburg, 1997.
- Инихова M. A., Инихов Д. Б., Колесов Ю. Б., Сениченков Ю. Б. Model Vision: Руководство пользователя. — СПб: MB Софт, 1995. 120 с.
- Kolesov Y.B., Senichenkov Y.B.: Visual specification language intended for event-driven hierarchical dynamic system with variable structure. ICI&C'97 PROCEEDINGS, v.2, p.712−719, St. Petersburg, 1997.
- Tuinenga P. W. SPICE: A guide to circuit simulation using PSPICE. — Prentice Hall, USA, 1988.
- Советов Б. Я., Яковлев А. Моделирование систем. — М.: Высш. шк., 1985. — 271 с.
- Пупков К. А., Костюк Г. А. Оценка и планирование эксперимента. — М., 1977.
- Круг Г. К., Сосулин Ю. А., Фатулев В. А. Планирование эксперимента в задачах идентификации и экстраполяции. — М., 1977.
- Машинный эксперимент, анализ и обработка данных в диалоговых системах имитации / Под ред. А. А. Вавилова. — Л., 1979.
- Пархоменко П. П., Согомонян Е. Основы технической диагностики, оптимизации алгоритмов диагностирования, аппаратурные средства. — М.: Энергоиздат, 1981.
- Инструкция по приемке в эксплуатацию законченных строительством объектов железнодорожной автоматики, телемеханики и связи. — М.: Трансиздат, 1998. — 32 с.
- Каханер Д., Моулер К., Нэш Численные методы и математическое обеспечение. — М.: Мир, 1998. — 575 с.
- Усманова 3. Д. Моделирование времени. — М.: Знание, 1991. — 48 с.
- Гальченко О. М. Техника событийного моделирования логических схем / / Управляющие системы и машины. — 1981. — № 2. — с. 55−59.
- Галкин В. В. Событийно имитируюш.ая модель управляемых состояний для испытаний АСУ ТП / / Электронное моделирование. — 1991. — № 1, с. 61−66.
- Парийская Е. Ю. Сравнительный анализ математических моделей и подходов к моделированию и анализу непрерывно-дискретных систем / / Дифференциальные уравнения и процессы управления. — 1997. — № 3.
- Программное обеспечение моделирования непрерывно- дискретных систем / Под ред. В. Глушкова. — М.: Наука, 1975.
- Maler О., Manna Z., Pnueli А.: From Timed to Hybrid systems. Real-Time: Theory in Practice, Lecture Notes in Comp. Sc 600, p.447−484. Springer-Verlag, 1992.
- Maler O.: Hybrid Systems and Real-World Computations. In Workshop on Theory of Hybrid Systems, Lyndby, Denmark, June 1992, Springer-Verlag.
- Alur R., Courcoubetis C, Henzinger Т., Ho P-T.: Hybrid automata: an algorithmic approach to the specification and analysis of hybrid systems. In Workshop on Theory of Hybrid Systems, Lyndby, Denmark, June 1993. LNCS 736, Springer-Verlag.
- Nicollin X., Olivero A., Sifalis Y., Yovine S.: An Approach to the Description and Analysis of Hybrid Systems. Hybrid Systems, 1. ecture Notes in Comp. Sci 736, p.149−178. Springer-Verlag, 1993.
- Henzinger Т., Ho P-T.: HyTech: The Cornell Hybrid Technology Tool. Hybrid Systems II, Lecture Notes in Comp. Sci 999, p.265-
- Harel D.: Statecharts: a Visual Formalism for Complex Systems. Sci. Comput. Prog. 8, p.231−274, 1987.
- Ортега Дж., Пул У. Введение в численные методы решения дифференциальных уравнений. — М.: Наука, 1986. — 288 с.
- Хайрер Э., Ваннер Г. Решение обыкновенных дифференциальных уравнений. Жесткие задачи и дифференциально-алгебраические задачи. — М.: Мир, 1978. — 685 с.
- Джордж А., Лю Дж. Численное решение больших разреженных систем уравнений. — М.: Мир, 1984.
- Гридин В. Н., Михайлов В. Б., Куприянов Г. А., Михайлов К, В. Устойчивые численно-аналитические методы решения сверхжестких дифференциально-алгебраических систем уравнений / / Математическое моделирование. — 2003, т. 15. — № 10. — с. 35−50.
- Брамеллер А., Аллан Р., Хэмэм Я. Слабозаполненные матрицы: Анализ электроэнергетических систем. — М.: Энергия, 1979. — 192 с.
- Самарский А. А., Николаев Е, Методы решения сеточных уравнений. — М.: Наука, 1978.
- Самарский А. А. Теория разностных схем. — М.: Наука, 1983.
- Абрахаме Дж., Каверли Дж. Анализ электрических цепей методом графов. — М.: Мир, 1967.
- Львович А. Ю. Электромеханические системы. — Л.: Издательство Ленинградского университета, 1989.
- Мирошников А. Н., Румянцев Н. Моделирование систем управления технических средств транспорта. — СПб: Элмор, 1999.
- Сапожников В. В., Кравцов Ю. А., Сапожников Вл. В. Дискретные устройства железнодорожной автоматики, телемеханики и I ", связи: Учебник для вузов ж.д. трансп. — М: Транспорт, 1988. — 255 с.
- Электромеханические аппараты автоматики / Б. К. Буль, О. Б. Буль, В. А. Азанов, В. Н. Шоффа. — М.: Высш. шк., 1988.
- Витенберг М. И. Расчет электромагнитных реле для аппаратуры автоматики и связи. — Л.: Энергия, 1966.
- Сороко В. И., Милюков В. А. Аппаратура железнодорожной автоматики и телемеханики. Справочник: в 2 кн. — 3-е изд. — М.: НПФ «Планета», 2000. — 960 + 1008 с.
- Дьяконов Д. К. Справочник по применению системы PC MATLAB. — М.: Наука, 1993.
- Лысяк Г. Н., Равлык А. М., Пазына Я. Способ оценки локальной погрешности при численном решении уравнений состояния электрических цепей явными одношаговыми методами / / Электронное моделирование. — 2003. — № 4, с. 75−88.
- Трохов В. Г., Максименко О. А. Еш, е несколько слов об электронном документе / / Автоматика, связь, информатика. — 2004. — № 3. — с. 32−33.
- Дмитренко И. Е., Дьяков Д. В., Сапожников В. В, Измерение и диагностирование в системах железнодорожной автоматики, телемеханики и связи. — М.: Транспорт, 1994.
- Граф Ш., Гессель М. Схемы поиска неисправностей. — М.: Энер- гоатомиздат, 1989. — 144 с.
- Ошурков И. С, Баркаган Р. Р. Проектирование электрической централизации. — М.: Транспорт, 1980. — 296 с.
- Правила технической эксплуатации железных дорог Российской Федерации (ЦРБ/756). — М.: РСО «Техинформ», 2000. — 192 с.
- Инструкция по сигнализации на железных дорогах Российской Федерации (ЦРБ/757). — М.: ЦВНТТ «Транспорт», 2000. -128 с.
- Инструкция по движению поездов и маневровой работе на железных дорогах Российской Федерации (ЦД/206). — М.: РСО «Техинформ», 1999. — 279 с.
- Переборов А. С, Сапожников В. В., Сапожников Вл. В., Лопуха А. Л. О построении схем электрической централизации по плану станции / / Труды ЛИИЖТа. 1973. Вып. 353. 44 — 51.
- И. А. Белязо, В. Р. Дмитриев, Е. В. Никитина, И. Ошурков, А. Н. Пестриков. Маршрутно-релейная централизация. — М.: Транспорт, 1974. — 320 с.
- Федеральные требования по сертификации на железнодорожном транспорте. Системы электрической централизации. — М.: МПС РФ, 2000.
- Станционные системы автоматики и телемеханики: Учеб. для вузов ж.-д. трансп. / Вл. В. Сапожников, Б. И. Елкин, И. М. Ко-курин, Л. Ф. Кондратенко, В. А. Кононов- Под редакцией Вл. В. Сапожникова. — М.: Транспорт, 1997. — 432 с.
- Электрическая централизация промежуточных станций с маневровой работой ЭЦ-12−03. Типовые материалы для проектирования. — СПб: Гипротранссигналсвязь, 2003.
- Трясов М. Методы и алгоритмы синтеза напольного технологического оборудования железнодорожной автоматики на станци-ях. Дис. на соиск. уч. степени к.т.н.: — СПб: ПГУПС, 2003. — 149 с.
- Автоматизированные системы испытаний объектов железнодорожного транспорта. Межвуз. сборник научных трудов. — Вып. 775. — М., 1986.
- Автоматизированные системы испытаний объектов железнодорожного транспорта. Межвуз. сборник научных трудов. — Вып. 814. — М., 1988.
- ОСТ 32.27 — 92. Безопасность железнодорожной автоматики и телемеханики. Организация сбора и обработки информации о безопасности систем железнодорожной автоматики и телемеханики.
- Нормы технологического проектирования устройств автоматики и телемеханики на федеральном железнодорожном транспорте (НТП СЦБ/МПС-99). — СПб: ГУН Гипротранссигналсвязь, 1999. — 76 с.
- Калман Р., Фалб П., Арбиб М. Очерки по математической теории систем. — М: Мир, 1971.
- Теория систем. Математические методы и моделирование: Сб. статей под ред. А. Колмогорова, Новикова. — М.: Мир, 1989.