Абстрактно-алгебраический подход к построению вычислительных сред для решения задач в объектных формулировках

Предлагается метод решения математических и прикладных задач в объектных формулировках. Метод основан на представлении предметной среды и начальных условий задачи в терминах абстрактных алгебр и кодировании полученных формулировок средствами объектно-ориентированного языка программирования Java. Ключевое значение имеет формирование вычислительной среды, динамика которой управляется функциональными и предикатными компонентами объектного содержания задачи, в то время как действия управляющей программы сводятся к передаче сообщений и управления от объекта к объекту. Решение получается в результате самопреобразования постановки задачи в адекватное ей системное представление. Рассматривается возможность применения метода к решению алгебраических задач, условия которых заданы в матричной форме и в виде систем уравнений прежде всего для определения структурных и групповых характеристик. Работа выполнена при финансовой поддержке РФФИ (код проекта 09-07-12135 офи_м).