Preview

Modern Science and Innovations

Advanced search

MODELING STRENGTH PROPERTIES OF PRODUCTS OF ADDITIVE TECHNOLOGIES USING PARALLEL COMPUTING

https://doi.org/10.33236/2307-910X-2019-25-1-182-187

Abstract

In the modern world, the importance of scientific results is growing, ensuring the creation of fundamentally new technologies and products with new consumer properties. These research results become the basis of the country's competitiveness in world markets, determine the possibilities of creating a powerful economic and military potential of the state. This raises the problem of developing a mathematical, algorithmic and software apparatus for modeling the characteristics of products made from such materials.

About the Authors

A. N. Privalov
Tula State Pedagogical University
Russian Federation


Y. I. Bogatyryova
Tula State Pedagogical University
Russian Federation


References

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.


Review

For citations:


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

Views: 46


Creative Commons License
This work is licensed under a Creative Commons Attribution 4.0 License.


ISSN 2307-910X (Print)