Приложение
для AndroidПолное описание
Попков, К. А. Нижние оценки длин полных диагностических тестов для схем и входов схем / К. А. Попков. - М. : ИПМ им. М. В. Келдыша РАН, 2016. - 12 с. - (Препринт / Институт прикладной математики им. М. В. Келдыша (Москва) ; 60 за 2016 г.). - Библиогр.: с. 11-12 (10 назв.). - 59 экз. - ISSN 2071-2898. - Текст : непосредственный.
| ГРНТИ | УДК | |
| 50.33.14 | 004.312.054(04) |
Рубрики:
Логические схемы -- Испытание
Держатели документа:
Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): М/16400/60 за 2016 г.)
Шифр в сводном ЭК: 41dc23f7bedf2793c791583c40d3cb58
Попков К.А. Нижние оценки длин единичных тестов для схем из функциональных элементов / К. А. Попков, 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 с. - Текст : непосредственный.
| Лицевая сторона карточки | Обратная сторона карточки |
 |  |
| Лицевая сторона карточки | Обратная сторона карточки |
 |  |
Колесниченко А.В. К моделированию сжимаемой магнитогидродинамической турбулентности аккреционного протопланетного диска / А. В. Колесниченко, 2014. - 47 с. - Текст : непосредственный.Реализация режима гравитационной ориентации на корабле "Прогресс М-20М" / М. Ю. Беляев, Т. В. Матвеева, М. И. Монахов [и др.], 2014. - 21 с. - Текст : непосредственный.Елизарова Т.Г. Квазигазодинамический алгоритм решения уравнений мелкой воды в полярной системе координат / Т. Г. Елизарова, М. А. Истомина, 2014. - 24 с. - Текст : непосредственный.Ливанов Л.Б. Приближенный расчет полетов на астероиды с пертурбационными маневрами у планет / Л. Б. Ливанов, 1996. - 28 с. - Текст : непосредственный.Горбунов-Посадов М.М. Формы многократно используемых компонентов программы / М. М. Горбунов-Посадов, 1997. - 16 с. - Текст : непосредственный.К постановке одномерной задачи об эмиссии широкого электронного пучка в атмосферу / А. В. Березин, С. В. Коротков, М. Б. Марков, 1993. - 12 с. - Текст : непосредственный.Исследование равновесных конфигураций газового облака вблизи гравитирующего центра / М. В. Абакумов, С. И. Мухин, Ю. П. Попов, В. М. Чечеткин, 1995. - 26 c. - Текст : непосредственный.Тычина П.А. Квазиоптимальный перелет космического аппарата с солнечным парусом между гелиоцентрическими круговыми орбитами / П. А. Тычина, В. А. Егоров, В. В. Сазонов, 1995. - 19 c. - Текст : непосредственный.Брюно А.Д. Локальный анализ особенности одной обратимой системы ОДУ. Простые случаи / А. Д. Брюно, А. Солеев, 1995. - 28 c. - Текст : непосредственный.Солеев А. Первые приближения одной обратимой системы ОДУ / А. Солеев, А. Б. Арансон, 1995. - 20 c. - Текст : непосредственный.Красовицкий В.Б. Кинетическая теория нелинейного взаимодействия ультрарелятивистского электронного пучка с плазмой / В. Б. Красовицкий, 1995. - 31 c. - Текст : непосредственный.Волевич Л.Р. Exponential dichotomy of solutions to high-order hyperbolic equations / Л. Р. Волевич, А. Р. Ширикян, 1996. - 37 p. - Текст : непосредственный.Яшунский А.Д. Преобразования бернуллиевских распределений булевыми функциями из замкнутых классов / А. Д. Яшунский, 2016. - 23 с. - Текст : непосредственный.Герцев М.Н. Расчет переноса теплового излучения в атмосфере Земли / М. Н. Герцев, А. В. Шильков, Е. Н. Аристова, 2016. - 28 с. - Текст : непосредственный.Смирнов М.И. Математические модели, используемые в системе оптимизации доставки товаров автотранспортом "Диспетчер" / М. И. Смирнов, Р. З. Хайруллин, 2002. - 16 с. - Текст : непосредственный.Мажорова О.С. Метод численного решения задач кристаллизации многокомпонентных растворов / О. С. Мажорова, Ю. П. Попов, О. В. Щерица, 2002. - 37 с. - Текст : непосредственный.Ермаков А.В. Электронные государственные закупки: зарубежный опыт / А. В. Ермаков, 2002. - 12 с. - Текст : непосредственный.Локальная обработка измерений радиосистемы межпланетных космических аппаратов / Э. Л. Аким, А. А. Горохова, И. П. Киселева, 2002. - 20 с. - Текст : непосредственный.Сорокина О.В. Принцип Даламбера-Лагранжа в механиче ских системах с односторонними связями / О. В. Сорокина, Е. И. Кугушев, 2002. - 32 с. - Текст : непосредственный.Козлов А.Н. Аналитическая модель аксиально симметричных течений идеальной двухкомпонентной плазмы при наличии продольного магнитного поля / А. Н. Козлов, 2002. - 32 с. - Текст : непосредственный.
Показать все результатыШтейн М.Е. Методы машинного проектирования цифровой аппаратуры, 1973. - 294 с. - Текст : непосредственный.Филимонов А.В. Разработка и реализация многоуровневых алгоритмов декомпозиции гиперграфовых моделей / А. В. Филимонов, 2008. - 23 с. - Текст : непосредственный.Correct hardware design and verification methods / SpringerLink (Online service), 2005 r=on-line. - Текст : электронный.Human centered design / SpringerLink (Online service), 2009 r=on-line. - Текст : электронный.Пыхтин В.Я. Создание совместимых на различных уровнях персональных, мобильных и стационарных ЭВМ общего назначения для использования в вычислительных системах народного хозяйства и обороны страны : специальность 05.13.13 "" : автореферат диссертации на соискание ученой степени д-ра техн. наук / В. Я. Пыхтин, 1990. - 52 с. - Текст : непосредственный.Хородов В.С. Разработка методов и средств многоагентного распределенного автоматизированного проектирования структурно-функциональных лингвистических моделей вычислительных устройств / В. С. Хородов, 2015. - 23 с. - Текст : непосредственный.Разработка и производство микроЭВМ в странах-членах соглашения по сотрудничеству в области вычислительной техники : сборник / Межправительственная комис. по сотрудничеству в обл. вычислительной техники (Москва), 1990. - 92 л. - Текст : непосредственный.Проектирование средств вычислительной техники.Проектирование цифровых устройств РТС : сборник научных трудовЧ. 2 / Ред. В. Б. Смолов, 1973. - 270 c. - Текст : непосредственный.Кузнецов А.Л. Перспективы применения экспертных систем в проектировании и производстве электронно-вычислительной аппаратуры / А. Л. Кузнецов, 1990. - 19 c. - Текст : непосредственный.Тонкий Л.В. Теория и практика применения САПР при проектировании электронно-вычислительных средств : выставочные материалы / Л. В. Тонкий, 2012. - 125 с. - Текст : непосредственный.Tutorial:gallium arsende computer design / Ed.: V. M. Milutinovi@wc, D. A. Fura, 1988. - VI,354 p. p. - Текст : непосредственный.Использование системы диалогового проектирования на ПЭВМ IBM PC / Белорусский НИИ науч.-технической информации и технико-экономических исслед. (Минск), 1991. - 6 c. - Текст : непосредственный.Волгин В.Г. Системы автоматизированного проектирования средств вычислительной техники (САПР средств ВТ) / В. Г. Волгин, 1998. - 135 с. - Текст : непосредственный.Прогнозирование качества ЭВС при проектировании : учебное пособие / В. В. Жаднов, С. Н. Полесский, С. Э. Якубов, Е. М. Гамилова, 2009. - 190 с. - Текст : непосредственный.Управляющие вычислительные комплексы ПС 1001. Вторая очередь : методический материал, 1989. - 200 с. - Текст : непосредственный.Mano M.M. Computer engineering hardware design / M. M. Mano, 1988. - XI,434 p. p. - Текст : непосредственный.Хвощ С.Т. Технология проектирования микропроцессорных БИС / С. Т. Хвощ, 1990. - 22 c. - Текст : непосредственный.Рябец Л.В. Сложность и алгоритмы построения проверяюших тестов и некоторых классов полиномиальных форм булевых функций : специальность 01.01.09 "Дискретная математика и математическая кибернетика" : диссертация на соискание ученой степени канд. физ.-мат. наук / Л. В. Рябец, 2007. - 18 с. - Текст : непосредственный.Филиппов В.А. Разработка методов синтеза программно-аппаратных комплексов с использованием высокоуровневых языков описания : специальность 05.13.05 "Элементы и устройства вычислительной техники и систем управления" : автореферат диссертации на соискание ученой степени канд. техн. наук / В. А. Филиппов, 2001. - 16 с. - Текст : непосредственный.Чуканов В.О. Разработка и исследование методов и средств надежностного проектирования специализированных ЭВМ с комбинированным резервированием : специальность 05.13.11 "Математическое и программное обеспечение вычислительных машин,комплексов и компьютерных сетей", 05.13.13 "" : автореферат диссертации на соискание ученой степени д-ра техн.наук / В. О. Чуканов, 1994. - 32 с. - Текст : непосредственный.
Показать все результатыЗаказ фрагмента документа ₽