Полное описание
> Попков, К. А. Короткие полные проверяющие тесты для схем из двухвходовых функциональных элементов / К. А. Попков. - Москва : ИПМ им. М. В. Келдыша РАН, 2018. - 24 с. : ил. - (Препринт / Институт прикладной математики имени М. В. Келдыша (Москва) ; 197 за 2018 г.). - Библиогр.: с. 23-24 (14 назв.). - 59 экз. - Текст : непосредственный.
| ГРНТИ | УДК | |
| 50.49 | 681.5.04(04) | |
| 28.19 | 519.718.7(04) |
Рубрики:
Автоматические системы -- Схемы
Держатели документа:
Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): М/16400/197 за 2018 г.)>
Шифр в сводном ЭК: 6859208402c3c331a3b8a70c8226d594
Попков К.А. Нижние оценки длин единичных тестов для схем из функциональных элементов / К. А. Попков, 2016. - 20 с. - Текст : непосредственный.
Попков К.А. Синтез легкотестируемых схем при произвольных константных неисправностях на входах и выходах элементов / К. А. Попков, 2018. - 32 с. - Текст : непосредственный.Попков К.А. Короткие полные проверяющие тесты для схем из двухвходовых функциональных элементов / К. А. Попков, 2018. - 24 с. - Текст : непосредственный.Попков К.А. Минимальные полные проверяющие тесты для схем из функциональных элементов в стандартном базисе / К. А. Попков, 2018. - 7 с. - Текст : непосредственный.Попков К.А. Единичные проверяющие тесты для схем из функциональных элементов в базисе "конъюнкция-отрицание" / К. А. Попков, 2017. - 31 с. - Текст : непосредственный.Попков К.А. Синтез легкотестируемых схем при однотипных константных неисправностях на входах и выходах элементов / К. А. Попков, 2018. - 18 с. - Текст : непосредственный.Попков К.А. Полные проверяющие тесты длины два для схем при произвольных константных неисправностях элементов / К. А. Попков, 2017. - 16 с. - Текст : непосредственный.Попков К.А. Полные диагностические тесты длины два для схем при инверсных неисправностях функциональных элементов / К. А. Попков, 2017. - 10 с. - Текст : непосредственный.Попков К.А. О проверяющих и диагностических тестах для контактов и функциональных элементов : автореф. дис. .. канд. физ.-мат. наук: 01.01.09 / К. А. Попков, 2015. - 16 с. - Текст : непосредственный.Попков К.А. О точном значении длины минимального единичного диагностического теста для одного класса схем / К.А. Попков, 2015. - 20 с. - Текст : непосредственный.Попков К.А. О тестах замыкания для контактных схем / К. А. Попков, 2016. - 20 с. - Текст : непосредственный.Попков К.А. Метод построения легко диагностируемых схем из функциональных элементов относительно единичных неисправностей / К. А. Попков, 2019. - 29 с. - Текст : непосредственный.Попков К.А. О диагностических тестах размыкания для контактных схем / К. А. Попков, 2018. - 24 с. - Текст : непосредственный.Попков К.А. О единичных диагностических тестах для схем из функциональных элементов в базисе Жегалкина / К. А. Попков, 2016. - 16 с. - Текст : непосредственный.Попков К.А. Нижние оценки длин полных диагностических тестов для схем и входов схем / К. А. Попков, 2016. - 12 с. - Текст : непосредственный.Попков К.А. Короткие единичные тесты для схем при произвольных константных неисправностях на выходах элементов / К. А. Попков, 2018. - 23 с. - Текст : непосредственный.
| Лицевая сторона карточки | Обратная сторона карточки |
| Лицевая сторона карточки | Обратная сторона карточки |
Аптекарев А.И. Асимптотики точных констант в неравенствах Маркова - Бернштейна для соболевских пространств с когерентными весами / А. И. Аптекарев, А. Дро, Д. Н. Туляков, 2017. - 20 с. - Текст : непосредственный.Охитина А.С. Оптимизация расположения двигателей коррекции для обеспечения разгрузки маховиков / А. С. Охитина, Я. В. Маштаков, С. С. Ткачев, 2018. - 32 с. - Текст : непосредственный.Гавриков М.Б. Нелинейные бегущие волны в горячей плазме / М. Б. Гавриков, А. А. Таюрский, 2018. - 40 с. - Текст : непосредственный.Бахвалов П.А. Рёберно-ориентированные схемы на подвижных гибридных сетках в коде NOISEtte / П. А. Бахвалов, В. А. Вершков, 2018. - 36 с. - Текст : непосредственный.Алгоритм метода частиц в рассеивающей среде / А. В. Березин, М. Б. Марков, С. В. Паротькин, А. В. Сысенко, 2018. - 12 с. - Текст : непосредственный.Соломатин Р.С. К расчету турбулентных течений на основе модели Спаларта-Аллмараса с применением LU-SGS-GMRES алгоритма / Р. С. Соломатин, И. В. Семёнов, И. С. Меньшов, 2018. - 30 с. - Текст : непосредственный.Численное моделирование поведения струи после воздействия лазерного импульса / И. Ю. Вичев, И. П. Цыгвинцев, Б. Л. Ярцев [и др.], 2018. - 25 с. - Текст : непосредственный.Бойко А.В. Асимптотические граничные условия для анализа гидродинамической устойчивости течений в областях с открытой границей / А. В. Бойко, К. В. Демьянко, Ю. М. Нечепуренко, 2018. - 27 с. - Текст : непосредственный.Рогов Б.В. О сходимости метода итерируемой приближенной факторизации операторов высокоточной бикомпактной схемы для нестационарных трехмерных уравнений гиперболического типа / Б. В. Рогов, М. Д. Брагин, 2018. - 16 с. - Текст : непосредственный.Суков С.А. Метод сжатия топологии тетраэдральных сеток / С. А. Суков, 2018. - 22 с. - Текст : непосредственный.Беляев К.П. Моделирование динамики океана с усвоением данных наблюдений / К. П. Беляев, А. А. Кулешов, Н. П. Тучкова, 2018. - 13 с. - Текст : непосредственный.Захаров И.В. Модель для расчетно-теоретического обоснования технологии утилизации попутного нефтяного газа с использованием отводящих факельных газов / И. В. Захаров, 2018. - 21 с. - Текст : непосредственный.Параллельный алгоритм трассировки лучей для анализа поля излучения и построения обскурограмм излучающего газа / О. Г. Ольховская, В. А. Гасилов, А. М. Котельников, М. В. Якобовский, 2018. - 16 с. - Текст : непосредственный.Монахова У.В. Формирование роя наноспутников с помощью децентрализованного аэродинамического управления с учетом коммуникационных ограничений / У. В. Монахова, Д. С. Иванов, 2018. - 32 с. - Текст : непосредственный.Захаров В.С. Излучательные свойства неравновесной плазмы азота в спектральном диапазоне мягкого рентгеновского излучения / В. С. Захаров, 2018. - 20 с. - Текст : непосредственный.Гавриков Б.М. О структуре базы обучения классификатора для оценивания состояния здоровья человека / Б. М. Гавриков, М. Б. Гавриков, Н. В. Пестрякова, 2018. - 18 с. - Текст : непосредственный.Нечепуренко Ю.М. Разработка и исследование алгоритмов вычисления оптимальных возмущений для систем с запаздыванием / Ю. М. Нечепуренко, М. Ю. Христиченко, 2018. - 26 с. - Текст : непосредственный.Сушкевич Т.А. К 55-летию открытия стратосферных аэрозольных слоев из космоса: вулканы и проблемы климата : препринт / Т. А. Сушкевич, 2018. - 32 с. - Текст : непосредственный.Бахвалов П.А. Метод нестационарного корректора для анализа точности линейных полудискретных схем / П. А. Бахвалов, 2018. - 36 с. - Текст : непосредственный.Стационарная точка уровня значимости для нестационарных функций распределения / А. А. Кислицын, А. Б. Козлова, М. Б. Корсакова [и др.], 2018. - 20 с. - Текст : непосредственный.
Показать все результатыПроблемы создания автоматизированных систем и современных технологий обработки информации : сборник научных трудов / Казахский НИИ науч.-технической и конъюнктурно-коммерческой информации (Алма-Ата), Вычислительный центр, 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] с. (Введено оглавление). - Текст (визуальный) : непосредственный.
Заказ фрагмента документа ₽