Непрерывная логика и алгоритмы решения некоторых комбинаторных задач
Сформульовано клас комбінаторних задач, еквівалентних задачі визначення взаємного розміщення n послідовностей інтервалів. Показано, що адекватною математичною моделлю розв’язку поставленої задачі є кінцевий динамічний автомат без пам'яті, а адекватним математичним апаратом — неперервна логіка....
Збережено в:
| Опубліковано в: : | Кибернетика и системный анализ |
|---|---|
| Дата: | 2009 |
| Автор: | Левин, В.И. |
| Формат: | Стаття |
| Мова: | Російська |
| Опубліковано: |
Інститут кібернетики ім. В.М. Глушкова НАН України
2009
|
| Теми: | |
| Онлайн доступ: | https://nasplib.isofts.kiev.ua/handle/123456789/44376 |
| Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
| Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Цитувати: | Непрерывная логика и алгоритмы решения некоторых комбинаторных задач / В.И. Левин // Кибернетика и системный анализ. — 2009. — № 3. — С. 173-181. — Бібліогр.: 6 назв. — рос. |
Репозитарії
Digital Library of Periodicals of National Academy of Sciences of UkraineСхожі ресурси
Рандомизированный метод решения дискретных некорректных задач
за авторством: Рачковский, Д.А., та інші
Опубліковано: (2012)
за авторством: Рачковский, Д.А., та інші
Опубліковано: (2012)
Синтез логических многополюсников с заданной динамикой выходных процессов
за авторством: Левин, В.И.
Опубліковано: (2012)
за авторством: Левин, В.И.
Опубліковано: (2012)
Алгоритмы определения коэффициента корреляции и взаимно корреляционной функции между полезным сигналом и помехой зашумленных технологических параметров
за авторством: Алиев, Т.А., та інші
Опубліковано: (2011)
за авторством: Алиев, Т.А., та інші
Опубліковано: (2011)
Интегрированная технология интеллектуального управления рисками программных проектов
за авторством: Слабоспицкая, О.А., та інші
Опубліковано: (2009)
за авторством: Слабоспицкая, О.А., та інші
Опубліковано: (2009)
Программно-алгоритмические методы повышения точности компьютерных решений
за авторством: Николаевская, Е.А., та інші
Опубліковано: (2009)
за авторством: Николаевская, Е.А., та інші
Опубліковано: (2009)
Стандартизация инженерии систем и программных средств в Украине
за авторством: Андон, Ф.И., та інші
Опубліковано: (2009)
за авторством: Андон, Ф.И., та інші
Опубліковано: (2009)
Наилучшая чебышевская аппроксимация функций одной и многих переменных
за авторством: Каленчук-Порханова, А.А.
Опубліковано: (2009)
за авторством: Каленчук-Порханова, А.А.
Опубліковано: (2009)
Исследование свойств документов MSC с помощью преобразования их в сети Петри
за авторством: Крывый, С.Л., та інші
Опубліковано: (2009)
за авторством: Крывый, С.Л., та інші
Опубліковано: (2009)
Эффективные по быстродействию алгортитмы передачи и приема высокоинформативных пакетов в радиосетях
за авторством: Шевчук, Б.М.
Опубліковано: (2016)
за авторством: Шевчук, Б.М.
Опубліковано: (2016)
Асимптотические свойства эмпирических оценок параметров марковских последовательностей
за авторством: Вовк, Л.Б., та інші
Опубліковано: (2012)
за авторством: Вовк, Л.Б., та інші
Опубліковано: (2012)
Каркасное проектирование доменно-ключевой схемы реляционной базы данных
за авторством: Панченко, Б.Е.
Опубліковано: (2012)
за авторством: Панченко, Б.Е.
Опубліковано: (2012)
Приближенный метод сравнения модулярных чисел и его применение для деления чисел в системе остаточных классов
за авторством: Червяков, Н.И., та інші
Опубліковано: (2014)
за авторством: Червяков, Н.И., та інші
Опубліковано: (2014)
Теоретические и алгоритмические основы повышения эффективности пакетной передачи информации в высокоскоростных и защищенных радиосетях
за авторством: Шевчук, Б.М.
Опубліковано: (2016)
за авторством: Шевчук, Б.М.
Опубліковано: (2016)
Метод арифметического сравнения данных, представленных в системе остаточных классов
за авторством: Краснобаев, В.А., та інші
Опубліковано: (2016)
за авторством: Краснобаев, В.А., та інші
Опубліковано: (2016)
Оптимизация схем композиционных микропрограммных устройств управления, реализуемых на ПЛИС
за авторством: Баркалов, А.А., та інші
Опубліковано: (2011)
за авторством: Баркалов, А.А., та інші
Опубліковано: (2011)
Исследования доменно-ключевой схемы реляционной базы данных
за авторством: Панченко, Б.Е.
Опубліковано: (2012)
за авторством: Панченко, Б.Е.
Опубліковано: (2012)
Каркасный анализ предметной области: стационарные динамические задачи теории упругости для изотропных сред с произвольными неоднородностями
за авторством: Панченко, Б.Е., та інші
Опубліковано: (2013)
за авторством: Панченко, Б.Е., та інші
Опубліковано: (2013)
Мониторинг водных ресурсов на основе интеграции разнородных данных и высокопроизводительных вычислений
за авторством: Кравченко, А.Н., та інші
Опубліковано: (2008)
за авторством: Кравченко, А.Н., та інші
Опубліковано: (2008)
Фаза волновой функции квантового бита как ресурс для хранения и передачи информации
за авторством: Войтович, И.Д., та інші
Опубліковано: (2014)
за авторством: Войтович, И.Д., та інші
Опубліковано: (2014)
Теория надежной и защищенной передачи данных в сенсорных и локально-региональных сетях
за авторством: Николайчук, Я.Н., та інші
Опубліковано: (2014)
за авторством: Николайчук, Я.Н., та інші
Опубліковано: (2014)
Технология вычисления робастных нормированных корреляционных матриц
за авторством: Алиев, Т.А., та інші
Опубліковано: (2011)
за авторством: Алиев, Т.А., та інші
Опубліковано: (2011)
Вещественные вложения и скетчи для быстрой оценки расстояний и сходств
за авторством: Рачковский, Д.А.
Опубліковано: (2016)
за авторством: Рачковский, Д.А.
Опубліковано: (2016)
Самовоспроизводящаяся структура как искусственный многоклеточный организм
за авторством: Ачасова, С.М.
Опубліковано: (2014)
за авторством: Ачасова, С.М.
Опубліковано: (2014)
Исследование эмпирических оценок параметров гиббсовского распределения, полученных методом максимального правдоподобия
за авторством: Самосёнок, А.С.
Опубліковано: (2013)
за авторством: Самосёнок, А.С.
Опубліковано: (2013)
Распознавание сходства многоугольников в усиленной хаусдорфовой метрике
за авторством: Шлезингер, М.И., та інші
Опубліковано: (2014)
за авторством: Шлезингер, М.И., та інші
Опубліковано: (2014)
Использование меньшего количества ресурсов кристалла FPGA в схеме автомата Мура
за авторством: Баркалов, А.А., та інші
Опубліковано: (2013)
за авторством: Баркалов, А.А., та інші
Опубліковано: (2013)
Построение весовых функций метода Петрова–Галёркина для уравнений конвекции–диффузии–реакции в трехмерном случае
за авторством: Сальников, Н.Н., та інші
Опубліковано: (2014)
за авторством: Сальников, Н.Н., та інші
Опубліковано: (2014)
Оценка сходства векторов по их рандомизированным бинарным проекциям
за авторством: Рачковский, Д.А.
Опубліковано: (2015)
за авторством: Рачковский, Д.А.
Опубліковано: (2015)
Реконструкция слов по конечному мультимножеству подслов в гипотезе сдвига 1. I. Реконструкция без запретов
за авторством: Сметанин, Ю.Г., та інші
Опубліковано: (2014)
за авторством: Сметанин, Ю.Г., та інші
Опубліковано: (2014)
Рандомизированные проекционные методы формирования бинарных разреженных векторных представлений
за авторством: Рачковский, Д.А., та інші
Опубліковано: (2012)
за авторством: Рачковский, Д.А., та інші
Опубліковано: (2012)
Метод нахождения всех корней системы нелинейных алгебраических уравнений, основанный на операторе Кравчика
за авторством: Семенов, В.Ю.
Опубліковано: (2015)
за авторством: Семенов, В.Ю.
Опубліковано: (2015)
Реляционный каркас и модель CASE-оболочки нового типа
за авторством: Панченко, Б.Е., та інші
Опубліковано: (2013)
за авторством: Панченко, Б.Е., та інші
Опубліковано: (2013)
Структурная декомпозиция как средство оптимизации схемы автомата Мили на ПЛИС
за авторством: Баркалов, А.А., та інші
Опубліковано: (2012)
за авторством: Баркалов, А.А., та інші
Опубліковано: (2012)
Разделение полного множества значений булевых функций на основе заданного порога и порогового отношения
за авторством: Опанасенко, В.Н., та інші
Опубліковано: (2012)
за авторством: Опанасенко, В.Н., та інші
Опубліковано: (2012)
Идентификация непараметрического сигнала при наличии случайного шума с сильной зависимостью
за авторством: Била, Г.Д.
Опубліковано: (2016)
за авторством: Била, Г.Д.
Опубліковано: (2016)
Основные принципы синтеза логико-лингвистических моделей
за авторством: Вавиленкова, А.И.
Опубліковано: (2015)
за авторством: Вавиленкова, А.И.
Опубліковано: (2015)
Модификация системы адресации микрокоманд в устройстве управления с разделением кодов
за авторством: Баркалов, А.А., та інші
Опубліковано: (2013)
за авторством: Баркалов, А.А., та інші
Опубліковано: (2013)
Преобразование векторных данных случайными бинарными матрицами
за авторством: Рачковский, Д.А.
Опубліковано: (2014)
за авторством: Рачковский, Д.А.
Опубліковано: (2014)
Робастные технологии вычисления нормированных корреляционных функций
за авторством: Алиев, Т.А., та інші
Опубліковано: (2010)
за авторством: Алиев, Т.А., та інші
Опубліковано: (2010)
Метод повышения достоверности контроля данных, представленных в системе остаточных классов
за авторством: Краснобаев, В.А., та інші
Опубліковано: (2014)
за авторством: Краснобаев, В.А., та інші
Опубліковано: (2014)
Схожі ресурси
-
Рандомизированный метод решения дискретных некорректных задач
за авторством: Рачковский, Д.А., та інші
Опубліковано: (2012) -
Синтез логических многополюсников с заданной динамикой выходных процессов
за авторством: Левин, В.И.
Опубліковано: (2012) -
Алгоритмы определения коэффициента корреляции и взаимно корреляционной функции между полезным сигналом и помехой зашумленных технологических параметров
за авторством: Алиев, Т.А., та інші
Опубліковано: (2011) -
Интегрированная технология интеллектуального управления рисками программных проектов
за авторством: Слабоспицкая, О.А., та інші
Опубліковано: (2009) -
Программно-алгоритмические методы повышения точности компьютерных решений
за авторством: Николаевская, Е.А., та інші
Опубліковано: (2009)