ВЫЧИСЛИТЕЛЬНЫЕ СИСТЕМЫ И СЕТИ
ИНТЕЛЛЕКТУАЛЬНЫЕ СИСТЕМЫ И ТЕХНОЛОГИИ
МАТЕМАТИЧЕСКОЕ МОДЕЛИРОВАНИЕ
A. A. Зуенко, А. Г. Олейник, Ю. А. Олейник "Интеграция концептуального моделирования и программирования в ограничениях для синтеза схем технологических процессов"
A. A. Зуенко, А. Г. Олейник, Ю. А. Олейник "Интеграция концептуального моделирования и программирования в ограничениях для синтеза схем технологических процессов"
Аннотация. 

Представлена информационная технология структурного синтеза схем многостадийных технологических процессов на основе интеграции методов концептуального моделирования и программирования в ограничениях. Актуальность разработки обусловлена тем, что существующие решения в области структурного синтеза не предлагают средств для формального описания разнородных ограничений на сочетания структурных элементов при формировании целевого объекта. Интеграция методов концептуального моделирования и программирования в ограничениях обеспечивает формализованное описание, автоматизированный учет и анализ разнородных ограничений как на сочетаемость реализующего процесс оборудования, так и на показатели эффективности. В качестве примера рассматриваются технологические процессы обогащения минерального сырья. Описаны формальные структуры, характеризующие как свойства объекта обработки, так и оборудования, реализующего основные технологические операции процесса. Представлены примеры ограничений на синтезируемую структуру технологического процесса и элементы инструментальной системы, реализующей разработанную технологию.

Ключевые слова: 

структурный синтез, технологический процесс, концептуальное моделирова-ние, программирование в ограничениях, задача удовлетворения ограничений.

Стр. 95-107.

DOI 10.14357/20718632220309
 
 
Литература

1. Божко А.Н. Структурный синтез как задача дискретной оптимизации // Электронное научно-техническое издание “Наука и Образование”. 2010. URL: http://technomag.edu.ru/doc/158337.html (дата обращения: 10.09.2021)
2. Половинкин А.И. Основы инженерного творчества. М.: Машиностроение, 1988. 364 с.
3. Анкудинов Г.И. Синтез структуры сложных объектов. Логико-комбинаторный подход. Ленинград: Издательство ЛГУ, 1986. 258 с.
4. Норенков И.П. Основы автоматизированного проектирования. М.: МГТУ, 2002. 336 с.
5. Петросов Д. А., Бажанов А. Г. Интеллектуальный структурный синтез технологических процессов на основе эволюционных методов и теории сетей Петри // Известия Юго-Западного государственного университета. Серия: Управление, вычислительная техника, информатика. Медицинское приборостроение. 2018. Т. 8, № 2 (27). С. 41-51.
6. Бржезовский А.В., Жаков В.И., Путилов В.А, Фильчаков В.В. Синтез моделей вычислительного эксперимента. СПб: Наука, 1992. 231 с.
7. Емельянов С.В., Олейник А.Г., Попков Ю.С., Путилов В.А. Информационные технологии регионального управления. М.: Едиториал УРСС, 2004. 400 с.
8. Russel S., Norvig P. Artificial Intelligence: A Modern Approach. 3rd edition. Prentice Hall, 2010. 1132 p.
9. Zuenko A. Representation and Processing of Qualitative Constraints Using a New Type of Smart Tables // Proceedings of the 4th International Conference on Computer Sci-ence and Application Engineering (CSAE '20). 2020. N. 45, P. 1-7.
10. Зуенко А.А., Фридман А.Я. Контекстный подход в системах сопровождения открытых моделей предметной области // Искусственный интеллект и принятие решений. 2008. №3. С. 41-51.
11. Bajwa I. S., Bordbar B., Lee M. G., OCL Constraints Generation from Natural Language Specification //14th IEEE International Enterprise Distributed Object Computing Conference. 2010, P. 204-213.
12. Yap R., Wang W. Generalized Arc Consistency Algorithms for Table Constraints: A Summary of Algorithmic Ideas // Proceedings of the AAAI Conference on Artificial Intelligence. 2020. P. 13590-13597.
13. Ingmar L., Schulte C. Making Compact-Table Compact // CP 2018, Lecture Notes in Computer Science. 2018. N. 11008, P. 210-218.
14. Audemard G., Lecoutre C., Maamar M. Segmented Tables: An Efficient Modeling Tool for Constraint Reasoning // ECAI 2020. 2020. P. 315-322.
15. Jussien N., Rochart G., Lorca X. Choco documentation. URL: https://choco-solver.org/docs/ (дата обращения: 10.09.2021)
 

2024 / 03
2024 / 02
2024 / 01
2023 / 04

© ФИЦ ИУ РАН 2008-2018. Создание сайта "РосИнтернет технологии".