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: PDF
Language: English
DOI: 10.18720/SPBPU/2/k17-56
Rights: Свободный доступ из сети Интернет (чтение, печать, копирование)
Additionally: All documents
Record key: RU\SPSTU\edoc\50822

Allowed Actions: Read Download (381 Kb)

Group: Anonymous

Network: Internet


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.

Document access rights

Network User group Action
ILC SPbPU Local Network All Read Print Download
-> Internet All Read Print Download

Usage statistics

stat Access count: 726
Last 30 days: 14
Detailed usage statistics