CC BY
55
Levin Ilya Israilevich - Kalyaev Scientific Research Institute of Multiprocessor Computer Systems at Southern Federal University; e-mail: [email protected]; 224/1, Lenin street, ap. 65, Taganrog, 347922, Russia; phone: +78634623226; deputy director of science; dr. of eng. sc.
Pelipets Andrey Vladimirovich - e-mail: [email protected]; 1, S. Lazo street, ap. 36, Taganrog, 347924, Russia; phone: +78634315491; research assistant.
Sorokin Dmitry Anatolievich - e-mail: [email protected]; 21, Ukrainskiy Lane, ap. 30, Taganrog, 347922, Russia; phone: +78634315491; senior staff scientist.
УДК 519.711.3
С.Н. Никольский, И.Ф. Сурженко
СИСТЕМНЫЙ СТРУКТУРНЫЙ ТИП: «ДИНАМИЧЕСКАЯ СИСТЕМА ОБЪЕКТОВ»
В современной теории компьютерных информационных систем особое место уделяется исследованиям процесса концептуального анализа. Как результат возникли технологии структурного анализа, которые представляют собой детализацию процесса моделирования на концептуальном уровне, в моделях жизненного цикла программного обеспечения. В частности, к ним относятся ARIS, UML, BpML и другие технологии, использующие объектно- и процессно-ориентированный подходы. Становится понятным, что технология структурного анализа определяется совокупностью понятий, в терминах которых строится модель объекта автоматизации, т.е. онтологией, принимаемой разработчиком. Необходимым требованием к онтологии является ее универсальность, понимаемая как максимально возможная независимость от типа объекта автоматизации, обеспечивающая широту применения соответствующей технологии структурного анализа. Понятие система образует универсальную онтологию, в которой значения называющей формы «система» детализируются в общей и математической теории систем, системном анализе и исследовании операций. Развитие технологии структурного анализа связывают с системно-ориентированным подходом, представленным в форме SysML, что в больше мере отвечает целям системной инженерии. Целью статьи является исследование возможности использования метаонтологии «объект» для построения метаонтологии «динамическая система объектов». Основная задача состоит в построении структурной модели динамической системы объектов. В работе показано, что структурная модель динамической системы объектов может быть построена на основе метамоделей естественной метаонтологии с использованием принципа онтологической редукции.
Онтологический подход; структурное моделирование; системная инженерия системный структурный тип; пространство состояний объектов; динамическая система объектов.
S.N. Nikolsky, I.F. Surgenko STRUCTURAL SYSTEM TYPE: DYNAMIC SYSTEM OF OBJECTS
The research ofprocess of structural analysis takes the important place in the modern theory of computerized information systems. As a result we have the technologies of structural analysis, which represent the detail of the modeling process at a conceptual level, from the software life cycle models. In particular, these include ARIS, UML, BpML, and other technologies that use object - and process-oriented approaches. It becomes clear that the technology of structural analysis is determined by a set of concepts in terms of which the object model of automation, i.e., ontology, taken by the developer. A necessary requirement of the ontology is its universality, understood as the highest possible independence from the type of automation object that provides the breadth of application of appropriate technology of structural analysis. The concept of system forms a universal ontology, in which the values of the calling form "system" is detailed in the Gen-
eral and mathematical systems theory, system analysis and operations research. The development of technology of structural analysis associated with a system-oriented approach, presented in the form of SysML that is more suited to the goals of systems engineering. The purpose of this paper is to study the possibility of using metaontology "object" to build metaontology "dynamic system of objects". The main objective is to construct a structural model of a dynamic system of objects. The paper shows that the structural model of the dynamic system of objects can be constructed on base of the metamodels of natural metaontology and the principle of ontological reduction.
Ontological approach; structural modeling; systems engineering structural type system; the state space of objects; dynamic system of objects.
Введение. Разработка идей, лежащих в основе жизненного цикла программного обеспечения, представляющего суть инженерии проблемно-ориентированных САПР, поставила целый ряд проблем современной информатики. Одной из основных является проблема разработки языка проектирования проблемно-ориентированных САПР, который позволяет обеспечить развитие САПР до уровня интеллектуальных компьютерных систем. В этом отношении представляется актуальным установить связь онтологий с разработкой современных проблемно-ориентированных САПР. Исходной посылкой является онтологический подход, когда построение модели объекта проектирования ведется в терминах выбранной совокупности понятий (онтологии).
Постановка задачи. В работах [1, 2] показано, что метаонтология MetaOntNAT, состоящая из понятий {объект, свойство, отношение}, как часть онтологической системы представления знаний, приводит к объектным структурным типам из 1(ob). Данные типы, соответствуют семантической категории «объект», в которую редуцируются остальные семантические категории метаонтологии MetaOntNAT. Структурный тип,а именно, пара
ST = < Носитель, Связи между элементами носителя> (1)
может рассматриваться как основание общего подхода к построению абстрактных моделей, [1]. Совокупность связей между элементами носителя есть сигнатура структурного типа ST. Любой элемент носителя структурного типа из 1(ob) называют элементарным объектом, а любой структурный тип из 1(ob) -сложным объектом [3, 4].
В соответствии c [2] для построения структурной модели динамической системы объектов следует выбрать исходную концептуальную модель динамической системы и построить конечную модель в форме структурного типа, т.е. системный структурный тип. Тем самым, необходимо построить носитель и связи между его элементами, учитывая, что в теории систем понятие «динамическая система» syst, связывают с отношением причинной связи [5].
В настоящей работе в качестве исходной модели причинной связи принимается отношение, предложенное П. Хайесом в [6]:
а ^ b = «индивид а причинно связан с индивидом b», где причинность определяется на множестве индивидов в форме условного высказывания:
а ^ b = «если изменяется некоторое свойство индивида а, то, вероятно, изменится и некоторое свойство индивида b».
Таким образом, задача состоит в том, чтобы построить структурные модели динамической системы в форме структурного типа (1), исходя из структурных объектных типов из 1(ob), используя отношение причинной связи а b, и результаты из [2, 7].
В общем случае решение этой задачи есть переход от МН (Н) - начальной модели объекта исследования к его конечной модели МК (Н) [2]. В нашем случае начальная модель динамической системы syst, определяется следующим образом:
«syst есть объект исследования, обладающий динамикой», (2)
а конечная модель syst определяется отношением а ^ b и имеет форму структурного типа (1),
МК (Н) = <носитель, а ^ b>, где МК (Н) - модель динамической системы объектов в форме структурного типа.
Обобщенная задача реализации для понятия «динамическая система объектов». Рассмотрим V(ob) - объем семантической категории «объект». Согласно [2, 7], в MetaOntNAT переходу от МН (Н) к МК (Н) соответствует обобщенная задача реализации
[ob] ^1(ob),
а ее решениями являются объектные структурные типы:
1(ob) = {g0, gl, g2, g3}, (4)
g0 = <A> - множество, g1=<AR> - множество с отношениями (реляционная система), g2=<AF> - множество с операциями (алгебра), их комбинация дает третий тип g3 = <ARF> - множество с отношениями и операциями (алгебраическая система).
По аналогии, обобщенная задача реализации в метаонтологии, задаваемой понятием «динамическая система» MetaOntSYS определяется как
[syst] ^l(syst), (5)
где l(syst) -множество системных структурных типов. Следовательно, решение поставленной выше задачи есть решение обобщенной задачи реализации, которое, в данном случае состоит в том, чтобы построить совокупность структурных типов, реализующих конечную модель динамической системы
МК (Н) = l(syst) = <носитель, а ^ b>,
что означает:
♦ выбрать принцип построения системного структурного типа;
♦ построить носитель системного структурного типа;
♦ построить модель (реализацию) отношения а ^ b в элементах носителя.
Принцип построения системного структурного типа. Вопрос о выборе
принципа построения системного структурного типа состоит в том, каким образом решается обобщенная задача реализации для метаонтологии MetaOntSYS. Пусть V(syst) - объем понятия «динамическая система». По постановке задачи ее решение должно быть получено на основе объектных структурных типов естественной метаонтологии MetaOntNAT. Тогда схема решения обобщенной задачи реализации в метаонтологии MetaOntSYS принимает вид
Мн(Н) = 1(ob) ^l(syst), (6)
где l(syst) есть совокупность структурных моделей одного элемента объема понятия «динамическая система».
В силу того, что в (2) модель 1(syst) определена на концептуальном уровне, для решения поставленной задачи необходимо согласовать метаонтологию динамической системы MetaOntSYS с метаонтологией MetaOntNAT структурных типов 1(ob).
С логической точки зрения это значит, что принципом решения обобщенной задачи реализации в MetaOntSYS является онтологическая редукция [8], которая состоит в том, чтобы определить понятия из метаонтологии MetaOntSYS, необходимые для построения конечной модели МК (Н) = <носитель, а ^ b>, в терминах понятий из метаонтологии MetaOntNAT = {объект, свойство, отношение}.
Основанием для редукции является то, что согласно (2) элементы носителя системного структурного типа из МК (Н) = l(syst), являются элементарными объектами, наделенными динамикой или элементарными динамическими объектами.
Носитель системного структурного типа. Вопрос о носителе системного структурного типа МК(Н) состоит в изменении точки зрения на элементы носителя объектных структурных типов из l(ob), так как отношение а ^ b предполагает, что свойства элементов носителя могут изменяться.
Рассмотрим метаонтологию физической точки [7].
{объект, состояние, время} = МегаОпгБ¥Т.
Пусть У(оЪ) есть совокупность элементов объема семантической категории «объект», 8 - совокупность элементов объема семантической категории «состояние.», Т - совокупность элементов объема семантической категории «время». Множество
Буг = {еуг = (оЬ, 8, г) | оЬ еУ(оЬ), 8 е 8, г еТ} будем называть пространством элементарных динамических объектов. Каждый «элементарный динамический объект» еугеБуг разделяется на два подтипа [7]:
♦ событие с объектом: еуг(оЬ, 8) = ((оЬ, 8), г);
♦ элемент динамики объект а: еуг(8, г) = (оЬ, (8, г)).
Элементарный динамический объект еуг = (оЬ, 8, г) в целом понимается как событие, которое в метаязыке £( МегаОпгБУТ ) представляется предложением [7]:
Б(оЬ,8,г) = «оЬ существует и находится в состоянии 8 на элементе времени г»
которое задает «мягкую» онтологию, расширяющую «жесткую» онтологию из [9], задаваемую предикатом существования:
Б(оЬ,г) = «оЬ существует на элементе времени г».
Замечание. Элементарный динамический объект соответствует понятию «физическая точка» в том смысле что «точка в пространстве-времени задается только физически происходящими в ней событиями, а не ее положением в какой-то особой системе координат» [10].
Определим носитель системного структурного типа из 1(syst) в (6) как подмножество
Е = {еуг | еугеБуг } с Буг, (7)
которое получается из носителя выбранного объектного структурного типа g из 1(сЬ), причем, с концептуальной точки зрения, элементарный объект оЬ из тройки еуг = (оЬ, 8, г) может пониматься как элементарный класс
сЬ = <[оЬ], А(оЬ)>. (8)
Тогда элементарные объекты есть элементы из А(оЬ) - экземпляры объекта оЬ.
Пространство состояний элементарных объектов: элементы носителя. Понятие состояния является центральным в теории систем. В нашем случае, принцип онтологической редукции для решения обобщенной задачи реализации (6) состоит в том, чтобы определить элемент «состояние» в еуг = (оЬ, 8, г) как совокупность характеристик, отнесенных элементу «объект» из этой тройки, полагая, что характеристики определяются сигнатурой объектного структурного типа g из 1(оЬ). Тогда метаонтология физической точки МегаОпгБ¥Т будет концептуальной системой, в которой определяется носитель системных структурных типов. Для этого общую структуру пространства состояний объектов следует определить как тройку составляющих
8(оЬ) = <8(в0), 8(в1), 8(§2)>.
Пространство состояний 8(оЬ) есть пространство состояний элементарных объектов, потому, что с точностью до автонимии в (8) элементы носителей типов g0, §1, g2, g3 из 1(сЬ) есть элементарные объекты. Автонимия означает отождествление «имени» объект [оЬ] из (8) со своим «значением» - классом объектов А(оЬ) в целом. При этом каждый экземпляр класса А(оЬ) рассматривается как элементарный объект или «точка» - неструктурированное целое.
Определим 8(оЬ) следующим образом:
1. 8(§0) = - числовые характеристики объектов. 8(§0) разбивается на:
80 (А(оЬ)) - числовые характеристики элементарных классов;
80 (ех) - числовые характеристики экземпляров классов.
2. 8(§1) = {8(г) | rеRJ: 3х3у(хгу), где х, уеА - носитель типа §1, ^ - отношение на А}.
Состояния из 8(§1) порождены отношениями RJ, ]=1,М между экземплярами х,у элементарных классов Ак(оЬ), к=1, М. Характеристиками объекта х в 8(§1) являются элемент г отношения RJ или/и объект у.
Заметим, что в понятия «отношение» и «отображение», входящие в определение объектных структурных типов §0, §1, §2 из 1(сЬ) сводятся к понятию «соответствие» [11], которое символически обозначим через стрелку
3. 8(§2) = {8(^) |^еFk : 3х3у(х Ф где хеА-носитель типа §2, Рк- операция на А}.
Состояния из 8(§2) порождены бинарным отношением Ф между объектами и стрелками-соответствиями. Характеристиками объекта х в 8(§2) являются стрелка-соответствие ^ из отображения Fk или объект у, который ставится в соответствие некоторому объекту ъ носителя при применении к нему стрелки ассоциированной с объектом х.
Таким образом, каждая составляющая пространства состояний 8(оЬ) определяется сигнатурой объектного структурного типа g из 1(сЬ), используемого при онтологической редукции в схеме (6):
<8(§0) >, если в (6) используется тип §0 <8(§0), 8(§1)>, если в (6) используется тип §1 <8(§0), 8(§1), 8(§2)>, если в (6) используется тип §2, §3. Динамика: отношение системной связи. Изменение объекта связывают с изменением его состояния-характеристики, т.е. с наличием у него динамики.
С точки зрения структурной парадигмы «элементарный - сложный» динамику в МегаОпгБ¥Т можно определить как сложный динамический объект, образованный из множества элементарных динамических объектов еуг е Буг. Пусть оЬ -элементарный объект из А - носитель структурного типа g из 1(сЬ). Рассмотрим структуру
syst(ob) = <{ еуг = (оЬ, (8, г)) | еуг е Буг}, < >, где 8е8 - составляющая 8(оЬ), геТ, а отношение < определяется исходя из модели времени Т или отношением порядка на 8. В зависимости от этого выделим две динамики
syst(ob): Т ^ 8 - временная динамика (Т-динамика) syst(ob) с 8 х 8 - динамика состояний (8-динамика) которые будем называть базисными динамиками элементарного объекта или элементарными динамическими системами объекта.
Сложные динамические системы определяются отношением системной связи [7]. Пусть х и у - объекты с динамиками Э(х) и Э(у) соответственно и пары а(х) ^ (81, г:) ^р (82, г2) %) ^ (8'!, г'а) (8'2, г'2) есть переходы между их элементами, соответствующими изменению состояний. Если выполнено условие
3(81, го З(8'ь г'1) [(81, го ^ р (82, г2)] ^ [(8'1, г'1) ^ я г'2)], где г'1, то динамика 3(х) объекта х называется системно связанной с динамикой 3(у) объекта у. Связка здесь соответствует номологической импликации. Системную связь удобно представить в форме следующей схемы-диаграммы:
х: ^1, г1)^р(82, г2)
^ (9)
у: (^ь г'1)^ч(8'2, г'2).
Вертикальная стрелка 0N - соответствие указывает, что системная связь есть соответствие между стрелками и , т.е. между верхним и нижним переходами (sb ti) (s2, t2) и (s'b t'i) (s'2, t'2). Отношение системной связи, будем обозначать (3(х), 3(y)).
Реализация отношения причинности а^b в Evt. Построим модель (реализацию) отношения а ^ b в носителе системного структурного типа, т.е. в множестве элементарных динамических объектов Е (7).
Покажем, что такой моделью является отношение системной связи (3(х),
3(y)).
Рассмотрим отношение причинности «a ^ b», которое связывает изменения индивидов a и b между собой. В онтологии физической точки MetaOntEVT индивиды a и b могут быть представлены как
a = (ob1 ,3 (ob1) ) b = (ob2 ,3 (ob2) ),
где ob1, ob2 - есть объекты-элементы носителя А структурного типа g из 1(ob), с динамиками 3 (ob1) и 3 (ob2) соответственно. Так как элементами динамик являются пары вида (s, t), то по определению системная связь
^ N (3 (obi), 3 (ob2)), есть связь между переходами динамик, т.е. между стрелками и диаграммы (9). Следовательно, системная связь, связывает изменения состояний объектов ob1, ob2, что соответствует смыслу отношения «a ^ b».
По определению отношение «a ^ b» имеет две формы представления в Evt:
♦ множество {ob1, ob2} - представление отношения a ^ b в V(ob) - объектное представление.
♦ ^N(3(ob1), 3(ob2)) - представление отношения a ^ b в S(ob), динамическое представление.
Таким образом, отношение (причинности) a ^ b представляет особую форму бинарного отношения на объектах,
^ N (obi, ob2) (10)
смысл которого определяется в форме зависимости между их динамиками, т.е. между событиями с объектами (на элементах динамик).
Системный структурный тип: решение обобщенной задачи реализации в метаонтологии MetaOntSYS. Обобщенная задача реализации в метаонтологии MetaOntSYS определяется как (5)
[syst] ^l(syst).
В соответствии с принципом онтологической редукции ее решение строится по схеме (6)
1(ob) ^l(syst).
Сказанное выше позволяет следующим образом построить ее общее решение, т.е. решение поставленной в работе задачи. Пусть g некоторый структурный тип из 1(ob) с носителем А, и S* есть фиксированная составляющая пространства состояний S(ob). Пусть множество
3(A) = {3(х) | хеА} есть множество базисных динамик элементов носителя, а множество,
D(A) = { <3(х), 3(y)> | ^ N (3(х), 3(y)), 3(х), 3(у)е3(А)} есть отношение системной связи на 3(A). Тогда пара
Syst (A) = <А, D(A)>
является структурным типом по форме (1) и совмещает объектное и динамическое представление отношения причинности a ^ b в MetaOntEVT.
По построению, Syst (A) является решением обобщенной задачи реализации (5) в метаонтологии MetaOntSYS построенным по схеме (6) и представляет собой системный структурный тип из 1(syst), соответствующий выбранному для редукции объектному структурному типу g из 1(ob) и соответствующей составляющей S* пространства состояний объектов S(ob).
В объектном представлении (10) системная связь ^N(3(x), 3(y)), определенная как отношение на множестве динамик, позволяет говорить о носителе А системного структурного типа Syst(A), как о совокупности объектов А, наделенной отношением системной связи в пространстве состояний своих элементов
Syst (A) = <А, ^ N (obi, ob2)>, т.е. как о «динамической системе объектов», которая может рассматриваться как совокупность, типа «динамическая система».
Пример. Покажем, что системный структурный тип Syst (A) определяет процесс моделирования, как процесс последовательного уточнения модели объекта автоматизации при решении задачи синтеза проблемно-ориентированоой САПР. Рассмотрим в качестве примера, задачу о водохранилищах [12].
Результат анализа процесса моделирования в этой задаче в терминах системного структурного типа,
Syst (A) = <А, D(A)>
представлен ниже.
Структурный тип в задаче о водохранилищах есть g из 1(ob) есть g0 = <A>. Динамики элементов носителя являются временными.
a) Элементы носителя А: 3(A): Динамики 3(ob) элементов носителя А: ob1 - осадки 3(ob1) = r1(t) - количество осадков
ob2 - осадки 3(ob2) = r2(t) - количество осадков
ob3 - водохранилище 3(ob3) = x1 (t) - наполнение водохранилища
ob4 - водохранилище 3(ob4) = x2(t) - наполнение водохранилища
ob5 - водохранилище 3(ob5) = x3(t) - наполнение водохранилища
ob6 - водохранилище 3(ob6) = x4(t) - наполнение водохранилища
Пространством состояний каждого из объектов является_ S(g0) = R1. Базисные динамики элементов носителя - временные.
Модель включает две формы представления системной связи ^ N (ob1, ob2) в пространстве состояний объектов-водохранилищ:
b) Структурное представление отношения системной связи ^ N (ob1, ob2) на A как отношения на множестве временных динамик из 3(A) задается графом G:
Рис 1. Структурное представление системной связи (obi, ob2) на A
с) Параметрическое представление отношения системной связи ^ м (оЪь оЬ2) на А в виде системы уравнений состояния в Я4, построенной на основе графа в Х1(0 = X!© - ^Х^) - И!© + Г1(г) Х2© = Х2© - 12X2© - ^(1) + Г2© Хз© = хэ(г) + 1э(х4© -хэ(г)) - кхз(г) + И!© + Ц2(г) Х4(г) = Х4© + 11X1(1) + 12X2(1) - 1з(Х4© -Хз(1))
Веса ребер графа G, входящие в уравнения, содержательно определяемые в [12], рассматриваются как степени интенсивности системной связи между динамиками из 3(A). В том числе и ui(t), u2(t), которые содержательно определяются в [12] как попуски воды из водохранилищ.
Процесс построения модели для объектного структурного типа g2=<AF> -множество с операциями приведен в [13]. Замечание.
Пример показывает, что водохранилища составляют «динамическую систему объектов» постольку, поскольку динамики водохранилищ находятся в отношении системной связи (связаны между собой).
Пример приводит конкретный вид динамической системы объектов, построенной на основе системной связи объектов, заданной в структурном и параметрическом представлении. В логическом смысле Пример предъявляет одну из интерпретаций структурного системного типа из Syst (A), а значит, пример синтеза про-блемно-оринтированной САПР на основе Syst (A).
Пример подчеркивает особенность предложенного подхода, состоящую в том, что часто в математической теории систем носитель А не относят к математической модели системы и, следовательно, модель не описывает логику процесса разработки проблемно-ориентированной САПР, требующую выделения объектов автоматизации на основе структурных типов начиная с концептуальных моделей, относящихся к ранним стадиям разработки САПР, и заканчивая, параметрическими моделями, относящимися к конечным этапам.
Благодарности. Авторы искренне благодарят д.т.н., профессора В.В. Куль-бу за содержательные советы и поддержку высказанных здесь положений.
Заключение. С точки зрения концепции онтологического подхода, результаты оказываются близкими к подходу, предлагаемому в [14], но, в отличие от него, опирается на математические модели, дополняя их понятием «динамическая система объектов». С точки зрения практики проектирования САПР подход соответствует современной тенденцией развития инженерии разработки программного обеспечения, который связывают с системно-ориентированным подходом, представленном в форме SysML [15]. В контексте решения общих проблем онтологического подхода к разработке проблемно-ориентированных САПР, представленные результаты имеют прямое отношение к исследованиям связи онтологического и лингвистического метамоделирования [16], когнитивистике [17], а также к проектированию информационных компьтерных систем на основе использования связанной совокупности моделей [18-20].
БИБЛИОГРАФИЧЕСКИЙ СПИСОК
1. Никольский С.Н. Онтологические модели жизненного цикла информационно-управляющих систем. Сибирское отделение РАН, Институт математики им. С. Л. Соболева // Материалы Всероссийской конференции с международным участием «Знания-Онтологии-Теории» (ЗОНТ-2007). Новосибирск, 14-16 сентября 2007. - С. 184-190.
2. Никольский С.Н., Сурженко И.Ф. Автоматизация информационных систем и метамоделирования // Известия ЮФУ. Технические науки. - 2014. - № 7 (156). - С. 187-195.
3. ГолдблаттР. Топосы: категорный анализ логики. - М.: Мир, 1983. - 486 с.
4. Агафонов В.Н. Языки и средства спецификации программ (обзор) // Сб. статей «Требования и спецификации в разработке программ». - М.: Мир, 1984. - С. 285-344.
5. Месарович М., Такахара Я. Общая теория систем: математические основания. - М.: Мир, 1978. - 311 с.
6. ХайесП. Логика действий. В кн. Интегральные роботы. - М., Мир, 1975. - 526 с.
7. Kulba V., Nikolsky S., Zaikine O. Ontological approach to modeling of discrete event dynamic system // Bulletin of the Polish Academy of Sciences. Technical Sciences. Modeling and optimization of manufacturing systems. - September 2009. - Vol. 57, Issue 3. - P. 241-247. (http://www.ippt.gov.pl/~bulletin/(57-3)241.html).
8. ЦелищевВ.В. и др. Логика и онтология // Сб. статей. - М.: Наука, 1977. - 261 с.
9. Никольский С.Н., Сурженко И.Ф. Онтологический анализ отношения «цель-результат» // Известия ЮФУ. Технические науки. - 2013. - № 7 (144). - С. 107-111.
10. Смолин Л. Атомы пространства и времени // В мире науки, Scientific American. - 2004.
- № 4. - С. 96.
11. Кон П. Универсальная алгебра. - М.: Мир, 1968. - 349 с.
12. Касти Дж. Большие системы. Связность, сложность и катастрофы. - М.: Мир, 1982.
- 286 с.
13. Kulba V., Nikolsky S. Metaontology DEDS: Operational dynamic system on classes // J. Management and Production Engineering Review. - September, 2011. - Vol. 2, No. 3. - P. 28-34.
14. Wolf K.E. Applications of Temporal Conceptual Semantic System // RF Conference with international participation, Sobolev Institute of Mathematics, Preprints. - September, 2007. - Vol. 1.
- P. 3-15.
15. Bennett, Matthew B., Ingham, Michel, Jenkins, Steven, Karban, Robert, Rouquette, Nicolas, Wagner, David A. An Ontology for State Analysis: Formalizing the Mapping to SysML // IEEE Aero Conference 2012.
16. Ericksson O., Henderson-Sellers B., Agrefalk P.J. Ontological and Linguistic metamodeling revisited // J. Informanion and Software Technology. - 2013. - № 55. - P. 2099-2124.
17. Lee H., Jaekwon S. Ontological semantic inference based on cognitive map // J. Expert systems with Applications. - 2014. - No. 41. - P. 2981-2988.
18. Christopher L. Delp, Elyse Fosse. Jet Propulsion Laboratory, Systems Engineering Interfaces: A Model Based Approach, California Institute of Technology, Pasadena, CA, USA. Submitted to 2013 IEEE Aerospace Conference Big Sky, Montana, March 2-9, 2013.
19. Delligatti, Lenny. SysML Distilled: A Brief Guide to the Systems Modeling Language. - Ad-dison-Wesley Professional, 2013. - ISBN 978-0-321-92786-6.
20. Никольский С.Н., Сухов А. Методика организации процесса сопровождения ИТ-систем // Известия ЮФУ. Технические науки. - 2011. - № 7 (120). - С. 170-174.
REFERENCES
1. Nikol'skiy S.N. Ontologicheskie modeli zhiznennogo tsikla informatsionno-upravlyayushchikh sistem. Sibirskoe otdelenie RAN, Institut matematiki im. S.L. Soboleva [Ontological model of life cycle information management systems. Siberian branch of the RAS, Institute of mathematics im. S. L. Sobolev], Materialy Vserossiyskoy konferentsii s mezhdunarodnym uchastiem «Znaniya-Ontologii-Teorii» (ZONT-2007). Novosibirsk, 14-16 sentyabrya 2007 [Materials of all-Russian conference with international participation "Knowledge-Ontology-Theory" (an UMBRELLA-2007). Novosibirsk, 14-16 September 2007], pp. 184-190.
2. Nikol'skiy S.N., Surzhenko I.F. Avtomatizatsiya informatsionnykh sistem i metamodelirovaniya [Automation of information systems and metamodelling], Izvestiya YuFU. Tekhnicheskie nauki [Izvestiya SFedU. Engineering Sciences], 2014, No. 7 (156), pp. 187-195.
3. GoldblattR. Toposy: kategornyy analiz logiki [Topoi: the categorical analysis of logic]. Moscow: Mir, 1983, 486 p.
4. Agafonov V.N. Yazyki i sredstva spetsifikatsii programm (obzor) [Languages and tools program specification (review)], Sb. statey «Trebovaniya i spetsifikatsii v razrabotke programm» [The collection of articles "Requirements and specifications in software development"]. Moscow: Mir, 1984, pp. 285-344.
5. Mesarovich M., Takakhara Ya. Obshchaya teoriya sistem: matematicheskie osnovaniya [General systems theory: mathematical foundations]. Moscow: Mir, 1978, 311 p.
6. Khayes P. Logika deystviy. V kn. Integral'nye roboty [The logic of action. In the book Integrated robots]. Moscow, Mir, 1975, 526 p.
7. Kulba V., Nikolsky S., Zaikine O. Ontological approach to modeling of discrete event dynamic system, Bulletin of the Polish Academy of Sciences. Technical Sciences. Modeling and optimization of manufacturing systems, September 2009, Vol. 57, Issue 3, pp. 241-247. (Available at: http://www.ippt.gov.pl/~bulletin/(57-3)241.html).
8. Tselishchev V.V. i dr. Logika i ontologiya [Logic and ontology], Sb. statey [Collected papers]. Moscow: Nauka, 1977, 261 p.
9. Nikol'skiy S.N., Surzhenko I.F. Ontologicheskiy analiz otnosheniya «tsel'-rezul'tat» [Ontologicalanalysisof "goal-result" relation], Izvestiya YuFU. Tekhnicheskie nauki [Izvestiya SFedU. Engineering Sciences], 2013, No. 7 (144), pp. 107-111.
10. Smolin L. Atomy prostranstva i vremeni [Atoms of space and time], V mire nauki, Scientific American [In the world of science, Scientific American], 2004, No. 4, pp. 96.
11. Kon P. Universal'naya algebra [Universal algebra]. Moscow: Mir, 1968, 349 p.
12. Kasti Dzh. Bol'shie sistemy. Svyaznost', slozhnost' i katastrofy [Large system. Connectivity, complexity and catastrophe]. Moscow: Mir, 1982, 286 p.
13. Kulba V., Nikolsky S. Metaontology DEDS: Operational dynamic system on classes, J. Management and Production Engineering Review, September, 2011, Vol. 2, No. 3, pp. 28-34.
14. Wolf K.E. Applications of Temporal Conceptual Semantic System, RF Conference with international participation, Sobolev Institute of Mathematics, Preprints, September, 2007, Vol. 1, pp. 3-15.
15. Bennett, Matthew B., Ingham, Michel, Jenkins, Steven, Karban, Robert, Rouquette, Nicolas, Wagner, David A. An Ontology for State Analysis: Formalizing the Mapping to SysML, IEEE Aero Conference 2012.
16. Ericksson O., Henderson-Sellers B., Agrefalk P.J. Ontological and Linguistic metamodeling revisited, J. Informanion and Software Technology, 2013, No. 55, pp. 2099-2124.
17. Lee H., Jaekwon S. Ontological semantic inference based on cognitive map, J. Expert systems with Applications, 2014, No. 41, pp. 2981-2988.
18. Christopher L. Delp, Elyse Fosse. Jet Propulsion Laboratory, Systems Engineering Interfaces: A Model Based Approach, California Institute of Technology, Pasadena, CA, USA. Submitted to 2013 IEEE Aerospace Conference Big Sky, Montana, March 2-9, 2013.
19. Delligatti, Lenny. SysML Distilled: A Brief Guide to the Systems Modeling Language. Addison-Wesley Professional, 2013. ISBN 978-0-321-92786-6.
20. Nikol'skiy S.N., Sukhov A. Metodika organizatsii protsessa soprovozhdeniya IT-sistem [The technique of the organization of the maintenance process of IT system], Izvestiya YuFU. Tekhnicheskie nauki [Izvestiya SFedU. Engineering Sciences], 2011, No. 7 (120), pp. 170-174.
Статью рекомендовал к опубликованию д.ф.-м.н., профессор А.И. Сухинов.
Никольский Сергей Николаевич - Московский государственный университет информационных технологий, радиотехники и электроники;e-mail: [email protected]; 107996, г. Москва, ул. Стромынка, 20; тел.: 89055761402; кафедра автоматизированные системы управления; д.т.н.; профессор.
Сурженко Игорь Феодосиевич - Южный федеральный университет; e-mail: [email protected]; 347928, г. Таганрог, пер. Некрасовский, 44; главный конструктор.
Nikolsky Sergei Nikolaevich - Moscow state University of information technologies, radio engineering and electronics; e-mail: [email protected]; 20, Strominka street, Moscow, 107996, Russia; phone: +79055761402; the department of automated systems and information techcnologies; dr. of eng.sc; professor
Surgenko Igor Pheodosievich - Southern Federal University; e-mail: [email protected]; 44, Nekrasovsky, Taganrog, 347928, Russia; chief designer.
УДК 004.852
Р.М. Немков
ИССЛЕДОВАНИЕ СВЕРТОЧНОЙ НЕЙРОННОЙ СЕТИ, ОБУЧЕННОЙ
С ПОМОЩЬЮ МЕТОДА ПРИМЕНЕНИЯ НЕСТАНДАРТНЫХ РЕЦЕПТИВНЫХ ПОЛЕЙ ПРИ РАСПОЗНАВАНИИ ИЗОБРАЖЕНИЙ
Приведено описание результатов экспериментальной апробации метода синтеза параметров математической модели сверточной нейронной сети (СНС), отличающийся от известных тем, что для повышения обобщающей способности сети, обучающая выборка генерируется путём добавления искажённых образов посредством изменения рецептивных полей СНС. В результате один и тот же паттерн воспринимается сетью по-разному. Значительное внимание уделена анализу результатов экспериментов по распознаванию объектов на системе
