Термины

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

Ligral

Ligral — это язык, который использует текстовую форму для описания имитационной модели, эквивалентной имитационному блок-схеме. В то же время ligral также относится к официальному интерпретатору/компилятору языка ligral, программе, которую можно вызвать в терминале для анализа языка ligral.

Файл, полученный путём написания имитационной модели на языке ligral, называется lig-файлом с расширением lig.

Блок-схема Block diagram

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

Модель Model

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

Порт Port

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

Цепочка Chain

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

Группа Group

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

Маршрут Route

Особый вид группы модулей, определяющий, что входной порт может быть только специальным входным портом модуля Input, а выходной порт может быть только выходным портом специального модуля Output. Каждый маршрут имеет тип, который определяет количество и имена входных и выходных портов, способ соединения внутренних модулей и предоставляет внутреннюю таблицу символов, имеющую настраиваемый список параметров.

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

Цепочка модулей, группа модулей и маршрут — все это вычислительные единицы, которые создаются языком ligral. Особенностью маршрута является его многократное использование, после объявления типа маршрута его можно многократно инстанцировать без взаимного вмешательства. Цепочка модулей и группа модулей предназначены для временного объявления и временного использования.

Узел Node

Модули и маршруты имеют схожие формы, обе могут объявлять экземпляры и передавать параметры. Маршрут может выполнять те же функции, что и модуль (маршрут содержит этот модуль, он может выполнять функции этого модуля), и маршрут также можно переписать с помощью модуля для более эффективного вычисления. С точки зрения пользователя трудно почувствовать тонкие различия между ними, как если бы функция, встроенная в компилятор, и функция, предоставляемая модулем, были одинаковыми. Поэтому их можно назвать узлами, где узел относится ко всей структуре блок-схемы.

Однако следует отметить, что в ligral есть модуль, который является пустым узлом, также называемым Node, этот узел не содержит никакой вычислительной логики, а просто реализует функцию временного хранения и пересылки данных.

После введения концепции узла концепцию цепочки модулей можно расширить до «цепочки узлов», а группу модулей можно расширить до «группы узлов», и соответствующая логика и английские названия не изменились. Даже элементы цепочки модулей и группы модулей могут быть подцепочками модулей или подгруппами модулей, пожалуйста, обратитесь к соединению узлов.

Интерфейс Interface

В ligral интерфейс похож на порт, это канал связи между разными модулями. С точки зрения нижнего уровня реализации все данные, отправляемые или принимаемые портами, являются матрицами без различий. Однако с точки зрения верхнего прикладного уровня каждый порт узла имеет своё конкретное значение, и эти порты различаются по принадлежности к узлу, порядку в узле или идентификатору. Например, в системе управления состояние x выходного объекта должно быть подключено к входному порту состояния x контроллера, и оно не имеет смысла, если оно подключено к порту эталонного значения ввода контроллера.

Таким образом, интерфейс — это порт, которому его собственный узел и порядок в узле придают конкретное значение.

Подпись Signature

Подпись — это набор интерфейсов, который определяет все интерфейсы узла, объявившего эту подпись, и их порядок. Другими словами, подпись — это набор упорядоченных интерфейсов, объявляющих, что узел, объявивший эту подпись, должен иметь полностью совпадающие интерфейсы.