доктор технических наук;
doctor of technical sciences;
Алгоритмизация решения задач геометрического моделирования тесно связана с комплексом прикладных исследований. В статье показаны преимущества автоматизированого подхода логического программирования в вопросах геометрического моделирования в сравнении со стандартными подходами. Исследование строится на систематизации проекционных моделей четырехмерного пространства класса однородных и равносвязных дискретно-непрерывных структур. Представлено обоснование актуальности разработки алгоритмов для создания систем автоматизированного проектирования геометрических форм с использованием программных средств, обеспечивающих графические и графоаналитические решения. Обозначены варианты применения принципов логического программирования в вопросах решения геометрических задач. Приведены примеры решения задач на моделях четырехмерного пространства в трех плоских полях. Акцентируется внимание на решении подобных задач для пространств большей размерности с тестированием на примере решения многомерных аналогов задачи Аполлония. Рассмотрены другие проекционные модели многомерного проективного пространства. Установлено, что данный алгоритм решения проекционной задачи позволяет ускорить и автоматизировать построение проекционных моделей n-мерного пространства и повысить наглядность построения. Результаты исследования могут лечь в основу разработки новых интерфейсов взаимодействия с геометрическими структурами для решения задач проектирования поверхностей. Определены свойства и методы декларативного программирования в построении геометрических моделей. Определено программное решение для работы с геометрическими моделями с точки зрения автоматизации процесса построения, анализа наполнения алгоритма, поиска, визуализации результата, а также хранения геометрической информации. Представлены результаты генерации решения задачи Аполлония, а также образец декларативной программы для запуска в программной среде Симплекс (https://voloshinov.ru/simplex/), модуле «Логика».
Algorithmization of solving geometric modeling problems is closely related to a complex of applied research. The article shows the advantages of the automated approach of logic programming in matters of geometric modeling in comparison with standard approaches. The research is based on the systematization of projection models of a four-dimensional space of a class of homogeneous and equally connected discrete-continuous structures. The rationale for the relevance of developing algorithms for creating computer-aided design systems for geometric shapes using software tools that provide graphical and grapho-analytical solutions is presented. The options for applying the principles of logic programming in solving geometric problems are outlined. Examples of solving problems on models of four-dimensional space in three flat fields are given. Attention is focused on solving similar problems for higher-dimensional spaces with testing using the example of solving multidimensional analogues of the Apollonius problem. Other projection models of multidimensional projective space are considered. It is established that this algorithm for solving the projection problem makes it possible to speed up and automate the construction of projection models of n-dimensional space and increase the visibility of the construction. The results of the study can form the basis for the development of new interfaces for interaction with geometric structures for solving surface design problems. The properties and methods of declarative programming in the construction of geometric models are defined. A software solution has been defined for working with geometric models in terms of automating the construction process, analyzing the algorithm content, searching, visualizing the result, and storing geometric information. The results of generating a solution to the Apollonius problem are presented, as well as a sample declarative program for running in the Simplex software environment (https://voloshinov. ru/simplex/), the Logic module.