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

• Автор: Максименко, Олег Алексеевич
• Шифр специальности: 05.22.08
• Научная степень: Кандидатская
• Год защиты: 2004
• Место защиты: Санкт-Петербург
• Количество страниц: 249 с. : ил.

СОДЕРЖАНИЕ
ВВЕДЕНИЕ

1. РАЗРАБОТКА ПРИНЦИПОВ ПОСТРОЕНИЯ СИСТЕМЫ

АВТОМАТИЗИРОВАННОЙ ПРОВЕРКИ ПРОЕКТОВ СИСТЕМ ЖЕЛЕЗНОДОРОЖНОЙ АВТОМАТИКИ

1.1. Актуальность разработки системы автоматизированной проверки .

1.2. Анализ методов обеспечения качества проектной документации систем автоматики и телемеханики .

1.3. Разработка структуры системы автоматической проверки

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

1.6. Выводы и постановка задач диссертации.

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. Реализация и применение системы автоматизированной экспертизы принципиальных схем проектов электрической централизации
4.5. Выводы.
ЗАКЛЮЧЕНИЕ
СПИСОК ИСПОЛЬЗОВАННЫХ ИСТОЧНИКОВ


Обнаруживаемые классы ошибок не покрывают всех их вариантов, а поэтому также требуется ручная проверка. Функциональные испытания на модели, построенной непосредственно по принципиальным схемам проекта ЭЦ, аналогичны испытаниям, проводимым в ходе пуско-наладочных работ и при приемке в эксплуатацию в части, касающейся схем центрального поста. Организация процесса проектирования, непрерывный процесс обучения сотрудников, постоянный контроль качества продукта являются не менее эффективными способами достижения высоких показателей эффективности и качества. Важную роль играет сбор и анализ информации обо всех ошибках, обнаруженных как в проектной организации, так и на стадии строительства. В декабре года Международная организация по стандартизации (ІБО) выпустила новую версию стандартов на системы управления качеством 1БО . В России введены в действие три аналогичных национальных стандарта: ГОСТ Р ИСО -, ГОСТ Р ИСО - и ГОСТ Р ИСО -. Ключевое понятие, используемое в стандартах — «Система менеджмента (управления) качества» (СМК). Особенностью стандартов является то, что они предъявляют требования не к качеству продукции напрямую, а к системе организации управления производством, которое призвано обеспечивать предсказуемый и стабильный уровень качества продукции. В соответствии с ISO : для организации недостаточно просто измерять степень удовлетворенности потребителя, нужно повышать эту степень. Кроме того, необходимо измерять и совершенствовать качество внутренних процессов. Постоянное улучшение — основное положение новой версии ISO , изначально присущее модели Планируй-Делай-Проверяй-Действуй. Постоянное улучшение одна из основных задач управления качеством. Постоянное улучшение унифицированной категории продукт/услуга с последующим повышением степени удовлетворенности потребителя вот суть моделей Деминга (Deming) и системы комплексного управления качеством (TQM total quality management). Следует отметить, что эффективное управление качеством невозможно без непрерывного измерения объективных показателей качества, которые может обеспечить только автоматическая проверка. Представляется очевидным, что только непрерывная параллельная реализация всех перечисленных направлений повышения качества позволит обеспечить конкурентоспособность отрасли и повысить эффективность функционирования всего транспортного комплекса. Направление, связанное с проверкой проектной документации, является на сегодняшний день наименее разработанным. Электрическое макетирование системы признано экономически нецелесообразным. Проверка на этапе пуско-наладочных работ дает хорошие показатели выявления ошибок, но при этом значительно увеличивается стоимость обнаружения и исправления ошибки. ЕСКД, ГОСТам и ОСТам. Методы эвристической проверки, контролирующие выполнение некоторого набора правил, нашли применение в современных САПР. Опыт использования позволяет заключить, что они несомненно эффективны на некотором подмножестве ошибок. Сложность задач, решаемых проектировщиком, дает возможность сделать вывод о принципиальной ограниченности эвристических методов для задач проверки технической документации СЖАТ. Поэтому в диссертации рассматриваются методы функциональных испытаний на программных моделях как наименее разработанные и дающие наибольший эффект. ПНР). Последнее требование подразумевает как можно более полную автоматизацию проверки, а следовательно, система проверки не может требовать другой информации о проектируемой системе, кроме той, что возникла в процессе выполнения проекта. Важнейший вопрос разработки системы проверки — определение уровня моделирования. Решение этой проблемы идет двумя путями []. Во-первых, при выборе математического метода моделирования закладывается его масштабируемость. Под масштабируемостью метода понимается возможность варьировать подробность моделей элементов, при этом изменяются и затраты вычислительных ресурсов, что позволяет иметь несколько вариантов модели. Во-вторых, исходя из задач моделирования делается существенное допущение относительно режимов использования элементов и схемных решений.