Формалізація процесу створення геометричних моделей
У статті розглянуто питання формалізації процесу створення геометричних моделей та представлення графічних даних і знань у системах для автоматизованого навчання. Наведено приклади побудови моделей із тіл простої форми із використанням бінарних операцій, розглянуто їх властивості та наведено геометр...
Збережено в:
Дата: | 2013 |
---|---|
Автори: | , |
Формат: | Стаття |
Мова: | Ukrainian |
Опубліковано: |
Інститут проблем математичних машин і систем НАН України
2013
|
Назва видання: | Математичні машини і системи |
Теми: | |
Онлайн доступ: | http://dspace.nbuv.gov.ua/handle/123456789/83804 |
Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
Цитувати: | Формалізація процесу створення геометричних моделей / В.В. Литвинов, І.В. Хоменко // Мат. машини і системи. — 2013. — № 1. — С. 111-117. — Бібліогр.: 6 назв. — укр. |
Репозитарії
Digital Library of Periodicals of National Academy of Sciences of Ukraineid |
irk-123456789-83804 |
---|---|
record_format |
dspace |
spelling |
irk-123456789-838042015-06-25T03:01:58Z Формалізація процесу створення геометричних моделей Литвинов, В.В. Хоменко, І.В. Моделювання і управління У статті розглянуто питання формалізації процесу створення геометричних моделей та представлення графічних даних і знань у системах для автоматизованого навчання. Наведено приклади побудови моделей із тіл простої форми із використанням бінарних операцій, розглянуто їх властивості та наведено геометричну інтерпретацію. Представлені та доведені закони Моргана, дистрибутивні операції, застосовні для операцій із твердими тілами. В статье рассмотрены вопросы формализации процесса создания геометрических моделей и представления графических данных и знаний в системах для автоматизированного обучения. Приведены примеры построения моделей из тел простой формы с использованием бинарных операций, рассмотрены их свойства и приведена геометрическая интерпретация. Представлены и доказаны законы Моргана, дистрибутивные операции, применимые для операций с твердыми телами. 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. 2013 Article Формалізація процесу створення геометричних моделей / В.В. Литвинов, І.В. Хоменко // Мат. машини і системи. — 2013. — № 1. — С. 111-117. — Бібліогр.: 6 назв. — укр. 1028-9763 http://dspace.nbuv.gov.ua/handle/123456789/83804 681.5.015 uk Математичні машини і системи Інститут проблем математичних машин і систем НАН України |
institution |
Digital Library of Periodicals of National Academy of Sciences of Ukraine |
collection |
DSpace DC |
language |
Ukrainian |
topic |
Моделювання і управління Моделювання і управління |
spellingShingle |
Моделювання і управління Моделювання і управління Литвинов, В.В. Хоменко, І.В. Формалізація процесу створення геометричних моделей Математичні машини і системи |
description |
У статті розглянуто питання формалізації процесу створення геометричних моделей та представлення графічних даних і знань у системах для автоматизованого навчання. Наведено приклади побудови моделей із тіл простої форми із використанням бінарних операцій, розглянуто їх властивості та наведено геометричну інтерпретацію. Представлені та доведені закони Моргана, дистрибутивні операції, застосовні для операцій із твердими тілами. |
format |
Article |
author |
Литвинов, В.В. Хоменко, І.В. |
author_facet |
Литвинов, В.В. Хоменко, І.В. |
author_sort |
Литвинов, В.В. |
title |
Формалізація процесу створення геометричних моделей |
title_short |
Формалізація процесу створення геометричних моделей |
title_full |
Формалізація процесу створення геометричних моделей |
title_fullStr |
Формалізація процесу створення геометричних моделей |
title_full_unstemmed |
Формалізація процесу створення геометричних моделей |
title_sort |
формалізація процесу створення геометричних моделей |
publisher |
Інститут проблем математичних машин і систем НАН України |
publishDate |
2013 |
topic_facet |
Моделювання і управління |
url |
http://dspace.nbuv.gov.ua/handle/123456789/83804 |
citation_txt |
Формалізація процесу створення геометричних моделей / В.В. Литвинов, І.В. Хоменко // Мат. машини і системи. — 2013. — № 1. — С. 111-117. — Бібліогр.: 6 назв. — укр. |
series |
Математичні машини і системи |
work_keys_str_mv |
AT litvinovvv formalízacíâprocesustvorennâgeometričnihmodelej AT homenkoív formalízacíâprocesustvorennâgeometričnihmodelej |
first_indexed |
2023-10-18T19:27:32Z |
last_indexed |
2023-10-18T19:27:32Z |
_version_ |
1796147013461475328 |