Журнал
Научно-технический вестник информационных технологий, механики и оптики
УДК:004.056.53
Номер:4 (68)
Скачать PDF0 Кбайт
ИМПЛИКАЦИЯ И ЭКВИВАЛЕНТНОСТЬ КАК ОСНОВА ВЕРИФИКАЦИИ
Аннотация:
Рассматривается использование функций импликации и эквивалентности при верификации логических схем и программного продукта в процессе их проектирования и реализации.
Ключевые слова:
Постоянный URL
Статьи в номере
- ОПТИЧЕСКАЯ СИСТЕМА ПЕРЕМЕННОГО УВЕЛИЧЕНИЯ В ОСВЕТИТЕЛЬНОМ УСТРОЙСТВЕ МИКРОСКОПА
- РАСЧЕТ КАНАЛЬНОГО ОПТИЧЕСКОГО ВОЛНОВОДА С ПРОИЗВОЛЬНЫМ РАСПРЕДЕЛЕНИЕМ ПОКАЗАТЕЛЯ ПРЕЛОМЛЕНИЯ С ПРИМЕНЕНИЕМ ЭРМИТОВОГО НАБОРА В-СПЛАЙНОВ
- ГЕНЕРАЦИЯ ТРЕТЬЕЙ ГАРМОНИКИ ПРИ ОТРАЖЕНИИ ОТ КРИСТАЛЛА ФЕМТОСЕКУНДНОГО ИЗЛУЧЕНИЯ ВЫСОКОЙ МОЩНОСТИ
- РАЗРАБОТКА СИСТЕМЫ АВТОМАТИЗИРОВАННОГО КОНТРОЛЯ БОРТОВОГО ОБОРУДОВАНИЯ ЛЕТАТЕЛЬНЫХ АППАРАТОВ
- МОДЕЛИРОВАНИЕ ПОГРЕШНОСТЕЙ ИЗМЕРЕНИЙ БОРТОВЫХ НАВИГАЦИОННЫХ УСТРОЙСТВ
- ПРИНЦИПЫ ПОСТРОЕНИЯ КРЕЙТА БОРТОВОЙ МНОГОПРОЦЕССОРНОЙ ВЫЧИСЛИТЕЛЬНОЙ СИСТЕМЫ ДЛЯ АВИОНИКИ ПЯТОГО ПОКОЛЕНИЯ
- ВОССТАНОВЛЕНИЕ СМАЗАННЫХ ПОД УГЛОМ И ЗАШУМЛЕННЫХ ИЗОБРАЖЕНИЙ БЕЗ УЧЕТА ГРАНИЧНЫХ УСЛОВИЙ
- ПАРАМЕТРИЧЕСКАЯ ИДЕНТИФИКАЦИЯ ВЕНТИЛЬНОГО ЭЛЕКТРОПРИВОДА АЗИМУТАЛЬНОЙ ОСИ ТЕЛЕСКОПА ТРАЕКТОРНЫХ ИЗМЕРЕНИЙ
- ДИНАМИЧЕСКОЕ НАБЛЮДЕНИЕ НЕЛИНЕЙНЫХ ДВОИЧНЫХ ДИНАМИЧЕСКИХ СИСТЕМ
- ОПРЕДЕЛЕНИЕ УСТАНОВИВШИХСЯ РЕЖИМОВ РАБОТЫ ВИБРОЗАЩИТНОЙ СИСТЕМЫ С ДВУМЯ СТЕПЕНЯМИ СВОБОДЫ
- АНАЛИЗ КОНТАКТНЫХ ВЗАИМОДЕЙСТВИЙ В МИКРОМЕХАНИЧЕСКИХ ГИРОСКОПАХ
- РАСЧЕТ ТЕПЛОВОГО РЕЖИМА ЭЛЕКТРОННЫХ КОМПОНЕНТОВ НА ПЕЧАТНОЙ ПЛАТЕ
- ИССЛЕДОВАНИЕ ГАЛЛАТОВ ЛАНТАНА МЕТОДОМ РЕНТГЕНФАЗОВОГО АНАЛИЗА
- ПРИМЕНЕНИЕ ИОННОЙ ЛИТОГРАФИИ ДЛЯ ФОРМИРОВАНИЯ НАНОРАЗМЕРНЫХ КАНАЛОВ МИКРОФЛЮИДНЫХ ЧИПОВ В СТЕКЛЯННЫХ ПОДЛОЖКАХ
- ЗОНД ДЛЯ СКАНИРУЮЩЕЙ МИКРОСКОПИИ ТОКОВ ИОННОЙ ПРОВОДИМОСТИ
- МИКРО- И НАНОМОДИФИКАЦИЯ МЕТАЛЛИЧЕСКОГО СЛОЯ НА ПОЛИМЕРНОЙ ПОДЛОЖКЕ В РЕЖИМЕ ДИНАМИЧЕСКОЙ СИЛОВОЙ ЛИТОГРАФИИ
- МАТРОИДНОЕ ПРЕДСТАВЛЕНИЕ СЕМЕЙСТВА ГРАФОВ СМЕЖНОСТИ НАД НАБОРОМ ФРАГМЕНТОВ ЗНАНИЙ
- ПАКЕТ ПОЛУФОРМАЛИЗОВАННЫХ МОДЕЛЕЙ СИСТЕМЫ ИМИТАЦИОННОГО МОДЕЛИРОВАНИЯ
- КОДОВЫЕ ШКАЛЫ НА ОСНОВЕ НЕЛИНЕЙНЫХ ПОСЛЕДОВАТЕЛЬНОСТЕЙ ДЛЯ ПРЕОБРАЗОВАТЕЛЕЙ УГЛОВЫХ ПЕРЕМЕЩЕНИЙ
- СПЕЦИАЛИЗИРОВАННАЯ СБИС ПРЕОБРАЗОВАНИЯ ВИДЕОДАННЫХ
- АВТОМАТИЧЕСКОЕ СВОДНОЕ РЕФЕРИРОВАНИЕ НОВОСТНЫХ СООБЩЕНИЙ
- МАТЕМАТИЧЕСКОЕ МОДЕЛИРОВАНИЕ ВЛИЯНИЯ УСТАНОВКИ КАВА-ФИЛЬТРА НА ГЕМОДИНАМИКУ КРОВЕНОСНОЙ СИСТЕМЫ
- ВЫЧИСЛИТЕЛЬНЫЕ АСПЕКТЫ ИМИТАЦИОННОГО МОДЕЛИРОВАНИЯ РАСПРОСТРАНЕНИЯ ТУБЕРКУЛЕЗА
- КОНЦЕПТУАЛЬНАЯ МОДЕЛЬ ДЛЯ ИЗВЛЕЧЕНИЯ РЕЗУЛЬТАТОВ ОБУЧЕНИЯ ИЗ ИЗБЫТОЧНОГО СОДЕРЖАНИЯ ОБРАЗОВАНИЯ
- ЗАРОЖДЕНИЕ ОПТИЧЕСКОГО ПРОИЗВОДСТВА В ДОРЕВОЛЮЦИОННОЙ РОССИИ (ФАБРИКА ОПТИЧЕСКИХ ИНСТРУМЕНТОВ И.Я. УРЛАУБА)
- К ВОПРОСУ О ПОДГОТОВКЕ КВАЛИФИЦИРОВАННЫХ КАДРОВ ДЛЯ РУССКОЙ ПРОМЫШЛЕННОСТИ НА РУБЕЖЕ XIX-XX В.В. (СЪЕЗДЫ РУССКИХ ДЕЯТЕЛЕЙ ПО ПРОФЕССИОНАЛЬНОМУ И ТЕХНИЧЕСКОМУ ОБРАЗОВАНИЮ)
- МЕТОДЫ РАСЧЕТА И ВЫБОРА ОСНОВНЫХ ПАРАМЕТРОВ НИЗКОУРОВНЕВЫХ СПЕКТРОЗОНАЛЬНЫХ ОПТИКО-ЭЛЕКТРОННЫХ СИСТЕМ ВИДИМОГО И КОРОТКОВОЛНОВОГО ИК ДИАПАЗОНОВ
- РАСЧЕТ ЛИНЕЙНЫХ СМЕЩЕНИЙ И УГЛА ПОВОРОТА ИЗОБРАЖЕНИЯ ПРИ ДВИЖЕНИИ ОПТИКО-ЭЛЕКТРОННОЙ СИСТЕМЫ ОТНОСИТЕЛЬНО НАБЛЮДАЕМОЙ СЦЕНЫ
- ОПТИКО-ЭЛЕКТРОННЫЕ СИСТЕМЫ КОНТРОЛЯ ПРОМЫШЛЕННЫХ СООРУЖЕНИЙ ПО ПОЛОЖЕНИЮ ИХ ЭЛЕМЕНТОВ
- ПОЛУЧЕНИЕ МУЛЬТИПЛЕКСНЫХ ГОЛОГРАММ НА ФОТО-ТЕРМО-РЕФРАКТИВНОМ СТЕКЛЕ
- ВЛИЯНИЕ ТЕРМООБРАБОТКИ НА ИЗМЕНЕНИЕ ПОКАЗАТЕЛЯ ПРЕЛОМЛЕНИЯ ОБЪЕМНЫХ ФАЗОВЫХ ГОЛОГРАММ, ЗАПИСАННЫХ НА ФОТО-ТЕРМО-РЕФРАКТИВНОМ СТЕКЛЕ
- ОЦЕНКА СОРЕВНОВАТЕЛЬНОЙ ГОТОВНОСТИ СПОРТСМЕНА НА БАЗЕ МЕТОДА ГАЗОРАЗРЯДНОЙ ВИЗУАЛИЗАЦИИ