Cоставление расписаний как задача удовлетворения ограничений (на примере планирования открытых горных работ)

Συγγραφείς: Alexander Zuenko, Yurii Oleynik

Πηγή: Информатика и автоматизация, Vol 23, Iss 5, Pp 1290-1310 (2024)

Θεματικοί όροι: задача удовлетворения ограничений, программирование в ограничениях, распространение ограничений, локальный поиск, смешано-целочисленная оптимизация, планирование открытых горных работ, Electronic computers. Computer science, QA75.5-76.95

Περιγραφή αρχείου: electronic resource

Relation: https://ia.spcras.ru/index.php/sp/article/view/16261; https://doaj.org/toc/2713-3192; https://doaj.org/toc/2713-3206

Σύνδεσμος πρόσβασης: https://doaj.org/article/7e488300bc3b48aca7b3049a206781d9

A combined method for verification of large-scale data models

Συγγραφείς: V. A. Semenov, S. V. Morozov, D. V. Ilyin

Πηγή: Труды Института системного программирования РАН, Vol 26, Iss 2, Pp 197-230 (2018)

Θεματικοί όροι: верификация моделей, объектно-ориентированное моделирование, uml/ocl, express, логическое программирование в ограничениях, линейное целочисленное программирование, семантическая реконсиляция, Electronic computers. Computer science, QA75.5-76.95

Περιγραφή αρχείου: electronic resource

Relation: https://ispranproceedings.elpub.ru/jour/article/view/797; https://doaj.org/toc/2079-8156; https://doaj.org/toc/2220-6426

Σύνδεσμος πρόσβασης: https://doaj.org/article/74d912d277834b8da7ff0fa662539bb9

Object-oriented constraint-based programming: a new paradigm using declarative data modeling languages

Συγγραφείς: V. A. Semenov, D. V. Ilyin, S. V. Morozov, O. V. Sidyaka

Πηγή: Труды Института системного программирования РАН, Vol 19, Iss 0 (2018)

Θεματικοί όροι: объектно-ориентированное программирование в ограничениях, объектно-ориентированное программирование, логическое программирование в ограничениях, декларативные языки моделирования, Electronic computers. Computer science, QA75.5-76.95

Περιγραφή αρχείου: electronic resource

Relation: https://ispranproceedings.elpub.ru/jour/article/view/1068; https://doaj.org/toc/2079-8156; https://doaj.org/toc/2220-6426

Σύνδεσμος πρόσβασης: https://doaj.org/article/fb242bd7e960410db9a5b1b16eb5cee3

ДЕКЛАРАТИВНЫЙ ПОДХОД К ПЛАНИРОВАНИЮ ОБОРОТА ТОВАРОВ ДЛЯ МАЛЫХ ПРЕДПРИЯТИЙ

Θεματικοί όροι: комбинаторный поиск, constraint programming, ABC-анализ, ABC-analysis, программирование в ограничениях, задача удовлетворения ограничений, комбинаторная оптимизация, XYZ-analysis, XYZ-анализ, procurement planning, combinatorial optimization, планирование закупок, constraint satisfaction problem, combinatorial search

ПРИМЕНЕНИЕ МЕТОДОВ ДЕКЛАРАТИВНОГО ПРОГРАММИРОВАНИЯ В ЗАДАЧАХ CONSTRAINED CLUSTERING

Θεματικοί όροι: Кластерный анализ, constraint programming, Cluster analysis, декларативное программирование, semi supervised clustering, кластеризация с частичным применением учителя, declarative programming, программирование в ограничениях

Анализ возможностей совмещения парадигм программирования в ограничениях и объектно-оринтированного программирования

Θεματικοί όροι: constraint programming, postrelational databases, object databases, object-relational databases, объектно-ориентированная базы данных, объектно-реляционная базы данных, программирование в ограничениях, постреляционная базы данных

APPLICATION OF CONSTRAINT PROGRAMMING TECHNOLOGY FOR THE ANALYSIS AND PROCESSING OF INCOMPLETE AND DIFFICULTY FORMALIZABLE INFORMATION

Πηγή: История науки и техники.

Θεματικοί όροι: матрицеподобная структура, constraint programming, нечисловое ограничение, constraint satisfaction, удовлетворение ограничений, ontological engineering, intelligent planning, онтологический инжениринг, интеллектуальное планирование, matrix-like structure, non-numerical constraint, программирование в ограничениях

Theoretical and practical complexity estimates for local propagation methods in constraint-based programming applications

Συγγραφείς: V. A. Semenov, O. V. Sidyaka

Πηγή: Труды Института системного программирования РАН, Vol 19, Iss 0 (2018)

Θεματικοί όροι: методы локального распространения значений и степеней свободы, программирование в ограничениях, оценки сложности, Electronic computers. Computer science, QA75.5-76.95

Περιγραφή αρχείου: electronic resource

Relation: https://ispranproceedings.elpub.ru/jour/article/view/1069; https://doaj.org/toc/2079-8156; https://doaj.org/toc/2220-6426

Σύνδεσμος πρόσβασης: https://doaj.org/article/a47cdea37a5b4a9bb72fc46d794b6049

Применение методов ПРОГРАММИРОВАНИя В ОГРАНИЧЕНИЯХ в задачах интеллектуального планирования

Θεματικοί όροι: constraint programming, планирование, intelligent planning, составление расписаний, интеллектуальное планирование, scheduling, planning, программирование в ограничениях

ОБЪЕКТНО-ОРИЕНТИРОВАННОЕ ПРОГРАММИРОВАНИЕ В ОГРАНИЧЕНИЯХ: НОВЫЙ ПОДХОД НА ОСНОВЕ ДЕКЛАРАТИВНЫХ ЯЗЫКОВ МОДЕЛИРОВАНИЯ ДАННЫХ

Συγγραφείς: Семенов, В., Ильин, Д., Морозов, С., Сидяка, О.

Θεματικοί όροι: ОБЪЕКТНО-ОРИЕНТИРОВАННОЕ ПРОГРАММИРОВАНИЕ В ОГРАНИЧЕНИЯХ,ОБЪЕКТНО-ОРИЕНТИРОВАННОЕ ПРОГРАММИРОВАНИЕ,ЛОГИЧЕСКОЕ ПРОГРАММИРОВАНИЕ В ОГРАНИЧЕНИЯХ,ДЕКЛАРАТИВНЫЕ ЯЗЫКИ МОДЕЛИРОВАНИЯ

Περιγραφή αρχείου: text/html

Διαθεσιμότητα: http://cyberleninka.ru/article/n/obektno-orientirovannoe-programmirovanie-v-ogranicheniyah-novyy-podhod-na-osnove-deklarativnyh-yazykov-modelirovaniya-dannyh
http://cyberleninka.ru/article_covers/13969551.png

Обзор исследований проблем распознавания образов как задач удовлетворения ограничений

Συνεισφορές: ELAKPI

Θεματικοί όροι: задача удовлетворения ограничений, (max,+)-задача, марковские случайные поля, удовлетворение ограничений, задача разметки, структурное распознавание, программирование в ограничениях

Περιγραφή αρχείου: application/pdf

Σύνδεσμος πρόσβασης: https://ela.kpi.ua/handle/123456789/20449

ПРИМЕНЕНИЕ МЕТОДОВ ЛОКАЛЬНОГО ПОИСКА ПРИ РЕШЕНИИ ЗАДАЧ УДОВЛЕТВОРЕНИЯ ОГРАНИЧЕНИЙ

Συγγραφείς: Зуенко Александр Анатольевич, Алмаматов Александр Анатольевич

Θεματικοί όροι: задача удовлетворения ограничений, программирование в ограничениях, методы локального поиска

Περιγραφή αρχείου: text/html

Διαθεσιμότητα: http://cyberleninka.ru/article/n/primenenie-metodov-lokalnogo-poiska-pri-reshenii-zadach-udovletvoreniya-ogranicheniy
http://cyberleninka.ru/article_covers/16380352.png

ПРЯМОЙ И ОБРАТНЫЙ ВЫВОД В ПРОДУКЦИОННЫХ СИСТЕМАХ С НЕДООПРЕДЕЛЕННЫМИ ПАРАМЕТРАМИ

Συγγραφείς: Зуенко Александр Анатольевич

Θεματικοί όροι: задача удовлетворения ограничений, программирование в ограничениях, система продукций, недоопределенные параметры

Περιγραφή αρχείου: text/html

Διαθεσιμότητα: http://cyberleninka.ru/article/n/pryamoy-i-obratnyy-vyvod-v-produktsionnyh-sistemah-s-nedoopredelennymi-parametrami
http://cyberleninka.ru/article_covers/16380353.png

МАТЕМАТИЧЕСКАЯ МОДЕЛЬ РЕШЕНИЯ ЗАДАЧИ ПЛАНИРОВАНИЯ РАБОТ БЛОКА «СЕРВИС» В СЕТИ АВТОМОБИЛЬНЫХ ДИЛЕРСКИХ ЦЕНТРОВ

Συγγραφείς: СКОРНЯКОВА А.Ю.

Θεματικοί όροι: ИНФОРМАЦИОННЫЕ СИСТЕМЫ, ДИЛЕРСКИЙ ЦЕНТР, БЛОК "СЕРВИС", BLOCK "SERVICE", АВТОМАТИЗАЦИЯ, ТЕОРИЯ РАСПИСАНИЙ, ПРОГРАММИРОВАНИЕ В ОГРАНИЧЕНИЯХ

Περιγραφή αρχείου: text/html

Διαθεσιμότητα: http://cyberleninka.ru/article/n/matematicheskaya-model-resheniya-zadachi-planirovaniya-rabot-bloka-servis-v-seti-avtomobilnyh-dilerskih-tsentrov
http://cyberleninka.ru/article_covers/15957230.png

ПРОГРАММИРОВАНИЕ В ОГРАНИЧЕНИЯХ НА ЯЗЫКЕ PYTHON С ПРИМЕНЕНИЕМ СТРУКТУР И АЛГОРИТМОВ АЛГЕБРЫ КОРТЕЖЕЙ

Συγγραφείς: Зуенко, Александр, Алмаматов, Александр

Θεματικοί όροι: программирование в ограничениях, алгебра кортежей, методы локального поиска, интерпретируемый язык программирования

Περιγραφή αρχείου: text/html

Διαθεσιμότητα: http://cyberleninka.ru/article/n/programmirovanie-v-ogranicheniyah-na-yazyke-python-s-primeneniem-struktur-i-algoritmov-algebry-kortezhey
http://cyberleninka.ru/article_covers/15723581.png

КОМБИНИРОВАННЫЙ МЕТОД ВЕРИФИКАЦИИ МАСШТАБНЫХ МОДЕЛЕЙ ДАННЫХ

Συγγραφείς: Семенов, В., Морозов, С., Ильин, Д.

Θεματικοί όροι: ВЕРИФИКАЦИЯ МОДЕЛЕЙ, ОБЪЕКТНО-ОРИЕНТИРОВАННОЕ МОДЕЛИРОВАНИЕ, UML/OCL, ЛОГИЧЕСКОЕ ПРОГРАММИРОВАНИЕ В ОГРАНИЧЕНИЯХ, ЛИНЕЙНОЕ ЦЕЛОЧИСЛЕННОЕ ПРОГРАММИРОВАНИЕ, СЕМАНТИЧЕСКАЯ РЕКОНСИЛЯЦИЯ

Περιγραφή αρχείου: text/html

Διαθεσιμότητα: http://cyberleninka.ru/article/n/kombinirovannyy-metod-verifikatsii-masshtabnyh-modeley-dannyh
http://cyberleninka.ru/article_covers/15574472.png

УСКОРЕНИЕ АЛГОРИТМОВ ЛОГИЧЕСКОГО ВЫВОДА НА ОГРАНИЧЕНИЯХ

Συγγραφείς: Зуенко, Александр

Θεματικοί όροι: АЛГЕБРА КОРТЕЖЕЙ,ЛОГИКО-СЕМАНТИЧЕСКИЙ АНАЛИЗ,ПРОГРАММИРОВАНИЕ В ОГРАНИЧЕНИЯХ,ЗАДАЧА УДОВЛЕТВОРЕНИЯ ОГРАНИЧЕНИЙ,N-TUPLE ALGEBRA,LOGICAL-SEMANTIC ANALYSIS,CONSTRAINTS РROGRAMMING,OONSTRAINT SATISFACTION PROBLEM

Περιγραφή αρχείου: text/html

Διαθεσιμότητα: http://cyberleninka.ru/article/n/uskorenie-algoritmov-logicheskogo-vyvoda-na-ogranicheniyah
http://cyberleninka.ru/article_covers/15542039.png

SOFTWARE PROJECTS PLANNING ON THE BASIS OF MODELS AND UNDERDETERMINED CONSTRAINT PROGRAMMING ; ПЛАНИРОВАНИЕ ПРОГРАММНІХ ПРОЕКТОВ НА ОСНОВЕ НЕДООПРЕДЕЛЕННІХ МОДЕЛЕЙ И ПРОГРАММИРОВАНИЯ В ОГРАНИЧЕНИЯХ ; ПЛАНУВАННЯ ПРОГРАМНИХ ПРОЕКТІВ НА ОСНОВІ НЕДОВИЗНАЧЕНИХ МОДЕЛЕЙ І ПРОГРАМУВАННЯ В ОБМЕЖЕННЯХ

Συγγραφείς: Туркін, Ігор Борисович, Дереженець, Денис Сергійович, Соколов, Микита Сергійович

Πηγή: Engineering Software; Vol. 9 No. 1 (2012); 14 ; Инженерия программного обеспечения; Том 9 № 1 (2012); 14 ; Інженерія програмного забезпечення; Том 9 № 1 (2012); 14

Θεματικοί όροι: Project management, software, software project, project planning, constraint programming, underdetermined model, constraint satisfaction, Управление проектами, программное обеспечение, программный проект, планирование проекта, программирование в ограничениях, недоопределенная модель, удовлетворение ограничений, 004.052.42, Управління проектами, програмне забезпечення, програмний проект, планування проекту, прораммування в обмеженнях, недовизначена модель, задоволення обмежень

Περιγραφή αρχείου: application/pdf

Relation: https://jrnl.nau.edu.ua/index.php/IPZ/article/view/2866/2856; https://jrnl.nau.edu.ua/index.php/IPZ/article/view/2866

Διαθεσιμότητα: https://jrnl.nau.edu.ua/index.php/IPZ/article/view/2866

ТЕОРЕТИЧЕСКИЕ И ЭКСПЕРИМЕНТАЛЬНЫЕ ОЦЕНКИ СЛОЖНОСТИ МЕТОДОВ ЛОКАЛЬНОГО РАСПРОСТРАНЕНИЯ В ЗАДАЧАХ ПРОГРАММИРОВАНИЯ В ОГРАНИЧЕНИЯХ

Συγγραφείς: Семенов, В., Сидяка, О.

Θεματικοί όροι: МЕТОДЫ ЛОКАЛЬНОГО РАСПРОСТРАНЕНИЯ ЗНАЧЕНИЙ И СТЕПЕНЕЙ СВОБОДЫ,ПРОГРАММИРОВАНИЕ В ОГРАНИЧЕНИЯХ,ОЦЕНКИ СЛОЖНОСТИ

Περιγραφή αρχείου: text/html

Διαθεσιμότητα: http://cyberleninka.ru/article/n/teoreticheskie-i-eksperimentalnye-otsenki-slozhnosti-metodov-lokalnogo-rasprostraneniya-v-zadachah-programmirovaniya-v
http://cyberleninka.ru/article_covers/13962049.png

Объектно-ориентированное программирование в ограничениях: новый подход на основе декларативных языков моделирования данных

Πηγή: Труды Института системного программирования РАН.

Θεματικοί όροι: ОБЪЕКТНО-ОРИЕНТИРОВАННОЕ ПРОГРАММИРОВАНИЕ В ОГРАНИЧЕНИЯХ,ОБЪЕКТНО-ОРИЕНТИРОВАННОЕ ПРОГРАММИРОВАНИЕ,ЛОГИЧЕСКОЕ ПРОГРАММИРОВАНИЕ В ОГРАНИЧЕНИЯХ,ДЕКЛАРАТИВНЫЕ ЯЗЫКИ МОДЕЛИРОВАНИЯ, 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences

Περιγραφή αρχείου: text/html

Σύνδεσμος πρόσβασης: http://cyberleninka.ru/article/n/obektno-orientirovannoe-programmirovanie-v-ogranicheniyah-novyy-podhod-na-osnove-deklarativnyh-yazykov-modelirovaniya-dannyh
http://cyberleninka.ru/article_covers/13969551.png