Zobrazeno 1 - 10
of 64
pro vyhledávání: '"Rayna Dimitrova"'
Autor:
Todor Penyashki, Georgi Kostadinov, Mara Kandeva, Antonio Nikolov, Rayna Dimitrova, Valentin Kamburov, Pancho Danailov, Snezhan Bozhkov
Publikováno v:
Tribology in Industry, Vol 46, Iss 1, Pp 13-28 (2024)
The present work is concerned with studying surface parameters of coatings deposited to titanium alloy Ti6Al4V by electrospark deposition (ESD) with hard alloy depositing electrodes based on WC, TiC and TiCN. The variation of roughness parameters, co
Externí odkaz:
https://doaj.org/article/036d4b54eb6945f78f0deba24a96d162
Autor:
Todor Penyashki, Georgi Kostadinov, Mara Kandeva, Antonio Nikolov, Rayna Dimitrova, Valentin Kamburov
Publikováno v:
Tribology in Industry, Vol 45, Iss 4, Pp 686-698 (2023)
In the present work, the possibilities of improving the surface properties of titanium alloy Ti6Al4V by electrospark deposition (ESD) at negative polarity were investigated. The coatings were deposited with a TiB2-TiAl-based hard-alloy electrode with
Externí odkaz:
https://doaj.org/article/6039e8dedcf447c990aa95c43272acd1
Autor:
Mara Kandeva, Georgi Kostadinov, Todor Penyashki, Valentin Kamburov, Rayna Dimitrova, Seryoja Valcanov, Antonio Nikolov, Blagoj Elenov, Mikhail Petrzhik
Publikováno v:
Tribology in Industry, Vol 44, Iss 1, Pp 132-142 (2022)
According to most researchers, improving the tribological characteristics of titanium alloys at this stage is most appropriate through surface modification tribotechnologies. In the present work, the qualitative characteristics of coatings of tungste
Externí odkaz:
https://doaj.org/article/c499112f95844482a7bfcbfd6fcde9eb
Autor:
Georgi Kostadinov, Pancho Danailov, Rayna Dimitrova, Mara Kandeva, Todor Penyashki, Valentin Kamburov, Antonio Nikolov, Blagoj Elenov
Publikováno v:
Applied Engineering Letters, Vol 6, Iss 3, Pp 89-98 (2021)
This paper examines the topography and roughness of coatings of hard alloyed materials deposited by electrospark deposition (ESD) on titanium and nickel alloys with different initial roughness. The influence of the electrode materials and the ener
Externí odkaz:
https://doaj.org/article/93e790080a66494b8bdb14b3f433fbba
Autor:
Sebastian Biewer, Rayna Dimitrova, Michael Fries, Maciej Gazda, Thomas Heinze, Holger Hermanns, Mohammad Reza Mousavi
Publikováno v:
Logical Methods in Computer Science, Vol Volume 18, Issue 1 (2022)
We present a novel and generalised notion of doping cleanness for cyber-physical systems that allows for perturbing the inputs and observing the perturbed outputs both in the time- and value-domains. We instantiate our definition using existing notio
Externí odkaz:
https://doaj.org/article/998ff7886624487db2c8d638d4699a15
Publikováno v:
Proceedings on Engineering Sciences, Vol 1, Iss 1, Pp 124-132 (2019)
In this work was studied the creation possibilities of Aluminium Metal Matrix Composite (AlMMC) with joint electroless co-metallized matrix and non-metallic components. The metal matrix is aluminium alloy (AlSi9Cu3) turnings preliminary Ni-Cu-P coate
Externí odkaz:
https://doaj.org/article/8bee304089e947a690025e6ad03ff48b
Publikováno v:
Proceedings on Engineering Sciences, Vol 1, Iss 1, Pp 454-462 (2019)
Four virtual schemes for realizing the Equal Channel Angular Extrusion (ECAE) using a movable ram-die with different geometries of their deformation spaces (extrusion angles) have been developed and considered. On the basis of the performed simulatio
Externí odkaz:
https://doaj.org/article/8aab3910e0674ae9bfcf149cd2014083
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 286, Iss Proc. CREST 2018, Pp 31-33 (2019)
We present a comprehensive language theoretic causality analysis framework for explaining safety property violations in the setting of concurrent reactive systems. Our framework allows us to uniformly express a number of causality notions studied in
Externí odkaz:
https://doaj.org/article/e483880de8b44d9c83ab64e1b6a90df2
Autor:
Rayna Dimitrova, Rupak Majumdar
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 193, Iss Proc. GandALF 2015, Pp 100-114 (2015)
Extensions to finite-state automata on strings, such as multi-head automata or multi-counter automata, have been successfully used to encode many infinite-state non-regular verification problems. In this paper, we consider a generalization of automat
Externí odkaz:
https://doaj.org/article/fbb4439fd1c3454eafc4fb5b71bfbe8b
Autor:
Rayna Dimitrova, Bernd Finkbeiner
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 112, Iss Proc. SR 2013, Pp 43-51 (2013)
In this paper we investigate lossy channel games under incomplete information, where two players operate on a finite set of unbounded FIFO channels and one player, representing a system component under consideration operates under incomplete informat
Externí odkaz:
https://doaj.org/article/b94dbbe3d29e436b9e335c6e51fa8c6b