Научно-технические ведомости Санкт-Петербургского политехнического университета. Информатика. Телекоммуникации. Управление
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  
Общая информация
Последний выпуск
Архив

Поиск публикаций
Поиск ссылок

RSS
Последний выпуск
Текущие выпуски
Архивные выпуски
Что такое RSS



Информатика, телекоммуникации и управление:
Год:
Том:
Выпуск:
Страница:
Найти






Персональный вход:
Логин:
Пароль:
Запомнить пароль
Войти
Забыли пароль?
Регистрация


Научно-технические ведомости Санкт-Петербургского политехнического университета. Информатика. Телекоммуникации. Управление, 2014, выпуск 4(200), страницы 57–68 (Mi ntitu49)  

Моделирование вычислительных, телекоммуникационных, управляющих и социально-экономических систем

О логико-алгебраическом представлении транспортно-логистического процесса

Я. А. Селиверстов, С. А. Селиверстов

Федеральное государственное бюджетное учреждение науки Институт проблем транспорта им. Н.С. Соломенко Российской академии наук
Аннотация: Проведен анализ предметной области. Дано логико-алгебраическое представление транспортно-логистической системы, с единых позиций введены формальные описания элементарной операции, транспортно-логистической операции, транспортно-логистического процесса. Семантикатранспортно-логистического процесса интерпретирована логикой исчисления предикатов. Интеллектуализация транспортно-логистической системы связана с самоорганизацией транспортно-логистического процесса и с автоматным поиском решений в пространстве его состояний. Адекватность модели продемонстрирована на практическом примере.
Ключевые слова: логико-алгебраические модели транспортных процесов, интелектуализация транспортно-логистической системы, логика предикатов первого порядка, теоретико-множественые модели.
Тип публикации: Статья
УДК: 656, 004.89, 510.67
Образец цитирования: Я. А. Селиверстов, С. А. Селиверстов, “О логико-алгебраическом представлении транспортно-логистического процесса”, Научно-технические ведомости СПбГПУ. Информатика. Телекоммуникации. Управление, 2014, № 4(200), 57–68
Цитирование в формате AMSBIB
\RBibitem{SelSel14}
\by Я.~А.~Селиверстов, С.~А.~Селиверстов
\paper О логико-алгебраическом представлении транспортно-логистического процесса
\jour Научно-технические ведомости СПбГПУ. Информатика. Телекоммуникации. Управление
\yr 2014
\issue 4(200)
\pages 57--68
\mathnet{http://mi.mathnet.ru/ntitu49}
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/ntitu49
  • https://www.mathnet.ru/rus/ntitu/y2014/i4/p57
  • Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    Информатика, телекоммуникации и управление
    Статистика просмотров:
    Страница аннотации:157
    PDF полного текста:109
     
      Обратная связь:
     Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2025