Главная
» Электронная библиотека » Интеграция методов концептуального и поведенческого моделирования дискретно-событийных систем: II. Логико-алгебраические операционные модели и инфокоммуникационные технологии
Интеграция методов концептуального и поведенческого моделирования дискретно-событийных систем: 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 | |
| Владелец: | Зинкин Сергей Александрович | |
| Ссылка на ресурс: | http://elib.pnzgu.ru/library/7490000  | |
| Формат: | Не указан |