搜索
!#!$%&’’()*+,,-,(./01.23/*0,3045067./018(9:(9;68(9:=9;7(./0((./0(./0((((&’’7./0(1-?@&--4067AB./018C(9:(9;6(DB./018E(F:(F;6(8CG8E(A-?@DB./018C(9:-?@D(9;-?@D6$8CB8E(A-?@DB./018C(9:-?@F:(9;-?@F;6$!$!##&’’(:(:(H7&--40(7%I./0(&’’7(&’’7:(8:G8;G8JG8K(;&’’=8KG8JG8;G8:(&’’J7(;&’’J&’’(7&’’(7!L%GL!GLIGLM##ILMGLIGL!GL%##M(7(((&’’NOP7((&’’7(((((7QKO:(!#$!#!#%!#&!#!#’(!)*#!+,,-#./’0(1’2(1’3(1’4($566+,,-789:;=-*?798:;=-@78;9:=-)78;9:=-?*78;=9:A@7;8=9:B-!7;8=9:!+,,!#!#/!#+,,!#!#!!+,,#B)@-’(?CC*!)*’-?(!#$#%#&’#()*+,-*.,-/0+112-3456789:;-=?@8@:A:BCD8EFBCG;8ACH:H?EIJKAF8=?LF=A8;B*.,-DM8;M8:/DM8;M8:N:8?O?;6;:PFH:BC=FHH0+112-!:;QM:;FHF)*R,-*.,-/0RSSS-346N:TM?J-IJKAF8UF8KB?D8EFBCG;8ACH:H*.,-V:W8;/V:W8;N:8?B?;6;:PFH:BC=FHH0RSSS-!:;QM:;FHF)*X,YC8;BUZ-[8\M]@8HF^8A?:BM_HE?Y??AF8;EJ;KB:?;_8;:\JA8B:?;*N,-‘aaabcdefgehgijklmcf0+1n20opqr/2ss21+-*t,GuFHDY-Y:;8C^FK:H:?;^:88_H*N,-‘aaabcdefgehgijklmcf0+1sn0opvw/xS1x+2-*x,D:;;8_?;U.0G;^FLHNy-78JABBFF8;8ACH:H8;^@:;8C^FK:H:?;^:88_H*G,-=?KUG.DW12Q?;E*Q,-z8H{F8H0IFP8^80+112-R+xRRR-*2,Y8BAFBBz.0G;^FLHNy-G;?^F:;MFJ:HB:KB?^FPFA?\BMF@:;8C^FK:H:?;^:88_@8HF^?;HBJKBJ8A:_\?B8;KF*N,-|m}~d!~}~lae#de$%fl%d&ml0RSS+0wv/X+Xn-!+2Xx)!#$#%#&’#()*+,D_8uMB:;{6-z?LEA?LMC^?A?C/GFP:FL*N,-’gkced}g&($cg}g#0RSS+0v)*/+ts+n2-*R,{?FAU.0+?AAQI-z?L]EA?LEF9JF;KC8;8ACH:HJH:;\?@8@:A:BC]\A?BK?FA8B:?;K?FEE:K:F;BH*N,-’,dlmc|mfgkc-mf.}dee~e#de$/ded#mimel0+1n1000r!X)/XXnXxs-*X,{?FAU.01:AH?;2-=?@8@:A:BC^:HB:@JB:?;?E8;;J8A_83:_J_0_F8;08;^_:;:_J_HBF8_H:;BMF6;:BF^DB8BFH*N,-’($cgae#0+11200!R)/21s2-*t,+?AAQI0{?FAU.-=?@8@:A:BC^:HB:@JB:?;?EA?LHBF8_EA?LHF:FH:;BMF6;:BF^DB8BFH*N,-’($cgae#0RSSR0w!R)/+Xs+t2-*x,=8;^FC.y0{8;[FA^F=40{:4A:;N+-GHHFHH_F;B?E8;z]uJB?H:H]@8HF^K:BF:?;E?9J8;B:AFFHB:_8B:?;*N,-’($cgae#0RSS+05!t)/RntR1R-*2,0-*N,-0+11x00*!R)/+Rs+Xx-7ZI[[J?TM8;018;DMJ8;C:;-GHBJ^C?EBMFKM88KBF:HB:KH?EBMFA?LEA?LH?E:PF*N,-’6dlkcd}|mfgkc-mf0+11x00*!R)/+Rs+Xx-!:;QM:;FHF)*s,0-*N,-0RSSR0v0!R)/+S2++X-z2GI[4?;01GI[38:8?-z?LEA?LEF9JF;KC8;8ACH:H:;+8HB^8:;8F@8H:;/Q8HFHBJ^C?E@8H:;:;[J:TM?J\?P:;KF*N,-hdcfg}g#~-d%~e~-d0RSSR0v0!R)/+S2++X-!:;QM:;FHF)*n,QJ;;8;FQ-6;@:8HF^\A?BB:;\?H:B:?;H/GFP:FL*N,-’($cg}g#0+1sn0qw/RSxRRR-*1,4?Hu:;NU.018AA:HNU-UF:?;8A7F9JF;KCG;8ACH:H/G;G\\?8KMY8HF^?;z]_?_F;BH*.,-6+0Q8_@:^F/Q8_@:^F6;:PFH:BC=FHH0+11s-*+S,4?Hu:;NU.-7?B8;?JB:;FHE?JHFL:BMBMF_FBM?^?Ez]_?_F;BH0{FH:?;X-SX*U,-UFHF8KMUF\?BUQRSxRx06DG/2Y.UFHF8KMy:P:H:?;0+112-!+2tx)!#$#%#&’#()*+,5F^G-.:K?\8BBF;HBJKBJFHE?8H^FBFKB?*N,-6k-}‘eflc/ml780RSS+0)w0/+S1++t-*R,4F:4;FZ4.-DF_:K?;^JKB?_:K?]\8BBF;\:3FA^FBFKB?H/GFP:FL?EBMF@F:;;:;H*N,-6k-}‘eflc/ml780RSS+0)5r/+R2-*X,000-*N,-0+11s00w!2)/t2xt2n-z263MF;HM8;034GI[3M:C?;0yZI[QM8;_:;0FB8A-G_:;:8BJFKM8F]HF;H:B:PF\F8_\A:E:FE?K?_\?J;^HF_:K?;^JKB?^FBFKB?H*N,-6k-}a}m-lcge~-fde$9mlm-l~gebm-70+11s00w!2)/t2xt2n-!:;QM:;FHF)*t,000-[8GH*N,-0RSSS0v*!R)/+Sx+Ss-1GI[:J034GI[:?;_:;0z2QMF;0FB8A-QM8FHF;H:B:PF\F8_\A:E:F^FH:;F^@C:;BF8BF^?\F8B:?;8A8_\A:E:FE?[8GH^FBFKB?*N,-6k-}a}m-lcge~-fde$9mlm-l~gebm-70RSSS0v*!R)/+Sx+Ss-!:;QM:;FHF)*x,000-*.,-/0+1nx-1GI[N:;4:;07GIO:8;_:;0;2GI:?;F;0FB8A-IJKAF8ZAFKB?;:KH*.,-YF:4:;/GB?_:KZ;FC=FHH0+1nx-!:;QM:;FHF)*2,QM8;3:0D8;HF;1.Q-z?L];?:HFL:^F]@8;^8_\A:E:FH:;@:\?A88;^Q.5DBFKM;?A?:FH*.,-Y?HB?;y?^FKMBz?;^?;/+AJLFGK8^F_:K=J@A:HMFH0+11+-*s,5WQ?;;?=0[F?;:_?[yF-=?H\FKBHE?KM8FHF;H:B:PF8_\A:E:FH:;HK8AF^Q.5D*N,-6k-}‘eflc/ml780RSSR0)=*/s+XsRx-*n,=8JAJH.N0U?KMFAAFN.0G;^F8K?.D0FB8A-GA?L];?:HFL:^F]@8;^Q.5DKM8F]HF;H:B:PF\F8_\A:E:FE?JHFL:BMG=yzD5=ZO^FBFKB?H*N,-‘aaabcdef6k-}%-~0+1120)q!X)/+222+2s+-1t2+0/利用二元决策图求解故障树的基本事件排序作者：闵苹，童节娟，奚树人，MINPing，TONGJiejuan，XIShuren作者单位：清华大学,核能与新能源技术研究院,北京,100084刊名：清华大学学报（自然科学版）英文刊名：JOURNALOFTSINGHUAUNIVERSITY(SCIENCEANDTECHNOLOGY)年，卷(期)：2005，45(12)被引用次数：9次参考文献(6条)1.周法清核电厂概率安全评价19962.朱继洲核反应堆安全分析20003.BryantREGraph-basedalgorithmsforBooleanfunctionmanipulation19864.AkersSBBinarydecisiondiagrams19785.SinnamonRM.AndrewsJDFaulttreeanalysisandbinarydecisiondiagrams19966.BartlettLM.AndrewsJDAnorderingheuristictodevelopthebinarydecisiondiagrambasedonstructuralimportance2001相似文献(10条)1.学位论文章金伟基于公共事件的二元决策图底事件排序方法研究2008由于二元决策图（BDD）能够有效的表示布尔函数，使得它在许多领域都能广泛使用，包括数字芯片设计和系统可靠性分析。尤其是用于在系统可靠性领域来解决故障树时，二元决策图技术显示了较低的运算复杂度和高效率的优点。系统故障树分析，简称FTA(FaultTreeAnalysis)，是系统可靠性工程学的重要分支，是目前国内外公认的评价复杂系统可靠性与安全性的一种实用方法。故障树分析作为一种被广泛采用的方法，通常用来估算工业领域中各系统失效的概率，从而有效地评估系统风险水平。故障树分析是指获取导致系统失败的各种事件组合，这些事件组合也叫最小割集。当基本事件的故障率给定之后，系统失效的概率就能通过对这些最小割集的定量分析给出。但是，当故障树很大，并且包含重复事件时，采用传统的方法来获取最小割集就变得相当困难，极端情况下甚至不可解。正是为了解决这个问题，将BDD算法引入了系统可靠性领域。使用这种技术时，需要将故障树转化成相应的辑表达式，也即二元决策图形式。转化过程中，故障树的基本事件需要以一定的顺序排序。所选择的排序顺序将影响构造的BDD的节点数，从而影响这种方法的实际效果。但是，只有当能够转化为BDD并且BDD的大小有限时，这种分析方法才是有效的。所以，问题的关键在于在转化过程中对基本事件的排序。一个好的排序算法能够产生极为有效的分析过程，而一个糟糕的排序算法甚至不能够得出BDD。在故障树领域内，大多数BDD排序算法都基于Bryant提出的限制，这种限制是指，在将故障树转化为BDD的过程中，必须使基本事件的排序方式保持固定。尽管这种方式产生的BDD是唯一确定的，但是它并不能保证得出的BDD是最小的。在论文中，将应用渐进式排序算法来产生BDD，并介绍一种全新的基于公共事件的排序算法。2.期刊论文陶勇剑.董德存.任鹏.TAOYong-jian.DONGDe-cun.RENPeng故障树分析的二元决策图方法-铁路计算机应用2009,18(9)为了克服故障树方