Журналы
Разделы книг
Статьи по ключевому слову верификация
Методика автоматизированного управления качеством при прототипировании аппаратно-программных комплексов на базе ПЛИС большой емкости
О. М. Брехов - д.т.н., профессор, Московский авиационный институт (национальный исследовательский университет). 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
Верификация требований политик информационной безопасности в системах распределенных вычислений
А.С. Коноплев - ст. аналитик, ООО «НеоБИТ». 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
Разработка архитектуры кластера программно-конфигурируемой сети с централизованным управлением, устойчивого к воздействиям 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: aim-me@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

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

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

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

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

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

E-mail: grodzenskiy_s@mail.ru

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

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

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

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

Ю.С. Балашов – д.ф.-м.н., профессор,  кафедра «Радиоэлектронные устройства и системы», Воронежский государственный технический университет А.А. Пирогов – к.т.н., доцент, кафедра «Конструирование и производство радиоаппаратуры»,  Воронежский государственный технический университет 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
1 АО «НПК «НИИДАР» (Москва, Россия)
2 АО «НПО Лавочкина» (г. Химки, Московская область, Россия)