В статье описывается теоретико-множественная модель функциональной структуры контейнерного терминала общего вида и структуры сложного грузопотока, обрабатываемого этим контейнерным терминалом. Показано, что выбранная форма описания модели и ее функционирования, несмотря на самый общий характер дескриптивных свойств, позволяет отразить скрытые механизмы взаимодействия отдельных функциональных элементов и учесть специфику обработки грузопотоков различной природы. Предложенная модель не только исчерпывающе описывает содержательно структуру и отношения всех операционных компонент контейнерного терминала, но и позволяет исследовать особенности динамического изменения характеристик во времени, т. е. выносить суждения о характере поведения моделируемого объекта. Показано, что для получения всех этих возможностей не требуется какая-либо трансляция теоретико-множественного описания в исполнительную компьютерную модель, т. е. отсутствует этап программирования как таковой, и все результаты выводятся непосредственно из матричных представлений. Как следствие, теоретико-множественные модели подобного рода могут служить в качестве эталонов в процедуре создания иерархической последовательности моделей со все более уточняющимися представлениями, с помощью которых обеспечивается объективное доказательство их адекватности. В работе также представлены результаты моделирования деятельности контейнерного терминала с помощью предложенного метода. Использование теоретико-множественной модели для анализа необходимого количества оборудования позволяет получить вероятностное распределение потребности в этом оборудовании. При этом распределение может быть получено без учета случайного характера используемых при расчетах параметров. Это объясняется тем, что модель позволяет учесть динамический характер работы изучаемой системы, т. е. изменение входных параметров во времени.
модель порта, теоретико-множественная модель, неравномерность грузопотока, перегрузочное оборудование
Ершов Ю. Л. Математическая логика / Ю. Л. Ершов, Е. А. Палютин. - М.: Наука, 1987. - 336 с.
Проталинский О. М. Теоретико-множественная модель процессов грузового порта / О. М. Проталинский, А. А. Ханова, И. О. Григорьева // Вестник Астраханского государственного технического университета. Серия: Управление, вычислительная техника и информатика. - 2009. - № 2. - С. 83-89.
Von Herrn Cantor. Über eine Eigenschaft des Inbegriffes aller reellen algebraischen Zahlen / Von Herrn Cantor // Journal für die Reine und Angewandte Mathematik. - 1985. - Vol. 1874. - Is. 77. - Pp. 258-262. DOI: 10.1515/crll.1874.77.258.
Cantor G. Über unendliche, lineare Punktmannigfaltigkeiten / G. Cantor // Mathematische Annalen. - 1883. - Vol. 21. - Pp. 545-591. DOI: 10.1007/BF01446819.
Михеев М. Ю. Математические и информационно-структурные модели эргатических систем: монография / М. Ю. Михеев [и др.]. - Пенза: Изд-во ПензГТУ, 2015. - 160 с.
Elrad T. Aspect-oriented programming / T. Elrad, R.E. Filman, A. Bader // Communications of the ACM. - 2001. - Vol. 44. - No. 10. - Pp. 29-32. DOI:10.1145/383845.383853.
Simmonds D. M. The Programming Paradigm Evolution / D. M. Simmonds // Computer. - 2012. - Vol. 45. - No. 06. - Pp. 93-95. DOI: 10.1109/MC.2012.219.
Völter M. Model-driven software development: technology, engineering, management / M. Völter, T. Stahl, J. Bettin, A. Haase, S. Helsen. - John Wiley & Sons, 2006. - 446 p.
Mens T. Challenges in software evolution / T. Mens, M. Wermelinger, S. Ducasse, S. Demeyer, R. Hirschfeld, M. Jazayeri // Eighth International Workshop on Principles of Software Evolution (IWPSE’05). - IEEE, 2005. - Pp. 13-22. DOI: 10.1109/IWPSE.2005.7.
Шилов Н. В. Заметки о трёх парадигмах программирования / Н. В. Шилов // Компьютерные инструменты в образовании. - 2010. - № 2. - С. 24-37.
Frame S. A Comparison of Functional and Imperative Programming Techniques for Mathematical Software Development / S. Frame, J. W. Coffey // Journal of Systemics, Cybernetics and Informatics. - 2014. - Vol. 12. - Num. 2. - Pp. 49-53.
Кузнецов Александр Львович - доктор технических наук, профессор
thunder1950@yandex.ru. kaf_pgt@gumrf.ru
ФГБОУ ВО «ГУМРФ имени адмирала С. О. Макарова»Семенов Антон Денисович - диспетчер
ООО «Логистический парк «Янино»; ФГБОУ ВО «ГУМРФ имени адмирала С. О. Макарова»Щербакова-Слюсаренко Виктория Николаевна - кандидат технических наук
ФГБОУ ВО «ГУМРФ имени адмирала С. О. Макарова»