Разработка метода верификации описаний аппаратуры на основе использования эталонных программных моделей. Исследование зависимости качества тестирования и времени его проведения. Нахождение ошибок в процессе верификации в проекте высокой сложности.
Введение в динамическую генерацию кода. Отображение абстрактного синтаксиса выражений в CIL. Оптимизация линейных участков кода. Peephole-оптимизация и генерация развилок, содержащих инструкции переходов. Абстрактный синтаксис логических выражений.
Язык программирования Java: история создания, основные характеристики, ключевые особенности. Разработка специальных программ, выполняющих в рамках серверов, обработку клиентских запросов. Графика в Java-сервлетах: форматы, чтение, запись изображения.
Построение и исследование моделей колебаний сложной динамической системы. Использование многоядерной архитектуры в расчётах, трудности многопоточного программирования. Решение дифференциальных уравнений вертикальных колебаний пассажирских вагонов.
Основные стандартные и определяемые программистом указатели. Выполнение программы с помощью подпрограмм new или getmem. Освобождение динамической памяти. Указатели на процедуры и функции. Хранение адреса точки входа в функцию. Режим дальней адресации.
Текстовый файл, хранящийся в файловой системе компьютера - основа гипертекстовой базы данных. Анализ динамической математической модели финансирования контртерроризма. Апплет – программа, выполняющая одну задачу на странице, загруженной в браузер.
Методика сравнительной оценки конфигураций программных систем на основании данных об уязвимостях компонентов и связанных уязвимостей. Разработка архитектуры веб-сервиса для конфигурирования программной системы. Сущность динамической реконфигурации.
Порядок работы с динамически связанными приложениями, когда одно приложение способно и может передавать данные в другое приложение. Создание библиотеки классов удалённого объекта: клиент (приложение Windows Forms) и сервер (консольное приложение).
Управление памятью — динамически распределяемые области памяти, или кучи (heaps) - регион зарезервированного адресного пространства. Кучи удобны при создании множества небольших блоков данных. Преимущества и недостатки динамически распределяемой памяти.
- 5770. Динамические библиотеки
Рассмотрение роли динамических библиотек (DLL, Dynamic Link Library) в функционировании ОС Windows и прикладных программ Delphi. Явная и неявная программная загрузка. Вызовы функций из динамической библиотеки. Инициализация и завершение работы DLL.
Определение полюса и нуля передаточной функции. Построение графиков переходной и импульсно-переходной функции. Определение логарифмических частотных характеристик. Построение частотного годографа Найквиста. Запись дифференциального уравнения САУ.
Разработка динамических моделей планировщика как средства управления трафиком в сетевом узле. Возможности повышения эффективности использования сетевых ресурсов за счет управления размерами буферного пространства каждой из очередей планировщика.
Разработка алгоритма двусвязного списка на основе указателей для выполнения операций добавления элемента, распечатки подсписков, корректировки поля элемента и поиска данных по полю. Рассмотрение свойств динамических структур данных, области их применения.
Классификация структур данных, статические и динамические переменные. Ссылочный тип объектов, объявление указателей. Выделение и освобождение динамической памяти, расположение кучи в памяти ПК; присваивание значений указателю; формирование списка.
Сущность, понятие и предназначение динамических и статистических программных объектов. Использование стека для анализа и вычисления арифметического выражения в постфиксной форме. Характеристика и особенности процесса использования динамических переменных.
Рекурсивные типы данных и изменение их размера. Типы ссылок и операции с ними в языке Паскаль. Формирование линейных списков и их обработка, особая обработка специальных случаев. Понятие очереди и дисциплины обслуживания. Функции распределения памяти.
Преимущества в работе с динамическими данными по сравнению с работой со статическими данными. Способы работы с линейными списками в С++, создаваемые самим пользователем без применения готовых библиотек системы. Сортировка связанного списка по ключу.
Реализация операций по работе с бинарными деревьями. Понятие, сущность и необходимость динамических структур данных. Рекурсивный алгоритм, определяющий высоту дерева. Определение значений информационных полей. Программные операции с бинарными деревьями.
Рассмотрение вопросов моделирования адаптивного поведения мобильного робота с помощью ДСМ-метода автоматического порождения гипотез. Построение адаптивного классификатора для управления роботом. Описание теста движения роботов по черно-белой полосе.
Планировщик – модуль программного приложения, отвечающий за своевременный запуск процессов на выполнение и принимающий решения в разных ситуациях. Пример работы алгоритма статического планирования. Сущность метода динамического распределения времени.
Подбор корректирующего устройства для заданных требований синтеза регулятора, линеаризация рассматриваемой системы. Передаточная функция синтезированного корректирующего устройства. Оценки прямых показателей качества и отработка типовых входных сигналов.
Связывание в языке C++. Решение о выборе метода статического или динамического типа. Описание классов и глобальных переменных. Метод для обращения полиморфизма. Разработка библиотеки функций. Разработка приложения на языке С++ с применением Win32 API.
Динамическое программирование в математике и теории вычислительных систем как метод решения сложных задач. Анализ классических задач динамического программирования о выборе траектории, использовании основной рабочей силы, порядке перемножения матриц.
Основные особенности метода динамического программирования. Независимость оптимального решения. Разбиение задачи на подзадачи меньшего размера. Классические задачи динамического программирования. Граф взаимосвязей переменных. Результат вызова функции.
Основные вопросы организации и управления. Сущность, понятие, методы и основные характеристики динамического программирования. Математические методы моделирования экономических систем. Составление матрицы максимальных прибылей, принцип оптимальности.
Понятие динамического программирования как один из методов численного решения задач оптимизации. Примеры решения задач и подзадач. Сумма геометрической прогрессии, суммирование набора. Задача о рюкзаке. Произведение матриц. Алгоритм Флойда-Уоршалла.
Основные понятия динамического программирования, классические методы анализа или вариационного исчисления. Общая постановка задачи динамического программирования. Геометрическая интерпретация задачи программирования (область возможных состояний).
Динамическое программирование как способ решения сложных задач путём разбиения их на простые подзадачи. Наибольшая возростающая подпоследовательность. Перемножение нескольких матриц. Независимые множества в деревьях. Топологическая сортировка вершин.
Особенности модели динамического программирования, история формирования принципа оптимальности. Рассмотрение уравнения Беллмана, применения метода динамического программирования, изучение распределения ресурсов между технологическими процессами.
Понятие динамического программирования. Способы решения сложных задач путём разбиения их на более простые подзадачи. Автоматизация вычисления чисел Фибоначчи с помощью языка программирования С++. Эксперименты для определения вычислительной сложности.
