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

Аннотация

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

Ключевые слова

генетический алгоритм, верификация на модели, темпоральная логика

Читать полный текст статьи:  PDF

Список литературы

Чебатуркин А. А. Методы верификации конечных автоматов, взаимодействующих по акторной модели / А. А. Чебатуркин, М. А. Мазин. - СПб.: СПбИТМО, 2010
NuSMV User Manual [Электронный ресурс]. - Электрон. дан. - Режим доступа: http://nusmv.irst.itc.it/NuSMV/userman/index-v2.html
Правила пропуска судов и составов через шлюзы внутренних водных путей Российской Федерации: утв. приказом Минтранса РФ от 24 июля 2002 г. № 100
Кононов В. В. Гидротехнические сооружения водных путей, портов и континентального шельфа (Судоходный канал и бетонный шлюз) / В. В. Кононов. - СПб.: СПбГУВК, 2009

Об авторах

Стальмаков В. А.

ГУМРФ имени адмирала С. О. Макарова