Форумы ЛВК

В настоящее время бурно развиваются различные средства интеллектуального управления транспортом (другое название -- ИТС, интеллектуальные транспортные системы). К таким средствам относятся средства автоматического управления автомобилем (как кооперативные, так и некооперативные), системы ...

В рамках данной курсовой работы предполагается применение широкого спектра эволюционных алгоритмов, разработанных в нашей лаборатории, для оптимизации параметров торговых стратегий.

Как правило, описание торговой стратегии (алгоритма работы на бирже) параметризовано. В существующем ПО, доступном ...

Существует класс вычислительных систем, для которых полная статическая проверка правильности (в ходе их разработки) невозможна. В основном это связано с

1) возможность системы изменять свою конфигурацию в ходе работы (ad-hoc системы c беспроводной связью; системы с частичным обновлением ПО и ...

Исследование применения вывода грамматик (grammar inference, построение формальной грамматики по набору слов языка) для выделения рекурсивных структур во временном ряду.

В рамках курсовой 3 курса предполагается изучение фракталов, методов автоматического построения грамматик и реализация ...

Антон,

отразите, пожалуйста, в своём отчёте результаты, достигнутые по каждому из пунктов "проделанной работы" (кратко, 1 абзац на результат)

Скажите, а список литературы -- полный? Т.е. usability вы изучали только по указанному блогу? Научный руководитель не дал вам других материалов?

Данная работа является продолжением работы по разработке точного эмулятора процессора NM6403 Neuromatrix.

Разработанный эмулятор построен по схеме compiled simulation и выполняет моделирование обработки данных, а также позволяет точно оценить время выполнения программы на целевом вычислителе. Время ...

Использование имитационного моделирования в реальном времени для оценки развития ситуации и поддержки принятия решений. Пример задачи, решаемой подобным подходом -- система FreeAir, которая по данным о расположении и движении воздушных судов предсказывает коллизии и вырабатывает рекомендации по ...

В нашей лаборатории разработан подход к compiled simulation с оценкой времени, который для процессора NeuroMatrix работает на два порядка быстрее точного эмулятора (и ещё на порядок-другой быстрее Verilog-эмулятора). В рамках этой задачи предполагается разработать точный эмулятор набора инструкций ...

В настоящее время становится актуальной задача обеспечения ИТ-безопасности встроенных систем. В отличие от традиционной задачи обеспечения безопасности компьютера или сети, для встроенных систем необходимо исследовать влияние на архитектуру системы и методы обеспечения безопасности ряда аспектов, а ...

Непонятно: в целях отладки? еще для чего?

Например, если вы хотите узнать, откуда берутся данные (деньги, пакеты, товар, клиенты) в данный момент в данной точке потоковой модели. Существует ряд прикладных задач, в которых полезно это знать.

В последнем случае, имхо, надо записывать адрес ...

Использование разработанного в лаборатории метода оценки времени выполнения программ для оценки эффективности набора инструкций для процессора. Т.е. для поиска "слабых мест" набора инструкций -- последовательностей инструкций, вызывающих "дырки" в конвейере etc.

Возможно, с продолжением в виде ...

На основе алгоритмов, по которым выполняется масштабирование моделей на языке ММ, и на основе средства, которое такое масштабирование выполняет, реализовать (предварительно разработав теорию) инструментальное средство для языка muCRL или какого-то другого.

Анализ кода программы на языке С++, определяющая асимптотическую сложность (по времени выполнения и объёму памяти) выполнения данного кода относительно размера входных данных.

Диплом -- инструментальная система оценки асимптотической сложности для языка С++.

При моделировании и анализе существующих процессов обработки данных часто применяется не пакетное моделирование, а потоковое. В качестве примера предметной области можно привести перемещение информации по сети или движение денежных средств по счетам банков.

При этом может возникнуть ситуация, когда ...

Использование имитационного моделирования в реальном времени для оценки развития ситуации и поддержки принятия решений. Пример задачи, решаемой подобным подходом -- система FreeAir, которая по данным о расположении и движении воздушных судов предсказывает коллизии и вырабатывает рекомендации по ...