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

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

Ключевые слова: абстрактно-алгебраические системы, объектные формулировки задач, самопреобразование данных, системообразующий принцип

Название статьи, аннотация и ключевые слова на английском языке

Суворов В.В., ученый секретарь НИВЦ, e-mail: svv@srcc.msu.ru - Научно-исследовательский вычислительный центр МГУ имени М.В. Ломоносова, Ленинские горы, д. 1, стр. 4, 119991, Москва