Журнал
ИЗВЕСТИЯ ВЫСШИХ УЧЕБНЫХ ЗАВЕДЕНИЙ «ПРИБОРОСТРОЕНИЕ»
УДК:004.896
Номер:4 (57)
Скачать PDF342 Кбайт
ИСПОЛЬЗОВАНИЕ МНОГОЗНАЧНОЙ ЛОГИКИ ПРИ ПРОЕКТИРОВАНИИ ФУНКЦИОНАЛЬНЫХ СХЕМ
Аннотация:
Рассмотрены приложения многозначной логики к задачам анализа цифровых схем (в том числе функционального и временного моделирования и тестирования). Рассматриваются особенности применения булевой алгебры к вычислениям над собственными подмножествами.
Ключевые слова:
Постоянный URL
Статьи в номере
- ЭФФЕКТИВНОСТЬ АЛГОРИТМОВ МАРКИРОВАНИЯ ЦИФРОВЫХ ИЗОБРАЖЕНИЙ В ЧАСТОТНОЙ ОБЛАСТИ НА ОСНОВЕ ДИСКРЕТНОГО ПРЕОБРАЗОВАНИЯ АДАМАРА
- НЕПРОТИВОРЕЧИВАЯ МОДЕЛЬ МАНДАТНОГО КОНТРОЛЯ ДОСТУПА
- МЕТОД ЗАЩИТЫ ОТ АТАК ТИПА DRIVE-BY-ЗАГРУЗКА
- МЕТОДЫ ПОВЫШЕНИЯ РОБАСТНОСТИ РАСПОЗНАВАНИЯ В МУЛЬТИМОДАЛЬНЫХ БИОМЕТРИЧЕСКИХ СИСТЕМАХ
- ПРЕОБРАЗОВАНИЕ ЕСТЕСТВЕННОГО ЯЗЫКА В ФОРМАТ RDF С ПОМОЩЬЮ СЕМАНТИЧЕСКИХ АНАЛИЗАТОРОВ ТЕКСТОВОЙ ИНФОРМАЦИИ
- ПАРАМЕТРЫ КАЧЕСТВА ОБСЛУЖИВАНИЯ WEB-СЕРВИСОВ ОТРАСЛИ ПРИБОРОСТРОЕНИЯ
- ПРОЕКТИРОВАНИЕ СИСТЕМ С ПРИОРИТЕТАМИ
- МЕТОД РАСЧЕТА ХАРАКТЕРИСТИК ЗАМКНУТЫХ ДЕТЕРМИНИРОВАННЫХ МОДЕЛЕЙ МУЛЬТИСЕРВИСНЫХ КОМПЬЮТЕРНЫХ СЕТЕЙ
- ВРЕМЯ ОЖИДАНИЯ В НЕОДНОРОДНЫХ СИСТЕМАХ С ОЧЕРЕДЯМИ ПРИ ОБСЛУЖИВАНИИ ЗАЯВОК В ПОРЯДКЕ ПОСТУПЛЕНИЯ
- ОПТИМИЗАЦИЯ ПЕРЕРАСПРЕДЕЛЕНИЯ НАГРУЗКИ В КЛАСТЕРАХ ПРИ ИЗМЕНЯЮЩЕЙСЯ АКТИВНОСТИ ИСТОЧНИКОВ ЗАПРОСОВ
- ОЦЕНКА НАДЕЖНОСТИ ВЫПОЛНЕНИЯ КЛАСТЕРАМИ ЗАПРОСОВ РЕАЛЬНОГО ВРЕМЕНИ
- РЕКОНФИГУРИРУЕМЫЕ ВСТРАИВАЕМЫЕ СИСТЕМЫ И СИСТЕМЫ НА КРИСТАЛЛЕ
- МОНИТОР ВРЕМЕННЫХ ОГРАНИЧЕНИЙ ДЛЯ СИСТЕМ НА КРИСТАЛЛЕ
- МЕТОДЫ И СРЕДСТВА МОНИТОРИНГА ДЫХАНИЯ
- ПОИСК ПРОЦЕДУР ПО ГРАФУ ПЕРЕХОДОВ ФУНКЦИОНАЛЬНОЙ ПРОГРАММЫ ПРИ ВЕРИФИКАЦИИ ВЫЧИСЛИТЕЛЬНЫХ ПРОЦЕССОВ
- КВАЗИАБСОЛЮТНЫЙ ЦИФРОВОЙ ПРЕОБРАЗОВАТЕЛЬ УГЛА НА ОСНОВЕ ДВУХДОРОЖЕЧНОЙ РЕКУРСИВНОЙ НЕЛИНЕЙНОЙ КОДОВОЙ ШКАЛЫ
- КОДОВЫЕ ШКАЛЫ НА ОСНОВЕ ИНВЕРСНО-СОПРЯЖЕННЫХ ДВОИЧНЫХ ПОСЛЕДОВАТЕЛЬНОСТЕЙ