Development of hybrid model of coordinating decision-making formation for realization of manufacturing process at instrument-making enterprises
DOI:
https://doi.org/10.15587/2312-8372.2016.66172Keywords:
hybrid approach, continuous-discrete systems, hybrid machines, linearAbstract
This paper discusses the decision support system, as a concept, structure and features of the use of information technologies, decision-making methods and the possible use of a decision support system according to experience and application of the methodology of SME «KIATON».
The aim of this research is forming a hybrid model of coordinating decision-making in the implementation of the production process at the instrument-making enterprises by providing a computer-aided algorithm of the hybrid agent.
The method of formation of the coordinating decision-making formation was synthesized with the help of the extended model to reconcile the results of the decisions of local manufacturing subsystems that manufactures assembly units.
Hybrid approach to the synthesis of model of coordinating decision-making formation for the rational organization of the production process of tools at the instrument-making enterprises is considered. This model makes it possible to identify and resolve conflicts that arise in the production process. It is shown that the hybrid model can be used as a part of the intellectual core of decision support systems in production management.
References
- Alur, R., Courcoubetis, C., Henzinger, T. A., Ho, P.-H. (1993). Hybrid automata: An algorithmic approach to the specification and verification of hybrid systems. Lecture Notes in Computer Science, Vol. 736, 209–229. doi:10.1007/3-540-57318-6_30
- Manna, Z., Pnueli, A. (1982). Verification of concurrent programs: Temporal proof principles. Lecture Notes in Computer Science, Vol. 131, 200–252. doi:10.1007/bfb0025785
- Manna, Z., Pnueli, A. (1993). Verifying hybrid systems. Lecture Notes in Computer Science, Vol. 736, 4–35. doi:10.1007/3-540-57318-6_22
- McManis, J., Varaiya, P. (1994). Suspension automata: A decidable class of hybrid automata. Lecture Notes in Computer Science, 818, 105–117. doi:10.1007/3-540-58179-0_47
- Maler, O., Manna, Z., Pnueli, A. (1992). Prom timed to hybrid systems. Lecture Notes in Computer Science, 600, 447–484. doi:10.1007/bfb0032003
- Cutkosky, M. R., Engelmore, R. S., Fikes, R. E., Genesereth, M. R., Gruber, T. R., Mark, W. S., Weber, J. C. (1993). PACT: an experiment in integrating concurrent engineering systems. Computer, 26 (1), 28–37. doi:10.1109/2.179153
- Jennings, N. R., Corera, J. M., Laresgoiti, I. (1995). Developing Industrial Multi-Agent Systems. Proceedings of First International Conference on Multiagent Systems. San-Francisco, USA: AAAI press/The MIT press, 423–330.
- Wiederhold, G. (1992). Mediators in the architecture of future information systems. Computer, 25 (3), 38–49. doi:10.1109/2.121508
- Russell, S., Norvig, P. (2006). Artificial Intelligence: A Modern Approach. Translation from English. Moscow: Publishing House «Williams», 1408.
- Finin, T., Fritzson, R., McKay, D., McEntire, R. (1994). KQML as an agent communication language. Proceedings of the third international conference on Information and knowledge management – CIKM ’94. New York: Association for Computing Machinery (ACM), 456–463. doi:10.1145/191246.191322
- Gero, J. (1985, November). Expert systems in CAD. Computer-Aided Design, 17 (9), 396–398. doi:10.1016/0010-4485(85)90286-6
- Genesereth, M. R., Fikes, R. E. et al. (1992). Knowledge Interchange Format, Version 3.0 Reference Manual. Technical Report Logic 92–1. Stanford University, 68. doi:10.1.1.54.8601
- Vulf, A. (1987). Universal'nyi kompleks dlia razrabotki ES real'nogo vremeni. Elektronika, 6, 43–46.
- McGuire, J. G., Kuokka, D. R., Weber, J. C., Tenenbaum, J. M., Gruber, T. R., Olsen, G. R. (1993, September 1). SHADE: Technology for Knowledge-based Collaborative Engineering. Concurrent Engineering, 1 (3), 137–146. doi:10.1177/1063293x9300100301
- Asarin, E., Maler, O., Pnueli, A. (1995, February). Reachability analysis of dynamical systems having piecewise-constant derivatives. Theoretical Computer Science, 138 (1), 35–65. doi:10.1016/0304-3975(94)00228-b
- Gorodetskii, V. I., Habalov, A. V., Grushinskii, M. S. (1998). Mnogoagentnye sistemy (obzor). Novosti iskusstvennogo intellekta, 2, 64–116.
- Jackson, P. (2001). Introduction to Expert Systems. Ed. 3. Translation from English. Moscow: Publishing House «Williams», 624.
- Vorontsov, K. V. (2004). Obzor sovremennyh issledovanii po probleme kachestva obucheniia algoritmov. Tavricheskii vestnik informatiki i matematiki, 1, 5–22. Available: http://www.ccas.ru/frc/papers/voron04twim.pdf
- Sriram, D., Stephanopoulos, G., Logcher, R., Gorrard, D., Groleau, N., Serrano, D., Navinchendra, D. (1989). Knowledge-Based System Applications in Engineering Design: Research at MIT. AI magazine, 10 (3), 79–96. doi:10.1609/aimag.v10i3.758
- Cormen, T. H., Leiserson, C. E., Rivest, R. L., Stein, C. (2005). Introduction to Algorithms. Ed. 2. Translation from English. Moscow: Publishing House «Williams», 1296.
Downloads
Published
How to Cite
Issue
Section
License
Copyright (c) 2016 Андрей Павлович Собчак, Игорь Владимирович Шостак, Любовь Владимировна Шабанова-Кушнаренко
This work is licensed under a Creative Commons Attribution 4.0 International License.
The consolidation and conditions for the transfer of copyright (identification of authorship) is carried out in the License Agreement. In particular, the authors reserve the right to the authorship of their manuscript and transfer the first publication of this work to the journal under the terms of the Creative Commons CC BY license. At the same time, they have the right to conclude on their own additional agreements concerning the non-exclusive distribution of the work in the form in which it was published by this journal, but provided that the link to the first publication of the article in this journal is preserved.