Журналы
Разделы книг
Статьи по ключевому слову verification
Методика автоматизированного управления качеством при прототипировании аппаратно-программных комплексов на базе ПЛИС большой емкости
О. М. Брехов - д.т.н., профессор, Московский авиационный институт (национальный исследовательский университет). E-mail: obrekhov@mail.ru А. В. Корнеенкова - к.т.н., доцент, Московский авиационный институт (национальный исследовательский университет). E-mail: ankorn@yandex.ru К. А. Кордовер - мл. науч. сотрудник, МАИ НИО-304. E-mail: k.a.kordover@gmail.com Н. Ю. Мухин - мл. науч сотрудник, МАИ НИО-304. E-mail: 808@mail.ru Е. А. Орлова - мл. науч. сотрудник, МАИ НИО-304. E-mail: catrin@nm.ru И. В. Тузов - мл. науч. сотрудник МАИ НИО-304. E-mail: Letters-Ilya@yandex.ru
Разработка математического и программного обеспечения для систем управления мастер-данными
А. В. Белов к.т.н., доцент, факультет прикладной математики, кафедра «Кибернетика», Московский государственный институт электроники и математики (технический университет) E-mail: bv83@bk.ru К. А. Линев аспирант, факультет прикладной математики, кафедра «Кибернетика», Московский государственный институт электроники и математики (технический университет) E-mail: zntenshi@hotmail.com
Программный комплекс для определения границ речи в задачах автоматической верификации диктора
Ю.Г. Спажакин, Л.Т. Сушкова
Новые задачи автоматизации чтения платежных документов
Н.Д. Горский - д.т.н., Artificial Intelligence and Image Analysis (A2iA), Франция. Е-mail: alexandr@iias.spb.su
Принцип assert для решения задач поиска ошибок RTL кода при проектировании ПЛИС
А.В. Башкиров - к.т.н., доцент, кафедра конструирования и производства радиоаппаратуры, Воронежский государственный технический университет
Верификация требований политик информационной безопасности в системах распределенных вычислений
А.С. Коноплев - ст. аналитик, ООО «НеоБИТ». E-mail: konoplev@neo-bit.ru. М.О. Калинин - д.т.н., руководитель проекта, ООО «НеоБИТ». E-mail: max@neo-bit.ru
Автоматизированный программный комплекс для тестирования алгоритмов верификации диктора
Ю.Г. Спажакин - д.т.н., профессор, зав. кафедрой «Биомедицинская инженерия», Владимирский государственный университет. E-mail: ludm@vlsu.ru Л.Т. Сушкова - аспирант, кафедра «Биомедицинская инженерия», Владимирский государственный университет. E-mail: nwp_@mail.ru
Построение алгоритмов верификации функциональных моделей декодеров
А.В. Башкиров - к.т.н., доцент, кафедра конструирования и производства радиоаппаратуры, Воронежский государственный технический университет А.В. Муратов - д.т.н., профессор, зав. кафедрой конструирования и производства радиоаппаратуры, Воронежский государственный технический университет Ю.С. Науменко - аспирант, кафедра конструирования и производства радиоаппаратуры, Воронежский государственный технический университет А.В. Ситников - д.ф.-м.н., профессор, кафедра физики твердого тела, Воронежский государственный технический университет
Методика оценки помех в шинах питания цифровых устройств при проведении верификации ЭМС
М.А. Ромащенко - к.т.н., доцент, кафедра конструирования и производства радиоаппаратуры, Воронежский государственный технический университет. E-mail: kipr@vorstu.ru
Методика анализа помехоустойчивости печатных плат при проектировании РЭС с учетом ЭМС
М.А. Ромащенко - к.т.н., доцент, кафедра конструирования и производства радиоаппаратуры, Воронежский государственный технический университет. E-mail: kipr@vorstu.ru
Методика оценки уровней электромагнитного излучения от печатной платы при обеспечении ЭМС
М.А. Ромащенко - к.т.н., доцент, кафедра конструирования и производства радиоаппаратуры, Воронежский государственный технический университет. E-mail: kipr@vorstu.ru
В.А. Шуваев - к.т.н., доцент, кафедра конструирования и производства радиоаппаратуры, Воронежский государственный технический университет. E-mail: kipr@vorstu.ru
Исследование алгоритмов предварительной обработки биометрических образов для целей верификации
Д. В. Дмитриев - к.т.н., доцент, Нижегородский государственный технический университет им. Р.Е. Алексеева. E-mail: dmitdmit@mail.ru С. Н. Капранов - к.т.н., доцент, Нижегородский государственный технический университет им. Р.Е. Алексеева. E-mail: serg.kapranov@gmail.com@gmail.ru Е. В. Марков - магистрант, Нижегородский государственный технический университет им. Р.Е. Алексеева. E-mail: markov.evg.vik@gmail.com
Относительность одновременности событий в лазерных измерениях с искусственными спутниками Земли
С.В. Дмитриев - к.т.н., начальник отдела 211, ОАО «НПК «СПП» (Москва). E-mail: s_dmitr@mail.ru
Разработка архитектуры кластера программно-конфигурируемой сети с централизованным управлением, устойчивого к воздействиям DDoS-атак
Э.С. Соколова - д.т.н., профессор, зав. кафедрой, Нижегородский государственный технический университет им. Р.Е. Алексеева. E-mail: essokolowa@gmail.com В.В. Крылов - д.т.н., профессор, Нижегородский государственный технический университет им. Р.Е. Алексеева. E-mail: vkrylov@heterarchica.com Д.А. Ляхманов - к.т.н., Нижегородский государственный технический университет им. Р.Е. Алексеева. E-mail: dm.virger@gmail.com С.Н. Капранов - д.т.н., профессор, Нижегородский государственный технический университет им. Р.Е. Алексеева. E-mail: serg.kapranov@gmail.com Т.И. Балашова - ст. преподаватель, Нижегородский государственный технический университет им. Р.Е. Алексеева. E-mail: tibalashova@mail.ru
Исследование вероятностно-временных характеристик многопользовательской системы квалификационных испытаний земных станций спутниковой связи
В.А. Комаров - к.т.н., доцент, кафедра «Радиоэлектронная техника информационных систем», Сибирский федеральный университет; начальник группы, отдел проектирования, интеграции и испытаний полезных нагрузок, АО «Информационные спутниковые системы» им. академика М.Ф. Решетнева» (г. Железногорск). E-mail: VKomarov@iss-reshetnev.ru
Верификация проектов печатных плат перед запуском в производство
А. Ю. Трушин - инженер, ООО КТБ «ЭЛЕКТРОНИКА» (Москва). E-mail: aim-me@mail.ru
Нейрофилософия как исследовательская программа
О.Э. Петруня - к. филос. н., доцент, Российский государственный технологический университетет (МАТИ) им. К.Э. Циолковского (Москва). E-mail: hypostasis@yandex.ru
Методика измерения параметров наноразмерных объектов
С.С. Анцыферов - д.т.н., профессор, Московский государственный университет информационных технологий, радиотехники и электроники. E-mail: c_standard@fel.mirea.ru Д.А. Карабанов - аспирант, Московский государственный университет информационных технологий, радиотехники и электроники. E-mail: karabanov.d.a@gmail.com Д.А. Моисеева - магистрант, Московский государственный университет информационных технологий, радиотехники и электроники. E-mail: Dashamoi@mail.ru
Способ верификации моделей технических систем на основе интеллектуального анализа процессов
Н.Н. Акимов - гл. конструктор по АСУ объектами АЭ и ТЭК - зам. директора по инновационному развитию, ФГУП «ФНПЦ НИИИС им. Ю.Е. Седакова» (г. Нижний Новгород) А.В. Бухнин - к.т.н., доцент, Нижегородский государственный технический университет им. Р.Е. Алексеева В.Р. Милов - д.т.н., профессор, зав. кафедрой, Нижегородский государственный технический университет им. Р.Е. Алексеева В.А. Кольцов зам. главного конструктора, ФГУП «ФНПЦ НИИИС им. Ю.Е. Седакова» (г. Нижний Новгород) А.А. Куранов - студент, Нижегородский государственный технический университет им. Р.Е. Алексеева
Полное описание подсистем математической модели судна на примере контейнеровоза с использованием математического аппарата на основе теории нечетких множеств с результатами компьютерного эксперимента по подсистемам «Корпус» и «Гидродинамический комплекс»
Т.Г. Артюшина - к.т.н., доцент, кафедра «Высшая математика», Российский экономический университет им. Г.В. Плеханова (Москва). E-mail: t.g.art@yandex.ru
По итогам международной научно-практической конференции «Инструменты и методы анализа программ» TMPA-2015
В.Н. Захаров - ученый секретарь, ФИЦ «Информатика и управление» РАН (Москва). E-mail: vzakharov@ipiran.ru
Эффективные параметры дискретного преобразования Радона в задачах распознавания подписи
А.И. Королёв - инженер-конструктор-системотехник, ООО «ВЭД-Сервис». E-mail: korolev_ai@mail.ru В.Ф. Жирков - к.т.н., профессор, кафедра вычислительной техники, Владимирский государственный университет им. А.Г. и Н.Г. Столетовых. E-mail: jirkovvf@mail.ru
Использование существующих почерковедческих методик для идентификационного поиска исполнителя рукописи
С.Д. Кулик - д.т.н., ст.науч.сотрудник, профессор, Национальный исследовательский ядерный университет «МИФИ» (Москва). E-mail: sedmik@mail.ru Д.А. Никонец - к.т.н., ст. инженер-программист, ЗАО «Компания Информконтакт» (Москва). E-mail: denis_n@mail.ru
Подходы к формальной верификации моделей подсистем коммутации микропроцессоров
И.А. Стотланд - к.т.н., доцент, Московский государственный университет информационных технологий, радиотехники и электроники (МИРЭА) E-mail: irastot@mail.ru Н.А. Стариковская - к.т.н., доцент, Московский государственный университет информационных технологий, радиотехники и электроники (МИРЭА) E-mail: starikovskaya@mirea.ru М.А. Кириченко - студент, Московский государственный университет информационных технологий, радиотехники и электроники (МИРЭА) E-mail: kmar.kmar@mail.ru
Методика сравнения биометрических алгоритмов в программно-технических комплексах

Д.М. Немтинов, А.В. Мищук, О.Ф. Антонов

Вопросы повышения эффективности документооборота на предприятии

Н.А. Борсук – к.т.н., доцент,  кафедра «Информационные системы и сети», Калужский филиал МГТУ им. Н.Э. Баумана,  E-mail: borsuk.65@yandex.ru

Е.О. Дерюгина – к.т.н., доцент,  кафедра «Информационные системы и сети», Калужский филиал МГТУ им. Н.Э. Баумана,  E-mail: syvorova_eo@mail.ru

А.Д. Минина – студент,  кафедра «Информационные системы и сети», Калужский филиал МГТУ им. Н.Э. Баумана Е-mail: alex16071607@gmail.com

Методика моделирования и верификации переключательных функций в задачах проектирования цифровых узлов

Ю.А. Пирогова, С.А. Гвозденко, Д.В. Шардаков, О.Ю. Макаров, А.А. Пирогов

ФГБОУ ВО «Воронежский государственный технический университет» (г. Воронеж, Россия)

Управление качеством закупок элементов электронной компонентной базы

Я.С. Гродзенский – к.т.н., доцент, МИРЭА – Российский технологический университет (Москва) E-mail: grodzenskiy_s@mail.ru

О.В. Дюжакова – аспирант, МИРЭА – Российский технологический университет (Москва)

И.С. Поташов – аспирант, МИРЭА – Российский технологический университет (Москва)

И.А. Раевич – аспирант, Московский финансово-промышленный университет «Синергия»

Проблема доверия к удостоверяющим центрам в Российской Федерации

Д.А. Мельников

ФИЦ ИУ РАН (Национальный исследовательский ядерный университет «МИФИ»),
Финансовый университет при Правительстве Российской Федерации (Москва, Россия)

Распознавание мошеннических Web-сайтов

Д.А. Мельников

ФИЦ ИУ РАН (Национальный исследовательский ядерный университет «МИФИ»),
Финансовый университет при Правительстве Российской Федерации (Москва, Россия)

Контрольно-проверочная аппаратура активных фазированных антенных решеток

Д.В. Грачев1, А.П. Ковалев2, А.Г. Мартынов3, А.О. Славянский4

1,3,4 АО «ЦНИРТИ им. академика А.И. Берга» (Москва, Россия)

2 АО «КБ «Арсенал» имени М.В. Фрунзе» (Санкт-Петербург, Россия)

Архитектура и принципы построения ключевых систем в широкомасштабных информационно-телекоммуникационных системах0

В.И. Будзко1, В.И. Королёв2, Д.А. Мельников3

1-3 ФИЦ ИУ РАН (Москва, Россия)

1,3 НИЯУ «МИФИ» (Москва, Россия)

2,3 Финансовый университет при Правительстве Российской Федерации (Москва, Россия)

Методика сквозного проектирования арифметических устройств на ПЛИС

Ю.С. Балашов – д.ф.-м.н., профессор,  кафедра «Радиоэлектронные устройства и системы», Воронежский государственный технический университет А.А. Пирогов – к.т.н., доцент, кафедра «Конструирование и производство радиоаппаратуры»,  Воронежский государственный технический университет E-mail: pirogov.alx@gmail.com

Разработка алгоритма биометрической верификации по изображению лица на основе сверточной нейронной сети

В.В. Хрящев – к.т.н., доцент, кафедра инфокоммуникаций и радиофизики, 

Ярославский государственный университет им. П.Г. Демидова

E-mail: vhr@yandex.ru

А.А. Лебедев – магистр, кафедра инфокоммуникаций и радиофизики, 

Ярославский государственный университет им. П.Г. Демидова

E-mail: lebedevdes@gmail.com

А.М. Шемяков – аспирант, кафедра инфокоммуникаций и радиофизики, 

Ярославский государственный университет им. П.Г. Демидова

E-mail: andrey.shemiakov@gmail.com

В.А. Павлов – аспирант, кафедра инфокоммуникаций и радиофизики, 

Ярославский государственный университет им. П.Г. Демидова E-mail: i@yajon.ru

Первый опыт создания системы доверия в России на основе инфраструктуры открытых ключей

Д.А. Мельников1, В.Г. Беленков2, П.А. Кейер3, В.И. Королёв4, Е.И. Белова5

1 Национальный исследовательский ядерный университет «МИФИ» (Москва, Россия)
1, 5 Финансовый университет при Правительстве Российской Федерации (Москва, Россия)
1–4 ФИЦ ИУ РАН (Москва, Россия)
 

Верификация синфазности лучей на апертуре антенны Кассегрена

М. А. Жексенов1, А. С. Петров2
1 АО «НПК «НИИДАР» (Москва, Россия)
2 АО «НПО Лавочкина» (г. Химки, Московская область, Россия)

Применение методов машинного обучения для анализа психического состояния человека

Л.А. Ковалькова1, А.А. Кочкаров2, Е.Ю. Щетинин3

1–3 Финансовый университет при Правительстве РФ (Москва, Россия)

1 mila.kovalkova.ai@gmail.com, 2 akochkarov@fa.ru, 3 eyshchetinin@fa.ru