Детальная информация

Название Methods of Computer-Aided Design of space systems // The First Joint International Conference on Astrophysics for Young Scientists (JICA): Oktober 3-7, 2017, Byurakan, Armenia: [book of proceedings]
Авторы Korobeynikov A.; Grishentcev A.; Fedosovsky M.; Velichko E.; Golovan O.
Выходные сведения Saint-Petersburg: Peter the Great St. Petersburg Polytechnic University, 2017
Коллекция Общая коллекция
Тематика Космическое пространство — Исследование; Автоматизированные системы проектирования — Математическое обеспечение; Математическое моделирование; Computer-Aided Design; Category Theory; Conceptual modeling
УДК 519.876.5(063)
Тип документа Статья, доклад
Тип файла PDF
Язык Английский
DOI 10.18720/SPBPU/2/k17-56
Права доступа Свободный доступ из сети Интернет (чтение, печать, копирование)
Ключ записи RU\SPSTU\edoc\50822
Дата создания записи 22.12.2017

Разрешенные действия

Прочитать Загрузить (381 Кб)

Группа Анонимные пользователи
Сеть Интернет

This article reviews the basic statements of using apparatus of mathematic Category Theory in the theory of Computer-Aided Design of space systems and conceptual mathematical models (categories) for the phase of conceptual modeling. We present a formal description of a general conceptual representation, which specifies the structure of the system knowledge at different levels of abstraction, and the conceptual view of the subject task, which is determined by the construction of a system of knowledge for a specific subject area.

Место доступа Группа пользователей Действие
Локальная сеть ИБК СПбПУ Все
Прочитать Печать Загрузить
Интернет Все

Количество обращений: 1171 
За последние 30 дней: 18

Подробная статистика