Приложение
для AndroidПолное описание
| УДК | |
| 519.71 |
| ББК | |
| 22.18я73 |
| РУБ | |
| 01.04.01 | |
| 01.04.03 | |
| 01.03.01 | |
| 01.03.03 |
Рубрики:
Кл.слова (ненормированные): УЧЕБНИК ДЛЯ ВЫСШЕЙ ШКОЛЫ
Аннотация: Тестирование логических устройств — активно развивающееся научно-прикладное направление кибернетики, возникшее в середине прошлого столетия. Оно по праву связывается с именем С. В. Яблонского. Тематика направления группируется вокруг задач характеризации тестов и их построения и фокусируется на устройствах, представленных на макро- и структурном уровнях. В книге эта тематика раскрывается на модели логического устройства в его макровиде. Решаются задачи описания сложности тестов для устройств, реализующих булевы функции из классов Поста, а также функции ik/i-значной логики. Приводятся соответствующие процедуры построения таких тестов.Для студентов, аспирантов и специалистов в области надежности и контроля управляющих систем.
Тематика направления группируется вокруг задач характеризации тестов и их построения и фокусируется на устройствах представленных на макро- и структурном уровнях. В книге эта тематика раскрывается на модели логического устройства в его макровиде. Решаются задачи описания сложности тестов для устройств реализующих булевы функции из классов Поста а также функции k-значной логики. Приводятся соответствующие процедуры построения таких тестов.
Для студентов аспирантов и специалистов в области надежности и контроля управляющих систем.
Доп. точки доступа:
Кудрявцев, В. Б.
Гасанов, Э. Э.
Долотова, О. А.
Погосян, Г. Р.
Физматлит
Садовничий, В.\ред.\
https://biblioclub.ru/index.php?page=book&id=68362
https://znanium.com/catalog/document?id=111536
Держатели документа:
ЭБС Университетская библиотека онлайн : 117342, г. Москва, ул. Обручева, д. 34/63, стр. 3 (Шифр в БД-источнике (BIBLIO): 68362)
ЭБС Znanium : 127282, г. Москва, ул. Полярная, д.31В, стр.1 (Шифр в БД-источнике (ZNANIUM): RU\infra-m\znanium\bibl\120633)
Шифр в сводном ЭК: c892dead18da801405758d778a67e564
Кондратьев А.С. Задачи по термодинамике, статистической физике и кинетической теории / А. С. Кондратьев, П. А. Райгородский, П. А. Райгородский, 2007. - 253 с. - Текст : электронный.Путинцев Н.М. Классическая теория поляризации молекулярных систем / Н. М. Путинцев, Д. Н. Путинцев, Д. Н. Путинцев, 2011. - 176 с. - Текст : непосредственный.Башкин В.А. Численное исследование задач внешней и внутренней аэродинамики / В. А. Башкин, И. В. Егоров, И. В. Егоров, 2013. - 331 с. - Текст : электронный.Формальский А.М. Управление движением неустойчивых объектов / А. М. Формальский, 2014. - 229 с. - Текст : электронный.Мелешко Е.А. Быстродействующая импульсная электроника / Е. А. Мелешко, 2007. - 317 с. - Текст : электронный.Сабитов К.Б. К теории уравнений смешанного типа / К. Б. Сабитов, 2014. - 300 с. - Текст : электронный.Абрамочкин Е.Г. Современная оптика гауссовых пучков / Е. Г. Абрамочкин, В. Г. Волостников, В. Г. Волостников, 2010. - 184 с. - Текст : электронный.Петров А.Г. Аналитическая гидродинамика : учебное пособие / А. Г. Петров, 2010. - 518 с. - Текст : электронный.Мазалова, Виктория Леонидовна. Нанокластеры: рентгеноспектральные исследования и компьютерное моделирование / В. Л. Мазалова, А. Н. Кравцова, А. В. Солдатов, 2012. - 182 с. (Введено оглавление). - Текст : непосредственный.Салимов Р.Б. Математика для инженеров и технологов / Р. Б. Салимов, 2009. - 483 с. - Текст : электронный.Воропаева Н.В. Геометрическая декомпозиция сингулярно возмущенных систем / Н. В. Воропаева, В. А. Соболев, В. А. Соболев, 2009. - 255 с. - Текст : электронный.Интеллектуальная система тематического исследования научно-технической информации ("Истина") / С. А. Афонин, А. В. Бахтин, В. Ю. Бухонов [и др.] ; под редакцией В. А. Садовничего, 2014. - 262 с. - Текст : непосредственный.Савинов В.П. Физика высокочастотного емкостного разряда / В. П. Савинов, 2013. - 307 с. - Текст : электронный.Винтизенко И.И. Релятивистские магнетроны / И. И. Винтизенко, 2013. - 360 с. - Текст : непосредственный.Бисикало, Дмитрий Валерьевич. Газодинамика тесных двойных звезд / Д. В. Бисикало, А. Г. Жилкин, А. А. Боярчук, 2013. - 632 с. - Текст : непосредственный.Соболев В.А. Редукция моделей и критические явления в макрокинетике / В. А. Соболев, Е. А. Щепакина, Е. А. Щепакина, 2010. - 319 с. - Текст : электронный.Щитов И.Н. Асимптотические разложения решений сингулярно возмущенных задач для обыкновенных дифференциальных уравнений / И. Н. Щитов, 2013. - 169 с. - Текст : электронный.Карлов Н.В. Начальные главы квантовой механики / Н. В. Карлов, Н. А. Кириченко, Н. А. Кириченко, 2006. - 359 с. - Текст : электронный.Карасев И.П. Теория функций комплексного переменного : учебное пособие / И. П. Карасев, 2008. - 214 с. - Текст : электронный.Пугачев В.С. Теория вероятностей и математическая статистика / В. С. Пугачев, 2002. - 496 с. - Текст : электронный.
Показать все результатыГорбатов В.А. Синтез композиции операционного и управляющего автоматов в вычислительной технике, 1973. - 106 с. - Текст : непосредственный.Зинченко А.С. Полиномиальные операторные представления конечнозначных функций : специальность 01.01.09 "Дискретная математика и математическая кибернетика" : диссертация на соискание ученой степени канд. физ.-мат. наук / А. С. Зинченко, 2006. - 18 с. - Текст : непосредственный.Шалыто А.А. Switch-технология. Алгоритмизация и программирование задач логического управления / А. А. Шалыто, 1998. - 626 с. - Текст : непосредственный.Hybrid I/O automata / N. A. Lynch, R. Segala, F. W. Vaandrager, H. B. Weinberg, 1995. - 16 p. - Текст : непосредственный.Romijn J.M.T. A note on fairness in I/O automata / J. M.T. Romijn, F. W. Vaandrager, 1995. - 8 p. - Текст : непосредственный.Илясов С.А. Распознавание некоторых свойств автоматных алгебр : специальность 01.01.06 "Математическая логика, алгебра и теория чисел" : диссертация на соискание ученой степени канд. физ.-мат. наук / С. А. Илясов, 2006. - 9 с. - Текст : непосредственный.Дагаев Д.А. О сложности функций многозначной логики, принимающих два значения / Д. А. Дагаев, 2011. - 15 с. - Текст : непосредственный.Language and automata theory and applications / SpringerLink (Online service), 2008 r=on-line. - Текст : электронный.Пономарева А.Ю. Проблемы оптимизации обобщенных конечно-автоматных моделей с периодически меняющейся структурой : специальность 05.13.18 "Математическое моделирование,численные методы и комплексы программ" : автореферат диссертации на соискание ученой степени канд. физ.-мат. наук / А. Ю. Пономарева, 1999. - 16 с. - Текст : непосредственный.Schulz M. Control theory in physics and other fields of science / M. Schulz, 2006 r=on-line. - Текст : электронный.Смолин Е.А. Принцип позиционной динамической устойчивости и его применение в системах со многими управлениями : специальность 05.13.01 "Системный анализ,управление и обработка информации (по отраслям)" : диссертация на соискание ученой степени канд. физ.-мат. наук / Е. А. Смолин, 2007. - 23 с. - Текст : непосредственный.Чугунова В.В. Синтез асимптотически оптимальных по надежности схем при инверсных неисправностях на входах элементов : специальность 01.01.09 "Дискретная математика и математическая кибернетика" : диссертация на соискание ученой степени канд. физ.-мат. наук / В. В. Чугунова, 2007. - 18 с. - Текст : непосредственный.Кучеренко И.В. Обратимые клеточные автоматы / И. В. Кучеренко, 2012. - 20 с. - Текст : непосредственный.Вашкевич Н.П. Недетерминированные автоматы и их использование для синтеза систем управления : Учеб. пособие. Ч. 1 : Эквивалентные преобразования недетерминированных автоматов, 1996. - 87 с. - Текст : непосредственный.Рахвальский В.М. Надежность кибернетических систем / В. М. Рахвальский, 1969. - 62 с. - Текст : непосредственный.Приставко В.Т. Матричные модели управления / В. Т. Приставко, 2001. - 255 с. - Текст : непосредственный.Стащук П.В. Архитектура ЭВМ уровня цифровых автоматов : выставочные материалы / П. В. Стащук, 2016. - 138 с. - Текст : непосредственный.Воронин В.В. Основы синтеза и диагностирования автоматов / В. В. Воронин, 2002. - 235 с. - Текст : непосредственный.Богомолов А.М. Эксперименты с автоматами, 1973. - 144 с. - Текст : непосредственный.Анохин П.К. Кибернетика функциональных систем : монография / П. К. Анохин, 1998. - 397 с. - Текст : непосредственный.
Показать все результатыПросмотр издания ЭБС Университетская библиотека ONLINE
или
Просмотр издания