Формальна модель кільцевої транспортної мережі. Реалізація перетворення діалогової нотації до програмного коду

dc.contributor.authorБогушевська, Наталія Володимирівна
dc.contributor.authorТомашевський, Валентин Миколайович
dc.date.accessioned2013-11-30T09:58:45Z
dc.date.available2013-11-30T09:58:45Z
dc.date.issued2008
dc.description.abstractenFormal models for defining description of transport facilities and transportation objects in circular traffic net are proposed. Dialog notations for defining ring net attributes are made. Functional dependencies that allow use for modeling the program segment, in which the configuration of ring net depends only on parametric tuning of those dependencies, are described. An example of defining circular traffic net by means of proposed formal models and functional dependencies is viewed.uk
dc.description.abstractruПредложены формальные модели, позволяющие задать характеристики транспортного средства и объекта перевозки для кольцевой транспортной сети. Созданы диалоговые нотации для задания параметров кольцевой сети. Определены функциональные зависимости, позволяющие использовать для моделирования транспортной сети программный код, в котором конфигурация транспортной сети зависит только от параметрической настройки зависимостей. Рассмотрен пример задания транспортной сети при помощи формальных моделей и функциональных зависимостей.uk
dc.format.pagerangeС. 19-24uk
dc.identifier.citationБогушевська Н. В. Формальна модель кільцевої транспортної мережі. Реалізація перетворення діалогової нотації до програмного коду / Н. В. Богушевська, В. М. Томашевський // Вісник НТУУ «КПІ». Інформатика, управління та обчислювальна техніка : збірник наукових праць. – 2008. – № 48. – С. 19–24. – Бібліогр.: 5 назв.uk
dc.identifier.urihttps://ela.kpi.ua/handle/123456789/6192
dc.language.isoukuk
dc.publisherВек+uk
dc.publisher.placeКиївuk
dc.sourceВісник НТУУ «КПІ». Інформатика, управління та обчислювальна техніка: збірник наукових працьuk
dc.source.nameВісник НТУУ «КПІ». Інформатика, управління та обчислювальна технікаuk
dc.status.pubpublisheduk
dc.subject.udc004.94(075.8)uk
dc.titleФормальна модель кільцевої транспортної мережі. Реалізація перетворення діалогової нотації до програмного кодуuk
dc.typeArticleuk
thesis.degree.level-uk

Файли

Контейнер файлів
Зараз показуємо 1 - 1 з 1
Вантажиться...
Ескіз
Назва:
48_04.pdf
Розмір:
298.65 KB
Формат:
Adobe Portable Document Format
Ліцензійна угода
Зараз показуємо 1 - 1 з 1
Ескіз недоступний
Назва:
license.txt
Розмір:
1.71 KB
Формат:
Item-specific license agreed upon to submission
Опис: