Журнал
Научно-технический вестник информационных технологий, механики и оптики
УДК:681.142.2
Номер:5 (87)
Скачать PDF0 Кбайт
АВТОМАТИЧЕСКИЙ ПОИСК ЛОКАЛЬНЫХ ПЕРЕМЕННЫХ И АРГУМЕНТОВ ПРОЦЕДУРЫ В ИСПОЛНЯЕМОМ КОДЕ ПРОГРАММЫ ПРИ ВЕРИФИКАЦИИ ВЫЧИСЛИТЕЛЬНЫХ ПРОЦЕССОВ
Аннотация:
В работе приведена общая схема проектирования и анализа вычислительного процесса на основании графоаналитической модели. Рассматривается анализ по исполнимому коду программы. Представлен обзор существующих алгоритмов восстановления информации об объектах на стеке. Приведены их важные особенности, достоинства и недостатки. Представлен алгоритм, сочетающий в себе предложенные ранее концепции, новые решения некоторых задач и их исследования.
Ключевые слова:
Постоянный URL
Статьи в номере
- ОПТИЧЕСКИЕ СОЛИТОНЫ В СРЕДАХ ИЗ ДВУХУРОВНЕВЫХ АТОМОВ
- ОПТИЧЕСКИЕ ДИЭЛЕКТРИЧЕСКИЕ НАНОАНТЕННЫ
- УПРАВЛЕНИЕ МОДАМИ СИСТЕМЫ СВЯЗАННЫХ КОЛЬЦЕВЫХ РЕЗОНАТОРОВ ПРИ ПОМОЩИ СВЕТА
- АНАЛИЗ ЗОННОЙ СТРУКТУРЫ ФОТОННОГО КРИСТАЛЛА С КРАТНЫМИ ОПТИЧЕСКИМИ ДЛИНАМИ СЛОЕВ ДЛЯ ТЕРАГЕРЦОВОГО ДИАПАЗОНА ЧАСТОТ
- ЛАБОРАТОРНЫЙ СПЕКТРОФОТОМЕТР ДЛЯ ВИДИМОЙ ОБЛАСТИ СПЕКТРА
- ВЫБОР И РАСЧЕТ ЭЛЕМЕНТОВ ОПТИКО-ЭЛЕКТРОННОЙ СИСТЕМЫ С ОПТИЧЕСКОЙ РАВНОСИГНАЛЬНОЙ ЗОНОЙ ДЛЯ ИЗМЕРЕНИЯ ВЕРТИКАЛЬНОГО ГРАДИЕНТА ТЕМПЕРАТУР ВОЗДУШНОГО ТРАКТА
- ЭКСПЕРИМЕНТАЛЬНОЕ ОПРЕДЕЛЕНИЕ УРОВНЯ ДИНАМИЧЕСКОЙ ОСТРОТЫ ЗРЕНИЯ
- РАСЧЕТ ПАРАМЕТРОВ ОПТИЧЕСКОГО ФИЛЬТРА С УГЛОВЫМ СЕЛЕКТИВНЫМ СВЕТОПРОПУСКАНИЕМ
- КОМПЬЮТЕРНОЕ МОДЕЛИРОВАНИЕ ПЕРЕКРЕСТНЫХ ПОМЕХ В ИНФОРМАЦИОННО-ИЗМЕРИТЕЛЬНОМ ВОЛОКОННО-ОПТИЧЕСКОМ ПРИБОРЕ
- ОПРЕДЕЛЕНИЕ ОПТИЧЕСКИХ ХАРАКТЕРИСТИК ПОВЕРХНОСТНЫХ СЛОЕВ ЭЛЕМЕНТОВ ОПТОТЕХНИКИ ДЛЯ ИХ ОПТИЧЕСКИХ СОЕДИНЕНИЙ
- ОПТОТЕХНИКА АПЛАНАТИЧЕСКОГО МЕНИСКА
- ИЗМЕНЕНИЕ ХАРАКТЕРИСТИК УЛЬТРАФИОЛЕТОВЫХ СВЕТОДИОДНЫХ СБОРОК «ЧИП НА ПЛАТЕ» ПРИ ДЛИТЕЛЬНОМ ВРЕМЕНИ РАБОТЫ НА НОМИНАЛЬНОМ ТОКЕ
- СИСТЕМА УПРАВЛЕНИЯ ГИДРОПРИВОДОМ С КОМПЕНСАЦИЕЙ СТАТИЧЕСКОЙ НЕЛИНЕЙНОСТИ
- МАТЕМАТИЧЕСКАЯ МОДЕЛЬ И АЛГОРИТМ ИМИТАЦИОННОГО МОДЕЛИРОВАНИЯ МНОГОЗВЕННОЙ ОПТИКО-МЕХАНИЧЕСКОЙ СИСТЕМЫ
- НЕЛИНЕЙНАЯ СИСТЕМА МАСС-С-ПРУЖИНКАМИ ДЛЯ МОДЕЛИРОВАНИЯ БОЛЬШИХ ДЕФОРМАЦИЙ МЯГКИХ ТКАНЕЙ
- ЗАВИСИМОСТЬ РЕАКТИВНОГО СОПРОТИВЛЕНИЯ ПЬЕЗОЭЛЕКТРИЧЕСКОГО ПРЕОБРАЗОВАТЕЛЯ ОТ МЕХАНИЧЕСКИХ ПАРАМЕТРОВ ЕГО НАГРУЗКИ
- ОБ ОЦЕНКЕ УСТОЙЧИВОСТИ К ИСКАЖЕНИЯМ ИЗОБРАЖЕНИЙ, МАСКИРОВАННЫХ М-МАТРИЦАМИ
- РАЗРАБОТКА АДАПТИВНОГО ДЕТЕКТОРА ТОНА КОЖИ
- ВЫЯВЛЕНИЕ АНАФОРИЧЕСКИХ ОТНОШЕНИЙ ПРИ АВТОМАТИЧЕСКОМ АНАЛИЗЕ ТЕКСТА
- ПРОГРАММНОЕ ОБЕСПЕЧЕНИЕ ДЛЯ ИССЛЕДОВАНИЯ ТОПОЛОГИИ ПОВЕДЕНИЯ И КЛАССИФИКАЦИИ ЭЛЕМЕНТАРНЫХ СЕТЕЙ ПЕТРИ С ПОМОЩЬЮ ВЫЧИСЛЕНИЯ ИХ ГРУПП ГОМОЛОГИЙ
- ИНТЕГРАЦИЯ ИНФОРМАЦИОННЫХ СИСТЕМ НА ОСНОВЕ ТЕХНОЛОГИИ СВЯЗАННЫХ ДАННЫХ
- ИССЛЕДОВАНИЕ ДВИЖЕНИЯ НИЖНИХ КОНЕЧНОСТЕЙ ЧЕЛОВЕКА ПРИ ХОДЬБЕ С ИСПОЛЬЗОВАНИЕМ ТЕХНОЛОГИЙ ИНЕРЦИАЛЬНОГО ЗАХВАТА ДВИЖЕНИЯ
- ФОТОХИМИЧЕСКИ ИНДУЦИРОВАННАЯ ПОЛЯРИЗАЦИЯ ЛЮМИНЕСЦЕНЦИИ КВАНТОВЫХ СТЕРЖНЕЙ CdSe/ZnS В ПОРИСТОЙ МАТРИЦЕ
- ЭПОКСИДНЫЕ КОМПОЗИЦИИ, МОДИФИЦИРОВАННЫЕ ФУЛЛЕРЕНОМ С60, С ПОВЫШЕННОЙ УДАРОПРОЧНОСТЬЮ
- КОНТРОЛЬ КАЧЕСТВА СВАРНЫХ СОЕДИНЕНИЙ В ПРОЦЕССЕ СВАРКИ С ПРИМЕНЕНИЕМ МЕТОДА АКУСТИЧЕСКОЙ ЭМИССИИ
- АНАЛИЗ УЯЗВИМОСТЕЙ РОБОТОТЕХНИЧЕСКИХ КОМПЛЕКСОВ С РОЕВЫМ ИНТЕЛЛЕКТОМ
- МЕТОД КОМПЛЕКСНОЙ ОЦЕНКИ И АНАЛИЗА ГЛОБАЛЬНОЙ БЕЗОПАСНОСТИ РЕГИОНАЛЬНЫХ СОЦИАЛЬНО-ЭКОНОМИЧЕСКИХ СИСТЕМ НА ОСНОВЕ КОГНИТИВНОГО МОДЕЛИРОВАНИЯ
- МЕТОДИКА ЭКСПЕРИМЕНТАЛЬНОГО ИЗУЧЕНИЯ ЗАТУХАЮЩИХ КОЛЕБАНИЙ ПРУЖИННОГО МАЯТНИКА НА НАКЛОННОЙ ПЛОСКОСТИ
- ВЛИЯНИЕ КОМПЛЕКСООБРАЗОВАНИЯ В СИСТЕМЕ ПОЛИСИЛАН-ФУЛЛЕРЕН С60 НА СПЕКТРЫ ПОГЛОЩЕНИЯ И ОПТИЧЕСКОЕ ОГРАНИЧЕНИЕ ИЗЛУЧЕНИЯ
- К ВОПРОСУ ОБ АЭРОДИНАМИКЕ СНАРЯДА ДЛЯ ПРАЩИ
- ТЕХНОЛОГИИ ЭКСТРЕННЫХ ВЫЧИСЛЕНИЙ В ЗАДАЧАХ ПЛАНИРОВАНИЯ И ДИСПЕТЧЕРИЗАЦИИ МАРШРУТОВ НАЗЕМНОГО ОБЩЕСТВЕННОГО ТРАНСПОРТА
- МОДЕЛИРОВАНИЕ КОНФОРМАЦИОННО-ЗАВИСИМЫХ СВОЙСТВ БЕЛКОВ ДЛЯ РАЦИОНАЛЬНОГО ДИЗАЙНА ЛЕКАРСТВЕННЫХ ПРЕПАРАТОВ В СРЕДЕ ОБЛАЧНЫХ ВЫЧИСЛЕНИЙ CLAVIRE
- МЕТОД АВТОМАТИЧЕСКОГО ОПРЕДЕЛЕНИЯ МОЛЕКУЛЯРНО-МЕХАНИЧЕСКИХ ПОТЕНЦИАЛОВ ДЛЯ КРУПНОЗЕРНИСТОГО ПРЕДСТАВЛЕНИЯ МОЛЕКУЛЯРНОЙ СИСТЕМЫ