Probabilistic Risk Analysis: Foundations and Methods

图书标准信息

• 作者 Tim、Roger Cooke 著
• 出版社 Cambridge University Press
• 出版时间 2001-04
• ISBN 9780521773201
• 定价 1602.00元
• 装帧 精装
• 开本 其他
• 纸张 胶版纸
• 页数 414页
• 正文语种 英语

【内容简介】

Finitefunctions(inparticular,Booleanfunctions)playafundamentalroleincomputerscienceanddiscretemathematics.ThisbookdescribesrepresentationsofBooleanfunctionsthathavesmallsizeformanyimportantfunctionsandwhichallowefficientworkwiththerepresentedfunctions.Therepresentationsizeofimportantandselectedfunctionsisestimated,upperandlowerboundtechniquesarestudied,efficientalgorithmsforoperationsontheserepresentationsarepresented,andthelimitsofthosetechniquesareconsidered.Thisbookisthefirstcomprehensivedescriptionoftheoryandapplications.Researchareaslikecomplexitytheory,efficientalgorithms,datastructures,anddiscretemathematicswillbenefitfromthetheorydescribedinthisbook.Theresultsdescribedwithinhaveapplicationsinverification,computer-aideddesign,modelchecking,anddiscretemathematics.ThisistheonlybooktoinvestigatetherepresentationsizeofBooleanfunctionsandefficientalgorithmsontheserepresentations.