Учебно-исследовательская САПР верификации и тестирования вычислительных процессов программ
Аннотация:
В работе формулируются требования и предлагаются методы решения задачи проектирования и разработки учебно-исследовательской САПР верификации и тестирования программ для формализации учеб- ного процесса и дальнейшей разработки промышленных САПР верификации и тестирования программ практической сложности.
Ключевые слова:
Постоянный URL
Статьи в номере
- О выборе архитектуры корпоративной информационной системы
- Определение эффективной частоты обновления данных в OLAP системах
- Анализ современных стандартов сжатия видеоданных
- Особенности сжатия цветных изображений JPEG- подобными алгоритмами
- Модельный подход к прогнозированию жизненного цикла структурно сложных человеко-машинных систем
- Алгоритм определения речевой активности и генератор комфортного шума высокого быстродействия
- Об обтекании твердого тела, ограниченного известной алгебраической поверхностью, потоком сплошной среды
- Оценка эффективности применения ПЛИС и процессоров DSP для задач цифровой обработки сигналов
- Применение мультимедийных карт во встраиваемых системах
- Создание локальных регуляторов на базе виртуальной машины с динамическим набором инструкций
- Конвейерное исполнение конечных автоматов
- Язык описания визуализаторов алгоритмов
- Модели угрозы в методологии общих критериев
- Оценка уровней критичности сегментов сетей связи и систем коммутации
- Обеспечение избыточности информационных полей адаптивных классификаторов для систем защиты информации
- Организация и структура информационного законодательства в системе обеспечения информационной безопасности России
- Модели процесса обнаружения угроз при доступе к ресурсам кластерной системы
- Метод учета реализуемости путей управляющего графа программы при построении их базисного набора
- Моделирование простых логических неисправностей вычислительных процессов программ
- Моделирование воздействия на систему внешних возмущений
- Моделирование систем в квазипараллельном режиме
- Формирование высокооднородного поля постоянного магнита МР-томографа
- Новые способы устранения артефактов на томографических и иных изображениях
- Решение двухмерной коллимационной задачи рассеяния рентгеновских лучей с использованием нестандартных интегральных уравнений
- Движение тяжелого (деформируемого) твердого тела около неподвижной точки в общем случае
- Вращение деформирумой эллипсоидальной оболочки, заполненной сжимаемой жидкостью, около неподвижного центра тяжести
- Аналитическое описание движения маятника под действием сил сопротивления
- Исследование гистерезиса вольт-емкостных характеристик структур кремний-окисел с поликремниевым затвором при воздействии ионизирующего излучения
- Деградация структур Si-SiO2 с поликремниевым затвором при гамма-облучении в зависимости от напряжения смещения
- Информационная модель комплекса управления подвижными объектами
- Метод инвариантного анализа изображений, заданных в векторной форме
- Современный метод учета на предприятии: система автоматизированного учета измерительного оборудования
- Методика преподавания технологии экспертных систем с использованием оболочки EXSYS Corvid
- Интерпретация результатов расчетов тепловых режимов ЭВС в приложении COSMOSWorks
- Параметрический анализ информационно-измерительной системы для исследования параметров массопереноса в сплошных средах
- Программно- аппаратный комплекс производственно-технологического контроля качества микро- и наноэлементной базы электроники
- Метод специализации моделей на определенный класс изделий при автоматизированном проектировании
- Содержательные аспекты УИРС
- Система автоматизированного синтеза предметно-ориентированных процедур
- Структура системы автоматизированного проектирования рекурсивных кодовых шкал
- Анализ подходов к каталогизации графической информации технологического назначения
- Применение элементов FLEX-технологий в образовательных проектах
- Сетевое сообщество на основе методического Интернет-центра: первый опыт создания и перспективы развития
- Электронный учебно-методический комплекс по дисциплине «Учебно-исследовательская работа студентов»
- Студенческое самоуправление как инновационная форма воспитательной работы в вузе
- Организация самостоятельной работы студентов с ориентацией на формирование профессиональной мобильности выпускников
- Особенности и перспективы использования электронных учебно-методических комплексов
- Опыт преподавания дисциплины «Педагогические программные средства» и предложения по его совершенствованию
- Организационно-методические аспекты проведения «Дня карьеры»
- Использование технологий дистанционного обучения в профессиональном ИТ-консультировании
- О совершенствовании сайта газеты «Университет ИТМО» на портале университета
- Структурно-динамическая модель подготовки инженеров специальности «Информационные технологии в образовании» и пути ее оптимизации
- Роль педагогического дизайна в создании электронных образовательных ресурсов
- О возможностях и перспективах исследования процесса обучения человека регистрацией изменения в нем энергоинформационных потоков
- Педагогический дизайн как элемент подготовки будущих инженеров специальности «Информационные технологии в образовании»
- Использование сетевых технологий в изучении дисциплин психологического цикла для специальностей естественнонаучного и технического профиля