期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
共找到1,294篇文章
< 1 2 … 65 >
每页显示 20 50 100
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
显示方式：
基于SAT的GRANULE算法不可能差分分析
1
作者 武小年 匡晶 +1 位作者 张润莲 李灵琛 《计算机应用》 CSCD 北大核心 2024年第3期797-804,共8页
基于布尔可满足性问题(SAT)的自动化搜索方法可以直接刻画与、或、非、异或等逻辑运算,从而建立更高效的搜索模型。为更高效地评估GRANULE算法抵抗不可能差分攻击的能力,首先,基于S盒差分分布表性质优化S盒差分性质刻画的SAT模型;其次,... 基于布尔可满足性问题(SAT)的自动化搜索方法可以直接刻画与、或、非、异或等逻辑运算,从而建立更高效的搜索模型。为更高效地评估GRANULE算法抵抗不可能差分攻击的能力,首先,基于S盒差分分布表性质优化S盒差分性质刻画的SAT模型;其次,对GRANULE算法建立基于比特的不可能差分区分器的SAT模型,通过求解模型得到多条10轮GRANULE算法的不可能差分区分器;再次,针对不可能差分区分器,给出改进的SAT自动化验证方法并验证;最后,将得到的区分器往前和往后各扩展3轮,对GRANULE-64/80算法发起16轮的不可能差分攻击,通过该攻击可以恢复80比特主密钥,时间复杂度为251.8次16轮加密,数据复杂度为241.8个选择明文。与表现次优的对GRANULE算法不可能差分分析的方法相比,所得到的区分器轮数和密钥恢复攻击轮数都提高了3轮,且时间复杂度、数据复杂度都进一步下降。 展开更多
关键词 GRANULE算法 布尔可满足性问题 不可能差分区分器 差分分布表 自动化验证
下载PDF
VDE-SAT下行链路信道建模方法
2
作者 丁港辉 李宗旺 +1 位作者 谢卓辰 梁旭文 《中国科学院大学学报（中英文）》 CAS CSCD 北大核心 2024年第2期249-256,共8页
海面的散射特性导致VDES海上通信信道模型复杂多变,在VDE-SAT下行链路中,低仰角通信导致海浪反射带来的多径效应更加严重。针对此问题,提出一种基于球坐标系的VDE-SAT下行链路信道建模方法,根据不同海情级分析海浪反射对于信号接收特性... 海面的散射特性导致VDES海上通信信道模型复杂多变,在VDE-SAT下行链路中,低仰角通信导致海浪反射带来的多径效应更加严重。针对此问题,提出一种基于球坐标系的VDE-SAT下行链路信道建模方法,根据不同海情级分析海浪反射对于信号接收特性的影响。首先,将海面散射特性的统计结果参数化,结合地球曲率的影响,建立基于球坐标系的星船通信几何模型,基于此,得到海面有效漫反射区。其次,建立星船通信链路的信号多径传播模型,基于G1139协议,根据各个路径的信道参数分析接收信号的功率分布,以及不同海情级下信号的接收特性。仿真结果表明:在海况较好时,该多径信道以镜面反射为主;海况较差时,以漫反射为主。相比于卷积码,Turbo码的抗多径性能更优。 展开更多
关键词 VDE-sat 信道模型 卫星通信 多径效应
下载PDF
最坏情况下Min-2SAT问题的上界 被引量：1
3
作者 谷文祥 姜蕴晖 +1 位作者 周俊萍 殷明浩 《智能系统学报》 北大核心 2012年第3期241-245,共5页
最坏情况下MaxSAT问题上界的研究已成为一个热门的研究领域.与MaxSAT问题相对的是MinSAT问题,在求解某些组合优化问题时,将其转化为MinSAT问题比转化为MaxSAT问题有着更快的速度,因此对MinSAT问题进行研究.针对Min-2SAT问题提出算法MinS... 最坏情况下MaxSAT问题上界的研究已成为一个热门的研究领域.与MaxSAT问题相对的是MinSAT问题,在求解某些组合优化问题时,将其转化为MinSAT问题比转化为MaxSAT问题有着更快的速度,因此对MinSAT问题进行研究.针对Min-2SAT问题提出算法MinSATAlg,该算法首先利用化简算法Simplify对公式进行化简,然后通过分支树的方法对不同情况的子句进行分支.从子句数目的角度分析算法的时间复杂度并证明Min-2SAT问题可在O(1.134 3m)时间内求解,对于每个变量至多出现在3个2-子句中的情况,得到最坏情况下的上界为O(1.122 5n),其中n为变量的数目. 展开更多
关键词 Maxsat Minsat Min-2sat Maxsat问题的上界 Min-2sat问题的上界 子句数目 分支树
下载PDF
SAT-TB、Xpert-MTB/RIF对复治肺结核患者快速诊断的应用价值 被引量：1
4
作者 李天义 肖海浩 +2 位作者 汤春梅 苏雯婕 陈家华 《分子诊断与治疗杂志》 2023年第1期56-59,64,共5页
目的 探讨分枝杆菌RNA恒温扩增实时检测技术(SAT-TB)、Xpert-结核分枝杆菌/利福平耐药检测(Xpert-MTB/RIF)对复治肺结核患者快速诊断的应用价值。方法 选取2019年1月至2019年12月在广州市胸科医院疑似复治肺结核患者319例,收集痰或支气... 目的 探讨分枝杆菌RNA恒温扩增实时检测技术(SAT-TB)、Xpert-结核分枝杆菌/利福平耐药检测(Xpert-MTB/RIF)对复治肺结核患者快速诊断的应用价值。方法 选取2019年1月至2019年12月在广州市胸科医院疑似复治肺结核患者319例,收集痰或支气管肺泡灌洗液标本,分别采用涂片找抗酸杆菌、分枝杆菌培养法、SAT-TB法及Xpert-MTB/RIF法检测,统计分析各检测方法对复治肺结核诊断的灵敏度、特异度、准确率、阳性预测值及阴性预测值。结果 319例患者中最终确诊92例复治肺结核患者,其他非活动性肺结核患者227例;以临床最终诊断为标准评估各指标诊断价值,在复治肺结核患者的诊断灵敏度上,Xpert-MTB/RIF法最高,涂片法最低,差异有统计学意义(χ^(2)=26.302,P<0.05);特异度以SAT-TB法最高,差异有统计学意义(χ^(2)=33.675,P<0.05);诊断准确率方面SAT-TB法与Xpert-MTB/RIF法差异无统计学意义(χ^(2)=0.960,P=0.327),但均显著高于涂片法与分枝杆菌培养法,差异有统计学意义(χ^(2)=22.756,P<0.05);阳性预测值以SAT-TB法最高,差异有统计学意义(χ^(2)=23.435,P<0.05);阴性预测值方面Xpert-MTB/RIF法与分枝杆菌培养法差异无统计学意义(χ^(2)=3.159,P=0.076),但显著高于另外2种检测方法,差异有统计学意义(χ^(2)=19.499,P<0.05)。结论 SAT-TB法对复治肺结核患者具有极高的特异度与准确率,且阳性预测价值高,临床可减少误诊,Xpert-MTB/RIF法具有高灵敏度,临床联合应用可避免漏诊误诊。 展开更多
关键词 复治 肺结核 诊断 sat 分枝杆菌
下载PDF
TI介质中P-SV波传播的SBP-SAT模拟
5
作者 杨在林 魏夕杰 +1 位作者 孙铖 杨勇 《振动与冲击》 EI CSCD 北大核心 2023年第20期91-97,129,共8页
基于速度-应力形式的弹性波动方程,采用分部求和和同时逼近项技术建立的SBP-SAT方法,推导了横向各向同性(transversely isotropy,TI)介质的矩阵对称型(symmetric matrix form,SMF)弹性波动方程离散形式,并通过能量法进行了稳定性分析。... 基于速度-应力形式的弹性波动方程,采用分部求和和同时逼近项技术建立的SBP-SAT方法,推导了横向各向同性(transversely isotropy,TI)介质的矩阵对称型(symmetric matrix form,SMF)弹性波动方程离散形式,并通过能量法进行了稳定性分析。将该方法应用于倾斜横向各向同性(tilted transverse isotropic,TTI)介质模型、垂直横向各向同性(transverse isotropy with a vertical axis of symmetry,VTI)介质和含裂缝及曲线域的复杂介质模型,对所得的速度幅值和单炮记录分析并总结规律;对不同时间步长、单元网格数的结果进行对比,得出计算效率并验证该方法在求解P-SV波传播问题上的正确性。数值模拟结果表明,该方法模拟精度高,适用性好,在地震数值模拟领域有很好的应用价值和前景。 展开更多
关键词 P-SV波 有限差分方法 SBP-sat 横向各向同性(TI)介质 能量法
下载PDF
肺泡灌洗液TB-SAT快速诊断涂阴肺结核价值的研究 被引量：1
6
作者 洪炳 李希玖 +3 位作者 钟益锴 张志大 黄健 裴静璇 《中国当代医药》 CAS 2023年第10期82-85,共4页
目的探究肺泡灌洗液结核分枝杆菌RNA恒温扩增荧光实时检测技术(TB-SAT)诊断涂阴肺结核诊断的价值。方法选取2022年1月至7月江西省胸科医院收治的60例疑似肺结核患者,将综合诊断结果(符合肺结核基层诊疗指南)设为金标准,进行肺泡灌洗液TB... 目的探究肺泡灌洗液结核分枝杆菌RNA恒温扩增荧光实时检测技术(TB-SAT)诊断涂阴肺结核诊断的价值。方法选取2022年1月至7月江西省胸科医院收治的60例疑似肺结核患者,将综合诊断结果(符合肺结核基层诊疗指南)设为金标准,进行肺泡灌洗液TB-SAT,分析价值。结果60例患者中,46例患者诊断为肺结核,剩余14例为其他疾病。在46例经金标准诊断为肺结核的患者中,支气管肺泡灌洗液(BALF)抗酸染色诊断9例为肺结核患者;BALF结核菌培养诊断14例为肺结核患者;BALF聚合酶链式反应(PCR)检测诊断21例为肺结核患者;BALF TB-SAT诊断30例为肺结核患者。BALF抗酸染色诊断结果:敏感度为19.57%(9/46)、特异度为57.14%(8/14)、准确度为28.33%(17/60);BALF结核菌培养诊断结果:敏感度为30.43%(14/46)、特异度为78.57%(11/14)、准确度为41.67%(25/60);BALF PCR诊断结果:敏感度为45.65%(21/46)、特异度为64.29%(9/14)、准确度为50.00%(30/60);BALF TB-SAT诊断结果:敏感度为65.22%(30/46)、特异度为92.86%(13/14)、准确度为71.67%(43/60)。BALF TB-SAT诊断结果敏感度、准确度高于其他检测方法,差异有统计学意义(P<0.05);不同检测方法的特异度比较,差异无统计学意义(P>0.05)。结论诊断涂阴肺结核患者时,利用肺泡灌洗液TB-SAT具有较高价值,临床效果显著。 展开更多
关键词 涂阴肺结核 肺泡灌洗液TB-sat 诊断效果 诊断方法 聚合酶链式反应
下载PDF
美国大学入学考试SAT深度剖析 被引量：19
7
作者 任长松 《教育理论与实践》 CSSCI 北大核心 2007年第7期27-32,共6页
SAT是美国历史上使用最为广泛、研究最为深入的大学入学考试,至今已有80年的历史。SAT分为推理考试(SAT Reasoning Test)和学科考试(SAT Subject Tests)两类,一般人们常说的SAT指的是SAT推理考试。SAT考试全美统一,SAT推理考试每年举行... SAT是美国历史上使用最为广泛、研究最为深入的大学入学考试,至今已有80年的历史。SAT分为推理考试(SAT Reasoning Test)和学科考试(SAT Subject Tests)两类,一般人们常说的SAT指的是SAT推理考试。SAT考试全美统一,SAT推理考试每年举行7次。SAT不是智力测验,也不是学业测验,但近年来,SAT试题的设计与学生们在高中课堂里学习的内容越来越密切地相关起来。 展开更多
关键词 sat 美国大学入学考试 sat推理考试 sat学科考试
下载PDF
美国大学入学考试SAT的过去、现在和将来 被引量：2
8
作者 陈园园 《教育与考试》 2008年第6期72-76,共5页
SAT是美国广泛采纳的大学入学考试之一,对美国大学招生发挥着重要的作用。本文阐述了SAT的历史背景、现状,并对其未来发展趋势做出预测。SAT的许多经验,值得我们认真研究与借鉴。
关键词 sat 美国大学入学考试 sat-Ⅰ sat-Ⅱ
下载PDF
基于分支回溯的NAE-3SAT问题求解算法
9
作者 谷文祥 傅琳璐 +1 位作者 周俊萍 姜蕴晖 《智能系统学报》 北大核心 2012年第6期506-511,共6页
NAESAT问题是可满足性问题的一个重要扩展,在集合分裂、最大割集等NP完全问题中有着重要的应用.针对NAESAT问题的泛化NAE-3SAT问题,提出了一个基于分支回溯的精确算法NAE.算法给出了多种化简规则,这些化简规则很好地提高了算法的时间效... NAESAT问题是可满足性问题的一个重要扩展,在集合分裂、最大割集等NP完全问题中有着重要的应用.针对NAESAT问题的泛化NAE-3SAT问题,提出了一个基于分支回溯的精确算法NAE.算法给出了多种化简规则,这些化简规则很好地提高了算法的时间效率.最后证明了算法在最坏情况下的时间复杂度上界为O(1.618n),其中n为公式中的变量数目. 展开更多
关键词 NAEsat NAE-3sat 时间复杂性 NAE-3sat问题上界 变量数目 分支回溯
下载PDF
组织进化算法求解SAT问题 被引量：8
10
作者 刘静 钟伟才 +1 位作者 刘芳 焦李成 《计算机学报》 EI CSCD 北大核心 2004年第10期1422-1428,共7页
基于组织的概念设计了一种新的进化算法———求解SAT问题的组织进化算法 (OrganizationalEvolution aryAlgorithmforSATproblem ,OEASAT) .OEASAT将SAT问题分解成若干子问题 ,然后用每个子问题形成一个组织 ,并根据SAT问题的特点设计... 基于组织的概念设计了一种新的进化算法———求解SAT问题的组织进化算法 (OrganizationalEvolution aryAlgorithmforSATproblem ,OEASAT) .OEASAT将SAT问题分解成若干子问题 ,然后用每个子问题形成一个组织 ,并根据SAT问题的特点设计了三种组织进化算子———自学习算子、吞并算子和分裂算子以引导组织的进化 .根据组织的适应度 ,将所有组织分成两个种群———最优种群和非最优种群 ,然后用进化的方式来控制各算子 ,以协调各组织间的相互作用 .OEASAT通过先解决子问题 ,再协调相冲突变量的方式来求解SAT问题 .由于子问题的规模较小 ,相对于原问题来说较容易解决 ,这样就达到了降低问题复杂度的目的 .实验用标准SATLIB库中变量个数从 2 0～ 2 5 0的 370 0个不同规模的标准SAT问题对OEASAT的性能作了全面的测试 ,并与著名的WalkSAT和RFEA2的结果作了比较 .结果表明 ,OEASAT具有更高的成功率和更高的运算效率 .对于具有 2 5 0个变量、10 6 5个子句的SAT问题 ,OEASAT仅用了 1.5 2 4s,表现出了优越的性能 . 展开更多
关键词 组织 进化算法 sat问题 0EAsat 自学习算子 分裂算子 合取范式可满足性问题 人工智能
下载PDF
基于寻找可满足2-SAT子问题的SAT算法 被引量：1
11
作者 傅阳春 周育人 《计算机应用研究》 CSCD 北大核心 2010年第2期462-464,共3页
可满足问题(SAT)是一个NP-Hard问题。提出了一种求解SAT的新算法(FFSAT)。该算法将SAT问题转换为寻找一个可满足的2-SAT子问题。SAT问题虽然是NP完全问题,但是当所有子句长度不大于2时,SAT问题可以在线性时间求解。使用2-SAT算法-BinSa... 可满足问题(SAT)是一个NP-Hard问题。提出了一种求解SAT的新算法(FFSAT)。该算法将SAT问题转换为寻找一个可满足的2-SAT子问题。SAT问题虽然是NP完全问题,但是当所有子句长度不大于2时,SAT问题可以在线性时间求解。使用2-SAT算法-BinSat求解2-SAT子问题,当它不满足时,根据赋值选择新的2-SAT子问题。实验结果表明,采用本算法的结果优于UnitWalk。 展开更多
关键词 sat问题 2-sat子问题 2-sat算法
下载PDF
美国SAT数学考试述评与启示 被引量：9
12
作者 张紫茵 马小刚 《数学教育学报》 北大核心 2011年第6期56-58,共3页
美国的SAT考试面向全世界,有其独特的特点.文章介绍了SAT的总体情况,着重介绍了SAT数学考试并对其中的试题进行了分析.从试题编制、评分方式、解题过程和知识记忆这四点对我国的数学高考提出了思考.
关键词 sat sat数学考试 数学高考
下载PDF
并行蚁群算法求解加权MAX-SAT 被引量：4
13
作者 孙如祥 唐天兵 李炳慧 《计算机应用研究》 CSCD 北大核心 2012年第1期49-51,共3页
为了使得算法对蚁群进化的控制更加直接、算法更加高效,针对加权MAX-SAT的特点,以重离散化方式简化蚁群算法模型,提出取值概率的概念,并以之替换传统蚁群算法中信息素,最后对该算法作并行化改进。实验结果表明,得到的基于改进后并行化... 为了使得算法对蚁群进化的控制更加直接、算法更加高效,针对加权MAX-SAT的特点,以重离散化方式简化蚁群算法模型,提出取值概率的概念,并以之替换传统蚁群算法中信息素,最后对该算法作并行化改进。实验结果表明,得到的基于改进后并行化的蚁群算法更具有效性,搜索时间明显降低,取得了较好的加速比和效率。 展开更多
关键词 蚁群算法 加速比 并行 最大化可满足性问题(MAX-sat) 加权MAX-sat 多核
下载PDF
美国SAT的理念、方法、技术对我国高考改革的启示 被引量：2
14
作者 吴晶 《北京教育学院学报》 2015年第6期72-77,共6页
2014年出台的高考改革方案在诸多方面发生重大变化,备受各方关注,其具体措施在解决既有问题的同时,也带来了新的问题。美国的SAT(学术能力评估测试(Scholastic Assessment Test)的简称,下同。)与我国高考性质相似,它的一些理念、经验、... 2014年出台的高考改革方案在诸多方面发生重大变化,备受各方关注,其具体措施在解决既有问题的同时,也带来了新的问题。美国的SAT(学术能力评估测试(Scholastic Assessment Test)的简称,下同。)与我国高考性质相似,它的一些理念、经验、技术可供我们参考。理念上,SAT强调以人为本、关注未来;方法上,SAT保持考试内容与课程的适当联系、加强对现场材料的分析以应对"背模板"、题目设置情境化、通过高校指定必考科目解决某些科目过冷过热;技术上,SAT命题过程专业、计分方式科学、分数报告详尽。 展开更多
关键词 高考改革 sat理念 sat方法 sat技术
下载PDF
美国大学入学考试SAT之预考PSAT/NMSQT数学部分介绍 被引量：1
15
作者 孔德宏 李建明 《中学数学教学参考（上半月高中）》 北大核心 2006年第9期55-58,共4页
美国国家荣誉奖学金公司（Nationa lMerit Scholarship Corporation，简称NMSC）是一家非赢利的私立组织，它管理着两个学术竞赛奖学金——美国学生荣誉奖学金项目（National Merit Scholarship Program）和美国学生成就奖学金项目（Nat... 美国国家荣誉奖学金公司（Nationa lMerit Scholarship Corporation，简称NMSC）是一家非赢利的私立组织，它管理着两个学术竞赛奖学金——美国学生荣誉奖学金项目（National Merit Scholarship Program）和美国学生成就奖学金项目（National Achievement Scholarship Program），这两个奖学金主要用于对高中11年级优秀学生的认可以及用作他们今后读大学的奖学金。美国学生荣誉奖学金项目于1955年美国国家荣誉奖学金公司成立之时便已实施，至今已发展成为规模较大， 展开更多
关键词 大学 入学考试 美国 sat 奖学金 Psat NMSQT 预考 学术竞赛奖学金 数学部分
原文传递
CDCLSAT求解器的重启策略分析 被引量：3
16
作者 程睿 周彩兰 +1 位作者 徐宁 周强 《计算机辅助设计与图形学学报》 EI CSCD 北大核心 2018年第6期1136-1144,共9页
CDCL SAT求解器在形式验证等领域应用广泛,但重启策略众多且参数控制复杂,导致通常选择默认参数下的策略,从而降低求解器的效率和易用性.为了提高CDCL SAT求解器的实用性,通过实验分析重启序列、重启间隔、间隔增长系数等因素对实例求... CDCL SAT求解器在形式验证等领域应用广泛,但重启策略众多且参数控制复杂,导致通常选择默认参数下的策略,从而降低求解器的效率和易用性.为了提高CDCL SAT求解器的实用性,通过实验分析重启序列、重启间隔、间隔增长系数等因素对实例求解效率的影响,以及求解初期的决策变量数等行为特征数据集与重启策略集之间的关系.实验结果表明,通过改变重启策略可以提高求解效率,所得到的最优解比缺省解的效率可提高6 959%,平均提高411%;重启策略在求解过程中表现出较大的个体差异性和一定的群体差异性;相比重启频率,重启序列对求解效率影响更大.进一步用7种重启策略集合覆盖97%案列的最优重启策略,通过求解初期的特征值变化频率与相应的重启策略关联,为后期选择最优重启策略提供技术支持. 展开更多
关键词 CDCL sat算法 sat求解器 重启策略 重启序列 重启策略选择
下载PDF
求解SAT问题的拟人退火算法 被引量：27
17
作者 张德富 黄文奇 汪厚祥 《计算机学报》 EI CSCD 北大核心 2002年第2期148-152,共5页
该文利用一个简单的变换 ,将可满足性 (SAT)问题转换为一个求相应目标函数最小值的优化问题 ,提出了一种用于跳出局部陷阱的拟人策略 .基于模拟退火算法和拟人策略 ,为 SAT问题的高效近似求解得出了拟人退火算法 (PA) ,该方法不仅具有... 该文利用一个简单的变换 ,将可满足性 (SAT)问题转换为一个求相应目标函数最小值的优化问题 ,提出了一种用于跳出局部陷阱的拟人策略 .基于模拟退火算法和拟人策略 ,为 SAT问题的高效近似求解得出了拟人退火算法 (PA) ,该方法不仅具有模拟退火算法的全局收敛性质 ,而且具有一定的并行性、继承性 .数值实验表明 ,对于本文随机产生的测试问题例 ,采用拟人策略的模拟退火算法的结果优于局部搜索算法、模拟退火算法以及近来国际上流行的 WAL KSAT算法 。 展开更多
关键词 sat问题 模拟退火算法 拟人退火算法 目标函数 计算机 可满足性
下载PDF
基于子句权重学习的求解SAT问题的遗传算法 被引量：15
18
作者 凌应标 吴向军 姜云飞 《计算机学报》 EI CSCD 北大核心 2005年第9期1476-1482,共7页
该文提出了一种求解SAT问题的改进遗传算法(SATWAGA).SATWAGA算法有多个改进性特点:将SAT问题的结构信息量化为子句权重,增加了学习算子和判定早熟参数,学习算子能根据求解过程中的动态信息对子句权重进行调整,以便防止遗传进程的早熟,... 该文提出了一种求解SAT问题的改进遗传算法(SATWAGA).SATWAGA算法有多个改进性特点:将SAT问题的结构信息量化为子句权重,增加了学习算子和判定早熟参数,学习算子能根据求解过程中的动态信息对子句权重进行调整,以便防止遗传进程的早熟,同时,算法还采用了最优染色体保存策略,防止进化过程的发散.该文最后描述了实现包括SATWAGA等多个算法的实验系统,对选择最佳早熟判定参数值给出了一些有效的建议.实验结果表明:与一般遗传算法相比,SATWAGA算法在求解速度、成功率和求解问题的规模等方面都有明显的改善. 展开更多
关键词 sat问题 遗传算法 子句权重 早熟
下载PDF
求解SAT问题的量子免疫克隆算法 被引量：45
19
作者 李阳阳 焦李成 《计算机学报》 EI CSCD 北大核心 2007年第2期176-183,共8页
将量子计算应用于人工免疫系统中的克隆算子,提出了一种基于量子编码的免疫克隆算法(Quantum-InspiredImmuneClonalAlgorithm,QICA)来求解SAT问题,并从理论上证明了算法的全局收敛性.算法中采用量子位的编码方式来表达种群中的抗体,针... 将量子计算应用于人工免疫系统中的克隆算子,提出了一种基于量子编码的免疫克隆算法(Quantum-InspiredImmuneClonalAlgorithm,QICA)来求解SAT问题,并从理论上证明了算法的全局收敛性.算法中采用量子位的编码方式来表达种群中的抗体,针对这种编码方式采用量子旋转门和动态调整旋转角度策略对抗体进行演化,加速原有克隆算子的收敛;利用克隆算子的局部寻优能力强的特点,在各个子群体间采用量子交叉操作来增强信息交流,提高种群的多样性防止早熟.实验中,用标准SATLIB库中的3700个不同规模的标准SAT问题对QICA的性能作了全面的测试,并与单纯的量子遗传算法和简单免疫克隆算法以及著名的WalkSAT和PFEA2算法进行比较,仿真实验表明:QICA具有更高的成功率和运算效率.对于具有250个变量、1065个子句的SAT问题,QICA也仅用了1.357s,显示出了优越的性能. 展开更多
关键词 量子编码 遗传算法 人工免疫系统 克隆算子 sat问题
下载PDF
使用SAT求解器产生所有极小冲突部件集 被引量：21
20
作者 赵相福 欧阳丹彤 《电子学报》 EI CAS CSCD 北大核心 2009年第4期804-810,共7页
产生所有的极小冲突部件集为基于模型诊断中的一个重要步骤.本文将待诊断系统的行为模型及观测分别使用合取范式(CNF)形式的文件描述,从而提出将判定系统组件子集是否为冲突集的问题转化为:首先提取相关组件的CNF模型及观测,然后调用成... 产生所有的极小冲突部件集为基于模型诊断中的一个重要步骤.本文将待诊断系统的行为模型及观测分别使用合取范式(CNF)形式的文件描述,从而提出将判定系统组件子集是否为冲突集的问题转化为:首先提取相关组件的CNF模型及观测,然后调用成熟的SAT求解器判定可满足性.随后,通过有效地结合CSISE-tree等方法来产生所有的极小冲突集.为进一步提高效率,给出了充分利用系统输入/输出结构信息的启发式策略.实验结果表明,使用结合SAT求解器及CSISE-tree等方法能够较快产生所有极小冲突集,并且启发式策略使得求解效率进一步提高(平均提高约21%,最高者甚至达到约48%). 展开更多
关键词 基于模型的诊断 冲突集 可满足性 sat求解器 启发式
下载PDF
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
上一页 1 2 … 65 下一页 到第 页
使用帮助 返回顶部