Интеграция методов концептуального и поведенческого моделирования дискретно-событийных систем: II. Логико-алгебраические операционные модели и инфокоммуникационные технологии

Категория: техника
Скачивание доступно только для авторизованных пользователей
Авторы (ПГУ): Зинкин Сергей Александрович [25] , Джафар Мустафа Садек Джафар [25] , Пащенко Дмитрий Владимирович [25] , Пучкова Ульяна Николаевна [25] 
Аннотация: В данной статье объектом исследования являются информационные процессы в асинхронных дискретно-событийных системах. Примерами таких систем могут быть организационно-экономические, производственные и вычислительные системы. Предметом исследования является методология формализации и анализа асинхронных дискретно-событийных систем на основе интеграции методов искусственного интеллекта и поведенческого дискретно-событийного моделирования. В качестве примера подходящей предметной области в настоящей работе рассматривается участок гибкого автоматизированного производства, сокращенно ГАП (FMS – Flexible Manufacturing Systems). Методология исследования базируется на логике предикатов первого и второго порядков, формализме сетей абстрактных машин, моделях искусственного интеллекта и на впервые предлагаемых концептуальных сетях Петри. Новизна исследования состоит в получении в конечном итоге на основе концептуальной и поведенческой модели асинхронной дискретно-событийной системы формализованных непосредственно исполнимых спецификаций, например, пригодных для последующей реализации сетевого программного обеспечения беспроводной вычислительной сети, управляющей гибким автоматизированным производством изделий. В части II статьи показано, что семантические сети с событиями, ролевыми и каузальными связями между объектами (сценарные сети) могут в достаточно полной степени представлять не только декларативные, но и процедурные знания о предметной области. В целях построения поведенческой дискретно-событийной модели реализован переход от семантической сети с событиями, описывающей участок гибкого автоматизированного производства, к сети Петри и далее к сети абстрактных машин, описанной логико-алгебраическими выражениями. Для сохранения информативности модели предложены некоторые разновидности сетей Петри, а также определен новый класс сетей Петри – концептуальные сети Петри. Предложены формализованные исполнимые спецификации, учитывающие роли всех объектов-участников реализации событий и управление со стороны беспроводной сети. Использование языка сетей абстрактных машин упрощает дальнейшую реализацию интеллектуальной поведенческой модели системы на базе известных языков типа C, C++, C# и др. Предложен принцип построения логико-алгебраической операционной (исполнимой) модели, предназначенной для построения на ее основе распределенного сетевого приложения для беспроводной сети, управляющей роботизированным производством.
Тип: Статья
Вид: электронная копия бумажного издания
Количество частей: 1
Год издания: 2017
Издательство: ООО «НБ-Медиа»
Место опубликования: Журнал
Индексация: ВАК (или закрытый сборник научных работ)
Целевая аудитория: Исследователь
Целевое назначение: Научное
Лицензия: Нет ограничений
Ограничения: Нет ограничений
Правообладатель: Общество с ограниченной ответственностью "НБ-Медиа" (Москва)
Библиографическая ссылка: Зинкин С.А., Пащенко Д.В., Пучкова У.Н., Мустафа С. Интеграция методов концептуального и поведенческого моделирования дискретно-событийных систем: I. Синтез и анализ концептуальной модели // Кибернетика и программирование. — 2016. - № 6. - С.83-95. DOI: 10.7256/2306-4196.2016.6.20740. URL: http://e-notabene.ru/kp/article_20740.html
Внешняя веб-ссылка: http://e-notabene.ru/kp/article_20740.html
Язык: Русский
Место хранения:Вне ПГУ
Дата загрузки ИР: 17.11.2018Владелец ИР: Зинкин Сергей Александрович
Ссылка на ресурс: