Name: Формальная верификация F (en Ruso)
SKU: 58528719
Price: 48.47 USD
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.9x15.2x0.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 Importado

Envío: 25 a 32 días háb.

$ 80.79$ 48.47

-40%

Costos de importación incluídos en el precio ✅

Libro Nuevo

Quedan 10 unidades

$ 48.47

Llega entre el 26 Nov y el 09 Dic a Quito, Pichincha. Seleccionar ubicación

Agregar a lista de deseos

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

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