Lucio Battisti [Sony]

V knige izlozheny osnovnye ponyatiya nadyezhnosti i bezopasnosti strukturno-slozhnykh sistem (SSS) v ikh istoricheskom stanovlenii i razvitii na protyazhenii 50 let. Rassmotren fenomen logiko-veroyatnostnogo analiza (LVA), sushchestvenno otlichayushchegosya ot veroyatnostnoy logiki Dzh.Fon Neymana i Nil'sa Nil'ssona. S pomoshch'yu logiko-veroyatnostnogo ischisleniya (LVI) udalos' soedinit' dvuznachnuyu bulevu algebru s teoriey veroyatnostey ne tol'ko dlya prosteyshikh struktur, no i dlya SSS. Privedeny pouchitel'nye prakticheskie primery resheniya zadach nadyezhnosti SSS logiko-veroyatnostnymi metodami (LVM) v oblasti sudovoy elektroenergetiki i pri analize seti ARPANET, yavivsheysya proobrazom global'noy seti Internet. Vmesto zaklyucheniya privedeny otsenki desyati spetsialistov v oblasti nadyezhnosti, zhivuchesti i bezopasnosti (NZhB) trudov avtora. Kniga prednaznachena ne tol'ko dlya spetsialistov, zanimayushchikhsya ekspertizoy nadyezhnosti i bezopasnosti proektov i deystvuyushchikh sistem raznogo tipa, no i dlya chitateley, interesuyushchikhsya veroyatnostnoy interpretatsiey matematicheskoy logiki. Buleva logika pomogaet inzhenernoy logike (logike zdravogo smysla) formalizovat' mysli i znaniya ob istinnosti nashego ponimaniya rabotosposobnosti (opasnosti) sistemy.