Синтез многоуровневых структур со многими выходами
В работе рассматривается метод решения задачи адаптации логической сети со многими выходами с восстановлением входного множества двоичных векторов при заданных только младших значениях этих векторов и значениях на выходах сети. Алгоритм синтеза логической сети основан на описании ее полиномом Жегалк...
Gespeichert in:
| Veröffentlicht in: | Проблеми програмування |
|---|---|
| Datum: | 2016 |
| Hauptverfasser: | Опанасенко, В.Н., Крывый, С.Л. |
| Format: | Artikel |
| Sprache: | Russisch |
| Veröffentlicht: |
Інститут програмних систем НАН України
2016
|
| Schlagworte: | |
| Online Zugang: | https://nasplib.isofts.kiev.ua/handle/123456789/126388 |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Zitieren: | Синтез многоуровневых структур со многими выходами / В.Н. Опанасенко, С.Л. Крывый // Проблеми програмування. — 2016. — № 2-3. — С. 32-37. — Бібліогр.: 7 назв. — рос. |
Institution
Digital Library of Periodicals of National Academy of Sciences of UkraineÄhnliche Einträge
Итеративный подход к анализу естественно-языковых текстов: логический аспект
von: Крывый, С.Л., et al.
Veröffentlicht: (2012)
von: Крывый, С.Л., et al.
Veröffentlicht: (2012)
Алгоритм проверки противоречивости множества дизъюнктов в исчислении высказываний
von: Крывый, С.Л., et al.
Veröffentlicht: (2008)
von: Крывый, С.Л., et al.
Veröffentlicht: (2008)
Конструкционно-продукционная модель структур данных на логическом уровне
von: Шинкаренко, В.И., et al.
Veröffentlicht: (2014)
von: Шинкаренко, В.И., et al.
Veröffentlicht: (2014)
Алгебра связных графов и проектирование топологии компьютерных сетей
von: Кривой, С.Л.
Veröffentlicht: (2006)
von: Кривой, С.Л.
Veröffentlicht: (2006)
Формалізований метод проектування застосувань в технології GPGPU
von: Кривий, С.Л., et al.
Veröffentlicht: (2018)
von: Кривий, С.Л., et al.
Veröffentlicht: (2018)
Дефинитологические основания сущностной платформы
von: Редько, В.Н., et al.
Veröffentlicht: (2012)
von: Редько, В.Н., et al.
Veröffentlicht: (2012)
Программологические основания сущностной платформы
von: Редько, В.Н., et al.
Veröffentlicht: (2008)
von: Редько, В.Н., et al.
Veröffentlicht: (2008)
Дескриптологические основания сущностной платформы
von: Редько, В.Н., et al.
Veröffentlicht: (2010)
von: Редько, В.Н., et al.
Veröffentlicht: (2010)
Дескриптивные системы: концептуальный базис
von: Редько, В.Н., et al.
Veröffentlicht: (2006)
von: Редько, В.Н., et al.
Veröffentlicht: (2006)
Логіки, орієнтовані на специфікації програм
von: Нікітченко, М.С., et al.
Veröffentlicht: (2006)
von: Нікітченко, М.С., et al.
Veröffentlicht: (2006)
Композиційно-номінативні модальні логіки немонотонних часткових предикатів та їх числення
von: Шкільняк, О.С., et al.
Veröffentlicht: (2017)
von: Шкільняк, О.С., et al.
Veröffentlicht: (2017)
О выделении макроопераций из вычислительных процессов сортировки массивов данных
von: Паулин, О.Н., et al.
Veröffentlicht: (2016)
von: Паулин, О.Н., et al.
Veröffentlicht: (2016)
Загальнозначні теоретико-множинні конструкції повного образу, обмеження, сумісності: властивості та застосування
von: Буй, Д.Б., et al.
Veröffentlicht: (2010)
von: Буй, Д.Б., et al.
Veröffentlicht: (2010)
Керування синтезом нейронних мереж
von: Катеринич, Л.А.
Veröffentlicht: (2009)
von: Катеринич, Л.А.
Veröffentlicht: (2009)
Алгебри квазіарних та бі-квазіарних реляцій
von: Нікітченко, М.С., et al.
Veröffentlicht: (2016)
von: Нікітченко, М.С., et al.
Veröffentlicht: (2016)
Секвенційні числення першопорядкових логік однозначних квазіарних предикатів
von: Шкільняк, С.С.
Veröffentlicht: (2012)
von: Шкільняк, С.С.
Veröffentlicht: (2012)
Спектр секвенційних числень першопорядкових композиційно-номінативних логік
von: Шкільняк, С.С.
Veröffentlicht: (2013)
von: Шкільняк, С.С.
Veröffentlicht: (2013)
Секвенційні числення композиційно-номінотивних логік квазіарних предикатів
von: Шкільняк, С.С.
Veröffentlicht: (2012)
von: Шкільняк, С.С.
Veröffentlicht: (2012)
Спеціальні відношення логічного наслідку в логіках квазіарних предикатів
von: Шкільняк, С.С.
Veröffentlicht: (2011)
von: Шкільняк, С.С.
Veröffentlicht: (2011)
Відношення логічного наслідку в композиційно-номінативних логіках
von: Шкільняк, С.С.
Veröffentlicht: (2010)
von: Шкільняк, С.С.
Veröffentlicht: (2010)
Чисті першопорядкові логіки квазіарних предикатів
von: Нікітченко, М.С., et al.
Veröffentlicht: (2016)
von: Нікітченко, М.С., et al.
Veröffentlicht: (2016)
Ієрархія композиційно-номінативних логік
von: Нікітченко, М.С., et al.
Veröffentlicht: (2004)
von: Нікітченко, М.С., et al.
Veröffentlicht: (2004)
Інтенсіонально-орієнтований підхід до побудови логічних систем
von: Нікітченко, М.С., et al.
Veröffentlicht: (2007)
von: Нікітченко, М.С., et al.
Veröffentlicht: (2007)
Композиційно-номінативні логіки над ієрархічними даними
von: Нікітченко, М.С., et al.
Veröffentlicht: (2010)
von: Нікітченко, М.С., et al.
Veröffentlicht: (2010)
Логіки квазіарних предикатів кванторно-екваційного рівня
von: Нікітченко, М.С., et al.
Veröffentlicht: (2012)
von: Нікітченко, М.С., et al.
Veröffentlicht: (2012)
Першопорядкові композиційно-номінативні логіки із узагальненими реномінаціями
von: Нікітченко, М.С., et al.
Veröffentlicht: (2014)
von: Нікітченко, М.С., et al.
Veröffentlicht: (2014)
Секвенційні числення першопорядкових логік часткових предикатів з розширеними реномінаціями та композицією предикатного доповнення
von: Нікітченко, М.С., et al.
Veröffentlicht: (2020)
von: Нікітченко, М.С., et al.
Veröffentlicht: (2020)
Логіки загальних недетермінованих предикатів: cемантичні аспекти
von: Нікітченко, М.С., et al.
Veröffentlicht: (2018)
von: Нікітченко, М.С., et al.
Veröffentlicht: (2018)
Концептуальні моделі розподілених компонентних систем
von: Лавріщева, К.М., et al.
Veröffentlicht: (2013)
von: Лавріщева, К.М., et al.
Veröffentlicht: (2013)
Алгеброалгоритмические аспекты полноты: абстракции, биология и экология
von: Цейтлин, Г.Е., et al.
Veröffentlicht: (2008)
von: Цейтлин, Г.Е., et al.
Veröffentlicht: (2008)
Возведение в степень n и вычисление корня степени n больших чисел на основе рекуррентных соотношений
von: Терещенко, А.Н.
Veröffentlicht: (2015)
von: Терещенко, А.Н.
Veröffentlicht: (2015)
Алгебри загальних недетермінованих предикатів
von: Нікітченко, М.С., et al.
Veröffentlicht: (2018)
von: Нікітченко, М.С., et al.
Veröffentlicht: (2018)
Композиційно-номінативні логіки з операторами нерухомої точки
von: Нікітченко, М.С., et al.
Veröffentlicht: (2008)
von: Нікітченко, М.С., et al.
Veröffentlicht: (2008)
Композиційно-номінативні логіки безкванторних рівнів
von: Шкільняк, С.С., et al.
Veröffentlicht: (2016)
von: Шкільняк, С.С., et al.
Veröffentlicht: (2016)
Композиційно-номінативні логіки з непрямим іменуванням
von: Россада, Т.В., et al.
Veröffentlicht: (2012)
von: Россада, Т.В., et al.
Veröffentlicht: (2012)
Чисті першопорядкові квазіaрні логіки з предикатами рівності
von: Нікітченко, М.С., et al.
Veröffentlicht: (2017)
von: Нікітченко, М.С., et al.
Veröffentlicht: (2017)
Пропозиційні логіки часткових предикатів з композицією предикатного доповнення
von: Нікітченко, М.С., et al.
Veröffentlicht: (2019)
von: Нікітченко, М.С., et al.
Veröffentlicht: (2019)
Відношення логічного наслідку в логіках квазіарних предикатів
von: Шкільняк, О.С.
Veröffentlicht: (2016)
von: Шкільняк, О.С.
Veröffentlicht: (2016)
NP-трудность задач оптимизации коллективного преследования
von: Пашко, С.В.
Veröffentlicht: (2014)
von: Пашко, С.В.
Veröffentlicht: (2014)
Девіантні алгебри істиннісних значень та девіантні класи загальних недетермінованих предикатів
von: Шкільняк, О.С.
Veröffentlicht: (2019)
von: Шкільняк, О.С.
Veröffentlicht: (2019)
Ähnliche Einträge
-
Итеративный подход к анализу естественно-языковых текстов: логический аспект
von: Крывый, С.Л., et al.
Veröffentlicht: (2012) -
Алгоритм проверки противоречивости множества дизъюнктов в исчислении высказываний
von: Крывый, С.Л., et al.
Veröffentlicht: (2008) -
Конструкционно-продукционная модель структур данных на логическом уровне
von: Шинкаренко, В.И., et al.
Veröffentlicht: (2014) -
Алгебра связных графов и проектирование топологии компьютерных сетей
von: Кривой, С.Л.
Veröffentlicht: (2006) -
Формалізований метод проектування застосувань в технології GPGPU
von: Кривий, С.Л., et al.
Veröffentlicht: (2018)