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

Главная

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

Описание

Базы данных

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

Вид поиска

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

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

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

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

Книги (1)

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

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

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

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

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

Заглавие журнала :Информационные технологии (с ежемесячным приложением). Комплект -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)
Интересные статьи :
На вкладках: Кухаренко, Б.Г. Сегментирование изображений на основе сечения графов, марковских случайных полей и алгоритмов разведывания данных
Найти похожие

Заглавие журнала :Информационные технологии (с ежемесячным приложением). Комплект -2011г.,N 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.)
Кудинов, И. Интеллектуальные технологии моделирования и управления многосвязными объектами/ И. Кудинов
Интересные статьи :
Найти похожие

Заглавие журнала :Информационные технологии (с ежемесячным приложением). Комплект -2012г.,N 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.)
Интересные статьи :
Найти похожие

Заглавие журнала :Проблемы информационной безопасности. Компьютерные системы -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.)
Интересные статьи :
Найти похожие

Заглавие журнала :Проблемы информационной безопасности. Компьютерные системы -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.)
Интересные статьи :
Найти похожие

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

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

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