Авторизация
 

Базы данных


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

Вид поиска

Область поиска
в найденном
Формат представления найденных документов:
полныйдля рабочих программ
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>K=ВЕРИФИКАЦИИ<.>)
Общее количество найденных документов : 46
Показаны документы с 1 по 10
 1-10    11-20   21-30   31-40   41-46 
1.


    Яценко, А. С.
    Модель сокрытия индивидуальных особенностей диктора (нормализация и искажение голоса) [Текст] : доклад / А. С. Яценко // Научная сессия ТУСУР-2011. - Томск : В-Спектр. - Ч. 3. - С. 298-301 : ил. - Библиогр. в конце ст.

    Коды, Ключ.слова, Доп.точки доступа
Полный текст/внешний ресурс   (постраничный просмотр) : 2011_yatsenko_170611.pdf или скачать 

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


    Ручай, А. Н.
    К вопросу о форматном методе текстозависимой верификации диктора : доклад / А. Н. Ручай, А. А. Соловьев // Научная сессия ТУСУР-2010. - Томск : В-Спектр. - Ч. 3. - С. 194-197. - Библиогр. в конце ст.

    Коды, Ключ.слова, Доп.точки доступа
Полный текст/внешний ресурс   (постраничный просмотр) : 2010_ruchaj_070910.pdf или скачать 

Постоянная гиперссылка
3.
004
С 243


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

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


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

    Коды, Ключ.слова, Доп.точки доступа
Имеются экземпляры в отделах: сбо (1 экз.), счз1 (1 экз.)
Свободны: сбо (1), счз1 (1)
Постоянная гиперссылка
5.
Шифр: П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)

Постоянная гиперссылка
6.
Шифр: П004589/2021/12/3
   Журнал

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

Постоянная гиперссылка
7.
Шифр: К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)

Постоянная гиперссылка
8.
Шифр: В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)

Постоянная гиперссылка
9.
Шифр: В507988/2018/1
   Журнал

Вопросы защиты информации : научно-практический журнал/ Всероссийский НИИ межотраслевой информации (М.), Федеральный информационно-аналитический центр оборонной промышленности. - М. : ВИМИ, 1974 - . - ISSN 2073-2600. - Выходит ежеквартально
2018г. N 1 . - 2210.10, р.
Содержание:
Чаус, Е. А. Новый метод защиты зашифрованных сетевых соединений от атак, использующих технологии глубокого анализа сетевого трафика / Е. А. Чаус. - С.3-6
Кл.слова: протокол, маскировка, сессия
Каннер, А. М. Требования гарантии выполнения функций защиты встраиваемых средств разграничения доступа к данным в операционных системах / А. М. Каннер. - С.7-12
Кл.слова: информация, подсистема, встраивание
Каннер, Т. М. Адаптация существующих способов верификации для программно-аппаратных СЗИ / Т. М. Каннер. - С.13-19
Кл.слова: критичность, ошибка, тестирование
Осадчая, Т. С. Возможности защиты от инсайдерских атак со стороны системного администратора / Т. С. Осадчая, А. Ю. Щеглов. - С.20-27
Кл.слова: пользователь, доступ, безопасность
Любушкина, И. Е. Проблема обеспечения высокой пропускной способности автоматизированных систем на базе архитектуры "тонкого клиента" / И. Е. Любушкина, С. П. Панасенко, В. К. Сырчин. - С.28-34
Кл.слова: шифратор, видеопоток, терминал
Сулавко, А. Е. Архитектура перспективных нейронов для обработки биометрических данных с высокой корреляционной зависимостью / А. Е. Сулавко. - С.35-48
Кл.слова: распознавание, выборка, функционал
Гришачев, В. В. Демонстрационная модель угрозы утечки акустической (речевой) информации через волоконоо-оптические коммуникации / В. В. Гришачев, О. В. Казарин, Ю. Д. Калинина. - С.49-58
Кл.слова: технология, модуляция, канал
Скворцов, В. Э. Структуризация проблемы обеспечения информационной безопасности материальных носителей информации ограниченного доступа на стадиях их жизненного цикла / В. Э. Скворцов, В. И. Василец. - С.59-65
Кл.слова: защищенность, прогнозирование, источник
Новиков, В. К. Классификация средств и технологий информационно-технических воздействий на информационно-технические объекты / В. К. Новиков, И. С. Рекунков, А. А. Жукель. - С.66-70
Кл.слова: безопасность, ресурс, управление
Тараскин, М. М. Обоснование степени автоматизации поддержки выработки решения должностного лица при распознавании ситуаций (состояний) системы защиты информации / М. М. Тараскин, Д. Н. Захаров, А. Т. Козловский. - С.71-80
Кл.слова: управление, формализация, модальность
Имеются экземпляры в отделах: всего 1 : сбо (1)
Свободны: сбо (1)

Постоянная гиперссылка
10.
Шифр: Д118812/2018/2
   Журнал

Датчики и системы : ежемесячный научно-технический и производственный журнал/ Институт проблем управления РАН (М.), Московский государственный институт электроники и математики. - М. : СенСиДат, 1998 - . - ISSN 1992-7185. - Выходит ежемесячно
2018г. N 2 . - 1319.17, р.
Содержание:
Головин, Анатолий Владимирович. Двухполярный спектрометр ионной подвижности / А. В. Головин, В. К. Васильев, И. А. Иванов. - С.4-9
Кл.слова: детектирование, полярность, верификация
Малкин, Евгений Константинович. Модернизация алгоритмов системы управления нагревателями и газовыми насосами спектрометра ионной подвижности / Е. К. Малкин, М. А. Матуско, В. К. Васильев. - С.10-14
Кл.слова: температура, стабилизация, детектирование
Андрианов, Андрей Владимирович. Методика гибридной верификации СБИС "система - на - кристалле" / А. В. Андрианов, Игорь Иванович Шагурин. - С.14-18
Кл.слова: тестирование, моделирование, программирование
Бутузов, Владимир Алексеевич. Новый метод улучшения динамических характеристик АЦП последовательного приближения / В. А. Бутузов, Ю. И. Бочаров, В. Е. Шунков. - С.19-24
Кл.слова: преобразователь, КМОП-технология, топология
Лебедев, Анатолий Алексеевич. Проектирование прецизионных операционных усилителей для измерительных систем / А. А. Лебедев, Е. Ю. Старков, И. С. Панков. - С.24-27
Кл.слова: каскад, частица, сигнал
Барбашов, Вячеслав Михайлович. Топологические вероятностные модели БИС для обеспечения информационной надежности электронных систем при воздействии радиации / В. М. Барбашов, Н. С. Трушкин. - С.28-31
Кл.слова: соотношение, параметр, разброс
Бакеренков, Александр Сергеевич. Цифровой датчик поглощенной дозы на основе коммерческого МОП-транзистора / А. С. Бакеренков, Б. И. Подлепецкий, В. А. Фелицын. - С.31-36
Кл.слова: излучение, ион, радиация
Подлепецкий, Борис Иванович. МДП-транзистор как первичный преобразователь дозы ионизирующего излучения / Б. И. Подлепецкий, А. С. Бакеренков, В. А. Фелицын. - С.36-42
Кл.слова: дозиметр, модель, сигнал
Бакеренков, Александр Сергеевич. Влияние отжига на характеристики биполярных транзисторов как чувствительных элементов датчиков поглощенной дозы / А. С. Бакеренков, А. С. Родин, Вячеслав Сергеевич Першенков. - С.43-47
Кл.слова: радиация, деградация, параметр
Шуренков, Владимир Васильевич. Механизмы деградации полупроводниковых систем под действием электромагнитного импульса / В. В. Шуренков. - С.47-52
Кл.слова: излучение, компонент, сбой
Петухов, Кирилл Алексеевич. Исследование поверхностного дефектообразования в МОП-транзисторе с р-каналом при длительном воздействии гамма-излучения / К. А. Петухов, В. Д. Попов. - С.53-56
Кл.слова: интенсивность, облучение, электрон
Краснюк, Андрей Анатольевич. Моделирование многозатворных транзисторных структур как элементов электронных датчиков / А. А. Краснюк, Е. В. Марьина, Э. Ф. Имаметдинов. - С.56-60
Кл.слова: модуляция, быстродействие, резонанс
Лапшинский, Валерий Алексеевич. Микросхемы "умной" ассоциативной памяти: тенденции развития, классификация и применение / В. А. Лапшинский. - С.60-65
Кл.слова: адресация, выборка, обработка
Симаков, Андрей Борисович. Мобильный инструментальный комплекс для оперативного мониторинга альфа-радиоактивного загрязнения местности / А. Б. Симаков, Е. М. Онищенко, В. П. Мирошниченко. - С.66-70
Кл.слова: счетчик, аэроион, интерфейс
Имеются экземпляры в отделах: всего 1 : сбо (1)
Свободны: сбо (1)

Постоянная гиперссылка
 1-10    11-20   21-30   31-40   41-46 
 
Статистика
за 30.06.2024
Число запросов 100861
Число заказов 0
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)