Статья 'Разработка и развитие методологических положений автоматизированного проектирования на базе методов математической теории категорий' - журнал 'Кибернетика и программирование' - NotaBene.ru
по
Меню журнала
> Архив номеров > Рубрики > О журнале > Авторы > О журнале > Требования к статьям > Редакция и редакционный совет > Порядок рецензирования статей > Политика издания > Ретракция статей > Этические принципы > Политика открытого доступа > Оплата за публикации в открытом доступе > Online First Pre-Publication > Политика авторских прав и лицензий > Политика цифрового хранения публикации > Политика идентификации статей > Политика проверки на плагиат
Журналы индексируются
Реквизиты журнала

ГЛАВНАЯ > Вернуться к содержанию
Кибернетика и программирование
Правильная ссылка на статью:

Разработка и развитие методологических положений автоматизированного проектирования на базе методов математической теории категорий

Федосовский Михаил Евгеньевич

кандидат технических наук

заведующий кафедрой, ФГАОУ ВО "Санкт-Петербургский национальный исследовательский университет информационных технологий, механики и оптики"

197101, Россия, г. Санкт-Петербург, Кронверкский проспект, 49

Fedosovsky Michail Evgen'evich

PhD in Technical Science

Head of the Systems and Technologies of Technogenic Safety Department of the St. Petersburg National Research University of Information Technologies, Mechanics and Optics

197101, Russia, g. Saint Petersburg, ul. Kronverkskii Prospekt, 49

27122009-2@mail.ru
Другие публикации этого автора
 

 

DOI:

10.25136/2644-5522.2017.3.23087

Дата направления статьи в редакцию:

22-05-2017


Дата публикации:

26-07-2017


Аннотация: Предметом исследований в данной работе являются методы, применяемые в теории автоматизированного проектирования. Разработка теоретической базы технологий автоматизированного проектирования представляет из себя важную научную проблему. Одно из направлений решения данной проблемы -это сведение к единому универсальному формализму для описания разнообразных технологий, который будет удобен при проектировании сложных гетерогенных систем для их интеграции и координации этих технологий. Решение данной проблемы напрямую зависит от выбора математического аппарата. В данной работе предлагается создавать методы автоматизированного проектирования, используя математическую теорию категорий. В работе рассматривается методы создания математического аппарата для автоматизированного проектирования, базирующиеся на математической теории категорий, позволяющие определить математические модели и связи между ними на разных уровнях абстракции. В работе показано, что при формулировке закономерностей отображения из общего концептуального представления в концептуальное представление предметных задач базовыми основаниями служат: – единообразный математический аппарат формирования моделей; – единообразная структура закономерностей формирования моделей; – существование законов цикличности. Закономерность отображения моделей общего концептуального представления в модели концептуального представления предметных задач представляет идентичность в применении абстракций для функциональных динамических и статических составляющих в ходе процесса формирования (установления) связей между ними и в идентичности применения моделей на одном и том же уровне абстрагирования с одним и тем же видом представления.


Ключевые слова:

автоматизированное проектирование, САПР, концептуальное моделирование, инфологическое моделирование, даталогическое моделирование, математическая модель, Математическая теория категорий, Функтор, реляционная алгебра, абстрактные уровни

УДК:

004.932.2

Abstract: This article is devoted to the the methods used in the theory of Сomputer-Assisted Design. Development of a theoretical framework of technologies of the automated designing is an important scientific problem. One of directions employed to solve this problem is its reduction to a single universal formalism used for describing a variety of technologies, which will be appropriate for the design of complex heterogeneous systems for integration and coordination of these technologies. The solution to this problem depends on the choice of the mathematical apparatus. In this article the author proposes creation of the computer-aided design methods using mathematical category theory. The author then discusses methods for the formation of a mathematical apparatus for CAD based on the mathematical category theory in order to establish mathematical models and the correlations between them at different levels of abstraction. It is shown that the formulation of regularities in the mapping from conceptual view the conceptual view of the subject objectives the basic reasons are: a consistent mathematical apparatus of formation models;  an uniform structure of the regularities of formation models; existence of the laws of cyclicality. Pattern display models of conceptual representation in the model conceptual representation of the subject is the identity in the application of functional abstractions for dynamic and static components during the process of formation (establishment) of the relations between them and the identity of the models on the same level of abstraction with the same view.


Keywords:

abstract levels, Relational algebra, functor, mathematical category theory, mathematical model, datalogical modeling, infological modeling, conceptual modeling, CAD, Computer-Aided Design

Введение

В современных условиях необходимо разрабатывать новые или модифицировать существующие инструментарии для решения актуальных задач в разных областях: производственной, экономической, финансовой, оборонной. Создание нового или улучшение существующего инструментария, можно проводить при помощи методов теории автоматизированного проектирования (АП) (англ. Computer-Aided Design, CAD). А отсюда возникает задача развития самой теории АП с целью повышения эффективности работы проектировщиков при создании, модификации, анализе, оптимизации и сопровождении концептуальных, инженерных и других проектов. Одним из направлений современного развития теории АП является внесение в арсенал АП методов математической теории категорий (МТК) [1,2]. При помощи МТК можно явно и компактно представлять все базовые положения системной инженерии. Например, артефактам технологий сопоставляются объекты соответствующей категории (формальные математические модели). А множество технологических процессов может быть представлено морфизмами.

Можно отметить тот факт, что разработка новых технологий АП систем различного назначения, которые направлены на уменьшение трудовых затрат путем создания больших наборов математических моделей (ММ), является актуальной задачей [3–21]. В проведенных исследованиях ММ на любом уров­не абст­­­ракции, в соответствии с разработанным подходом, это основная исходная ин­фор­ма­ция. ММ пред­­­­­­­­­­­став­ляются в виде матема­ти­чес­ких категорий [1, 2, 22].

Базовая идея методологии автоматизации интеллектуального труда

Базовой идеей методологии автоматизации интеллектуального труда является возможность генерации последовательностей отображений из созданных заранее и обладающих 3-мя уровнями абстракций (абстрактный, объектный, конкретный) кон­цеп­ту­аль­ных моделей в фор­мальные ММ (инфологические и да­та­ло­ги­чес­кие). На Ри­с. 1 представлена структурная схема ме­то­до­логии автоматизации интел­лек­туального труда.

._1

Согласно Рис.1, от, этапа где имеются модели в естественно-языковом представление, происходит переход на этап, где необходимо работать с ММ, требуемые для концептуального уровня.

Далее происходит сначала переход на этап, где необходимо работать с инфологическими ММ, а затем на этап, где работаю с даталогическими ММ.

В данной работе рассмотрены основные положения работы на этапе концептуального моделирования.

Основные положения для работы на этапе концептуального моделирования

Базовая идея при разработка концептуальных математических моделей (КММ), или категорий, на этапе концептуального моделирования, который служит базой для представления системы знаний проектно-конструкторских задач (ПКЗ) включает в себя решение следующих задач [22]:

– обнаружение теоретико-методологическо-практических ос­­­­нований;

– оценка структуры и состава КММ;

– обнаружение зависимостей, которые возникают во время формирования и интеграции КММ.

В результате проведенных исследований было выявлено, что базой методологических оснований служат:

– методология создания САПР, базой которого является положение, что качество АП сложной системы напрямую связано с ка­чест­­вом и согласованностью взаимодействий проектных, тех­но­ло­ги­чес­ких и про­из­водственных сред. Кроме того, необходима увязка жизненного цикла (ЖЦ) раз­нородных объектов. Например, проектируемая сложная система и ее ком­поненты, ор­­га­ни­за­ци­онные и другие элементы;

– структура абстрактной задачи проектируемой сложной системы, (Рис.2) яв­ляющаяся ми­ни­маль­ной понятийной конструкцией, которая позволяет пред­ставить лю­бой про­цес­с АП с заданной степенью детализации при помощи внедрения в ком­­по­ненты за­дачи различных объектов;

– теория познания.

В результате проведенных исследований было выявлено, что базой теоретических оснований служат:

– математическая теория категорий;

– те­о­рия искусственного интеллекта, в частности, сформулированный в ней закон цикличности познания;

– теория концептов.

В результате проведенных исследований были выявлены особенности про­ект­ной деятельности, которые служат практическими основаниями.

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

На абстрактном уровне производится обеспечение общего представления систем зна­ний.

На объектном уровне производится обеспечение представлениями спецификой систем зна­ний предметной области (ПрО).

На конкретном уровне используется фактографическая информация.

._2

Множество стрелок (морфизмов) отображений КММ мо­­­­де­­лей на каждом уровне включает семейство структурных свя­зей с объек­­тами

Множество представлений КММ представляет объединение двух подмножеств: общее концептуальное представление () и кон­цеп­ту­аль­ное пред­­­ставление пред­метных задач (). При помощи задается струк­тура сис­те­мы знаний на разных уровнях абст­ра­ги­ро­ва­ния, а при помощи происходит построение сис­темы знаний для конк­рет­ной ПрО. содержит свя­занные поком­по­нентно КММ всех 3-х уровней абстрагирования. содержит свя­занные поком­по­нентно КММ объектного и конк­рет­но­го уров­­ней абст­ра­ги­рования.

Формально представимо следующим выражением:

,

где – абстрактный уровень;

– объектный уровень;

– конкретный уровень.

В этом случае на – том уров­не абстрагирования можно представить в следующем формальном виде:

;

где – множество мо­де­лей (объектов) на – м уров­не;

– множество морфизмов (отношений) на – м уров­не;

;

–статические отношения на –м уров­не;

– бинарные отношения на ;

– схемы на ;

– бинарные отношенияна ;

– динамические отношения на объектах;

– ограничения – го уровня абстрагирования;

– бинарные отношения на .

Ограничения отражают существование отображений (морфизмов):

.

Наличие непустого множества зависимостей для формирования мо­делей базируется на фундаментальных положениях:

– направления про­цессов познания, от частных (конкретных) наблюдений (при помощи обобщений) к абстрактному мышлению, от общего к выбранному, от абстрактного к частному (конкретному);

– закон отрицание отрицания, анализ кон­к­ретного, синтез еди­нич­но­го;

– за­ко­н цикличности научного познания.

Базой существования отношений между КММ на различных уровней абст­ра­ги­­­ро­­ва­ния является механизм абстракций.

Переход от об­щего уров­ня (абст­­­ракт­ного) к частному (к конкретному) можно представить следующим образом:

т.е.

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

Используем опе­­рацию “ес­тест­венное сое­ди­нение”, обозначаемую для любых отношений объектов и как . Применение этой опе­ра­ции позволяет получать из исходных соот­но­шений новую информацию.

Таким образом, на основании вышесказанного, можно написать:

– для множества статических операций,

– для множества динамических операций.

На этой базе можно формально оп­ре­делить законы перехода от КММ, принадлежащих абст­ракт­ному уров­ню, к КММ, принадлежащих объектному уровню, и от КММ, принадлежащих объектному уровню, к КММ, принадлежащих конкретному уровню. Таким образом для можно оп­ре­де­лить необходимые функторы.

А теперь рассмотрим КММ для . В включены связанные поком­­­по­нент­но КММ (категории) 2-х уровней абстрагирования – объ­ект­­но­го и конкретного. Формально для задачи представимо в следующем виде:

,

где – КММ предметной задачи на объектном уровне абстрагирования;

– КММ для реализации пред­метной задачи;

где – предметные объекты (ПО);

– множество морфизмов;

– множество статических отношений на объек­тах;

– множество бинарных отношений на ;

– множество схем на ;

– множествобинарных отношенийна ;

– множество динамических отношений на объектах;

– множество ограничений объектного уровня абстрагирования;

– множество бинарных отношений на

где – представители пред­мет­ных объектов (ППО);

- множество морфизмов;

– множество статических отношений на объек­тах;

– множество бинарных отношений на Ob_КППЗ3i(n);

– множество схем на ;

– множествобинарных отношенийна;

– множество динамических отношений на объектах;

– множество ограничений объектного уровня абстрагирования являющееся представителями предметных за­ви­си­мос­тей (ППЗ);

– бинарные отношения на .

Зависимость моделей представима следующим образом:

т.е.

→{},,, , .

При помощи аппарата реляционной алгебры производится формальное обоснование взаимосвязи между моделями на разных уров­нях:

,

– статические отношения,

– динамические отношения.

На этой базе для определяются формальные правила перехода от объект­ного уровня на конкретный.

Для сделано предположение о возможности последовательных объе­ди­не­ний на любом уров­не абстрагирования.

Формально интеграция на объектном уровне представлена так:

,,

,,

, .

Формально интеграция на конкретном уровне представлена так:

, ,

, ,

, .

Заключение

Закономерности отображений базируются на идентичности использования абстракций в ходе процесса формирования связей у КММ на од­ном и том же уров­не абст­рагирования, используя один и тот же вид пред­ставления для ста­ти­ческих и ди­на­ми­чес­ких составляющих КММ.

Наличие формального описания и позволяет решать задачи систематизации и описания мо­де­лей как конкретных ПКЗ, так и дальнейшей интеграции данных пред­­став­ле­ний в еди­ное целое, которое является неотъемлемой частью семейства скоординированных задач. Кроме того, это описание учитывает мно­жества фор­мализованных ограничений, которые существуют при использовании универсальных пред­ставлений.

Наличие формального описания взаимосвязей между КММ и на базе выявленных закономерностей отображения предоставляет возможность:

– ограничивать множество всевоз­мож­ных зависимостей и связей, если имеется вербальное знаковое пред­став­ле­ние

– применив семантическое дополнение к формализованному знаковому представлению пред­мет­ной задачи, можно сделать его полным.

Библиография
1.
2.
3.
4.
5.
6.
7.
8.
9.
10.
11.
12.
13.
14.
15.
16.
17.
18.
19.
20.
21.
22.
References
1.
2.
3.
4.
5.
6.
7.
8.
9.
10.
11.
12.
13.
14.
15.
16.
17.
18.
19.
20.
21.
22.
Ссылка на эту статью

Просто выделите и скопируйте ссылку на эту статью в буфер обмена. Вы можете также попробовать найти похожие статьи


Другие сайты издательства:
Официальный сайт издательства NotaBene / Aurora Group s.r.o.