Формалізація процесу створення геометричних моделей
У статті розглянуто питання формалізації процесу створення геометричних моделей та представлення графічних даних і знань у системах для автоматизованого навчання. Наведено приклади побудови моделей із тіл простої форми із використанням бінарних операцій, розглянуто їх властивості та наведено геометр...
Збережено в:
| Опубліковано в: : | Математичні машини і системи |
|---|---|
| Дата: | 2013 |
| Автори: | , |
| Формат: | Стаття |
| Мова: | Українська |
| Опубліковано: |
Інститут проблем математичних машин і систем НАН України
2013
|
| Теми: | |
| Онлайн доступ: | https://nasplib.isofts.kiev.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 Ukraine| _version_ | 1862565072606330880 |
|---|---|
| author | Литвинов, В.В. Хоменко, І.В. |
| author_facet | Литвинов, В.В. Хоменко, І.В. |
| citation_txt | Формалізація процесу створення геометричних моделей / В.В. Литвинов, І.В. Хоменко // Мат. машини і системи. — 2013. — № 1. — С. 111-117. — Бібліогр.: 6 назв. — укр. |
| collection | DSpace DC |
| container_title | Математичні машини і системи |
| description | У статті розглянуто питання формалізації процесу створення геометричних моделей та представлення графічних даних і знань у системах для автоматизованого навчання. Наведено приклади побудови моделей із тіл простої форми із використанням бінарних операцій, розглянуто їх властивості та наведено геометричну інтерпретацію. Представлені та доведені закони Моргана, дистрибутивні операції, застосовні для операцій із твердими тілами.
В статье рассмотрены вопросы формализации процесса создания геометрических моделей и представления графических данных и знаний в системах для автоматизированного обучения. Приведены примеры построения моделей из тел простой формы с использованием бинарных операций, рассмотрены их свойства и приведена геометрическая интерпретация. Представлены и доказаны законы Моргана, дистрибутивные операции, применимые для операций с твердыми телами.
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.
|
| first_indexed | 2025-11-25T23:52:36Z |
| format | Article |
| fulltext | |
| id | nasplib_isofts_kiev_ua-123456789-83804 |
| institution | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| issn | 1028-9763 |
| language | Ukrainian |
| last_indexed | 2025-11-25T23:52:36Z |
| publishDate | 2013 |
| publisher | Інститут проблем математичних машин і систем НАН України |
| record_format | dspace |
| spelling | Литвинов, В.В. Хоменко, І.В. 2015-06-24T06:47:07Z 2015-06-24T06:47:07Z 2013 Формалізація процесу створення геометричних моделей / В.В. Литвинов, І.В. Хоменко // Мат. машини і системи. — 2013. — № 1. — С. 111-117. — Бібліогр.: 6 назв. — укр. 1028-9763 https://nasplib.isofts.kiev.ua/handle/123456789/83804 681.5.015 У статті розглянуто питання формалізації процесу створення геометричних моделей та представлення графічних даних і знань у системах для автоматизованого навчання. Наведено приклади побудови моделей із тіл простої форми із використанням бінарних операцій, розглянуто їх властивості та наведено геометричну інтерпретацію. Представлені та доведені закони Моргана, дистрибутивні операції, застосовні для операцій із твердими тілами. В статье рассмотрены вопросы формализации процесса создания геометрических моделей и представления графических данных и знаний в системах для автоматизированного обучения. Приведены примеры построения моделей из тел простой формы с использованием бинарных операций, рассмотрены их свойства и приведена геометрическая интерпретация. Представлены и доказаны законы Моргана, дистрибутивные операции, применимые для операций с твердыми телами. 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. uk Інститут проблем математичних машин і систем НАН України Математичні машини і системи Моделювання і управління Формалізація процесу створення геометричних моделей Формализация процесса создания геометрических моделей Formalization of the process of geometric models creation Article published earlier |
| spellingShingle | Формалізація процесу створення геометричних моделей Литвинов, В.В. Хоменко, І.В. Моделювання і управління |
| title | Формалізація процесу створення геометричних моделей |
| title_alt | Формализация процесса создания геометрических моделей Formalization of the process of geometric models creation |
| title_full | Формалізація процесу створення геометричних моделей |
| title_fullStr | Формалізація процесу створення геометричних моделей |
| title_full_unstemmed | Формалізація процесу створення геометричних моделей |
| title_short | Формалізація процесу створення геометричних моделей |
| title_sort | формалізація процесу створення геометричних моделей |
| topic | Моделювання і управління |
| topic_facet | Моделювання і управління |
| url | https://nasplib.isofts.kiev.ua/handle/123456789/83804 |
| work_keys_str_mv | AT litvinovvv formalízacíâprocesustvorennâgeometričnihmodelei AT homenkoív formalízacíâprocesustvorennâgeometričnihmodelei AT litvinovvv formalizaciâprocessasozdaniâgeometričeskihmodelei AT homenkoív formalizaciâprocessasozdaniâgeometričeskihmodelei AT litvinovvv formalizationoftheprocessofgeometricmodelscreation AT homenkoív formalizationoftheprocessofgeometricmodelscreation |