Аннотация:
// Представьте следующий текст интересной статьи из электронного письма в моём почтовом ящике, что не в прямом смысле, а электронный: "Мы ответственно и смело представляем логику для формулировки таких свойств, как "после запроса на обслуживание есть вероятность не менее 98%, что обслуживание будет выполнено в течение 2 секунд". Логика расширяет темпоральную логику CTL Эмерсона, Кларка и Систлы со временем и вероятностями. Формулы интерпретируются над цепями Маркова с дискретным временем. Приводятся алгоритмы проверки того, что заданная цепь Маркова удовлетворяет формуле логики. Алгоритмы требуют полиномиального числа арифметических операций по размеру как формулы, так и цепи Маркова. Простой пример включен для иллюстрации алгоритмов"... ЭЛИТАРНЫЙ СПАМ, ИЗОЩРЕННОЕ ЭЛЕКТРОННОЕ МОШЕННИЧЕСТВО ИЛИ СОВСЕМ УЖ ЭПАТАЖНЫЙ РОЗЫГРЫШ? Или может быть за этим сообщением стоит моя коллега Тупикова Наталья Владимировна (хитрая) из города Ломоносова? Шутка! / Пусть будет так! Что дальше? торопиться с реальностью - моё проклятье. //
|