В статье ставится задача разработки базовой части универсальной прикладной алгебры технологических цепочек для приготовления смесей. Новый математический формализм представляет качественно новый подход к решению проблемы поиска оптимальных смесей. Он направлен на создание основы для разработки новых эффективных интеллектуальных программных средств расчёта, основанных на базах знаний. Полученная прикладная алгебра оперирует такими понятиями как характеристика вещества, компонентное вещество, технологическая ситуация, технологическая цепочка или технологический процесс; определяет операции последовательной и параллельной композиции веществ и материалов. Структуры признаков, использующиеся для описания внутренней характеристической структуры компонентов смеси, позволяют использовать полученный математический формализм для широкого круга веществ и сложных композитных материалов. Прикладная алгебра имеет потенциал для развития, ввода новых понятий и отношений, что делает её перспективным инструментом для решения практических задач поиска рецептов оптимальных композитных смесей.
This article seeks to develop a basic part of the universal applied algebra of technological chains for the preparation of mixtures. A new mathematical formalism represents a new approach to solving the problem of finding the optimal mixtures. It is aims to create a framework for the development of new efficient intelligent calculation software based on knowledge bases. The resulting applied algebra operates with such concepts as the characteristic of the substance, component material, technological situation, process chain or manufacturing process; determines the sequential and parallel composition of substances and materials. The structures of attributes that are used to describe the internal structure of the components characteristic of the mixture is allowed to use the resulting mathematical formalism for a wide range of materials and complex composite materials. Applied algebra has potential for development, the introduction of new concepts and relationships, which makes it a promising tool for solving practical blending problems.
1. Ахо А., Ульман Дж. Теория синтаксического анализа, перевода и компиляции. Том 2. Компиляция. – М.: Мир, 1978. – 487 с.
2. Каширин И.Ю., Коричнев Л.П. Формальное исследование интеллектуальных программных систем. – М.: Радио и связь, 1997. – 160 с.
3. Каширин И.Ю., Маликова Л.В., Маркова В.В. Основы формальных систем // Учебное пособие / под ред. Каширина И.Ю. М.: Минобразования России, НИЦПрИС, 1999. – 84 с.
4. Куратовский К., Мостовский А. Теория множеств. – М.: Мир, 1970. – 416 с.
5. Салий В.Н. Универсальная алгебра и автоматы // Учебное пособие / под ред. Салия В.Н. Саратовский государственный университет, 1988. – 73 стр.
6. Селиванов Е.В. Обобщённое представление технологических процессов в программном обеспечении // Новые информационные технологии в научных исследованиях и в образовании: материалы XIX Всероссийской научно-технической конференции студентов, молодых ученых и специалистов. – Рязань: РГРТУ, 2014. – 268 с.
7. Четыркин Е.М. Финансовая математика. – М.: «Дело», 2005. – 400 с.
8. Knight K. Unification: A Multidisciplinary Survey. – ACM Computing Surveys, 1989. – V.21. – N 1. – pp. 93-124.
9. Milind G., Polychronopoulos C.D. The hierarchical task graph as a universal intermediate representation. – Int. J. Parall. Programm., v.22, 1994. – N5. – pp. 519-551.