Журнал
Научно-технический вестник информационных технологий, механики и оптики
УДК:
Номер:7 (52)
Скачать PDF0 Кбайт
ПРИМЕНЕНИЕ АППАРАТА КУБИЧЕСКИХ ПОКРЫТИЙ ДЛЯ ГАРАНТИРОВАННОГО ОБНАРУЖЕНИЯ НДВ
Аннотация:
Рассматриваются графо-аналитические модели программ. Предлагается новый подход к верификации программ на основе алгебро-топологических свойств кубических покрытий, построенных по графоаналитическим моделям.
Ключевые слова:
Постоянный URL
Статьи в номере
- ИНТЕРФЕРЕНЦИЯ ФЕМТОСЕКУНДНЫХ СПЕКТРАЛЬНЫХ СУПЕРКОНТИНУУМОВ С ЛИНЕЙНОЙ ФАЗОВОЙ МОДУЛЯЦИЕЙ
- ОБЪЕМНЫЕ ФАЗОВЫЕ ГОЛОГРАММЫ НА ОСНОВЕ СИЛИКАТНОГО ФОТО-ТЕРМО-РЕФРАКТИВНОГО СТЕКЛА, АКТИВИРОВАННОГО РЕДКОЗЕМЕЛЬНЫМИ ИОНАМИ
- ОПТИМИЗАЦИЯ СОСТАВА ФТР-СТЕКЛА ДЛЯ ЗАПИСИ ОБЪЕМНЫХ ФАЗОВЫХ ГОЛОГРАММ ДЛЯ ВИДИМОГО ДИАПАЗОНА
- ПОЛУЧЕНИЕ ВТОРОЙ СТОКСОВОЙ КОМПОНЕНТЫ ВКР(Λ~1,3152 МКМ) В КРИСТАЛЛАХ KY(WO4)2 ПРИ НАКАЧКЕ GD3GA5O12:ND-ЛАЗЕРОМ
- ДИСПЕРСИЯ ПАРАМЕТРОВ ГОЛОГРАММ-РЕШЕТОК В ПОЛИМЕРНОЙ СРЕДЕ С ФЕНАНТРЕНХИНОНОМ
- ПОЛУЧЕНИЕ ПОЛИМЕРНЫХ МАТРИЦ МИКРОЛИНЗ МЕТОДОМ ГОРЯЧЕГО ТИСНЕНИЯ
- ОСОБЕННОСТИ ФОРМИРОВАНИЯ МИКРОСТРУКТУР С ВЫСОКИМ ФОРМАТНЫМ ОТНОШЕНИЕМ ПРИ ФОТООТВЕРЖДЕНИИ ПОЛИМЕРА
- ОПТИМИЗАЦИЯ УСЛОВИЙ ПОЛУЧЕНИЯ ГОЛОГРАФИЧЕСКОГО ЗАЩИТНОГО ЭЛЕМЕНТА
- ПРИМЕНЕНИЕ МЕТОДА НАНОИМПРИНТА ДЛЯ ФОРМИРОВАНИЯ ПЛЕНОЧНЫХ РЕТРОРЕФЛЕКТОРОВ
- СОЗДАНИЕ ГРАДИЕНТНЫХ ВОЛНОВОДОВ НА ФОТО-ТЕРМО-РЕФРАКТИВНОМ СТЕКЛЕ И ИЗМЕРЕНИЕ ИХ ПРОФИЛЯ ПОКАЗАТЕЛЯ ПРЕЛОМЛЕНИЯ
- ИССЛЕДОВАНИЕ ХАРАКТЕРИСТИК СПЕКЛ-ИНТЕРФЕРЕНЦИОННЫХ ПОЛЕЙ В ДВУХ ДЛИНАХ ВОЛН
- МЕТОД УПРАВЛЕНИЯ ВИДНОСТЬЮ ИНТЕРФЕРЕНЦИОНЫХ ПОЛОС ПРИ ИЗМЕНЕНИЯХ КОЭФФИЦИЕНТА ОТРАЖЕНИЯ ИЗМЕРИТЕЛЬНОЙ ВОЛНЫ
- КАЧЕСТВО ЭЛЕКТРОННЫХ КОПИЙ ФИЗИЧЕСКИХ ОБЪЕКТОВ
- МОДЕЛЬ КЛЕТОК ЗРИТЕЛЬНОЙ КОРЫ, СЕЛЕКТИВНЫХ К ПРОСТРАНСТВЕННО-ПЕРИОДИЧЕСКИМ СТРУКТУРАМИ, НА ОСНОВЕ СЕТИ ХОПФИЛДА-ТАНКА
- ПРЕДСТАВЛЕНИЕ МНОГОКАНАЛЬНЫХ ИЗОБРАЖЕНИЙ В ПСЕВДОЦВЕТЕ ПО ПРИНЦИПУ СХОДСТВА С ОБРАЗЦОМ
- СМЕЩЕНИЕ ОСИ СВЕТОВОГО ПУЧКА, НАКЛОННО ПАДАЮЩЕГО НА ГРАНИЦУ АНИЗОТРОПНО РАССЕИВАЮЩЕЙ СРЕДЫ
- MACROMEDIA FLASH КАК ИНСТРУМЕНТАЛЬНОЕ СРЕДСТВО ПО СОЗДАНИЮ ТЕСТОВЫХ ЗАДАНИЙ
- ДИСТАНЦИОННАЯ СИСТЕМА ОБУЧЕНИЯ ДЛЯ ДОШКОЛЬНИКОВ И УЧЕНИКОВ НАЧАЛЬНЫХ КЛАССОВ
- ОСОБЕННОСТИ СТРУКТУРИРОВАНИЯ МАТЕРИАЛА ДЛЯ ОБУЧАЮЩЕЙ ПРОГРАММЫ ПО ДИНАМИЧНО РАЗВИВАЮЩЕМУСЯ КУРСУ «СИЛОВАЯ ОПТИКА»
- ГРАФИЧЕСКИЙ ЯЗЫК ОПИСАНИЯ ИГРОВЫХ ЭПИЗОДОВ В ФУТБОЛЕ
- МЕТОДИКА ПОВЫШЕНИЯ УРОВНЯ ЗАПОМИНАЕМОСТИ УЧЕБНОГО МАТЕРИАЛА НА ОСНОВЕ ПСИХОЛОГИИ ЦВЕТОВОСПРИЯТИЯ
- МЕТОДИКА СТРУКТУРИРОВАНИЯ УЧЕБНОГО МАТЕРИАЛА НА ОСНОВЕ ПРОПОРЦИЙ ЗОЛОТОГО СЕЧЕНИЯ
- ЦВЕТООФОРМЛЕНИЕ И СТРУКТУРИРОВАНИЕ УЧЕБНОГО МАТЕРИАЛА В ЭЛЕКТРОННОЙ ОБРАЗОВАТЕЛЬНОЙ ПЛАТФОРМЕ
- «ВИРТУАЛЬНЫЙ» ЛАБОРАТОРНЫЙ КОМПЛЕКС ПО ОСНОВАМ ПОЛУПРОВОДИКОВОЙ ЦИФРОВОЙ ЭЛЕКТРОНИКИ
- ПРЕИМУЩЕСТВА И НЕДОСТАТКИ РЕЙТИНГОВОЙ СИСТЕМЫ ОЦЕНИВАНИЯ УЧЕБНОЙ ДЕЯТЕЛЬНОСТИ СТУДЕНТОВ
- ПРЕДСТАВЛЕНИЯ СТУДЕНТОВ О РЫНКЕ ТРУДА И ИХ АДАПТАЦИЯ К РЕАЛЬНОСТИ
- «ВИРТУАЛЬНЫЙ» ЛАБОРАТОРНЫЙ КОМПЛЕКС ПО ОСНОВАМ КОМБИНАЦИОННОЙ ЛОГИКИ
- ИСПОЛЬЗОВАНИЕ СОВРЕМЕННОГО ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ СЕРИИ «ЭКОЛОГ» В ОБРАЗОВАТЕЛЬНОЙ И ВОСПИТАТЕЛЬНОЙ ДЕЯТЕЛЬНОСТИ
- ЭЛЕКТРОННОЕ УЧЕБНОЕ ПОСОБИЕ ПО АНГЛИЙСКОЙ ТЕРМИНОЛОГИИ В ОБЛАСТИ ИНФОРМАЦИОННЫХ ТЕХНОЛОГИЙ
- СТАНДАРТЫ И ФОРМАТЫ ДАННЫХ ДЛЯ РАБОТЫ С ПРОФАЙЛАМИ КОМПЕТЕНЦИЙ, ВОЗМОЖНЫЕ ПУТИ ИХ РАЗВИТИЯ
- ПРИНЦИПЫ ОРГАНИЗАЦИИ ОБРАТНОЙ СВЯЗИ С УЧАСТНИКАМИ КОМПЬЮТЕРНЫХ ОБУЧАЮЩИХ ИГР В РАМКАХ РЕШЕНИЯ ЗАДАЧИ ФОРМИРОВАНИЯ ПРОФЕССИОНАЛЬНЫХ НАВЫКОВ
- ОРГАНИЗАЦИЯ СЕТЕВЫХ СООБЩЕСТВ НА БАЗЕ ПРОФОРИЕНТАЦИОННОГО ОБРАЗОВАТЕЛЬНОГО ПОРТАЛА
- ОСОБЕННОСТИ ПРОЕКТИРОВАНИЯ ИНТЕЛЛЕКТУАЛЬНЫХ ИГР ДЛЯ РЕАЛИЗАЦИИ НА МОБИЛЬНЫХ ПЛАТФОРМАХ
- ИСТОЧНИКИ «МЕРТВОГО КОДА» ПРИ ИСПОЛЬЗОВАНИИ ТЕХНОЛОГИИ IBM RATIONAL
- ПРЕДОТВРАЩЕНИЕ WORMHOLE АТАК В БЕСПРОВОДНЫХ СЕТЯХ С ПОМОЩЬЮ ПАКЕТНЫХ МЕТОК
- МОДЕЛИРОВАНИЕ ПРОЦЕССА ПЕРЕДАЧИ ЗАКРЫТОЙ ИНФОРМАЦИИ ПО ОТКРЫТЫМ КАНАЛАМ СВЯЗИ
- МЕТОДЫ КОЛИЧЕСТВЕННОГО ОЦЕНИВАНИЯ БЕЗОПАСНОСТИ АВТОМАТИЗИРОВАННЫХ СИСТЕМ
- МЕРТВЫЙ КОД
- КОМПЛЕКСНАЯ СИСТЕМА ИНФОРМАЦИОННОЙ БЕЗОПАСНОСТИ НА ПРИМЕРЕ ПРОДУКТОВ КОМПАНИИ COMPUTER ASSOCIATES
- УСОВЕРШЕНСТВОВАННАЯ ЭЦП: ОБЗОР РЕШЕНИЯ АРХИВНОГО ХРАНЕНИЯ ЭЛЕКТРОННОЙ ЦИФРОВОЙ ПОДПИСИ
- БАЗОВЫЕ ПАРАМЕТРЫ ПОЛУФОРМАЛЬНЫХ МОДЕЛЕЙ СИСТЕМ УПРАВЛЕНИЯ ИНФОРМАЦИОННОЙ БЕЗОПАСНОСТЬЮ
- ИССЛЕДОВАНИЕ КОНКУРИРУЮЩЕГО ВЗАИМОДЕЙСТВИЯ КОРПОРАТИВНЫХ РЕСУРСОВ НА ОСНОВЕ АНАЛИЗА ИСТОРИЧЕСКИХ ПРОЦЕССОВ
- РЕЖИМ КОММЕРЧЕСКОЙ ТАЙНЫ.ЗАЩИТА КОНФИДЕНЦИАЛЬНОСТИ ИНФОРМАЦИИ
- ЗАДАЧА ОБЪЕКТНОГО МОДЕЛИРОВАНИЯ СИСТЕМЫ УПРАВЛЕНИЯ ИНФОРМАЦИОННОЙ БЕЗОПАСНОСТЬЮ
- ПРОЕКТИРОВАНИЕ МЕТОДИКИ ОБУЧЕНИЯ ОСНОВАМ ВИРУСНОГО АНАЛИЗА
- ФУНКЦИОНАЛЬНОЕ МОДЕЛИРОВАНИЕ СИСТЕМЫ УПРАВЛЕНИЯ ИНФОРМАЦИОННОЙ БЕЗОПАСНОСТИ ОРГАНИЗАЦИИ ПО СЕМЕЙСТВУ СТАНДАРТОВ ISO/IEC 2700X
- МЕТОД СТАТИЧЕСКОГО АНАЛИЗА ПО ТОКЕНАМ УПРОЩЕННОГО ЯЗЫКА
- МЕТОД ГРАФИЧЕСКОГО ПРЕДСТАВЛЕНИЯ АЛГОРИТМА ПРИ КОНТРОЛЕ УЯЗВИМОСТЕЙ ПРОГРАММЫ
- К ПРЕДСТАВЛЕНИЮ ЗНАНИЙ В СИСТЕМАХ ЗАЩИТЫ ИНФОРМАЦИИ
- ПРОГРАММНЫЙ ГЕНЕРАТОР ПСЕВДОСЛУЧАЙНЫХ ЧИСЕЛ ДЛЯ ПРОГРАММНЫХ СРЕДСТВ ЗАЩИТЫ ИНФОРМАЦИИ
- МЕТОД ДИНАМИЧЕСКОГО ПОСТРОЕНИЯ ТОПОЛОГИИ СЕТИ ДЛЯ РЕШЕНИЯ ЗАДАЧ ОБНАРУЖЕНИЯ УГРОЗ БЕЗОПАСНОСТИ
- РАЗРАБОТКА МЕТОДИКИ СРАВНИТЕЛЬНОГО ТЕСТИРОВАНИЯ АНТИВИРУСНЫХ ПРОДУКТОВ
- ПРОЕКТИРОВАНИЕ СИСТЕМЫ ПАССИВНОГО СБОРА СТАТИСТИКИ ОБ ИНФИЦИРОВАНИИ ВРЕДОНОСНЫМ КОДОМ
- ОЦЕНКА ЭФФЕКТИВНОСТИ ПРИМЕНЕНИЯ МОДЕЛИ НА ОСНОВЕ ПОСТРОЕНИЯ ЦЕПЕЙ МАРКОВА ПРИ ПОИСКЕ СХОЖИХ ОБРАЗЦОВ ВРЕДОНОСНЫХ ПРОГРАММ
- АДАПТИРУЕМАЯ МОДЕЛЬ ПОИСКА СХОЖИХ ОБРАЗЦОВ ВРЕДОНОСНОГО КОДА С ИСПОЛЬЗОВАНИЕМ НЕЙРОСЕТЕВЫХ СРЕДСТВ