Details
Title | 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] |
---|---|
Creators | Korobeynikov A.; Grishentcev A.; Fedosovsky M.; Velichko E.; Golovan O. |
Imprint | Saint-Petersburg: Peter the Great St. Petersburg Polytechnic University, 2017 |
Collection | Общая коллекция |
Subjects | Космическое пространство — Исследование; Автоматизированные системы проектирования — Математическое обеспечение; Математическое моделирование; Computer-Aided Design; Category Theory; Conceptual modeling |
UDC | 519.876.5(063) |
Document type | Article, report |
File type | |
Language | English |
DOI | 10.18720/SPBPU/2/k17-56 |
Rights | Свободный доступ из сети Интернет (чтение, печать, копирование) |
Record key | RU\SPSTU\edoc\50822 |
Record create date | 12/22/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.
Access count: 1053
Last 30 days: 11