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

Название: 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

Разрешенные действия: Прочитать Загрузить (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.

Права на использование объекта хранения

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

Статистика использования

stat Количество обращений: 986
За последние 30 дней: 10
Подробная статистика