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

Базы данных

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

Вид поиска

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

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

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

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

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

ЭБС «Лань»

ЭБС «Юрайт»

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

в найденном

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

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

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

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

1-10 11-20 21-30 31-40 41-46

004
С 243

    Светлаков, Михаил Олегович.
    Метод и алгоритмы анализа данных электроэнцефалографии для верификации субъекта [Текст] : диссертация ... кандидата технических наук: 2.3.8 / М. О. Светлаков ; науч. рук. И. А. Ходашинский ; Томский государственный университет систем управления и радиоэлектроники (Томск). - Томск, 2023. - 157 с. : рис., табл., цв. ил.

    Коды, Ключ.слова, Доп.точки доступа
УДК
004.052.42:004.93'1(043.3)
~РУБ 004

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

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

А
С 243

    Светлаков, Михаил Олегович.
    Метод и алгоритмы анализа данных электроэнцефалографии для верификации субъекта [Текст] : автореферат ... кандидата технических наук: 2.3.8 / М. О. Светлаков ; науч. рук. И. А. Ходашинский ; Томский государственный университет систем управления и радиоэлектроники (Томск). - Томск, 2023. - 24 с. : рис., табл.

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

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

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

534
Р 273

    Рахманенко, Иван Андреевич.
    Алгоритмы и программные средства верификации диктора по произвольной фразе [Текст] : диссертация на соискание ученой степени кандидата технических наук. Спец. 05.13.17 - Теоретические основы информатики / И. А. Рахманенко ; науч. рук. Р. В. Мещеряков ; ФГБОУ ВО Томский государственный университет систем управления и радиоэлектроники. - Томск, 2017. - 111 с. : цв. ил., схемы, табл. - Библиогр.: с. 93-107

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

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

Имеются экземпляры в отделах: сбо (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)

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

Шифр: П004589/2021/12/3
Журнал

Содержание:
Грибова, В. В. Разработка решателей задач на основе управляющих графов для систем с базами знаний / В. В. Грибова, В. А. Тимчено, Е. А. Шалфеева. - С.115-126
Кл.слова: инженерия программная, методология разработки программ, операции над информацией
Шелехов, В. И. Методы трансформации и дедуктивной верификации программы инвертирования списков / В. И. Шелехов. - С.127-139
Кл.слова: программирование функциональное, алгебраический тип данных, список односвязный
Паринов, С. И. Тематическое моделирование контекстов цитирований из научных публикаций: структура научного потребления автора / С. И. Паринов. - С.140-149
Кл.слова: проект Сиртек, топики, анализ наукометрический
Галатенко, А. В. Об одной модели безопасного функционирования компьютерных систем / А. В. Галатенко. - С.150-156
Кл.слова: автоматы конечные, языки регулярные, эксперименты кратные условные
Костенко, К. И. Инварианты ядра фундаментальной модели интеллектуальной системы / К. И. Костенко. - С.157-168
Кл.слова: формализм знаний, онтология, цель когнитивная
Имеются экземпляры в отделах: всего 1 : сбо (1)
Свободны: сбо (1)

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

А
Р 273

    Рахманенко, Иван Андреевич.
    Алгоритмы и программные средства верификации диктора по произвольной фразе [Текст] : автореферат диссертации ... кандидата технических наук: 05.13.17 / И. А. Рахманенко ; науч. рук. Р. В. Мещеряков ; Томский государственный университет систем управления и радиоэлектроники. - Томск, 2017. - 22 с. : рис., табл.

    Коды, Ключ.слова, Доп.точки доступа
УДК
534.4
004.052.42
~РУБ А

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

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

А
Б 907

    Булгакова, Елена Владимировна.
    Автоматизированная система экспертного анализа в задачах верификации диктора [Текст] : автореферат диссертации ... кандидата технических наук: 05.13.01 / Е. В. Булгакова ; Санкт-Петербургский национальный исследовательский университет информационных технологий, механики и оптики. - Санкт-Петербург, 2016. - 20 с. : рис., табл.

    Коды, Ключ.слова, Доп.точки доступа
УДК
004.934
~РУБ А

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

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

Шифр: К067075/2020/4
Журнал
Украина. Национальная академия наук Украины (Киев).

Кибернетика и системный анализ : международный научно-теоретический журнал/ Национальная академия наук Украины (Киев), Институт кибернетики им. В.М. Глушкова (Киев). - Киев, 1965 - . - ISSN 1019-5262. - Выходит раз в два месяца
2020г. N 4 . - 5426.52, р.

Содержание:
Панченко, Борис Евгеньевич. Численное исследование систем сингулярных интегральных уравнений первого рода и с неопределяемым индексом в задаче о дифракции плоских волн на неподвижном включении / Б. Е. Панченко, Ю. Д. Ковалев, И. Н. Сайко. - С.3-17
Кл.слова: индекс уравнения, число обусловленности, эксперимент численный
Довбыш, Анатолий Степанович. Информационно-экстремальное машинное обучение бортовой системы распознавания транспортного средства / А. С. Довбыш, Н. Н. Будник, В. Ю. Пятаченко. - С.18-27
Кл.слова: автомобили, объекты наземные, система координат полярная
Химич, Александр Николаевич. Существование и единственность взвешенного нормального псевдорешения / А. Н. Химич, Е. А. Николаевская. - С.28-34
Кл.слова: матрица взвешенная псевдообратная, квадраты взвешенные наименьшие, псевдорешение взвешенное нормальное
Гридина, Нина Яковлевна. Анализ нейрохирургических патологий с применением байесовских процедур распознавания для показателей поверхностного плазмонного резонанса при агрегации клеток крови / Н. Я. Гридина, А. М. Гупал, А. Л. Тарасов. - С.35-45
Кл.слова: диагностика дифференциальная, скорость оседания эритроцитов, травма черепно-мозговая
Шарифов, Фирдовси Ахун-оглы. Разрезы в неориентированных графах. I / Ф. А. Шарифов, Л. Ф. Гуляницкий. - С.46-55
Кл.слова: графы, функция выпуклая, многогранники специальные
Приказчиков, Виктор Георгиевич. Точная трехточечная схема и схемы высокого порядка точности для обыкновенного дифференциального уравнения четвертого порядка / В. Г. Приказчиков. - С.56-67
Кл.слова: задачи граничные, решения линейно независимые, метод сеток
Ильяшов, Александр Авксентьевич. Усовершенствование сигнатурно-системного метода с применение приоритетных признаков в составе сигнатур объектов мониторинга для обеспечения максимальной вероятности правильного распознавания / А. А. Ильяшов, В. С. Комаров. - С.68-78
Кл.слова: признаки мониторинговые, сигнатура, метод сигнатурно-системный
Закусило, Петр Степанович. Метод планирования обновления технических средств производства на предприятиях / П. С. Закусило. - С.79-84
Кл.слова: расход ресурса, срок службы, стоимость эксплуатационная
Ястремский, Александр Иванович. Межотраслевой анализ затратности и продуктивности экономики Украины: сравнительный анализ во времени и между странами / А. И. Ястремский. - С.85-97
Кл.слова: отрасли ключевые, затраты прямые, затраты полные
Потемкин, Михаил Михайлович. Усовершенствование метода анализа иерархий на основе уточнения процедур формирования матриц парных сравнений / М. М. Потемкин, М. В. Николаенко, Д. И. Гразион. - С.98-107
Кл.слова: согласованность матрицы, опрос экспертный, карточки формализованные
Рагимов, Анар Бейбала оглы. О численном решении обратной задачи по восстановлению источника специального вида в параболическом уравнении / А. Б. Рагимов. - С.108-118
Кл.слова: условия нелокальные, метод прямых, идентификация параметрическая
Мамонова, Анна Валерьевна. Математический инструментарий для анализа интернета вещей / А. В. Мамонова, Н. В. Майданюк. - С.119-127
Кл.слова: моделирование, технологии, структура
Крывый, Сергей Лукьянович. Экосистемы программной инженерии / С. Л. Крывый, Е. А. Гриненко. - С.128-143
Кл.слова: системы транзиционные, автоматы конечные, сети Петри
Тулупов, Михаил Алексеевич. Методология построения информационнной системы управления проектами на основе интеграции приложений предприятия / М. А. Тулупов. - С.144-159
Кл.слова: управление, приложения предприятия, обеспечение программное
Саженюк, Владимир Степанович. Информационная модель ценообразования на электронных рынках / В. С. Саженюк, Г. А. Черноус, Ю. А. Ярмоленко. - С.160-171
Кл.слова: прогнозирование цен, схема разностная, метод штрафа
Файнзильберг, Леонид Соломонович. Новые подходы к анализу и интерпретации формы циклических сигналов / Л. С. Файнзильберг. - С.172-184
Кл.слова: портрет фазовый, энтропия перестановочная, расстояние Левенштейна
Сарсембаев, Магжан Смагулович. Использование технологии CUDA для ускорения вычислений в задачах химической кинетики / М. С. Сарсембаев, Б. А. Урмашев, Н. Младенович. - С.185-195
Кл.слова: горение, механизмы горения, процессоры графические
Погорелый, Сергей Демьянович. Методы моделирования и верификации для проектирования приложений в гетерогенных архитектурах / С. Д. Погорелый, М. С. Слинько. - С.196-202
Кл.слова: системы транзиционные, системы алгоритмических алгебр, сети Петри
Имеются экземпляры в отделах: всего 1 : сбо (1)
Свободны: сбо (1)

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

Шифр: В112429/2019/9
Журнал

Вопросы радиоэлектроники : научно-технический сборник. Общетехническая/ ЦНИИ Электроника. - М. : ЦНИИ "Электроника". - ISSN 2218-5453. - Периодичность не определена
2019г. N 9 . - 1660.18, р.

Содержание:
Аман, Е. Э. Методика повышения качества функционирования автоколебательного микромеханического акселерометра / Е. Э. Аман. - С.6-10
Кл.слова: эксплуатация, датчик, информация
Гейер, А. Ф. Разработка пьезокерамических электроакустических преобразователей для акустических устройств со звуковым давлением 125 дБ и более / А. Ф. Гейер, В. А. Пономарев. - С.11-16
Кл.слова: излучатель, электромеханика, частота
Аман, Е. Э. Разработка конструктивно-кинематической модели микромеханических акселерометров / Е. Э. Аман. - С.17-20
Кл.слова: МЭМС, автоколебание, датчик
Конников, И. А. Электрическая емкость тонкопленочного резистора в плоскостной среде / И. А. Конников. - С.21-27
Кл.слова: емкость, неравномерность, заряд
Симонов, А. С. Многоуровневая система функциональной верификации высокоскоростной коммуникационной сети "Ангара" с топологией "многомерных тор" / А. С. Симонов, Д. В. Мошкин. - С.28-36
Кл.слова: СБИС, RTL-симулятор, модель
Шишов, Ю. А. Методика калибровки крупноапертурной приемной активной фазированной антенной решетки / Ю. А. Шишов, Д. В. Губанов, М. Г. Вахлов. - С.37-44
Кл.слова: модуль, АФАР, сигнал-шум
Блудов, А. А. Статистическая модель и анализ двухшкальной модификации пеленгационного метода конического сканирования / А. А. Блудов, Г. А. Горбатовский, В. С. Павлов. - С.45-51
Кл.слова: радиолокация, сигнал, оценивание
Коробейников, А. В. О бинарных кодах с низким средним уровнем боковых лепестков / А. В. Коробейников, В. С. Осипов. - С.52-55
Кл.слова: сигнал, накопление, АКФ
Белезяков, И. Н. Применение генетических алгоритмов для решения задачи оптимизации геометрии синхронного электрического двигателя с постоянными магнитами по критерию развиваемого момента / И. Н. Белезяков, К. Г. Араканцев. - С.56-62
Кл.слова: эволюция, метод, элемент
Туркина, Н. Р. Исследование коррозионной стойкости стали 12X18H10T и титана BT1-0 для паяльных ванн / Н. Р. Туркина, Н. В. Вишнева. - С.63-69
Кл.слова: оксид, пленка, прочность
Захаров, С. М. Оценка артериального давления по данным плетизмографии / С. М. Захаров. - С.70-76
Кл.слова: анализ, разрешение, спектр
Борсук, Н. А. Разработка модулей мониторинга в помещении и климат-охранного контроля для людей с ограниченными физическими возможностями / Н. А. Борсук, В. А. Федорова, М. В. Иванов. - С.77-84
Кл.слова: социализация, инвалидность, местоположение
Смирнова, М. С. Характеристика технологического уровня разработки программных комплексов управления группировками беспилотных летательных аппаратов на отечественных предприятиях авиаприборостроения / М. С. Смирнова. - С.85-89
Кл.слова: качество, система, SCRUM
Алешкин, Н. А. Картирование как элемент обеспечения результативности управления производственным процессом на предприятии / Н. А. Алешкин, А. П. Алешкин. - С.90-95
Кл.слова: организация, оценка, трудоемкость
Зверев, В. Н. Умным городам - разумные стандарты / В. Н. Зверев, С. В. Таленфельд, В. А. Шубарев. - С.96-102
Кл.слова: развитие, устойчивость, безопасность
Имеются экземпляры в отделах: всего 1 : сбо (1)
Свободны: сбо (1)

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

10.

Шифр: Э673283/2018/12
Журнал

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

Содержание:
Бутенко, Валерий. Сети 5G/IMT-2020 & IoT - основа цифровой трансформации / В. Бутенко, В. Веерпалу, Е. Девяткин. - С.4-9
Кл.слова: проекты, технологии, экономика
ГКЧС: следуя новым задачам. - С.10
Кл.слова: комиссия, заседания, инфраструктура
Кремер, Аркадий. Гармонизация национальной и международной стандартизации / А. Кремер. - С.11-13
Кл.слова: приоритеты, направления, регулирование
ПК-18: единство подходов АС РСС. - С.14-17
Кл.слова: структуры, управление, сотрудничество
Яковлев, Дмитрий. Патентный поиск в зарубежных базах данных / Д. Яковлев. - С.18-21
Кл.слова: информация, языки, запросы
Состоялась конференция АДЭ. - С.21
Кл.слова: ИКТ, программы, направления
CSTB-2019: цифровая трансформация телеком- и медиаиндустрии. - С.22
Кл.слова: операторы, форум, OTT.Future
Тихвинский, В. О. Стандартизация мобильной связи 5G как процесс создания инфраструктурной основы цифровой экономики / В. О. Тихвинский. - С.24-30
Кл.слова: МСЭ, 3GPP, RIT
Андроникова, Е. О. Современные экспериментальные методы в области квантовых технологий передачи световых сигналов / Е. О. Андроникова, Л. А. Уварова. - С.31-34
Кл.слова: телепортация, теории, вселенная
Быховский, М. А. Определение индексов модуляции для формирования сигналов с адаптивной амплитудной модуляцией / М. А. Быховский. - С.35-42
Кл.слова: методы, многомерность, ансамбль
Жуков, Д. М. Анализ циклостационарных радиосигналов с использованием Realtek RTL2832U и фреймворка Qt / Д. М. Жуков. - С.43-47
Кл.слова: SDR, плотность, спектры
Ерохин, С. Д. Использование алгоритма кластеризации k-Means для идентификации сетевого трафика / С. Д. Ерохин, А. В. Вашюшина. - С.48-49
Кл.слова: обучение, машины, классы
Гаврилов, В. М. Оценка принимаемой мощности на морской радиотрассе с корабельными пунктами связи / В. М. Гаврилов, Р. Н. Глухов, В. К. Дементьев. - С.50-52
Кл.слова: моделирование, радиоканалы, FEKO
Симонов, П. И. Использование технологи ВП и SDR в автоматизированных измерительных стендах для верификации самолетных приемоответчиков / П. И. Симонов. - С.53-56
Кл.слова: приборы, виртуальность, FPGA
Добычина, Е. М. Имитационное моделирование процесса калибровки цифровой антенной решетки / Е. М. Добычина, М. В. Снастин, А. Г. солод. - С.58-63
Кл.слова: фазы, ошибки, устройства
Кузнецов, Ю. В. Модель распространения электромагнитных излучений печатных плат во временной области / Ю. В. Кузнецов, А. Б. Баев, А. А. Горбунова. - С.64-69
Кл.слова: помехи, уравнения, Ефименко
Глухов, А. В. Комплексное моделирование полупроводниковых стабилитронов / А. В. Глухов, А. А. Курленко, Л. Г. Рогулина. - С.70-75
Кл.слова: поведение, диоды, Зенер
Волынкина, Евгения. Broadband в поисках новых возможностей для роста / Е. Волынкина. - С.76
Кл.слова: интернет-провайдеры, сервисы, услуги
Интеллектуальное видео и анализ ситуации. - С.84
Кл.слова: ОКО, ФГУП, системы
Имеются экземпляры в отделах: всего 1 : сбо (1)
Свободны: сбо (1)

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

1-10 11-20 21-30 31-40 41-46

Статистика за 15.06.2024
Число запросов	13853
Число заказов	0

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