Формалізація процесу створення геометричних моделей
У статті розглянуто питання формалізації процесу створення геометричних моделей та представлення графічних даних і знань у системах для автоматизованого навчання. Наведено приклади побудови моделей із тіл простої форми із використанням бінарних операцій, розглянуто їх властивості та наведено геометр...
Gespeichert in:
| Veröffentlicht in: | Математичні машини і системи |
|---|---|
| Datum: | 2013 |
| Hauptverfasser: | , |
| Format: | Artikel |
| Sprache: | Ukrainisch |
| Veröffentlicht: |
Інститут проблем математичних машин і систем НАН України
2013
|
| Schlagworte: | |
| Online Zugang: | https://nasplib.isofts.kiev.ua/handle/123456789/83804 |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Zitieren: | Формалізація процесу створення геометричних моделей / В.В. Литвинов, І.В. Хоменко // Мат. машини і системи. — 2013. — № 1. — С. 111-117. — Бібліогр.: 6 назв. — укр. |
Institution
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 |