Меню журнала
> Архив номеров > Рубрики > О журнале > Авторы > Требования к статьям > Редакция и редакционный совет > Рецензенты > Порядок рецензирования статей > Политика издания > Этические принципы > Правовая информация
Журналы индексируются
Реквизиты журнала

Публикация за 72 часа - теперь это реальность!
При необходимости издательство предоставляет авторам услугу сверхсрочной полноценной публикации. Уже через 72 часа статья появляется в числе опубликованных на сайте издательства с DOI и номерами страниц.
По первому требованию предоставляем все подтверждающие публикацию документы!
ГЛАВНАЯ > Вернуться к содержанию
Интеграция методов концептуального и поведенческого моделирования дискретно-событийных систем: II. Логико-алгебраические операционные модели и инфокоммуникационные технологии
Зинкин Сергей Александрович

доктор технических наук

профессор, кафедра вычислительной техники, ФГБОУ ВО "Пензенский государственный университет"

440026, Россия, Пензенская область, г. Пенза, ул. Красная, 40

Zinkin Sergei Aleksandrovich

Doctor of Technical Science

professor of the Department of Computing Technics at Penza State University

440026, Russia, Penza Region, Penza, str. Krasnaya, 40

zsa49@yandex.ru
Пащенко Дмитрий Владимирович

доктор технических наук

профессор, кафедра вычислительной техники, ФГБОУ ВО "Пензенский государственный университет"

440026, Россия, Пензенская область, г. Пенза, ул. Красная, 40

Pashchenko Dmitrii Vladimirovich

Doctor of Technical Science

professor of the Department of Computer-Based Technology at Penza State University

440026, Russia, Penza Region, Penza, str. Krasnaya, 40

dmitry.pashchenko@gmail.com
Пучкова Ульяна Николаевна

аспирант, кафедра вычислительной техники, ФГБОУ ВО "Пензенский государственный университет"

440026, Россия, Пензенская область, г. Пенза, ул. Красная, 40

Puchkova Ul'yana Nikolaevna

post-graduate student of the Department of Computer-Based Technology at Penza State University

440026, Russia, Penza Region, Penza, str. Krasnaya, 40

u.puchkova@mail.ru
Мустафа Садек Джафар

аспирант, кафедра вычислительной техники, ФГБОУ ВО "Пензенский государственный университет"

440026, Россия, Пензенская область, г. Пенза, ул. Красная, 40

Mustafa Sadek Dzhafar

post-graduate student of the Department of Computer-Based Technology at Penza State University

440026, Russia, Penza Region, Penza, str. Krasnaya, 40

mustafajaafar221087@gmail.com
Аннотация. В данной статье объектом исследования являются информационные процессы в асинхронных дискретно-событийных системах. Примерами таких систем могут быть организационно-экономические, производственные и вычислительные системы. Предметом исследования является методология формализации и анализа асинхронных дискретно-событийных систем на основе интеграции методов искусственного интеллекта и поведенческого дискретно-событийного моделирования. В качестве примера подходящей предметной области в настоящей работе рассматривается участок гибкого автоматизированного производства, сокращенно ГАП (FMS – Flexible Manufacturing Systems). Методология исследования базируется на логике предикатов первого и второго порядков, формализме сетей абстрактных машин, моделях искусственного интеллекта и на впервые предлагаемых концептуальных сетях Петри. Новизна исследования состоит в получении в конечном итоге на основе концептуальной и поведенческой модели асинхронной дискретно-событийной системы формализованных непосредственно исполнимых спецификаций, например, пригодных для последующей реализации сетевого программного обеспечения беспроводной вычислительной сети, управляющей гибким автоматизированным производством изделий. В части II статьи показано, что семантические сети с событиями, ролевыми и каузальными связями между объектами (сценарные сети) могут в достаточно полной степени представлять не только декларативные, но и процедурные знания о предметной области. В целях построения поведенческой дискретно-событийной модели реализован переход от семантической сети с событиями, описывающей участок гибкого автоматизированного производства, к сети Петри и далее к сети абстрактных машин, описанной логико-алгебраическими выражениями. Для сохранения информативности модели предложены некоторые разновидности сетей Петри, а также определен новый класс сетей Петри – концептуальные сети Петри. Предложены формализованные исполнимые спецификации, учитывающие роли всех объектов-участников реализации событий и управление со стороны беспроводной сети. Использование языка сетей абстрактных машин упрощает дальнейшую реализацию интеллектуальной поведенческой модели системы на базе известных языков типа C, C++, C# и др. Предложен принцип построения логико-алгебраической операционной (исполнимой) модели, предназначенной для построения на ее основе распределенного сетевого приложения для беспроводной сети, управляющей роботизированным производством.
Ключевые слова: логико-алгебраические операционные модели, роботизированное производство, концептуальные сети Петри, казуальные отношения, концептуальные графы, сценарии, семантические сети, интеллектуальные системы, сети абстрактных машин, беспроводные промышленные сети
УДК: 004.632.6
DOI: 10.7256/2306-4196.2017.1.20759
Дата направления в редакцию: 02-02-2017

Дата публикации: 22-03-2017

Работа выполнена в рамках Федеральной целевой программы “Исследования и разработки по приоритетным направлениям развития научно-технического комплекса России на 2014-2020 годы” (Соглашение № 14.574.21.0045 от 19.06.14, UIN: RFMEFI57414X0045).

Abstract. The object of the present article is information processes in asynchronous discrete event systems. Examples of such systems include organizational-economical, production and computer-based systems. The subject of the research is the methodology of formalization and analysis of asynchronous discrete event systems based on integration of artificial intellect and behavioral discrete event modeling methods. As an example of a relevant topical area the authors of the present article view a section of flexible automated manufacturing systems (FMS - Flexible Manufacturing Systems). The methodological basis of the research involves the logic of predicates of the first and second order, formal description of abstract machines, artificial intellect models and Petri conceptual nets offered for the first time. The novelty of the research is caused by the fact that as a result of their research and based on their conceptual and behavioral model of an asynchronous discrete event system, the authors define formalized directly realizable specifications, for example, typical for further realization of the wireless network system running the flexible production process. Part II of the article shows that semantic networks with events, role and causal relationships between objects (scenario networks) can in a fairly full degree represent not only declarative, but also procedural knowledge of the subject area. In order to construct a behavioral discrete-event model authors develop a transition from a semantic network with events describing a section of flexible automated manufacturing systems to Petri nets and further to a network of abstract machines described by logical-algebraic expressions.  To preserve the informative nature of the model the authors suggest variety of Petri nets, as well as a new class of Petri nets - the conceptual Petri nets. The article proposes formalized executable specifications that take into account the roles of all objects participating in the implementation of events and management from the wireless network. The use of the network language of abstract machines simplifies the further implementation of the intellectual behavioral model of the system based on programming languages such as C, C ++, C #, etc. The authors suggest a principle of constructing a logical-algebraic operational (executable) model designed to build a distributed network application for a wireless network that manages robotic production on its basis.

Keywords: logical-algebraic operating models, robot-based manufacturing, conceptual Petri nets, casual relations, conceptual graphs, scenarios, semantic networks, intellectual systems, networks of the abstract machines, wireless industrial networks

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

Если вы один из авторов этой статьи, вы можете открыть бесплатный доступ к этой статье для своих читателей. Вы должны зайти под своим логином и паролем, чтобы воспользоваться услугой. Перейдите по ссылке, чтобы зарегистрироваться или осуществить вход.
Библиография
1.
Зинкин С.А., Пащенко Д.В., Пучкова У.Н., Мустафа С. Интеграция методов концептуального и поведенческого моделирования дискретно-событийных систем: I. Синтез и анализ концептуальной модели // Кибернетика и программирование. — 2016. - № 6. - С.83-95. DOI: 10.7256/2306-4196.2016.6.20740. URL: http://e-notabene.ru/kp/article_20740.html
2.
Broy M. Informatik Eine grundlegende Einführung. Band 1: Programmierung und Rechnerstrukturen. Publisher: Springer Verlag, 1998. – S. 471.
3.
Gurevich Y. Abstract State Machines: An Overview of the Project // Foundations of Information and Knowledge Systems. Lect. Notes Comput. Sci., vol. 2942, 2004, pp. 6-13.
4.
Glässer, U, Gurevich, Y, Veanes M. Abstract Communication Model for Distributed Systems // IEEE Transactions on Software Engineering, vol. 30, no. 7, July 2004, pp. 458-472.
5.
Gluschkow, W. M., Zeitlin, G. E., Justchenko, J. L. Algebra. Sprachen. Programmi-erung. Akademie-Verlag, Berlin, 1980. – 340 p.
6.
Thayse A., Gribomont P., etc. Approche logique de l’intelligence artificielle. 1. De la logique classique a la programmation logique. Paris, 1993. – 402 p.
7.
Peterson, J. L. Petri Net Theory and the Modeling of Systems. Prentice-Hall, Eng-lewood Cliffs, NJ, 1981. – 264 p.
8.
Petri Nets. Fundamental Models, Verification and Applications / Ed. by M. Diaz. John Wiley and Sons, 2009. – 656 p.
9.
CharGer Manual v3.5b1 2005-11-30, pp. 1–58. URL: http://charger.sourceforge.net/
10.
Complete Overview of Petri Nets Tools Database. URL: http://www.informatik.uni-hamburg.de/TGI/PetriNets/tools/complete_db.html
11.
About PIPE2. URL: http://pipe2.sourceforge.net/about.html
12.
Chiu-Ching Tuan, Yi-Chao Wu. Grid Header Election by Predetermining in Mobile Ad-Hoc Networks // Journal of Applied Science and Engineering, vol. 15, no. 1, 2012, pp. 69-78.
13.
Yu, J. Y., Chong, P. H. J. An Efficient Clustering Scheme for Large and Dense Mo-bile Ad Hoc Networks (MANETs) // Computer Communications, 30, 2006, pp. 5-16.
14.
Mustafa Sadeq Jaafar, Sawant H. K. ACK Based Scheme for Performance Im-provement of Ad-hoc Network // International Journal of Advances in Engineering & Technology, (IJAET). Vol. 3, Issue 2, May 2012.
15.
Mustafa Sadeq Jaafar, Sawant H. K. Design and Development of ACK-Based Scheme Using FSA for Ad-hoc Networks // International Journal of Modern Engi-neering Research, (IJMER). Vol. 2, Issue. 2, Mar-Apr 2012, pp. 102-106.
References (transliterated)
1.
Zinkin S.A., Pashchenko D.V., Puchkova U.N., Mustafa S. Integratsiya metodov kontseptual'nogo i povedencheskogo modelirovaniya diskretno-sobytiinykh sistem: I. Sintez i analiz kontseptual'noi modeli // Kibernetika i programmirovanie. — 2016. - № 6. - S.83-95. DOI: 10.7256/2306-4196.2016.6.20740. URL: http://e-notabene.ru/kp/article_20740.html
2.
Broy M. Informatik Eine grundlegende Einführung. Band 1: Programmierung und Rechnerstrukturen. Publisher: Springer Verlag, 1998. – S. 471.
3.
Gurevich Y. Abstract State Machines: An Overview of the Project // Foundations of Information and Knowledge Systems. Lect. Notes Comput. Sci., vol. 2942, 2004, pp. 6-13.
4.
Glässer, U, Gurevich, Y, Veanes M. Abstract Communication Model for Distributed Systems // IEEE Transactions on Software Engineering, vol. 30, no. 7, July 2004, pp. 458-472.
5.
Gluschkow, W. M., Zeitlin, G. E., Justchenko, J. L. Algebra. Sprachen. Programmi-erung. Akademie-Verlag, Berlin, 1980. – 340 p.
6.
Thayse A., Gribomont P., etc. Approche logique de l’intelligence artificielle. 1. De la logique classique a la programmation logique. Paris, 1993. – 402 p.
7.
Peterson, J. L. Petri Net Theory and the Modeling of Systems. Prentice-Hall, Eng-lewood Cliffs, NJ, 1981. – 264 p.
8.
Petri Nets. Fundamental Models, Verification and Applications / Ed. by M. Diaz. John Wiley and Sons, 2009. – 656 p.
9.
CharGer Manual v3.5b1 2005-11-30, pp. 1–58. URL: http://charger.sourceforge.net/
10.
Complete Overview of Petri Nets Tools Database. URL: http://www.informatik.uni-hamburg.de/TGI/PetriNets/tools/complete_db.html
11.
About PIPE2. URL: http://pipe2.sourceforge.net/about.html
12.
Chiu-Ching Tuan, Yi-Chao Wu. Grid Header Election by Predetermining in Mobile Ad-Hoc Networks // Journal of Applied Science and Engineering, vol. 15, no. 1, 2012, pp. 69-78.
13.
Yu, J. Y., Chong, P. H. J. An Efficient Clustering Scheme for Large and Dense Mo-bile Ad Hoc Networks (MANETs) // Computer Communications, 30, 2006, pp. 5-16.
14.
Mustafa Sadeq Jaafar, Sawant H. K. ACK Based Scheme for Performance Im-provement of Ad-hoc Network // International Journal of Advances in Engineering & Technology, (IJAET). Vol. 3, Issue 2, May 2012.
15.
Mustafa Sadeq Jaafar, Sawant H. K. Design and Development of ACK-Based Scheme Using FSA for Ad-hoc Networks // International Journal of Modern Engi-neering Research, (IJMER). Vol. 2, Issue. 2, Mar-Apr 2012, pp. 102-106.
Ссылка на эту статью

Просто выделите и скопируйте ссылку на эту статью в буфер обмена. Вы можете также попробовать найти похожие статьи

Другие сайты издательства:
Официальный сайт издательства NotaBene / Aurora Group s.r.o.
Сайт исторического журнала "History Illustrated"