Cтраница 4
Для расчета надежности составляют логическую модель безотказной работы устройства. Система считается работоспособной, если все элементы исправны, отказы случайны, независимы и несовместимы. [46]
Приведенные ниже примеры являются логическими моделями представления фактов с помощью предикатов. [47]
В настоящее время известны три логические модели: иерархическая, сетевая и реляционная. Основное внимание в данном пособии уделяется реляционным моделям, поскольку они нашли наиболее широкое применение на персональных компьютерах. [48]
Несмотря на сравнительную бедность, логическая модель на первом этапе составления механизма реакции - полезна. Относительная бедность модели становится достоинством ввиду применимости логической модели на раннем, т.е. еще плохо структурированном, этапе моделирования, когда других, более полных, описаний, может быть, пока нет или когда традиционную модель получить вообще проблематично. [49]