CC BY
23Бузов А.А., Жихарев А.Г., Маторин С.И. О построении библиотек в системно-объектных имитационных моделях //Научный результат.
Информационные технологии. - Т.3, №4,2018
УДК 004.94; 658.5
Бузов А.А.1 Жихарев А.Г.2 Маторин С.И.2
DOI: 10.18413/2518-1092-2018-3-4-0-5
О ПОСТРОЕНИИ БИБЛИОТЕК В СИСТЕМНО-ОБЪЕКТНЫХ ИМИТАЦИОННЫХ МОДЕЛЯХ
1) ЗАО «СофтКоннект», ул. Студенческая д. 19, корпус 1, г. Белгород, 308023, Россия 2) Белгородский государственный национальный исследовательский университет, ул. Победы д. 85,
г. Белгород, 308015, Россия
e-mail: [email protected], [email protected], [email protected]
Аннотация
Статья посвящена вопросам разработки методики создания библиотек узловых объектов для реализации компонентного подхода в системно-объектном имитационном моделировании. С применением исчисления функциональных объектов - аппарата, формализующего процедуры системно-объектного моделирования процессов и систем, авторами сформулированы теоретические положения процедур построения библиотек узловых объектов, а также дальнейшего их использования в системно-объектных моделях. Рассматриваются формальные описания процесса создания библиотеки, операции импорта и экспорта узловых объектов. Сформулировано определение интерфейса узлового объекта, что, в свою очередь, позволяет автоматически подбирать узловые объекты, находящиеся в библиотеке для использования в системно-объектной модели. Кроме того, авторами рассматриваются формальные основы процедур анализа элементов библиотеки на соответствие конкретному месту в системно-объектной модели. Это достигается за счет использования алгоритма расчета коэффициента системности, показывающего степень соответствия системы запросам надсистемы. Таким образом, сформулированные теоретические положения механизмов формирования библиотек узловых объектов позволяют реализовать программные механизмы хранения отдельных частей системно-объектной модели в специальной библиотеке-репозитории для дальнейшего их использования.
Ключевые слова: системно-объектный подход «Узел-Функция-Объект»; имитационное моделирование; библиотека элементов; внутренние параметры системы; УФО-элемент; узловой объект; потоковый объект.
UDC 004.94; 658.5
Buzov A.A.1 ABOUT THE CONSTRUCTION OF LIBRARIES IN SYSTEM-OBJECT
Zhikharev A.G.2 SIMULATION MODELS
Matorin S.I.2
^ «SoftConnect» Ltd., 19 Studencheskaya St., building 1, Belgorod, 308023, Russia 2) Belgorod State National Research University, 85 Pobedy St., Belgorod, 308015, Russia
e-mail: [email protected], [email protected], [email protected]
Аbstract
The article is devoted to the development of methods for creating libraries of nodal objects for implementing the component approach in system-object simulation modeling. With the use of calculus of functional objects - the apparatus, which formalizes the procedures of the system-object modeling of processes and systems, the authors formulated the theoretical provisions of the procedures for constructing libraries of node objects, as well as their further use in system-object models. We consider the formal description of the process of creating a library, the operation of
I—I Л I—I 1-^1 Г/1 Бузов АЛ, Жихарев А.Г., Маторин СИ. О построении библиотек
Л. Л.X ^ » Л- Л. Л, И ^ М- ^С X V / / II V
р^]—^ |—7"7~ГТ Т А Т в системно-объектных имитационных моделях // Научный результат.
I Г.|") У ^ I Г) X Информационные технологии. - Т.З, №4,2018
RESEARCH RESULT!
import and export of node objects. The definition of the node object interface is formulated, which, in turn, allows you to automatically select the node objects that are in the library for use in the system-object model. In addition, the authors consider the formal foundations of the procedures for analyzing library elements for compliance with a specific place in the system-object model. This is achieved through the use of an algorithm for calculating the coefficient of systemicity, which shows the degree of compliance of the system with the requirements of the super-system. Thus, the formulated theoretical positions of the mechanisms for the formation of libraries of nodal objects make it possible to implement software mechanisms for storing individual parts of the system-object model in a special library-repository for further use. Keywords: system-object approach "Node-Function-Object"; simulation modeling; element library; internal system parameters; UFO-element; node object; streaming object.
Ввиду бурного развития науки и техники, в современном мире, разработчики, проектировщики, инженеры все чаще прибегают к применению имитационного моделирования как метода исследования объектов и процессов окружающего мира. Причем следует отметить, что исследуемые объекты с каждым годом усложняются с точки зрения их структуры, поведения и управления такими объектами. И для исследования и управления такими сложными системами требуются соответствующие средства и методики. Одной из таких методик является -имитационное моделирование, благодаря которому имеются возможности построения специальных симуляторов - программно-аппаратных комплексов замещающих объект или процесс реального мира с достаточной степенью точности. Большинство современных программных средств, позволяющих строить имитационные модели, содержат встроенные библиотеки готовых компонентов модели, что позволяет существенно сократить и упростить процедуру разработки имитационной модели. Наличие библиотек готовых элементов модели позволяет строить имитационную модель - как конструктор - из готовых частей, что естественно проще для разработчика, чем программировать модель «с нуля».
Системно-объектный метод имитационного моделирования представляет собой современную технологию описания функционирующих систем, в основу которой положен системный подход «Узел-Функция-Объект». С целью формализации процедур имитационного моделирования процессов и систем авторами разработаны положения исчисления функциональных объектов [1,2], в рамках которого системно-объектная модель представляется как:
M=(L,S), (1)
где: M - модель системы;
L - множество потоковых объектов модели, элементы которого представляют собою объект, которые не имеет методов и имеет лишь поля (2):
l=[r1, r2, ... ,rk], (2)
где:
leL;
k - количество полей потокового объекта 1;
r1, r2, ... , rk - поля потокового объекта, представляющие собой пару «идентификатор-значение».
S - множество узловых объектов модели, элементы которого описываются следующей формой (3):
s=[U, f, O], (3)
где:
U - представляет собою множество полей для описания интерфейсных потоковых объектов узлового объекта s.
f - представляет собою метод узлового объекта s, описывающий функцию преобразования входящих интерфейсных потоковых объектов (входящих связей системы) L? в выходящие - L!.
Бузов А.А., Жихарев А.Г., Маторин С.И. О построении библиотек в системно-объектных имитационных моделях //Научный результат.
Информационные технологии. - Т.3, №4,2018
О - представляет собою множество полей для описания объектных характеристик узлового объекта (системы) s.
Причем, узловые объекты модели М представляют собой ключевые элементы модели, а множество потоковых объектов - определяет отношения между узловыми объектами модели [3, 4].
Библиотека готовых элементов системно-объектной модели в таком случае будет иметь вид (1), причем |Ь|=0. То есть, модель-библиотека будет иметь лишь узловые объекты, и не будет иметь в своем составе потоковые объекты [5]. Тогда библиотеку системно-объектной модели можно рассматривать как множество узловых объектов следующего вида:
8Ч>1,82,...,&], (4)
где п - количество узловых объектов, хранящихся в библиотеке.
Рассмотрим подробнее элемент библиотеки, а точнее его формальную сторону [6, 7]. Как было отмечены выше, элемент библиотеки будет представлять собой отдельную смоделированную систему. В рамках исчисления функциональных объектов систему, описанную выражением (3), будем представлять в виде следующего выражения:
Бп=[Ь?, Ы; Г(Ь?)Ь!; О?, О!, ОГ (5)
Графический формализм, представляющий собою элемент библиотеки, представим в следующем виде:
Рис. 1. Графический формализм элемента библиотеки Fig. 1. Graphical formalism of the library element
Как видно из рисунка 1, каждый элемент библиотеки представляет собой УФО-элемент с соответствующими интерфейсными связями, по которым и проводится анализ на соответствие текущего элемента заданным характеристикам. Соответственно, библиотека элементов будет представлять собою набор узловых объектов, не связанных между собой [8].
Рассмотрим абстрактную библиотеку Бы состоящую из следующих элементов, как показано на рисунке 2.
Бузов А.А., Жихарев А.Г., Маторин С.И. О построении библиотек в системно-объектных имитационных моделях //Научный результат.
Информационные технологии. - Т.3, №4,2018
-[1?1= 1?2= 1?3] o- Of Oi L:=[lli=ll
-
f(L?)Lr
- -► :?=[i?i= i?2] L-[lii=ll
o- Of f(L?)Lr 0:
-[1?1= 1?2= 1?3] L:=[lli=ll
o- Of 0:
-
f(b->L:
- -► -►
Рис. 2. Графический формализм абстрактной библиотеки узловых объектов Fig. 2. Graphical formalism of the abstract library of nodal objects
Очевидно, что для пополнения библиотеки и ее дальнейшего использования, необходимо рассмотреть как минимум две операции на системно-объектных моделях: добавление узлового объекта в библиотеку - экспорт элемента и импорт узлового объекта из библиотеки [9]. Для описания данных операций, исчерпывающим набором параметров являются интерфейсы импортируемых и экспортируемых узловых объектов. Внутренняя организация таких объектов (функция и объект системы) для рассматриваемых операций не имеет значения. Из рисунка 2 видно, что для каждого отдельного узлового объекта интерфейсом является его идентификатор, то есть имя и наборы входных и выходных потоковых объектов с учетом их структур и типов полей. Рассмотрим в качестве примера узловой объект со структурой интерфейсных связей, как показано на рисунке 2 - первый элемент. Формальный вид данного узлового объекта представлен ниже:
&,=[ L?={l?l, У?2, Г?3}, ^={Ш,Ш}; ВДУ; O?, O!, Of] (6)
Тогда, интерфейс узлового объекта соответствует структурной характеристике системы и из выражения 3, что соответствует основным положениям методологии «Узел-Функция-Объект». Однако, помимо структурной составляющей интерфейса узлового объекта, в случае импорта и экспорта элементов, важную роль имеет типовая структура интерфейсных потоковых объектов, т.е. необходимо учитывать типы данных полей потоковых объектов, составляющих интерфейсную часть узлового объекта [10]. Таким образом, если в узловом объекте, описанном в выражении 5, интерфейсные потоковые объекты имеют следующую структуру:
Бузов А.А., Жихарев А.Г., Маторин С.И. О построении библиотек в системно-объектных имитационных моделях //Научный результат.
Информационные технологии. - Т.3, №4,2018
• 1?1=(Г1, Г2)
• 1?2=(Г1)
• 1?3=(Г1)
• 1! 1=(Г1, Г2, Гз)
• 1!2=(Г1, Г2),
тогда интерфейс узлового объекта запишем в следующем виде:
1?1=(Г1,Г2)
1?2 = (Г1)
1?3 = (Г1)
1!1 = (Г1,Г2,Гз)
1!2 = (Г1,Г2)
В общем виде выражение 7 можно записать следующим образом:
1?1=(Г1.....Г^)
L? =
L! =
^ =
L? =
L! =
1?„= (ii,...,riJ 1!i = (ri.....ryi)
1!m = (r1.....rym)
(7)
(8)
Рассмотрим подробнее операцию импорта узлового объекта б из системно-объектной модели М в библиотеку Б. Пусть дана иерархия потоковых объектов модели, содержащая три вещественных потоковых объекта со своими полями следующего вида:
= К = {I1, Г21} , = (Г12, Г22, Гз2}, = {Г13}] (9)
Множество потоковых объектов модели, описанное выражением 9, имеет следующий вид:
Рис. 3. Множество потоковых объектов системы в виде иерархии Fig. 3. Set of stream objects of the system in the form of hierarchy
Также пусть дана соответствующая системно-объектная модель M=(L,S), причем множество узловых объектов имеет следующий вид:
S=[si=(L?=0, L!={l!i}; f(L?)L!; O?, O!, Of), s2=(L?={l?i, 1?з}, L!={l!2}; f(L?)L!; O?, O!, Of),
s3=(L?={1?2}, L!={1!3}; f(L?)L!; O?, O!, Of)] (10)
V
Бузов А.А., Жихарев А.Г., Маторин С.И. О построении библиотек в системно-объектных имитационных моделях //Научный результат.
Информационные технологии. - Т.3, №4,2018
Множество потоковых объектов имеет следующий вид:
L=[ll={Sl,S2}, Ь=^2^з}, Ь=^3^2}] Графически пример описанный выражениями 9,10 и 11 имеет следующий вид:
(11)
Рис. 4. Пример системно-объектной модели Fig. 4. An example of a system-object model
Тогда, для импорта узлового объекта s2 системно-объектной модели М в библиотеку L м опишем оператор в следующем формате:
Lm* = import(M,s2,LM)^(L*=0; S*=[ s1=(L?=0, L!={l!1>; f(L?)L!; O?, O!, Of), s3=(L?={l?2}, L!={l!3}; f(L?)L!; O?, O!, Of)]; Lm*=[ S2=(L?={l?i, l?3>, L!={l!2>; f(L?)L!; O?, O!, Of)].
Результатом данной операции является библиотека Lm , пополненная узловым объектом S2 и системно-объектная модель M*(0, S*) следующего вида:
L? =
Рис. 5. Результат импорта узлового объекта в библиотеку Fig. 5. Result of importing a node object to the library
Как было отмечено выше, для работы с узловым объектом, помещаемым в библиотеку, необходимо также учитывать его интерфейс. Для рассматриваемого примера, интерфейс объекта S2 примет следующий вид:
["/?! = (г11,г21)
I /?э = (rf) (12)
L! = (Z!2 = (Г12,г22,гз2)
Следует отметить, что описанная операция импорта узлового объекта в примере предполагает извлечение вышеупомянутого элемента из модели в библиотеку, однако же, в процессе моделирования пользователь может сохранить узловой объект в библиотеку путем копирования, то есть без удаления первого из исходной модели и освобождения соответствующих потоковых объектов. В таком случае исходная модель из которой экспортируется элемент в библиотеку остается в неизменном виде, как показано на рисунке 4.
Далее рассмотрим операцию экспорта узлового объекта S2 из библиотеки Lm в системно-объектную модель M*(0, S*). Сформулируем описание оператора экспорта в следующем виде:
Бузов А.А., Жихарев А.Г., Маторин С.И. О построении библиотек в системно-объектных имитационных моделях //Научный результат.
Информационные технологии. - Т.3, №4,2018
M* = export(M,s2,LM*)^(L*=0; S*=[ s1=(L?=0, L!={l!x>; f(L?)L!; O?, O!, Of), s2=(L?={l?1, l?3}, L!={l!2}; f(L?)L!; O?, O!, Of), S3=(L?={l?2>, L!={l!3>; f(L?)L!; O?, O!, Of)]; Lm*=[ S2=(L?={l?i, l?3>, L!={l!2>; f(L?)L!; O?, O!, Of)].
Как видно из описания операции экспорта, соответствующий узловой объект был добавлен в модель, однако его необходимо соединить с существующими узловыми объектами модель. Для этого применим операцию соединения двух узловых объектов, описанных в работе [2]. Тогда получим модель в исходном виде, как представлено в выражении 10,11.
Для подбора элементов из библиотеки имеется возможность анализировать специальный количественный показатель «мера системности».
Для описания алгоритма расчета меры системности для узлового объекта с одним входом и одним выходом, как представлено на рисунке 1, введем следующие обозначения: FRFSs -(область) множество требуемых функциональных состояний узлового объекта [2] и FPSs -(область) множество возможных функциональных состояний [2]. Причем элементы данных множеств имеют вид:
as = [AM4 (13)
где:
A'1 - состояние входного потокового объекта 11;
А'2 - состояние исходящего потокового объекта 12.
Переменная MOS - представляет собой искомый коэффициент соответствия области возможных состояний и области требуемых состояний. Алгоритм расчета меры системности будет представлять собою поочередное сравнение элементов множества FRFSs с элементами множества FPSs.
Рис. 6. Алгоритм расчета меры системности узлового объекта Fig. 6. The algorithm for calculating the measure of the systemic nodal object
Бузов А.А., Жихарев А.Г., Маторин С.И. О построении библиотек в системно-объектных имитационных моделях //Научный результат.
Информационные технологии. - Т.3, №4,2018
Как видно из рисунка 6, элемент из множества требуемых состояний поочередно сравнивается с элементами множества возможных состояний. Если идентичное состояние найдено, тогда переменная MOS увеличивается на единицу и далее осуществляется переход к новому требуемому состоянию, так как далее сравнивать текущее требуемое состояние не имеет смысла, оно уже найдено. По истечении работы внешнего цикла, в переменной MOS будет содержаться количество найденных требуемых функциональных состояний из множества возможных, после чего поделив данное количество на общее количество требуемых состояний, получим значение коэффициента системности в промежутке от нуля до единицы, причем, чем ближе коэффициент к единице, тем система более соответствует запросу надсистемы. Данный алгоритм будет работать для всех видов узловых объектов, главная проблема будет состоять в адекватном формировании множества требуемых функциональных состояний узлового объекта.
Как видно из описания алгоритма, представленную числовую характеристику системы можно использовать для экспорта элементов библиотеки в модель и определения наиболее подходящего.
Таким образом, рассмотренные теоретические положения процедур формирования библиотек узловых объектов, позволяю разработать программную подсистему для реализации вышеупомянутых процессов. Это, в свою очередь, позволит в процессе системно-объектного имитационного моделирования использовать ранее смоделированные системы в текущем проекте, что существенно ускорит процесс разработки системно-объектной имитационной модели. В перспективе, планируется программная реализация описанных выше процедур и создание библиотек готовых узловых объектов в различных предметных областях.
Исследования выполнены при финансовой поддержке грантов Российского фонда фундаментальных исследований № 18-07-00355, 16-07-00193 и 16-07-00460.
1. Zhikharev, A.G., Matorin, S.I., Kuznetsov, A.V., Zherebtsov, S.V., Tchekanov, N.A. To The Problem of the Coefficient Calculus of the Nodal Object in the System-Object Models // Journal of Advanced Research in Dynamical & Control Systems, Vol. 10, 10-Special Issue, 2018. - P. 1813-1817.
2. Matorin, S.I., Zhikharev, A.G. Calculation of the function objects as the systems formal theory basis // Advances in Intelligent Systems and Computing 679, 2018, p. 182-191.
3. S.I. Matorin, A.G. Zhikharev and O.A. Zimovets Object Calculus in the System-Object Method of Knowledge Representation // Scientific and Technical Information Processing, Vol. 45, No. 5, pp. 1-10, 2018.
4. С.И. Маторин, А.Г. Жихарев Учет закономерностей при системно-объектном моделировании организационных знаний // Искусственный интеллект и принятие решений, № 03 - 2018, с. 57-68.
5. С.И. Маторин, А. Г. Жихарев Формализация системно-объектного подхода «Узел-Функция-Объект» // Прикладная информатика, том. 13, № 3(75), с. 124-135, 2018 г.
6. Егоров И.А., Жихарев А.Г., Маторин С.И. К вопросу оптимизации системно-объектных имитационных моделей // Тезисы XIX Всероссийской конференции молодых ученых по математическому моделированию и информационным технологиям, г. Кемерово, 29 октября-02 ноября 2018 г, с. 61-62.
7. Егоров И.А., Маторин С.И., Жихарев А.Г., Зайцев А.Н. Решение задач оптимизации в системно-объектных моделях // Научный результат. Информационные технологии, т. 3, № 2, с. 35-43, 2018 г.
8. С.И. Маторин, А.Г. Жихарев, О.А. Зимовец Обоснование взаимосвязей общесистемных принципов и закономерностей с позиции системно-объектного подхода // Труды Института системного анализа Российской академии наук. - 2017. - №3. - Том 67.
9. Zhikharev, A.G., Matorin, S.I., Kuprieva, I.A., Kulumbaev, E.B., Smirnova, S.B. The language of the description of the functional objects // Journal of Engineering and Applied Sciences 2017, 12 (Special issue 6), p.7859-7864.
10. А.Г. Жихарев, И.А. Егоров, М.Ю. Манзуланич, С.И. Маторин Системно-объектное имитационное моделирование систем массового обслуживания // Сетевой журнал «Научный результат», серия «Информационные технологии», - Вып. № 4(4), 2016 г.
Список литературы
Бузов А.А., Жихарев А.Г., Маторин С.И. О построении библиотек в системно-объектных имитационных моделях //Научный результат.
Информационные технологии. - Т.3, №4,2018
References
1. Zhikharev, A.G., Matorin, S.I., Kuznetsov, A.V., Zherebtsov, S.V., Tchekanov, N.A. To The Problem of the Coefficient Calculus of the Nodal Object in the System-Object Models // Journal of Advanced Research in Dynamical & Control Systems, Vol. 10, 10-Special Issue, 2018. - P. 1813-1817.
2. Matorin, S.I., Zhikharev, A.G. Calculation of the function objects as the systems formal theory basis // Advances in Intelligent Systems and Computing 679, 2018, p. 182-191.
3. S.I. Matorin, A.G. Zhikharev and O.A. Zimovets Object Calculus in the System-Object Method of Knowledge Representation // Scientific and Technical Information Processing, Vol. 45, No. 5, pp. 1-10, 2018.
4. S.I. Matorin, A.G. ZHiharev Uchet zakonomernostej pri sistemno-ob"ektnom modelirovanii organizacionnyh znanij // Iskusstvennyj intellekt i prinyatie reshenij, № 03 / 2018, s. 57-68.
5. S. I. Matorin, A. G. ZHiharev Formalizaciya sistemno-ob"ektnogo podhoda «Uzel-Funkciya-Ob"ekt» // Prikladnaya informatika, tom. 13, № 3(75), str. 124-135, 2018 g.
6. Egorov I.A., ZHiharev A.G., Matorin S.I. K voprosu optimizacii sistemno-ob"ektnyh imitacionnyh modelej // Tezisy XIX Vserossijskoj konferencii molodyh uchenyh po matematicheskomu modelirovaniyu i informacionnym tekhnologiyam, g. Kemerovo, 29 oktyabrya-02 noyabrya 2018 g, str. 61-62.
7. Egorov I.A., Matorin S.I., ZHiharev A.G., Zajcev A.N. Reshenie zadach optimizacii v sistemno-ob"ektnyh modelyah // Nauchnyj rezul'tat. Informacionnye tekhnologii, t. 3, № 2, str. 35-43, 2018 g.
8. S.I. Matorin, A.G. ZHiharev, O.A. Zimovec Obosnovanie vzaimosvyazej obshchesistemnyh principov i zakonomernostej s pozicii sistemno-ob"ektnogo podhoda // Trudy Instituta sistemnogo analiza Rossijskoj akademii nauk. - 2017. - №3. - Tom 67.
9. Zhikharev, A.G., Matorin, S.I., Kuprieva, I.A., Kulumbaev, E.B., Smirnova, S.B. The language of the description of the functional objects // Journal of Engineering and Applied Sciences 2017, 12 (Special issue 6), p.7859-7864.
10. A.G. ZHiharev, I.A. Egorov, M.YU. Manzulanich, S.I. Matorin Sistemno-ob"ektnoe imitacionnoe modelirovanie sistem massovogo obsluzhivaniya // Setevoj zhurnal «Nauchnyj rezul'tat», seriya «Informacionnye tekhnologii», - Vyp. № 4(4), 2016 g.
Бузов Андрей Анатольевич, аспирант
Жихарев Александр Геннадиевич, кандидат технических наук, доцент кафедры информационных и робототехнических систем
Маторин Сергей Игоревич, доктор технических наук, профессор, профессор кафедры информационных и робототехнических систем
Buzov Andrey Anatolyevich, graduate student
Zhikharev Alexander Gennadievich, Candidate of Technical Sciences, Associate Professor at the Department of Information and Robotic Systems
Matorin Sergey Igorevich, Doctor of Technical Sciences, Professor, Professor at the Department of Information and Robotic Systems
