Синтез многоуровневых структур со многими выходами
В работе рассматривается метод решения задачи адаптации логической сети со многими выходами с восстановлением входного множества двоичных векторов при заданных только младших значениях этих векторов и значениях на выходах сети. Алгоритм синтеза логической сети основан на описании ее полиномом Жегалк...
Збережено в:
| Опубліковано в: : | Проблеми програмування |
|---|---|
| Дата: | 2016 |
| Автори: | Опанасенко, В.Н., Крывый, С.Л. |
| Формат: | Стаття |
| Мова: | Російська |
| Опубліковано: |
Інститут програмних систем НАН України
2016
|
| Теми: | |
| Онлайн доступ: | https://nasplib.isofts.kiev.ua/handle/123456789/126388 |
| Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
| Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Цитувати: | Синтез многоуровневых структур со многими выходами / В.Н. Опанасенко, С.Л. Крывый // Проблеми програмування. — 2016. — № 2-3. — С. 32-37. — Бібліогр.: 7 назв. — рос. |
Репозитарії
Digital Library of Periodicals of National Academy of Sciences of UkraineСхожі ресурси
Итеративный подход к анализу естественно-языковых текстов: логический аспект
за авторством: Крывый, С.Л., та інші
Опубліковано: (2012)
за авторством: Крывый, С.Л., та інші
Опубліковано: (2012)
Алгоритм проверки противоречивости множества дизъюнктов в исчислении высказываний
за авторством: Крывый, С.Л., та інші
Опубліковано: (2008)
за авторством: Крывый, С.Л., та інші
Опубліковано: (2008)
Конструкционно-продукционная модель структур данных на логическом уровне
за авторством: Шинкаренко, В.И., та інші
Опубліковано: (2014)
за авторством: Шинкаренко, В.И., та інші
Опубліковано: (2014)
Алгебра связных графов и проектирование топологии компьютерных сетей
за авторством: Кривой, С.Л.
Опубліковано: (2006)
за авторством: Кривой, С.Л.
Опубліковано: (2006)
Формалізований метод проектування застосувань в технології GPGPU
за авторством: Кривий, С.Л., та інші
Опубліковано: (2018)
за авторством: Кривий, С.Л., та інші
Опубліковано: (2018)
Дефинитологические основания сущностной платформы
за авторством: Редько, В.Н., та інші
Опубліковано: (2012)
за авторством: Редько, В.Н., та інші
Опубліковано: (2012)
Программологические основания сущностной платформы
за авторством: Редько, В.Н., та інші
Опубліковано: (2008)
за авторством: Редько, В.Н., та інші
Опубліковано: (2008)
Дескриптологические основания сущностной платформы
за авторством: Редько, В.Н., та інші
Опубліковано: (2010)
за авторством: Редько, В.Н., та інші
Опубліковано: (2010)
Дескриптивные системы: концептуальный базис
за авторством: Редько, В.Н., та інші
Опубліковано: (2006)
за авторством: Редько, В.Н., та інші
Опубліковано: (2006)
Логіки, орієнтовані на специфікації програм
за авторством: Нікітченко, М.С., та інші
Опубліковано: (2006)
за авторством: Нікітченко, М.С., та інші
Опубліковано: (2006)
Композиційно-номінативні модальні логіки немонотонних часткових предикатів та їх числення
за авторством: Шкільняк, О.С., та інші
Опубліковано: (2017)
за авторством: Шкільняк, О.С., та інші
Опубліковано: (2017)
О выделении макроопераций из вычислительных процессов сортировки массивов данных
за авторством: Паулин, О.Н., та інші
Опубліковано: (2016)
за авторством: Паулин, О.Н., та інші
Опубліковано: (2016)
Загальнозначні теоретико-множинні конструкції повного образу, обмеження, сумісності: властивості та застосування
за авторством: Буй, Д.Б., та інші
Опубліковано: (2010)
за авторством: Буй, Д.Б., та інші
Опубліковано: (2010)
Керування синтезом нейронних мереж
за авторством: Катеринич, Л.А.
Опубліковано: (2009)
за авторством: Катеринич, Л.А.
Опубліковано: (2009)
Алгебри квазіарних та бі-квазіарних реляцій
за авторством: Нікітченко, М.С., та інші
Опубліковано: (2016)
за авторством: Нікітченко, М.С., та інші
Опубліковано: (2016)
Секвенційні числення першопорядкових логік однозначних квазіарних предикатів
за авторством: Шкільняк, С.С.
Опубліковано: (2012)
за авторством: Шкільняк, С.С.
Опубліковано: (2012)
Спектр секвенційних числень першопорядкових композиційно-номінативних логік
за авторством: Шкільняк, С.С.
Опубліковано: (2013)
за авторством: Шкільняк, С.С.
Опубліковано: (2013)
Секвенційні числення композиційно-номінотивних логік квазіарних предикатів
за авторством: Шкільняк, С.С.
Опубліковано: (2012)
за авторством: Шкільняк, С.С.
Опубліковано: (2012)
Спеціальні відношення логічного наслідку в логіках квазіарних предикатів
за авторством: Шкільняк, С.С.
Опубліковано: (2011)
за авторством: Шкільняк, С.С.
Опубліковано: (2011)
Відношення логічного наслідку в композиційно-номінативних логіках
за авторством: Шкільняк, С.С.
Опубліковано: (2010)
за авторством: Шкільняк, С.С.
Опубліковано: (2010)
Чисті першопорядкові логіки квазіарних предикатів
за авторством: Нікітченко, М.С., та інші
Опубліковано: (2016)
за авторством: Нікітченко, М.С., та інші
Опубліковано: (2016)
Ієрархія композиційно-номінативних логік
за авторством: Нікітченко, М.С., та інші
Опубліковано: (2004)
за авторством: Нікітченко, М.С., та інші
Опубліковано: (2004)
Інтенсіонально-орієнтований підхід до побудови логічних систем
за авторством: Нікітченко, М.С., та інші
Опубліковано: (2007)
за авторством: Нікітченко, М.С., та інші
Опубліковано: (2007)
Композиційно-номінативні логіки над ієрархічними даними
за авторством: Нікітченко, М.С., та інші
Опубліковано: (2010)
за авторством: Нікітченко, М.С., та інші
Опубліковано: (2010)
Логіки квазіарних предикатів кванторно-екваційного рівня
за авторством: Нікітченко, М.С., та інші
Опубліковано: (2012)
за авторством: Нікітченко, М.С., та інші
Опубліковано: (2012)
Першопорядкові композиційно-номінативні логіки із узагальненими реномінаціями
за авторством: Нікітченко, М.С., та інші
Опубліковано: (2014)
за авторством: Нікітченко, М.С., та інші
Опубліковано: (2014)
Секвенційні числення першопорядкових логік часткових предикатів з розширеними реномінаціями та композицією предикатного доповнення
за авторством: Нікітченко, М.С., та інші
Опубліковано: (2020)
за авторством: Нікітченко, М.С., та інші
Опубліковано: (2020)
Логіки загальних недетермінованих предикатів: cемантичні аспекти
за авторством: Нікітченко, М.С., та інші
Опубліковано: (2018)
за авторством: Нікітченко, М.С., та інші
Опубліковано: (2018)
Концептуальні моделі розподілених компонентних систем
за авторством: Лавріщева, К.М., та інші
Опубліковано: (2013)
за авторством: Лавріщева, К.М., та інші
Опубліковано: (2013)
Алгеброалгоритмические аспекты полноты: абстракции, биология и экология
за авторством: Цейтлин, Г.Е., та інші
Опубліковано: (2008)
за авторством: Цейтлин, Г.Е., та інші
Опубліковано: (2008)
Возведение в степень n и вычисление корня степени n больших чисел на основе рекуррентных соотношений
за авторством: Терещенко, А.Н.
Опубліковано: (2015)
за авторством: Терещенко, А.Н.
Опубліковано: (2015)
Алгебри загальних недетермінованих предикатів
за авторством: Нікітченко, М.С., та інші
Опубліковано: (2018)
за авторством: Нікітченко, М.С., та інші
Опубліковано: (2018)
Композиційно-номінативні логіки з операторами нерухомої точки
за авторством: Нікітченко, М.С., та інші
Опубліковано: (2008)
за авторством: Нікітченко, М.С., та інші
Опубліковано: (2008)
Композиційно-номінативні логіки безкванторних рівнів
за авторством: Шкільняк, С.С., та інші
Опубліковано: (2016)
за авторством: Шкільняк, С.С., та інші
Опубліковано: (2016)
Композиційно-номінативні логіки з непрямим іменуванням
за авторством: Россада, Т.В., та інші
Опубліковано: (2012)
за авторством: Россада, Т.В., та інші
Опубліковано: (2012)
Чисті першопорядкові квазіaрні логіки з предикатами рівності
за авторством: Нікітченко, М.С., та інші
Опубліковано: (2017)
за авторством: Нікітченко, М.С., та інші
Опубліковано: (2017)
Пропозиційні логіки часткових предикатів з композицією предикатного доповнення
за авторством: Нікітченко, М.С., та інші
Опубліковано: (2019)
за авторством: Нікітченко, М.С., та інші
Опубліковано: (2019)
Відношення логічного наслідку в логіках квазіарних предикатів
за авторством: Шкільняк, О.С.
Опубліковано: (2016)
за авторством: Шкільняк, О.С.
Опубліковано: (2016)
NP-трудность задач оптимизации коллективного преследования
за авторством: Пашко, С.В.
Опубліковано: (2014)
за авторством: Пашко, С.В.
Опубліковано: (2014)
Девіантні алгебри істиннісних значень та девіантні класи загальних недетермінованих предикатів
за авторством: Шкільняк, О.С.
Опубліковано: (2019)
за авторством: Шкільняк, О.С.
Опубліковано: (2019)
Схожі ресурси
-
Итеративный подход к анализу естественно-языковых текстов: логический аспект
за авторством: Крывый, С.Л., та інші
Опубліковано: (2012) -
Алгоритм проверки противоречивости множества дизъюнктов в исчислении высказываний
за авторством: Крывый, С.Л., та інші
Опубліковано: (2008) -
Конструкционно-продукционная модель структур данных на логическом уровне
за авторством: Шинкаренко, В.И., та інші
Опубліковано: (2014) -
Алгебра связных графов и проектирование топологии компьютерных сетей
за авторством: Кривой, С.Л.
Опубліковано: (2006) -
Формалізований метод проектування застосувань в технології GPGPU
за авторством: Кривий, С.Л., та інші
Опубліковано: (2018)