post_parent): $temp_content = $post->post_content; $temp_content = explode("

",$temp_content); $temp_content = $temp_content[1]; $temp_content = explode("

",$temp_content); $temp_content = $temp_content[0]; $temp_content = strip_tags($temp_content); $temp_content = trim($temp_content); $authors = explode(",",$temp_content); ?> post_title));?>"> $value): ?> "> "> "> post_content); while ($parser->parse()) { if (($parser->iNodeName=="a")&&(substr_count($parser->iNodeAttributes['href'],".pdf")>0)): ?>

Формальная модель кольцевой транспортной сети. Реализация преобразования диалоговой нотации к исходному коду

Богушевська Н.В., Томашевський В.М.

Предложены формальные модели, позволяющие задать характеристики транспортного средства и объекта перевозки для кольцевой транспортной сети. Созданы диалоговые нотации для задания параметров кольцевой сети. Определены функциональные зависимости, позволяющие использовать для моделирования транспортной сети программный код, в котором конфигурация транспортной сети зависит только от параметрической настройки зависимостей. Рассмотрен пример задания транспортной сети при помощи формальных моделей и функциональных зависимостей.


Загрузить (pdf)