Библиотека БГПУ

Главная

Упрощенный режим

Описание

Базы данных

Периодические издания- результаты поиска

Вид поиска

Периодические издания

Выпускные квалификационные работы

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

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

Книги (1)

Фонд редкой книги (1)

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

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

Поисковый запрос: <.>K=верификация<.>

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

Шифр: И-19/2011/2
Журнал

Информационные технологии (с ежемесячным приложением). Комплект : теоретический и прикладной научно-технический журнал. - М. : "Новые технологии" : "Информационные технологии"2008 - . - Выходит ежемесячно
2011г. N 2

Содержание:
Трофимов, А.Г. Системы нейрокомпьютерного интерфейса. Обзор / А.Г. Трофимов, В.И. Скругин. - С.2-10
Норенков, И.П. Документальные базы знаний на основе онтологий / И.П. Норенков. - С.11-16
Толчеев, В.О. Анализ проблемы и разработка процедуры выявления нечетких дубликатов научных статей по библиографическим описаниям / В.О. Толчеев. - С.17-21
Амиршахи, Б. Кластеризация GRID-ресурсов для оптимизации информационного обмена при совместной обработке результатов распределенных вычислений / Б. Амиршахи. - С.22-27
Саак, А.Э. Локально-оптимальные ресурсные распределения / А.Э. Саак. - С.28-34
Мансуров, Т.М. Разработка методики определения длины регенерационного участка xDSL-модемов сети абонентского доступа / Т.М. Мансуров, И.А. Мамедов, Э.Т. Мансуров. - С.35-40
Червяков, Н.И. Пороговая схема разделения секрета на эллиптической кривой / Н.И. Червяков, М.Г. Бабенко. - С.41-45
Шкляев, Д.А. Формальная верификация понятий отказоустойчивости для распределенных баз данных / Д.А. Шкляев. - С.46-53
Рогозов, Ю.И. Метод построения структурно-независимых баз данных с использованием реляционных технологий / Ю.И. Рогозов, А.С. Свиридов, С.А. Кучеров. - С.54-58
Рубцов, Е.А. Модель данных для сбора, хранения и обработки информации о существующих во времени объектах различных классов / Е.А. Рубцов. - С.59-61
Левашкина, А.О. Исследование возсожности использования ключевых точек в задаче поиска изображений с визуально похожими объктами / А.О. Левашкина, С.В. Поршнев. - С.62-66
Архипов, О.П. Многокритериальный выбор тестового множества при исследовании цветовосприятия / О.П. Архипов, З.П. Зыкова. - С.67-73
Масюк, М.А. Система анализа и визуализации связей нормативно-правовых документов / М.А. Масюк. - С.74-77
На вкладках: Кухаренко, Б.Г. Сегментирование изображений на основе сечения графов, марковских случайных полей и алгоритмов разведывания данных
Имеются экземпляры в отделах: всего 1 : Ч.з.3 (1)
Свободны: Ч.з.3 (1)

Найти похожие

Шифр: И-19/2011/3
Журнал

Содержание:
Перепелкин, Д. Алгоритм адаптивной ускоренной маршрутизации в условиях динамически изменяющихся нагрузок на линиях связи в корпоративной сети / Д. Перепелкин, А. Перепелкин. - С.2-6.
Богоявленский, Ю. Линейные диофантовы модели восстановления соединений в сетях MPLS / Ю. Богоявленский, К. Кулаков, Д. Корзун. - С.7-12.
Наумова, В. Разработка системы видеоконференцсвязи отделения наук о Земле РАН / В. Наумова, И. Горячев. - С.13-18.
Сериков, Д. Применение механизмов контроля насыщения для разделения ресурсов в распределенной вычислительной среде / Д. Сериков. - С.20-25.
Прилуцкий, М. Построение оптимальных по быстродействию расписаний в кононических системах "конвейер - сеть" / М. Прилуцкий, В. Власов. - С.26-30.
Рудаков, И. Неполная верификация сложных дискретных систем / И. Рудаков, А. Ребриков. - С.31-34.
Имамвердиев, Я. Сервис-ориентированная эталонная модель для управления рисками информационной безопасности / Я. Имамвердиев, С. Деракшанде. - С.35-40.
Дрюченко, М. / М. Дрюченко [и др.]. - С.41-49.
Другие авторы: Сирота, А., , Нейросетевые модели и алгоритмы стенографического скрытия информации
Ильясов, Б. Структурная оптимизация реляционных моделей сложных иерархических систем / Б. Ильясов, А. Левков. - С.50-53.
Халабия, Р. Организация и структура динамических распределений баз данных / Р. Халабия ; 54-56. ; 54-56.
Савченко, Е. Информационная теория колебаний биржевых котировок в динамике / Е. Савченко. - С.57-64.
Скрибцов, П. Особенности реализации алгоритмов распознавания объектов на фото и видео с применением современных многоядерных процессов / П. Скрибцов, П. Казанцев, А. Долгополов. - С.65-69.
Галушкин, А. Аналитические методы и нейросетевые технологии в решении задач по программе "Протеом человека" / А. Галушкин. - С.70-73.
Воронков, И. Обработка больших массивов текстовой информации и перспективы ее развития для информационно-аналитических систем, программная и аппаратная реализация / И. Воронков, И. Кречетов, А. Харламов. - С.74-78.
Кудинов, И. Интеллектуальные технологии моделирования и управления многосвязными объектами : приложение к Журналу "Информационные технологии" / И. Кудинов
Имеются экземпляры в отделах: всего 1 : Ч.з.3 (1)
Свободны: Ч.з.3 (1)

Найти похожие

Шифр: П-38/2010/4
Журнал

Проблемы информационной безопасности. Компьютерные системы. - 2008 . - Выходит дважды в год
2010г. N 4

Содержание:
Семенова, Н. Верификация ролевой модели разграничения доступа с использованием методов логики линейного времени / Н. Семенова. - С.7-13.
Рудина, Е. Выбор метода виртуализации активных ресурсов вычислительных систем / Е. Рудина. - С.14-20.
Собакин, И. Характеристика современных международных стандартов по управлению рисками информационной безопасности / И. Собакин. - С.21-25.
Атмашкин, М. Скрытые каналы передачи информации в алгоритме электронной цифровой подписи ГОСТ Р 34.10-2001 / М. Атмашкин, С. Белим. - С.26-35.
Канунников, Д. Нейросетевой подход к шифрованию информации / Д. Канунников, В. Добрица. - С.36-38.
Колесова, Н. Методика определения наличия стегосообщения в изображениях / Н. Колесова. - С.39-44.
Ростовцев, А. Защита смарт-карты, формирующей ЭЦП, от некоторых атак по внешнему каналу / А. Ростовцев, А. Богданов. - С.45-50.
Яковлев, В. Распределение ключей в беспроводных локальных сетях на основе использования антенн со случайно изменяемой диаграммой направленности в условиях многолучевого распространения радиоволн / В. Яковлев, В. Коржик, Ю. Ковайкин. - С.51-64.
Ажмухамедов, И. Методика оценки компетенций специалиста в области информационной безопасности / И. Ажмухамедов. - С.65-70.
Зайцев, А. Топология зон действия базовых станций автоматизированных идентификационных систем в асу движением маломерного флота Финского залива / А. Зайцев. - С.71-77.
Нырков, А. Безопасность информационных потоков в АСУДС / А. Нырков, П. Викулин. - С.78-82.
Имеются экземпляры в отделах: всего 1 : Ч.з.3 (1)
Свободны: Ч.з.3 (1)

Найти похожие

Шифр: П-38/2011/2
Журнал

Проблемы информационной безопасности. Компьютерные системы. - 2008 . - Выходит дважды в год
2011г. N 2

Содержание:
Калинин, М. Обеспечение доверенной среды функционирования мультипротокольного сетевого оборудования / М. Калинин, А. Коноплёв. - С.7-11.
Калинин, М. Верификация требований политик информационной безопасности в GRID-системах / М. Калинин, Я. Марков. - С.12-21.
Корт, С. Автоматическое распознавание сетевых протоколов и типа полезной нагрузки сетевых пакетов на основе анализа N-ГРАММ / С. Корт, А. Шумов. - С.22-32.
Платонов, В. Формирование признакового пространства для обнаружения сетевых атак / В. Платонов, П. Семенов. - С.33-39.
Платонов, В. Гибридная модель системы обнаружения вторжений с использованием лексикографического подхода / В. Платонов, И. Юшкевич. - С.40-46.
Яковлев, В. Моделирование комбинированного метода отслеживания источников DDOS-АТАК / В. Яковлев, И. Левин. - С.47-61.
Артамонов, А. Согласованный отзыв права подписи в схеме групповой подписи BBS / А. Артамонов, П. Васильев, Е. Маховенко. - С.62-75.
Ростовцев, А. Метод безопасного вычисления полинома в недоверенной среде с помощью гомоморфизмов колец / А. Ростовцев, А. Богданов, М. Михайлов. - С.76-85.
Голубцов, Д. Помехоустойчивость адаптивных автоматизированных идентификационных систем при воздействии взаимных помех / Д. Голубцов, И. Сикарев, К. Сидоров. - С.86-89.
Пшеницын, К. Поиск фазомодулированного сигнала при наличии мультипликативных помех / К. Пшеницын [и др.]. - С.90-93.
Другие авторы: Сикарев, И., Мульганов, С., Сидоров, К.
Имеются экземпляры в отделах: всего 1 : Ч.з.3 (1)
Свободны: Ч.з.3 (1)

Найти похожие

Шифр: И-19/2012/3
Журнал

Содержание:
Афонин, С. Построение иерархии понятий на основе лексических шаблонов / С. Афонин, А. Бахтин. - С.2-7.
Костенко, К. Операции унифицированной технологии построения цифровых пространств знаний / К. Костенко. - С.8-13.
Ходашинский, И. Идентификация нечетных систем на базе алгоритма имитации отжига и методов, основанных на производных / И. Ходашинский. - С.14-19.
Паламарь, И. Анализ применимости современных методов статистического моделирования для распознавания и понимания речи / И. Паламарь, С. Юлин. - С.20-25.
Андрейчиков, А. Экспертная система для начальных стадий проектирования инноваций / А. Андрейчиков, А. Хорычев, О. Андрейчикова. - С.26-32.
Бобков, С. Верификация модели контроллера ведущего интерфейса USB 2.0 / С. Бобков [и др.]. - С.33-36.
Другие авторы: Задябин, С., Крыницкий, А., Новожилов, Е.
Кузнецов, Е. Автоматизация проектирования виброзащиты ячеек электронной аппаратуры демпфирующими вставками / Е. Кузнецов, Е. Талицкий, С. Шумарин. - С.37-42.
Керимов, С. Репозитории в информационных системах и программном обеспечении / С. Керимов, Е. Керимова. - С.43-48.
Елесина, С. Повышение эффективности генетического алгоритма / С. Елесина, М. Никифоров. - С.49-54.
Васильев, Е. Полиномиальная аппроксимация сигналов как операционное исчисление: применение к моделированию динамических систем дробного порядка / Е. Васильев, Л. Симак. - С.55-61.
Добротворский, А. Оценка перспектив использования ассоциативных инструментальных платформ квантовых компьютеров, работающих в многозначном алфавите / А. Добротворский. - С.62-65.
Соломаха, А. Нейросетевая экспертная медико-технологическая система прогнозирования риска развития осложнений у больных с гнойно-деструктивными заболеваниями легких / А. Соломаха, К. Милова, В. Горбаченко. - С.66-69.
Десятисильный, А. Нейросетевой алгоритм сопровождения судов в системах управления движением / А. Десятисильный, В. Гриняк. - С.70-73.
Петрушан, М. Метод контрастирования описаний изображений лиц для системы санкционированного доступа / М. Петрушан, А. Самарин. - С.74-77.
Меркушева, А. Элементы прикладной теории времячастотных преобразований и обработки нестационарных сигналов и информационно- измерительных систем : приложение / А. Меркушева. - С.2-31.
Имеются экземпляры в отделах: всего 1 : Ч.з.3 (1)
Свободны: Ч.з.3 (1)

Найти похожие

Шифр: П-29/2011/2
Журнал

Психологическая диагностика . - 2006
2011г. N 2

Содержание:
Гуткина, Н. Сопоставление опросников по учебной мотивации: проверка валидности / Н. Гуткина, В. Назаренко, Л. Пикфорд. - С.3-26.
Гуткина, Н. Верификация методик по определению сенсомоторного развития (работа по рисуночному образцу) у детей 6-7 лет / Н. Гуткина, В. Назаренко, Л. Елизарова. - С.27-45.
Толстых, Н. Методика для экспериментального изучения доминирования мотивов / Н. Толстых. - С.46-59.
Майнина, И. Психодиагностические возможности методики "Школа экзистенции" / И. Майнина. - С.60-83.
Юдеева, Т. Апробация опросника студенческой прокрастинации С. Lay / Т. Юдеева, Н. Гаранян, Д. Жукова. - С.84-94.
Телешева, К. Методика определения факторов гомосексуальной ориентации / К. Телешева. - С.95-125.
Резюме на английском языке. - С.126-137.
Имеются экземпляры в отделах: всего 1 : Ч.з.3 (1)
Свободны: Ч.з.3 (1)

Найти похожие
Перейти к описаниям статей

Тематический навигатор

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