Програмування в обмеженнях у системі інсерційного моделювання
The paper relates to practical aspects of insertion modeling. Insertion modeling system is an environment for the development of insertion machines, used to represent insertion models of distributed systems. The architecture of insertion machines and insertion modeling system IMS is presented. Inser...
Збережено в:
| Дата: | 2011 |
|---|---|
| Автори: | Летичевський, О.А., Летичевський, О.О., Песчаненко, В.С., Блинов, І.О., Кльонов, Д.М. |
| Формат: | Стаття |
| Мова: | Англійська |
| Опубліковано: |
Інститут програмних систем НАН України
2011
|
| Теми: | |
| Онлайн доступ: | https://nasplib.isofts.kiev.ua/handle/123456789/50995 |
| Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
| Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Цитувати: | Constraint programming in insertion modeling system / O.A. Letichevsky, O.O. Letychevskyi, V.S. Peschanenko, I.O. Blynov, D.M. Klionov // Пробл. програмув. — 2011. — № 4. — С. 14-22. — Бібліогр.: 27 назв. — англ. |
Репозитарії
Digital Library of Periodicals of National Academy of Sciences of UkraineСхожі ресурси
Алгебраїчне моделювання в системах міжнародної та місцевої обслуговуючої логістики
за авторством: Летичевський, О.О., та інші
Опубліковано: (2020)
за авторством: Летичевський, О.О., та інші
Опубліковано: (2020)
Еволюційне програмування
за авторством: Глибовець, М.М., та інші
Опубліковано: (2013)
за авторством: Глибовець, М.М., та інші
Опубліковано: (2013)
Компонентне програмування. Теорія і реалізація
за авторством: Лавріщева, К.М.
Опубліковано: (2012)
за авторством: Лавріщева, К.М.
Опубліковано: (2012)
Київська школа програмування В.М. Глушкова
за авторством: Андон, П.І.
Опубліковано: (2013)
за авторством: Андон, П.І.
Опубліковано: (2013)
Генерувальне програмування програмних систем і їх сімейств
за авторством: Лавріщева, К.М.
Опубліковано: (2009)
за авторством: Лавріщева, К.М.
Опубліковано: (2009)
Аналіз ефективності реалізації арифметичних алгоритмів на мовах програмування C++ та Python
за авторством: Новокшонов, А.К.
Опубліковано: (2016)
за авторством: Новокшонов, А.К.
Опубліковано: (2016)
Елементи конкретної алгоритміки: обчислюваність і розв’язність
за авторством: Провотар, О.І., та інші
Опубліковано: (2020)
за авторством: Провотар, О.І., та інші
Опубліковано: (2020)
Аналіз систем нечіткої логіки для апроксимації нечітких функцій
за авторством: Щегельський, Т.С., та інші
Опубліковано: (2012)
за авторством: Щегельський, Т.С., та інші
Опубліковано: (2012)
Аспекты моделирования в системе Гомеопат
за авторством: Провотар, А.А., та інші
Опубліковано: (2012)
за авторством: Провотар, А.А., та інші
Опубліковано: (2012)
Конструктори множин та мультимножин об’єктів
за авторством: Терлецький, Д.О.
Опубліковано: (2014)
за авторством: Терлецький, Д.О.
Опубліковано: (2014)
Композиційно-номінативні модальні логіки немонотонних часткових предикатів та їх числення
за авторством: Шкільняк, О.С., та інші
Опубліковано: (2017)
за авторством: Шкільняк, О.С., та інші
Опубліковано: (2017)
Объектно-компонентная разработка изменяемых программных систем
за авторством: Лаврищева, Е.М., та інші
Опубліковано: (2016)
за авторством: Лаврищева, Е.М., та інші
Опубліковано: (2016)
Про нові методи опису невизначених величин
за авторством: Провотар, О.І., та інші
Опубліковано: (2012)
за авторством: Провотар, О.І., та інші
Опубліковано: (2012)
Порівняння ефективності підходів Map-Reduce і акторної моделі при розв’язанні завдань з високою зв'язністю вхідних даних на прикладі задачі оптимізації рою часток
за авторством: Ларін, В.О., та інші
Опубліковано: (2021)
за авторством: Ларін, В.О., та інші
Опубліковано: (2021)
Двохкомпонентні алгоритми сортування
за авторством: Шинкаренко, В.І., та інші
Опубліковано: (2022)
за авторством: Шинкаренко, В.І., та інші
Опубліковано: (2022)
Девіантні алгебри істиннісних значень та девіантні класи загальних недетермінованих предикатів
за авторством: Шкільняк, О.С.
Опубліковано: (2019)
за авторством: Шкільняк, О.С.
Опубліковано: (2019)
Відношення логічного наслідку в логіках часткових предикатів з композицією предикатного доповнення
за авторством: Шкільняк, О.С.
Опубліковано: (2019)
за авторством: Шкільняк, О.С.
Опубліковано: (2019)
Відношення логічного наслідку в логіках квазіарних предикатів
за авторством: Шкільняк, О.С.
Опубліковано: (2016)
за авторством: Шкільняк, О.С.
Опубліковано: (2016)
Секвенційні числення композиційно-номінативних модальних логік функціонально-екваційного рівня
за авторством: Шкільняк, О.С.
Опубліковано: (2011)
за авторством: Шкільняк, О.С.
Опубліковано: (2011)
Виникнення та інтерпретація тризначних логік Кліні
за авторством: Шишацька, О.В.
Опубліковано: (2010)
за авторством: Шишацька, О.В.
Опубліковано: (2010)
Композиційно-номінативні модальні логіки функціонально-екваційного рівня
за авторством: Шкільняк, О.С.
Опубліковано: (2010)
за авторством: Шкільняк, О.С.
Опубліковано: (2010)
Побудова секвенційних числень мультимодальних композиційно-номінативних логік
за авторством: Шкільняк, О.С.
Опубліковано: (2013)
за авторством: Шкільняк, О.С.
Опубліковано: (2013)
Семантичні властивості композиційно-номінативних модальних логік
за авторством: Шкільняк, О.С.
Опубліковано: (2009)
за авторством: Шкільняк, О.С.
Опубліковано: (2009)
Про локальну коректність формальних визначень
за авторством: Провотар, О.І.
Опубліковано: (2006)
за авторством: Провотар, О.І.
Опубліковано: (2006)
Відношення логічного наслідку в логіках монотонних предикатів тa логіках антитонних предикатів
за авторством: Шкільняк, О.С.
Опубліковано: (2017)
за авторством: Шкільняк, О.С.
Опубліковано: (2017)
О выделении макроопераций из вычислительных процессов сортировки массивов данных
за авторством: Паулин, О.Н., та інші
Опубліковано: (2016)
за авторством: Паулин, О.Н., та інші
Опубліковано: (2016)
Семантичні властивості п’ятизначних логік
за авторством: Нікітченко, М.С., та інші
Опубліковано: (2018)
за авторством: Нікітченко, М.С., та інші
Опубліковано: (2018)
Першопорядкові секвенційні числення логік квазіарних предикатів з розширеними реномінаціями та рівністю
за авторством: Шкільняк, О.С., та інші
Опубліковано: (2022)
за авторством: Шкільняк, О.С., та інші
Опубліковано: (2022)
Генерація багатоцільових формальних моделей із успадкованого коду
за авторством: Потієнко, С.В., та інші
Опубліковано: (2022)
за авторством: Потієнко, С.В., та інші
Опубліковано: (2022)
Алгебри загальних недетермінованих предикатів
за авторством: Нікітченко, М.С., та інші
Опубліковано: (2018)
за авторством: Нікітченко, М.С., та інші
Опубліковано: (2018)
Першопорядкові композиційно-номінативні логіки із узагальненими реномінаціями
за авторством: Нікітченко, М.С., та інші
Опубліковано: (2014)
за авторством: Нікітченко, М.С., та інші
Опубліковано: (2014)
Гібридний алгоритм методу Ньютона для розв’язування систем нелінійних рівнянь з блочними матрицями Якобі
за авторством: Хіміч, О.М., та інші
Опубліковано: (2020)
за авторством: Хіміч, О.М., та інші
Опубліковано: (2020)
Секвенційні числення першопорядкових логік часткових предикатів з розширеними реномінаціями та композицією предикатного доповнення
за авторством: Нікітченко, М.С., та інші
Опубліковано: (2020)
за авторством: Нікітченко, М.С., та інші
Опубліковано: (2020)
Чисті першопорядкові логіки квазіарних предикатів
за авторством: Нікітченко, М.С., та інші
Опубліковано: (2016)
за авторством: Нікітченко, М.С., та інші
Опубліковано: (2016)
Логіки загальних недетермінованих предикатів: cемантичні аспекти
за авторством: Нікітченко, М.С., та інші
Опубліковано: (2018)
за авторством: Нікітченко, М.С., та інші
Опубліковано: (2018)
Пропозиційні логіки часткових предикатів з композицією предикатного доповнення
за авторством: Нікітченко, М.С., та інші
Опубліковано: (2019)
за авторством: Нікітченко, М.С., та інші
Опубліковано: (2019)
Загальнозначні теоретико-множинні конструкції повного образу, обмеження, сумісності: властивості та застосування
за авторством: Буй, Д.Б., та інші
Опубліковано: (2010)
за авторством: Буй, Д.Б., та інші
Опубліковано: (2010)
Композиційно-номінативні логіки безкванторних рівнів
за авторством: Шкільняк, С.С., та інші
Опубліковано: (2016)
за авторством: Шкільняк, С.С., та інші
Опубліковано: (2016)
Итеративный подход к анализу естественно-языковых текстов: логический аспект
за авторством: Крывый, С.Л., та інші
Опубліковано: (2012)
за авторством: Крывый, С.Л., та інші
Опубліковано: (2012)
Формалізований метод проектування застосувань в технології GPGPU
за авторством: Кривий, С.Л., та інші
Опубліковано: (2018)
за авторством: Кривий, С.Л., та інші
Опубліковано: (2018)
Схожі ресурси
-
Алгебраїчне моделювання в системах міжнародної та місцевої обслуговуючої логістики
за авторством: Летичевський, О.О., та інші
Опубліковано: (2020) -
Еволюційне програмування
за авторством: Глибовець, М.М., та інші
Опубліковано: (2013) -
Компонентне програмування. Теорія і реалізація
за авторством: Лавріщева, К.М.
Опубліковано: (2012) -
Київська школа програмування В.М. Глушкова
за авторством: Андон, П.І.
Опубліковано: (2013) -
Генерувальне програмування програмних систем і їх сімейств
за авторством: Лавріщева, К.М.
Опубліковано: (2009)