МОДЕЛИРОВАНИЕ ПРОЧНОСТНЫХ ХАРАКТЕРИСТИК ИЗДЕЛИЙ АДДИТИВНЫХ ТЕХНОЛОГИЙ С ПРИМЕНЕНИЕМ ПАРАЛЛЕЛЬНЫХ ВЫЧИСЛЕНИЙ
https://doi.org/10.33236/2307-910X-2019-25-1-182-187
Аннотация
В современном мире растет значимость научных результатов, обеспечивающих создание принципиально новых технологий и продукции с новыми потребительскими свойствами. Эти результаты исследований становятся основой конкурентоспособности страны на мировых рынках, определяют возможности создания мощного экономического и военного потенциала государства. Это порождает проблему разработки математического, алгоритмического и программного аппарата моделирования характеристик изделий, изготовленных из таких материалов.
Об авторах
А. Н. Привалов
Тульский государственный педагогический университет
Россия
Россия
Ю. И. Богатырева
Тульский государственный педагогический университет
Россия
Россия
Список литературы
1. В. Beizer, Micro-Analysis of Computer System Performance, John Wiley & Sons, Inc., New York, NY, 1978.
2. D. Ferrari, Computer Systems Performance Evaluation, Prentice-Hall, Englewood Cliffs, NJ, 1978.
3. Barbu, Vlad Stefan; Limnios, Nikolaos Semi-Markov chains and hidden semi-Markov models toward applications : their use in reliability and DNA analysis. New York: Springer, 2008
4. Котов, Вадим (1984). Сети Петри (Petri Nets, in Russian). Наука, Москва
5. Peterson, James Lyle (1981). Petri Net Theory and the Modeling of Systems. Prentice Hall.
6. Riemann, Robert-Christoph (1999). Modelling of Concurrent Systems: Structural and Semantical Methods in the High Level Petri Net Calculus. Herbert Utz Verlag.
7. W. Reisig, G. Rozenberg (Eds.), Lectures on Petri Nets I: Basic Models - Advances in Petri Nets, volume 1491 of Lecture Notes in Computer Science, Springer, 1998
8. W. Reisig, G. Rozenberg (Eds.), Lectures on Petri Nets II: Applications - Advances in Petri Nets, volume 1492 of Lecture Notes in Computer Science, Springer, 1998
9. Merlin P., Faber DJ. Recoverability of communication protocols // IEEE Trans, of Communication, 1976 - Vol. COM- 24(9).
10. Balsamo S., Harrison P.G., Marin A. Methodological construction of product-form stochastic Petri nets for performance evaluation // Journal of Systems and Software. Elsevier Inc., 2012. Vol. 85, № 7. P. 1520-1539.
11. Choi H., Kulkarni V., Trivedi K. Markov regenerative stochastic Petri nets // Performance Evaluation. 1994. Vol. 5316, № 94. P. 337-357.
12. Felder M., Mandrioli D., Morzenti A. Proving Properties of Real-Time Systems Through Logical Specifications and Petri Net Models // IEEE Transactions on Software Engineering. 1994. Vol. 20, № 2.
13. Garg S., Puliafito A., Trivedi K.S. Analysis of Software Rejuvenation using Markov Regenerative Stochastic Petri Net // In Proc. of the Sixth Intl. Symposium on Software Reliability Engineering. Toulouse, France, 1995. P. 180-187.
14. Viswanadham N., Narahari Y., Johnson T.L. Deadlock Prevention and Deadlock Avoidance in Flexible Manufacturing Systems Using Petri Net Models // IEEE Transactions on Robotics. 1990. Vol. 6, № 6.
15. Kristensen L.M., Jorgensen J.B., Jensen K. Application of coloured petri nets in system development // Lectures on Concurrency and Petri Nets. Springer, 2004. P. 19-27.
16. S. Ramaswamy and K. P. Valavanis "Hierarchical Time-Extended Petri Nets (H-EPN) Based Error Identification and Recovery for Hierarchical System", IEEE Trans, on Systems, Man, and Cybernetics- Part B: Cybernetics, vol. 26, no. 1, pp.164 -175 1996
17. J. L. Pinto de Sa and J. P. Sucena Paiva "A Multitasking Software Architecture to Implement Concurrent Switching Sequences Designed with Petri Nets", IEEE Trans, on Power Delivery, vol. 6, no. 3, pp.1058 -1064 1991
18. Ramchandani С. Analysis of asynchronous concurrent systems by timed Petri nets // PhD Thesis. - Cambridge, Mass.: MIT, Dept. Electrical Engineering, 1974.
Рецензия
Для цитирования:
Привалов А.Н., Богатырева Ю.И. МОДЕЛИРОВАНИЕ ПРОЧНОСТНЫХ ХАРАКТЕРИСТИК ИЗДЕЛИЙ АДДИТИВНЫХ ТЕХНОЛОГИЙ С ПРИМЕНЕНИЕМ ПАРАЛЛЕЛЬНЫХ ВЫЧИСЛЕНИЙ. Современная наука и инновации. 2019;(1):184-189. https://doi.org/10.33236/2307-910X-2019-25-1-182-187
For citation:
Privalov A.N., Bogatyryova Y.I. MODELING STRENGTH PROPERTIES OF PRODUCTS OF ADDITIVE TECHNOLOGIES USING PARALLEL COMPUTING. Modern Science and Innovations. 2019;(1):184-189. (In Russ.) https://doi.org/10.33236/2307-910X-2019-25-1-182-187
Просмотров:
44
Послать статью по эл. почте 