Вкладка 13

Разработка приложений искусственного интеллекта в киберфизических системах

9 (10.12.2025)

Файл это связанный набор кластеров в виде чаще всего односвязного стека. Сектор это минимальная единица адресного пространства равная 512 байт. Кластер

это несколько смежных секторов(чаще всего 8). Кластер используется вместо сектора для увеличения скорости передачи данных.

Дескриптор это структура которая описывает какой то объект, полями в виде

контейнеров. Полноценный дескриптор доступен только операционной системе. В

полноценном дескрипторе доступны поля атрибутов файлов.(Здесь может быть

ошибка, в конечном счёте важно знать что такое дескриптор и уметь описать два его вида и какие поля им доступны)

На этапе компиляции одним из этапов является семантический анализ, в рамках которого выполняется следующие операции:

●​ Проверка отсутствия переопределения идентификаторов. Идентификатор в коде должен быть объявлен один раз.

●​ Проверка инициализации переменных перед их использованием.

●​ Проверка типов данных. То Есть совместимости типов операндов в выражениях

и корректности присваивания.

Ошибки несоответствия между типами параметров функций и типами передаваемых аргументов, должны обнаруживаться на этапе интеграционного тестирования. Типы тестирования: Базовый тип - модульный тип, тестируем отдельно каждую функцию.

Также в рамках компиляции выполняется анализ области видимости и времени жизни

переменных.

Такая концепция семантической проверки в рамках компиляции называется статической типизацией Если несоответствие типов и другие ошибки обнаруживаются

уже в время исполнения кода(run time) такой подход называется динамической типизацией. Хаскелл ориентирован на статическую(динамическую, хз не расслышал) типизацию.

Классы типов

Класс типов - контейнер который содержит набор наименований значений с информацией о типах значений. Классы типов позволяют определять функции с одинаковым именем для значений различных типов.

За ключевым словом класс следует имя класса, затем тип параметров и ключевое слово where. Далее с отступами пишутся имена определенных в классе значений и значения класса называются методами.

Тип значения может иметь контекст, который означает что параметр должен принадлежать классу типов.

Класса А называется суперклассом для класса Б.

Супер класс или родительский это класс на основании которого создаются другие классы. Классы которые созданы на основе другого класса называются дочерними,

производными. Существует 3 ключевых модификатора доступа у нас следования: public - доступ, открытый всем кто видит определение данного класса.protected - открываем доступ к полям производным классам. private

Экземпляр класса HasName можно создать только для тех типов, которые содержатся в классе IsPerson.

!Знать конструкции через do.

!Знать и уметь объяснить концепцию декларативного и последовательного программирования.