Детальная информация
Название | 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) |
Тип документа | Статья, доклад |
Тип файла | |
Язык | Английский |
DOI | 10.18720/SPBPU/2/k17-56 |
Права доступа | Свободный доступ из сети Интернет (чтение, печать, копирование) |
Ключ записи | RU\SPSTU\edoc\50822 |
Дата создания записи | 22.12.2017 |
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