Стохастический зонд
В расчете процессов стохастический зонд — это измерительное устройство, которое измеряет время между произвольными начальными и конечными событиями в рамках алгебраической модели стохастического процесса. [1] [2]
Ссылки
[ редактировать ]- ^ Арджент-Катвала, А.; Брэдли, Джей Ти (2006). «Спецификация функциональных характеристик стохастических датчиков» (PDF) . Формальные методы и стохастические модели оценки эффективности . Конспекты лекций по информатике. Том. 4054. с. 31. дои : 10.1007/11777830_3 . ISBN 978-3-540-35362-1 .
- ^ Хайден, РА; Брэдли, Джей Ти; Кларк, А. (2013). «Характеристики и оценка производительности с помощью унифицированных стохастических датчиков и анализа жидкостей» (PDF) . Транзакции IEEE по разработке программного обеспечения . 39 : 97–118. CiteSeerX 10.1.1.297.5068 . дои : 10.1109/TSE.2012.1 . S2CID 584883 .