Полное описание
>
Попков, Кирилл Андреевич. О самокорректирующихся схемах из ненадёжных функциональных элементов / К. А. Попков. - Москва : ИПМ им. М. В. Келдыша РАН, 2021. - 17, [1] с. : ил. - (Препринт / Институт прикладной математики имени М. В. Келдыша Российской академии наук (Москва), ISSN 2071-2898 ; 49 за 2021 г.). - Библиогр.: с. 15-17 (25 назв.). - 59 экз. - DOI 10.20948/prepr-2021-49. - Текст (визуальный) : непосредственный.Содержание: >
Введение. - С. 3
Формулировки и доказательства основных результатов. - С. 6
Заключение. - С. 15
| ГРНТИ | УДК | |
| 50.49 | 681.5.04(04) | |
| 28.19 | 519.718.7(04) |
Рубрики:
Автоматические системы -- Схемы
Кл.слова (ненормированные): БУЛЕВЫ ФУНКЦИИ -- НЕИСПРАВНОСТИ -- САМОКОРРЕКТИРОВАНИЕ -- СХЕМА ИЗ ФУНКЦИОНАЛЬНЫХ ЭЛЕМЕНТОВ -- УПРАВЛЯЮЩИЕ СИСТЕМЫ
Аннотация: Доказаны следующие утверждения: для любого целого m Е 3 существует базис, состоящий из булевых функций от не более чем m переменных, в котором любую булеву функцию можно реализовать схемой из ненадежных функциональных элементов, самокорректирующейся относительно некоторых неисправностей произвольного числа элементов; для любого натурального k существуют базисы, состоящие из булевых функций от не более чем двух переменных, в каждом из которых любую булеву функцию можно реализовать схемой из ненадежных функциональных элементов, самокорректирующейся относительно некоторых неисправностей не более k элементов; существует функционально полный базис, состоящий из булевых функций от не более чем двух переменных, в котором почти никакую булеву функцию нельзя реализовать схемой из ненадежных функциональных элементов, самокорректирующейся относительно хотя бы каких-нибудь неисправностей не более одного элемента.
Держатели документа:
Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): М/16400/49 за 2021 г.)>
Шифр в сводном ЭК: b16a25bf7f63a4dfb442039290bb6e7d
Попков, Кирилл Андреевич. О самокорректирующихся схемах из ненадёжных функциональных элементов / К. А. Попков, 2021. - 17, [1] с. (Введено оглавление). - Текст (визуальный) : непосредственный.Попков, Кирилл Андреевич. О возможностях построения легкотестируемых контактных схем и схем из функциональных элементов : специальность 01.01.09 - Дискретная математика и математическая кибернетика: автореферат диссертации на соискание ученой степени доктора физико-математических наук / Попков Кирилл Андреевич, 2021. - 34 с. - Текст : непосредственный.
Концепция развития Государственной публичной научно-технической библиотеки России на 2008-2018 гг. / концепция разработана авторским коллективом ГПНТБ России в составе: Адамьянц А. О., Бродовский А. И., Воройский Ф. С. [и др.]; руководитель работ и научный редактор: доктор технических наук, профессор, генеральный директор ГПНТБ России, Шрайберг Я. Л., 2008. - 30 с. (Введено оглавление). - Текст : непосредственный.Рабочие таблицы классификации по разделу УДК "Информатика" : научно-техническая информация / Министерство науки, высшей школы и технической политики Российской Федерации, Государственная публичная научно-техническая библиотека России (ГПНТБ России) [и др.], 1992. - 60 c. (Введено оглавление). - Текст : непосредственный.Настольная книга патентоведа / "Ориентир", патентный центр (Москва), 1993. - 157 c. (Введено оглавление). - Текст : непосредственный.Справочник по военной топографии / Генеральный штаб Красной армии, 1943. - 128 с. (Введено оглавление). - Текст : непосредственный.Аронов, Самуил Григорьевич. Как определить пригодность угля для коксования / С. Г. Аронов, кандидат технических наук, 1944. - 88, [2] с. (Введено оглавление). - Текст : непосредственный.Бондаренко Г.И. Памятка по азотированию металлоизделий / инж. Г. И. Бондаренко, 1941. - 12 с. (Введено оглавление). - Текст : непосредственный + Изображение : непосредственное.Краткое руководство по применению средств обогрева машин автобронетанкового и тракторного парка Красной Армии / Управление бронетанковыми и механизированными войсками Красной Армии, 1943. - 58, [2] с. (Введено оглавление). - Текст : непосредственный.Меньщикова, Светлана Павловна. Роль библиотек в развитии сферы культуры: региональный аспект / С. П. Меньщикова, 2003. - 31 с. (Введено оглавление). - Текст : непосредственный.Хаггарти Р. Дискретная математика для программистов : монография / Р. Хаггарти ; Ред. С. А. Кулешов, 2016. - 399 с. (Введено оглавление). - Текст : непосредственный.Блохинцев, Дмитрий Иванович. Введение в квантовую механику : учебник для ун-тов / Д. И. Блохинцев, 1944. - 484 с. (Введено оглавление). - Текст : непосредственный.Птуха, Михаил Васильевич. Очерки по истории статистики XVII-XVIII веков : монография / М. Птуха, 1945. - 351, [1] с. (Введено оглавление). - Текст : непосредственный.Клименко, Юрий Владимирович. Химическое обогащение марганцевых руд : монография / Ю. В. Клименко и А. П. Квасков, 1943. - 191, [1] с. (Введено оглавление). - Текст : непосредственный.Федоров, Сергей Алексеевич. Ремонт, реконструкция и восстановление шахт / С. А. Федоров, доцент Свердловского горного института, 1944. - 199, [1] с. (Введено оглавление). - Текст : непосредственный.Лоссиевский, Владимир Леонидович. Автоматические регуляторы / В. Л. Лоссиевский, кандидат технических наук, 1944. - 390, [1] с. (Введено оглавление). - Текст : непосредственный.Володин, Борис Федорович. Всемирная история библиотек / Б. Ф. Володин, 2004. - 432 с. (Введено оглавление). - Текст : непосредственный.Зильвестр, Ян Яковлевич. Смеситель Бенбери / Я. Я. Зильвестр, 1944 (обл. 1943). - 46, [1] с. (Введено оглавление). - Текст : непосредственный.Кан, Александр Викторович. Как собирать и хранить отработанные автотракторные масла / А. В. Кан и А. Р. Косякин, 1943. - 13, [1] с. (Введено оглавление). - Текст : непосредственный.Карин Л.М. Противоипритная защитная одежда / Л. М. Карин, 1942. - 23, [1] с. (Введено оглавление). - Текст : непосредственный.Патентная информация и патентные услуги / сост. В. Н. Славин, 1992. - 57 с. (Введено оглавление). - Текст : непосредственный.Биард Р.У. Малые беспилотные летательные аппараты: теория и практика / Р. У. Биард, Т. У. МакЛэйн ; Ред. Г. В. Анцев ; Пер. А. И. Демьяников, 2015. - 311 с. (Введено оглавление). - Текст : непосредственный.
Показать все результатыПроблемы создания автоматизированных систем и современных технологий обработки информации : сборник научных трудов / Казахский НИИ науч.-технической и конъюнктурно-коммерческой информации (Алма-Ата), Вычислительный центр, 1992. - 154 с. - Текст : непосредственный.Разу М.Л. Анализ и выработка критериев для формирования новых компьютерных программ по оценке эффективности проектов / М. Л. Разу, З. М. Гальперина, А. А. Ищенко, 1997. - 43 с. - Текст : непосредственный.Информационные технологии в управлении техническими и организационными системами : сборник научных трудов / Ред. Б. Я. Советов, 1993. - 94 c. - Текст : непосредственный.Чан Винь Фан.Разработка и исследование методов и программных средств проектирования архитектуры офисных систем информационного профиля : специальность 05.13.13 "" : автореферат диссертации на соискание ученой степени канд. техн. наук / Чан Винь Фан, 2001. - 20 с. - Текст : непосредственный.Элькин М.Д. Элементы VBA для локальных информационных технологий управления / М. Д. Элькин, А. Г. Кушнер, Л. В. Зайцева, 2006. - 82 с. - Текст : непосредственный.Методология создания интегрированной информационной системы для автоматизации бизнес-процессов имитационного моделирования, технической подготовки и оперативного управления авиационным и машиностроительным производством / К. С. Кульга, И. А. Кривошеев, Д. А. Ахмедзянов, Д. Г. Кожинов, 2015. - 322 с. - Текст : непосредственный.Скачкова В.В. Использование инструментария MS Office для реализации информационной системы / В. В. Скачкова, 2006. - 173 с. - Текст : непосредственный.Шевченко Г.В. Алгоритмы решения некоторых задач оптимального управления для линейных систем / Г. В. Шевченко, 1990. - 28 с. - Текст : непосредственный.Уткин В.Б. Информационные системы в экономике : учебное пособие / В. Б. Уткин, К. В. Балдин, 2010. - 283 с. - Текст : непосредственный.Цейтлин Я.М. Проектирование оптимальных линейных систем, 1973. - 240 с. - Текст : непосредственный.Дамбраускас А.П. Алгоритмы и программы симплексного поиска / А. П. Дамбраускас, В. А. Кащеев, О. В. Кошаев, 1993. - 159 c. - Текст : непосредственный.Надеев А.Т. Концепция системно-физического подхода и его приложения к исследованию процессов обмена в сложных системах : специальность 05.13.17 "Теоретические основы информатики" : автореферат диссертации на соискание ученой степени д-ра техн. наук / А. Т. Надеев, 1998. - 32 с. - Текст : непосредственный.Глотов В.С. Интернет-технологии и электронная торговля: экономика, право, программное обеспечение. Вып. 2, 2007. - 219 с. - Текст : непосредственный.Слукин П.А. Адаптивные интерфейсы обмена коммерческой информацией : специальность 08.00.13 "Математические и инструментальные методы экономики" : диссертация на соискание ученой степени канд. экон. наук / П. А. Слукин, 2006. - 25 с. - Текст : непосредственный.Костин М.П. Организационно-экономические аспекты управления предприятием на основе современных информационных технологий : специальность 08.00.05 "Экономика и управление народным хозяйством (по отраслям и сферам деятельности в т.ч.:теория управления экономическими системами; макроэкономика; экономика, организация и управление предприятиями, отраслями, комплексами; управление инновациями; региональная экономика; логистика; экономика труда; экономика народонаселения и демография; экономика природопользования; землеустройство и др." : диссертация на соискание ученой степени канд. экон. наук / М. П. Костин, 2006. - 17 с. - Текст : непосредственный.Юрьев В.Н. Информационные системы в экономике : учебное пособие / В. Н. Юрьев, В. Н. Волкова, 2006. - 537 с. - Текст : непосредственный.Мишенин А.И. Теория экономических информационных систем / А. И. Мишенин, 2007. - 239 с. - Текст : непосредственный.Олейник П.П. Корпоративные информационные системы для бакалавров и специалистов : выставочные материалы / П. П. Олейник, 2012. - 175 с. - Текст : непосредственный.Куперштейн В.И. Microsoft Project 2010 в управлении проектами / В. И. Куперштейн, 2012. - 416 с. - Текст : непосредственный.Жаров Е.В. Интегрированные системы управления хозяйственными комплексами : специальность 08.00.05 "Экономика и управление народным хозяйством (по отраслям и сферам деятельности в т.ч.:теория управления экономическими системами; макроэкономика; экономика, организация и управление предприятиями, отраслями, комплексами; управление инновациями; региональная экономика; логистика; экономика труда; экономика народонаселения и демография; экономика природопользования; землеустройство и др." : диссертация на соискание ученой степени канд. экон. наук / Е. В. Жаров, 2007. - 23 с. - Текст : непосредственный.
Показать все результатыПопков К.А. Нижние оценки длин единичных тестов для схем из функциональных элементов / К. А. Попков, 2016. - 20 с. - Текст : непосредственный.Попков К.А. Синтез легкотестируемых схем при произвольных константных неисправностях на входах и выходах элементов / К. А. Попков, 2018. - 32 с. - Текст : непосредственный.Попков К.А. Короткие полные проверяющие тесты для схем из двухвходовых функциональных элементов / К. А. Попков, 2018. - 24 с. - Текст : непосредственный.Попков К.А. Минимальные полные проверяющие тесты для схем из функциональных элементов в стандартном базисе / К. А. Попков, 2018. - 7 с. - Текст : непосредственный.Попков К.А. Единичные проверяющие тесты для схем из функциональных элементов в базисе "конъюнкция-отрицание" / К. А. Попков, 2017. - 31 с. - Текст : непосредственный.Попков К.А. Синтез легкотестируемых схем при однотипных константных неисправностях на входах и выходах элементов / К. А. Попков, 2018. - 18 с. - Текст : непосредственный.Попков К.А. Полные проверяющие тесты длины два для схем при произвольных константных неисправностях элементов / К. А. Попков, 2017. - 16 с. - Текст : непосредственный.Попков К.А. Полные диагностические тесты длины два для схем при инверсных неисправностях функциональных элементов / К. А. Попков, 2017. - 10 с. - Текст : непосредственный.Попков К.А. О тестах замыкания для контактных схем / К. А. Попков, 2016. - 20 с. - Текст : непосредственный.Попков К.А. Метод построения легко диагностируемых схем из функциональных элементов относительно единичных неисправностей / К. А. Попков, 2019. - 29 с. - Текст : непосредственный.Попков К.А. О диагностических тестах размыкания для контактных схем / К. А. Попков, 2018. - 24 с. - Текст : непосредственный.Попков К.А. Короткие единичные тесты для схем при произвольных константных неисправностях на выходах элементов / К. А. Попков, 2018. - 23 с. - Текст : непосредственный.Попков, Кирилл Андреевич. О самокорректирующихся схемах из ненадёжных функциональных элементов / К. А. Попков, 2021. - 17, [1] с. (Введено оглавление). - Текст (визуальный) : непосредственный.
Заказ фрагмента документа ₽