Структурирование программ и вычислительных процессов на множество линейных и условных вершин
Аннотация:
В работе предложена модель вычислительного процесса программы в виде структурированного графа и методы построения графо-аналитической модели. Данная модель позволяет в дальнейшем применить математический аппарат исчисления кубических комплексов для решения различных задач анализа вычислительных процессов, порождаемых программами, таких как, например, тестирование или верификация.
Ключевые слова:
Постоянный URL
Статьи в номере
- Исследование динамики нелинейной приборной системы в условиях кинематических периодических возмущений
- Применение компьютерных пакетов и анимаций в преподавании механики
- Вынужденные колебания нелинейной системы при резонансах высших порядков
- Адаптивная компенсация по выходу смещенного гармонического возмущения для строго минимально-фазового объекта
- Стабилизация хаотической системы, описываемой уравнением Ван дер Поля
- Математическое моделирование конфликтов в техническом творчестве
- Самоорганизующееся устройство дискретной автоматики в задачах динамической идентификации процессов без памяти над полем GF(2)
- Использование системных грамианов в задачах параметрической инвариантности непрерывных систем
- Вырождение сложных динамических систем с равнотемповыми структурными компонентами
- Фактор размерности при синтезе цифрового дистанционного управлении с учетом запаздывания в двоичном канале связи
- Обеспечение стабильности показателей качества в задачах управления динамическим объектом с интервальными параметрами при конечномерном экзогенном воздействии
- Алгоритмы управления движением шагающего робота
- Метод внутренней модели в задаче активной виброзащиты
- Многокомпонентная информационная система СПбГУ ИТМО
- Использование аналитических функций в СУБД Oracle
- Workflow для порталов
- Оценка объемов многомерного куба в OLAP-системах
- Модель распределенной вычислительной системы на сети Петри
- Особенности преподавания Rational Unified Process в составе дисциплины «Проектирование информационных систем»
- Сжатие интерферометрических изображений на основе сегментации и описания контуров полос
- Использование дискретных вейвлет-преобразований для цифрового маркирования изображений
- Экспериментальное исследование кэшированного дискового ввода-вывода
- Ассоциативный поиск данных с помощью нейронной сети
- Развитие алгоритмов сжатия речи
- Оценка качества работы многоуровневой VoIP-сети
- Инструментирование клиент-серверных приложений
- Противодействие расширению привилегий путем контроля корректности олицетворения
- Исследование безопасности протокола HTTP
- Исследование безопасности протокола FTP
- Влияние аппаратной организации на технологию программирования встроенных систем
- Цели подготовки специалистов в области корпоративных вычислительных систем
- Получение архитектуры программного продукта по его исходному тексту
- Распределение прерываний по уровням в микропроцессорных системах
- Проблемные вопросы состояния и развития нормативно-правового обеспечения технической защиты информации в автоматизированных системах управления и информационно-телекоммуникационных системах
- К исследованию модели адаптивной защиты систем информационных технологий
- Практическое применение триангуляции Делоне при построении сверхбольших поверхностей
- Модель потоков для описания взаимодействия корпораций в информационных сетях
- Моделирование системы оптического поиска
- Анализ автоматизации управления организацией
- Особенности конструирования чувствительного элемента микромеханического гироскопа
- Методологические основы решения задачи ориентации в среде ГСНС