КРИЗИС ПРОМЫШЛЕННОЙ ТЕХНОЛОГИИ ПРОГРАММИРОВАНИЯ, НЕДЕКЛАРИРОВАННЫЕ ВОЗМОЖНОСТИ И DON’T CARE
Аннотация:
Рассматриваются вопросы верификации вычислительных процессов по графоаналитическим моделям, управляемых частично-определенными булевыми функциями. Исследуются задачи поиска по булеву графу управления и кубическим покрытиям недекларированных возможностей и мертвого кода как следствия don’t care. Приведены примеры построения покрытий для булева графа и верификация don’t care в виде покрытия конъюнкции отношений-неравенств, тождественно равных нулю.
Ключевые слова:
Постоянный URL
Статьи в номере
- МЕТОД УТОЧНЕНИЯ МОДЕЛЬНЫХ ЗНАЧЕНИЙ ПАРАМЕТРОВ АТМОСФЕРЫ ДЛЯ ПРОГНОЗИРОВАНИЯ РАЙОНОВ ПАДЕНИЯ ОТДЕЛЯЕМЫХ ЧАСТЕЙ РАКЕТ-НОСИТЕЛЕЙ
- ТЕХНОЛОГИЯ ОПИСАНИЯ И РАСКОДИРОВАНИЯ МЕТЕОРОЛОГИЧЕСКИХ ДАННЫХ НА ОСНОВЕ АЛГЕБРАИЧЕСКОГО ПОДХОДА
- МАТРИЦЫ АДАМАРА — МЕРСЕННА КАК БАЗИС ОРТОГОНАЛЬНЫХ ПРЕОБРАЗОВАНИЙ ПРИ МАСКИРОВАНИИ ВИДЕОИЗОБРАЖЕНИЙ
- УПРАВЛЕНИЕ ОБЪЕКТАМИ В УСЛОВИЯХ НЕОПРЕДЕЛЕННОСТИ И ОГРАНИЧЕНИЙ НА АМПЛИТУДУ ВХОДНОГО СИГНАЛА
- СИСТЕМА ЗАЩИТЫ ТУРБОКОМПРЕССОРА ОТ ПОМПАЖА
- СИНТЕЗ И ОПТИМИЗАЦИЯ ВЫЧИСЛИТЕЛЬНЫХ АЛГОРИТМОВ ОБРАБОТКИ СИГНАЛА НА ОСНОВЕ КОРРЕЛЯЦИОННО-ЭКСТРЕМАЛЬНОГО МЕТОДА В ЭЛЕКТРОКАРДИОГРАФИИ ВЫСОКОГО РАЗРЕШЕНИЯ
- ПРИМЕНЕНИЕ НЕЙРОСЕТЕВЫХ ТЕХНОЛОГИЙ ДЛЯ ОПРЕДЕЛЕНИЯ ВЕЛИЧИНЫ РАСХОДА СЫПУЧЕГО ВЕЩЕСТВА
- АЛГОРИТМ ЮСТИРОВКИ СОСТАВНЫХ ЗЕРКАЛ ВЫСОКОАПЕРТУРНЫХ ТЕЛЕСКОПОВ
- МОДЕРНИЗАЦИЯ РЕФРАКТОМЕТРА АББЕ И ТЕОРЕТИЧЕСКОЕ ОБОСНОВАНИЕ ПОВЫШЕНИЯ ЕГО ТОЧНОСТИ
- ОПТИКО-ЭЛЕКТРОННЫЙ ГАЗОАНАЛИЗАТОР ДЛЯ КОНТРОЛЯ ДИОКСИДА АЗОТА
- ФОРМИРОВАНИЕ МОРФОЛОГИИ СИСТЕМЫ SiO2/Si ПОД ДЕЙСТВИЕМ ИЗЛУЧЕНИЯ ЭКСИМЕРНОГО ЛАЗЕРА
- ВОЗМОЖНАЯ ЧУВСТВИТЕЛЬНОСТЬ МАГНИТНЫХ ДАТЧИКОВ НА ОСНОВЕ ГРАНУЛИРОВАННЫХ СВЕРХПРОВОДНИКОВ