Верификация в исследовательских, учебных и промышленных системах
Аннотация:
Рассматривается метод верификации программ относительно друг друга на основе алгебротопологического подхода с применением теории множеств и теории графов.
Ключевые слова:
Постоянный URL
Статьи в номере
- Обработка голографических интерферограмм и спеклограмм с использованием двухчастотного лазера
- Особенности генерации мощного лазера на неодиовом стекле в частотно-импульсном режиме
- Эффективность энергетических преобразований в фотоэлектрических устройствах
- Исследования пространственно-энергетических характеристик внутрирезонаторного параметрического генератора света
- Оптические исследования дентина
- Высокочастотный разрядный модуль с обратной связью по мощности для систем накачки твёрдотельных лазеров
- Объектно-ориентированная структура данных для хранения конструктивных параметров оптических систем в программах автоматизированного проектирования
- Обеспечение точности курсоуказания для подвижных объектов в интегрированных системах навигации ИНС/СНС
- Синтез наблюдателя для конечномерного возмущения
- Параметрический синтез и анализ цифровой системы управления прецизионного электропривода лидарной станции
- Методы восстановления изображений в рентгеновской томографии
- Приведение автоматного представления устройства дискретной автоматики к линейному векторно-матричному виду на основе агрегирования булевых термов
- Фрактальный анализ полутоновых изображении
- Рефлексивное управление в области безопасных информационных технологиях на основе анализа тридцати шести китайских стратагем
- Единое проектное пространство плюс аспектная технология – перспективная парадигма проектирования встраиваемых систем
- Резонансные эффекты в задаче рассеяния на сложном графе
- Катастрофа типа «сборки» в изобретательской задаче
- Интенсификация теплообмена в системе обеспечения теплового режим полупроводникового электронного прибора
- Акустико-эмиссионный способ оценки пороговой нагрузки и остаточного ресурса конкретного изделия
- Исследование теплового состояния помещений больших размеров
- Мехатроника – научная и учебная дисциплина
- О связи максимального угла давления с основными параметрами плоского кулачкового механизма
- Оценка кинематических характеристик транспортных средств при неупругом их столкновении
- Локализованная зубчатая передача
- Вероятностный анализ шумоподобных сигналов инфранизкочастотного диапазона в задачах обнаружения и классификация воздушных объектов
- Модернизация нашлемной системы НСЦИ для нейрофизиологического контроля состояния пилота летательного аппарата
- Авторегрессионный анализ в электроэнцефалографии
- Индикационное оборудование в авиации XXI века
- Оценка существующих методов обработки и проверки КБО гражданских самолётов
- Предметные олимпиады как альтернативный вариант вступительных испытании
- Программно-методический комплекс дистанционного обучения и тестирования по вопросам информационной безопасности