{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“讯息”：{“索引”：{“日期-部件”：[[2023,10,6]]，“日期-时间”：“2023-10-06T08:14:01Z”，“时间戳”：1696580041495}，“参考-计数”：28，“出版商”：“计算机协会（ACM）”，“问题”：“4”，“许可证”：[{“开始”：{-“日期-零件”：[2013,7,1]]，我”：“2013-07-01T00:00:00Z”，“timestamp”：137263680000}，“content-version”：“tdm”，“delay-in-days”：0，“URL”：“http://\\www.springer.com/tdm”}]，“content-domain”：{“domain”:[]，“crossmark-restriction”：false}，”short-container-title“：[”Form.Asp.Comput.“]，”published-print“：{”date-parts“：[2013,7]}”，“abstract”：“”摘要<\/jats:title>\n第一篇文章介绍了组合逻辑电路故障树机械构造的缩减方法，并将其扩展到处理时钟电路，然后处理反馈电路。时钟电路的时间行为是使用它们的因果关系来捕捉的，并且循环电路的潜在无界行为被分解为对其非循环对应物的迭代。阐述了所有这些对紧缩理论的影响。对于时钟电路，我们提供的技术可以正确描述小故障和其他瞬态错误。对于反馈电路，可能发生的过多行为会产生适当类型的无穷多故障树。所有这些为反应系统的自动故障树生成铺平了道路<\/jats:p>“，”DOI“：”10.1007\/s00165-011-0203-6“，”type“：”journal-article“，”created“：{”date-parts“：[[2011,10,3]]，”date-time“：”2011-10-03T06:13:24Z“，”timestamp“：13176224040000}，”page“：“609-657”，“source”：“Crossref”，“is-referenced-by-count”：6，“title”：[“通过紧缩II：时钟和反馈电路“]，”前缀“：”10.1145“，”卷“：”25“，”作者“：[{”给定“：”理查德“，“家庭”：“巴纳赫”，“序列”：“第一”，“隶属关系”：“{”名称“：英国曼彻斯特牛津路曼彻斯特大学计算机科学学院，M13 9PL”}，{“给定”：“Marco“，”family“：”Bozzano“，”sequence“：”additional“，”affiliation“：[{”name“：”FBK-IRST，Via Sommarive 18，Povo，38123，Trento，Italy“}]}]，”member“：”320“，”reference“：[}”key“：”e_1_2_2_1_1_2“，”doi-asserted-by“：“crossref”，“unstructured”：“Banach R Bozzano-M（2010）通过紧缩I：组合电路为无功系统机械生成故障树。doi:10.1007\/s00165-011-0202-7“，”doi“：”10.1007\/s0.0165-011-002-7“}，{“key”：“e_1_2_2_2”，“doi-asserted-by”：“publisher”，“doi”：“10.1016\/S0304-3975（99）00322-9”}，“key“：”e_2_1_1_3_2“，”doi-assert-by“：”crossref“，”非结构化“：”Bozzano M Cavalallo A Cifaldi M Valacca L Villafiorita A（2003）改进复杂系统的安全评估：工业案例研究。在：欧洲正式方法国际研讨会（FME 2003）意大利比萨。LNCS vol 2805 pp 208\u2013222 2003年9月“，“DOI”：“10.1007\/978-3-540-45236-2_13”}，{“key”：“e_1_2_2_4_2”，“DOI-asserted-by”：“crossref”，“unstructured”：“Bozzano M Cimatti A Katoen J-P Nguyen VY Noll T Roveri M（2010）扩展AADL模型的安全可靠性和性能分析。计算J.DOI:10.1093\/com.2010年3月”，“DOI:”10.1093\/comjnl\/bxq024“}，{“key”：“e_1_2_2_5_2”，“doi-asserted-by”：“crossref”，“unstructured”：“Bozzano M Cimatti A Tapparo F（2007）反应系统的符号故障树分析。In:自动化技术验证与分析研讨会论文集（ATVA 2007）第162\u2013176页”，“doi”：“10.1007\/978-3-540-75596-8_13”}，}“key:”e_1_2_2_6_2“，”非结构化“：”巴纳赫·R·杰斯克·C·收缩与精化相互作用：塔式定理。提交。参见[Ret]“｝，｛”key“：”e_1_2_2_7_2“，”doi由“：”publisher“断言，”doi“：”10.1016\/j.lap.2007.11.001“｝，｛”key“：”e_1_2_2_8_2“，”doi由“：”publisher“断言，”doi“：”10.1016\/j.scico.2007.04.002“｝，｛”key“：”e_1_2_9_2“，”doi由“：”publisher“断言，”doi“：”10.1145\/13603.136043“｝，｛”key“：”e_1_2_2_10_2“，”非结构化“：”Bozzano M Villafiorita A（2003）将故障树分析与事件排序信息集成。In：Proc ESREL 2003 pp 247\u2013254“}，{“key”：“e_1_1_2_11_2”，“unstructured”：“Bozzano M Villafiorita A et \u00a0al（2003）ESACS:一种复杂系统设计和安全分析的集成方法。In：Process ESREL 2003pp 237\u2013 245”}，}“key”：“”e_1_1_2_13_2“，”doi-asserted-by“：”publisher“，”doi“：”10.1016\/j.ress.2004.06.009“}，”key“：”e_2_2_1_14_2“，“unstructured”：“Clarke EM Grumberg O Peled DA（2000）模型检查。麻省理工学院出版社”}，“key”：“e_2_c_1_2_15_2”，“doi-assert-by”：“publisher”，“doi”：“10.1016\/S0951-8320（01）00121-1”}、“”key：“e_ 2_2_ 1_2_16_2“，”doi-asserted-by“：”publisher“，”doi“：”10.1109 \/24.159800“}，{“key”：“e_1_1_2_17_2”，“doi-asserted-by”：“publisher”，“doi”：“10.1145 \/381766.381770”}，}“keys”：“e_1_2_1_2_18_2”，”unstructured“：“FSAP\/NuSMV-SA平台。http://\\sra.itc.it\/tools\/FSAP.Accessed 13 Sep 2011”}tle“：“（co）代数和（co）归纳法教程”，“卷”：“62“，”author“：”Jacobs B“，”year“：”1997“，”journal-title“：”EATCS Bull“}，{”key“：”e_1_2_2_20_2“，”doi-asserted-by“：”publisher“，”doi“：”10.1016\/0164-1212（83）90030-4“}”，{“key”：“e_2_1_21_2”，”unstructured“：”Papadopoulos Y（2000）使用安全案例的安全定向系统监测。约克大学计算机科学系博士论文。技术代表YCST-2000-08“}，{“key”：“e_1_1_2_22_2”，“doi-asserted-by”：“publisher”，“doi”：“10.1016\/S0951-8320（97）00034-3”}，}“keys”：“e_1_2_1_2_23_2”、“unstructured”：“Retension Homepage.http://www.cs.man.ac.uk\/Retrenchment.Accessed 13 Sep 2011”}1996年）宇宙余代数：一种系统理论。技术报告CS-R9652 Centrum voor Wiskunde en Informatica“}，{“key”：“e_1_1_2_25_2”，“doi-asserted-by”：“publisher”，“doi”：“10.1016\/j.ress.2006.09.020”}，“key“：”e_1_i_1_2_26_2“，“unstructured”：“Vesely WE Goldberg FF Roberts NH Haasl DF（1981）故障树手册。技术报告NUREG-0492美国核管理委员会核管理研究系统和可靠性研究办公室“}，{“key”：“e_1_2_2_27_2”，“unstructured”：“Vesely WE Stamatelatos M Dugan J Fragola J Minarick J III J Railsback J（2002）《航空航天应用故障树手册》。技术报告NASA“}e_1_2_2_28_2“，”doi-asserted-by“：”publisher“，”doi“：”10.1016\/j.entcs.2005.02.051“}]，”container-title“：[”计算的形式方面“]，”original-title”：[]，“language”：“en”，“link”：[{“URL”：“http://\/link.springer.com\/content\/pdf\/10007\/s00165-011-0203-6.pdf”，“content-type”：“application\/pdf”，“content-version”：“vor“，”预期应用程序“：”text-mining“}，{“URL”：“http://\/link.springer.com/article\/10.1007\/s00165-011-0203-6\/fulltext.html”，“内容类型”：“text\/html”，“content-version”：“vor”，“intended-application”：“text-mining”}，}“URL“：”https:\/\/dl.acm.org\/doi\/pdf\/10.10007\/s00165-011-0203-6“，”内容类型“：”未指定“，”content-versiion“：”vor，“预期应用程序”：相似性检查“}”，“存放”：{“日期部分”：[2022,1,6]]，“日期时间”：“2022-01-06T15:56:37Z”，“时间戳”：1641484597000}，“分数”：1，“资源”：{-“主要”：{“URL”：“https:\\/dl.acm.org\/doi\/10.1007\/s00165-011-0203-6”}}，”副标题：[]，“短标题”：[]]}，“references-count”：28，“journal-issue”：{“issue”：“4”，“published-print“：{“date-parts”：[[2013,7]]}}，“alternative-id”：[“10.1007\/s00165-011-0203-6”]，“URL”：“http://\/dx.doi.org\/10.1007\/s00165-011-0203-6”，“relation”：{}，”ISSN“：[”0934-5043“，”1433-299X“]，”ISSN-type“：[{”value“：”0934-5043“，”type“:”print“}”，{“value”：“1433-2999 X“，”type“：”electronic“}]，”subject“：[]，”published“：{”date-parts“：[[2013,7]]}}