Требуется придумать и решить примеры по Теории Типов в различных областях: нетипичный язык NBL, типичный язык NBL, нетипичные λ-исчисления и структуры данных. Задачи включают формулировку термов, проверку типизации, оценку термов и примеры рекурсивных функций. В приложенном файле содержится пример решения задач.
Необходимо разработать программу на языке C, содержащую ошибку переполнения журнала, которая будет позволять выполнять командную строку, указанную в качестве входных данных. Исполнитель может выбрать среду и настройки на свое усмотрение. Программа должна принимать входные данные в шестнадцатеричной форме для выполнения инструкций командной строки.
Разработайте программу на Java (acl.java), реализующую модель доступа Bell–LaPadula. Программа должна настраивать и удалять уровни безопасности для файлов и каталогов, отображать настройки безопасности и выполнять операции чтения и записи с учетом уровня безопасности. Необходимо также определять согласованность уровней безопасности и устанавливать уровень безопасности для пользователей.
Требуется разработка программы на Java, которая будет подписывать любые файлы с использованием асимметрического шифрования. Программа должна генерировать несколько ключей, подписывать документы и проверять корректность подписей. Использование готовых библиотек и алгоритмов шифрования запрещено.
Разработайте простой веб-сервер (server.java) и веб-браузер (client.java) на Java. Обеспечьте надежное шифрование соединения с использованием алгоритма Диффи-Хеллмана. Все компоненты должны быть написаны с нуля, без использования готовых библиотек или алгоритмов шифрования.
Задача включает разработку методологии для проектирования систем управления отходами, создание графических моделей и прототипов. Необходима реализация и проверка методологии с использованием моделей для анализа, разработки и реализации систем. Проект может быть выполнен индивидуально или в команде, с учетом выбора инструментов, таких как WebGME и BridgePoint.
Требуется провести анализ текущего состояния платформы emuStudio, выявить недостатки и внедрить новые модули, такие как ATmega и i8080. Необходимо также исследовать совместимость emuStudio с Atmel Studio и возможности экспорта проектов для Arduino. Варианты эмуляции графического дисплея должны быть проанализированы. Срок выполнения – 4 недели.
