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

ГЛАВНАЯ > Вернуться к содержанию
Статьи автора Федосовский Михаил Евгеньевич
Кибернетика и программирование, 2018-3
Федосовский М.Е. - Разработка методов системного анализа для решения задач управления сложными техническими комплексами c. 57-62

DOI:
10.25136/2306-4196.2018.3.26613

Аннотация: Объектом исследования в данной статье являются методы, применяемые для решения задач проектирования систем управления сложными технологическими комплексами. Разработка теоретической базы создания таких методов базируется на системном анализе и представляет из себя важную научную проблему. Один из подходов решения данной проблемы заключается в разработке универсального формализма, который будет применяться для описания разнообразных технологий. Выбор математического аппарата определяет саму возможность решения данной проблемы. Кроме того, от выбора математического аппарата зависит инструментарий, с которым придется работать пользователю. В данной работе предлагается создавать математические модели, методы и задавать связи используя математическую теорию категорий. Основными выводы данной работы следующие:1. Задачи отображения семантики и логики понятий можно решать при помощи методов математической теории категорий.2. Унифицированное описание семейств неоднородных математических моделей, отражающих различный уровень абстрагирования (обобщения) на этапе инфологического моделирования, делает возможным создания формулировок для общего определения моделей с описанием их структуры.
Кибернетика и программирование, 2017-3
Федосовский М.Е. - Разработка и развитие методологических положений автоматизированного проектирования на базе методов математической теории категорий c. 10-22

DOI:
10.25136/2306-4196.2017.3.23087

Аннотация: Предметом исследований в данной работе являются методы, применяемые в теории автоматизированного проектирования. Разработка теоретической базы технологий автоматизированного проектирования представляет из себя важную научную проблему. Одно из направлений решения данной проблемы -это сведение к единому универсальному формализму для описания разнообразных технологий, который будет удобен при проектировании сложных гетерогенных систем для их интеграции и координации этих технологий. Решение данной проблемы напрямую зависит от выбора математического аппарата. В данной работе предлагается создавать методы автоматизированного проектирования, используя математическую теорию категорий. В работе рассматривается методы создания математического аппарата для автоматизированного проектирования, базирующиеся на математической теории категорий, позволяющие определить математические модели и связи между ними на разных уровнях абстракции. В работе показано, что при формулировке закономерностей отображения из общего концептуального представления в концептуальное представление предметных задач базовыми основаниями служат:– единообразный математический аппарат формирования моделей;– единообразная структура закономерностей формирования моделей;– существование законов цикличности. Закономерность отображения моделей общего концептуального представления в модели концептуального представления предметных задач представляет идентичность в применении абстракций для функциональных динамических и статических составляющих в ходе процесса формирования (установления) связей между ними и в идентичности применения моделей на одном и том же уровне абстрагирования с одним и тем же видом представления.
Другие сайты издательства:
Официальный сайт издательства NotaBene / Aurora Group s.r.o.
Сайт исторического журнала "History Illustrated"