Name: Формальная верификация F (en Ruso)
Price: 52170.00 CLP
Availability: InStock
Author: Насим, ; Уддин, ; Насим,
ISBN: 9786205786703

portada Формальная верификация F (en Ruso)

Formato

Libro Físico

Autor

&#1 Уддин

&#1 Насим

Editorial

Sciencia Scripts

Idioma

Ruso

N° páginas

140

Encuadernación

Tapa Blanda

Dimensiones

22.9 x 15.2 x 0.8 cm

Peso

0.21 kg.

ISBN13

9786205786703

Categorías

Ingeniería electrónica

Формальная верификация F (en Ruso)

&#1 Уддин (Autor) · &#1 Насим (Autor) · Sciencia Scripts · Tapa Blanda

Libro Nuevo

$ 52.170

$ 72.460

Ahorras: $ 20.290

28% descuento

Envío normal

Origen: Estados Unidos (Costos de importación incluídos en el precio)

Se enviará desde nuestra bodega entre el Viernes 19 de Julio y el Viernes 26 de Julio.

Lo recibirás en cualquier lugar de Chile entre 1 y 3 días hábiles luego del envío.

Reseña del libro "Формальная верификация F (en Ruso)"

Для обнаружения неисправностей в распределительной сети Smart Grid и изоляции неисправных выключателей нагрузки в течение ограниченного периода времени, алгоритм FDIR работает на контроллере DFA, который устанавливается в коммуникационной сети Smart Grid для управления силовыми устройствами распределительной сети. Для анализа его надежности необходима формальная проверка, чтобы исследовать его точность, стабильность и эффективность при возникновении неисправностей в сети. Посредством вероятностного анализа распределительной сети на основе FDIR с помощью инструмента проверки модели PRISM мы можем оценить вероятность отказа сети и предпринять корректирующие действия и техническое обслуживание, чтобы заранее заменить неисправный компонент и избежать полного отказа системы.