Лапин, Э. С. Функциональный подход к моделированию динамики систем детерминированных конечных автоматов [Текст] / Э. С. Лапин, М. И. Абдрахманов // Известия вузов. Горный журнал. - 2021. - № 2. - С. 113-122. - Библиогр.: с. 121-122 (15 назв.) . - ISSN 0536-1028
Рубрики: Вычислительная техника Программирование ЭВМ. Компьютерные программы. Программотехника Горное дело Рудничный транспорт Кл.слова (ненормированные): аппликативные функторы -- конвейерные системы -- конечные автоматы -- конечные динамические системы -- моделирование динамики систем -- функторы -- шахтные конвейерные системы Аннотация: Представлены результаты исследований функционального подхода к моделированию системы конечных автоматов, не ограниченной топологией связи между ее элементами и неоднородностью типов используемых алгоритмов. Рассмотрена методология моделирования системы конечных автоматов применительно к шахтным конвейерным системам. Доп.точки доступа: Абдрахманов, М. И. Нет сведений об экземплярах (Источник в БД не найден) |
Лапин, Э. С. Формальное доказательство соответствия программной реализации используемых в системах контроля и управления моделей заданным требованиям [Текст] / Э. С. Лапин, М. И. Абдрахманов // Известия вузов. Горный журнал. - 2021. - № 7. - С. 99-108. - Библиогр.: с. 106-108 (28 назв.) . - ISSN 0536-1028
Рубрики: Вычислительная техника Программирование ЭВМ. Компьютерные программы. Программотехника Горное дело Рудничный транспорт Кл.слова (ненормированные): конвейерные системы -- конечные автоматы -- математические системы -- модели систем -- программное обеспечение -- системы контроля -- системы управления -- технические системы -- формальное доказательство -- шахтные конвейерные системы Аннотация: Представлены результаты исследований возможности применения метода формального доказательства соответствия программной реализации модели заданным требованиям для систем, модели которых могут быть представлены в виде конечных автоматов. На примере шахтной конвейерной системы показано применение метода, состоящего в программной реализации модели соответствующего конечного автомата, формировании предположений о наличии у модели свойств в виде теорем с их последующим доказательством с использованием специальных программных средств. Доп.точки доступа: Абдрахманов, М. И. Нет сведений об экземплярах (Источник в БД не найден) |