Конструктивний алгоритм зворотного методу для числення висловлювань

Конструктивний алгоритм зворотного методу для числення висловлювань

Розглядається загальна схема зворотного методу С.Ю. Маслова для числення висловлювань. Описано низку евристичних стратегій і правил виведення скорочення перебору. Сформульовано конструктивний алгоритм зворотного методу для числення висловлювань....

Повний опис

Збережено в:

Бібліографічні деталі
Дата:	2007
Автор:	Доценко, В.А.
Формат:	Стаття
Мова:	Ukrainian
Опубліковано:	Навчально-науковий комплекс "Інститут прикладного системного аналізу" НТУУ "КПІ" МОН та НАН України 2007
Теми:	Проблемно і функціонально орієнтовані комп’ютерні системи та мережі
Онлайн доступ:	http://dspace.nbuv.gov.ua/handle/123456789/14635
Теги:	Додати тег Немає тегів, Будьте першим, хто поставить тег для цього запису!
Назва журналу:	Digital Library of Periodicals of National Academy of Sciences of Ukraine
Цитувати:	Конструктивний алгоритм зворотного методу для числення висловлювань/ В.А. Доценко // Систем. дослідж. та інформ. технології. — 2007. — № 2. — С. 59-73. — Бібліогр.: 7 назв. — укр.

Репозитарії

Digital Library of Periodicals of National Academy of Sciences of Ukraine

Схожі ресурси

Алгоритм оценки вероятности вторжений для средств мониторинга безопасности компьютерных систем
за авторством: Мухин, В.Е., та інші
Опубліковано: (2007)

Обобщенный алгоритм расчета характеристик стратегий Клейнрока-Камоуна для распределения буфера в сетях коммутации пакетов
за авторством: Пономаренко, Л.А., та інші
Опубліковано: (2002)

Разработка систем передачи телеметрической информации для космических объектов
за авторством: Зинченко, В.П., та інші
Опубліковано: (2005)

Выбор протокола динамической маршрутизации в корпоративной IP-сети
за авторством: Бачинский, В.А., та інші
Опубліковано: (2011)

Построение оптимальной последовательности соединений отнрошений в запросах реляционной базы данных
за авторством: Пономаренко, Л.А., та інші
Опубліковано: (2003)

Національна Grid інфраструктура для забезпечення наукових досліджень і освіти
за авторством: Петренко, А.І.
Опубліковано: (2008)

Grid та інтелектуальна обробка даних Data Mining
за авторством: Петренко, А.І.
Опубліковано: (2008)

Исследование эффективности нечеткой нейронной сети ANFIS в задачах макроэкономического прогнозирования
за авторством: Зайченко, Ю.П., та інші
Опубліковано: (2005)

Анализ методов управления трафиком ABR в сетях ATM с применением имитационного моделирования
за авторством: Зайченко, Ю.П., та інші
Опубліковано: (2005)

Методы и средства эффективного управления передачей данных в защищенных компьютерных сетях
за авторством: Мухин, В.Е., та інші
Опубліковано: (2005)

Применение технологий качества обслуживания в коммуникационных сетях
за авторством: Демчинский, В.В.
Опубліковано: (2005)

Сравнительный анализ эффективности нечетких нейронных сетей в задачах прогнозирования в экономике и финансовой сфере
за авторством: Зайченко, Ю.П., та інші
Опубліковано: (2006)

Телекоммуникационная информационно-образовательная среда: модель взаимодействия двух информационных потоков
за авторством: Колос, В.В.
Опубліковано: (2006)

Алгоритми синтезу оптимальної системи захисту інформації
за авторством: Боня, Ю.Ю., та інші
Опубліковано: (2007)

Методология анализа формируемых режимов передачи мультимедийного трафика в широкополосных сетях связи
за авторством: Ластовченко, М.М., та інші
Опубліковано: (2006)

Структурный синтез компьютерных сетей с технологией MPLS
за авторством: Зайченко, Е.Ю., та інші
Опубліковано: (2006)

Quality of service at the computer networks based on internet
за авторством: Listopad, N.I., та інші
Опубліковано: (2006)

Численный метод анализа модели беспроводной сети связи со сложной схемой резервирования каналов и очередями
за авторством: Меликов, А.З., та інші
Опубліковано: (2009)

Приоритезация тестов как метод быстрого выявления серьезных ошибок
за авторством: Малышевский, А.Г.
Опубліковано: (2010)

Процес повторного тестування під час експертизи програмного забезпечення
за авторством: Говорущенко, Т.О.
Опубліковано: (2011)

Приближенный анализ моделей моносервисных беспроводных сетей микросотовой структуры
за авторством: Фаттахова, М.И.
Опубліковано: (2011)

Оцінка стійкості екосистем на основі анализу рольових трофічних мереж
за авторством: Руденко, С.С., та інші
Опубліковано: (2011)

Нейромережева реалізація інтелектуальної підтримки прийняття рішень в автоматизованому управлінні навчанням
за авторством: Мазурок, Т.Л., та інші
Опубліковано: (2011)

Вероятностная модель работы узла сети Internet
за авторством: Дудин, А.Н., та інші
Опубліковано: (2002)

Построение поисковых Internet/Intranet систем на основе полнотекстовых баз данных
за авторством: Воротницкий, Ю.И., та інші
Опубліковано: (2002)

Інформаційні мережеві технології в науці і освіті
за авторством: Згуровський, М.З., та інші
Опубліковано: (2002)

Качество обслуживания в системах мультимедиа
за авторством: Копачев, А.Г.
Опубліковано: (2002)

Структурный синтез развивающихся сетей
за авторством: Зайченко, Е.Ю.
Опубліковано: (2002)

Анализ и оптимизация показателей живучести компьютерных сетей с технологией АТМ
за авторством: Зайченко, Е.Ю.
Опубліковано: (2003)

Порівняння систем типу M/M/1 з швидким поверненням заявок при різних дисциплінах обслуговування
за авторством: Коба, О.В., та інші
Опубліковано: (2003)

Анализ и синтез сетей с технологией АТМ
за авторством: Зайченко, Е.Ю.
Опубліковано: (2003)

Структуризация и анализ данных в растущих пирамидальных сетях
за авторством: Гладун, В.П., та інші
Опубліковано: (2004)

Исследование системы передачи разнотипной информации с буферизацией и вытисненнем низкоприоритетных заявок
за авторством: Меликов, А.З., та інші
Опубліковано: (2004)

Исследование нечетких нейронных сетей в задачах макроэкономического прогнозирования
за авторством: Зайченко, Ю.П., та інші
Опубліковано: (2004)

Адаптивная стратегия распределения буфера в узлах телекоммуникационных сетей
за авторством: Пономаренко, Л.А., та інші
Опубліковано: (2004)

Fast rerouting method in MPLS networks in case of failures
за авторством: Hatamleh Hazem
Опубліковано: (2012)

Програмний комплекс моделювання складних систем на основі ітераційних алгоритмів МГУА з можливістю мережевого доступу
за авторством: Булгакова, О.С., та інші
Опубліковано: (2014)

Оптимальная ремаршрутизация потоков в компьютерных сетях с технологией MPLS
за авторством: Зайченко, Е.Ю.
Опубліковано: (2015)

Neural network synthesis based on evolutionary optimization
за авторством: Oliinyk, A.A., та інші
Опубліковано: (2015)

Using ontology for querying in relational database
за авторством: Tkanko, O.V., та інші
Опубліковано: (2013)