Формалізація процесу створення геометричних моделей

• Veröffentlicht in: Математичні машини і системи
• Datum: 2013
• Hauptverfasser: Литвинов, В.В., Хоменко, І.В.
• Format: Artikel
• Sprache: Ukrainian
• Veröffentlicht: Інститут проблем математичних машин і систем НАН України 2013
• Schlagworte: Моделювання і управління
• Online Zugang: https://nasplib.isofts.kiev.ua/handle/123456789/83804
• Назва журналу: Digital Library of Periodicals of National Academy of Sciences of Ukraine
• Zitieren: Формалізація процесу створення геометричних моделей / В.В. Литвинов, І.В. Хоменко // Мат. машини і системи. — 2013. — № 1. — С. 111-117. — Бібліогр.: 6 назв. — укр.

У статті розглянуто питання формалізації процесу створення геометричних моделей та представлення графічних даних і знань у системах для автоматизованого навчання. Наведено приклади побудови моделей із тіл простої форми із використанням бінарних операцій, розглянуто їх властивості та наведено геометричну інтерпретацію. Представлені та доведені закони Моргана, дистрибутивні операції, застосовні для операцій із твердими тілами. В статье рассмотрены вопросы формализации процесса создания геометрических моделей и представления графических данных и знаний в системах для автоматизированного обучения. Приведены примеры построения моделей из тел простой формы с использованием бинарных операций, рассмотрены их свойства и приведена геометрическая интерпретация. Представлены и доказаны законы Моргана, дистрибутивные операции, применимые для операций с твердыми телами. The paper deals with the formalization of the process of geometric models creation and graphic representation of data and knowledge in the systems for automated learning. We presented examples of model building of bodies of simple shapes using binary operations; also we examined their properties and geometric interpretation. Morgan laws were presented and proved, distributive operations applied to operations with solids.