по
Journal Menu
> Issues > Rubrics > About journal > Authors > About the Journal > Requirements for publication > Council of Editors > List of peer reviewers > Review procedure > Policy of publication. Aims & Scope. > Article retraction > Ethics > Legal information
Journals in science databases
About the Journal

В погоне за двумя зайцами поймай обоих сразу!
34 журнала издательства NOTA BENE входят одновременно и в ERIH PLUS, и в перечень изданий ВАК
При необходимости автору может быть предоставлена услуга срочной или сверхсрочной публикации!
MAIN PAGE > Back to contents
Integrating Methods of Conceptual and Behavioral Modeling of Discrete Event Systems: I. Synthesis and Analysis of a Conceptual Model
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
Другие публикации этого автора
 

 
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
Другие публикации этого автора
 

 
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
Другие публикации этого автора
 

 
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
Другие публикации этого автора
 

 

Abstract.

The object of the present article is information processes in asynchronous discrete event systems. Examples of such systems include organization-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. The first part of the article demonstrates that semantic networks with events, role and causal connections between objects (scenario networks) may sufficiently present logical, structural and procedural paradigm of intelligent systems including the system of situational management. The authors have also formalized the process of building scenario models based on conceptual graphs which allows to use the aforesaid models as part of expert simulation models of the situation management system. They demonstrate that a conceptual presentation of scenarios allows a natural transfer towards building the knowledge bases based on the relational approach which improves the performance function that makes changes to the conceptual model and knowledge base (for example, when the topical area is changed). Demands for the knowledge base built on the basis of the conceptual graph may be formalized in the language of abstract machine networks which simplifies further design of a human-computer interface of the intelligence system based on famous languages like C++, C#, SQL, Visual Prolog, etc.

Keywords: requests, relational database, robot-based manufacturing, casual relations, role relations, scenarios, conceptual graphs, semantic networks, intelligent systems, abstract machines

DOI:

10.7256/2306-4196.2016.6.20740

Article was received:

18-10-2016


Review date:

23-10-2016


Publish date:

02-02-2017


This article written in Russian. You can find full text of article in Russian here .

References
1.
Gordeev L. V. Model' Kontseptual'naya/ Stat'ya v Entsiklopedicheskom Fonde. [Elektronnyi resurs]. URL: http://www.russika.ru/ef.php?s=5143.
2.
Sidorkina I. G. Sistemy iskusstvennogo intellekta. – M.: KnoRus, 2015. – 245 s.
3.
Iskusstvennyi intellekt. – V 3-kh kn. Kn. 2. Modeli i metody: Spravochnik/ Pod red. D. A. Pospelova. – M.: Radio i svyaz', 1990. – 304 s.
4.
Litvintseva L. V. Stsenarii // V kn: Iskusstvennyi intellekt. – V 3-kh kn. Kn. 2. Modeli i metody: Spravochnik/ Pod red. D. A. Pospelova. – M.: Radio i svyaz', 1990. – S. 56-59.
5.
Kandrashina E. Yu., Litvintseva L. V., Pospelov D. A. Predstavlenie znanii o vremeni i prostranstve v intellektual'nykh sistemakh. – M.: Nauka, 1989. – 328 s.
6.
Pospelov D. A. Situatsionnoe upravlenie: teoriya i praktika. – M.: Nauka, 1986. – 288 s.
7.
Zinkin S.A. Seti abstraktnykh mashin vysshikh poryadkov v proektirovanii sistem i setei khraneniya i obrabotki dannykh (bazovyi formalizm i ego rasshireniya) // Izvestiya vysshikh uchebnykh zavedenii. Povolzhskii region. Tekhnicheskie nauki. – 2007. – № 3. – S. 13–22.
8.
Zinkin S.A. Seti abstraktnykh mashin vysshikh poryadkov v proektirovanii sistem i setei khraneniya i obrabotki dannykh (mekhanizmy interpretatsii i varianty is-pol'zovaniya) // Izvestiya vysshikh uchebnykh zavedenii. Povolzhskii region. Tekhni-cheskie nauki. – 2007. – № 4. – S. 37–50.
9.
Tauseef Aized. Flexible Manufacturing System: Hardware Requirements // In: Future Manufacturing Systems/ Edited by Tauseef Aized. Publisher: Sciyo, 2010, pp. 1-16. URL: http://cdn.intechopen.com/pdfs-wm/12118.pdf
10.
Filote C., Ciufudean C. Discrete Event Models for Flexible Manufacturing Cells // In: Future Manufacturing Systems/ Edited by Tauseef Aized. Publisher: Sciyo, 2010, pp. 17-38. URL: http://cdn.intechopen.com/pdfs-wm/12119.pdf
11.
Rodríguez D. R., Pérez M., Blanco J. M. Improvement in the Optimization of Flexible Manufacturing Cells Modelling with Discrete Event Dynamics Systems: Application to a Real Factory Problem // In: 23rd European Modeling and Simulation Symposium (EMSS 2011) Rome, Italy, 12 – 14 September 2011, pp. 619-625. URL: http://toc.proceedings.com/20411webtoc.pdf
12.
Promyshlennaya besprovodnaya svyaz': katalog // URL: http://www.electrofid.ru/sites/default/files/pricesandcatalogs/Promyshlennaya%20besprovodnaya%20svyaz'%20(russk.).pdf
13.
Robototekhnika i gibkie avtomatizirovannye proizvodstva. – V 9 kn. Kn. 6. Tekhni-cheskaya imitatsiya intellekta/ V. M. Nazaretov, D. P. Kim; pod red. I. M. Makarova. – M.: Vyssh. shk., 1986. – 144 s.
14.
Mnogourovnevoe strukturnoe proektirovanie programm. Teoreticheskie osnovy, instrumentarii/ E. L. Yushchenko, G. E. Tseitlin, V. P. Gritsai, T. K. Terzyan. – M.: Finansy i statistika, 1989. – 208 s.
15.
CharGer Manual v3.5b1 2005-11-30, pp. 1–58. [Elektronnyi resurs]. URL: http://charger.sourceforge.net/.
16.
Logicheskii podkhod k iskusstvennomu intellektu/ Teiz A., Gribomon P., Lui Zh. i dr. – M: Mir, 1990. – 432 s.
17.
Markin V. I. Logika predikatov/ V kn. “Novaya filosofskaya entsiklopediya”, v 4-kh tomakh.; T. 2. – M.: Mysl', 2000.
18.
Tselishchev V. V. Yazyk matematiki i tseli matematicheskogo diskursa // Filosofiya nauki, № 1(16), 2003. – S. 18-45.
19.
Karpenko A. S. Logika na rubezhe tysyacheletii // Logical Studies. – Elektronnyi zhurnal, № 5, 2000. – P. 1-50. [Elektronnyi resurs]. URL: http://www.logic.ru/Russian/LogStud/.
20.
Manzano M. Extentions of the First Logic. Cambridge Tracts in Theoretical Computer Science. – Cambridge, Cambridge University Press, 1996. – 410 c.
21.
Gurevich Y. Abstract State Machines: An Overview of the Project // Foundations of In-formation and Knowledge Systems. Lect. Notes Comput. Sci. 2004. Vol. 2942. – P. 6-13.
Link to this article

You can simply select and copy link from below text field.


Other our sites:
Official Website of NOTA BENE / Aurora Group s.r.o.
"History Illustrated" Website