【摘 要】
：
变量排序问题是故障树BDD分析方法中的NP完全问题．本文证明了故障树变量排序问题复杂度和带重复变量模块排序问题复杂度之间的依赖关系，分析了变量排序问题的复杂性并定义了复
【机 构】
：
浙江师范大学 数理信息学院 浙江 金华 321004 东南大学 计算机科学与工程学院 江苏南京 211189
论文部分内容阅读
变量排序问题是故障树BDD分析方法中的NP完全问题．本文证明了故障树变量排序问题复杂度和带重复变量模块排序问题复杂度之间的依赖关系，分析了变量排序问题的复杂性并定义了复杂性度量MA，通过实验数据揭示了随着MA增加深度优先遍历策略的性能逐渐下降，并且已有的基于权值和出现频度的改进机制并不能够带来明显的性能提升，所以研究设计在较大MA时有良好排序性能的新策略是迫切需要解决的问题．
其他文献
去年4月份,彭阳县举办了杏花节,没想到-下子火了,短期旅游创收突破4000万元,这让过去毫无特色的彭阳旅游-下子找到了破局.目前宁夏东部旅游方兴未艾,彭阳有何为?我们拭目以待
前几天,我认真观看了《少年彭德怀》这部影片,彭德怀是我敬仰的十大元帅之一。他的童年、少年时代,充满了艰辛、坎坷。然而艰难困苦的生活并没有使他屈服,反而养成了一种倔强
恶意代码防护是保障信息系统安全的关键措施之一．现有恶意代码检测方法主要基于代码结构特征实现，无法抵抗恶意代码混淆变形等技术的干扰．本文提出一种基于行为依赖的恶意代码分
自2010年以来,中阿博览会(原中阿经贸论坛)已在宁夏成功举办四届,在国际、国内产生重要影响,得到了包括阿拉伯国家及其他穆斯林地区在内的“丝绸之路经济带”沿线国家的广泛
葡萄产业是自治区“1+4”特色优势产业之一,宁夏是世界上少有的高端葡萄酒绝佳产区之一,酿酒葡萄种植面积占全国的1/4.宁夏农科院自上世纪90年代开启了葡萄研发与示范的序幕,
这里是河东机场门户,是银西高铁门户,也是青银高速门户,占尽了全域化交通串联的优势,让灵武在宁夏东部环线旅游带上,成为自驾游首屈一指的压轴站.
分析了一种双因素匿名无线漫游协议，指出该方案不满足强双因素安全,存在多米诺效应、特权内部人员攻击、用户无法更新口令等缺陷．提出了一种改进协议，实现了强双因素安全．与原协
美丽的茹河两岸,已成为彭阳县重点打造的乡村旅游休闲度假区.这里山水秀丽,民风纯朴,历史文化浓厚,每年吸引大量游客住窑洞宾馆,吃农家土菜,体验农家生活,其乐融融.
可信软件技术的不断发展，迫切需要合理的可信评价体系来考量这些技术在提高可信性方面的贡献和效果．同时，可信性评价也为用户从众多软件中选取符合自己需求的软件提供重要参考．本
水是大地母亲的乳汁,使生命繁衍灿烂,自然绚丽多彩,经济繁荣发展.上善若水.水利万物而不争-是对水的本质最精确的赞美.美丽富饶的宁夏平原就是黄河水滋润出来的杰作苍龙盘旋,