Библиотека ТУСУРа

Базы данных

Основная база библиотеки - результаты поиска

Вид поиска

Основная база библиотеки

База данных нормативных документов

Персоналии ученых-профессоров ТУСУРа

Календарь знаменательных дат

Электронные книги ЛитРес

ЭБС «Лань»

ЭБС «Юрайт»

Область поиска

в найденном

Найдено в других БД:

База данных нормативных документов (1)

Формат представления найденных документов:
полный	для рабочих программ

Отсортировать найденные документы по:
автору	заглавию	году издания	типу документа

Поисковый запрос: (<.>K=ВЕРИФИКАЦИЯ<.>)

Общее количество найденных документов : 105
Показаны документы с 1 по 20

1-20 21-40 41-60 61-80 81-100 101-105

А
К 354

    Кенжегулова, Зарина Муратбековна.
    Аналитические модели защитных полосковых устройств на основе метода модального разложения во временной области [Текст] : автореферат диссертации на соискание ученой степени кандидата технических наук. Спец. 2.2.13 - Радиотехника, в том числе системы и устройства телевидения / З. М. Кенжегулова ; науч. рук. Р. С. Суровцев. - Томск, 2023. - 19 с. : рис., схемы, табл. - Библиогр.: с. 18-19

    Коды, Ключ.слова, Доп.точки доступа
УДК
621.37:621.397.74(043.3)
~РУБ А

Кл.слова (ненормированные):
НАУЧНЫЕ ИЗДАНИЯ -- АВТОРЕФЕРАТЫ -- РАДИОТЕХНИКА -- ТЕЛЕВИДЕНИЕ -- РАДИОЭЛЕКТРОНИКА -- МАТЕМАТИЧЕСКОЕ МОДЕЛИРОВАНИЕ -- КОНЕЧНЫЕ РАЗНОСТИ -- СВЕРХКОРОТКИЕ ИМПУЛЬСЫ -- ВЕРИФИКАЦИЯ -- ИМПУЛЬСЫ
Доп.точки доступа:
Суровцев, Роман Сергеевич \науч. рук.\

Имеются экземпляры в отделах: счз1 (1 экз.), сбо (1 экз.)
Свободны: счз1 (1), сбо (1)
Постоянная гиперссылка

621.37
К 354

    Кенжегулова, Зарина Муратбековна.
    Аналитические модели защитных полосковых устройств на основе метода модального разложения во временной области [Текст] : диссертация на соискание ученой степени кандидата технических наук. Спец. 2.2.13 - Радиотехника, в том числе системы и устройства телевидения / З. М. Кенжегулова ; науч. рук. Р. С. Суровцев. - Томск, 2023. - 166 с. : рис., схемы, табл. - Библиогр.: с. 140-158

    Коды, Ключ.слова, Доп.точки доступа
УДК
621.37:621.397.74(043.3)
~РУБ 621.37

Кл.слова (ненормированные):
НАУЧНЫЕ ИЗДАНИЯ -- ДИССЕРТАЦИИ -- РАДИОТЕХНИКА -- ТЕЛЕВИДЕНИЕ -- РАДИОЭЛЕКТРОНИКА -- МАТЕМАТИЧЕСКОЕ МОДЕЛИРОВАНИЕ -- КОНЕЧНЫЕ РАЗНОСТИ -- СВЕРХКОРОТКИЕ ИМПУЛЬСЫ -- ВЕРИФИКАЦИЯ -- ИМПУЛЬСЫ
Доп.точки доступа:
Суровцев, Роман Сергеевич \науч. рук.\

Имеются экземпляры в отделах: сбо (1 экз.)
Свободны: сбо (1)
Постоянная гиперссылка

А
Т 853

    Тупоносова, Елена Павловна.
    Управление кадровым обеспечением регионального производственного комплекса "ВУЗ - нефтяной кластер" [Текст] : автореферат ...кандидата технических наук: 2.3.3 / Е. П. Тупоносова ; науч. рук. М. Ю. Лившиц ; Самарский государственный технический университет (Самара), кафедра управление и системный анализ теплоэнергетических и социотехнических комплексов. - Самара, 2023. - 24 с. : рис.

    Коды, Ключ.слова, Доп.точки доступа
УДК
332.1:378.095(043.3)
~РУБ А

Кл.слова (ненормированные):
НАУЧНЫЕ ИЗДАНИЯ -- АВТОРЕФЕРАТЫ -- ПРОИЗВОДСТВЕННЫЕ ПОКАЗАТЕЛИ -- ПОДГОТОВКА КАДРОВ -- ВЕРИФИКАЦИЯ -- ДИНАМИЧЕСКОЕ УПРАВЛЕНИЕ -- СИСТЕМНЫЕ СВЯЗИ -- АЛГОРИТМИЧЕСКОЕ ОБЕСПЕЧЕНИЕ
Доп.точки доступа:
Лившиц, Михаил Юрьевич \науч. рук.\
Самарский государственный технический университет (Самара). кафедра управление и системный анализ теплоэнергетических и социотехнических комплексов

Имеются экземпляры в отделах: сбо (1 экз.)
Свободны: сбо (1)
Постоянная гиперссылка

Шифр: Ч932169/2022/6
Журнал

Чудеса и приключения : журнал приключений, путешествий, научных гипотез и фантастики/ ФИДЖЕТ ЮНЕСКО (М.), ассоциация "Туризм и пресса". - М. : ИД "Журналист", 1991 - . - ISSN 0868-8931. - Выходит ежемесячно
2022г. N 6 . - 532.17, р.

Содержание:
Вяткин, Аркадий. Когда боги горшки обжигают / А. Вяткин. - С.6-9 : ил.
Кл.слова: язычество, терафимы, культы
Новиков, Сергей. Дюймовочка в пустыне / С. Новиков. - С.10-13 : ил.
Кл.слова: уфология, инопланетяне, мумии
Волгина, Марина. У семи чертей" на Мальтийской площади / М. Волгина. - С.14-16 : ил.
Кл.слова: Прага, музеи, Бисс, Йоганн Рудольф
Жаровский, Михаил. Мамона из кирпича и бетона / М. Жаровский. - С.22-25 : ил.
Кл.слова: города, мегаполисы, урбанизация
Борисов, Сергей. С лица не воду пить / С. Борисов. - С.28-30 : ил.
Кл.слова: биометрия, идентификация, верификация
Тутаева, Марина. Что скрывает малышка? / М. Тутаева. - С.32-35 : ил.
Кл.слова: Вселенная, планеты, Церера
Овсянников, Виктор. Кудесник мяча / В. Овсянников. - С.36-37 : ил.
Кл.слова: КНИГА РЕКОРДОВ ГИННЕССА, Куценко, Николай, жонглирование
Антоновская, Юлия. Обитель совершенного колеса / Ю. Антоновская. - С.38-39 : ил.
Кл.слова: буддизм, Бурятия, Иволгинский дацан
Сиволап, Валерий. Десять легендарных братьев / В. Сиволап. - С.44-47, : ил.
Кл.слова: ВЕЛИКАЯ ОТЕЧЕСТВЕННАЯ ВОЙНА, воспоминания, Сиволап, Александр Иванович
Ситникова, Марина. Стихи крепки, и перья наши быстры / М. Ситникова. - С.48-51 : ил.
Кл.слова: ВЕЛИКАЯ ОТЕЧЕСТВЕННАЯ ВОЙНА, Окна ТАСС, плакаты
Дегтярёв, Евгений. На конной тяге до Берлина / Е. Дегтярёв. - С.52-55 : ил.
Кл.слова: армия, кавалерия, лошади
Лианозов, Марк. Сокровища великой эпохи / М. Лианозов. - С.60-63 : ил.
Кл.слова: Москва, выставки, Петр 1
Нефедов, Александр. Пробный камень / А. Нефедов. - С.54-67 : ил.
Кл.слова: Липецкая область, города, Чаплыгин
Зелов, Дмитрий. Салют, Россия! / Д. Зелов. - С.68-71 : ил.
Кл.слова: фейерверки, пиротехника, иллюминация
Афанасьева, Дарья. "Зингер" в бронзе / Д. Афанасьева. - С.72-73 : ил.
Кл.слова: Подольск, памятники, швейные машинки
Упорин, Виктор. Выцари в пустыне смерти / В. Упорин. - С.74-77 : ил.
Кл.слова: учёные, Габричевский, Георгий Норбертович, Заболотный, Даниил Кириллович
Вовк, Марьяна. След ведёт в Китай / М. Вовк. - С.80-83 : ил.
Кл.слова: цветы, пионы
Кухливский, Юрий. Остров плавающих хрюшек / Ю. Кухливский. - С.84-85 : ил.
Кл.слова: Биг-Мейджор-Кей, острова, Пиг-Бич
Сотникова, Марина. Где растёт рудный цветок? / М. Сотникова. - С.86-89 : ил.
Кл.слова: камни, флюорит, самоцветы
Тимофеев, Алексенй Васильевич. Невидимка : рассказ / А. В. Тимофеев. - С.90-93 : ил.
Кл.слова: русская литература, 19 век, мистика
Александрина, Марина. Всё, кроме чёрного / М. Александрина. - С.94-97 : ил.
Кл.слова: английская живопись, художники, Уолл, Жозефина
Имеются экземпляры в отделах: всего 1 : ахл (1)
Свободны: ахл (1)

Постоянная гиперссылка

А
В 124

    Вагин, Денис Владимирович.
    Методы и реализующее их программное обеспечение для решения трёхмерных прямых и обратных задач геоэлектромагнетизма, термоупругости и многофазной фильтрации [Текст] : автореферат диссертации на соискание ученой степени доктора технических наук. Спец. 05.13.18 - Математическое моделирование, численные методы и комплексы программ / Д. В. Вагин ; науч. конс. М. Г. Персова. - Новосибирск, 2022. - 39 с. : рис., схемы. - Библиогр.: с. 35-39

    Коды, Ключ.слова, Доп.точки доступа
УДК
550.38:531/534(043.3)
004.67:519.711.3(043.3)
~РУБ А

Кл.слова (ненормированные):
НАУЧНЫЕ ИЗДАНИЯ -- АВТОРЕФЕРАТЫ -- НАУКОЕМКИЕ ТЕХНОЛОГИИ -- МАТЕМАТИЧЕСКОЕ МОДЕЛИРОВАНИЕ -- ИЗМЕРИТЕЛЬНАЯ АППАРАТУРА -- МАТЕМАТИЧЕСКАЯ ФИЗИКА -- 3D - МОДЕЛИРОВАНИЕ -- ЛИНЕАРИЗАЦИЯ -- ВЫЧИСЛИТЕЛЬНЫЕ СИСТЕМЫ -- ВЕРИФИКАЦИЯ
Доп.точки доступа:
Персова, Марина Геннадьевна \науч. конс.\

Имеются экземпляры в отделах: сбо (1 экз.)
Свободны: сбо (1)
Постоянная гиперссылка

Шифр: П004589/2022/13/4
Журнал

Программная инженерия [Текст] : теоретический и прикладной научно-технический журнал/ Российская Академия Наук (М.), Отделение математических наук, Российская академия наук (М.), Отделение нанотехнологий и информационных технологий, Московский государственный университет (М.), Московский государственный технологический университет (М.), (М.). - М. : Новые технологии, сентябрь 2010 - . - ISSN 2220-3397. - Периодичность неизвестна
2022г. т.13 N 4 . - 4815.12, р.

Содержание:
Шелехов, В. И. Автоматное программирование на базе системы моделирования и верификации Event-B / В. И. Шелехов. - С.155-167
Кл.слова: уточнение, требования, трансформации программ
Годунов, А. Н. Конфигурируемая тестовая система для ОСРВ семейства Багет / А. Н. Годунов, И. И. Хоменков, В. Г. Щепков. - С.168-177
Кл.слова: тестирование, автоматизация программирования, языки программирования
Евгенев, Г. Б. Российская технология индустрии 5.0 Метаонтология / Г. Б. Евгенев. - С.178-186
Кл.слова: производства цифровые, системы интегрированные, системы интеллектуальные
Гайдамака, К. И. Применение методов машинного обучения без учителя для обеспечения непротиворечивости знаний / К. И. Гайдамака, А. Д. Белоногова. - С.187-199
Кл.слова: кластеризация, управление требованиями, инженерия требований
Федотов, И. А. Автоматическая верификация многосторонних соглашений и планирование отправки сообщений в системах распределенного реестра / И. А. Федотов, А. С. Хританков, М. Д. Обидаре. - С.200-208
Кл.слова: консенсус, блокчейн, проверка моделей статистическая
Имеются экземпляры в отделах: всего 1 : сбо (1)
Свободны: сбо (1)

Постоянная гиперссылка

004
П 166

    Пантелеев, Евгений Рафаилович.
    Методы научных исследований в программной инженерии [Электронный ресурс] : учебное пособие для вузов / Е. Р. Пантелеев ; рец. Н. А. Коробов. - 2-е изд., стер. - Электрон. текстовые дан. - СПб. : Лань, 2021. - on-line : рис., табл. - (Высшее образование). - Библиогр.: с. 131-134. - ISBN 978-5-8114-6781-5 : Б. ц.

    Коды, Ключ.слова, Доп.точки доступа
УДК
004.4:303.732(075.8)
~РУБ 004

Кл.слова (ненормированные):
УЧЕБНЫЕ ПОСОБИЯ -- СИСТЕМНЫЙ АНАЛИЗ -- МЕТОДОЛОГИЯ -- МОДЕЛИ -- АНАЛИЗ ДАННЫХ -- БАЗЫ ДАННЫХ -- ЭКСПЕРТНЫЕ СИСТЕМЫ -- ЭКСПЕРИМЕНТЫ -- ВЕРИФИКАЦИЯ -- МОДЕЛИРОВАНИЕ

Доп.точки доступа:
Коробов, Н. А. \рец.\

Перейти к внешнему ресурсу https://reader.lanbook.com/book/152439#1
Постоянная гиперссылка

004
И 741

    Информатика [Электронный ресурс] : учебник для вузов: в 2-х томах / В. В. Трофимов [и др.] ; отв. ред. В. В. Трофимов ; рец. Е. В. Стельмашонок ; Санкт-Петербургский государственный экономический университет. - 3-е изд., перераб. и доп. - Электрон. текстовые дан. - М. : Юрайт, 2020 - 2021. - (Высшее образование). - ISBN 978-5-534-02614-6.
   Т. 2. - 2021. - on-line : рис., табл., схемы. - ). - Библиогр. в конце разд. - ISBN 978-5-534-02615-3 : Б. ц.

    Коды, Ключ.слова, Доп.точки доступа
УДК
004(075.8)
~РУБ 004

Кл.слова (ненормированные):
УЧЕБНИКИ -- МОДЕЛИРОВАНИЕ -- КЛАССИФИКАЦИЯ -- ВЕРИФИКАЦИЯ -- АЛГОРИТМИЗАЦИЯ -- ВИДЕОМАТЕРИАЛЫ -- ПРОГРАММИРОВАНИЕ -- ПАРАДИГМЫ -- КОМПЬЮТЕРНЫЕ СЕТИ -- БЕЗОПАСНОСТЬ -- СЕТЕВОЙ СЕРВИС

Доп.точки доступа:
Трофимов, Валерий Владимирович
Ильина, О. П.
Саитов, А. В.
Пушкина, Н. В.
Минаков, В. Ф.
Трофимов, Валерий Владимирович \отв. ред.\
Стельмашонок, Е. В. \рец.\
Санкт-Петербургский государственный экономический университет

Перейти к внешнему ресурсу https://urait.ru/viewer/informatika-v-2-t-tom-2-470745#page/1
Постоянная гиперссылка

658.5
Я 657

    Янушевская, Марина Николаевна.
    Аудит качества [Текст] : учебное пособие / М. Н. Янушевская ; Министерство науки и высшего образования Российской Федерации, Томский государственный университет систем управления и радиоэлектроники. - Томск : Издательство ТУСУРа, 2021. - 120 с. : рис., табл. - Библиогр.: с. 111. - ISBN 978-5-86889-927-0 : 135.00 р.

    Коды, Ключ.слова, Доп.точки доступа
УДК
658.562:005(075.8)
~РУБ 658.5

Кл.слова (ненормированные):
УЧЕБНЫЕ ПОСОБИЯ -- МЕНЕДЖМЕНТ -- ПРОФЕССИОНАЛЬНОЕ ОБЩЕНИЕ -- АНАЛИЗ ДОКУМЕНТОВ -- ВЕРИФИКАЦИЯ -- СЕРТИФИКАЦИЯ
Доп.точки доступа:
Лариошина, Ирина Анатольевна
Филонов, Н. Г. \рец.\
Сырямкин, В. И. \рец.\
Министерство науки и высшего образования Российской Федерации
Томский государственный университет систем управления и радиоэлектроники

Имеются экземпляры в отделах: , счз1 (1 экз.), аунл (2 экз.)
Свободны: счз1 (1), аунл (2)
Постоянная гиперссылка

10.

004
М 915

    Мурсаев, Александр Хафизович.
    Практикум по проектированию на языках VerilogHDL и SystemVerilog [Электронный ресурс] : учебное пособие для вузов / А. Х. Мурсаев, О. В. Буренева ; рец.: А. Е. Платунов, А. С. Филиппов. - 3-е изд., стер. - Электрон. текстовые дан. - СПб. : Лань, 2021. - on-line : рис., табл. - (Высшее образование). - Библиогр.: с. 114-115. - ISBN 978-5-8114-7341-0 : Б. ц.

    Коды, Ключ.слова, Доп.точки доступа
УДК
004.43(075.8)
~РУБ 004

Кл.слова (ненормированные):
УЧЕБНЫЕ ПОСОБИЯ -- ЭЛЕКТРОННЫЕ РЕСУРСЫ -- ПОРТЫ -- ТРИГГЕРЫ -- ЦИФРОВЫЕ АВТОМАТЫ -- ВЕРИФИКАЦИЯ -- ДИСКРЕТНЫЕ УСТРОЙСТВА -- ИМПЛЕМЕНТАЦИЯ -- МОДУЛИ -- СХЕМЫ

Доп.точки доступа:
Буренева, Ольга Викторовна
Платунов, А. Е. \рец.\
Филиппов, А. С. \рец.\

Перейти к внешнему ресурсу https://e.lanbook.com/reader/book/158952/#1
Постоянная гиперссылка

11.

005
К 181

   Каменнова, Мария Сергеевна
    Моделирование бизнес-процессов [Электронный ресурс] : учебник и практикум для вузов: в 2-х ч. / М. С. Каменнова, В. В. Крохин, И. В. Машков. - Электрон. текстовые дан. - М. : Юрайт, 2020. - (Высшее образование). - ISBN 978-5-534-09386-5.
   Часть 1. - on-line : рис., табл., вкл. л. - ISBN 978-5-534-05048-6 : Б. ц.

    Коды, Ключ.слова, Доп.точки доступа
УДК
005(075.8)(076.5)
~РУБ 005

Кл.слова (ненормированные):
УЧЕБНИКИ -- ПРАКТИКУМЫ -- ЭКОНОМИКА -- ДЕТАЛИЗАЦИЯ -- ИДЕНТИФИКАЦИЯ -- КОНТРОЛЛИНГ -- АНАЛИЗ -- ВЕРИФИКАЦИЯ -- МЕТОДОЛОГИЯ -- КОРПОРАТИВНАЯ СИСТЕМА -- УПРАВЛЕНИЕ

Доп.точки доступа:
Крохин, Виктор Васильевич
Машков, Илья Владимирович

Перейти к внешнему ресурсу https://urait.ru/viewer/modelirovanie-biznes-processov-v-2-ch-chast-1-450294#page/1
Постоянная гиперссылка

12.

519
А 194

    Аверина, Татьяна Александровна.
    Численные методы. Верификация алгоритмов решения систем со случайной структурой [Электронный ресурс] : учебное пособие для вузов / Т. А. Аверина ; рец. С. С. Артемьев ; Новосибирский государственный университет. - Электрон. текстовые дан. - М. : Юрайт, 2020. - on-line : рис., табл., граф. - (Высшее образование). - Библиогр.: с. 155-174. - ISBN 978-5-534-07205-1 : Б. ц.

    Коды, Ключ.слова, Доп.точки доступа
УДК
519.67(075.8)
~РУБ 519

Кл.слова (ненормированные):
УЧЕБНЫЕ ПОСОБИЯ -- МАТЕМАТИКА -- ТЕСТОВЫЕ ЗАДАЧИ -- МОДЕЛИРОВАНИЕ -- ДИСПЕРСИЯ -- ЧИСЛЕННЫЙ АНАЛИЗ -- АППРОКСИМАЦИЯ -- СЛОЖНЫЕ КОЛЕБАНИЯ -- КВАНТОВАНИЕ -- СПЕКТРАЛЬНЫЙ АНАЛИЗ

Доп.точки доступа:
Артемьев, С. С. \рец.\
Новосибирский государственный университет

Перейти к внешнему ресурсу https://urait.ru/viewer/chislennye-metody-verifikaciya-algoritmov-resheniya-sistem-so-sluchaynoy-strukturoy-455466#page/1
Постоянная гиперссылка

13.

Шифр: Ц451071/2020/1
Журнал

Цифровая обработка сигналов : научно-технический журнал/ КБ волоконно-оптических приборов (М.), Российское научно-техническое общество радиотехники, электроники и связи им. А. С. Попова (М.). - М. : КБ волоконно-оптических приборов, 1999 - . - ISSN 1684-2634. - Выходит ежеквартально
2020г. N 1 . - 902.78, р.

Содержание:
Тихонов, В. Ю. Цифровая обработка нелинейных искажений сигналов в программно-определяемой радиосистеме (SDR) / В. Ю. Тихонов, Ю. С. Шинаков, А. С. Тимошенко. - С.3-8
Кл.слова: устройство инерционное, предыскажение цифровое, технология OFDM
Кузьмин, Е. В. Исследование эффективности беспороговой процедуры поиска псевдослучайного сигнала при ограничении разрядности входных наблюдений / Е. В. Кузьмин. - С.9-12
Кл.слова: квантование, функция корреляционная, моделирование
Киселева, Т. П. Использование последовательностей Задова-Чу для синхронизации по корреляционной кривой циклического префикса OFDM-символов LTE технологии / Т. П. Киселева. - С.13-17
Кл.слова: станция базовая, пользователь мобильный, замирание
Быховский, М. А. Анализ международного стандарта DVB-S2, определяющего параметры современных систем спутниковой связи / М. А. Быховский. - С.18-25
Кл.слова: передача сигналов, эффективность спектральная, кодирование
Годына, В. С. Инновационный метод измерения импульсной характеристики и нелинейных искажений / В. С. Годына, С. В. Перелыгин, Б. М. Штейн. - С.26-29
Кл.слова: акустика помещений, аудиоустройство, точность
Бартенев, В. Г. Коррелятор с адаптивным порогом / В. Г. Бартенев. - С.30-32
Кл.слова: тревога ложная, моделирование, практика радиолокационная
Чучупал, В. Я. Акустическое и языковое моделирование в сквозных системах распознавания речи / В. Я. Чучупал. - С.33-42
Кл.слова: сеть нейронная, модель языка, алгоритм декодирования
Туровский, Я. А. Применение подходов, связанных с минимизацией дисперсии, в задачах классификации многомерных данных биомедицинской природы / Я. А. Туровский, С. В. Борзунов, В. А. Белобродский. - С.43-46
Кл.слова: обработка цифровая, компонента, верификация
Котцов, В. А. Оперативное определение изменений наблюдаемой сцены логическим вычитанием цифровых изображений / В. А. Котцов, П. В. Котцов. - С.47-49
Кл.слова: наблюдение многоканальное, обработка потоковая, режим потоковый
Хафизов, Р. Г. Обеспечение разрешенного образа при инверсной фильтрации сигналов в условиях неопределенности / Р. Г. Хафизов. - С.50-54
Кл.слова: характеристика импульсная, минимизация, шум флуктуационный
Имеются экземпляры в отделах: всего 1 : сбо (1)
Свободны: сбо (1)

Постоянная гиперссылка

14.

Шифр: И643213/2020/5
Журнал

Измерительная техника : научно-технический журнал/ Комитет стандартизации и метрологии Российской Федерации (М.), Федеральное агентство по техническому регулированию и метрологии (М.), Всероссийский научно-исследовательский институт метрологии им. Д. И. Менделеева (М.), Всероссийский научно-исследовательский институт оптико-физических измерений (М.), Всероссийский научно-исследовательский институт физико-технических и радиотехнических измерений (М.), Российский научно-технический центр информации по стандартизации, метрологии и оценке соответствия (М.). - М., 1939 - . - ISSN 0368-1025. - Выходит ежемесячно
2020г. N 5 . - 1283.10, р.

Содержание:
Жмайлов, В. В. Применение комплектных способов поверки измерительных каналов на атомных электростанциях / В. В. Жмайлов, А. Ю. Кожевников, О. А. Коровина. - С.4-10
Кл.слова: резльтаты поверки, достоверность, трудоёмкость поверки
Кравчук, А. С. Достаточное условие надёжности измерений рельефа поверхности образца методом атомно-силовой микроскопии / А. С. Кравчук, А. И. Кравчук. - С.11-15
Кл.слова: кантилевер, зонд, пирамида четырёхгранная
Пасынок, С. Л. Совершенствование методов и средств Главного метрологического центра Государственной службы времени, частоты и определения параметров вращения Земли / С. Л. Пасынок, И. В. Безменов, И. Ю. Игнатенко. - С.16-21
Кл.слова: радиоинтерферометры, дальнометрия, комбинирование
Калинов, Д. Г. Предварительная калибровка фазового интерполятора прецизионного измерителя временных интервалов / Д. Г. Калинов, В. И. Римлянд. - С.22-29
Кл.слова: переход фазовый, линия задержек, комплекс аппаратно-программный
Ахобадзе, Г. Н. Структурные методы повышения точности измерений расхода веществ в трубопроводах / Г. Н. Ахобадзе. - С.30-35
Кл.слова: неоднородность, дифракция, объём рассеивающий
Давыдов, В. В. Метод контроля времени продольной релаксации текущей жидкости во всём диапазоне измерения расхода / В. В. Давыдов, Н. С. Мязин, С. С. Макеев. - С.36-42
Кл.слова: резонанс ядерный магнитный, поле магнитное, отношение сигнал‒шум
Николаев, Ю. Л. Оценка соотношения информативного и фонового сигналов при регистрации магнитных полей поверхностных дефектов магнитоизмерительными преобразователями / Ю. Л. Николаев, Э. Ф. Ахметшина, А. А. Саморуков. - С.43-49
Кл.слова: соотношение сигнал‒фон, преобразователи магнитоизмерительные, поле дефекта магнитное
Астраханцев, Ю. Г. Алгоритмическая коррекция инструментальных погрешностей магнитометра / Ю. Г. Астраханцев, Н. А. Белоглазова. - С.50-57
Кл.слова: аппаратура магниторазведочная, датчики феррозондовые, градиент геомагнитного поля
Савченко, В. В. Способ обновления голосовых образцов в Единой биометрической системе в режиме реального времени / В. В. Савченко, А. В. Савченко. - С.58-65
Кл.слова: акустика речи, идентификация голосовая, верификация голосовая
Семенов, Д. С. Высокоточная система измерений температуры для магнитно-резонансной томографии / Д. С. Семенов, В. А. Яцеев, Е. С. Ахмад. - С.66-71
Кл.слова: системы оптоволоконные, интерферометрия широкополосная, изделия имплантируемые медицинские
Имеются экземпляры в отделах: всего 1 : сбо (1)
Свободны: сбо (1)

Постоянная гиперссылка

15.

Шифр: Д572536/2020/79/2
Журнал

Деньги и кредит : ежемесячный теоретический научно-практический журнал/ Банк России. - М. : Финансы и статистика, 1927 - . - ISSN 0130-3090. - Выходит ежемесячно
2020г. т.79 N 2 (июнь) . - 1168.43, р.

Содержание:
Хотулев, Иван. Оптимальная денежно-кредитная и макропруденциальная политика в экономике, экспортирующей сырьевые товары / И. Хотулев, К. Стырин. - С.3-42
Кл.слова: модели, калибровка, финансовая стабильность
Турдыева, Наталья. Воздействие шоков условий торговли на российскую экономику / Н. Турдыева. - С.43-69
Кл.слова: массив данных, факторы эластичности, верификация модели
Мамонов, Михаил. Дисбалансы в срочной структуре банковских операций как предвестники скрытых "дыр" в капитале банков / М. Мамонов. - С.70-100
Кл.слова: фальсификация балансов, вневыборочный прогноз, модель Хекмана
Пеникас, Генрих. Низкодефолтные кредитные портфели в "Базель II" и "Базель III" как частный случай существенно несбалансированных классов в моделях бинарного выбора / Г. Пеникас. - С.101-128
Кл.слова: вероятность дефолта, детальная сегментация, LDP-сегмент
Имеются экземпляры в отделах: всего 1 : счз1 (1)
Свободны: счз1 (1)

Постоянная гиперссылка

16.

Шифр: В507988/2020/3
Журнал

Вопросы защиты информации : научно-практический журнал/ Всероссийский НИИ межотраслевой информации (М.), Федеральный информационно-аналитический центр оборонной промышленности. - М. : ВИМИ, 1974 - . - ISSN 2073-2600. - Выходит ежеквартально
2020г. N 3 . - 2535.77, р.

Содержание:
Шакурский, Максим Викторович. Алгоритм сокрытия использования двухкомпонентного контейнера в стеганографической системе / М. В. Шакурский. - С.3-5
Кл.слова: изображения растровые, инвариантность, контейнер стеганографический
Каннер, Андрей Михайлович. Моделирование и верификация подсистемы управления доступом средства защиты информации Аккорд-Х / А. М. Каннер, Т. М. Каннер. - С.6-10
Кл.слова: модели безопасности, верификация, логика темпоральная
Мозолина, Надежда Викторовна. Реализация концепции управления конфигурациями при помощи программного модуля "Паспорт ПО" / Н. В. Мозолина. - С.11-15
Кл.слова: контроль конфигурации, администрирование, безопасность
Костина, Анна Александровна. Альтернативный способ построения схем цифровой подписи, удовлетворяющих критерию постквантовой стойкости / А. А. Костина, Н. А. Молдовян. - С.16-21
Кл.слова: защита информации, криптография, задача дискретного логарифмирования
Абросимов, Иван Константинович. Оценка сложности алгоритмов расчета параметров в схеме подписи на основе скрытой задачи дискретного логарифмирования / И. К. Абросимов. - С.22-28
Кл.слова: криптография постквантовая, подпись электронная, алгебры конечные
Каннер, Татьяна Михайловна. Принципы разработки и реализации передовой образовательной программы высшего образования по направлению "информационная безопасность" / Т. М. Каннер. - С.29-33
Кл.слова: подход компетентностно-ориентированный, онлайн-курс, тиражирование образовательной программы
Доровской, Владимир Алексеевич. Синтез целеустремленных систем в условиях информационно-сложных ситуаций / В. А. Доровской, Б. П. Новак, А. В. Дегтярев. - С.34-39
Кл.слова: анализ интроспективный, синтез интроспективный, системы полиустремленные
Жумажанова, Самал Сагидулловна. Оптимизация искусственных нейронных сетей в задачах обработки графической информации для идентификации психофизиологических состояний субъекта / С. С. Жумажанова, А. Е. Сулавко, П. С. Ложников. - С.40-47
Кл.слова: термоизображения, пространство признаков, формула гипотез Байеса
Титов, Дмитрий Валерьевич. Модели оценки риска нарушений информационной безопасности при эксплуатации систем охраны исправительных учреждений / Д. В. Титов, Е. Е. Филипова. - С.48-50
Кл.слова: автоматизация промышленная, критерии, надежность
Неволин, Александр Олегович. Методы обфускации сетевого трафика / А. О. Неволин. - С.51-54
Кл.слова: шифрование, безопасность информационная, обмен завуалированный информационный
Имеются экземпляры в отделах: всего 1 : сбо (1)
Свободны: сбо (1)

Постоянная гиперссылка

17.

004
Л 135

    Лаврищева, Екатерина Михайловна.
    Программная инженерия и технологии программирования сложных систем [Электронный ресурс] : учебник для вузов / Е. М. Лаврищева ; рец.: А. К. Петренко, И. Б. Петров ; Институт системного программирования РАН, Московский физико-технический институт (государственный университет). - 2-е изд., испр. и доп. - Электрон. текстовые дан. - М. : Юрайт, 2020. - on-line : рис., схемы, табл. - (Высшее образование). - Библиогр.: с. 424. - ISBN 978-5-534-07604-2 : Б. ц.

    Коды, Ключ.слова, Доп.точки доступа
УДК
004.4(075.8)
~РУБ 004

Кл.слова (ненормированные):
УЧЕБНИКИ -- ИНТЕРФЕЙСЫ -- МОДУЛИ -- МОДЕЛИРОВАНИЕ -- ВАРИАБЕЛЬНОСТЬ -- ВЕРИФИКАЦИЯ -- ФРЕЙМЫ -- ПРОЕКТИРОВАНИЕ -- ДОМЕНЫ -- ОНТОЛОГИЯ -- ФРЕЙМЫ

Доп.точки доступа:
Петренко, А. К. \рец.\
Петров, И. Б. \рец.\
Институт системного программирования РАН
Московский физико-технический институт (государственный университет)

Перейти к внешнему ресурсу https://urait.ru/viewer/programmnaya-inzheneriya-i-tehnologii-programmirovaniya-slozhnyh-sistem-452137#page/1
Постоянная гиперссылка

18.

Шифр: Э673283/2020/1
Журнал

Электросвязь : научно-технический журнал по проводной и радиосвязи, телевидению, радиовещанию/ Региональное содружество в области связи (М.), Международная Академия связи, Российское научно-техническое общество радиотехники, электроники и связи им. А. С. Попова (М.), ООО "Инфо-электросвязь". - М. : Электросвязь, 1933 - . - ISSN 0013-5771. - Выходит ежемесячно
2020г. N 1 . - 1136.98, р.

Содержание:
Назейкин, Анатолий. Профсоюз помогает связистам выстоять / А. Назейкин. - С.3
Кл.слова: цифровая экономика, история, защищенность
Богородицкая, Ирина. Устойчивость космической деятельности: новые вызовы / И. Богородицкая. - С.4-7
Кл.слова: безопасность, компетенции, война
СМАРТС и Университет ИТМО выводят квантовые каналы на рекорд. - С.8-10
Кл.слова: передача, информация, ЦОД
Девяткин, Е. Е. 6G на старте / Е. Е. Девяткин, Г. С. Бочечка, В. О. Тихвинский. - С.12-17
Кл.слова: мобильная связь, XR, SSN
Бурнашев, И. Я. Оптимизация маршрутов передачи данных в системе телекоммуникаций / И. Я. Бурнашев, О. Ю. Назарова, А Н. Шилина. - С.18-21
Кл.слова: автоматизация, задержка, топология
Пантелеймонов, И. Н. Модель системы связи с объектами, расположенными на орбите и поверхности планет Солнечной системы или их спутников / И. Н. Пантелеймонов ; И. Н. Пантелеймон6ов, А. Ю. Потюпкин, В. И. Ковалев. - С.22-26
Кл.слова: космос, ретранслятор, оптический диапазон
Белов, А. С. Отечественные модемы земных станций спутниковой связи / А. С. Белов, А. И. Алдошин, А. Ю. Абакумова. - С.27-36
Кл.слова: модуляция, кодирование, вероятность ошибки
Анпилогов, В. Р. Анализ совместимости спутниковых сетей IoT с устройствами SRD и LPWAN в диапазонах частот 868/915 МГц / В. Р. Анпилогов, Д. А. Нгуен. - С.37-43
Кл.слова: loRa, технология, радиосвязь
Тонких, Е. В. Анализ беспроводной сети интернета вещей высокой плотности / Е. В. Тонких, А. И. Парамонов, А. Е. Кучерявый. - С.44-48
Кл.слова: помеха, сигнал, шум
Якименко, В. С. Методика оценки возможности распределения (выделения) полос частот для одночастотных систем / В. С. Якименко. - С.49-55
Кл.слова: спектр, загрузка, совместимость
Красносельский, И. Н. Будущее цифрового телевизионного вещания: 4K, 8K, HEVC, HDR, далее везде / И. Н. Красносельский, Ю. Д. Шавдия. - С.56-60
Кл.слова: NGA, диапазон, аудиосистема
Владимиров, С. С. Коды Голда и коды максимальной длины в сетевом кодировании / С. С. Владимиров. - С.61-66
Кл.слова: передача, система, сеть "бабочка"
Быховский, М. А. Пространственно-временное кодирование в системах MISO / М. А. Быховский. - С.67-75
Кл.слова: автовыбор, прием, модуляция
Локтев, Д. А. Верификация пользователя на основе анализа его первичного и вторичного изображений и автоматизированных системах контроля / Д. А. Локтев. - С.76-82
Кл.слова: компьютерное зрение, аутентификация, размытие
Имеются экземпляры в отделах: всего 1 : сбо (1)
Свободны: сбо (1)

Постоянная гиперссылка

19.

Шифр: И735453/2020/25/6
Журнал

Электроника : научно-технический журнал. Известия ВУЗов/ Министерство образования Российской Федерации (М.), Московский государственный институт электронной техники. - М. : МИЭТ, 1996 - . - ISSN 1561-5405. - Выходит раз в два месяца
2020г. т.25 N 6 . - 1633.27, р.

Содержание:
Афанасьев, Алексей Валентинович. Анализ эпитаксии карбида кремния из газовой фазы как базового процесса в технологии силовой электроники / А. В. Афанасьев, В. А. Ильин, В. В. Лучинин. - С.483-496
Кл.слова: SiC, CVD, CVD-реактор
Силаев, Иван Вадимович. Метод и реализация высокоэффективной диагностики формы электронного зонда растрового электронного микроскопа / И. В. Силаев, И. Н. Гончаров, Т. Т. Магкоев. - С.497-504
Кл.слова: луч, веб-камера, катодолюминесцентный экран
Воробьев, Андрей Валерьевич. Исследование влияния технологических факторов на характеристики гибких безадгезированных фольгированных диэлектриков / А. В. Воробьев, В. Д. Жора, Н. И. Плис. - С.505-516
Кл.слова: микросхемы, носитель, преобразователь
Елисеева, Дарья Андреевна. Анализ механизмов деградации подзатворных диэлектриков на основе SiO₂ в МОП-транзисторах / Д. А. Елисеева, С. О. Сафонов. - С.517-524
Кл.слова: надежность, времязависимость, отказ
Заплетина, Мария Андреевна. Методы анализа выполнимости булевых формул для современных задач систем автоматизации проектирования в микроэлектронике / М. А. Заплетина, Д. В. Жуков, С. В. Гаврилов. - С.525-538
Кл.слова: SAT-подход, САПР, верификация СБИС
Амеличев, Владимир Викторович. Исследование чувствительности пористых толстопленочных элементов на основе SnO₂ к концентрации водорода в воздухе / В. В. Амеличев, С. С. Генералов, А. В. Николаева. - С.539-547
Кл.слова: полупроводник, датчик газа, система
Гаращенко, Антон Витальевич. Методика формирования тестовых последовательностей на основе графовой модели иерархии кеш-памяти / А. В. Гаращенко, Л. Г. Гагарина. - С.548-557
Кл.слова: автоматическая генерация, процессор, верификация
Чаплыгин, Юрий Александрович. Метод проектирования широкополосного формирователя квадратурных сигналов / Ю. А. Чаплыгин, В. В. Лосев, А. Д. Каленов. - С.558-562
Кл.слова: СВЧ, полифазный фильтр, делитель частоты
Урумов, Владимир Владимирович. Влияние внешнего излучения на емкостные и токовые характеристики излучающих структур / В. В. Урумов. - С.563-568
Кл.слова: источник света, конденсатор, пронициемость
Крылов, Владимир Павлович. Релаксация глубоких центров в транзисторах и интегральных микросхемах / В. П. Крылов, А. М. Богачев. - С.568-572
Кл.слова: полупроводник, прибор, сканирование
Имеются экземпляры в отделах: всего 1 : сбо (1)
Свободны: сбо (1)

Постоянная гиперссылка

20.

510
К 845

    Крупский, Владимир Николаевич.
    Теория алгоритмов. Введение в сложность вычислений [Электронный ресурс] : учебное пособие для вузов / В. Н. Крупский. - 2-е изд., испр. и доп. - Электрон. текстовые дан. - М. : Юрайт, 2020. - on-line : рис. - (Высшее образование). - Библиогр.: с. 114. - Предм. указ.: с. 117. - ISBN 978-5-534-04817-9 : Б. ц.

    Коды, Ключ.слова, Доп.точки доступа
УДК
510.5:510.582
~РУБ 510

Кл.слова (ненормированные):
УЧЕБНЫЕ ПОСОБИЯ -- МОДЕЛИРОВАНИЕ -- МАШИНЫ ТЬЮРИНГА -- ПРОГРАММИРОВАНИЕ -- КЛАССЫ -- ВЕРИФИКАЦИЯ -- КОНЕЧНЫЕ ИГРЫ -- ТЕОРИЯ ЧИСЕЛ -- БУЛЕВЫ ФОРМУЛЫ -- ПОЛИНОМИАЛЬНАЯ ИЕРАРХИЯ

Перейти к внешнему ресурсу https://urait.ru/viewer/teoriya-algoritmov-vvedenie-v-slozhnost-vychisleniy-454121#page/1
Постоянная гиперссылка

1-20 21-40 41-60 61-80 81-100 101-105

Статистика за 09.07.2024
Число запросов	70910
Число заказов	0

© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)